Abstract:A new generalisation of Goldbach's conjecture (GGC) - also generalising that of Lemoine - is tested, introduced by the first author. It states that for every pair of positive integers $m_1, m_2$, every sufficiently large integer $n$ satisfying certain simple criteria can be expressed as $n=m_1p+m_2q$ for some primes $p$ and $q$. GGC is checked up to $10^{12}d$ for all (up to $10^{13}d$ for some) pairs of coefficients $m_1, m_2$, where $d=\gcd{(m_1, m_2)}$ and $m_1/d, m_2/d \leq 40$. The largest counterexamples found that cannot be obtained in this form are presented. Their relatively small sizes support the plausibility of GGC. Lemoine's conjecture is verified up to a new record of $10^{13}$. Four naturally arising verifying algorithms are described and their running times compared for every $m_1\leq m_2\leq 40$ relatively prime. These seek to find either the $p$- or the $q$-minimal $(m_1, m_2)$-partitions of all numbers tested, by either descending or ascending search for the prime to be maximised or minimised, respectively, in the partitions. For all $m_1, m_2$ descending searches were faster than ascending ones. A heuristic explanation is provided. The relative speed of ascending [descending] searches for the $p$- and for the $q$-minimal partitions, respectively, varied by $m_1, m_2$. Using the average of $p^*_{m_1, m_2}(n)$ - the minimal $p$ in all $(m_1, m_2)$-partitions of $n$ - up to a sufficiently large threshold, two functions of $m_1, m_2$ are introduced, which may help predict these rankings. Our predictions correspond well with actual rankings. These could be further improved by developing approximations to $p^*_{m_1, m_2}(n)$. Numerical data are presented, including average and maximum values of $p^*_{m_1, m_2}(n)$ up to $10^9$. An extension of GGC is proposed, generalising the Twin prime conjecture and the assertion that there are infinitely many Sophie Germain primes.

On Generalizing a Corollary of Fermat’s Little Theorem

A generalization of Fermat's little theorem

A new generalization of Fermat's Last Theorem

A Geometric Proof of Fermat’s Little Theorem

General Elementary Direct Proof of Fermat's Last Theorem

Fermat’s Little Theorem via Divisibility of Newton’s Binomial

Fibonacci numbers and Fermat's last theorem

Generalizations of Bertrand's Postulate to Sums of Any Number of Primes

On sums involving divisor function, Euler's totient function, and floor function

Sur le théorème de Fermat sur ${\bf Q}(\sqrt{5})$

On Almost Universal Mixed Sums of Squares and Triangular Numbers

A Quixotic Proof of Fermat's Two Squares Theorem for Prime Numbers

Empirical verification of a new generalisation of Goldbach's conjecture up to $10^{12}$ (or $10^{13}$) for all coefficients $\leq 40$

Fermat's Little Theorem and Euler's Theorem in a class of rings

Fermat's Last Theorem for regular primes

Fermat's Little Theorem and Gauss Congruence: Matrix Versions and Cyclic Permutations

Class numbers, Ono invariants and some interesting primes

Theorems about the divisors of numbers contained in the form $paa \pm qbb$

On the Simple Divisibility Restrictions by Polynomial Equation a n+bn=cn Itself in Fermat Last Theorem for Integer/Complex/Quaternion Triples

Consecutive Primes and Legendre Symbols

Generalization of an Identity about Euler’s Totient Function