\($2x - 5 \le -x +12$\)
2x - 5 <= -x + 12
-17 <= -3x
17/3 <= x
Solution: [17/3,inf).
I don't think that's right
