Mocked sympy.utilities