3*x --- + 1 < |x - 1| 2
3*x/2 + 1 < |x - 1|
(-oo, 0)
x in Interval.open(-oo, 0)
And(-oo < x, x < 0)
(-oo < x)∧(x < 0)