The wording for part one is strange to me.

Consider

Since the integers mod p are a finite field they are an integral domain we have that

I cannot see any reason why [tex]a \equiv -b \mod{p}[\tex] So it looks like it can have two solutions.

Please clarify and see if this gets you started on the next problem.

For the last one just factor!