Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

2*(3*x-1) < 5-(2-9*x)

⇒ algebra.equations.linear.distr-times

6*x-2 < 3+9*x

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

-3*x-2 < 3

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

-3*x < 5

⇒ algebra.inequalities.flip-sign

3*x > -5

⇒ algebra.equations.coverup.times-positive

x > -5/3