Express the following statments using quantifiers.

1. The problem statement, all variables and given/known data
Express the following statements using { not, implies, or , and} and quantifiers over natural numbers n, we can only use {+,-,x,>,=} as primitive operations and relations over n.


2. Relevant equations

a) even number n is a sum of four perfect squares?
b) every number n greater than 2 is not dividsible by n -1 ?

3. The attempt at a solution

 

i dont know how to solve it! thats why im asking, i am completely lost