Write a predicate calculus statement that involves a universal and an existential quantifier. The domains for each quantifier should be one of the numeric sets, the natural numbers, the integers, the rational numbers or the real numbers. Indicate whether the statement is true or false. If it is false, provide a counterexample. Write the negation of the original statement. If the negation is false, provide a counterexample.