2 + k - 8. Let p(x) = -x**2 - 11*x - 6. Let q be p(-11). Is m(q) prime?
False
Is 84910/80 + 6/(-16) composite?
False
Let v = -6 - -8. Let n be v/(-6) - (-170)/(-3). Let z = 146 + n. Is z a prime number?
True
Suppose -5*n + 6251 = -1589. Let b = n - 516. Suppose 0 = -u - 3*u + b. Is u a composite number?
False
Let l(o) = -6*o**3 - 3*o**2 + 9*o + 11. Is l(-5) composite?
False
Suppose -16 - 44 = 5*v. Is -4*(4 + 1947/v) a composite number?
True
Let m(f) = f**3 - 6*f**2 + 7. Suppose 0 = -4*o + 39 + 25. Let n = 22 - o. Is m(n) a composite number?
False
Let c(y) = -5 + 4 - y**3 + 0*y**3 - 13*y + 6*y - 5*y**2. Is c(-5) prime?
False
Let n(r) = 5*r**3 + r**2 - r. Let y be n(1). Suppose -437 = -y*l + 278. Is l composite?
True
Suppose 0 = -4*s + 6*s + 1214. Let v be (1 + 2)*s/(-3). Suppose 2*q = -4, -v = -0*n - 3*n - q. Is n prime?
False
Let f(d) = 9*d**2 - 9*d - 3. Let z(p) = -5*p**2 + 4*p + 2. Let m(x) = -4*f(x) - 7*z(x). Let v = -3 + 8. Is m(v) composite?
False
Suppose -5*a + 2*s = 3*s - 51, 4*a = s + 39. Let x = 32 - a. Is x composite?
True
Suppose -4*t - 2 = -2*t, t = 5*a - 606. Suppose -4 + a = 3*y. Is y prime?
False
Suppose 137*d + 17412 = 141*d. Is d a composite number?
True
Let b = 60 + -9. Is 10/((18/b)/3) a prime number?
False
Suppose -t + z + 17 + 82 = 0, 4*z - 297 = -3*t. Suppose 5*g = 3*a - t - 74, -4*g + 86 = 2*a. Is a composite?
True
Suppose -4*b = -7*b - 4*z + 3768, -3*b + 5*z + 3795 = 0. Is 2/(b/(-633) - -2) prime?
True
Suppose 0 = -l - 2*l + 12. Suppose 0 = l*m - 3*s - 344, 3*m + 3*s - 273 = 6. Is m a composite number?
False
Suppose 7*p - 7970 = -3*p. Is p prime?
True
Let y be 108/(-26) - (-10)/65. Let p(r) = -35*r + 9. Is p(y) composite?
False
Suppose 4 = w, 3*w + 431 = j + 6*w. Is j a prime number?
True
Let c = -8 + 4. Let f(g) = -g**3 - g**2 + 4*g + 5. Is f(c) prime?
True
Suppose -12*p + 190 = -10*p. Is p composite?
True
Let f(o) = -5 + o**2 + 3*o - 5*o + 4*o. Let k = 12 + -17. Is f(k) prime?
False
Suppose -3*f + 3961 = 2*u, 1313 = f - 3*u - 0*u. Is f a composite number?
False
Suppose 1 = m - 210. Is m a prime number?
True
Let k = 362 - 105. Is k composite?
False
Let h = -8 + -1. Let c be 3/h + 10/3. Suppose c*i + 5*n - 38 = 0, i + 4*n = 2*i - 7. Is i composite?
False
Let j = 14 + 12. Suppose -j*m = -31*m + 1005. Is m composite?
True
Let k(v) = v + 5. Let h be k(-5). Suppose h = -l - l + 182. Is l a composite number?
True
Suppose 12*h + 15421 = 19*h. Is h a composite number?
False
Let f(p) = 10 + 3*p - p - 5. Is f(7) prime?
True
Let a(o) = o**3 - 7*o**2 + 4*o + 3. Suppose -5*r - 7 = -37. Let n be a(r). Is ((-186)/(-9))/((-2)/n) composite?
True
Let l be 5 + -2*(-9)/6. Is (-555)/10*l/(-6) prime?
False
Let o(n) = 7*n + 5*n**2 + 5*n - 5 - 1 - 4*n**2. Is o(-17) a prime number?
True
Let q(m) = 43*m + 14. Is q(17) a composite number?
True
Let k be 21*(-9)/6*-12. Let n = -251 + k. Is n prime?
True
Let v(w) = w**2. Let b be v(-1). Suppose 5*u = -4 - b. Let q(i) = -22*i. Is q(u) prime?
False
Let m = 2092 - 1301. Is m prime?
False
Let c(l) = -l + 5. Let f be c(7). Is f/3 - 3895/(-15) a prime number?
False
Suppose 5*c = 3*c + 8. Suppose 0 = c*p + 2*l - 1118 - 172, 5*l + 651 = 2*p. Suppose 4*z = 831 - p. Is z prime?
True
Let w(m) = -241*m - 3. Is w(-2) composite?
False
Suppose 0*m - 5*o + 224 = 4*m, 4*o + 188 = 4*m. Is m composite?
True
Let u(x) = x + 13. Let f be u(-8). Suppose -4*o = -f*t - 3533, -o - 2*t = -6*o + 4429. Is o prime?
True
Let c = 11 - 18. Let l(u) = -u**3 - 7*u**2 - 10*u - 1. Is l(c) prime?
False
Let o(a) = 17*a + 1. Suppose -k + 22 = k. Let c be o(k). Let r = -55 + c. Is r a prime number?
False
Let t(f) = -6*f - 3. Is t(-7) composite?
True
Let z(v) = v**2 + 8*v + 1. Let j be -11 - (2 + -6 + 2). Is z(j) composite?
True
Let p(i) = i - 4. Let q be p(6). Suppose 0*a = -q*a + 2*f + 10, 0 = 3*f + 9. Suppose -a*m + 3*w + 13 = 5, -3 = -m + 2*w. Is m a prime number?
True
Let c(h) = 3*h**3 - 5*h**2 - 10*h - 9. Is c(5) prime?
True
Let s = -7 - -4. Let d = s + 5. Suppose -l + d*j + 62 = -j, -5*j + 54 = l. Is l composite?
False
Suppose 8 = 3*z + 92. Let g = z - -87. Is g a composite number?
False
Suppose 5*t = -3*x + 1798 + 4537, -1267 = -t + 3*x. Is t prime?
False
Suppose -2*o - 4*m = -282, -2*o + 2*m + 181 + 71 = 0. Is o prime?
True
Suppose 3*a - 6*a + 2352 = 0. Suppose a + 31 = 5*t. Is t composite?
False
Let m be (-2404)/(-36) - 4/(-18). Suppose m = 5*x - 28. Is x composite?
False
Let i(w) = 25*w - 2. Is i(1) a prime number?
True
Let n(w) = 2*w**2 + 8*w - 10. Let v = -16 - -9. Let a be n(v). Let q = a - -27. Is q a prime number?
True
Suppose -6 = -3*x, 0 = m + 2*m + 2*x - 367. Is m a prime number?
False
Let n be ((-9)/6)/((-6)/32). Let d = n - -69. Is d prime?
False
Let n(p) = 6*p + p**2 - 8 - 1 + 5. Let o be n(-7). Is o/(-12) + 845/4 composite?
False
Let x(p) = 205*p + 24. Is x(5) prime?
True
Suppose -q - 2*n + 145 = 0, 28 = 5*q - 2*n - 697. Is q a prime number?
False
Let u(c) be the second derivative of -8*c**3/3 - c**2/2 + 2*c. Let k be u(-1). Suppose p = -2*p + k, 3*p + 34 = z. Is z composite?
True
Let t(i) be the first derivative of 1/3*i**3 - 1 + i**2 + i. Is t(6) a prime number?
False
Let k(q) = -28*q**2 + q. Let n be k(1). Let f = -5 - n. Let o = 45 + f. Is o a composite number?
False
Suppose 0 = -5*s + 9361 - 2376. Is s prime?
False
Let q(y) = -40*y + 2 - 9 + 111*y. Is q(6) composite?
False
Suppose 3*t = 5*z - 166, t = -3*t + 4*z - 232. Let s be (-26)/3 + 2/(-6). Let j = s - t. Is j prime?
True
Suppose 3*j - 5*z = 11, 3*z - 5 = -2*j - 4. Suppose -j*b - 66 = b. Let l = b + 65. Is l a composite number?
False
Let b = 3 + -4. Is (-14 - (-1)/1)/b a composite number?
False
Suppose 0*a + 586 = 2*a. Is a prime?
True
Suppose -m - m - 4 = 0. Let i be (m/5 - 0)*-5. Suppose 4*h - 332 = 4*l, -h - 7 + 88 = -i*l. Is h a prime number?
False
Let d be (1 + -9)/(-2) - 2. Suppose -d*y = -o - 176, 2*y + o - 5*o - 182 = 0. Is y a composite number?
True
Let w(k) = 1. Let z(s) = -12*s + 9. Let b(c) = 12*w(c) - z(c). Is b(7) a prime number?
False
Suppose -312 = -f + 101. Is f prime?
False
Let k(j) = 4*j + 63. Is k(5) a prime number?
True
Is (-2)/(-5) - ((-213597)/(-15))/(-3) prime?
False
Let m = 140 + -31. Is m prime?
True
Suppose -a = -5 - 1. Let v = a + 27. Is v a prime number?
False
Let m(g) = -2*g**2 - 2*g + 5. Let y(s) = -4*s**2 - 5*s + 11. Let o(u) = 5*m(u) - 3*y(u). Is o(-6) prime?
False
Let t = 704 - 481. Is t a composite number?
False
Let r be (-22)/(-8) - 2/(-8). Is (r/(-2))/(18/(-1524)) prime?
True
Suppose 0 = -5*o + 312 + 153. Let i = o + -58. Is i a prime number?
False
Is 673 + (2 + -2)/3 composite?
False
Suppose 3*w = 0, -2 = -2*b - 4*w + 4. Suppose 0*t = -b*t + 222. Is t composite?
True
Let j = 136 - 21. Is j a composite number?
True
Suppose -2*g - 954 = -0*g. Is (1 + 0)/((-9)/g) prime?
True
Let h(l) = l**3 - 8 - 5*l + 6*l**2 + l + 15. Suppose -4*m - 4*s - 12 = 0, 4*m - 5*s = -29 - 10. Is h(m) prime?
True
Let x = 0 + 4. Suppose 9*d - 3*v = x*d + 270, -233 = -4*d - v. Is d a composite number?
True
Let n(x) = -2*x - 5. Let j be n(-4). Let r be j/((-3)/(-5)) - 1. Let g(v) = 6*v - 3. Is g(r) a prime number?
False
Is (-3620)/40*1*-2 prime?
True
Let t(v) = -v**3 + 19*v**2 - 8*v + 21. Is t(14) a composite number?
True
Let t(m) = 79*m**2. Let c be t(2). Let d = c + -222. Is d prime?
False
Is 9*(3 + (8200/12)/5) a composite number?
True
Let l(m) = 2*m + 1. Let n = -1 - -2. Let b be l(n). Suppose -212 = -b*i + 25. Is i a prime number?
True
Let q = 608 - 362. Suppose 4*o - q = 94. Is o a composite number?
True
Let j(i) = 42*i + 7. Is j(6) a composite number?
True
Let x = -2 + 3. Suppose 0 = 3*v - 4 + x. Is v + (-5)/((-5)/12) a prime number?
True
Suppose 5*o + 20 = 45. Suppose 0*b + 3*a = -o*b + 11, -4*b + 13 = a. Suppose -3*w + 65 = h, -4*w + 260 = b*h - 5*w. Is h composite?
True
Let p = -14 + 14. Let v(c) = c**2 + c + 69. Is v(p) a composite number?
True
Let b be 3/(-2) - (-2)/(-4). Let v = 3 + b. Suppose w = 7 - v. Is w a composite number?
True
Let b(d) = -39*d - 26. Is b(-15) a prime number?
False
Let m(o) = o**3 - 10*o**2 - 7*o + 9. Is m(14) a prime number?
False
Suppose -644 = 5*b + 5*r + 256, 3*b - 3*r + 552 = 0. Let c = b + 271. Is c composite?
False
Let y = 112 + -51. Suppose 0 = -4*v + 5*n + 52, -6*v = -v - 2*n - 82. Let l = v + y. Is l