11) prime?
True
Let m(j) = 36*j**2 + 4*j + 3. Is m(-2) a prime number?
True
Let y = -1790 - -2643. Is y prime?
True
Suppose 4 = 4*c, 3*u = 4*c + 4597 + 18316. Is u a prime number?
True
Let j = -54 - -28. Let h(u) = 4*u + 8. Let v be h(-6). Let l = v - j. Is l composite?
True
Let g(h) = 1 + 0 + 4 - 2*h - 1 + 5*h**2. Let m be 75/(-27) - (-4)/(-18). Is g(m) a composite number?
True
Suppose 0 = 12*k - 17*k + 2945. Is k composite?
True
Let h(u) = -51*u**3 - 5*u**2 - 7*u - 5. Is h(-2) a prime number?
True
Suppose -9*t + 4*t + 5*j - 1230 = 0, -4*t + 5*j - 988 = 0. Let x = 51 - t. Is x composite?
False
Suppose -q - 4*p = -11, 3*p + 27 = -5*q - 3. Let s = -4 - q. Suppose s*k + 121 = 2*r, 5*r - 41 = 4*r - 4*k. Is r a composite number?
False
Let c(k) = 52*k**2 - 7*k + 11. Is c(-5) a prime number?
False
Let f(p) = -181*p + 7. Is f(-12) prime?
True
Let c(i) = 5 - 5*i + 11*i**2 - 21 + 11. Is c(-3) a prime number?
True
Let m(p) = p**2 + 5*p + 5. Let f(o) = o**3 - 10*o**2 + o + 2. Let n be f(10). Let v = n + -19. Is m(v) prime?
True
Let o be (-30)/4*(-70)/15. Suppose h = 5*i - 128, 4 = 4*h - 4. Suppose -4*d + 4*q = -d - i, -5*q = 3*d - o. Is d a prime number?
False
Let z be 0 + (0 + -3 - -9). Is (-4)/z + (-59)/(-3) prime?
True
Suppose 0*q = -4*q + k - 140, k = 5*q + 174. Let f = q + 165. Is f prime?
True
Let k = 14 + -27. Let b = k + 18. Suppose 67 - 162 = -b*v. Is v prime?
True
Let m = 4006 + -620. Is m prime?
False
Let r(q) = 26*q + 3. Let o(j) = -j + 3. Let k be o(-4). Let d(v) = v**3 - 6*v**2 - 6*v - 2. Let w be d(k). Is r(w) prime?
False
Let x be (-2 - 2)*3/(-3). Suppose -661 = -x*l + 351. Is l a composite number?
True
Let h(o) = 2*o**2 + 4*o + 13. Is h(-7) composite?
False
Suppose 0 = c + k + 2*k - 439, -2*c + 900 = -5*k. Suppose -4*n - n + c = 0. Is n a prime number?
True
Let c(t) = 4*t - 2*t + t + 2 - 7 + t**2. Is c(-10) a prime number?
False
Let g(z) = -z**3 + 11*z**2 + z - 9. Let s be g(11). Suppose -s*j - m = -5*m - 270, -m - 134 = -j. Is j composite?
True
Let s be 1/(-2) + (-33)/(-6). Suppose -16 = n - s*n, 3*i - 11 = n. Suppose -i*o = 2*q - 366, -o + 2*q + 28 = -50. Is o prime?
False
Let o(h) = 2*h - 6. Let x be o(4). Let p be ((-143)/(-2))/(x/4). Suppose -4*j + p = -165. Is j prime?
False
Suppose -4*q = 437 - 49. Let b = -154 - q. Is (2/(-6))/(1/b) composite?
False
Suppose 0 = -2*o - 3*a + 29, -3*o + 44 = 5*a. Is o a composite number?
False
Suppose -2*v + 9 - 1 = 0. Suppose -5*o = -2*l + v*l - 89, 0 = 2*l + o - 77. Is l prime?
True
Let c(w) = w**2 - 11*w - 11. Let b be c(12). Is (12/24)/(b/290) a composite number?
True
Suppose -12234 = -13*o + 7*o. Is o a composite number?
False
Let k(a) = 20*a**2 - 9*a - 7. Is k(8) prime?
True
Let r = 12 - 12. Suppose r = -0*w - w + 21. Is w a prime number?
False
Suppose -4*f = w + f + 27, w = -f - 7. Is (7/28)/(w/(-248)) prime?
True
Suppose -5*t + 8 = 4*f - 12, -10 = -2*f - 5*t. Suppose -3*b + 4*s + 29 = -644, 4*b + f*s - 887 = 0. Is b a composite number?
False
Is 36 + 1 + 1 + 1 + -4 prime?
False
Let m = -4 + -2. Let n(x) = -5*x - 5. Is n(m) a prime number?
False
Suppose 3*l + 2*m = 2883, m = -l + 3*l - 1915. Is l composite?
True
Let o(p) = 5*p - 5. Let n be o(-7). Let z = n - -111. Is z composite?
False
Let n = 88 - 3. Let q(i) = -16*i**2 - 2*i. Let y be q(-2). Let w = n + y. Is w prime?
False
Suppose 1575 = 3*l - 2*q, 2*l - 2*q = 134 + 918. Is l prime?
True
Let j(x) = -x - 3. Let l be j(-8). Suppose l*s = -0*s. Suppose s*z = -4*z + 220. Is z a prime number?
False
Let r(j) = -319*j**3 + j**2 + 2*j + 9. Is r(-2) composite?
True
Let x(w) = -14*w - 5. Is x(-9) prime?
False
Suppose 0*u - u + 2 = -l, -u + 2*l = 0. Suppose -u*r + 5*f = -313, 4*r - 3*r - 3*f = 80. Is r a prime number?
False
Suppose 0 = x + 3*f - 1515, 0 = -5*f + 8 + 2. Is x prime?
False
Let x = 388 - 233. Is x a composite number?
True
Suppose -3*y - 2537 = -4*c + 2*y, 0 = 5*c + 2*y - 3163. Let h = -340 + c. Is h a prime number?
True
Suppose -3*x + 358 = 2*z - 211, 2*x - 2*z - 386 = 0. Let j = -102 + x. Is j a prime number?
True
Let p = 5 + -1. Suppose -4*z = -p*m - 0*m - 248, -6 = -3*z. Let r = m - -109. Is r a prime number?
False
Let l(c) be the third derivative of c**5/12 + c**4/12 + c**3/3 + c**2. Is l(3) a composite number?
False
Let n(b) = 5 + 10*b - 7*b + 7*b + 4 + b**3 + 9*b**2. Let p be (-3)/(6/4 + -1). Is n(p) a composite number?
True
Let c(v) = 2*v**2 + 2 - 4 + 6*v + 4. Let r = 10 - 15. Is c(r) composite?
True
Let y(d) = 20*d**2 + 13*d - 41. Is y(8) prime?
False
Suppose -647 - 1444 = -3*t. Is t composite?
True
Let v be (0 + 3)*4/6. Let h(x) = -7*x - 1 + 3*x**2 - 5*x**2 + 3*x**v. Is h(8) composite?
False
Let y(p) be the first derivative of 3 - p + 4/3*p**3 + 0*p**2. Is y(-1) prime?
True
Let n(k) = -k**3 + 9*k**2 + 11*k - 10. Suppose 0 = x - 7 - 3. Let j be n(x). Suppose j = l - 3*d - 34, 159 = 3*l + 4*d + 57. Is l prime?
False
Suppose -s = 4*c - 1853, 0*c + 2*s + 2313 = 5*c. Is c a composite number?
False
Let f(c) = -3*c + 87 + 3*c - 2 - c. Is f(0) prime?
False
Let j = -2025 + 2946. Is j prime?
False
Let w(k) = 15*k + 4. Let s be (3 - 2) + (-12 - 1). Let y = s - -17. Is w(y) prime?
True
Let w(v) = 183*v. Let p be w(1). Let z be ((-13)/39)/(5/6 - 1). Suppose 5*n - z - p = 0. Is n prime?
True
Let f = 15 - 10. Suppose -4*h + 636 = -4*p, f*h + 4*p + 0*p = 768. Suppose 2*l - 262 = 4*w, w + h = l + 27. Is l composite?
False
Let u(n) = 5*n + 2*n**3 + 2 - 2*n + 3 - n**2. Let l = 2 + 2. Is u(l) a prime number?
False
Let f be (-2)/3 + (-45)/(-27). Is (-29)/(-2)*26/f composite?
True
Suppose 4*h - 6*h = -406. Is h composite?
True
Suppose 3*x - 3*f = 33, 0*x + 5*f + 37 = 2*x. Suppose 4*d - 222 = 2*l, -d - 278 = -x*d + 3*l. Is d a prime number?
False
Suppose -2*u + 5*u - 609 = -o, -2*o = -3*u + 609. Is u a composite number?
True
Let c(n) = n**2 + 2*n - 1. Let s be c(-3). Suppose s*t - 3*u - 16 = 82, -2*u + 78 = 2*t. Let a = t + -24. Is a prime?
True
Let x = 1066 - 745. Is x a prime number?
False
Let j(l) = l**2 - 6*l + 7. Let f be j(5). Suppose -f*y - y + 111 = 0. Is y composite?
False
Let b(d) = 83*d + 1. Let i be b(3). Suppose -v = -4*v - 4*p + 361, -2*v = 5*p - i. Is v a composite number?
True
Suppose -5*j - 30 = -3*x, -19 = -2*x - 2*j + 5*j. Suppose -x*o = -o - 312. Suppose 3*u - 999 = -o. Is u a composite number?
False
Let s be ((-45)/4)/((-2)/8). Suppose -4*l + 4*t = -32, -3*t + 13 = -5*l + s. Suppose 53 = -l*d + 273. Is d composite?
True
Suppose 0*d = 3*d - 1386. Suppose -5*t + 827 = -3*c, 3*c - 124 + d = 2*t. Is t a prime number?
True
Suppose 3171 = l + 4*x, l - 3167 = -5*x + 2*x. Is l a prime number?
False
Let t(p) = -113*p**2 + 1. Let x be t(1). Let s = -92 + 14. Let u = s - x. Is u prime?
False
Suppose -p - 3*t = -9, 4 = 3*p - 7*p - 2*t. Is (379/3)/(p/(-9)) a composite number?
False
Let m(n) = -n**3 + 3*n**2 + n - 3. Let i be m(3). Suppose 0*z - 5 = -5*z - 5*f, -z = -4*f - 6. Suppose 0*b + z*b - 244 = i. Is b a prime number?
False
Suppose 0*d = f + 3*d - 4, -d = 5*f - 20. Let c(r) = 4*r - 6. Is c(f) prime?
False
Suppose 366 + 105 = 3*m. Suppose 3*n = 5 + 1, -4*n - m = -3*x. Is x prime?
False
Suppose -95 = -3*y - 5*c - 519, c = 4. Is 12/(-8)*y/6 a composite number?
False
Let l(r) = -r**2 + 6*r - 4. Let d be l(4). Suppose 383 = d*z - 237. Is z composite?
True
Let i = -1337 - -890. Let z be (4/(-1))/(-2 - -3). Is (z/(-12))/((-1)/i) a prime number?
True
Let n(t) = t**3 + 11*t**2 - 3*t + 1. Let p be n(-11). Suppose a - p = -96. Let h = 105 + a. Is h prime?
True
Let t be -2*((-5)/(-2))/(-1). Suppose 180 = -3*i - t*m, i - 6 = -3*m - 70. Let n = i - -81. Is n a composite number?
True
Let q(m) = -64*m**3 + 2*m**2 - m - 2. Suppose -2*y = 3*y + 5. Is q(y) a prime number?
False
Let c be (98/6)/((-5)/15). Is (0 - 6)/(14/c) prime?
False
Suppose 0 = 5*m + 3*r + 30, 2*m = 3*r - 6 - 6. Let h = m - -2. Let o = h - -10. Is o a prime number?
False
Let m(x) = -13 - 5*x + 3*x + 3*x**2 - 4*x. Is m(6) prime?
True
Is 250/8 - (-7 + 4)/(-12) a composite number?
False
Let i(s) = -158*s**2 + 2*s + 1. Let x be i(-1). Is (-2)/(1 - (-165)/x) composite?
False
Let i(x) = -4*x + 2*x + 3 - 3*x**2 + 2*x**2. Let g be i(-3). Is -1 + (g - 2)*-33 composite?
True
Let y(c) = 13*c**3 - 5*c**2 + 5*c - 4. Is y(3) a prime number?
True
Suppose 38 = -2*n + 3*l, -1 - 3 = -2*l. Let h = -4