Andrews–Merca–Guo–Zeng truncated Jacobi triple product positivity conjecture
Andrews–Merca–Guo–Zeng conjecture. This coefficient is nonnegative.
MathDB