Сначала упростим выражение, используя свойства степеней:
$$ (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:
$$ a^5 = 2^5 = 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 = 32 $$
Ответ: 32