from typing import Any

def ratsimp(expr) -> Any: ...
def ratsimpmodprime(expr, G, *gens, quick=..., polynomial=..., **args) -> Any: ...