Hello, I am the beginner in Mathematica. I need to solve a system of Diophantine equations coupled with inequalities, with 22 unknowns in total. If I try simpler examples, with ~ 3-5 unknowns, it goes Ok. But if I try to solve my system with 22 unknowns, Mathematica immediately gives the empty output (implying that there are no solutions?) But I am not sure if it tried to solve at all, since process load indicator did not even move. Is really possible that Mathematica can find that the system has no solution in no time?