Problem: how many positive integers less than 50 have a reminder 5 when divided by 7 ?
Rationale: "take the multiples of 7 and add 5 0 x 7 + 5 = 5 . . . . 6 x 7 + 5 = 47 there are 7 numbers answer b"
annotated_formula: divide(factorial(subtract(add(const_4, 5), const_1)), multiply(factorial(5), factorial(subtract(const_4, const_1))))