diff --git a/MathlibTest/decide_cbv.lean b/MathlibTest/decide_cbv.lean
new file mode 100644
index 00000000000000..a57711e572412b
--- /dev/null
+++ b/MathlibTest/decide_cbv.lean
@@ -0,0 +1,9 @@
+import Mathlib.Algebra.IsPrimePow
+
+example : IsPrimePow 10093 := by decide_cbv
+
+example : IsPrimePow 100999 := by decide_cbv
+
+example : ¬ IsPrimePow 15 := by decide_cbv
+
+example : ¬ IsPrimePow 111111111111111155 := by decide_cbv