e
Let g(n) be the second derivative of -n**5/20 + n**4/2 - 4*n**3/3 + 2*n**2 + 10*n. Let d be g(3). Let v(u) = u**3 + 2*u**2 + 2. Is v(d) prime?
True
Let y = 78 + -78. Is y - (-2)/((-2)/(-2591)) a prime number?
True
Suppose 3*d + 0 = 3. Suppose -8 = -4*c, 2*k + 1 + d = 3*c. Suppose -k*p - 3*p = -1655. Is p prime?
True
Is (-11031)/(3/(-1)) - (-6 - 0) a prime number?
False
Suppose -2*q + v = 3319, -3*q - 3*v - 1649 = -2*q. Let c = q - -2779. Is c a composite number?
True
Suppose -4*n = -7833 - 3923. Is n a composite number?
False
Let c = 15 + -13. Suppose c*r = -5*v, -v - 4*v = r. Suppose 2*j - 246 = -v*j. Is j composite?
True
Let q(s) = 4*s + 14. Let x(b) = 4*b + 15. Let i(z) = 6*q(z) - 5*x(z). Is i(3) composite?
True
Let s(m) = -4*m**3 - 2*m**2 - 2*m - 3. Let i(q) = 2*q + 11. Let a be i(-7). Let u be s(a). Suppose u - 1267 = -2*b. Is b a prime number?
True
Let n(d) = -7*d**2 + 8 + 39*d**2 - 13*d**2 + d - 15*d**2. Let j(m) = m**3 + 11*m**2 + 11*m + 15. Let l be j(-10). Is n(l) composite?
False
Suppose -12*c + 16*c = -33876. Let z = -5890 - c. Is z a composite number?
False
Let v(t) = -21*t**2 - 5. Let g(b) = 22*b**2 + b + 6. Let k(w) = -3*g(w) - 4*v(w). Let z be k(2). Let o = z - 37. Is o composite?
False
Let k be (7977/(-9))/(1/6). Is k/3*(3 + (-9)/2) a composite number?
False
Is -12*((-40)/12 + 3) + 73 a composite number?
True
Let a(w) be the second derivative of -19*w**3/6 - w**2/2 - w. Let h(l) = -56*l - 4. Let k(q) = -17*a(q) + 6*h(q). Is k(-8) prime?
True
Let z(f) = 27*f**3 - 2*f**2 - 2*f + 7. Is z(2) composite?
False
Suppose 36 = 3*y + 9. Suppose y*a - 4*a = -n + 19, 3*a = 5*n - 11. Suppose d + 4*u - 20 = -a*d, -u + 26 = 4*d. Is d a composite number?
False
Is 26/(-65) + (-3927)/(-5) a composite number?
True
Let p(f) = -270*f**3 - 2*f**2 - 3*f - 5. Suppose 0 = -4*o - 31 + 23. Is p(o) a composite number?
False
Let c = -12 + 13. Let w(g) = 1410*g**2 - g + 1. Let d be w(c). Suppose 0 = -5*i + d - 245. Is i a prime number?
True
Suppose 5*n - 154925 = 3*y, 10*y - 7*y = -5*n + 154925. Is n a composite number?
True
Let u = 1151 + -368. Let v = u - 327. Is -3 + v/(-3)*-1 composite?
False
Let w = -21 - -41. Suppose 6*d + w = 10*d. Suppose 335 = v + 2*f, d*f = -10*v + 5*v + 1680. Is v a prime number?
True
Is ((-12)/9)/((-60)/2156355) + -5 prime?
False
Let i(o) = -1027*o - 89. Is i(-6) a composite number?
False
Let q(n) = -811*n - 89. Is q(-6) a composite number?
True
Let f(q) be the third derivative of q**4/24 + q**3 - 3*q**2. Let o be f(-3). Is (o/6)/(3/894) a prime number?
True
Let n(f) = 3*f**3 - 5*f**2 - f - 75. Let s(l) = -4*l**3 + 6*l**2 + l + 74. Let r(j) = -5*n(j) - 4*s(j). Let a = -26 + 26. Is r(a) a composite number?
False
Let s = 14007 - 6710. Is s a prime number?
True
Let c(d) = 3*d**2 - 36*d - 65. Is c(-26) a prime number?
False
Let w = 2 + 10. Is (1/((-9)/(-42)))/(w/14346) a composite number?
True
Let h(t) be the third derivative of -89*t**4/24 + 16*t**3/3 - 10*t**2. Is h(-15) a prime number?
True
Let h(v) = -6*v + 5. Let c be 5/(4/((-16)/(-10))). Suppose 6 = -2*s - 4*g, -c*s - 13 = s + 2*g. Is h(s) a prime number?
False
Suppose -14*j - 220 = -16*j. Suppose -5*g + 715 - j = 0. Is g composite?
True
Is (38169 + -6)*(-5)/(-15) a composite number?
False
Let b = 2790 + -1407. Suppose -3*v + 6*z = 3*z + 1017, 4*v + 5*z + b = 0. Let f = 785 + v. Is f composite?
False
Suppose 7*i - 30822 = 4*i - 5*v, i - v - 10282 = 0. Is i composite?
True
Let v(m) = -m**3 + 39*m**2 + 88*m - 118. Is v(39) composite?
True
Suppose 7*u = 3*j + 9*u - 12, -5*u - 15 = 0. Is j/9 + (-1669)/(-3) prime?
True
Let i(z) be the first derivative of z**3/3 - 2*z**2 + 9*z - 3. Let d be i(-13). Suppose -d = -0*n - 2*n. Is n a prime number?
False
Suppose -s + 9688 = -5869. Is s prime?
False
Let t(c) = 36*c**2 - c + 3. Is t(2) prime?
False
Is 6 - ((-283159)/7 + (-42)/(-147)) a composite number?
True
Let z = -9909 + 31686. Is z/56 - 2/(-16) prime?
True
Let i(g) = -2*g**3 - 2. Let b be i(2). Let s be (-6284)/(-6) + 6/b. Is (-4)/7 + s/7 composite?
False
Suppose k = -3*j + 10702, -3*j - 10727 = -6*j + 4*k. Is j a prime number?
False
Let q(z) = -6*z - 46. Let h be q(-8). Suppose -b + 2229 = h*b. Is b composite?
False
Is 15/(360/19904) + (-2)/6 prime?
True
Let x(k) be the first derivative of 1/3*k**3 + 2*k - 4 + 2*k**2. Is x(7) a composite number?
False
Let a(d) = 3*d - 9. Let l be a(7). Suppose -3*g + 1102 = v, 4*g + 8 + l = 0. Is v composite?
False
Suppose 5*p + 2*c - 247107 = 0, -3*p - 59603 = -4*c - 207862. Is p a prime number?
False
Suppose 0*n = -n. Suppose v - c = -0*v + 192, 3*c = -4*v + 761. Suppose n = -3*j + 58 + v. Is j a prime number?
True
Is 239*(144/6 - 1) a prime number?
False
Suppose -102*a + 30*a + 998856 = 0. Is a a composite number?
False
Suppose -27 = -4*j + 3*d, 0*j - 25 = -5*j - 5*d. Suppose o - j = 365. Is o a composite number?
True
Let j(g) = -g**3 + 9*g**2 - 18*g + 9. Let u be j(8). Let w = u + 81. Is w composite?
True
Let o = -21 - -26. Suppose o*n - 5297 = -4*f, 2*f - 1082 = -5*n + 4219. Is n a composite number?
False
Let s(i) = -i + 277. Is s(26) a prime number?
True
Let d(f) = -10*f - 2*f**3 - 6*f**3 - 12*f**2 + 7*f**3 + 11. Is d(-12) a composite number?
False
Let w = -804 + 1220. Let v = w - 296. Suppose f = v + 1. Is f composite?
True
Let a = -51 - -53. Suppose a*d - 3394 = -2*f - 90, -d = 5*f - 8256. Is f a composite number?
True
Let t(z) = 55*z**2 + 3*z + 1. Suppose q - 14*q = 65. Is t(q) composite?
False
Suppose 4*b + 24 = 4*c, -c + 3*b + 11 = -5*c. Is -2*1/c*(-21006)/36 prime?
False
Let k = 41823 + -29194. Is k prime?
False
Let d(b) = -3*b + 1. Let v be d(1). Is ((-8 - v) + 5)*(-469)/1 a prime number?
False
Suppose -j + 2*j - 3 = 0. Let t = -240 + j. Is ((-5)/15)/(1/t) prime?
True
Let v(l) = 20*l**2 + 10*l + 1. Is v(-9) a prime number?
True
Let y(s) = 44*s**3 - 2*s**2 - 5. Let k(a) = a**3 - a - 1. Let t(p) = -4*k(p) + y(p). Is t(3) composite?
True
Let o(j) = 48*j**2 + 6*j + 1. Is o(-6) composite?
False
Let l be ((-2928)/14)/(4*5/140). Let b = -545 - l. Is b a prime number?
True
Suppose 0 = 11*i - 6*i. Let u be (-11)/(-5) + (-3)/15. Suppose o = -u*s + 29, 0*o - 2*o - 5*s + 54 = i. Is o a composite number?
False
Let n(d) = 109*d**2 - 11*d + 17. Let m = 64 - 71. Is n(m) prime?
False
Suppose 3*q + 1209 = -0*q. Let o = q - -950. Is o a composite number?
False
Suppose -25 = -3*w - 5*f, 3*f + 20 - 6 = 4*w. Suppose -w*j + 68 = 13. Is j a composite number?
False
Let r(d) = -20*d + 11. Let o(l) = l - 13. Suppose v - 2*v = -7. Let x be o(v). Is r(x) a prime number?
True
Let v(h) = 4*h + 9. Let r be v(-6). Let c be 2525/r + 1/3. Let s = -85 - c. Is s a prime number?
True
Suppose 48 = -2*j - 38. Let i = j - -234. Is i a prime number?
True
Suppose -2*t + 844 = 2*t. Suppose 5*b = -41 + t. Is b composite?
True
Let y = 187 + 93. Let s be 77/3*3 - -2. Suppose -3*d + y - s = 0. Is d composite?
False
Let b = 1085 + -1026. Is b composite?
False
Let j be (1/(-1)*3)/(-1). Suppose k - l = 636, -k + 0*k = -j*l - 646. Is k a composite number?
False
Suppose 5*b = v - 2*v + 3227, 0 = 5*v - 5*b - 16255. Is v composite?
True
Let z = 16 + -19. Let s be z/((-5)/5) - -1. Suppose -4*x = -8*x + 16, 2*m - s*x = 282. Is m prime?
True
Let a = -108 + 111. Let d(w) = 24*w**2 - 4*w - 5. Let v be d(-4). Suppose -a*u + v = 50. Is u a prime number?
False
Let m = 26 + -30. Is -1 + (-19 + 1)*m a prime number?
True
Suppose 4*g + 20 = 0, 0*f + g = 5*f - 50. Let z = -5 - -8. Suppose -z*y = -f, 0 = -3*o - 3*y + 77 - 11. Is o composite?
False
Is 21 + -14 + 6071*(-3 + 5) a composite number?
False
Suppose -123*o + 5*l - 36133 = -125*o, 0 = -3*o + 3*l + 54168. Is o a composite number?
False
Suppose -224 = -2*k + 122. Let w = k - 90. Is w a composite number?
False
Is (-7)/49 + 332592/56 a composite number?
False
Let n(x) = -4*x - 1. Let j be n(-1). Suppose 23 = j*t + 5. Suppose -3*g + t*g = 39. Is g a composite number?
False
Let h(o) = 114*o - 23. Let u be ((-8)/10)/((-6)/15). Suppose -4*x + 28 = -4*b, 4*x - u*x + 2*b = 18. Is h(x) prime?
False
Suppose -295*k + 279*k + 642256 = 0. Is k a prime number?
False
Suppose 3*d + 44 = -4*n - 9, 4*n + 88 = 4*d. Let h = n - -6. Let a(y) = -y**3 - 9*y**2 + 3*y - 4. Is a(h) prime?
False
Let c = -534 + 1075. Let a = c - 383. Is a a composite number?
True
Let w(r