For ever x in reals, x^2 is greater or equal to 2. For every x in naturals, -2x is integer. There exists x in reals such that x+3 equals 5. There exists x in integers such that 2x-1 is les than 10. For every a real number x, there exists a real number y such that x+y equals 5. There exists a natural number n such that for every a real number x, x^n is greater or equal to 0.