Question: How do I force Maple to output that a certain system of equations has no solution?

Hi,

So, I have the following problem. In my research, I am trying to prove that something is impossible. I do that by encoding it as a set of equations, and asking Maple to solve them, and if it finds that the system has no solutions, I got what I wanted. However, I really wanted to see Maple output this fact explictly, more or less like Mathematica (where I either get an error message, or I get "False" if I use the Reduce command). The reason for this is that I will embed this procedure in a loop that varies some of my starting assumptions, and I want Maple to output that the system has no solutions at each iteration. This is useful since each iteration takes more than half an hour to run, and there are dozens of them, so I want the program to provide me some intermediate feedback, rather than waiting for everything to finish to get an answer.

Is the question clear?

Thanks a lot for the help!