Find the positive integer $n$ such that $32$ is the product of the real number solutions of the equation $x^{\log_2(x^3)-n} = 13$.

Let's think step by step and output the final answer within \boxed{}.
user