Last week, Gina's art teacher mixed 9 pints of red paint with 6 pints of white paint to make pink. Gina mixed 4 pints of red paint with 3 pints of white paint to make pink. Did Gina mix the same ratio of red red paint to white paint as her teacher?