x+5 >= 14