Proving an integer $3n+2$ is odd if and only if the integer $9n+5$ is even How can I prove that the integer $3n+2$ is odd if and only if the integer $9n+5$ is even, where n is an integer?
I suppose I could set $9n+5 = 2k$, to prove it's even, and then do it again as $9n+5=2k+1$
Would this work?

(This bit of writing is organized by notes and proofs, as noted by headings and X)s)
Proof 1
1) Assuming an even plus an even is an odd, odd plus an odd is an even, and even plus an odd is an odd... -- (See end proofs)
2) Assuming n is even... 
3) Anything even can be stated as 2x, where x equals any non-decimal number, therefore the product of 3*2x would be divisible by two, and even. Adding two to that would produce an even according to our original assumption.
4) Now assuming n is odd...
5) 3n would always result in an odd, due to the fact that any value for n that is even would result in an even number, we would only need to add 3 to n-1 to get 3n. Since we're assuming n is odd, n-1 would be even, and an even plus an odd is an odd. 
6) Now adding two to this odd would result in another odd, due to an odd plus an even being an odd.
Proof 2
Now to prove that 9n + 5 is an even if 3n + 2 is an odd...
1) N must be an odd for 3n + 2 to be an odd
2)Plugging any odd number into the equation 9n would result in an odd number(see note five of previous proof) 
3) An odd plus an odd is an even (see note 1 of previous proof), five is an odd, 9n is an odd, so 9n + 5 is an even.
Now, a quick proof on odd plus odd being an even and etc.
Definitions:
Even - 2n or an odd +- 1 where n is any complete number
Odd - 2n +- 1 where n is any complete number
Proof 3
1) an odd plus an odd would be (2n +- 1) + (2x +- 1). 
2) After simplification, this can become 3 things.
  1 - 2n + 2x
  2 - 2n + 2x + 2
  3 - 2n + 2x - 2
3) To check even-ness, divide by two and check for decimals. Doing so in the above three results results in no decimals, therefore, all even.
So an odd plus an odd is always an even.
Proof 4
1) An even plus an odd would be 2x + (2n + 1)
2) Dividing by two gives us x + n + .5. .5 is a decimal, therefore, the result is odd.
So an even plus an odd is an odd.
Proof 5
1) an even plus an even would be 2x + 2n
2) Divide by two - x + n. Since there are no decimals in this result, it is an even.
Therefore, an even plus an even is always an even.
