(x + 1)*(x + 4)*(x + 8) >= (-x + 1)*(x - 4)*(x - 8)
((x + 1)*(x + 4))*(x + 8) >= ((1 - x)*(x - 4))*(x - 8)
[0, oo)
x in Interval(0, oo)
And(0 <= x, x < oo)
(0 <= x)∧(x < oo)