Here is the statement about set of real numbers:

$\displaystyle (\forall x \in R) (x \neq 5 \rightarrow (\exists y \in R) (y < x))$

I need to find the negation of it.

This is what I have so far. Am I correct?

$\displaystyle (\exists x \in R) (x = 5 \wedge (\forall y \exists R) (y > x))$