is 17 - 6 >= 9 equivalent to 9 <= 17 - 6