x - 2*x + 3/2 < x - 1/4
-2*x + x + 3/2 < x - 1/4
And(7/8 < x, x < oo)
(7/8 < x)∧(x < oo)
(7/8, oo)
x in Interval.open(7/8, oo)