5*(y - 7/5) - 6 < 4*y - 3/2
And(-oo < y, y < 23/2)
(-oo < y)∧(y < 23/2)
(-oo, 23/2)
x in Interval.open(-oo, 23/2)