Общее количество шаров: $$13 + 6 + 12 = 31$$.
Вероятность вытащить красный шар: $$P = \frac{\text{количество красных шаров}}{\text{общее количество шаров}} = \frac{12}{31}$$.
Ответ: $$\frac{12}{31}$$