12 - 3. Let r = a + 6. Is (-9)/(-2)*830/r prime?
False
Suppose 0 = -10*i + 12*i - 55994. Is i composite?
False
Suppose -k + 3*x + 811 = 0, 2*x - 1728 - 661 = -3*k. Suppose -13*z = -12*z - k. Is z composite?
True
Let d(n) = 2*n**2 - 4*n - 2. Let t be d(-3). Suppose 5*i + t = 4*f, -2*f + 3*i + 24 = f. Is 344 - 3 - f/6 a prime number?
False
Suppose -9 = 5*c - 4, -3*c = 5*p - 10942. Is p a composite number?
True
Suppose -27*v + 99442 = -20*v. Is v a composite number?
True
Suppose 2*i + i - 19 = 2*t, -t - 4 = 4*i. Let h(x) = x**3 + 14*x**2 - 3*x - 7. Is h(t) prime?
True
Suppose g - 5*g = -3*k, 0 = -4*g + 5*k. Suppose 4*o - 3*o + 616 = g. Let s = 1083 + o. Is s prime?
True
Suppose l = -0 - 2. Suppose 3*a + 2*a + 680 = -5*v, 0 = 2*v + 4*a + 262. Is v/l - (-1)/2 a composite number?
False
Let m be (-42)/(-9) + 5/15. Suppose 2*b = -w + m*b + 155, -3*w - 4*b = -439. Is w a prime number?
True
Let d(a) = 2365*a + 60. Is d(17) a prime number?
False
Suppose -5*d = -8*d - 15, 0 = 3*u + d - 13474. Is u composite?
False
Let m(u) = 844*u - 5. Is m(1) prime?
True
Let y(w) = 150*w**2 - 27*w + 11. Is y(-4) prime?
False
Is ((-1)/3*3)/(2/(-1438)) a composite number?
False
Let k = -26 - -44. Suppose 0 = -17*o + k*o - 541. Is o a composite number?
False
Let m = 2 - -1. Suppose 1333 = 4*d - m*g, -5*g - 1339 = -d - 3*d. Is d a composite number?
False
Let z be (-9)/2*-1*64/6. Suppose -38 = s - z. Is s a composite number?
True
Let p = -240 - -751. Suppose 4*o = -p - 1117. Let g = o + 724. Is g a prime number?
True
Suppose 5*f + 361 = -3*x, 2*x - 3*f + 59 = -150. Let d = x + 323. Let j = d + -44. Is j a prime number?
True
Suppose -9*q = -15801 - 14232. Is q prime?
False
Let l be 4*250/(-120)*6/2. Let f = -10 - l. Is f a composite number?
True
Let z(j) = -51*j + 226. Is z(-11) composite?
False
Let m = 31 + -90. Let w = 73 + m. Is w a prime number?
False
Suppose 0 = 4*z - 3*r + 195 + 35, -5*z - 274 = 3*r. Let u be (-15)/(-4)*z/(-6). Is (-4)/(-14) - (-4225)/u a prime number?
False
Suppose -2*o + 5*k = -36725, -o + 6*k + 18363 = 4*k. Is o prime?
False
Let t(l) = -8*l**3 - 6*l**2 - 8*l - 3. Let a(h) = -h**2 - 9*h - 5. Let d be a(-4). Suppose 4*j + f - 12 = -35, 0 = 5*f + d. Is t(j) a prime number?
True
Suppose 2*h = -7 + 5, 5*s = h + 174496. Is s a prime number?
False
Suppose -15*q + 10*q = 0. Suppose q = -3*k - 0*k + 417. Is k a composite number?
False
Suppose 9*z + 12869 = 3*n + 5*z, -n + 4263 = 4*z. Is n prime?
True
Suppose b + 5*w + 18 = 0, 0 = 5*b - 4*w - 0 + 3. Let x(n) = -2*n + 2 - 4 + n**2 - 21*n**3 - n. Is x(b) composite?
True
Suppose -6 = m - 5*r + 10, -4*m + 4*r - 80 = 0. Let c be 100/7 + 6/m. Suppose 0 = -9*w + c*w - 20. Is w a prime number?
False
Suppose 4*a - 5*y + 77 = -40, 3*y - 90 = 3*a. Is (38 + 1)*(-869)/a prime?
False
Let o = -24 - -13. Is -11*(o + -1 - 1) a prime number?
False
Suppose g - 2*v + 231 = 678, -g + 3*v = -446. Is g a prime number?
True
Let z(s) = -2617*s - 97. Is z(-3) a prime number?
False
Let w = -626 - -8003. Is w a prime number?
False
Suppose 0 = -3*j - b - 4278, -2*j + 2*b + 2*b - 2838 = 0. Let d = -686 - j. Is d composite?
False
Suppose 4*o + 0*o - 3676 = 0. Let s = 1902 - o. Is s composite?
False
Let n(u) = -u**2 + 2*u + 573. Let s be n(0). Let c = -215 + s. Is c prime?
False
Let r(f) = -356*f + 4. Let d be r(-2). Suppose 0 = 3*s - d - 487. Is s prime?
True
Suppose -9*t + 7*t + 4414 = 0. Suppose 3*n - t = 5908. Is n a prime number?
False
Suppose 14*k - 154075 = -11*k. Is k prime?
True
Let j = 285 + -65. Suppose 5*l + 3*w = 1064, -l - 2*w - w = -j. Let c = -84 + l. Is c composite?
False
Let a(d) = 2*d**2 + 2*d + 710. Let z be a(0). Let p = 331 + z. Suppose -4*y + 1355 + p = 0. Is y a composite number?
False
Let x(r) = -r + 1. Let u(f) = 3*f + 1. Let z(p) = u(p) + 4*x(p). Let g be z(0). Suppose -g*y + 54 - 296 = -3*l, l = y + 84. Is l prime?
True
Let q(n) = -n**3 + 2*n**2 + 23*n + 9. Let l = 61 + -65. Is q(l) composite?
False
Suppose -102 - 166 = -2*c. Suppose -6*h + c = 20. Is h a prime number?
True
Suppose -3*w = -2*l - 29555, -5*w + 2*l = l - 49263. Suppose -7*a = -w - 5568. Is a composite?
False
Let v be -3 + 0 + (0 - -3). Suppose -5*a - 8 = -v*f - 4*f, 17 = 3*f - a. Suppose 0 = 3*z - f*z + 100. Is z composite?
True
Let j(a) = 43*a**2 + 7*a + 3. Let w be j(-6). Suppose -5*v + 7*v = l - w, 2*v = 0. Is l a prime number?
False
Let r(c) = -13*c**2 + 4*c + 6. Let j(n) = -7*n**2 + 2*n + 3. Let k(q) = 11*j(q) - 6*r(q). Let u be k(-2). Suppose 0*w + u*w = 1285. Is w a prime number?
True
Suppose -5465 = -3*f - 4*r, f + 3642 = 3*f + 4*r. Is f a prime number?
True
Let l = -199993 + 313835. Is l a prime number?
False
Let w(u) = u**3 + 15*u**2 - 16*u - 6. Let z be w(-16). Let a(j) = -5*j**3 + 4*j**2 - 6*j - 7. Is a(z) a composite number?
True
Let m(k) = -17*k**2 - 2*k + 24. Let x be m(11). Is x/10*-2 - 2 prime?
True
Let h(x) = -5*x**3 + 10*x**2 - 19. Is h(-12) prime?
True
Let h(z) = 3*z**2 + 72*z + 43. Let g(q) = -q**2 - 36*q - 22. Let v(r) = 5*g(r) + 3*h(r). Is v(-18) a composite number?
True
Let s(w) be the third derivative of w**5/60 - w**4/8 + 7*w**2. Let p be s(3). Suppose 4*b + 8 = 0, 2*h - 4*b - 96 + 2 = p. Is h composite?
False
Let p(w) = w**2 + 7*w + 6. Let b be p(-4). Is (1174/(-6))/(2/b) prime?
True
Is 10/(-115) + 4 + (-4387103)/(-161) prime?
True
Let k(a) = 25*a**2 - 10*a - 83. Is k(-32) a prime number?
False
Let q(v) = -v**3 + 10*v**2 + 23*v + 17. Let w be q(12). Suppose -5*t + 3*h = w*h - 7707, -4*t - 3*h + 6160 = 0. Is t a composite number?
False
Let y be -2*((-1130)/4)/5. Let w = 98 + y. Is w prime?
True
Suppose 0 = 5*r - 5*f - 17010, 4*r - 3*f = -2*f + 13623. Is r composite?
False
Suppose 11*j = 15*j + 5*z - 33523, 0 = 3*j - 5*z - 25186. Is j prime?
True
Is (-531528)/(-144) - (-2)/(-12) composite?
False
Suppose -30 = 2*c + 3*c. Let x be 10596/8 - c/(-4). Let k = -944 + x. Is k prime?
True
Let q(f) = 3 - 1 - 2*f**3 - 4*f + 130*f**3 + 5*f**2 + 1. Is q(2) composite?
False
Let k(t) = 2*t**3 - 16*t**2 - 13*t + 79. Is k(16) a prime number?
True
Let p(t) = -55*t**3 - t - 1. Suppose 3*o + 3 = 12. Suppose -v + o = -3*u + 2, 4*v + 5 = 3*u. Is p(u) prime?
False
Let o be 8/(-2) - (-2 + 2). Is (-262)/(-4)*(-8)/o prime?
True
Let b(h) = 4*h**2 - 2 - h**3 + 1 - 6*h + 10*h**3 + 3*h**3. Is b(3) composite?
True
Suppose -8*r + 376 = -3*c - 3*r, 0 = -c - 2*r - 129. Let g = c + 194. Is g composite?
False
Let y(k) = -2*k**3 + 3*k**2 + 19*k + 143. Is y(-9) a composite number?
True
Let r(c) = 345*c + 76. Is r(3) a composite number?
True
Let d = 4 - 4. Suppose 0 = v - d + 2. Is 466/3*(-3)/v prime?
True
Suppose 5*n - 21185 = -3*p - 7560, 0 = 5*n - 20. Is p prime?
False
Let c(n) be the third derivative of -83*n**6/120 + n**5/60 + n**4/12 + n**3/6 - 3*n**2. Suppose 2*o = 4*o + 2. Is c(o) prime?
True
Suppose -6*c + 34498 = -16556. Is c a composite number?
True
Let q = 74 - 69. Suppose q*c - 16121 = -5206. Is c a prime number?
False
Suppose -440 = 4*d - 8*d. Suppose -d*a = -115*a + 925. Is a a prime number?
False
Let u(p) = 64*p**2 - 30*p + 7. Is u(-11) prime?
True
Let f = -2430 - -4227. Let s = f - -4. Is s prime?
True
Suppose -3*i - 2*d = 6 - 23, -5*i + 35 = 5*d. Is i/(3044/3032*2 + -2) composite?
False
Suppose 2*f - 630 = -4*p, -2*f - 4*p = -7*p - 595. Suppose -6*u + 193 = -f. Is u composite?
False
Let x(a) = -347*a - 11. Let d be x(6). Suppose 6*l + 1472 = 19760. Let y = d + l. Is y composite?
True
Suppose -3*h = 4*x - 54, 27 + 5 = 3*x - 2*h. Suppose 6*u = 10*u - x. Suppose 0 = -3*n + 5*a + 761, 0 = -3*n + u*a - 223 + 976. Is n a prime number?
False
Let u(g) = 111*g**3 - 4*g**2 + g + 3. Is u(2) a prime number?
True
Is 2 - 23340/(3 + -7) prime?
False
Suppose -89705 = -3*z + 5*d - 4*d, -2*z - 3*d + 59796 = 0. Is z prime?
False
Let l(o) = -o**2 - 18*o - 9. Suppose -4*x - 30 - 18 = 4*f, -48 = 4*x - 3*f. Let b be l(x). Let w = 482 - b. Is w a composite number?
False
Let n = 63 + -27. Let r = n - 33. Suppose 80 = c - r*p, -c = 4*c - 3*p - 364. Is c composite?
False
Let v(y) = -y + 576. Let o be v(0). Let f(x) = 55*x + 8. Let u be f(7). Let w = o - u. Is w a prime number?
False
Let x(c) = 37*c**3 - 4*c**2 - 11*c + 47. Is x(6) prime?
True
Suppose 0 = 20*s + 8*s - 5048764. Is s prime?
False
Let r = 788 + 140. Let h = r + -637. Is h a prime number?
False
Suppose 0*