sympy/sympy — pull request #8383 by cbm755 (2014-11-05 00:27:01+00:00)
Title: Inequalities: test for simplifying

These should not simplify automatically. But should do so if requested
with `simplify()`.

I don't think this is tested after #8270. See also discussion in #7960 where I was trying to have tests like this. Full disclosure: I suspect @skirpichev is -1 for testing the "no simplify on creation" part of this.