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