Problem: from a pack of 52 cards , 1 card is drawn at random . what is the probability that a red king is drawn ?
Rationale: "the total number of cards is 52 . the number of red kings is 2 . p ( red king ) = 2 / 52 = 1 / 26 the answer is d ."
annotated_formula: divide(multiply(const_4, const_3), 52)