x - 3 >= 5