 a prime number?
False
Let b(c) = -27*c**3 + 2 + 8*c**2 - c - 6*c**2 - 5 + 0. Is b(-2) prime?
True
Let n be -1*15/(-3) + -3. Suppose 0 = -3*s - 3*z + 705, -3*z + 475 = 4*s - n*s. Let f = s + -81. Is f a composite number?
False
Let p(j) = j**2 + 4*j - 4. Let u be p(4). Suppose 0 = -z + 84 - u. Let k = z + -19. Is k prime?
True
Let j(c) = 416*c - 7. Let v(p) = -416*p + 7. Let n(a) = -5*j(a) - 4*v(a). Is n(-2) a prime number?
True
Suppose -5*n = -16556 + 526. Is 3/(-18) + n/12 composite?
True
Let a = -7 + 11. Let y = 6 - a. Suppose -c - 387 = -y*v, 20 = -4*c - 0*c. Is v composite?
False
Let t = 13 - 10. Suppose -t*x = -841 - 917. Is x composite?
True
Suppose -x = -12*x + 16115. Is x composite?
True
Let i(n) = 4*n**2 - 16*n + 7. Let c be i(-12). Suppose -6*o - c = -11*o. Is o prime?
False
Let z(n) = -n**3 - 4*n**2 + 8*n + 7. Let f be z(-5). Let o be (-1 + 672)/(2/f). Let k = o - -3939. Is k prime?
False
Let a(i) = -21*i**3. Let b be a(-1). Suppose 4*g - 2*s = -8, -5 = -4*g + 3*s - 13. Is (b/6 + g)*74 a composite number?
True
Let q = 3 + -6. Let a = 20 + 68. Is a - (-2 - (0 + q)) a composite number?
True
Let d = 814 - 1472. Let t = d - -1105. Is t a prime number?
False
Suppose -6*k - 36 = -3*k. Let r be (-80)/k*(-15)/(-2). Suppose 2*x - r = -2*s, 3*x + 4 - 69 = 2*s. Is x prime?
True
Suppose n = 1348 + 3955. Is n prime?
True
Is (-230334)/(-60) - -3*(-5)/(-150) a prime number?
False
Let o = 51341 - 12834. Is o prime?
False
Is (-84)/56*(-14180)/(-6)*-1 composite?
True
Suppose 0 = 4*r + 2*n + 894, -2*r + 4*r = 2*n - 450. Suppose -6*m + 2*m + 1921 = -5*l, 0 = -5*l - 3*m - 1928. Let c = r - l. Is c a prime number?
False
Let m = 1266 - -271. Is m a composite number?
True
Suppose 2*f + 4 = -0, -s + 2239 = -f. Is s a composite number?
False
Is 9/1 + 44420 + -16 a prime number?
False
Let u(h) = h**2 - 2 - 1 + 6 - 5*h**3 + 71*h**3. Let f be u(3). Is f/21 + (-9)/21 prime?
False
Suppose 1280 = -4*o - 10672. Is 6/(-15) - o/20 a prime number?
True
Suppose o - 29 = -4*j, 3*j + j - 3*o = 25. Is 383/j - 12/(-42) a composite number?
True
Suppose -3*f + 5*l - 10577 = -43293, 4*l + 32711 = 3*f. Is f a composite number?
True
Suppose -25*x + 5*x + 25180 = 0. Is x prime?
True
Suppose 2*l - 2 = -3*s, -1 = -2*s - l - 0. Suppose s = -9*r - 5079 + 16410. Is r a prime number?
True
Let x be (-20)/30 + (-24)/(-9). Is (2*159/(-18))/(x/(-78)) a prime number?
False
Suppose -5*s + 3*h - 383 = -1117, 5*s = -4*h + 748. Let q = s - -15. Is q prime?
True
Let b = 9158 + -5379. Is b composite?
False
Suppose -15*d + 1302 = -9*d. Suppose 0 = -3*m - d + 1768. Is m prime?
False
Let x be 16/28 + (-160)/(-14). Is ((-46)/12)/((-2)/x) prime?
True
Let y be -1*(19058/(-2) - -2). Suppose r = 8*r - y. Is r composite?
False
Suppose m = -2*i + 3457, -2*m + 3*i + 10322 - 3408 = 0. Is m a composite number?
False
Let o = 31 - -33. Let x(h) = h + 2. Let u be x(-2). Suppose u = 3*l + 22 - o. Is l composite?
True
Suppose -w + 237 = -2427. Let l = w - 1387. Is l a prime number?
True
Let z be 0 - (-7)/(14/4). Suppose z*g + 138 - 462 = 0. Suppose b = -2*r + g, 0*r = -2*r + 4*b + 142. Is r composite?
False
Suppose -g = -79*g + 448266. Is g a composite number?
True
Suppose -17 - 3 = -5*b. Suppose -m = b*m - 1065. Is m a prime number?
False
Suppose -6*v - 40 = 20. Is (v - -6) + 5/(15/2247) a composite number?
True
Let s(i) = 679*i - 40. Let l be s(11). Suppose -5*c + l = -376. Is c a composite number?
True
Let j = -11 + 53. Suppose 5*r = 6*r - 43. Let f = r + j. Is f a prime number?
False
Let o = 27127 + -10386. Is o a prime number?
True
Let b = 6032 + 10461. Is b a composite number?
False
Suppose 0*h - 3*j - 5130 = -3*h, 2*j = -5*h + 8564. Let k = -1191 + h. Is k composite?
False
Let n(o) = -4*o**2 - 5*o - 1. Let g be n(10). Let t = g - -44. Is t/(-2) - (-2)/(-4) a composite number?
True
Suppose 0 = -23*l + 28*l - 935. Is l a composite number?
True
Let w = 19 + -2. Let d be -2*w*(-85)/(-10). Is (-1 + d)*(-2)/4 prime?
False
Let o(k) = 3497*k + 59. Is o(4) a composite number?
True
Suppose 0 = -2*p + 3*y + 35282, y - 12 = -2*y. Is p a composite number?
True
Let b = 32 + -34. Is (-1)/b - (554/(-4) + -6) prime?
False
Suppose 7 = 4*q + 23. Let l be 1/(-2)*q + 0. Is (3 + -1)*293/l a composite number?
False
Suppose o + 4*c = 527, -5*o + c + 2730 = 2*c. Suppose n - 343 = o. Let q = n - 509. Is q prime?
False
Let v be ((168/(-18))/7)/(1/(-894)). Let l = v - -69. Is l a composite number?
True
Let p = -62 + 63. Is ((-17829)/(-3) - p)/2 a composite number?
False
Suppose 0 = -4*h - 4 + 8. Let m = h - -3. Suppose -3*y + 5*o = -304, m*y + 4*o = -y + 445. Is y a prime number?
False
Let i be (1 - 1)*(-10)/20. Suppose -r - 4*g + 55 = 0, -3*g + i*g + 233 = 4*r. Is r prime?
True
Let k = -11 - -14. Suppose -4*b = -2*s - 6, 0*b = -2*b + k*s + 1. Suppose 0*z = -b*z + 5*g + 484, z = 2*g + 241. Is z composite?
True
Suppose -2*v + 12187 = 5*i, -5*i - 3*v + 12294 - 106 = 0. Is i prime?
True
Let g(s) = -2*s - 6. Let a be g(-3). Let j be -7 + (7 + -4 - a). Is j/6 - (-11627)/21 a prime number?
False
Suppose 0 = 3*g - 4*u - 35315, 0*u - 2*u = 4*g - 47116. Is g composite?
False
Let t be 5 + -4 + 0 + 11. Suppose 10*b + 194 = t*b. Is b prime?
True
Let m = -614 - -1008. Is m*(21/(-6))/(-1) composite?
True
Let r = 53 + -55. Is 3/r*-2 + (2954 - -6) a composite number?
False
Let d(m) = -5*m + 3*m + m**2 - 3*m - 3. Let o be d(5). Let g(z) = 48*z**2 - 4*z + 1. Is g(o) a composite number?
True
Let q(c) be the second derivative of -23*c**3/6 + 35*c**2/2 + 18*c. Is q(-8) a prime number?
False
Let y = 211 - 208. Let n(d) = 4*d - 3. Let i be n(2). Suppose 4*x = y*c - 647, 4*c - 585 = -i*x + 226. Is c prime?
False
Is 19044/3 + (-4 + 1 - -2) a composite number?
True
Suppose -3*f + 9 = -j + 195, 2*f = 2. Suppose 0 = -3*o + j + 888. Is o prime?
True
Let t(g) = g**3 - g**2 - 3*g + 6. Let m be t(4). Let f be m/8 + (-1)/4. Suppose 0 = -5*z - 5*i + 1130, -f*z - 2*i = -4*i - 1109. Is z a prime number?
True
Let v(y) = 93925*y - 86. Is v(1) prime?
False
Let u(h) = 2156*h**2 + 72*h + 7. Is u(-6) a composite number?
False
Suppose -2*t + 4 = 0, b + 4*b - 10463 = -4*t. Suppose -9*j = -12*j + b. Is j prime?
False
Let l = -3 + 5. Suppose -3*f - 5*t + 471 = -l*f, 471 = f - 5*t. Let j = 866 - f. Is j composite?
True
Let k = 22 - 22. Suppose k = 3*b + 1 + 2, -4*z - 4*b = -3280. Is z composite?
False
Let s(a) = a**2 + a. Let h be s(2). Suppose -2*z + h = -0. Suppose z*f + 0*f = 573. Is f a composite number?
False
Suppose -3*w - 4*j + j = 9, 0 = 3*j + 15. Let b be (2 - (1 + w))*1. Let i(x) = -264*x**3 + 3*x + 2. Is i(b) prime?
True
Let r(z) = 90*z**3 + 4*z**2 - 3. Let m(p) = -180*p**3 - 9*p**2 + 7. Let o(c) = -2*m(c) - 5*r(c). Is o(-1) prime?
True
Suppose -30*n - 4482 = -24*n. Let c = -289 - n. Is c a composite number?
True
Let m = 79 - 76. Suppose -3*j + 0*j = -m*i + 2862, -2864 = -3*i + 5*j. Is i prime?
True
Let q(w) be the third derivative of 293*w**4/24 + w**3/6 - w**2. Let f = 362 + -360. Is q(f) a composite number?
False
Let g be 0/(6*8/(-16)). Suppose -3*h = 2*h - 65. Suppose -y + 10 + h = g. Is y prime?
True
Let v(d) = d**2 + 2*d. Let m be v(-3). Suppose -m*w + 3*u = -474, 0 = -3*w - 0*u - 2*u + 499. Is -3*1*w/(-3) a composite number?
False
Let d(k) = -113*k + 1. Let h be d(-6). Suppose n = -2*u + h, 7*n = 2*n + u + 3384. Is n a prime number?
True
Let w(s) be the first derivative of -s**5/20 + 5*s**4/6 + s**3/2 - 9*s**2/2 - 7*s - 2. Let t(z) be the first derivative of w(z). Is t(10) prime?
False
Suppose -19*a = -563 - 444. Is a prime?
True
Let u(v) = 2*v**2 + 14*v - 10. Let y be u(-8). Suppose 0 = -2*o + y*o - 6680. Suppose 0 = -5*t + 5*q + o, 3*q - 1344 = -4*t - q. Is t a prime number?
False
Suppose -2*r + 5*f = -5946, 3*r - 8902 = -0*f - f. Suppose -322 - r = -10*h. Is h composite?
True
Let s be ((-16)/6)/(12/(-18)). Suppose 0 = s*f + i - 639, -5*f + 3*i + 948 - 128 = 0. Is f prime?
False
Let z = -33 - -36. Is (0 + 271/3)*z a prime number?
True
Suppose 0 = 4*c + 4*r, 3*c + 2*r = -0*c - 4. Let v(a) = 158*a**2 + 5*a - 5. Is v(c) a composite number?
False
Suppose 2*x = -3 + 11. Suppose x*q = -5*q + 5319. Is q composite?
True
Let i(m) = m + 12. Let y be i(-5). Suppose 0 = y*d - 3*d - 52. Suppose 4*r = 33 - d, -640 = -5*q - r. Is q composite?
False
Let w(v) be the secon