Решение:
Сначала упростим выражение, используя свойства степеней:
Упрощение выражения:
\[ (a^4)^{-5} : a^{-23} = a^{4 \cdot (-5)} : a^{-23} = a^{-20} : a^{-23} \]
\[ a^{-20} : a^{-23} = a^{-20 - (-23)} = a^{-20 + 23} = a^3 \]
Теперь подставим значение $$ a = 4 $$:
\[ a^3 = 4^3 \]
\[ 4^3 = 4 \cdot 4 \cdot 4 = 16 \cdot 4 = 64 \]
Ответ: 64