Check for sympy