We will prove that for all positive integers of the form n=22p−1 (where p>3 is a prime number) n∣2n−8 and n has at least three distinct prime divisors.
Since 2n−8=8(2n−3−1), to prove n∣2n−8 it is sufficient to prove
2p∣n−3.
Namely, in this case n−3=2pk for some positive integer k, so
2n−3−1=22pk−1=(22p)k−1=(22p−1)(22p(k−1)+22p(k−2)+⋯+22p+1),
i.e. 22p−1=n∣2n−3−1⇒n∣2n−8.
By Fermat's little theorem we have 2p≡2(modp), so it follows that
n−3=22p−4=(2p)2−4≡22−4=0(modp).
Obviously n−3 is an even number and since 2 and p are relatively prime we conclude that
n−3=22p−4≡0(mod2p).
Now we will show that n has at least three distinct prime divisors. Note that
n=22p−1=(2p−1)(2p+1).
Since 2p−1 and 2p+1 are two consecutive odd numbers they are relatively prime, so they don't have any common prime divisor. 2p−1 has at least one prime divisor so it is sufficient to show that 2p+1 has at least two distinct prime divisors. Since p>3 we can write p=3k+r, where k≥1 and r∈{1,2}.
Since p is odd, we have:
2p+1≡(−1)p+1=−1+1=0(mod3)
and
2p+1=(23)k⋅2r+1≡(−1)k2r+1=0(mod9).
We have proved that 2p+1 is divisible by 3, but it's not divisible by 9 which means that 2p+1 can not be a power of 3, i.e. 2p+1 has at least one prime divisor different from 3.
This proves the assertion of the problem.