On the density of the orders excluded by the Sylow theorems for simple groups If $G$ is a finite group whose order is divisible by a prime $p$ and $p^r$ is the maximal power of $p$ that divides it, the Sylow theorems tell us that the number $n_p$ of Sylow $p$-subgroups of $G$ is congruent to $1$ modulo $p$ and a divisor of $\lvert G\rvert/p^r$, and that if $n_p=1$ then $G$ is not simple. With this information alone we can decide that some numbers are not the order of a finite simple group.

How big is the set of numbers that these two facts exclude as candidates to be the order of a simple group?

By big here one can mean, say, the density in $\mathbb{N}$. One can also weigh numbers by the number of actual groups of each order, so as to turn the question into

What proportion of finite groups are known to be non-simple by using only these two Sylow theorems on the number of they Sylow subgroups?

Since most groups are apparently $p$-groups, the answer to this is probably one.
 A: Such numbers have density $1$. In fact, for a density $1$ set of numbers it suffices to apply Sylow's theorem to the largest prime factor.
In other words, for a density $1$ set of numbers $n$, with $p$ the largest prime factor of $n$, there is no number congruent to $1$ mod $p$ dividing $n$ other than $1$.
Proof: We start from a classical fact of analytic number theory, that for each $\epsilon>0$ there is $\delta>0$ such that a density $1-\epsilon$ fraction of numbers have a prime factor of size $>n^{\delta}$. So it suffices to restrict attention to numbers with a prime factor of size $n^{\delta}$.
The number of numbers between $X$ and $2X$ which have a large prime factor do not satisfy the condition is at most the number of triples $p,a,b$ where $p> X^{\delta}$ is prime, $a>0$, and $$X< p (1+pa) b< 2X$$
Indeed, take $p$ to be the largest prime factor, $1+pa$ a nontrivial divisor congruent to $1$ mod $p$, and $b$ to be whatever factor remains.
Now note that for each $p,a$, the number of possible values of $b$ is at most $\frac{2 X}{ p (1+pa) }\leq \frac{2X}{p^2 a}$. Summing over $a$ from $1$ to $X$, the number of such triples with fixed $p$ is $O ( \frac{X }{p^2} \log X)$ by the harmonic series. Summing over $p$ from $X^\delta$ to $\infty$, the number of such triples is $O( \frac{X \log X}{ X^{\delta}} ) = o(X)$ so the set of numbers not satisfying the condition has density zero, as desired.
