Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

2*(3*x-1)-9*x < 3
algebra.equations.linear.distr-times
6*x-2-9*x < 3
algebra.equations.linear.merge
-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