Решение:
\[ a^8 \cdot a^{17} : a^{20} = a^{8+17-20} = a^{25-20} = a^5 \]
\[ 2^5 \]
\[ 2^5 = 32 \]
Ответ: 32