Please solve the question completely and according to given conditions

Table 1 shows a list of expressions and assignments to the variables in the expressions. State for each, whether or not the expression is an invariant of the assignment. Justify your answer, either by using the invariant rule for assignment statements, or by giving a counter example. Assignment m,n :=m+2, n +3 m, n = m - 4,n - 6 m, n = m + 4, n +1 m, n = m + Con-C n = 2n + 1 Expression 3m - 2n 6m + 4n m