ML-Compiler

Hallo, kennt jemand einen guten ML-Compiler, der sich einfach in das System (SuSE 9.1) integrieren laesst? Danke schonmal. Falls jemand grade Zeit und Lust auf ein 10.Klass Mathematik-Problem hat: Wie kann man aus den Aussagen x+1=ny; y+1=nx; x+1>y; y+1>x; herleiten, dass x und y=1; ? Sollten die Aussagen nicht ausreichen, kann ich auch die ganze Fragestellung posten.