A congruence of Emma Lehmer (1938) for Euler numbers $E_{p-3}$ modulo p in terms of a certain sum of reciprocals of squares of integers was recently extended to prime power moduli by T. Cai et al. We generalize this further to arbitrary composite moduli n and characterize those n for which the sum in question vanishes modulo n (or modulo n/3 when 3|n). Primes for which $E_{p-3}\equiv 0\left(modp\right)$ play an important role, and we present some numerical results.

We assign to each positive integer $n$ a digraph whose set of vertices is $H=\{0,1,\cdots ,n-1\}$ and for which there is a directed edge from $a\in H$ to $b\in H$ if $a^2\equiv b\left(modn\right)$. We establish necessary and sufficient conditions for the existence of isolated fixed points. We also examine when the digraph is semiregular. Moreover, we present simple conditions for the number of components and length of cycles. Two new necessary and sufficient conditions for the compositeness of Fermat numbers are also introduced.

The number of solutions of the congruence $a₁x₁+\cdots +a_k{x}_k\equiv 0\left(modn\right)$ in the box $0\le x_i\le b_i$ is estimated from below in the best possible way, provided for all i,j either $(a_i,n)|(a_j,n)$ or $(a_j,n)|(a_i,n)$ or $n\left|\right[a_i,a_j]$.

What should be assumed about the integral polynomials $f₁\left(x\right),...,f_k\left(x\right)$ in order that the solvability of the congruence $f₁\left(x\right)f₂\left(x\right)\cdots f_k\left(x\right)\equiv 0\left(modp\right)$ for sufficiently large primes p implies the solvability of the equation $f₁\left(x\right)f₂\left(x\right)\cdots f_k\left(x\right)=0$ in integers x? We provide some explicit characterizations for the cases when $f_j\left(x\right)$ are binomials or have cyclic splitting fields.