Question 1 - Translate the following sentences into a statement of predicate calculus than contains two quantifiers:

a. "Any even integer is equal to twice some other even integer"

b. "Some natural number is no bigger than every natural number"

Question 2 - Refer to the statements in question 1 and indicate whether they are true or false. Provide reasoning.