how many integers from 0 to 50 inclusive have a remainder of 3 when divided by 7 ?
"the numbers should be of the form 7 c + 3 . the minimum is 3 when c = 0 . the maximum is 45 when c = 6 . there are 7 such numbers . the answer is c ."
divide(50, const_10)