Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

Final term is not finished
4*(x-3)-3*x > 3*x-12-3*x