x >= y + 6 and x >= 50