x+5<=4(x+1)+7