sympy/sympy — pull request #7960 by cbm755 (2014-09-03 14:38:12+00:00)
Title: WIP: No evalf in equality

on top of #7959 and #7838.