python3-sympy
