Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
5*x-5-7*x < -1
⇒ algebra.equations.linear.merge-2*x-5 < -1
⇒ algebra.equations.coverup.onevar.minus-left-2*x < 4
⇒ algebra.inequalities.flip-sign2*x > -4
⇒ algebra.equations.coverup.times-positivex > -2