For each positive integer $n$ let $P_n=\prod_{k=1}^n p_k$, where $p_k$ is the $k$th prime.
Question. Is my following conjecture true?
Conjecture. For any integer $n>1$, there are $k,m\in\{1,\ldots,n-1\}$ such that $$P_n\equiv P_k\pmod n\ \ \text{and}\ \ P_n\equiv -P_m\pmod n.$$
For example, $P_{32}\equiv P_{23}\pmod{32}$ and $P_{32}\equiv -P_8\pmod{32}$.
I have verified the conjecture for all $n=2,3,\ldots,70000$. When $n$ is squarefree, the conjecture holds trivially. I'm unable to prove the conjecture fully.
For the motivation of the conjecture, one may look at Conjecture 1.5 and Remark 1.7 in my paper available from http://dx.doi.org/10.1016/j.jnt.2013.02.003.
Your comments are welcome!