Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
3*(x-12)+2*x < -2*(x+3)+2*x
⇒ algebra.equations.linear.distr-times3*x-36+2*x < -2*x-6+2*x
⇒ algebra.equations.linear.merge5*x-36 < -6
⇒ algebra.equations.coverup.onevar.minus-left5*x < 30
⇒ algebra.equations.coverup.times-positivex < 6