Problem: if x / y = 5 / 3 , then ( x + y ) / ( x - y ) = ?
Rationale: "any x and y satisfying x / y = 5 / 3 should give the same value for ( x + y ) / ( x - y ) . say x = 5 and y = 3 , then ( x + y ) / ( x - y ) = ( 5 + 3 ) / ( 5 - 3 ) = 4 . answer : a ."
annotated_formula: divide(add(5, 3), subtract(5, 3))