Express each of these statements using mathematical and logical operators, predicates, and quantifiers, where the domain consists of all integers.
- The sum of two negative integers is negative.
- The difference of two positive integers is not necessarily positive.
- The sum of the squares of two integers is greater than or equal to the square of their sum.
- The absolute value of the product of two integers is the product of their absolute values.
