-- -*- M2-comint -*- hash: 18107503444854564516

i1 : not isPrime 4

o1 = true

i2 : isNotPrime = not isPrime

o2 = isNotPrime

o2 : FunctionClosure

i3 : isNotPrime 4

o3 = true

i4 : isNotPrime 5

o4 = false

i5 : 
