dai almeno ti sei sforzato un po'
Io avrei dato i nomi:
x -> input
y -> divisore oppure divisoreCorrente
z -> radice o soglia
k -> isNonPrimo o nonPrimo