Ineq: fix tests that fail due to ineq not simplifying [3/n]

Not sure how the `solve_univariate_inequality` maintainer will feel
about me sticking `simplify` in somewhere...