Suppose -2*g + c + 3*c + 2136 = 0, -5*c = -4*g + i. Suppose -o = 2*f - 159 - 382, -2*o - f = -g. Is o a composite number?
True
Suppose -2*v = -v - 4*m - 474, 2*m = -3*v + 1408. Let f be 2*3/2*1. Suppose -2*o + v = f*o. Is o a prime number?
False
Let i(q) = 5*q**3 + 5*q**2 + q - 6. Let j be i(5). Suppose 4*n - 267 = j. Is n prime?
False
Let g(s) be the second derivative of -s**3/2 + 9*s**2/2 - 3*s. Let m be g(4). Is 14*(1 - 3 - m) prime?
False
Let i(z) be the second derivative of z**4/12 - z**3/2 - 3*z**2/2 + 7*z. Let j be i(5). Let f(m) = 4*m + 7. Is f(j) a prime number?
False
Let w = 1 + 3. Suppose f + 3*k + 13 = 0, w*k + 0 + 12 = -4*f. Suppose 5*g - 4981 = 5*a - 1216, -f*a = -g + 751. Is g a composite number?
True
Let j(t) = -23*t**3 + 2*t**2 - 4*t - 2. Let v be j(-3). Suppose -3*p - 649 = -s, -3*p = s - p - v. Is s composite?
True
Suppose 12*c - 38482 - 12362 = 0. Is c prime?
False
Let r(m) = 3*m**2 - 10*m + 1. Let l be r(9). Suppose 2*o + 4*a - l = 0, 4*a + 24 = -o + 109. Is o prime?
False
Suppose 8*g - 304418 = -83154. Is g a composite number?
True
Suppose -4*b = 2*k - 2506, 0 = -k + 3*k + 2. Let p = 1042 - b. Is p a prime number?
False
Let a(z) = z**3 - 5*z**2 - 6*z + 1. Let w(t) = 2*t**3 - 9*t**2 - 13*t + 2. Let x(q) = 5*a(q) - 2*w(q). Is x(8) prime?
False
Suppose 3*l + 2*l + 25 = 5*o, 2*l = o - 9. Let a(k) = -6 - o + 7 + 2 + 6*k. Is a(10) a composite number?
True
Let z be ((-1)/(2/4))/1 - -7. Is (z/(15/(-2439)))/(-3) composite?
False
Suppose 2*a = 2 + 4. Suppose q + 2*k - 68 = 7*k, a*k - 108 = -q. Is q a prime number?
False
Let z = 32397 + -3710. Is z prime?
True
Suppose 0*t - 4 = -2*t. Suppose -b - t = -7. Suppose -3*d = b*f - 102, -d - 4*d + 3*f + 170 = 0. Is d a prime number?
False
Let s(c) = 131*c**2 - c - 7. Suppose 0*r - 2*f + 22 = 4*r, 0 = 3*r - 3*f + 6. Is s(r) prime?
False
Suppose 0 = 2*b - 5*f - 19911, f + 20040 + 19773 = 4*b. Is b a composite number?
True
Suppose r = -4*r - 4*c + 9449, -4*r + 7592 = -5*c. Is r composite?
True
Let l = 17673 + -2660. Is l a composite number?
False
Let y(u) be the first derivative of 35*u**4/4 - 7*u**3/3 + 7*u**2 - 5*u + 53. Is y(4) prime?
True
Let h be -7 - -16 - 1*3. Suppose -11*o = -h*o - 7380. Suppose 5*b - 2*z - 2463 = 0, -3*b = 3*z - 6*z - o. Is b composite?
True
Let d(r) = 549*r - 26. Is d(3) prime?
True
Let h = 18206 - 10483. Is h prime?
True
Let h(k) = k**3 + 12*k**2 - k - 35. Is h(10) prime?
False
Suppose 41*d - 723 - 753 = 0. Suppose 0 = 3*v + 2*q - 657, -1114 = -2*v - 3*v + 3*q. Let u = d + v. Is u a prime number?
True
Is (-1179262)/(-112) + (27/(-24))/9 composite?
False
Is 1265/(-69)*(0 + -3) prime?
False
Let j = -8 + 8. Is (1475 - (-2 + j)) + 4 a composite number?
False
Let o(q) = -2*q + 2. Let p be o(0). Is (p + -3 + 1028)/(-3 - -4) a composite number?
True
Suppose -11*n + 8*n - 6 = 0. Let b be n + 1 + (2 - 1). Suppose b*j = 2*j - 426. Is j a composite number?
True
Let q(d) = 4*d**2 + 4*d - 3 + 4 + 2*d**3 + 6 - 3. Let i be q(-2). Is (359 - (i - -2)) + 4 a prime number?
False
Let h = 9271 - 5834. Is h a composite number?
True
Suppose i + 4 = 14. Suppose -z + 13 = -5*w, -2*w + 2*z + i = -4*w. Let m(b) = -42*b - 7. Is m(w) a composite number?
True
Let s(f) = 5*f**3 + 2*f - 1. Let c be s(3). Suppose 4*v = b + 58 - 233, -b + c = 3*v. Is b prime?
False
Is 1171*3 + 34 + -34 a prime number?
False
Suppose -12394 = -18*j + 8090. Is j a composite number?
True
Suppose 0 = 5*v - 5*u - 16340, 4*v - 6655 = u + 6426. Is v a composite number?
False
Suppose 0 = -3*t + 2*t + 9. Is (8 - t)/(1/(-1949)) composite?
False
Let c(o) = 25*o + 57. Let i be (-1)/(16/(-60) + (-2)/(-12)). Is c(i) composite?
False
Suppose -3*q - 12 = -0*q. Is (-6 - q) + 123 + 0 prime?
False
Suppose 174*g - 116469 = 165*g. Is g prime?
True
Let o(r) = r**2 + 5*r + 4. Let g be o(-4). Suppose -397 = -c - g*c. Is c a prime number?
True
Is (171330/6 - -7)/1 composite?
True
Let u(w) = 14*w**2 + 14*w + 9. Is u(13) composite?
False
Suppose -4 = 3*r - 13. Suppose -540*f + 539*f - 30 = 0. Is (-3800)/f - (-1)/r prime?
True
Let l(p) = 2*p**3 + 2*p**2 - 7*p + 10. Let q(v) = v**3 - v. Let t(s) = l(s) - 3*q(s). Is t(-7) a composite number?
False
Let i = 273 + -125. Let a = -93 + i. Is a a composite number?
True
Suppose -1085645 = -22*l - 33*l. Is l prime?
True
Suppose 3*i - y - 22 = -3*y, 3*i - y - 16 = 0. Is (-116)/i*(-585)/30 composite?
True
Let p(i) = -12*i**3 + 7*i**2 + 4*i - 8. Let s be p(-7). Suppose -3*w = 15, 2*w + s = -0*l + 3*l. Is l prime?
True
Let q = -11929 - -19536. Is q composite?
False
Let t(u) be the third derivative of 1/8*u**4 + 0 + 0*u**3 - 7*u**2 + 0*u + 1/10*u**6 - 1/30*u**5. Is t(2) a prime number?
False
Let z be 114/27 + 4/(-18). Suppose 4*v = 2*i - 156, 4*i - 110 - 38 = z*v. Is v/((5/3)/(-5)) a composite number?
True
Suppose 2*k - 7*k + 2*v + 1599 = 0, -1286 = -4*k + 5*v. Suppose 0 = -r + 222 + k. Is r a prime number?
True
Let r(o) = -2607*o + 923. Is r(-20) a composite number?
True
Let x = 73973 - 10362. Is x a prime number?
True
Let v be 4998/2 + -1*4/2. Suppose v = 5*h + k, -5*h + 4*k = 2*k - 2491. Is h a composite number?
False
Let r(o) be the first derivative of -7*o**3/3 - o**2/2 - 8*o + 2. Let j be r(-6). Is (3/(-6))/(1/j) prime?
True
Let s(p) = -4*p**3 + 2*p**2 + p. Let u be s(-1). Is (9/15)/(u/14825) a prime number?
False
Let k(a) = 12*a**2 - 3*a - 20. Suppose 3*l + 2 = 4*c - 9, 3*l + 5*c = -20. Is k(l) a prime number?
False
Let f(p) = p**3 + 14*p**2 + 21*p + 9. Suppose 0 = -156*y + 160*y + 40. Is f(y) a prime number?
True
Suppose 4*p + 11 = -3*j, -2*p - j = 3 + 2. Let l = -3 - p. Is (-4 - -5)/(l/(-347)) a prime number?
True
Suppose 0 = -2*x + p + 5549, -x - 2*x = p - 8336. Is x prime?
True
Suppose 2*s - 10266 - 3728 = 0. Is s a composite number?
False
Suppose -5*v + 21 = 91. Suppose -6*d - 4 = -8*d. Is v/d*109*-1 composite?
True
Let j(p) = p + 8. Let t be 70/(-12) - 10/60. Let w be j(t). Is (1 + -2)/(w/(-230)) a prime number?
False
Suppose 2*w - w = -164. Let l be (-4 - w/6)*3. Is -3 + 0 + l/5 prime?
True
Suppose 0 = 3*q, -4*i + 19*q - 14*q + 43612 = 0. Is i composite?
False
Suppose -2*z + 678 = 2*u, z - 454 + 139 = 5*u. Is z a composite number?
True
Let z(g) = -7*g - 11. Let l be z(15). Is l/87*(-354)/8 composite?
False
Let m(c) = -c**3 - 6*c**2 - 4*c + 8. Let d be m(-5). Suppose -6*v + d*v = -6. Suppose 418 = v*u - 516. Is u prime?
True
Let z = 31 - 27. Suppose -2*g + 7894 = 5*x - g, 0 = 3*x + z*g - 4750. Suppose 0*r - 2*r = -x. Is r a prime number?
False
Suppose 0 = 2*y + 8, -3*y = 4*b - 557 - 1067. Suppose 2*l - q - 411 = -2*q, 2*l - q - b = 0. Is l a prime number?
False
Suppose -7*w + 6*w = -2*j + 49191, -3*w = -5*j + 122980. Is j composite?
False
Let q be 220 - 1*(0 - -1). Let t = -1084 + 1082. Is (q + 4)*t/(-2) prime?
True
Let j = 10 + -8. Suppose 4*o + 3*n - 143 = 0, o - n + 37 = j*o. Is (299/(-4))/((-8)/o) prime?
False
Let w = 2713 - 1722. Let l = w - 594. Is l a composite number?
False
Let d be (-19)/(2*3/(-102)). Suppose 3*v = 2*v + d. Is v composite?
True
Let l = -48 - -48. Let a(t) = 2*t**3 - t**2 - t + 15. Is a(l) prime?
False
Suppose -2*m - 2*m + 1460 = 0. Is m/(-20)*4*-1 + -2 a prime number?
True
Let r(t) = 416*t. Let s be r(2). Suppose -b + 422 = j, 4*j - 2*b - s = 2*j. Is j a composite number?
False
Let w(q) = -1674*q - 85. Is w(-11) a prime number?
True
Let d(k) = -498*k + 2. Let v(y) = -166*y + 1. Let x(c) = -4*d(c) + 11*v(c). Let q be x(2). Suppose -2*s - q = -5*a - 80, s = 5. Is a a prime number?
True
Is (-98674)/(-8) + 95/(-76) a prime number?
False
Let o(d) = 7*d**2 + 3*d + 5. Let z be o(6). Suppose -z = -a + 242. Is a a composite number?
True
Suppose -5*f - 7215 = -i, -3*i = 5*f - i + 7215. Let k = f + 2416. Suppose -5*y = -3*d - k, -5*d = 2*y - 2*d - 385. Is y a prime number?
False
Is (-9 + (0 - -12))*(0 + 9739) a composite number?
True
Let x = 1901 - -1082. Let p(s) = -151*s - 13. Let z be p(-9). Let v = x - z. Is v a composite number?
False
Let o be (345/3)/((-4)/(-60)). Suppose 3*s - o = 2*v, -s + 4*v + 89 = -476. Let u = s - 306. Is u a prime number?
True
Let l be (-6870)/(-20) - (-3)/(-2). Suppose 114 = -j + 4*o + l, -3*j = -4*o - 700. Suppose -3*m = j - 845. Is m a prime number?
False
Suppose -5*f - 21 = -12*f. Is 0 + f + (-4)/(-4)*406 composite?
False
Suppose 5*m = 7*m - 