(11 * 31) * 61 divides (20 |^ 15) - 1