sympy/sympy — pull request #7959 by cbm755 (2014-09-03 14:29:20+00:00)
Title: WIP: Equality: if diff b/w lhs and rhs is positive or negative, return false

On top of #7838.