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