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