Problem: what least number must be added to 1145 , so that the sum is completely divisible by 23 ?
Rationale: "50 * 23 = 1150 1150 - 1145 = 5 answer : d"
annotated_formula: subtract(multiply(add(multiply(const_4, const_10), const_2), 23), 1145)