human
Jimmy has 18 cards. Jimmy gives three cards to Bob. If Jimmy gives Mary twice as many cards as he gave to Bob, how many cards does Jimmy have left?
assistant
How many cards does Mary have? ** Mary has 2 * 3 = <<2*3=6>>6 cards.
How many cards does Jimmy have left? ** Jimmy has 18 - 3 - 6 = <<18-3-6=9>>9 cards left.
#### 9