def domain_check(f, symbol, p):
    f, p = sympify(f), sympify(p)
    if p.is_infinite:
        return False
    return _domain_check(f, symbol, p)
Returns False if point p is infinite or any subexpression of f
dataset/ETHPy150Open sympy/sympy/sympy/solvers/solveset.py/domain_check