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