CH-SMO 2020 Problem 4

Let $\varphi$ denote the Euler phi-function. Prove that for every positive integer $n$ $$2^{n(n+1)} | 32 \cdot \varphi \left( 2^{2^n} - 1 \right).$$