| 2 | |x - 2*x| < x
|x^2 - 2*x| < x
(1, 3)
x in Interval.open(1, 3)
And(1 < x, x < 3)
(1 < x)∧(x < 3)