*I am looking for a "yes" or "no" answer for each point with explanation*

Let G be the grammar S a Ab aSb|ab| Carry out tests to support or contradict the conjecture that (a) L(G) 5 {a2ny2n: n > 1}, (b) L(G) = {aan b2n:n> 1}