(7-x)/8 - x/2 < 5 + (5x-3)/2