prompt: 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?
messages.content: 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?
messages.role: user
messages.content: Mary has 2 * 3 = <<2*3=6>>6 cards.
  Jimmy has 18 - 3 - 6 = <<18-3-6=9>>9 cards left.
  #### 9
messages.role: assistant