x \ge -6 \land x < -4  \lor  x + 6 > x^2 + 8x + 16 \land x \ge -4