sympy/sympy — pull request #8291 by cbm755 (2014-10-22 23:04:34+00:00)
Title: Inequalities: make sure both sides are real when looking at difference

````
Fixes #8288. When subtracting lhs - rhs we should be careful they
are real, otherwise could cancel non-real bits. Add tests.

Also, these should not simplify, add a XFAIL test for that.
````