sympy/sympy — pull request #8270 by skirpichev (2014-10-18 11:07:24+00:00)
Title: Less automatical evaluation for Equality, improve simplification

fixes #6116

see also #7960