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.plus

-11*x > 0

⇒ algebra.inequalities.flip-sign

11*x < 0

⇒ algebra.equations.coverup.times-positive

x < 0