| 2 | |x - x| > |x - 1|
|x^2 - x| > |x - 1|
Or(And(-oo < x, x < -1), And(1 < x, x < oo))
((-oo < x)∧(x < -1))∨((1 < x)∧(x < oo))
(-oo, -1) U (1, oo)
x in Union(Interval.open(-oo, -1), Interval.open(1, oo))