Translate each of the following English statements into logical expressions. The domain of discourse is the set of all integers.

There are two numbers whose sum is equal to their product.

The product of every two positive integers is positive.

Every positive integer can be expressed as the sum of the squares of four integers.

There is a positive integer that is smaller than all other positive integers.