rime?
True
Let y(x) = -x**3 - x**2 + 3*x + 3. Let t be 3 - (-1 + 0 + 2). Let j be y(t). Is 1 + -3 - (-66 + j) a composite number?
False
Suppose 2*q - 9*q + 420 = 0. Suppose 2*p - 886 = -q. Is p prime?
False
Let t(j) = 251*j + 11. Let o be t(-7). Is o/(-26) + 2/(-13) composite?
False
Let c(d) = -1 - 3*d**2 + d**2 + 409*d**3 + 3*d**2 + 0*d**2. Is c(1) a composite number?
False
Let c be (-40)/16*(-52)/(-10). Let g(x) = -x**3 - 13*x**2 - 10*x + 19. Is g(c) composite?
False
Suppose -4*d = -2*y + 4, -9 + 3 = -3*y + d. Is 17860/120 - y/(-12) prime?
True
Let o(z) = 27*z - 23. Let i = -20 + 3. Let j = i - -23. Is o(j) prime?
True
Let i(c) = 849*c - 49. Is i(2) composite?
True
Suppose 7*d - 6485 = 6*d + 4*l, 2*d + 5*l = 12918. Is d composite?
False
Let z(j) = j**2 - 9*j + 6. Let m be z(8). Let q be (2/(-1))/(m/(-13)). Let s(i) = -7*i - 6. Is s(q) a composite number?
True
Let g = 9 - 3. Suppose 0 = -2*c + g*c - 3096. Let k = -395 + c. Is k a composite number?
False
Suppose 6*h + j = h + 27, -24 = -3*h + 2*j. Let z = -7 + h. Is (z/2)/((-4)/424) prime?
True
Let h(i) be the third derivative of i**8/4032 + i**7/5040 - i**6/80 + 7*i**5/60 + 6*i**2. Let n(q) be the third derivative of h(q). Is n(-5) prime?
False
Suppose 5*z - 4*x + 19 - 6 = 0, 3*z + 24 = -3*x. Let c(m) = -6*m**3 - 3*m**2 + 6*m + 2. Is c(z) a prime number?
True
Let t(q) = q + 12. Let h be t(-11). Let y(r) = -1091*r + 1. Let p be y(h). Let k = p + 1581. Is k prime?
True
Suppose -4*x + 3*v + 3 = 0, 0 = 3*x - x - v - 1. Suppose -14*u + 16*u - 4 = 0. Suppose 5*q - 5*c - 630 = 0, x*c - 3*c = u*q - 277. Is q composite?
False
Let s(u) = 6*u**2 + 4*u + 7. Let q = 8 + -3. Suppose -q*b - 4*j + 40 = 0, -4*j - 3 = b - 27. Is s(b) composite?
True
Let l be ((-20)/2)/(-2 - 0). Suppose 2*x - l*d = 700 - 182, -4*x + 1088 = 3*d. Let m = x + -154. Is m a prime number?
False
Let z = 0 + 6. Suppose 7*y = z*y + 290. Suppose 7*i - 2*i = y. Is i a prime number?
False
Let x = -2952 + 2040. Is 0 + -2 + (3 - x) + -2 a composite number?
False
Suppose 12*a - 11*a = 39. Suppose -5*o + a - 4 = 0. Is (-1 + 2)/(o/2863) prime?
True
Is 92/6*(-103710)/(-20) composite?
True
Let o be (-15)/6*4/(-5). Suppose 0 = 2*h - 2, 0 = -c - 0*h + 3*h - 1. Suppose -c*a + 7*a = -4*v + 55, -o*a - 2 = 0. Is v prime?
False
Suppose 27*c = 29*c - 2342. Is c a composite number?
False
Suppose 3*j + 2736 = -6*z + 9*z, 0 = -3*z - 2*j + 2711. Is z prime?
True
Suppose -2*x - 69 + 79 = 0. Suppose -2*z + 3554 = -0*z - 2*n, 3*z + x*n = 5331. Is z composite?
False
Let z = 55 - 64. Is (-9)/z*(0 + 263) a composite number?
False
Let u = -4768 - 408. Is 3/(-9) - u/12 a composite number?
False
Let a(m) = -25*m + 22*m + 4 - 3 + 4*m**2 - 2*m**3. Let q be a(2). Is 1072 + q - -1*2 a composite number?
False
Let h(t) = -31*t - 28. Let p = 22 - 31. Is h(p) prime?
True
Let i(j) = 7*j + 29. Let l be i(-5). Let g(x) = 52*x**2 + 13*x - 1. Is g(l) composite?
True
Let k be -3 - (3 + -2 - -5). Let z = k + 10. Is z/(2*(-3)/(-3102)) a prime number?
False
Let x be 6/(-10) - (-4)/(-10). Let d(o) = -o**2 - o + 1. Let p(r) = 327*r**2 - 2*r + 7. Let b(h) = -5*d(h) + p(h). Is b(x) composite?
False
Let l be (6/2)/(6/22). Let d = l - 15. Is d/(-10) + 3378/30 a composite number?
False
Let c = -1785 + 3146. Is c prime?
True
Let k = 760 + 91. Is k composite?
True
Is 4/(-16)*0 - -1931 composite?
False
Suppose 4*f + 2 + 2 = -5*z, 2*f + 2*z = 0. Let y(o) be the first derivative of o**4/2 - 2*o**3 + 3*o**2/2 - 5*o - 9. Is y(f) a prime number?
False
Suppose s - 2*s = -4*o + 9, 0 = 2*o + 4*s. Suppose o*p + 11 = 29. Is (89/3)/(p/27) composite?
False
Suppose -87*s + 359710 = -77*s. Is s composite?
True
Suppose 3*k + 139 - 1237 = 0. Let x = -138 - 65. Let l = k + x. Is l a prime number?
True
Is (-88326)/(-21) - (-14)/2 composite?
True
Suppose 0 = -4*u - 194 + 814. Let n = -6 + u. Is n prime?
True
Let s(i) = -689*i - 123. Is s(-8) a prime number?
False
Let l(z) = 2*z**3 + 6*z**2 + 6*z + 8. Let m(j) = j**3 + j**2 + j. Let h(v) = l(v) - m(v). Let r be h(-4). Suppose -r*a + 1773 = -791. Is a prime?
True
Let h(g) = g**2 - 5*g - 12. Let j be h(6). Is j/21 + -3 + 1270/35 composite?
True
Let k = 3050 + -1684. Is k a prime number?
False
Let w = 27 - 37. Let g be ((-48680)/(-25))/((-2)/w). Suppose h + 3*n - 6*n = 2446, g = 4*h + 4*n. Is h prime?
True
Let r be (-19)/(-4) + 1/4. Suppose -r*d + 12 = -8. Suppose -5*c = -p + 27 + 21, d*p = 2*c + 102. Is p composite?
False
Let c = 30 + 57. Is c prime?
False
Let y = 253071 - 116308. Is y composite?
True
Suppose 4*v = 4*g + 664, v - 136 = -2*g + 24. Suppose -5*t - a = -t - v, -3*a = t - 52. Is 2*4/(t/635) a composite number?
False
Is 7283*(-24)/32*12/(-9) composite?
False
Let r be 6 + (3 + (-21)/9)*-3. Suppose -5*b + c + 3486 = 0, -2*b - r*c = -1394 + 4. Is b a prime number?
False
Let l be (-12)/(-14)*(158 + -4). Suppose 1770 = 6*y - l. Is y composite?
False
Let c(l) be the third derivative of -l**4/6 - 17*l**3/6 + 9*l**2. Let r(f) = -7*f - 35. Let u(g) = 7*c(g) - 3*r(g). Is u(-9) composite?
True
Let w = 6256 + -2963. Is w prime?
False
Is 53*6/2 + 4 a composite number?
False
Suppose -2*a - 4*a - 60 = 0. Is -55*a*1 - -3 composite?
True
Suppose 9 + 3 = 3*f. Let m be (-42)/(-4)*(f - -2). Let i = -17 + m. Is i prime?
False
Let y = 28 - 27. Let g be (5/y)/(-4 - -5). Suppose -d - 1228 = -g*d. Is d composite?
False
Is -8 + 2 + 10779/3 a composite number?
True
Let i = 99368 + -56661. Is i a composite number?
True
Let w be (93/(-9))/1 - (-12)/(-18). Let h = w - -212. Is h composite?
True
Let w = -174 + 156. Let c(g) = -g**3 - 17*g**2 - 23*g + 1. Is c(w) composite?
False
Let r(l) = -106*l - 89. Let j be r(-32). Is (2/(-3))/((-6)/j + 0) a composite number?
False
Let j = -17946 + 26168. Is j a composite number?
True
Let x = 2141 - 1102. Is x prime?
True
Let q(t) = 705*t + 374. Is q(31) prime?
True
Let i = -3 - 5. Let l be (-12)/54 + 76/18 + -2. Is (141/(-12))/(l/i) composite?
False
Suppose 630 = 5*c + 2*s - 2505, 2491 = 4*c + 5*s. Is c composite?
True
Is (-21777294)/(-105) - (14/5 - 3) composite?
True
Suppose 1286 = -2*s + 418. Let v = 827 - s. Is v a prime number?
False
Let a(h) = 14*h**2 - 10*h - 59. Is a(-6) a composite number?
True
Suppose 2198 + 4116 = 2*v + 4*r, -4*r + 12 = 0. Suppose 8*j - 3*g - v = 4*j, -4*j + 3143 = 5*g. Is j a composite number?
False
Let r = 7 + -11. Let x = 8 + r. Suppose -x*y = -f - 0*f + 101, -264 = -3*f - y. Is f a composite number?
False
Let a(n) = -n - 4. Let o be a(-6). Suppose -o*k + 185 = -k. Is k prime?
False
Let w(b) = -246*b**3 + b + 3. Let n be -3*((-8)/(-60))/(2/10). Is w(n) a prime number?
False
Let z(j) = 154*j**2 - 3*j + 4. Let a(c) = -c**2 - 10*c + 41. Let s be a(-13). Is z(s) a prime number?
False
Let y = 21 - 20. Is y/(-2) - (8985/(-10) - 1) prime?
False
Suppose j + 9 = 3*g - 2*j, 3*g = 4*j + 9. Suppose -n + s = -g*n - 18, -5*s = -10. Is (-3)/(-6) + (-1265)/n a prime number?
True
Let q = -1336 - -2255. Is q a prime number?
True
Let y(c) = 0 + 0 - 18*c + 45*c. Let t be y(2). Let h = t - -445. Is h a prime number?
True
Let u(l) = 3*l**2 + 2*l + 11. Let m be u(8). Suppose 2*t + 63 = -r, 4*r - 4*t = -m - 81. Let q = r + 330. Is q prime?
False
Suppose 0 = 54*d - 52*d. Suppose d*a + 13064 = 8*a. Is a prime?
False
Is 15/10 - (-1915)/20*46 prime?
False
Suppose 0 = b + 4, 5*y - 7 = -3*b + 6. Suppose -p + 0*p = y*g + 914, 4*p = -g - 3656. Is p/(-18) + (-6)/(-27) composite?
True
Suppose -2*z = 3*f - 20, 4*f - 26 = -f + 4*z. Is (-5 + -1472)/((f/2)/(-3)) prime?
False
Suppose p + 2*m - 4853 = 0, 7*m = 9*m + 8. Is p prime?
True
Let m(h) = 515*h - 416. Is m(29) prime?
True
Let q(p) = 1006*p**3 - 13*p**2 + 31*p + 5. Is q(2) a prime number?
False
Suppose -a + l + 26136 = 0, -249*a + 253*a + 2*l = 104574. Is a a composite number?
False
Let w(b) = -2*b**3 - 2*b - 15 - 2*b**3 - 6*b**2 + 4*b. Is w(-7) prime?
True
Let b = -27595 + 40794. Is b a prime number?
False
Let j(p) be the first derivative of -19*p**2 - 9*p + 6. Is j(-12) a prime number?
False
Let i = 1987 + -773. Is i a prime number?
False
Suppose -7*h - 2*j = -3*h - 29444, -5*j = 4*h - 29444. Is h a composite number?
True
Suppose -9 = 4*l + 35. Let x = 11 + l. Suppose x = 2*s + 112 - 534. Is s a prime number?
True
Let d(a) be the third derivative of -49*a**6/20 - a**4/24 - a**3/3 + 3*a**2. Is