I conjecture that:
Every Finite Homomorphic image of an infinite (with arbitrary cardinality) product   of finite solvable groups is solvable -- or at least Not a simple (non-abelian) group.
   
I can see this conjecture in some cases.
but the general case seems very complicated.

Question:  Has this problem been investigated ?
Thank you.