That's kind of cheating. For these tests to pass, it really should be implemented in SymPy.