if n belongs to natural numbers then the highest integer m such that 2^m divides (3^2n)9-8n-9
When you say: (2^m) / [9(3^2n)-8n-9], do you expect to get two WHOLE integers for n, m? There are some hints that the statement is false!.