Problem: how many integers from 1 to 100 exist such that each is divisible by 5 and also has 5 as a digit ?
Rationale: "5 , 15,25 , 35,40 , 50,55 , 65,75 , 85,95 so there are total 11 such type of numbers . answer : c"
annotated_formula: divide(100, const_10)