On Collatz problem (3n+1)
No, that's not what collatz would appear to say. Please, can you clarify your original post so that we may see what it is that you are asking exactly.
If it were that Collatz's decidability is equivalent to the statement above then I rather think Conway might have noticed.
Please rewrite your question so that the same n's don't stand for different numbers.