2*y + 3 > 10*y - 17
And(-oo < y, y < 5/2)
(-oo < y)∧(y < 5/2)
(-oo, 5/2)
y in Interval.open(-oo, 5/2)