s m(-3) composite?
False
Suppose -2 = -z - 4*t, -t = -4 + 5. Let g(w) = 825*w - 89. Is g(z) a prime number?
True
Let h be (-62088)/(-130) + 4/10. Let f = h + -227. Is f a composite number?
False
Let u = -195 - -204. Is (-2)/(-6) + 6/u*3304 prime?
True
Let l(o) = o**3 + 27*o**2 - 29*o - 11. Let d be l(-28). Suppose -61 = -13*j + d. Suppose -19212 - 4050 = -j*s. Is s prime?
True
Let u(f) = 708*f**2 - 2*f - 12. Is u(-5) prime?
False
Suppose -u - 7*n + 293 = -3*n, 1442 = 5*u - 3*n. Let k = u - 38. Is k prime?
True
Let d(b) = -b**3 + 4*b**2 - 11*b + 41. Let i be d(4). Let h(g) = -140*g**3 + g**2 + 8*g + 22. Is h(i) a prime number?
False
Let z = -1189881 - -1673790. Is z a prime number?
False
Suppose -4*w = w - 3*z - 454444, -5*z = 2*w - 181759. Is w a prime number?
True
Let o(u) = -311*u**2 + 13*u + 6. Let d be o(-2). Let g = 806 + -535. Let k = g - d. Is k prime?
False
Let o(g) = 2*g**3 - 2*g**2 - 2*g + 5. Let l be o(2). Suppose -l*x + 4*x - r + 5585 = 0, 1117 = x + r. Is x composite?
False
Let f = -859151 + 1407970. Is f prime?
False
Let q(c) be the second derivative of 0 + 7/2*c**2 - 229/6*c**3 - 24*c. Is q(-6) composite?
False
Suppose 0 = 5*d - 5*v - 1575111 + 368156, -3*d + 5*v + 724173 = 0. Is d a composite number?
False
Let m(k) = -866*k + 29. Let t(y) = -864*y + 27. Let z(j) = -2*m(j) + 3*t(j). Is z(-10) a prime number?
True
Is ((-80)/(-320))/(1/4) + (328896 - 0) composite?
False
Let r be (75 + -5)/(-7) + 7. Let a(d) = -12*d**3 - 3 + 0*d**3 - 3*d**2 + d + d**3 + 1. Is a(r) prime?
False
Let u(i) = i**3 + 36*i**2 + 40*i + 106. Is u(-33) composite?
False
Suppose -m + 780 = -3*n - 2*n, -2*m + 1495 = 3*n. Let f = 4192 - 2700. Let t = f - m. Is t prime?
False
Suppose -5*b + 19 = -6. Suppose -b*j = -22*j + 508385. Is j a composite number?
True
Suppose 0 = -v - 1, 3*v + 41 = 2*k + 2*v. Let y be 2*(-148)/k*(-30)/(-4). Let j = -62 - y. Is j a prime number?
False
Suppose 62017 = 9*q - 143651. Suppose -q = -5*t - 4*r, 4*r = t - 1857 - 2723. Is t/9*(0 + 9/12) composite?
True
Let s(j) = j**3 - 3*j**2 - j + 5. Let r be s(0). Suppose -q + o + 9287 = 0, 12298 = q + r*o + 3011. Is q prime?
False
Let a(m) be the second derivative of -28*m**5/5 - m**4/12 - m**3/3 - m**2/2 + 12*m. Let d be a(-1). Suppose 357 = 3*s - 4*t, s - 2*t = -3*t + d. Is s composite?
True
Let b(s) = 15*s - 37 - 431*s**2 + 32*s - 4 - 52*s + 1098*s**2. Is b(-4) a prime number?
True
Let x(q) = 6*q - 8. Let f be x(2). Suppose -y = -f*o + 3603, 5*y + 1149 = o + 253. Is o a prime number?
False
Let x(z) = 89*z - 148. Let d be x(-10). Let c = d + 6083. Is c a composite number?
True
Let v(j) = 42*j**3 + 2*j**2 - j. Let d be v(1). Let f = d + -43. Suppose 0 = 5*o + 3*y - 8674, y - 6*y + 15 = f. Is o prime?
True
Let q be ((-144)/(-144))/(2 + (-23)/12). Suppose -q*w = 150328 - 518980. Is w prime?
False
Suppose 0 = f - j - 5, 0 = -5*f + 4*j - 5*j + 19. Suppose 0*o = -f*o + 12, -g = 2*o - 6389. Is g a prime number?
False
Is (-4038032)/(684/(-18)) - 1/(-2)*-14 a composite number?
True
Let r(i) = -i**2 + 6*i - 4. Let n be r(3). Suppose 0 = g - 0*v + 4*v + 25, -n*g + v = 41. Is (-2)/g - (-14729)/99 composite?
False
Suppose -g + 2*c = 1458, 5*g + 7254 = -7*c + 8*c. Let w(h) = 26*h**3 + 8*h**2 + 8*h + 3. Let y be w(-5). Let o = g - y. Is o a composite number?
False
Suppose r - 5*q - 168 = 0, -2*r + 5*q = 2*r - 687. Let b = r + 457. Suppose -b + 87 = -p. Is p composite?
True
Suppose 8800199 = -79*j + 16027499 + 11287219. Is j prime?
True
Let c(q) = 91387*q**2 - 495*q - 1489. Is c(-3) composite?
True
Let o be (-1653)/(-27) + 8/(-36). Suppose o + 225 = 13*b. Is b a composite number?
True
Suppose -52 + 40 = -3*q. Suppose -4*i - 11 + 1 = -5*p, 0 = q*i - 20. Is 173/4*(p + 22) prime?
False
Suppose a = d - 0*a + 677, 5*d + 5*a + 3415 = 0. Let v(t) = t**2 + 4*t + 2. Let s be v(-4). Is 1 - (2 + s + d) a prime number?
True
Let p be ((-14)/56*-1115)/((-3)/12). Let r = 1474 - -450. Let i = r + p. Is i a composite number?
False
Let a(t) = t**2 + 3*t + 5. Let s be a(-2). Suppose -5*r + 0*h + 110260 = s*h, 4*r - 5*h = 88171. Is r a composite number?
True
Is (-5)/65 - ((-9)/(-156)*1457492)/(-1) composite?
True
Let x(q) = q + 4. Let j be (-3 - (-8)/(-2) - -3)*2. Let i be x(j). Is (2/i - 0)/(1/(-1338)) composite?
True
Let h(k) = 30*k**2 - k + 50287. Is h(0) prime?
True
Let k = -146 + 621. Let u = k + -297. Is u prime?
False
Let g = -50 + 52. Suppose -h = -g - 3. Suppose 0 = -h*v + 2304 + 5041. Is v a composite number?
True
Let l = -116418 - -181129. Is l prime?
False
Let s(u) = -u + 44. Let p be s(0). Let y = p + -107. Is -51*7/y*(-339)/(-1) composite?
True
Suppose -5*f - 5*j - 15 = 0, 4*j = 2*f + f - 12. Is (-3 - f/1 - -1) + 1193 a composite number?
True
Let u = -13 - -18. Suppose -a + 7 + u = 0. Is (-2)/(a/(0 + 2))*-2877 prime?
False
Let v be ((-33)/22)/((-6)/(-8))*-4614. Suppose -t + n = -4*n - v, -4*n - 36928 = -4*t. Suppose 10*u - 30223 = -t. Is u composite?
False
Is 58218320/60 + 150/(-18) a composite number?
False
Let a(i) = 242*i**2 + 6*i - 5. Let m(z) = -z**3 + 26*z**2 - 26*z + 22. Let n be m(25). Is a(n) a prime number?
False
Suppose -219 = -4*j - 3*a - 2*a, 1 = -a. Let k = 59 - j. Suppose -2*v = -2*p - p - 104, -k*v = -p - 142. Is v a composite number?
True
Let h(u) = -u**3 - 20*u**2 - 65*u - 877. Is h(-27) a composite number?
False
Suppose 0 = 2*a + 3*s + 13 + 8, a = -5*s - 21. Let j be ((-72)/(-21))/(-2) - a/(-21). Is (24 - (-1 - j))/((-2)/(-82)) a composite number?
True
Let f(i) be the first derivative of 22*i**3/3 - 7*i**2 - 175*i + 267. Is f(-12) prime?
False
Let u(s) = 120*s**2 - 10*s + 17. Let m(o) = -o**2 - 1. Let q(f) = 3*m(f) + u(f). Is q(3) composite?
True
Let p be (24/8)/(1/3). Suppose p*x - x = 24. Suppose n + x = 80. Is n a prime number?
False
Let z(i) be the first derivative of 17*i**5/4 - i**4/12 + i**2/2 + i - 4. Let a(n) be the first derivative of z(n). Is a(2) a prime number?
True
Let v(c) be the first derivative of -c**3/3 - 7*c**2/2 + 21*c + 15. Let s be v(-9). Suppose s*z - 305 = 2326. Is z prime?
True
Let g(l) = -2*l + 66. Let w be g(35). Is (-2)/8*w*2471/7 a composite number?
False
Let t(g) = 4*g**2 + 137*g + 1381. Is t(-62) a composite number?
False
Let n(v) = 3*v**2 - 25*v + 6. Let k be n(16). Suppose 4*w - k = 2*w. Let u = w + 184. Is u a composite number?
True
Suppose -4124 = 12*u - 14*u. Suppose 3*x - 2*k = u, 4*x - 4*k + k - 2751 = 0. Let c = -447 + x. Is c prime?
False
Let k be 2804*((-5)/20 - 1). Let f = -2354 - k. Is f composite?
False
Suppose 4*i - 16*i = -60. Let x(s) = -s**3 + 6*s**2 - 6*s + 9. Let g be x(i). Suppose -5*y = -k + 424, -2*y - 2097 = -g*k - k. Is k a prime number?
True
Suppose -3*h = -1 - 5. Let m be -4 + h + 1 + (0 - -2). Is 1*m/(-3) - (-1258)/3 composite?
False
Suppose 0 = -5*c, 0 = -5*t + 2*c + 6 + 4. Suppose -g + 2*q + 3473 = 0, -2*g + 10435 = g - t*q. Is g composite?
True
Let h(g) = -3922*g**3 + 3*g**2 + 18*g + 32. Is h(-3) a composite number?
False
Let x(k) = -2*k**2 - 16*k - 10. Let u be x(-10). Let a = 55 + u. Suppose -a*o + 6324 = 1819. Is o a composite number?
True
Let n = 8 + 6. Let u = -5 + n. Suppose -5238 = -u*m - 1233. Is m a prime number?
False
Suppose 4*b = -w + 58 - 10, -2*w = 0. Is (-3)/b + (-29565)/(-36) a composite number?
False
Let s = 3310 - -5551. Is s prime?
True
Let f = -5527 - -10112. Suppose -l - 4*s = 8 + 3, 2*l - 14 = s. Suppose -12*c + f = -l*c. Is c a prime number?
False
Suppose -3*j + 18 = -0*j. Let p be (18452/8)/((-3)/(-72)). Suppose 6*t = -j*t + p. Is t a prime number?
False
Let i(f) = 11*f**3 + 7*f**3 + 8 + 2*f**3 - f**2 - 2*f + 3*f**2. Let o be i(4). Let g = o - 855. Is g a prime number?
True
Suppose -3*k + 126710 = -4*a, -5*k + 145407 + 65815 = 3*a. Is k a composite number?
True
Suppose 0 = -13*y - 2745888 + 7430971. Is y prime?
True
Let z = 4 + -5. Let l be -8 - 1/(z/(-1)*1). Let w(m) = 4*m**2 - 3*m + 7. Is w(l) a prime number?
False
Let q = 95369 - 43388. Is q composite?
True
Suppose -5*k = 4*o - 5*o, -2*k = o - 7. Suppose 0*t = -t + o*t. Suppose -5*b = -4*u + 13480, 3*u - 4*b = -t*u + 10111. Is u composite?
True
Suppose 13*q - 7 = 188. Suppose 23 = 2*h + q. Is (-4)/h + 2 + -1 + 4327 a prime number?
True
Suppose -217399 = -122*t + 109*t. Let q = t + -8826. Is q a composite number?
True
Let w(p) = 107*p + 31. Is w(6) prim