. A painter mixes two and a half pints of yellow paint with 4 pints of red paint to make a certain shade of orange paint. How many pints of yellow paint should be mixed with 10 pints of red paint to make this shade of orange? Show your work.