 + b + 3191 = 0. Let s be u/(-5) - 2/(-5). Let v = s + -136. Is v composite?
True
Let d(u) = -u - 11. Let g be d(-14). Is ((-6867)/6 + g)/((-3)/2) a prime number?
True
Let c(y) = -27*y + 15. Let r be c(5). Let n = r - -61. Let q = 250 + n. Is q a composite number?
False
Let y(q) = -124*q + 27. Let o = -79 + 73. Is y(o) prime?
False
Let k(g) = -g**3 + 3*g**2 + 3*g + 4. Let n be k(4). Suppose -7*d + 3*d + 6628 = n. Is d a prime number?
True
Let n(t) be the first derivative of -145*t**4/4 + 2*t**3/3 + 3*t**2/2 + 5*t - 24. Is n(-2) prime?
False
Let u = 3973 + -2435. Is u a prime number?
False
Suppose 614 = 7*m - 2655. Is m prime?
True
Suppose f - 2*f + 6 = 0. Suppose 3*h + f*s = s - 10, -5*h - 4 = 2*s. Suppose 0 = -2*c + 2*i + 304, -5*c + h*c + 765 = -4*i. Is c a prime number?
True
Let h(m) = 2*m - 28. Let b be h(11). Let z(n) = -81*n - 1. Is z(b) a prime number?
False
Suppose -i = -2*c - 972, i = 3*c + 1032 + 426. Suppose -282 = -3*b - 963. Let x = b - c. Is x a composite number?
True
Let t = 701 + -464. Suppose -4*m + m = -t. Is m composite?
False
Is -2*359433*13/(-78) a prime number?
False
Let s be (-4)/(-6) - 39/(-9). Suppose 4*q - 2637 = -s*q. Is q a prime number?
True
Let d be (-8)/(-1) + (-20)/5. Suppose h - 468 = m, 5*h + m - 2338 = d*m. Is h a prime number?
True
Suppose -134 - 166 = -4*l. Suppose w + 2*w - l = 0. Let p = w + -12. Is p prime?
True
Suppose 0*d + 27706 = 3*d - 2*m, 0 = -3*d - 2*m + 27698. Suppose -4*l + 3*f = -l - d, 0 = 3*l + f - 9238. Is l a prime number?
True
Let g(k) = -9*k + k + 0 - k**2 + 2 + k. Let f be g(-7). Suppose -s + f*a = 2*s - 1703, 3*s - 1679 = -4*a. Is s composite?
True
Suppose 0*j = j + 76. Let w = -36 - j. Suppose 4*g = 0, -2*y - 3*g + w + 12 = 0. Is y a composite number?
True
Let j = -410 - -651. Suppose 2*m = 3*y - 257, m - j = -3*y - m. Suppose -h - 4*t = -y, -h + 280 = 3*h + 3*t. Is h a prime number?
True
Let j = -21 + 27. Suppose 0 = j*x - 9*x + 789. Is x composite?
False
Let y(n) = 27*n**2 - 9*n + 3. Let w be y(-7). Suppose -g + 3*u = -815, -4*g - 2*u + 1843 = -w. Is g a composite number?
False
Let d be ((-5)/10)/((-1)/12). Suppose 2*j = -d, b = 2*b + 4*j + 9. Is 5/(3/45*b) composite?
True
Let o = 41 - 63. Let g(v) = -v**2 + 3*v - 1. Let t be g(-2). Let i = t - o. Is i prime?
True
Suppose 2*w + 38176 = 3*l + 6*w, l - 12720 = -4*w. Suppose -i + 4*h = -2799, 5*i - l - 1324 = h. Is i prime?
False
Is 5/135*-6 + 131084/36 a prime number?
False
Suppose c = -22*h + 27*h - 7340, -2*c = -10. Is h composite?
True
Let x(j) = -14 - 7*j - 60*j**2 + 4*j + 61*j**2. Is x(12) a prime number?
False
Let o(b) = -19 - 64*b - 1 + 147*b. Is o(5) composite?
True
Let t be 3/(-2) + 28/8. Suppose 5*q - x = -10, -q + 3*x - 2*x - t = 0. Let u(b) = -11*b**3 - 2*b**2 + 2*b + 3. Is u(q) prime?
True
Suppose -3752 - 146 = -2*u. Is u composite?
False
Suppose -3*k - 8778 = -3*w, k = 4*w + 2*k - 11699. Is (-1)/((-11701)/w + 4) + 2 a prime number?
True
Suppose -2*f = y - 63, -f + 2*y + 9 = 7*y. Suppose -6*i - f = 5*s - 3*i, 3*s - 5*i = -34. Let p(k) = -2*k**3 - 13*k**2 - 8*k + 1. Is p(s) a composite number?
False
Let i(c) = 0 + 0 + 1 - 6*c. Let j = 735 - 738. Is i(j) a composite number?
False
Suppose 0 = 4*x - 512 + 1576. Is -3 + x/(3/(-3)) a composite number?
False
Suppose 3*i = -0*i + 2211. Is i a prime number?
False
Let x(d) = 197*d - 15. Suppose 7*g - 40 = 3*g. Let t be x(g). Suppose 2*s + t = 5*c, -2*s + s = 0. Is c prime?
False
Is (-1 - -3) + 0/8 - -8195 prime?
False
Let h(a) = 3*a**3 - 7*a**2 + 5*a - 1. Let i(f) = 7*f**3 - 14*f**2 + 9*f - 2. Let s(p) = 9*h(p) - 4*i(p). Let v be s(-8). Let d = 15 + v. Is d composite?
True
Suppose 3*f - 62 = 79. Is f - 5/((-15)/(-12)) prime?
True
Suppose 56*l - 49*l = 49483. Is l prime?
True
Suppose 7*t + 14 = 3*t + 2*b, 2 = 2*b. Is ((-563)/(-3))/((10/t)/(-10)) a composite number?
False
Suppose -p = i - 2*i - 422, -5*p + 4*i + 2110 = 0. Suppose 2*c + p = 2*z + 78, -202 = -z - 5*c. Is z composite?
True
Suppose 2*x - 9933 = 2561. Is x a prime number?
True
Let v = -17 - -19. Let p(b) = 13 + 7 - b**v + 1. Is p(0) a composite number?
True
Suppose 0 = 2*a - l - 283, -2*l = a + 14 - 158. Suppose g + 60 = q, 2*q = -g + a - 16. Is q composite?
True
Let x(z) = 19*z - 43*z - 11 - 35*z - 15*z. Is x(-13) a composite number?
True
Is (-60)/(-5)*(-4)/(-8) - -865 a composite number?
True
Let g(m) = -2*m**3 + 47*m**2 - 22*m - 69. Is g(20) composite?
True
Suppose -13*f - 82604 = -513151. Is f a prime number?
True
Suppose -3*q - 4*j - 244 = -0*j, -2*q - 144 = -2*j. Is ((-8)/(-20) - (-66)/(-40))*q a prime number?
False
Suppose -4*l + 26611 = 4*k - 36733, 4*k = -3*l + 63345. Let z = k + -10682. Is z a prime number?
False
Let h(n) = 106*n**2 - 28*n + 65. Is h(-18) a composite number?
False
Suppose -4*u + u = -1323. Let b = -104 + u. Is b prime?
True
Let j(x) = -3*x**3 - 8*x**2 + 6*x - 14. Let b(o) = 2*o**3 + o**2 + o. Let h be b(0). Suppose h = a - s + 4, -s - 9 = -4. Is j(a) a prime number?
True
Let z = 13 - 19. Let f = z - -12. Is (-526)/f*(-3 - 0) a composite number?
False
Suppose 8 = 4*f - 8, 5*v = -2*f + 88933. Is v a prime number?
False
Let h(n) = 385*n**2 - 7*n + 9. Let y be h(4). Let w = 8898 - y. Is (w/(-12))/((-3)/12) a prime number?
True
Let b = -52 - -63. Suppose -3780 - 2677 = -b*c. Is c a prime number?
True
Suppose p - 748 = -5*d, -4*d + 744 = -4*p + 3616. Is p a prime number?
False
Let t = 47498 + -23479. Is t composite?
False
Let o be -3*(2 + -1) + -12 + 1578. Let s = o + -2. Is s a prime number?
False
Let g be 33/22*4/2. Is 494/(-2)*g/(-3) composite?
True
Let j be -257 - (4 - 1)/1. Let v = 137 + j. Let a = v + 308. Is a prime?
False
Suppose 4*x + 2*l - 15512 = 0, -3883 = -x + 2*l - 0*l. Suppose 0 = 4*h - 6*h - 3*i + 2586, 3*h + 3*i = x. Is h a prime number?
False
Let a be (-81)/4 + 15/(-20). Let r = 64 + a. Is r a prime number?
True
Let a be (-2 + 3 - 7)*(-16)/(-12). Let w(n) = -3*n**2 - 29*n - 1. Is w(a) prime?
False
Let w(u) = -187*u**3 + 10*u**2 + 25*u + 25. Is w(-6) composite?
False
Let f(r) = -9*r - 11. Let h(j) = j**3 + 18*j**2 + 17*j + 21. Let n be h(-17). Let u = n - 33. Is f(u) a composite number?
False
Let h(g) = -g**2 + 13*g + 33. Let o be h(15). Is o + 0 - (-580)/2 prime?
True
Let a(y) = 74*y**2 - 4*y + 5. Suppose -i + 3*d - 3 = 2*d, 0 = -4*i + 3*d - 10. Let r be 1*i/((-4)/8). Is a(r) composite?
False
Let k(d) = -d**3 - 6*d**2 - 2*d - 9. Let p be k(-6). Suppose -3*a - 42 = -p*m, -5*m + 10*m - 75 = 4*a. Is m a prime number?
True
Let j be 2/(-3 - -5) - -3. Suppose -j = p + p. Let h = 5 - p. Is h prime?
True
Is -1 - -11*(1210 + 0) a prime number?
True
Let n = -50 - -54. Suppose -3*m - 5*w + 5960 = 2*m, -2*m - n*w + 2394 = 0. Is m prime?
True
Let g be ((-2334)/(-4))/((-18)/(-36)). Suppose 4*b = 7*b - g. Is b a prime number?
True
Let p = 7316 + -4377. Is p prime?
True
Suppose -126 = 6*m - 612. Let z = 222 - m. Is z composite?
True
Let b = 14 - 12. Suppose -12 = -2*d - b. Suppose -2*l + 978 - 208 = 4*o, -3*l = -d*o + 946. Is o prime?
True
Suppose -12*l = -4313 - 2179. Is l prime?
True
Let p(q) = -1598*q - 199. Is p(-27) a composite number?
True
Suppose -20 = -5*c, 3*r + 3*c = 116103 - 35844. Is r a composite number?
True
Suppose -3*c - 5*u = 3 - 32, 0 = c + 5*u - 23. Suppose -3*o + 71 = -2*r, o + 20 = 2*o + c*r. Is o a composite number?
False
Let h(v) = -v**2 + 12*v - 20. Let r be h(8). Let z be (-3 - -1) + 16 + r. Is (2 + 1 + z)*3 composite?
True
Let n = 7096 - 4053. Is n a composite number?
True
Suppose 13844 = s + 3*l, 5*l = s - 13786 - 18. Is s a composite number?
False
Let t(v) be the second derivative of -145*v**3/6 + 33*v**2/2 + 19*v. Is t(-5) a composite number?
True
Let b = 52 - 16. Let q = -122 + 109. Let z = b - q. Is z a composite number?
True
Let q(y) = -y + 11. Suppose -3*n + 2*p = p - 28, -3*n = -3*p - 30. Let o be q(n). Is (-1 - o) + (48 - -1) prime?
False
Is 1/(10 + 4398534/(-439854)) a composite number?
False
Suppose 2*y + 4*o = -16, 2 = 4*y - 5*o - 18. Suppose -2*b = -y*b. Suppose b = 2*w - 168 - 190. Is w a prime number?
True
Let o be (-237)/(-6)*-76 - 2. Let v = -1743 - o. Is v composite?
True
Suppose 2*p + l - 668 = 0, 0 = l - 3*l - 8. Let n = p + -1. Is n a prime number?
False
Suppose 3*m + 5*a + 4455 = 0, 3*m + 2*a + 1604 + 2860 = 0. Let d = m + 2213. Is d a prime number