Actually, it was able to figure out the inverse operation. (15 is produced by which multiplication? Ah, it is 3*5.)