Define a relation $R$ on $\mathbb{Z}$ by $aRb$ iff $3a - 5b$ is even. Prove $R$ is an equivalence relation and describe equivalence classes. I think I got most of the proof, but feel free to critique anything you would like :).
First, notice that $aRa$ means $3a - 5a = a(3 - 5) = 2(-a)$. This is even, thus, $R$ is reflexive.
Second we show that $aRb \implies bRa$. Well, $aRb$ means that $3a - 5b$ is even. Then we have $3a - 5b = 2k$ for some integer k. Rearrange like so
$$
\begin{equation} \begin{split} 
3a - 5b &= 2k \\
-5b &= 2k - 3a \\
-5b &= 2(k - a) + (-a)
\end{split} \end{equation}
$$
Since, we stated that the LHS and RHS were both even in the beginning and still are (i think?), this forces $a$ and $b$ to be even. Thus, $3b - 5a$ is even because we are dealing with two even numbers. Therefore $bRa$ which means $R$ is symmetric.
Now for transitive. We have show that $(aRb \wedge bRc) \implies aRc$. Since $aRb \wedge bRc$, we have $3a - 5b$ even and $3b - 5c$ even. Note when we add, the sum is even. Observe
$$
(3a - 5b) + (3b - 5c) \\
3a - 2b - 5c \\
2(-b) + (3a - 5c)
$$
$2(-b)$ is even and this forces $3a - 5c$ to be even. Therefore $R$ is transitive. QED.
For the equivalences classes we know that if $a$ is even we have that $b$ must be even. Similarly, if $a$ is odd then $b$ is odd. Therefore, the equivalence classes are the set of odd integers and the set of even integers.
My question is on proving that $R$ is symmetric. Is it mathematically sound?
 A: Suppose that $a\sim b$.  That is to say, $3a-5b$ is even.  That is to say, $3a-5b$ is equal to $2$ times some integer, we'll call it $k$ so $3a-5b=2k$
We ask whether or not this implies that $b\sim a$, that is if $3b-5a$ can be written as $2$ times an integer as well (note, not necessarily the same integer as before)
$$\begin{array}{l|l}~~~~3b-5a&\text{original}\\=3b+0-5a+0&\text{add zero twice}\\=3b+(-8b+8b)-5a+(8a-8a)&\text{replace zeroes}\\=(3b-8b)+8b+(-5a+8a)-8a&\text{adjust parentheses}\\=(3a-5b)-8a+8b&\text{simplify and rearrange}\\=2k-8a+8b&\text{use hypothesis}\\=2(k-4a+4b)&\text{factor out two}\end{array}$$
This shows that $3b-5a$ can also be written as $2$ times an integer and so is also even.

Similarly, for transitivity, we suppose $3a-5b$ is even and $3b-5c$ is even and we ask about $3a-5c$.
$3a-5c = 3a+0-5c=3a-5b+3b+2b-5c = (3a-5b)+(3b-5c)+2b$ is the sum of three even numbers and thus even as well.
A: 3a-5b is even implie 3a=5b[2]

*

*a$R$a implie $3a=5a[2]$$\Rightarrow $$-2a=0[2]$ so R is reflexive


*

*

*a$R$b$\Rightarrow $$3a=5b[2]$$\Rightarrow $$ 9a=15b[2] $$\Rightarrow $$5a=3b[2]$$\Rightarrow $b$R$a



(because $9a=5a[2] $ and $15b=3b[2] $)
So R is symmetry

*

*

*

*

*

*a$R$b$\Rightarrow $$3a=5b[2]$
and
b$R$c$\Rightarrow $$3b=5c[2]$ that implies $9b=15c[2]$$\Rightarrow $$5b=5c[2] $
So $3a=5c[2]$$\Rightarrow $ a$R$c
So a$R$b and b$R$c $\Rightarrow $a$R$c
So R is Transitive
Finally
After (reflexivity, symmetry, transitivity) we Kan see R is equivalence relation
