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