Найдем удвоенное число a: $$12 \cdot 2 = 24$$.
Теперь найдем число, которое на 9 меньше удвоенного числа a: $$24 - 9 = 15$$.
Ответ: 15