2 <= 7x+5 < 7