2 y - (y - 8)*(8 + y) - 4 > 32 - y
y^2 - (y - 8)*(y + 8) - 4 > 32 - y
And(-28 < y, y < oo)
(-28 < y)∧(y < oo)
(-28, oo)
x in Interval.open(-28, oo)