The following problem is likely too special for MO. However I have no clue how to deal with it, so I'll just try. Nevertheless it is a combinatorial problem and a discussion about general methods in this context will be interesting and helpful.

How can one determine whether the following equation

$\sum_{p=2}^n\frac{(-1)^p}{p!}\sum_{j_1+\cdots+j_p=n}^{j_k\geq 1} \frac{1}{j_1\cdot \cdots \cdot j_p}\sum_{1\leq l < m}j_m\cdot j_l =\frac{1}{2}$.

holds for any $n\in\mathbb{N}$ with $n\geq 2$? I checked it directly for $n\leq 6$, but couldn't find any pattern to start from.

Expressions like this arise frequently in the context of Lie infinity algebra morphisms and insight from professionals in combinatorics would be great.

P.S.: If someone has a better title feel free to change it.