1. x+5≤9
2. x+4-2²≥20+5
3. x-12≥17