Everything except gcf gets full points if it's submitted and ACL2s (programming
mode) accepts it (even if it's not completely correct).

For gcf, -3 pts if it works for naturals but it's not total, -5 if there are
more mistakes but programming mode admits it, -10 if programming mode doesn't
admit it.