x + y > 3 && x + y < 14 && y < x + 6 && y > x - 5