 -228. Is i a composite number?
False
Let w(z) = z**3 + 6*z**2 + z + 1. Let q be w(-6). Let f = 2 + q. Let t(g) = 4*g**2 + 4*g - 1. Is t(f) prime?
True
Let g = 11 + -18. Let q be 2/(-2) + (-21)/g. Is q + (-66)/(-3) + -3 a prime number?
False
Let w = 15 - -72. Is w a prime number?
False
Let w(u) = -u**2 + 4*u + 5. Let n be w(4). Suppose -n*z + 91 + 94 = 0. Is z composite?
False
Suppose -3*c + 255 = -24. Let o be 4/(-16) - c/(-4). Suppose 4*t - 4*p - 56 = 0, t + o = 2*t - 4*p. Is t a prime number?
True
Let c(v) = -v**2 + 4. Let o(m) = m**2 - 3. Let s(j) = -6*c(j) - 5*o(j). Is s(-4) a prime number?
True
Let g(f) = 34*f**3 + f - 1. Is g(1) a composite number?
True
Let d(m) = -m**3 - 20*m**2 - 6*m + 11. Let a(s) = s**3 + 19*s**2 + 6*s - 11. Let v(o) = -7*a(o) - 6*d(o). Is v(-13) prime?
True
Let a(d) be the third derivative of -d**6/120 + d**5/10 + d**4/24 - d**3/2 + 7*d**2. Suppose 4*u - 13 - 3 = 0. Is a(u) composite?
True
Suppose -33 = -3*z + 171. Let p = z - -15. Is p composite?
False
Suppose 0 = x - 4*i - 71, 0 = 2*x - 5*i - 44 - 83. Is x a composite number?
True
Is 309 - 1*4/2 composite?
False
Is (2 + 21 + 0)*1 prime?
True
Let f = 1245 - -2096. Is f a prime number?
False
Suppose 5*j = 4*q + 36 - 548, -q - 418 = 4*j. Let v = -73 - j. Is v prime?
True
Suppose 0 = -2*l - 4*p - 26 - 2, l + 5*p = -14. Let j = l - -24. Is j a composite number?
True
Suppose 0*z - 134 = -2*z. Is z a prime number?
True
Let h(j) = 59*j + 3. Is h(2) composite?
True
Let w = 19 + -5. Suppose j + 117 = 4*j. Let z = w + j. Is z composite?
False
Let l(g) = -2*g**3 + 8*g**2 - 1. Let b(j) = -j**3 + 7*j**2 - 1. Let k(v) = 6*b(v) - 5*l(v). Let h be k(1). Suppose 278 = h*r - 207. Is r a composite number?
False
Let a be 0/(-2) + (-5 - -6). Suppose 3*t - 17 = -2*p, 2*t - a - 3 = -5*p. Is t a prime number?
True
Let j be ((-12)/(-10) - 2)*5. Is (158/(-4))/(2/j) prime?
True
Suppose 20 = -5*b + 7*b. Let f be (-5 + 0)*(-6)/b. Suppose 4*q = 2*o, 2*q - 9 = o - f*q. Is o a composite number?
True
Let l(g) = -104*g + 17. Is l(-5) prime?
False
Suppose -441 + 21 = -5*t. Let u = 0 - 0. Suppose u*s = 4*s - t. Is s composite?
True
Let s = 14 - 9. Suppose s*q - 185 = -0*q. Suppose -107 = -5*r + 5*a + 78, -q = -r - 5*a. Is r a prime number?
True
Suppose 0 - 3 = -l. Suppose 27 = l*q - 2*p, 61 = 5*q + 3*p - p. Is q prime?
True
Suppose -5*p - 13 = 2*u, 5*u - 4 + 22 = 2*p. Let f(s) = -s - 8. Let i be f(u). Is (i - -2)/(2/(-37)) composite?
False
Let s = 1092 + -757. Is s prime?
False
Let a = 2 + -3. Is (-24)/(-3) - (a + 3) prime?
False
Suppose -y + 13 = s + y, s - 3*y = -12. Suppose 5*o + s*b + 0*b = 406, b + 86 = o. Is o a prime number?
True
Let i = 140 - -5. Is i prime?
False
Let l be (-404)/(-6)*(-15)/(-2). Let a = 260 + -616. Let r = l + a. Is r a prime number?
True
Let m be -2 + 3 + 104 - 3. Suppose 3*t - 105 = m. Is t a prime number?
False
Suppose -4*o - 1252 = -4*v, -2*v = v + 4*o - 911. Is v prime?
False
Suppose -65 = -5*o - 8*h + 3*h, 0 = -h + 4. Let t = o + -2. Is t a composite number?
False
Let b = 2464 - 1103. Is b a prime number?
True
Let j(m) = -m**3 - 11*m**2 - 10*m + 2. Let a be j(-10). Is 1 + 174/a + 3 a composite number?
True
Suppose 3*x + 6 = 0, -t + 4*x + 570 = -0*x. Is t a composite number?
True
Let w be (1/2)/(1/4). Let c(r) = 9*r**2 - r - 2. Let q(m) = 10*m**2 - m - 3. Let d(t) = 4*c(t) - 3*q(t). Is d(w) prime?
True
Let y = -6 + 4. Let d be ((-6 + y)/1)/1. Is (-1)/4 + (-410)/d a prime number?
False
Suppose -1066 + 222 = -4*c. Is c composite?
False
Let h(k) = k**3 - 3*k**2 - 3*k - 1. Let o be h(4). Let a(y) = 8*y**3 - y**3 + 1 + y**2 - o*y - 3*y**3. Is a(2) a prime number?
True
Let v(m) be the third derivative of -17*m**4/24 - 7*m**3/2 - 2*m**2. Let l(i) = -6*i - 7. Let t(c) = 7*l(c) - 2*v(c). Is t(-5) a composite number?
True
Let q(s) = s + 8. Let y be q(-6). Suppose 3*a = 2*a - r + 6, 0 = 2*a - y*r. Suppose -a*k + 308 + 163 = 0. Is k a composite number?
False
Let x be 2/1*(-417)/(-6). Let m = -18 - x. Let c = 270 + m. Is c composite?
False
Is 4/(-10) + (-3642)/(-30) a prime number?
False
Let i(m) = 47*m**2 + 9*m - 9. Is i(-4) a composite number?
True
Let a(b) = b**2 + 4*b + 4. Let k be (12/10)/(3/(-10)). Let w be a(k). Suppose -w*y = -144 + 4. Is y a prime number?
False
Let x(q) = -q**3 - 2*q**2 + 8*q + 6. Is x(-4) prime?
False
Let x be 2/8 + (-1)/4. Suppose 0 = 2*p + 8, -5*z = -4*p - 45 - 166. Suppose x*v + 4*v + 5*b - z = 0, 0 = 3*v - b - 15. Is v a composite number?
True
Suppose -5 - 1 = -3*m. Let y(r) = 92*r**3 + r. Let s be y(1). Is ((-2)/(-3))/(m/s) a prime number?
True
Let f(c) = -2*c**3 - 22*c**2 + 6*c - 35. Is f(-18) composite?
True
Suppose -3*t + 630 = 3*c, 2*c - 3*t = -4*t + 422. Suppose -5*s + 940 = 5*n, -5*s - 3*n = -734 - c. Is s a composite number?
False
Suppose 2*o = 3*o - 6. Suppose 5*c = 8*c - o. Suppose -c*k + 6*k = 188. Is k a composite number?
False
Let a(o) = 988*o + 3. Is a(1) composite?
False
Suppose -4*n + 5*d + 1401 = -n, -d + 1868 = 4*n. Is n a composite number?
False
Is ((-2)/(-2)*-2)/(48/(-12696)) a prime number?
False
Let l(x) be the second derivative of -17*x**3/6 + 2*x**2 - 8*x. Is l(-15) a prime number?
False
Let z(m) = m**3 - 2*m**2 - 4*m + 3. Let u be z(3). Let n = -87 + 28. Is 0 + (u - (0 + n)) a composite number?
False
Let p(j) = -18*j + 5. Let i(s) = 18*s - 5. Let h(l) = -5*i(l) - 4*p(l). Is h(-8) a prime number?
True
Let t be (2/4)/(3/18). Suppose t*n - 3 = 2*n. Suppose -n*q + 505 - 106 = 0. Is q a composite number?
True
Let n(v) = -83*v + 4. Let u = 24 + -29. Is n(u) a composite number?
False
Let x(n) be the third derivative of n**6/120 + n**5/10 - n**4/24 - n**3/2 - n**2. Let t be x(4). Let r = t + -10. Is r prime?
False
Suppose 96 = 2*c - 322. Is c a composite number?
True
Is 148/8*(6 - 4) a prime number?
True
Let c = -670 - -1668. Suppose -4*f - 2*k + 0*k + c = 0, 0 = -f - 4*k + 239. Is f composite?
False
Let o(j) = -j**2 + 7*j + 11. Is o(7) a composite number?
False
Let d(l) = 2*l**2 - 5*l + 9. Is d(-6) prime?
False
Let f = -5 + 42. Is f composite?
False
Let l = -17 - -7. Let s be 4/l + (-84)/(-10). Is (s/3)/(2/3) prime?
False
Suppose -4*w = -2*i + 20, -5*i = -3*w - 2*i - 21. Let s = 2 - w. Suppose -x + 2*x = -s, 2*c + 3*x - 163 = 0. Is c a composite number?
False
Let p(c) = c**3 + 8*c**2 + 7*c + 4. Let y be p(-7). Suppose 0 = -y*l, 0 = -z + l + 28 - 7. Suppose 0 = 2*f - 3*f + z. Is f composite?
True
Let o be 253 + -2 + 3/(-3). Let r = -93 + o. Is r prime?
True
Suppose k - h = 2382, -2777 + 390 = -k - 4*h. Is k prime?
True
Let g(u) = -7*u**2 - 3*u + 1. Let f be g(3). Let a(r) = -r**2 + 3*r. Let t be a(-5). Let v = t - f. Is v composite?
False
Is 183940/60 - 4/6 a composite number?
True
Let q(x) = -x**3 - x**2 + 3. Let m be q(0). Let a(h) = h**2 - h - 3. Let g be a(m). Suppose -110 = -5*j + g*j. Is j a composite number?
True
Suppose 806 = 5*g - 3*u, u - 501 = -3*g - 3*u. Is g composite?
False
Suppose -4*v + 3*u = -8, -2*v - v - 1 = -4*u. Suppose 0 = -t - v*a + 27, 0*a + 18 = -t + 4*a. Is t a prime number?
True
Let b(d) = -104*d + 3. Is b(-2) composite?
False
Is 6/4*(-3438)/(-27) a composite number?
False
Suppose 4*z + 3*j + 558 = 0, -3*z - 5*j - 420 = -2*j. Let b = -35 - z. Is b a prime number?
True
Suppose -4*z - 4*a = -0 + 8, 2*z + 4*a - 4 = 0. Is (-764)/z - 1/3 a prime number?
True
Let o(r) = -2*r**2 - 7*r. Let y(c) = -c**3 + 5*c**2 - 4*c + 6. Let v be y(4). Let s be o(v). Let t = -79 - s. Is t prime?
False
Suppose 0 = -0*x + 2*x - 76. Suppose 2*v - 14 = -3*c - x, 0 = 2*c - 5*v - 3. Let j(w) = -2*w - 1. Is j(c) a composite number?
False
Suppose -16 = -4*d, i - 3*i + d + 2 = 0. Suppose -i*p = -0*p - 195. Is p composite?
True
Let b be ((-3)/(-6))/((-1)/4). Is (2/b)/(-1) + 162 a prime number?
True
Let w = 409 + -210. Is w a composite number?
False
Let r(p) = -p - 2*p - 11 + 0*p. Is r(-8) a prime number?
True
Suppose 4 - 20 = -4*i. Suppose 0 = -v - u - u + 229, 4*v - 952 = i*u. Is v prime?
False
Suppose o = 4*o. Suppose o = 3*k + 84 - 555. Is k prime?
True
Let f(y) = 9*y + 6. Is f(3) prime?
False
Let o = 2 - 0. Is (-1 - -3)/o - -32 prime?
False
Let p(v) = -v**3 - v**2 - 11. Is p(-5) a prime number?
True
Is (26 + 1371)*(-1)/(-1) a prime number?
False
Suppose 0 = 3*h - 578 - 199. Is h composite?
True
Suppose 0*x = -2*x + 6. Is 134*(x/1)/