16. Is d composite?
True
Let c = -24 - -57. Is c composite?
True
Let u be 1186/11 + (-10)/(-55). Let y = 19 + u. Is y a prime number?
True
Let u(d) = 2*d**2 + 4*d - 17. Is u(10) a composite number?
False
Let a = -22 - -32. Is (1052/(-20))/((-2)/a) a prime number?
True
Suppose -q + 2*n + 121 - 46 = 0, 2*q - 162 = n. Is q a composite number?
False
Suppose -20*t = -15*t - 295. Is t a composite number?
False
Let y(p) = 54*p**3 - 2*p**2 - p - 1. Let n(j) = j**2. Let x = 7 - 8. Let s(c) = x*y(c) - n(c). Is s(-1) prime?
False
Let s = 646 - 105. Is s prime?
True
Let k(q) = -2*q**3 - q**2 + 1. Let r be k(-1). Suppose r*g - 116 = -42. Is g composite?
False
Suppose b + 7*b = 40. Let v = 128 + -51. Suppose -2*g - t - v = -3*g, -5*g + 405 = b*t. Is g a composite number?
False
Is (-1154)/((-4)/(16/(-12)) - 5) composite?
False
Let u(a) = a**3 + 7*a**2 + 3*a + 9. Let y be u(-6). Suppose -3*k = -3*s - k - 32, 33 = -3*s + 3*k. Let w = y - s. Is w composite?
False
Suppose 3*k = -5*l + 101, -3*k + 5*l - l + 65 = 0. Let v = -18 + 28. Suppose n = v + k. Is n a prime number?
True
Is 21434/(-63)*-8 + 2/9 a composite number?
True
Suppose 4*v - 5*i - 4 = 20, -v + i = -5. Let c(g) = g**3 + 5*g**2 + 3*g - 3. Let d be c(-4). Is (d/2)/(v/30) a prime number?
False
Let u = 0 + 0. Suppose 3*w + u*y + y = 1060, 0 = 2*w + 2*y - 700. Is w composite?
True
Let u(i) be the first derivative of i**3 - 3*i**2/2 - 2*i + 3. Let z(q) be the first derivative of u(q). Is z(3) composite?
True
Suppose 2*y = f + y - 671, -3*f - y = -2021. Is f a prime number?
True
Let r = 386 + -169. Let z = 366 - r. Is z composite?
False
Let m = 5 - 1. Suppose 5*o = m*k - 223, -5*k = 7*o - 2*o - 335. Is k prime?
False
Let o(y) = 9*y**2 - 4*y + 13. Let u(t) = 8*t**2 - 5*t + 12. Let f(s) = -5*o(s) + 6*u(s). Is f(8) a composite number?
True
Let o(v) = v - 3. Let y be o(5). Suppose 197 = z - 3*x, z = y*x + 268 - 69. Is z composite?
True
Let b be (-276)/(-27) - 2/9. Is (-50)/(-3)*15/b a composite number?
True
Let v = 132 + -76. Suppose -d = -v + 19. Is d composite?
False
Let i be (-6)/(-3) + -7*19. Let p = i + 220. Is p prime?
True
Suppose -3*k = -7 - 5. Suppose 3*g - 22 - 24 = k*x, -2*g = 3*x - 8. Is g composite?
True
Suppose q - 104 - 61 = 0. Suppose 4*l + 3 = 3*k, 4*k - 17 = -3*l + 4*l. Suppose -5*d - v = -q, 99 = 3*d - 0*v - k*v. Is d prime?
False
Let b = 55 + -32. Is b a composite number?
False
Let a = -34 + 85. Suppose 0*l + 2*i + 105 = 3*l, a = 2*l + 5*i. Let p = l - -4. Is p a prime number?
True
Suppose -23*x + 20*x + 2931 = 0. Is x prime?
True
Suppose -2*p = 5*p - 1757. Is p a composite number?
False
Suppose g = 3 + 3. Let o(v) = 5 - 4*v**2 + 4*v**2 + 3*v**2 - 6*v. Is o(g) a prime number?
False
Is (4936/(-6) - -3)/((-3)/9) composite?
False
Is (-2)/(-8) + 15645/28*1 prime?
False
Let s be ((-4)/(-3))/((-2)/54). Let u = s + 59. Is u prime?
True
Suppose -5*a - 5 = 95. Suppose 4*y - 325 = -y. Let q = y - a. Is q prime?
False
Suppose -r - 21 = 2*r. Let t be r/((-7)/(-4))*-4. Suppose -n + t = -117. Is n a prime number?
False
Let x(d) be the third derivative of d**6/60 - d**5/20 - 5*d**4/24 - d**3/6 - d**2. Is x(6) a prime number?
True
Let m(b) = 2*b**3 - 17*b**2 + 24*b + 1. Let o(w) = -w**3 + 9*w**2 - 12*w. Let q(a) = 3*m(a) + 7*o(a). Is q(10) a prime number?
True
Is (17/(-3))/(3/(-1116)*4) composite?
True
Is 1*2174*(0 - 2/(-4)) composite?
False
Let c = 30 - 67. Let a = c + 71. Is a a prime number?
False
Let n(w) = 176*w**2 - 3. Is n(2) a prime number?
True
Suppose 1190 = 3*d + 2*d. Suppose -242 = -5*n + 2*n + 5*j, 0 = -3*n + j + d. Is n a prime number?
True
Let r(l) = -l**2 - l. Let t be r(0). Let n be (t/(-1))/(1 - 3). Suppose n = 2*m - 5*k - 175, 5*m - 4*k - 254 = 209. Is m a composite number?
True
Suppose -4*l + 3*l + 553 = 0. Is l a prime number?
False
Let s = 2 + 3. Suppose 4*q + 7*x = 2*x + 8, -s*x - 2 = -q. Suppose n = -4, q*n - 194 = -2*t + 204. Is t composite?
True
Let c be 6/18 + (-14)/6. Is 171 - ((1 - -3) + c) a prime number?
False
Suppose -2*p = -w - 2 - 4, -3*p + 5*w = 5. Suppose -387 = -4*q - v, -p*q + 0*v = -3*v - 488. Is q prime?
True
Is ((-5388)/(-16) - 2/(-8))*2 a composite number?
True
Let j(x) = -x**3 + 7*x**2 - 6*x + 4. Let k be j(6). Is 4 + -4 + k + 65 composite?
True
Let k be (-4)/22 - 184/(-44). Suppose -2*h + 8 = k*b + h, h = -4. Suppose -68 = -4*i - 4*z + 92, 0 = 5*i - b*z - 150. Is i a composite number?
True
Let m(g) = 19*g**2 - 1. Let s be m(-1). Let f = s + 3. Is f a composite number?
True
Suppose -2*y + 3*y + 5 = 0. Let f(u) be the first derivative of -u**4/2 + 7*u**3/3 + 5*u**2/2 - 3*u + 2. Is f(y) composite?
False
Suppose a + 47 = 338. Suppose -2*p = 5*q - a, 2*q + 3*p = -0*q + 112. Is q a composite number?
False
Let o(t) = 10*t**2 - 8*t + 7. Let b be o(5). Suppose -2*j + b = x - 0*j, -2*j - 205 = -x. Is x a composite number?
False
Suppose 0 = -4*r + 5*r - 1049. Is r a prime number?
True
Let i(j) = -2*j + 5. Let k = 15 + -10. Let n(l) = 2*l - 5. Let b(r) = k*n(r) + 6*i(r). Is b(-8) prime?
False
Suppose -u - 11 = -a + u, 0 = 5*u + 25. Is -93*a*(-2)/6 a composite number?
False
Is 164/((-28)/(-16) + 1/4) a prime number?
False
Let y(u) = u**2 + 4*u + 2. Let f be y(-4). Let i(k) = 10*k + k**f + 2*k**2 - 4*k**2 + 6*k - 16. Is i(13) composite?
False
Let b(u) = 255*u - 3. Let z be b(2). Is 8/(-6) - z/(-9) a composite number?
True
Let j = -7916 + 12199. Is j a composite number?
False
Suppose 0 = 6*j + 60 - 1614. Is j a composite number?
True
Let h = 115 + -78. Let x = -12 - -14. Suppose h = -w + x*w. Is w prime?
True
Let v(q) = q**3 + 3*q**2 - 2*q - 3. Let o be v(-3). Suppose 2 = p - o*w - 0, 2*p = 2*w - 12. Is p*(0 + (-4)/10) composite?
True
Suppose j - i - 7379 = -j, 18430 = 5*j + i. Is j a composite number?
True
Suppose 0 = -n + 4*y + 107, -446 = -2*n - 2*n - 2*y. Suppose -n - 58 = -l. Is l composite?
True
Is (582/(-4))/3*-6 prime?
False
Let y be 0/(-2)*(-8)/16. Suppose q - 2*k - 17 = y, 2*q + 26 = 3*q + k. Is q composite?
False
Let n(h) = 1. Let b(v) = -v - 19. Let i(t) = -t - 19. Let d(p) = -5*b(p) + 4*i(p). Let k(l) = d(l) - n(l). Is k(-8) composite?
True
Let x = 1 + -1. Let l be 12/2 - 1*3. Let t = x + l. Is t prime?
True
Let x(s) = -3*s + 27. Is x(-8) composite?
True
Let b(z) = 9*z**2 + z - 1. Let r = 4 - 6. Let w = r - -4. Is b(w) a composite number?
False
Suppose 40 + 76 = 4*d. Suppose -u + d = -4*h, 3*h = -3*u + h + 115. Is u a prime number?
True
Let o(b) = 2 + 2 - b**2 + 0*b + 5*b. Let q be o(5). Suppose 14 + 2 = q*a. Is a composite?
True
Let k be 0 + 86 - (-3 + 2). Suppose -5*m + 28 = -k. Is m prime?
True
Let a be 3 + -1 - (-1 - -1). Suppose a*f + 3*s - 169 = -28, 0 = 5*f + 3*s - 348. Suppose -c + f = -10. Is c a prime number?
True
Let o(x) = x**3 - 3*x**2 - 3*x. Let g(j) = -2*j**3 + 3*j**2 + 4*j - 1. Let y(b) = -2*g(b) - 3*o(b). Is y(3) a prime number?
True
Let f = 7 - 3. Let g be 1/(2/f) + -1. Is ((-2)/4)/(g/(-106)) a prime number?
True
Let p = 2098 + -843. Is p prime?
False
Let w be 2384/14 + 8/(-28). Suppose i - 6*i = -w. Is i composite?
True
Suppose -6*q = -3*q - 3. Is -251*(0 - q/1) prime?
True
Let s(c) = -c + 3551. Let r be s(0). Suppose 4*t + z = r, 3*t + z - 2682 = 4*z. Is t prime?
False
Suppose 4*m = -5*d + 50 - 17, -3*m + 1 = -d. Suppose -3*p - j = -p - 116, -p = -d*j - 69. Is p a composite number?
False
Suppose -5*n + 795 = -2*d, 3*n - 6*n - 5*d + 446 = 0. Is n prime?
True
Let i(u) = 3*u**3 + 3*u**2 + 11*u + 19. Is i(8) a prime number?
False
Let k be ((-6)/4)/((-3)/6). Suppose -111 - 378 = -k*f. Is f a composite number?
False
Suppose -5*w - 115 = -2*h, 2*w = h + 3*h - 30. Let i = -2 - w. Is i a composite number?
False
Suppose 4*f - 11 = -3. Suppose -4*i + 11 = z, f - 7 = 5*i + 5*z. Is ((-2)/i)/((-2)/148) prime?
True
Suppose -134 = -z + 15. Is z a composite number?
False
Suppose 0 = 2*q + 4 - 2. Let r = 4 + q. Suppose r*b - 83 = 298. Is b composite?
False
Suppose 9*w = 4*w - 275. Let o = 624 - w. Is o a composite number?
True
Suppose -t + 690 = t + 4*k, -15 = 3*k. Let m = -96 + t. Is m a prime number?
False
Suppose 0 = -m - 4*d - 7, 3*d + 2 = d. Let j = -1 - m. Is 4/2 + 7 - j prime?
True
Suppose 17*l - 4532 = 13*l. Is l prime?
False
Suppose 3*n + n + 491 = 3*u, -2*u - 2*n = -318. Is u composite?
True
Let x = 482 + -279. Is x a composite number?
True
Let j = 