Let U n = ( α n − β n ) / ( α − β ) {U_n} = ({\alpha ^n} - {\beta ^n})/(\alpha - \beta ) for n odd and U n = ( α n − β n ) / ( α 2 − β 2 ) {U_n} = ({\alpha ^n} - {\beta ^n})/({\alpha ^2} - {\beta ^2}) for even n, where α \alpha and β \beta are distinct roots of the trinomial f ( z ) = z 2 − L z + Q f(z) = {z^2} - \sqrt L z + Q and L > 0 L > 0 and Q are rational integers. U n {U_n} is the nth Lehmer number connected with f ( z ) f(z) . Let V n = ( α n + β n ) / ( α + β ) {V_n} = ({\alpha ^n} + {\beta ^n})/(\alpha + \beta ) for n odd, and V n = α n + β n {V_n} = {\alpha ^n} + {\beta ^n} for n even denote the nth term of the associated recurring sequence. An odd composite number n is a strong Lehmer pseudoprime with parameters L, Q (or slepsp ( L , Q ) {\text {slepsp}}(L,Q) ) if ( n , D Q ) = 1 (n,DQ) = 1 , where D = L − 4 Q ≠ 0 D = L - 4Q \ne 0 , and with δ ( n ) = n − ( D L / n ) = d ⋅ 2 s \delta (n) = n - (DL/n) = d \cdot {2^s} , d odd, where ( D L / n ) (DL/n) is the Jacobi symbol, we have either U d ≡ 0 ( mod n ) {U_d} \equiv 0\,\pmod n or V d ⋅ 2 r ≡ 0 ( mod n ) {V_{d \cdot {2^r}}} \equiv 0\,\pmod n , for some r with 0 ⩽ r > s 0 \leqslant r > s . Let D = L − 4 Q > 0 D = L - 4Q > 0 . Then every arithmetic progression a x + b ax + b , where a, b are relatively prime integers, contains an infinite number of odd (composite) strong Lehmer pseudoprimes with parameters L, Q. Some new tests for primality are also given.