Problem: if 3 < x < 6 < y < 9 , then what is the greatest possible positive integer difference of x and y ?
Rationale: "3 < x < 6 < y < 9 ; 3 < x y < 9 3 + y < x + 9 y - x < 6 . positive integer difference is 5 ( for example y = 8.5 and x = 3.5 ) answer : c ."
annotated_formula: subtract(subtract(9, 3), const_1)