On the divisibility properties concerning sums of binomial coefficients

For any integer n>1,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n> 1,$$\end{document} we prove 2n2nn|∑k=0n-1(3k+1)2kk3(-8)n-1-k,2n2nn|∑k=0n-1(6k+1)2kk3(-512)n-1-k,2n2nn|∑k=0n-1(42k+5)2kk34096n-1-k,2n2nn|∑k=0n-1(20k2+8k+1)2kk5(-4096)n-1-k.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} 2n{2n\atopwithdelims ()n}&\bigg |\sum _{k=0}^{n-1}(3k+1){2k\atopwithdelims ()k}^3(-8)^{n-1-k},\\ 2n{2n\atopwithdelims ()n}&\bigg |\sum _{k=0}^{n-1}(6k+1){2k\atopwithdelims ()k}^3(-512)^{n-1-k},\\ 2n{2n\atopwithdelims ()n}&\bigg |\sum _{k=0}^{n-1}(42k+5){2k\atopwithdelims ()k}^3 4096^{n-1-k},\\ 2n{2n\atopwithdelims ()n}&\bigg |\sum _{k=0}^{n-1}(20k^2+8k+1){2k\atopwithdelims ()k}^5(-4096)^{n-1-k}. \end{aligned}$$\end{document}The first three results confirm three divisibility properties on sums of binomial coefficients conjectured by Z.-W. Sun.