Phương trình ax≡b theo modulo n có nghiệm khi và chỉ khi d=gcd(a,n) chia hết b. Nếu có, chia a,b,n cho d để thu được phương trình có hệ số khả nghịch. Nó có một nghiệm phần dư theo modulo n/d và d nghiệm riêng biệt theo modulo n. Chia hệ số nhưng giữ nguyên mô-đun gốc thường làm mất nghiệm. Phân tích thừa số nguyên tố cung cấp một công cụ chia hết khác: nếu n^k phải chia hết cho tích các lũy thừa nguyên tố p^a, mỗi lũy thừa nguyên tố trong n phải lớn ít nhất ceil(a/k). Các lũy thừa tối thiểu này độc lập tạo ra số n thích hợp nhỏ nhất. Đối với n⁴ chia hết cho 2⁷·3⁵, n phải chứa 2² và 3², vì vậy giá trị nhỏ nhất là 36. Đây là điều kiện lũy thừa nguyên tố, không phải là đồng dư giải bằng phép chia模.
Thuật toán Euclid mở rộng biểu thị gcd(a,n) dưới dạng ua+vn. Khi gcd là 1, u là nghịch đảo của a theo modulo n. Chọn đại diện trong khoảng yêu cầu sau khi rút gọn. Đối với 7 và 26, 1=15·7−4·26, vậy 15 là nghịch đảo của 7 theo modulo 26; hãy kiểm tra tích để bắt lỗi dấu.
Đối với các mô-đun dương nguyên tố cùng nhau m,n, định lý dư Trung Quốc cho đúng một nghiệm theo modulo mn cho mỗi cặp điều kiện phần dư. Thay x=r+mk vào đồng dư thứ hai và giải theo k. Nếu các mô-đun không nguyên tố cùng nhau, các giá trị phần dư của chúng phải khớp nhau theo gcd(m,n); khi nhất quán, tính duy nhất là theo bội chung nhỏ nhất, không phải tích.
Số totient Euler phi(n) đếm các phần dư nguyên tố cùng với n. Đối với các thừa số nguyên tố phân biệt p, phi(n)=n nhân tích của (1−1/p). Định lý Euler cho a^phi(n)≡1 chỉ khi gcd(a,n)=1. Trường hợp nguyên tố là định lý nhỏ Fermat. Chỉ rút gọn số mũ sau khi kiểm tra điều kiện này; một phần tử không khả nghịch có thể trở thành zero dưới các lũy thừa lặp lại.