Observation: for any fixed order $r$ of the complete minor, your question can be answered by a finite search over the set of all graphs of order at most $c_{\mathrm{Kostochka}}\sqrt{\log r}$: let any $n\in\mathbb{N}$ be given. Let any graph $G=(V,E)$ be given. Let $\delta:=\delta(G)$. Let $c=c_{\mathrm{Kostochka}}>0$ denote the absolute constant in Theorem 7.2.3 of Diestel, Graph Theory, fourth ed. Since $\mathbb{R}_{>1}\to\mathbb{R}$, $r\mapsto cr(\log r)^{1/2}$ is strictly monotone increasing, there exists a unique solution $r=r(\delta)$ to the equation $\delta=cr(\log r)^{1/2}$. Theorem 7.2.3 says that $K^{r(\delta)}\preceq G$. So we may assume that
$r(\delta)\leq \delta/n$
equivalently
$n\leq c(\log r)^{1/2}$.