Fourier-Motzkin Elimination in Racket