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