human
A wall mural has four different colors of paint in it: red, white, purple, and yellow. There are equal amounts of red, white, and purple paint in the mural. Half the mural is yellow. If the mural used 12 pints of paint in all, how many pints of red paint was used?
assistant
How many pints of yellow paint was used? ** Half the mural is yellow, so the other half took 12 / 2 = <<12/2=6>>6 pints of paint.
How many pints of red paint was used? ** The mural has equal amounts of the other three colors, so it used 6 / 3 = <<6/3=2>>2 pints of red paint.
#### 2