Formal target: Corpus.OEIS46969.conjecture1
Conjecture I: if $n > 2$, then $\frac{a(\text{A005382}(n))}{12}$ is prime, where A005382 is the sequence of primes $p$ such that $2p-1$ is also prime.
Exact formal statement
∀ (n : Nat), LT.lt.{0} 2 n → Nat.Prime (HDiv.hDiv.{0, 0, 0} (Corpus.OEIS46969.a (Corpus.OEIS46969.a005382 n)) 12)This target is a formal statement, not a proof of the problem.
Environment availability: available.