The following cards are dealt to three people at random, so that everyone gets the same number of cards. What is the probability that everyone gets a red card?
The probability is 15/56.
