How do you represent basic arithmetic using boolean function?
Hint: Use the standard reduction from CircuitSAT to SAT.  Equivalently: Use the Tseitin transform.

I assume you do know how to write a boolean circuit to test whether $x&gt;y$.  If not, consult a textbook.