Reduce in Mathematica 5 vs Mathematica 8 (2nd problem)

*To*: mathgroup at smc.vnet.net*Subject*: [mg115247] Reduce in Mathematica 5 vs Mathematica 8 (2nd problem)*From*: olfa <olfa.mraihi at yahoo.fr>*Date*: Tue, 4 Jan 2011 18:53:02 -0500 (EST)

Hi Mathematica Community, First,wish you happy and successfull new year. For this 2nd problem in the same subject,I have this system to solve: Reduce[Not[ ForAll[{aaP, abP, iP, jP, sP, tP, uP, xP, yP, zP}, Implies[t == tP && i + x == iP + xP && y == yP && j t + z == jP tP + zP && t x + z == tP xP + zP && Floor[Log[j]/Log[2]] == Floor[Log[jP]/Log[2]] && Floor[Log[x]/Log[2]] == Floor[Log[xP]/Log[2]] && x >= xP, t x == tP xP]]]] in mathematica 5 the output is given in a very short time and is "the system cannot be solved with the method available to Reduce" this suits me (although I wish it to be the output "True" which is the right answer) in mathematica 8 the kernel still in running indefinitely and this does not suit me at all :( so how to deal with that?