اختبار لوكاس-ليهمر لأولية عدد ما اختبار رقمي يُستعمل لتحديد أولية الأعداد الميرسينية، حيث يطبَّق على الأعداد من الشكل M_p = ٢^p−١ مع p أولي؛ يَنتج الاختبار سلسلة محددة تبدأ بقيمة مُعطاة وتُكرَّر وفق علاقة متسلسلة، ويُتحقَّق أولية M_p بفحص قابلية عنصر السلسلة للقسمة على M_p بعد p−٢ خطوة حسب القاعدة المعروفة.
