Sympy is part of SageMath. SageMath is just a kind of user interface to Sympy and a bunch of other Python libraries. Mathics I haven't tried.