 Is d a prime number?
True
Let p = 89491 + 114540. Is p a composite number?
True
Is 7/1 - ((-2)/(-5) + (-8880352)/130) a composite number?
True
Let y be 3 + 0/5 + 0. Let o be (4/24)/(3/90). Suppose y*q = 8*q + 15, -o*q = -2*m + 4049. Is m composite?
False
Let x(m) be the second derivative of m**7/840 + m**6/24 + m**5/120 + 3*m**4/8 + m**3/3 + 2*m. Let t(a) be the second derivative of x(a). Is t(-13) composite?
True
Let z(k) be the second derivative of 3*k**5/20 - 5*k**4/12 + 5*k**3/6 + k**2/2 + 7*k. Let x(r) = -r**3 + r**2 - r. Let q(h) = 9*x(h) + 2*z(h). Is q(-1) prime?
True
Let p(x) = -x**2 + 33*x - 12. Suppose -51*w - 56 = -53*w. Suppose 2*s + w = 66. Is p(s) a composite number?
True
Let a be 9*10/(-3)*12/(-9). Suppose 0 = 6*f + a - 1900. Suppose k = 403 + f. Is k composite?
True
Let r(t) = 11 - 4*t**2 + 22*t**3 + 17*t - 23*t**3 - 2*t**2. Let q be r(-8). Is (-6)/(-18) - q/(27/(-1608)) a composite number?
False
Let g be (-5 - 1 - -12516) + -5. Let m = g - 2916. Is m composite?
True
Suppose 3*g + 2*c - 2885 = 3582, -4*g + 8604 = 5*c. Is g prime?
True
Let i = 20 + -18. Let d(z) be the second derivative of 9*z**5/20 + z**3/2 - z**2/2 - 9*z. Is d(i) composite?
True
Let l = 392 - 375. Let c(r) = 22*r**2 + 31*r - 116. Is c(l) prime?
False
Suppose 622*s + 77334 = 628*s. Is s composite?
False
Let s(g) = -g**2 - 8*g - 15. Let m be s(-5). Suppose -4*j = -m*j - 3884. Let v = -462 + j. Is v composite?
False
Let c be (6/9)/((-3)/4761). Let t = c + 6145. Is t a prime number?
True
Let f be (4 - 0) + (-20)/(-4) + 7. Is 4 - (f/(-4) + -183) a prime number?
True
Suppose 2893198 = 72*m - 108*m + 58*m. Is m a composite number?
True
Let v be 72259/22 + ((-3)/2)/3. Suppose -31*h - v = -35*h. Is h a composite number?
False
Is 113677 + 12 + -13 + (-1 - -8) a prime number?
True
Suppose 4*m = q + 357, 3*m - 5*q + 84 = 4*m. Suppose c + 26 = 5*u, -4*c + 3*u - 83 = m. Let y = c - -77. Is y a prime number?
True
Suppose -5*f = -76*k + 74*k + 296539, k = -2*f + 148256. Is k a prime number?
False
Let o(p) = -p**2 + p + 1418. Let d be o(0). Suppose 4*z = 2*i - 810, 4*z - d - 154 = -4*i. Let g = i + -80. Is g a prime number?
True
Let l(p) = -4*p**3 + 71 + 13*p**3 + 7762*p - 7771*p. Is l(6) prime?
False
Let u(j) = j + 5. Let w(i) = -i**2 + 20*i + 16. Let a be w(21). Let p be u(a). Is (318 - p)*2/4 a prime number?
False
Let i(f) = -f - 25. Let u be i(-13). Let r be 9*(-4)/u*1. Suppose 5 = 5*k, b + 130 = r*k + 896. Is b composite?
False
Let k(i) = -793*i**3 + 9*i**2 - 7*i + 69. Is k(-8) prime?
True
Let k = -2568 + 4969. Let v = k - 1646. Suppose 4*p - 4*m - v - 301 = 0, -2*p + 549 = 5*m. Is p prime?
False
Let i be 1/(1*2/8). Suppose i*m = -14 - 10. Let k(b) = -9*b**3 - 10*b**2 - 9*b + 19. Is k(m) a prime number?
True
Let x = 344104 - 198305. Is x a prime number?
True
Let f = -704 - -707. Let p(c) = 47*c - 14. Is p(f) a prime number?
True
Let w(f) = -f**3 + 11*f**2 + 13*f - 10. Let l be w(12). Let n be ((-60)/(-21) - l)/(1/21). Let o(b) = b**3 - 18*b**2 + 38*b - 11. Is o(n) prime?
True
Suppose 38*g - 4297608 = -34*g. Is g a composite number?
True
Let w(a) = -4*a**2 + 44 + 0*a**2 + 3*a**2 + 19*a - 4*a**2. Let m be w(-14). Let d = 2601 + m. Is d prime?
True
Let c(u) = -83*u**2 - 15*u - 11. Let h be c(-5). Let k = h - -6348. Is k prime?
True
Let j be (16/(-14))/(-4) + (-10)/35. Suppose j = 2*i - 2013 - 269. Is i a prime number?
False
Suppose 4*s = 14 - 2. Suppose -8 = s*m - 20. Suppose 4*d - 52 = -4*u, 0*d + m*u - 7 = -d. Is d prime?
False
Is 1533102/14 - (1674/189)/31 prime?
True
Let f(q) = -10*q**3 - 22*q**2 + 23*q - 581. Is f(-26) a prime number?
False
Let v = 35 - 27. Suppose -4*k - q = -2*k - 19, -4*k + v = -4*q. Suppose -2454 = u - k*u. Is u composite?
False
Suppose -72*x + 32*x + 1527548 = -448812. Is x a prime number?
True
Let q = 7813 - 5533. Suppose -2*f + q = 502. Is f a prime number?
False
Is (-2)/(-17) - (-97351410)/(-391)*6/(-4) a composite number?
True
Let t = -528 - -175. Let u = 887 + t. Suppose 3953 = 7*y - u. Is y composite?
False
Let n(p) = -2*p - 60*p**2 + 38*p**2 + 66*p**2 - 1 - 12 - 22. Is n(9) a prime number?
True
Suppose -r + 138403132 + 6040043 = 74*r. Is r prime?
True
Let v = 69 - 50. Let f = v + -23. Is (-25)/20 + 1 + (-4605)/f a prime number?
True
Is (-74759 + 7 + 5)/(2 + -3) prime?
True
Let z(n) = n**2 - 32*n + 106. Let f be z(28). Suppose -8*a - 24 = -4*a. Is 2018/a*(-4 + 7 + f) a composite number?
False
Let w be (0 - -2)/(1 - (-1281)/(-1283)). Suppose 40633 + w = 14*n. Suppose 0 = -4*v + 7*v - n. Is v prime?
False
Suppose -j - 12 = 2*j. Let v = -18341 + 7605. Is j/(-20) + v/(-20) a composite number?
True
Suppose 0 = 14*j - 2*j - 48. Suppose -10*r + 7*r = -2*w + 1070, 2*w - 1066 = j*r. Is w a composite number?
False
Suppose q - 24 - 20 = -2*j, 0 = 2*j + 5*q - 36. Let b = -20 + j. Suppose -5*p - 57 + 612 = -5*k, -4*p + b*k + 442 = 0. Is p prime?
True
Let i(v) = v**2 + 7*v - 26. Let t be i(-10). Suppose -5*f = -4*h + 6259, t*f - 630 - 2506 = -2*h. Is 4 + (-1 - 2) + h composite?
False
Let b = -3982 - -8953. Suppose 0 = -4*i - 4*z + b + 3445, 0 = -2*i - 4*z + 4214. Is i prime?
False
Let r(c) = 848*c + 8. Let a(d) = 848*d + 9. Let h(x) = -5*a(x) + 6*r(x). Let s be h(1). Suppose 2*g - 2*w - s = -w, 4*g = -4*w + 1720. Is g composite?
True
Let r(l) = -10291*l + 3694. Is r(-25) composite?
False
Let c(f) be the third derivative of f**6/20 + 11*f**5/60 + f**4/8 - 3*f**3/2 - 4*f**2 + 7*f. Is c(8) prime?
False
Suppose 5*c + 2*f = 113189, 5*c - 38*f - 113177 = -34*f. Is c composite?
False
Let j(a) = -14526*a + 649. Is j(-5) composite?
True
Let i(y) be the first derivative of -185*y**2/2 + 23*y - 9. Let q be i(14). Let d = q + 3654. Is d composite?
False
Suppose 3600 = 4*y + 4*f, -2*y + f + 4*f = -1772. Suppose 5*n - x - 4122 = 378, x + y = n. Is n prime?
False
Suppose -17*a + 73912 = -102123. Let q = a + -2414. Is q a prime number?
False
Let p = 156 + -413. Let a = -66 - p. Is a prime?
True
Suppose 8*y - 24*y + 147328 = 0. Let t = y - -16833. Is t a composite number?
False
Is ((-5834661)/(-14))/1 + 10/(-20) composite?
False
Let n(f) = -13827*f + 459. Is n(-2) a composite number?
True
Let t(a) = 4*a - 32. Let k be t(9). Suppose p + p = k*j - 8, 0 = -4*p - 2*j - 36. Let u(i) = -2*i**3 - 7*i**2 + 7*i - 15. Is u(p) a prime number?
False
Let u(t) = 1199*t**2 - 3*t + 3. Suppose -5 = 4*w - 3*z, 0 = 5*w - 5*z + z + 7. Let v be u(w). Suppose -v = -4*b - 195. Is b a prime number?
True
Let l(r) = -r**3 - 10*r**2 + 9*r - 19. Let g = 44 + -55. Let n be l(g). Suppose 3*p - 3*d - 141 = 1755, 5*p + n*d = 3184. Is p prime?
False
Let v be (-435644)/33*6/(-8). Suppose 0 = 112*o - 113*o + v. Is o composite?
False
Let k = 20393 + 35580. Is k a prime number?
False
Let u(z) = z**2 + 11*z**3 - z + z**2 - z**2 + 4. Suppose 27*v - 118 = -37. Is u(v) prime?
True
Let m be (4/(-2) - 42) + (-6 - -6). Let r = 47 + m. Suppose r*i = c + 1116, 2*i + c - 171 - 568 = 0. Is i a prime number?
False
Suppose -80 = -7*j - 9*j. Suppose -48 = 5*x + m, x - j*m = 5*x + 30. Is (-2628)/(-30) + (12/x)/2 prime?
False
Let j = -69 - -74. Is (-1)/(-7 + j - 594/(-298)) a prime number?
True
Suppose -6*w + 5*w = -5. Let n be w + (6/2)/(-1). Suppose -z + 507 = j - 5*z, -n*j = -4*z - 1030. Is j a composite number?
False
Let m be ((-9)/(-36))/((-2)/(-16)). Suppose -j = d - 1017, 2*d + 2*d + m*j - 4070 = 0. Is d composite?
True
Suppose -67 = -30*v - 37. Is v*45550/(-7 - -17) a composite number?
True
Suppose -s + 1011 = 5*v - 519, 5*v = 5*s + 1530. Let d = v + 5803. Is d a prime number?
False
Let c be (-2 - (3 + 1))/((-12)/1662). Suppose 3*s = 2*s - 2*v + c, 3291 = 4*s - 3*v. Let n = s - 532. Is n a composite number?
False
Let c = -737 + -391. Let t = -571 - c. Is t prime?
True
Let j(b) be the second derivative of 7381*b**4/12 + 7*b**3/3 - 13*b**2/2 - 164*b. Is j(1) a composite number?
True
Let x(b) = 885*b**2 + 5*b - 1. Let q be x(1). Let y be (4 - 0)/(4/(-482)). Let z = y + q. Is z a composite number?
True
Let t(m) = 13*m - 99. Let u be t(8). Suppose 29668 = -u*l + 9*l. Is l prime?
True
Let a = 1201193 + -643530. Is a prime?
True
Let y(b) = 677*b**2 - 5*b + 6. Let l(n) = 2032*n**2 - 15*n + 17. Let a(c) = 6*l(c) - 17*y(c). Is a(2) a composite number?
True
Suppose -12*h + 26*h + 28514 = 1250532. Is h a prime number?
Fals