One of my favorites:
Two numbers m and n are chosen such that 2 <= m <= n <= 99. Mr.
S(um) is told their sum and Mr. P(roduct) is told their product. The following
dialogue ensues:
i. Mr. P: I don't know the numbers.
ii. Mr. S: I knew you didn't know. I don't know either.
iii. Mr. P: Now I know the numbers.
iv. Mr. S: Now I know them too.
In view of the above dialogue, what are the numbers?
Well... Repeating some of your work here but...
i=>m, n not both prime
ii=>m+n is odd. Since every even number can be a sum of primes (Goldbach's conjecture is certainly valid for integers <100) and if the number could be a sum of primes then Mr. P might have known what it was. And we can get m+n=/=5,197.
iii: Here I start to lose it... I think we have to do some pretty in depth analysis on the sets...
m+n odd => m*n is even and exactly one of m, n is even with the other odd
further m+n-2 cannot be prime since n=2 gives a sum of two primes which would be invalid by ii.
That's as far as I can get easily, running analysis on m+n...
m+n={11, 17, 23, 27, 29, 35, 37, 41, 47, 51, 53, 57, 59, 65, 67, 71, 77, 79, 83, 87, 89, 93, 95, 97, 101, 107, 113, 117, 119, 121, 123, 125, 127, 131, 135, 137,143, 145, 147, 149, 153, 155, 157, 161, 163, 165,167, 171, 173, 177, 179, 185, 187, 189, 191}
This cuts down the possibilities somewhat...
In order for the problem to be solved on iii) we need a a number where we can eliminate all but 1 pair f additive factors.
m+n=11 =>m*n={18, 24, 28, 30} Mr. P. can solve the problem if all of the possible factor representations of of his numbers do not appear on Mr. S's list except the on matching 11.
18=2*9, 3*6, which give 11 and 9
24=2*12, 3*8, 4*6, which give 14, 11, and 10. Now 11 has been created twice so it can no longer work.
Moving on to 17...
m+n=17=>m*n={30, 42, 65, 70, 66, 70, 72} I believe since 30 is shared with the decomposition of 11, it eliminates 17 as well...
Further exhaustive analysis by hand will be difficult, but I'm sure I could write a Maple program to do this next time I'm at school. Or a few few more observations could help reduce the search space some?