True
Suppose -3*a - 4*c + 27877 = 0, -14*a + c + 18603 = -12*a. Is a prime?
False
Suppose 3*u - 3740 = -5*i, 5*i - 4*u - 3710 = -u. Is i a prime number?
False
Let t(j) = -160*j - 1. Let o be t(-2). Suppose -187 = -m + o. Suppose -2*v = 2*f - m + 78, -5*v = f - 202. Is f prime?
False
Let w(b) = 554*b**2 - 8*b + 13. Is w(-6) prime?
False
Let z(b) = 31*b**2 - 2*b - 3. Let y be z(3). Suppose -2*o = o - y. Suppose -d + o = -95. Is d a prime number?
False
Let p = -113 + 111. Is 290 + ((-2)/(-2) - p) a prime number?
True
Let y(q) = -q**3 - 12*q**2 - 13*q - 189. Is y(-20) composite?
False
Let k(u) = 2*u**2 + u - 5. Let w be k(2). Suppose w*b - 2780 = -5*r, -3*b - 2760 = -5*r - 4*b. Is r prime?
False
Let u = 539 - -5604. Is u a prime number?
True
Let g be 4/12 - 56/(-12). Suppose -2*v + 0*k + 21 = g*k, v + 2*k = 8. Is (v/(-4))/(10/13060) prime?
True
Let n be 12/(-18) + 32/(-6). Let b(o) = 13*o**2 + 8*o - 1. Is b(n) a composite number?
False
Suppose 12*p + 283 - 1363 = 0. Suppose 334 = 4*q - p. Is q composite?
True
Let j(l) = -213*l**3 - 7*l**2 - 4*l + 1. Is j(-3) composite?
False
Suppose -2*v - 4*t + 2006 = 0, v + t + 988 = 2*v. Suppose v = -y + 4*y. Is y composite?
False
Let c = 69 - -1610. Is c a composite number?
True
Suppose -x = 3*y - 16, y - 16 = 3*x - 6*x. Suppose -7*w = -y*w. Suppose -5*a - 2*g + 174 = w, -2*a - 8 = 3*g - 82. Is a prime?
False
Suppose 443 = 5*a + 2403. Let g = -67 - a. Suppose 2*d - 805 = g. Is d a prime number?
False
Let g(w) = 3*w**2 - 34*w - 15. Let z be g(12). Suppose 6*t = z*t - 29613. Is t composite?
False
Suppose -4*h - 924 = 2*q, 3*q = 2*h - 159 - 1267. Let v be (1390/(-4))/(4/(-8)). Let s = v + q. Is s composite?
False
Let y be 12 - 10 - (-1)/(-1). Suppose -4*d - y = -21. Suppose g = -0*g + 2*i + 1251, d*i = -g + 1265. Is g a prime number?
False
Let i(h) = -2*h. Let t be i(-1). Suppose -t*j + 6*j = 268. Is j a composite number?
False
Let y be -3 + (1 - 0)*6. Suppose -2*m + 7*w - 2*w = -35, y*w + 5 = -2*m. Suppose -183 = x - 6*x + c, -x + m*c = -27. Is x a composite number?
False
Let a = -2 + -3. Let m(l) = l**2 - 2*l + 11. Let x(h) = h - 1. Let g(o) = m(o) + 4*x(o). Is g(a) prime?
False
Let h be (-11 - -12)/((-1)/(-4)). Suppose -h*l + 20 = 4. Suppose -3*q = -3*v - 69, l*q = -q - 4*v + 115. Is q a composite number?
False
Suppose -4*d + 3*d = 2. Is 986/(d/(-5) - (-16)/10) prime?
False
Let f = 523 + 2218. Is f a composite number?
False
Let h be 9/6*224/12. Suppose -h = n + 35. Is (28/12)/((-3)/n) a composite number?
True
Let i(a) = 994*a - 5. Let h be i(3). Suppose 3*n - 4*g - h = 0, 0*g - 4*g = -2*n + 1986. Suppose 0 = 2*z - 5*x - 967, x + 934 = 4*z - n. Is z composite?
True
Suppose 2*k = -5*g + k + 203230, 4*k + 162584 = 4*g. Is g prime?
False
Let c = -41 + 35. Let o(z) = -z**2 - 8*z - 9. Let g be o(c). Suppose 0*b = 4*k + g*b - 356, 5*k - 445 = 2*b. Is k prime?
True
Let f(p) = p**3 - 25*p**2 - 12*p - 51. Is f(29) prime?
False
Let q = 5 + -5. Let a be (q + -35)*240/(-50). Suppose -2 - a = -2*d. Is d a prime number?
False
Let w be ((-3)/(-6))/(3/18). Suppose w*r - 5*a = 888 + 2184, 1022 = r - a. Suppose -o + m + 248 = 0, -4*o + 0*o + r = 5*m. Is o composite?
False
Let s = 74 - -53. Let f be (0/(-2))/3 - -2. Suppose f*w = 3*w - s. Is w composite?
False
Suppose 5*w + 2042 = -5*n + 39357, -2*n = 4*w - 14922. Is n a composite number?
True
Let q be 5/(20/(-48)) + 3. Let o(s) = -4*s + 2. Let w be o(q). Let u = 93 - w. Is u composite?
True
Let y(r) be the second derivative of r**5/20 - 5*r**4/4 + 7*r**3/3 + 5*r**2/2 + 5*r. Let u be y(14). Suppose -91 - 244 = -u*m. Is m composite?
False
Let u(j) = -4*j - 14. Suppose -2*x = -2*r - 3*r - 23, -5*r = -3*x + 27. Suppose -3*f - 3*s - 48 = -0*f, -4*f = -x*s + 32. Is u(f) prime?
False
Suppose 24*p = 22*p + 238. Let n = 29 + p. Is n - (2 - 4/(-4)) composite?
True
Let x(f) = -2*f. Let d be x(-6). Suppose 2*w = 6*w - d, 771 = 3*b + 4*w. Is b a composite number?
True
Suppose 0 = -3*a + 1849 + 101. Suppose -3*k + 1919 = 5*f - a, -5*f + 2571 = 2*k. Suppose -10*s = -5*s - f. Is s a composite number?
False
Let b(j) = -j**3 + 2*j**2 + 3*j + 4. Let w be b(3). Suppose -5*v + 929 = -w*x, 2*v - 7*v = x - 924. Is v composite?
True
Let b be ((-4)/14)/1 - (-16)/56. Suppose -5*a - 49 + 219 = b. Is a composite?
True
Let d(y) = -y**3 - 2*y**2 - 2*y. Suppose -5*h + 8 - 18 = 0. Let j be d(h). Suppose 0 = -w - 3*l + 28, -3*w + j*l + 45 = 2*w. Is w composite?
False
Let a be ((-757)/2)/(-3*4/96). Let g = a + -1667. Is g composite?
False
Let a(o) = -100*o + 93. Is a(-16) a composite number?
False
Let h = 111 - 126. Is (22030/h)/(0 - 2/3) a composite number?
False
Let o(a) = 38*a**2 + 13*a + 4. Is o(-5) prime?
False
Suppose s - 2*r = 2, 5*r + 7 - 1 = 3*s. Suppose -w - w + 2152 = -4*g, -3*g = s*w - 2173. Is w a prime number?
False
Suppose 3*i - 11*i = -331600. Suppose 35389 = 21*u - i. Is u composite?
False
Let z(r) = r**2 + 1. Let a be z(1). Suppose 3*m + 2587 = 2*s + 2*s, a*s + 5*m = 1261. Suppose 5*p - 4*j = s, 3*p + 3*j - 121 = 2*p. Is p a composite number?
False
Let f(v) = v**2 - 12*v + 15. Let z be f(11). Suppose z*p + 10*p = 26698. Is p prime?
True
Let p(c) = -1874*c - 35. Is p(-6) composite?
True
Let r be (5276/12)/(3/(-9)). Let w = -820 - r. Is w composite?
False
Let c(k) = 3*k**3 - 8*k**2 - 6*k - 25. Is c(8) prime?
False
Let n = -19 - -18. Is n*((-2)/7 + 13077/(-21)) a composite number?
True
Suppose 21*x = 69352 + 48731. Is x prime?
True
Suppose 239048 = 23*y - 870587. Is y a composite number?
True
Let r(g) = 1363*g - 78. Is r(5) prime?
True
Suppose y - 6 - 2 = 0. Suppose y*i + 1291 = 9*i. Is i a composite number?
False
Suppose 50938 = 7*c + 18311. Is c composite?
True
Let x = -7005 - -15106. Suppose -5*j + 4*n = -x - 3860, 3*n + 9569 = 4*j. Is j a prime number?
True
Suppose -15*i - 97724 = -59*i. Is i prime?
True
Let s(n) = -11*n**3 - 20*n**2 - 18*n - 31. Is s(-10) composite?
True
Is 90/18 + (-9304)/(-2) a prime number?
True
Let x(m) = -23234*m - 131. Is x(-2) a composite number?
False
Let q be 573*6/12*16/(-6). Let g = q - -1327. Is g composite?
False
Suppose -11 + 3 = -v. Let n be 1/2*48/v. Is (-3)/((-36)/844)*n composite?
False
Let t = 2 + -3. Let h(n) = -1 - 565*n + 2 + 508*n. Is h(t) composite?
True
Let u(j) be the first derivative of -10 + 3/2*j**2 + 3*j + 17/3*j**3. Is u(-2) prime?
False
Let w = 348 - 201. Let g(v) = -v**3 - 9*v**2 - 18*v - 22. Let d be g(-7). Suppose w = -3*h + d*h. Is h prime?
False
Suppose 36295 + 83735 = 6*j. Is j a composite number?
True
Suppose -3*y + 0*y = 5*u - 137073, -5*y - u + 228455 = 0. Is y a prime number?
True
Let w = -26562 + 55099. Is w a composite number?
False
Let d(o) = -1907*o - 103. Is d(-18) a composite number?
True
Is (-11 - (-75036)/3)/1 composite?
True
Let j(l) = 325*l**2 - 3*l + 9. Is j(-7) a composite number?
True
Suppose 0 = 5*u - 4*i + i - 64, 0 = 4*u - 5*i - 59. Let j = -3 + u. Let r(h) = 8*h - 11. Is r(j) a prime number?
True
Let k(g) = g**3 + 20*g**2 - 42*g - 7. Let b be k(-22). Is b/17 + 109*10 composite?
False
Suppose 5*k + 119893 = 13393. Is (-1)/(-1)*1 - k/6 a prime number?
False
Let f be -7 - 3/((-9)/6). Let q = f - -6. Is -4 + q + (-120)/(-3) a composite number?
False
Let d be ((-534)/5)/6 - (-2)/(-10). Let g = 74 + -603. Is (-4)/d + g/(-9) a composite number?
False
Is (344481*10/30)/1 a prime number?
True
Suppose 88 = -2*j + 844. Suppose -79 + j = i. Is i a prime number?
False
Let x(s) = 774*s - 123. Is x(19) composite?
True
Let r = -34739 + 61044. Is r composite?
True
Suppose 2 = 3*r - r, 78006 = 5*n + r. Is n composite?
False
Let k(f) = -2*f + 7. Let q be k(0). Let o(l) = 62*l + 12. Let g be o(q). Suppose -2*m + 265 = -3*x - 181, -5*x - g = -2*m. Is m prime?
True
Suppose -5*c + 0*y + 2*y = -12, 4 = -4*y. Suppose -c*a + 712 + 43 = -m, -3*a - m = -1140. Is a prime?
True
Let n = -447 + 246. Let t = n + 314. Is t prime?
True
Let z = 159 + -12. Suppose 0 = 9*y - 2*y - z. Is y a prime number?
False
Suppose 16*a + a = 6035. Is a a prime number?
False
Suppose -3*w - 1000 = 2*x - 0*w, 0 = -5*x - 3*w - 2509. Let b = 736 + x. Is b prime?
True
Let b(z) = 223*z**2 - 15*z + 87. Is b(5) a prime number?
False
Suppose -765 = 3*x + 2*x. Let v = 115 - x. Let h = v + -141. Is h composite?
False
Let t = 427 - 247. Is (747/12)/(27/t) composite?
True
Supp