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