$2^p - 1$ is prime if the order of $2$ mod $q$ is $p$ for every factor $q$

The order is always $p$ if $p$ is prime

The order is always $p-1$

There is no relationship