Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

3*(4*x-1) < -2+x-1

⇒ algebra.equations.linear.distr-times

12*x-3 < -2+x-1

⇒ algebra.equations.linear.merge

12*x-3 < -3+x

⇒ algebra.equations.linear.var-left, term=1*x

11*x-3 < -3

⇒ algebra.equations.coverup.onevar.minus-left

11*x < 0

⇒ algebra.equations.coverup.times-positive

x < 0