Conditions:
n such that $\ Ord_n(2) \mid n-1 $ and $\ Ord_n(2) - 1 = 2^x,n \in >2\mathbb{N}+1,\ x \in \mathbb{Z}_{\geq 0}$.
I check up to 1e7 :
3,7,31,73,6151,57457,131071,599479,1572871,2252951,5242921
Numbers matching the condition are all primes.Are there composite numbers matching the conditions?