Problem: what is the probability of drawing a queen from a deck of 52 cards ?
Rationale: "total number of cards , n ( s ) = 52 total number of queen cards , n ( e ) = 4 p ( e ) = n ( e ) / n ( s ) = 4 / 52 = 1 / 13 option b is answer"
annotated_formula: divide(const_2, choose(add(const_3, const_3), const_3))