x² + 3x + 2 ≤ -1 -x