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