Problem: a certain no . when divided by 80 leaves a remainder 25 , what is the remainder if the same no . be divided by 15 ?
Rationale: "explanation : 80 + 25 = 105 / 15 = 7 ( remainder ) d"
annotated_formula: subtract(subtract(subtract(80, 25), const_4), const_2)