Problem: find the least number must be subtracted from 531742 so that remaining no . is divisible by 3 ?
Rationale: "on dividing 531742 by 3 we get the remainder 1 , so 1 should be subtracted c"
annotated_formula: subtract(531742, multiply(floor(divide(531742, 3)), 3))