What is the negation of $x > 5$?