what is the probability of having 53 fridays in an ordinary year
"1 / 7 because 53 friday in ordinary year then 53 * 7 = 371 ( 53 / 371 = 1 / 7 ) answer : c"
divide(const_2, choose(add(const_3, const_3), const_3))