
Let z(q) = -40*q**3 + 9*q**2 + 5*q - 23. Let f be z(-8). Suppose -f = -2*o - o + 4*d, 3*o - 20994 = 3*d. Is o composite?
True
Let i(a) be the first derivative of a**3/3 + 7*a**2 + 14*a + 1. Suppose -31*l + 27*l - 5*t + 43 = 0, 5*t = 3*l - 76. Is i(l) prime?
True
Let r = 8828 - 1715. Is r prime?
False
Let j(z) = -38*z**3 + 38*z**2 + 127*z + 387. Is j(-26) composite?
False
Suppose 0 = -10*i - 7*i + 51. Suppose i*v - 1488 = -5*l, 9*l - 6 = 7*l. Is v composite?
False
Suppose -606*f + 592*f + 680078 = 0. Is f a prime number?
False
Let f be (-6)/12 + 2/4. Suppose -6*a = -10*a - 3*q + 11, 0 = -5*q - 15. Suppose f = -3*v + 2*t + 2511, -a*v + 250 = -t - 3928. Is v prime?
False
Let l(y) = -2881*y + 25. Let c be l(7). Is (c/36)/(2/(-4)) a composite number?
True
Let r(o) be the second derivative of 9*o**5/20 - o**4/2 + o**3/2 + 15*o**2/2 - o + 6. Let z be r(8). Suppose -z = -2*m + 1415. Is m a composite number?
True
Let c(g) = -2*g**3 - 162*g**2 - 153*g - 59. Is c(-84) prime?
False
Let l(i) = -i**3 + 8*i**2 + 2*i - 11. Let q be l(8). Suppose -8*v + q = -19. Is (370/v)/((-10)/(-15)) prime?
False
Suppose -15*p - 17240 = -a - 12*p, 0 = -a + 5*p + 17246. Is a composite?
False
Suppose -3*d = -3*h + 24 - 3, 0 = -4*h + 20. Let z(t) = -361*t**3 + 2*t**2 + 2*t + 1. Is z(d) prime?
False
Let z(k) = k**3 - 3*k**2 + 12*k + 31. Let p be (21 + 3)*(-3)/(-12)*2. Is z(p) composite?
False
Let s(d) = 4*d + 16. Let j be s(-7). Let v = 27 + j. Suppose 10274 = v*f + 569. Is f a prime number?
True
Suppose 3*l - 776 = -4*m + 259, m + 5*l = 280. Let d(h) = 5*h**2 + 5*h + 1. Let q be d(-5). Suppose m = 2*i - q. Is i a composite number?
True
Let q be (6 - (-6)/6) + -63. Is (-8)/(q/(-21)) + 160 a composite number?
False
Let q(c) = 12119*c**2 + 3*c - 2. Let d be q(1). Suppose n + d = 25*n. Is n a prime number?
False
Suppose 7*k - 1323415 = 4*p, k - 158675 - 30380 = 2*p. Is k prime?
True
Let y(p) = -2*p**2 + 6*p + 2. Let z be y(6). Let j = z - -35. Is (-7396)/(-14) + j + 48/(-168) prime?
False
Let y(s) = -s**2 - 22*s - 13. Let g be y(-21). Is (-28273)/(-7) + g - -2 prime?
True
Let x(u) = -u**2 - 20*u - 16. Let l be x(-14). Is l/(-2)*205/(-10) a composite number?
True
Let m(i) be the third derivative of -325*i**4/6 + 17*i**3/2 - 150*i**2. Is m(-7) composite?
False
Let u(n) = 42*n**2 + 208*n - 1301. Is u(6) a composite number?
False
Let l(f) = 11*f - 59. Let o be l(5). Is (-1 - (-3068)/(-3))/(o/12) a composite number?
True
Let t(v) = -v**3 + 12*v**2 + 11*v - 59. Is t(6) composite?
False
Suppose -64*z + 872374 = -114954. Is z prime?
True
Is (2 + (-171420)/(-8))/(9*5/90) prime?
True
Let f(y) = -3*y**3 - 6*y**2 - 23 + 4*y**3 + 6*y**3 - y. Is f(5) a prime number?
False
Suppose 0 = 5*d + 4*s - 89, 5*d - 3*s - 14 = 4*d. Suppose -26434 = -2*c - 3*a, -13*c - 52868 = -d*c + 5*a. Is c a composite number?
False
Suppose 2*f - 466 = -2*q - 2*f, -q = f - 232. Suppose 32*a + q = 35*a. Is a a composite number?
True
Suppose 18*x + 4*x - 110 = 0. Suppose -x*z = 3*s - 4372 + 152, -4*z = 4*s - 3384. Is z prime?
False
Suppose 5*f = -2*k + 2*f + 15041, 2*f - 15040 = -2*k. Suppose -3*i - 640 + k = 0. Is i a prime number?
True
Suppose -r = -3*t - 597017, -4*t - 2095911 = -4*r + 292181. Is r a prime number?
False
Let d(o) = -642*o**3 + 10*o**2 + 230*o - 37. Is d(-15) a prime number?
False
Suppose -4087408 = -41*r + 2064045 + 2347273. Is r prime?
False
Let s(h) = -69*h**3 + h**2 + h - 1. Let g be s(-1). Let n = g - -191. Is n a prime number?
False
Let a(b) = -3*b**2 + b**2 + b - 2*b - 5*b**3. Let u be a(-1). Suppose 269 = -u*y + 5641. Is y a prime number?
False
Let j = -21 + 25. Suppose -j*t + 223 = -1345. Suppose t + 11857 = 9*q. Is q a composite number?
False
Suppose -55*g = -3*a - 59*g + 12933, -4*a + 17263 = -g. Is a prime?
False
Let r(g) = g**2 + 14*g + 30. Let w(q) = 6*q + 25. Let s be w(-6). Let u be r(s). Is (1 + u)*(-662)/8*2 a prime number?
True
Suppose 0 = -0*m - 4*m + h + 43043, m - h = 10760. Suppose 0 = a - d - 2152, -3*a = 2*a - 4*d - m. Is a prime?
True
Let g(c) = -30 - 6*c**2 - 7 - 12*c**2 - c**3 + 27*c. Suppose 7*h = h - 128 + 8. Is g(h) prime?
True
Suppose 0 = -3*g - g - 276. Let d = 72 + g. Is 303 + 0 + d - -1 a prime number?
True
Let c = -1054 - -7. Let q = c - -3050. Is q a composite number?
False
Let b(m) = 206*m**3 - 4*m**2 + 4*m - 3. Suppose 0 = -3*v + v - 10. Let k be (-1)/3 + (24/(-9) - v). Is b(k) prime?
True
Let j = 2409169 - 1381088. Is j a composite number?
False
Let b(l) = -5*l**2 - 256*l + 256*l + l**3 - 25. Let k be b(11). Suppose k - 2162 = -3*f. Is f a prime number?
True
Suppose 0 = 4*o + 16, 0 = 3*x - 4*o - 165578 - 221438. Suppose 0 = 26*u - 11*u - x. Let z = u - 3613. Is z prime?
True
Suppose 5*j - 52 = -2. Let u be ((-68)/6)/17*-2292. Suppose j*m = 2*m + u. Is m a composite number?
False
Suppose -3*n + 2840 = -4*y, -y - 2328 = -3*n + 524. Let c be -4 + (n/(-4))/(-2). Suppose 10*s = 2755 + c. Is s a prime number?
False
Let d be (13/2 - 5) + 138/4. Let n be (d/14)/(42/196). Suppose 0 = 4*r - n, 0 = -5*q - 5*r + 6375 + 8305. Is q a composite number?
True
Suppose -2*s + 65012 = 4*l - 3*l, 2*s + 5*l = 65028. Suppose -6*r = -14*r + s. Is r prime?
False
Is (-8699214)/(-9) - (-6)/9 - (271 + -268) prime?
False
Let o(u) = -26 + 18*u - u + 4*u**3 + 9*u**2 - 5*u**2 - 23. Is o(6) a composite number?
False
Let p be (-15)/((0 - -2)/(-746)). Let l = -5 - -10. Suppose l*r = 4*m + p, m + 5580 = 5*r - 0*m. Is r a prime number?
False
Let f = -79065 - -185944. Is f composite?
True
Let x(v) = -v**2 + 6*v. Let z be x(4). Is z/2 + 3045/21 composite?
False
Let h(b) = b**3 - 45*b**2 + 126*b - 16. Let q be h(42). Let g(o) = -139*o - 45. Is g(q) a prime number?
True
Let g be 5/(-3)*54/(-45). Suppose -1139 - 271 = -g*r. Is (-22 - 0)*(1 - r/6) a prime number?
False
Let f = -93498 + 1050335. Is f a prime number?
False
Suppose 0 = i - 5*u - 30, 4*u + 18 = i + 2*u. Let a be 8/40 - (1 + (-1618)/i). Let r = a + -55. Is r a prime number?
False
Suppose 4 = -2*d + 16. Let k be (-25)/10*d/(-5). Suppose k*n - 403 = 518. Is n composite?
False
Let x(k) = -2*k**2 - 38*k + 24. Let v be x(-20). Is (4 - (-1 - 20481))*(-8)/v composite?
False
Suppose 28*d + 6*d - 24467101 = -3*d. Is d prime?
False
Let n be (42/28)/(3/(-57836)). Is n/1*(-8 - (-60)/8) a composite number?
True
Let t(r) = -3*r**3 - 24*r**2 + 31*r - 66. Let s(v) = 2*v**3 + 12*v**2 - 15*v + 34. Let a(x) = 9*s(x) + 4*t(x). Is a(7) composite?
True
Let o(k) = 6316*k**2 - 182*k + 3763. Is o(21) prime?
False
Suppose 5*z = 2*q + 224, 124 = 4*z - 5*q - 45. Suppose z*d - 964 = 44*d. Suppose -4*y + d = -410. Is y a prime number?
True
Suppose 2090*x = -2*b + 2088*x + 1412560, 0 = 3*b - x - 2118852. Is b prime?
True
Let i(m) be the third derivative of m**5/12 + m**4 + 17*m**3/2 + 45*m**2. Is i(22) a prime number?
True
Suppose 0 = g - 1 + 3. Let f be (g/4)/((-1)/(-6)). Is (f - 496/6)/(4/(-12)) a composite number?
False
Let c = 43 - 18. Suppose c*h - 29*h = -3572. Is h a composite number?
True
Suppose -4*v + 3*b + 89351 = -0*v, v - 2*b = 22329. Is v prime?
True
Let h(c) = -c**2 + 7*c + 2. Let k be h(7). Is k/(-10) - (117324/(-45) - 2) a composite number?
False
Let q be (-495310)/(-42) + 5/(-420)*8. Suppose 3*w - 12501 = q. Is w composite?
True
Let p be (-1 - 8)*2/6 + 9. Let g(y) = 3*y**3 + y**2 - 7*y + 6. Let v be g(p). Suppose 2*t + 3*r - 644 = 0, -2*t = -0*t + 5*r - v. Is t prime?
False
Let i = 199 + -194. Suppose -155020 = -i*h - 60075. Is h a composite number?
True
Is (-60)/180 + (-2609706)/(-9) a composite number?
False
Let d = 46410 + -30869. Is d composite?
False
Let s(t) = t**2 - 6*t + 8. Let i be s(8). Suppose -i = 6*m + 2*m. Let r(q) = -34*q**3 - 3*q**2 + q + 1. Is r(m) prime?
False
Is -63*(-8388 + 1 + 4) + (3 - -1) a prime number?
False
Suppose 0 = -7*i + 41*i - 118728. Suppose -i = 21*s - 41313. Is s composite?
False
Suppose 5*m + 4*s - 15 = 0, 4*m = 6*m - 3*s - 6. Suppose m*u = -2*f + 19 + 16, 5*u - 5*f - 25 = 0. Is u/11 + -1 - 3870/(-110) composite?
True
Let o be (-8)/(-20)*2*-5. Let c(s) = -4*s - 11. Let r be c(o). Suppose -r*t + 0 = -295. Is t prime?
True
Let v be 6951 + -2*(2 + 7/(-2)). Let a = v - 4375. Is a composite?
False
Let q(w) = 2068*w - 95. Let m = 310 + -304. Is q(m) prime?
False
Suppose 334*b = 231*b + 11053342. Is b composite?
True
Suppos