resolver: (x-5)/7≤- 2x+3