Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
5*x-5 < 7*x-1
⇒ algebra.equations.linear.var-left, term=7*x-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