Problem: find the average of all prime numbers between 1 and 5 .
Rationale: "sol . there are five prime numbers between 1 and 5 . they are 2 , 3 , 5 , 7 , 11 â ˆ ´ required average = [ 2 + 3 + 5 + 7 + 11 / 5 ] = 28 / 5 = 5.6 answer c"
annotated_formula: divide(add(add(add(1, const_1), add(add(1, const_1), const_2)), add(subtract(5, 1), subtract(5, const_2))), 1)