Are the following statements true or false? If a statement is true, give a proof and if it's false, give a counter example. We assume no overflow occurs in the calculations and the rounding mode used can be any of the four rounding modes.

a)

b)

If x is a nonzero finite floating point number, then x x = 2x. If x and y are two finite floating point number, then x y = -(y x)