 - c. Is w a prime number?
False
Let j(n) = 7*n + 1. Let r be j(-2). Let y = -35 - -59. Let b = y + r. Is b prime?
True
Suppose -4*d + 16 = 0, -t = 3*t - 3*d - 1328. Is t prime?
False
Suppose 2*o = 3*w + w + 132, -108 = -2*o - 2*w. Is o prime?
False
Let t(o) = o**3 + 5*o**2 + o + 5. Let z be t(-5). Let a be (-3)/(-1)*(-8)/(-12). Suppose z = j + a*j - 141. Is j a prime number?
True
Let w be (-4 - -1) + (1 - -5). Is w + (0 - 1*-20) prime?
True
Suppose 3*s - 3412 = -1231. Is s a prime number?
True
Let k(i) = -44*i + 2. Let n be k(-3). Suppose -2*q - 2*y + n = 0, 2*y + 283 = 4*q + y. Suppose -6*c + q = -c. Is c a composite number?
True
Let x(v) = -v**2 - 7*v - 7. Let s be x(-6). Let g(r) = 20*r**2 - r. Is g(s) prime?
False
Suppose 5*s = 3 + 7. Let d be -2 + 3 + 5 + -1. Suppose 0 = -d*k + s*k + 39. Is k a prime number?
True
Is (3/(-2))/(1545/(-514) + 3) composite?
False
Suppose 2*l + j - 652 = 0, j + 0*j - 2 = 0. Suppose 2*q + 2*h = 16, 2*q - 4*q + 21 = 3*h. Suppose -4*n + l = -q*m, 3*m - 2*m = -4*n + 313. Is n composite?
False
Let q = 2321 - 732. Is q composite?
True
Let l(w) be the first derivative of -w**4 + w**3/3 - 5*w**2/2 + w - 6. Let m be 1/2 - (-9)/(-2). Is l(m) a prime number?
True
Let f be 5*-83*5/(-1). Suppose -5*h - 5*d + f = 0, -2*d - 186 + 1435 = 3*h. Is h prime?
True
Is 469 + 8/(-4) - -2 prime?
False
Suppose -2*k + 2*z = -696, 0 = -z - z + 4. Suppose i = 4*w - 8*w + 67, 5*w = -5*i + k. Is i prime?
True
Suppose 3 = -o - 3. Let c = -1 - o. Is 3*c + 0 + -2 composite?
False
Is 16/(-20)*(-410)/4 a prime number?
False
Let z = -56 + 82. Is z a prime number?
False
Let w(y) = -15*y**2 + 2*y + 2. Let v be w(2). Let p = 246 - 169. Let l = p + v. Is l a composite number?
False
Let u = -11580 + 17483. Is u a prime number?
True
Is (-21336)/(-63) + 1/3 a prime number?
False
Let o be 1 - (5 + -1) - -1. Let j = o - 0. Let l(y) = 36*y**2 + 3*y + 3. Is l(j) composite?
True
Suppose 3818 = 4*n - 3*v, 2*n - 5*v + 3802 = 6*n. Is n a composite number?
False
Let c = -239 - -106. Let q = 26 - c. Is q a composite number?
True
Let h(k) be the first derivative of k**6/360 - k**5/60 + k**4/12 + k**3 + 4. Let q(u) be the third derivative of h(u). Is q(-5) a composite number?
False
Suppose a - 4*a = -2031. Is a a composite number?
False
Let i be 12*(1/(-2))/1. Let p be 7*1/((-21)/i). Suppose -22 = v - p*v. Is v a prime number?
False
Let d(c) = 2*c - 3. Let s be d(4). Suppose 2*u = -h + 507, 0 = -2*h + 2*u + u + 979. Suppose -4*l - h = -5*t, 473 = s*t - l + 5*l. Is t prime?
True
Suppose -4*m + 87 = -3*m - 4*x, 5*m + 4*x - 555 = 0. Let b = -56 + m. Is b a prime number?
False
Suppose -4*q = -p - 4*p - 15276, -2*p - 6120 = -4*q. Is p/(-6) + (-12)/(-36) a composite number?
False
Let r(g) = -10*g**3 - 2*g - 1. Let c be -4 + 2 - 0/(-1). Is r(c) a composite number?
False
Suppose 0 = -0*n + 4*n + 12, 2*a - 2*n - 56 = 0. Let d be (-3)/(-5) - (-60)/a. Suppose -38 = d*h - 101. Is h a composite number?
True
Let f be (-1)/(-4) - (-1326)/(-24). Let b = f - -101. Is b a prime number?
False
Suppose h = -5*g + 2*h - 2, 3*g - 3*h + 6 = 0. Let w = -3 + g. Is (-1)/w + 116/12 a prime number?
False
Let c = 132 - 53. Is c composite?
False
Let m be (7340/25)/(4/10). Let z = m - 379. Is z composite?
True
Let n(g) = 33*g - 2. Is n(8) composite?
True
Suppose 0 = -2*t + 5*w + 7, 0 = 2*t - 2*w - 24 + 2. Let l be t/12 + (-2)/(-3). Is (15/l)/(9/12) a prime number?
False
Let x be (-40)/(-18) + (-2)/9. Suppose -44 = -x*t + 58. Is t a prime number?
False
Let r = 609 + 206. Is r a composite number?
True
Let g(h) = h**3 - 15*h**2 + 9*h + 14. Let v(z) = -2*z**3 - z**2 - z + 1. Let i be v(-2). Is g(i) a composite number?
False
Suppose -b - 664 = -5*c + 1939, -1034 = -2*c + 4*b. Is c a prime number?
True
Let x(q) = q**3 - 6*q**2 + 6*q + 2. Is x(11) a composite number?
False
Let u(z) be the second derivative of -9*z**3 + z**2/2 + z. Suppose -t + 2 = 3. Is u(t) composite?
True
Suppose -4*o = -1204 - 424. Is o composite?
True
Let g be (-42)/(-7)*2/4. Suppose 0 = 5*u + g*b - 17, 4*u - 18 = -4*b + 2. Is ((-21)/6)/(u/(-26)) prime?
False
Is 462/6 + 2*1 prime?
True
Let c = 28 + -81. Is (2 - c)*(-6)/(-10) prime?
False
Let c(k) = -2*k**2 - 4*k + 10. Let g(j) = j**2 + 4*j - 9. Let d(z) = 2*c(z) + 3*g(z). Let v be d(6). Let y = v - -30. Is y a prime number?
True
Let o be 1/4 + 27256/32. Suppose i = -3*i + o. Is i a composite number?
True
Let v = -13 - -19. Is (-103)/(-3) + (-2)/v composite?
True
Suppose 0 = -5*t - 703 + 2598. Is t composite?
False
Suppose 6*l - 22 = -k + 3*l, 58 = 4*k + 2*l. Let v = -3 - -6. Let r = k - v. Is r prime?
False
Is (-36)/126 - 11442/(-14) composite?
True
Let a(n) = n - 1. Let f(x) = 2*x**2 - 7*x + 7. Let r(h) = 4*a(h) + f(h). Let p(i) = i**3 + 7*i**2 + 5*i - 1. Let c be p(-6). Is r(c) prime?
False
Let v = 585 + -139. Suppose -4*p + 5*s = -302 - 590, 2*s + v = 2*p. Is p composite?
False
Let c(b) = 16*b**3 - 3*b**2 + 12*b - 12. Is c(7) a composite number?
False
Let k = 2 - 0. Suppose 3*p = 4*m - 470, -5*p + k*m = -m + 787. Is 4/12 - p/3 a composite number?
False
Let a = -8 - -12. Let m(w) be the third derivative of 7*w**4/8 - 5*w**3/6 - 2*w**2. Is m(a) a prime number?
True
Suppose -3*d + 127 = -2*d. Is d composite?
False
Suppose 4*r = -0*r + 2*g + 6182, -3*g = 15. Is r a prime number?
True
Let c = -5 + 18. Suppose 4*o - 87 = c. Is o a prime number?
False
Let n(i) = -i**2 + 5*i. Let w be n(4). Suppose -14 = o - w*u, 4*o + 4*u + 0*u = -16. Let z(b) = b**2 + 5*b + 7. Is z(o) prime?
True
Suppose -2*l = 4*p - 0*l - 508, -p = 5*l - 127. Is p a composite number?
False
Let v = 29 + -6. Suppose -y + 12 = -0. Let t = y + v. Is t a prime number?
False
Let t = -4609 - -7914. Is t composite?
True
Suppose 6 = 4*y - 2*y. Suppose 38 = y*z + s - 6, 14 = z + s. Is z composite?
True
Suppose 2*u - 10 = -0*u. Let c = 7 - u. Suppose 77 - 23 = c*f - j, -4*f + 110 = -3*j. Is f composite?
True
Let i = 33 + 1181. Is i prime?
False
Let l(t) = -13*t**2 + t - 2*t - 6 - 6*t + 3*t - t**3. Is l(-13) composite?
True
Let d = 1320 + -221. Is d prime?
False
Suppose 0 = 2*i + 3*i - 1055. Is i a prime number?
True
Suppose -5*d - 2*u = u - 1895, -2*d = 2*u - 758. Is d a composite number?
False
Let y be (9/6)/((-3)/(-8)). Let j = 13 + y. Suppose 2*r - j = k, 0*k = -3*k - 15. Is r composite?
True
Let q be 132/8*2/3. Suppose g - 5*g + 14 = k, -g + q = 4*k. Suppose 2*s - 75 = -o, k*s + o = -2*s + 151. Is s a prime number?
False
Suppose -u - 5*p + 691 = 0, -p - 4 = -3. Let l = u + -377. Is l a prime number?
False
Suppose m - 3*c = 19, -m + 30 = 4*m - 2*c. Suppose -4*v + 2*n = -54, m*v + 2*n - n = 63. Is v a composite number?
True
Let i = 8 - 4. Let t be 1/i + (-2329)/4. Is (2/3)/((-4)/t) composite?
False
Suppose -2114 = -4*u + 3*u. Is (-6)/15 - u/(-10) a composite number?
False
Let w be (1 - 2)/(1/(-3)). Let v = w - 3. Suppose v = -3*x + s - 2 + 141, 2*s = 5*x - 231. Is x composite?
False
Suppose -x + 21988 = 4*s - 5*x, 0 = 3*x + 12. Is s a prime number?
False
Let a(d) = -d**3 + 5*d**2 + 8*d - 3. Let g be a(6). Let s(i) = i**3 + 5*i**2 - 7*i - 10. Is s(g) composite?
False
Suppose 2*m - 3796 = -3*y - 489, 0 = -5*m + 10. Is y composite?
True
Let k(v) = v**3 - 8*v**2 + 6*v + 5. Let r(w) = -w**2 + 6*w - 8. Let g be r(6). Let y be (-62)/g - 3/(-12). Is k(y) composite?
False
Suppose -83 - 249 = -4*c. Let v = c - 52. Is v a prime number?
True
Suppose 1497 = -3*q - 1509. Let a = q - -2063. Is a prime?
True
Let o(j) = -12*j + 1. Let a = -4 - -1. Let h be o(a). Suppose -g = -0*g - h. Is g composite?
False
Suppose -2*m - 2*m = -36. Suppose j + m*y + 61 = 4*y, -4*j - 175 = -3*y. Let l = j - -105. Is l composite?
False
Suppose -1713 = -4*u - 5*j + 137, 4*u + 2*j = 1856. Suppose -5*z + u + 145 = 0. Is z a prime number?
False
Let l = -4 - -3. Let p be 1*l/(2/(-140)). Suppose -5*o - 3*f = -p, 3*o + 0*f - 28 = f. Is o prime?
True
Suppose 4*b + 5 = u, -34 = -4*u + 5*b + 8. Is u composite?
False
Let d be 12*(99/6 - 2). Suppose -4*g + 522 - d = 0. Is g prime?
False
Suppose 0*d - 4*d + 24 = 2*v, -4*d - v + 28 = 0. Suppose -1115 = -d*c + 3*c. Is c composite?
False
Let r be 98/3*3/(-2). Suppose 328 = 2*i + 2*i. Let x = r + i. Is x composite?
True
Suppose 4*j = j + 213. Let w = j + 70. Is w composite?
True
Let v(f) = 518*f - 19. Is v(4) composite?
Fa