 0 a composite number?
True
Suppose p + 12 = -3*p. Let g be 0 + -1 + (p - -4). Is 344/4 - 3 - g a composite number?
False
Suppose -5*x + n + 8181 = -0*x, -3*n + 12 = 0. Is x a composite number?
False
Suppose 590 = -5*z + 5150. Let q = 1414 - z. Is q composite?
True
Let n = -17 - -32. Let t = -58 + 60. Suppose t*k = 299 + n. Is k prime?
True
Let s be (9 - -1)*2/(-5). Let t be s*(-1)/(0 - 1). Let o(z) = -14*z + 2. Is o(t) a prime number?
False
Suppose -6 - 9 = -5*j. Suppose -6*g + 18 = -5*g. Is (g/(-12))/(j/(-92)) composite?
True
Let o be 1 - -3 - (16 + -27). Is 15910/o - (-1)/3 composite?
False
Let d(l) = 1399*l - 1030. Is d(21) a composite number?
False
Let i be (1*-2)/(8/4236). Let f = 2140 + i. Is f composite?
True
Let c be (-2 - -2 - 1)*-48. Let o = -19 - -24. Suppose 3*p - o*j = 96, -p = 3*j + 2 - c. Is p composite?
False
Suppose 0 = 2*u - 0*d - 3*d + 81, -2*d = -5*u - 197. Let n = u - -70. Let i = 46 + n. Is i prime?
False
Let p(a) = -98*a + 15. Let t(w) = -49*w + 7. Let r(u) = 6*p(u) - 13*t(u). Is r(8) prime?
False
Let g(v) be the second derivative of 59*v**4/4 - v**3/6 - 7*v**2/2 + 4*v. Is g(-3) composite?
True
Let w(l) = l**3 - 2*l + 12. Suppose 25 = 5*a + 2*f, 3*a - 15 = -2*f - 0*f. Is w(a) a prime number?
True
Suppose -11*c = 9*c - 488780. Is c a prime number?
True
Let d be ((-1)/(-2))/((-13)/(-2054)). Suppose k + k = 0. Suppose x - d = -k*x. Is x prime?
True
Suppose 60*n - 56*n - 70156 = 0. Is n a composite number?
False
Suppose -5*j + 117 + 18 = 0. Is (-3)/(j/7554)*(-12)/8 prime?
True
Let h(d) = -d**2 + 14*d + 6. Let k be h(14). Let b(c) = -c + 2. Let a be b(k). Is 711/18 + 2/a a composite number?
True
Let d = 6882 + -2335. Is d a composite number?
False
Let v(n) be the second derivative of 9*n + 0 + 34/3*n**3 + 7/2*n**2. Is v(3) prime?
True
Suppose 0 = -6*f + 9 + 9. Suppose 4*g - j - 112 = -4*j, 3*g - 81 = -f*j. Is g a composite number?
False
Let t be 2/(7/((-77)/(-2))). Suppose 5*b - t = -1. Is b - 1 - -18*14 composite?
True
Let w(x) = -591*x + 190. Is w(-7) a composite number?
False
Suppose 4*w - 2*b - 2*b - 5680 = 0, 0 = -2*b - 4. Is w composite?
True
Suppose 0*j = -5*j - 32275. Is (-6)/16 - j/40 prime?
False
Let j = 80858 - 52572. Is j prime?
False
Let g = -1345 + 6404. Suppose 364 = -5*c + g. Is c a composite number?
True
Let z(j) = -j**2 - 9*j - 9. Let g be -4 + -2 + -1 + 0. Let i be z(g). Suppose -i*v + 710 = 4*n, 3*n = 2*v + n - 284. Is v composite?
True
Let l(d) = d**3 + 9*d**2 + 3*d + 3*d + 8*d**2 + 8 + 3*d**2. Is l(-11) a composite number?
False
Suppose -4*a = -0*c + c - 19, 0 = c - 3. Suppose 0 = d - 2*t - 2340, 3*d - t - 7029 = -a*t. Is d a prime number?
False
Suppose 3*s - 21527 = -2*l, 0 = -4*s + 6*s - 3*l - 14360. Is s composite?
False
Let p(k) be the third derivative of 0 - 9*k**2 + 29/2*k**3 + 0*k + 1/24*k**4 - 1/60*k**5. Is p(0) prime?
False
Let w(f) = 11*f**2 + 8*f - 1. Let h be (-30)/(-105) + (-88)/14. Is w(h) composite?
False
Is 5 + 3/((-15)/(-406))*55 prime?
False
Let k = -10887 - -19628. Is k a composite number?
False
Is 27/(-15) + 2 + 20982/15 prime?
True
Let g = -21 + 23. Suppose 0 = o - 5*s - 152 - 2862, -o + 3017 = -g*s. Is o prime?
True
Let t be (2 - 8)/(-1 - 0). Suppose c - 4*c + t = 0. Suppose -j = c*j - 57. Is j a composite number?
False
Let y be (6/(-21))/((-2)/14). Let u be ((-111)/y - -2)*-2. Let j = 288 + u. Is j a prime number?
False
Suppose 2257595 - 217516 = 31*x. Is x prime?
True
Suppose -31*b + 3 = -30*b. Suppose -1674 = -b*s + 11769. Is s composite?
False
Suppose 2*f + 2*d + 5 + 9 = 0, f + 3*d + 17 = 0. Let m be (-4)/f + (-9)/9. Is 4305/14 + m/(-2) a prime number?
True
Suppose -5*q + 95 = 5*w, -4*q = -w - 6*q + 18. Is (1264/(-20))/((-8)/w) composite?
True
Let f(c) = 29*c**2 + 5*c - 5. Let l = 76 - 46. Let y = 34 - l. Is f(y) prime?
True
Let f(v) = -34*v + 215. Is f(-20) a prime number?
False
Let c(z) be the third derivative of z**5/20 + z**4/24 + z**2. Let f be c(1). Suppose -3*l + 0*r + 424 = r, f*l - 3*r - 561 = 0. Is l prime?
False
Suppose -5*x - c - 3*c = -18, 0 = 2*c - 4. Suppose x*t = -2*y + 1174, 2*y - 293 = 5*t + 874. Suppose 2*d - 3*v = y, -3*d + 3*v = 167 - 1046. Is d prime?
True
Let o(p) = -568*p - 73. Is o(-9) a prime number?
True
Is -3 - (1 + -6 - -5) - -22820 composite?
False
Is ((12/(-9))/(-1))/(8/106374) a composite number?
False
Suppose 4*v = -2*l + 15956, 0 = 5*v + 3*l + 5856 - 25801. Is v a composite number?
False
Suppose 17*s - 8*s = 36783. Is s a prime number?
False
Suppose -a - 8 = 2*q, -q + 29 = -3*a - 2*q. Is (-17)/3*(-3 + a*3) a prime number?
False
Let h(n) = -n**2 + n + 3. Let f be h(-2). Is (f - 0)*(-4255)/69 composite?
True
Let r(t) = -t**2 - 4*t + 4. Let y be r(-4). Suppose -3*h + 12 = h + y*k, 4*k - 24 = 2*h. Is 2 + h + 1*163 a composite number?
False
Let r(f) be the second derivative of -3*f**4/4 + f**3 - 7*f**2/2 - f. Let o be r(4). Is o/(4/(-4)) + 0 prime?
True
Suppose o - 2*o - 6 = -3*u, -4*o + 2 = u. Suppose 3*n + 4669 - 25006 = o. Is n a composite number?
False
Let o(q) = 2*q**2 - 5*q - 4. Let m be o(5). Is (-2)/6 + 9814/m prime?
True
Suppose 17*l = -11484 + 69097. Is l composite?
False
Let h(d) = -3*d - 37. Let q be h(-12). Is (q - (-198 - 2))*3/3 composite?
False
Suppose -2*i - 48 = -0*i. Let d be (0 - -1)/((-6)/i). Suppose 691 - 39 = d*k. Is k a prime number?
True
Let b(q) = -q**2 - 3*q + 2. Let f be b(-19). Let o = f + 589. Is o prime?
False
Suppose 5*u + 7*a - 89321 = 0, -3*u = -6*u - 2*a + 53597. Is u a prime number?
False
Suppose 23332 = 5*f - a + 2490, 3*f - a = 12504. Is f a composite number?
True
Suppose 2*n + 298 = -p - 0*p, -2*p = -3*n - 447. Let b = -78 - n. Is b a prime number?
True
Let t(d) = -d**3 + 4*d**2 + 10*d + 4. Let r be t(6). Is 415741/124 - 2/r composite?
True
Let b be (33/(-2))/((-27)/(-72)). Let f be b/(-8) - (-3)/(-6). Suppose 0 = f*z - 201 - 64. Is z a composite number?
False
Is -28403*10/25*(-35)/14 prime?
True
Let t = -13566 + 21853. Is t prime?
True
Let k be (-4 + 2)/(10/(-2))*4700. Let v = k - 1027. Is v composite?
False
Let o = -40 + 84. Suppose -u = -3*y - 4*u - 39, u = -3*y - 31. Let l = o - y. Is l a composite number?
False
Let v(g) = -2*g**2 + 24*g - 1. Let a be v(12). Let f = -221 + 503. Is (a + f/(-9))*-3 a prime number?
True
Suppose 4*a - 3*a = 94. Is a - 7/(21/9) prime?
False
Let j(v) = v**2 + 6*v + 2. Let i be j(-4). Let d(g) be the third derivative of g**5/60 + 5*g**4/24 + 3*g**3/2 + 4*g**2 + 4. Is d(i) a composite number?
True
Let a(o) = 50*o**3 + o - 2. Let d(v) = -v**2 - 11*v - 9. Let n = -35 + 25. Let r be d(n). Is a(r) prime?
False
Suppose -14 = -2*q - 70. Let k be (-11)/(-4) - 7/q. Suppose 5*s = -5*v + 545, 2*s + 489 = k*v + 152. Is v a composite number?
True
Let f(k) = -435*k + 478. Is f(-29) composite?
False
Let h = 239 - -248. Suppose -2*c = -43 - h. Let s = c + -39. Is s a prime number?
False
Let z = 64492 + -32205. Is z a prime number?
False
Suppose -5*o - 16 = 4*x, 1 = 3*x - 2*o - 10. Let m(k) = -80*k**3 - k**2 + 2*k - 1. Let n be m(x). Is (-1 - n) + (-3 - -3) composite?
False
Let x = -33 - -12. Let y = -24 - x. Is 151 + (y - -3) + -2 composite?
False
Suppose 5*c = -5*t + 48025, 18*t = 3*c + 22*t - 28819. Is c composite?
False
Let z(q) = 4*q**3 - 21*q**2 + 15*q + 81. Is z(14) composite?
False
Suppose -6*d + 1132 = 4*p - 2*d, -3*d - 299 = -p. Is p prime?
False
Let q(t) = t**3 + 12*t**2 - 2*t - 11. Let a = 7 + -7. Suppose 0*z + 5*z + 46 = -4*w, a = -2*z - 3*w - 17. Is q(z) prime?
False
Let c = 12041 + 5336. Is c composite?
False
Suppose 11038 = 2*c + 3*g, 3*c - 2*c - 5525 = -3*g. Is c a prime number?
False
Suppose 21185 = 4*a - 3039. Suppose -6823 = -4*o - b, 4*b = 4*o - 792 - a. Is o a prime number?
False
Suppose 6 = -2*d + 5*r, 4*d + r = -21 + 9. Is (-3)/d + 468/3 composite?
False
Suppose -2*d - 3 = -3*d. Suppose 3*v + 2*b = 520, 0 = 5*v - 3*b + 6*b - 867. Suppose d*o = o + v. Is o a composite number?
True
Let k(o) = 2295*o**3 - o - 1. Is k(1) prime?
True
Let a(u) = 4 + 89*u - 166*u - 3 + 49*u + 0. Suppose 5*s + 4 = -11. Is a(s) a prime number?
False
Suppose -15 + 3 = 3*p. Let o = 10 + p. Is 764/6*9/o prime?
True
Let o(r) = -563*r - 91. Is o(-10) prime?
False
Let j = 2312 + -1603. Is j prime?
True
Let a = -13 + 33. Let f = a + -18. Suppose -k - 141 = -i, 0*i + f*i + 4*k = 294. Is i composite?
Tr