diff --git a/testcases/synthesis/PrimeHeuristic.scala b/testcases/synthesis/PrimeHeuristic.scala
new file mode 100644
index 0000000000000000000000000000000000000000..2a424dc11ff29cb11a89b7d7c59b43a761cb921d
--- /dev/null
+++ b/testcases/synthesis/PrimeHeuristic.scala
@@ -0,0 +1,11 @@
+import leon.Utils._
+
+object PrimeHeuristic {
+  def maybePrime(n: Int): Boolean = n match {
+    case 2 * k     => false
+      case 3 * k     => false
+      case 6 * k - 1 => true
+      case 6 * k + 1 => true
+  }
+
+}