Problem: what is the difference between the largest number and the least number written with the digits 6 , 3 , 2 , 5 ?
Rationale: "explanation : 2356 6532 - - - - - - - - - - - - 4176 answer : b"
annotated_formula: subtract(add(add(add(multiply(multiply(6, const_100), const_10), multiply(5, const_100)), multiply(3, const_10)), 2), add(add(add(const_1000, multiply(3, const_100)), multiply(5, const_10)), 6))