Divide the first 5n positive integers into $5$ groups such that the sum of the numbers in each group is equal Prove that for every integer $ n> 1$, it is possible to divide the first 5n positive integers into $5$ groups such that each group has exactly $n$ numbers and the sum of the numbers in each group is equal.
If n is even, I divide into 5 groups as follows:
$A_1: 1,3,5,...,n-1,4n+2,4n+4,…,5n$
$A_2: 2,4,6,...,n,4n+1,4n+3,…,5n-1$
$A_3: n+1,n+3,n+5,...,2n-1,3n+2,3n+4,…,4n$
$A_4:  n+2,n+4,...,2n,3n+1,3n+3,…,4n-1$
$A_5:  2n+1,2n+2,…,3n$
$\Rightarrow A_1=A_2=A_3=A_4=A_5=\frac{5n^2+n}{2}$
If n is odd, I don't know how to prove. Please help me.

Whenever $p$ is some prime, every group of $pn$ ($n > 1$) integers can be split into $p$ groups such that the sum of numbers in each group is equal. Unfortunately, this proof is only existential.
$\textbf{Proof;}$
Set $S_{p,n} = \{1,...,pn\}$ and set $F_{n,p} = (2^{S_{p,n}})^{p}$ so that $F_{n,p}$ is the set of $p$-tuples where each tuple entry is a subset of $S_{p,n}$. We will say that an element $x$ of $F_{n,p}$ is valid whenever we have
$$\bigcup_{j=1}^{N}(x)_{j} = S_{p,n}$$
$$(x)_{i} \cap (x)_{j} = \emptyset \text{ whenever }i \neq j$$
here $(x)_{j}$ is the projection of $x$ onto its $j-$th tuple component. We will denote the set of valid elements of $F_{n,p}$ as $F_{n,p}^{*}$. Given a finite set $A$ such that $A \subset \mathbb{N}$ we will denote
$$\text{Sum}(A) = \sum_{y \in A}y.$$
We define $\phi_{n,p}: F_{n,p}^{*} \rightarrow \mathbb{C}$ via
$$\phi_{n,p}(x) = \sum_{j=0}^{p-1}\text{Sum}((x)_{j+1})e^{\frac{2\pi i j}{p}}$$
Note that
$$\phi_{n,p}(x) = 0 \text{ iff } \text{Sum}((x)_{1}) = \text{Sum}((x)_{2})...= \text{Sum}((x)_{p})$$ due to Eisenstein's criterion applied to cyclotomic polynomials.
Now note that
$$V_{n,p} := \prod_{x \in F_{n,p}^{*}} \phi_{n,p}(x)$$ is of the form
$$\sum_{j=0}^{p-1}A_{j,n,p}e^{\frac{2\pi i j}{p}}$$
and by symmetry
$$A_{0,n,p}=A_{1,n,p}...=A_{p-1,n,p} = A_{n,p}.$$
thus $V_{n,p} = 0$. Thus some $x^{*} \in F_{n,p}^{*}$ which satisfies $\phi_{n,p}(x^{*}) = 0$ is the configuration we are after.
