(x + |y|))(x + 3) ≤ 0