Inequalities: test for simplifying

These should not simplify automatically.  But should do so if requested
with `simplify()`.
Merge pull request #8383 from cbm755/ineq_simplify_tests

Inequalities: test for simplifying