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