| 2 | |x - 3*x + 2| > 2 - 3*x
|x^2 - 3*x + 2| > 2 - 3*x
And(x > -oo, x < oo, x != 0)
(x > -oo)∧(x < oo)∧(Ne(x, 0))
(-oo, 0) U (0, oo)
x in Union(Interval.open(-oo, 0), Interval.open(0, oo))