Very nice. I prove this by inducting on $|S|$.
Base case, $|S|=1$. If $S=\{a\}$ for some $1\le a\le p-1$, then clearly $|A|=0$ since $(a,\dots,a)$ does not satisfy the condition ($(p,q)=1$).
Inductive hypothesis. Suppose the assertion is true for all $S'$ with $|S'|=n$, $n\ge 1$. Consider $S=S'\cup \{a\}$. Also, let $A'=\{(x_1,\dots,x_q):x_i\in S',\textstyle \sum_i x_i\equiv 0\pmod{q}\}$. Note that $|S|-|S'|$ is precisely the number of all $(x_1,\dots,x_q)$ with at least one $a$ such that $\textstyle\sum_i x_i \equiv 0\pmod{q}$. For any $1\le \ell \le q-1$, denote by $M_\ell$ the number of all $(x_1,\dots,x_{q-\ell})$ with $\textstyle \sum_{1\le i\le q-\ell}x_i\equiv 0\pmod{q}$. Using $\ell$ as the parameter counting the number of $i$ with $x_i=q$, we thus get
\[
|S|-|S'|=\sum_{1\le \ell \le q-1}\binom{q}{\ell}M_\ell,
\]where the first binomial term is for choosing $\ell$ spots (out of $q$) for $a$. As $q\mid \textstyle \binom{q}{\ell}$ for $1\le \ell\le q-1$ (we used the primality of $q$), we complete the proof since $q\mid |S'|$.