Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

Final term is not finished
-12*x+3 > 2-x+1