The result you seek is
$$
\left[ N , \prod_{j} (a_j^{\dagger})^{n_j} (a_{j})^{k_j} \right] \ = \ \left( \sum_{i} ( n_{i} - k_{i} ) \right) \prod_{j} (a^{\dagger})^{n_{j}} (a_{j})^{k_j} \ .
$$
As you guessed, this commutes with a RHS of $0$ when $n_j = k_j$ for all $j$. However, interestingly there are other combinations of operators which make this commute (for example, if you have two oscillators, then picking $n_1=2$, $n_2 = 0$ and $k_1=1$, $k_2=1$ makes the above commute ie. $N = a_1^\dagger a_1 + a_2^\dagger a_2$ would commute in this example with the operator $(a_1^\dagger)^2 a_1 a_2$).
To see how this result follows, note that this commutator has the form
$$
[ \sum_{j} A_j , \prod_{j} X_{j} ] \ = \ \sum_{j} [ A_{j}, X_j ] \prod_{\ell \neq j} X_\ell \ ,
$$
which follows when you are careful about the tensor product structure of the operators (see Appendix A below). This means that our commutator becomes
$$
\left[ N , \prod_{j} (a_j^{\dagger})^{n_j} (a_{j})^{k_j} \right] \ = \ \sum_{j} \left[ a_j^\dagger a_j, (a_j^{\dagger})^{n_j} (a_{j})^{k_j} \right] \; \prod_{\ell \neq j} (a_\ell^{\dagger})^{n_\ell} (a_{\ell})^{k_\ell}
$$
It follows that $\left[ a_j^\dagger a_j, (a_j^{\dagger})^{n_j} (a_{j})^{k_j} \right] = ( n_j - k_j ) (a_j^{\dagger})^{n_j} (a_{j})^{k_j}$ (see Appendix B below). With this we get the quoted result.
Appendix A: To see why this is true, imagine there are only two oscillators, then we have
$$
[A_1 + A_2, X_1 X_2] \to [ A_{1} \otimes \mathbb{I} + \mathbb{I} \otimes A_2 , X_1 \otimes X_2 ] = [ A_{1}, X_1 ] \otimes X_2 + X_1 \otimes [ A_2 , X_2 ] ,
$$
and the generalization of this is quoted above.
Appendix B: We just need to evaluate a commutator of the form $[ a^\dagger a,
(a^\dagger)^n a^k]$ here. One way to do this is consider the cases of $n>k$, $n=k$ and $n<k$ separately. Clearly for $n=k$ we have find that $[ a^\dagger a,
(a^\dagger)^n a^k] = [ N, N^n ] = 0$. For $n>k$, we can set $n = k+m$ and the commutator has the form
$$
[ a^\dagger a, (a^\dagger)^n a^k] = [ N, (a^\dagger)^m N^k]
$$
which is easy to evaluate case-by-case for $m=1,2,3,\ldots$ once you know that $[N,a^{\dagger}] = a^{\dagger}$. It then follows that the above is equal to
$$
\cdots = m (a^{\dagger})^m N^k = (n-k) (a^{\dagger})^n a^k \ .
$$
The remaining case for $n<k$ follows similarly and gives the same result.