Преобразуем выражение:
$$(a^4)^{-3} : a^{-17} = a^{4 \cdot (-3)} : a^{-17} = a^{-12} : a^{-17} = a^{-12 - (-17)} = a^{-12 + 17} = a^5$$
Подставим значение a=2:
$$2^5 = 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 = 32$$
Ответ: 32