e
Let r(d) be the second derivative of -d**6/144 - d**5/15 - d**4/4 - 5*d. Let o(b) be the third derivative of r(b). Is o(-6) prime?
False
Let f = -6142 + 15323. Is f prime?
True
Let d = -32013 + 45580. Is d a composite number?
False
Suppose -3*j + 2*g = -35731, g - 3*g = -4*j + 47642. Is j a composite number?
True
Suppose -6*t - t + 7315 = 0. Suppose 2*f + 0*f - 426 = -2*c, 0 = -5*f + 5*c + t. Is f composite?
False
Let x(u) = u - 2. Let l(b) = b - 1. Let p(v) = -4*l(v) + 5*x(v). Let y be p(3). Let n(z) = 4*z**2 - 6*z - 1. Is n(y) a composite number?
False
Suppose -4*w + 49 = 5*l, -3*w + 3 = -0*w - 3*l. Is (-4 + 2)/(w/(-69)) a prime number?
True
Let l(i) = 232*i**2 - i. Let d be l(1). Suppose 0 = g - 0*g - 203. Suppose 0 = 2*o - g - d. Is o composite?
True
Suppose 10*t - 11*t + 3746 = 3*h, 2*h = t + 2499. Is h a composite number?
False
Let s be 48/(-10)*(-460)/(-8). Let o = -191 - s. Is o a composite number?
True
Suppose -3434 = -7*d + 8025. Is d a composite number?
False
Let f be (-36)/(-16) - 2/8. Suppose -4*l + f*u = -474, -5*l + 598 = -u + 4*u. Is l a composite number?
True
Suppose -6*r = -r - 30. Suppose r*w + 19182 = 3*w. Is w/(-12) - 1/(-6) prime?
False
Suppose 22*b - 1451764 = -55974. Is b a prime number?
False
Let d(j) = 99*j + 19. Suppose 6*s = 2*s + 20. Let h(a) = -49*a - 10. Let y(x) = s*h(x) + 3*d(x). Is y(12) prime?
True
Let j be (-1 + 31*2)*-1. Suppose 0 = -6*s + 2*s - 5*v - 130, -3*s = v + 103. Let p = s - j. Is p composite?
True
Let q(o) = -5 + 2 + 11*o - 3*o**2 + 4*o**2 - 46. Is q(22) a composite number?
False
Let q = 64 - -57. Suppose -4*u + d - 4*d = -q, -4*u + 127 = -3*d. Is u prime?
True
Suppose 5*a = -3*u - 45, 2*a + 3*u - 9 = 6*a. Is 165 - (a/5 - 1/(-5)) composite?
True
Let t be (-4 - 1)*(3 - 4). Suppose -3*b - 6 = -5*u, t*u + b + 4*b = 30. Is u/2*(-184)/(-12) composite?
False
Suppose 5*w - 7*w = -4*s - 12, -12 = 4*s. Suppose w = y - 1, k - 4*y = y + 906. Is k a prime number?
True
Let i(d) = d**2 + d. Let j be i(2). Let h be ((-1359)/j)/((-7)/42). Let m = h - 880. Is m a prime number?
True
Is (93118/(-7))/(9/252*-4) a composite number?
True
Suppose -22*x + 486367 = -17455. Is x a composite number?
False
Let x = 1 + -1. Let s be 2/6*x/1. Let g(p) = -p**2 + 33. Is g(s) composite?
True
Let c(p) = -7*p - 222 + 129 - 2*p. Is c(-16) prime?
False
Let a(d) = d + 1. Let o(q) = -189*q - 10. Let v(w) = -3*a(w) - o(w). Is v(4) a prime number?
True
Let x = -18 + 17. Let s be (-1)/(x*3/6). Suppose -5*a + 447 = -s*n, -2*a + 134 = 5*n - 68. Is a prime?
False
Let o = -17 + 17. Suppose o = -5*p + 13 - 3. Suppose -67 = -p*s - 5. Is s a prime number?
True
Suppose -4*s + 8 = -12. Suppose -14080 = -5*c - s*f, -5*c + f + 9421 = -4671. Suppose 2*u - c = -4*v + 4*u, u - 2126 = -3*v. Is v composite?
True
Suppose 176 = -3*o - 247. Let f = -88 - o. Is f prime?
True
Let n(h) = -h**3 - 2*h**2 + h. Let z be n(0). Suppose z*s + 164 = s - 5*x, x = 3*s - 534. Is s prime?
True
Let p be (6 + -1025)/(-1 + 0). Suppose 190 - p = -s + 5*u, -5*s = -2*u - 4053. Is s a composite number?
False
Suppose -v = a - 519, -168 + 2244 = 4*a + 2*v. Is a prime?
False
Let i(g) be the third derivative of -199*g**4/8 + 31*g**3/6 - 14*g**2. Is i(-4) prime?
False
Suppose 3*w + 2*n + 5 = 3*n, -5*w + n = 11. Let r be 4 - (w - -5)/(-2). Suppose 8*t = r*t + 1437. Is t a prime number?
True
Let k(h) = h**2 - 8*h + 4. Let v be k(8). Suppose 2*j - 8129 = -v*f + 5*j, -2*f + 5*j + 4075 = 0. Suppose 375 = 5*d - f. Is d composite?
True
Suppose 0 = -3*h + 35 - 8. Suppose 0 = -4*o + 5*b - h, b - 5 = -4*o + 16. Suppose -2238 = -2*i - o*i. Is i composite?
False
Suppose -7 = -4*o + 2*o - f, f - 1 = 0. Let v be 11 + o - (1 - -3). Suppose -12*r + 422 = -v*r. Is r composite?
False
Let b = 215 - 31. Let i = -1 + 5. Suppose 0*x = i*x - b. Is x prime?
False
Let k = -1942 + 3677. Is k a composite number?
True
Let w be (((-35)/3)/(-7))/(25/45). Suppose 2*m - m = 0. Suppose 5*t + w*d - 1047 - 208 = m, 0 = -t - d + 251. Is t a prime number?
True
Suppose 33*i = 40*i + 28. Is (1 + (-450)/i)*(-506)/(-23) composite?
True
Let g = -25803 - -36998. Is g a prime number?
False
Let n(b) = 24*b**2 - 14*b - 47. Is n(-14) a composite number?
True
Let u(f) = 2*f**3 + f**2 + f - 1. Let m be u(1). Is (3 + m)/2 - -290 a composite number?
False
Suppose 17*y + 9395 = 22*y. Suppose 3*p + 280 = y. Is p a prime number?
False
Let c(z) = -1211*z + 17. Is c(-6) a prime number?
True
Suppose 4*c = -32047 + 81659. Is c composite?
True
Let l = 72 + -74. Is -2 + 2 - ((-2554)/(-1))/l composite?
False
Let a(z) be the first derivative of 5*z**4/4 - 2*z**3/3 - z**2 + 4*z - 1. Suppose -64*n + 117 = -25*n. Is a(n) a prime number?
False
Let q(w) = 11*w**2 - 12*w + 3. Let b be q(-14). Let c = b + 186. Is c composite?
True
Let x(l) be the second derivative of 40*l**4/3 - l**2/2 - 4*l. Let q be x(1). Suppose q = 4*m + 55. Is m composite?
True
Let u = -28 + 31. Suppose h + u*h - 2612 = 0. Is h composite?
False
Suppose -535 = -i + d, i + 3*d = -16 + 559. Let p = -122 + i. Is p a prime number?
False
Suppose 5*o + 11 = -5*j - 39, 3*o = 3*j + 24. Let y be (-78)/j*(3 + -30). Let k = y + 497. Is k a prime number?
True
Suppose -8*q + 120602 = -84014. Is q a composite number?
False
Let a(u) = u**3 - 4*u**2 + 3*u + 2. Let z be a(2). Suppose -m = -5*m - c - 38, z = -2*m + 5*c - 8. Let o(j) = -j**3 - 2*j**2 + 13*j + 21. Is o(m) composite?
True
Suppose -4*i + 781 = -4*x - 1747, 2*x + 2534 = 4*i. Is i prime?
False
Let p = 14 - 23. Let q be 1 - 3 - p - 2. Suppose 0 = u - 1, q*z - 746 = -u - 0*u. Is z a prime number?
True
Suppose -7068846 = -68*r - 2466266. Is r prime?
False
Let s(j) = 800*j + 129. Is s(22) a composite number?
False
Let r be (-6136)/(-11) - 30/(-165). Let a = r + -353. Is a a composite number?
True
Is (20854/(-3))/((-6)/9) composite?
False
Let g be 2/5 + (-1148)/(-5). Let p = -173 + 173. Suppose -5*t + g = -p*t. Is t composite?
True
Let z = -1 + 6. Suppose 30 = z*q - 3*t, q - 12 = 3*t + 6. Suppose -q*p + p = -410. Is p a prime number?
False
Suppose -8*t = 3*t - 176. Suppose -20*o + 1524 = -t*o. Is o prime?
False
Let s(w) = 78*w**2 + 11*w + 9. Is s(10) a prime number?
True
Let k be 3/((5/(-108))/(-5)). Let q = k - -1738. Suppose -q + 482 = -4*i. Is i a composite number?
True
Suppose 7*z + 4353 = 16764. Let v = 1664 + z. Is v prime?
False
Let c(n) = -4*n - 2*n**2 - n + 2*n - n - 2. Let q be c(-2). Is 235 + (1 + -3 - q) prime?
False
Suppose 3*z - 5*z + 4 = 0, -5*d - 1072 = 4*z. Let m = -53 - d. Is m a composite number?
False
Let y(u) = u**3 + 7*u**2 + 6*u + 5. Let b be y(-6). Let s = b + -5. Suppose 0 = 2*m + t - 64, s*m + 5*t + 43 = m. Is m composite?
True
Let d(m) be the first derivative of m**4/4 + 10*m**3/3 + m**2 + 13*m - 60. Is d(-6) composite?
True
Suppose -13812 = -3*t - 9*t. Is t composite?
False
Suppose 3*n + n = 1840. Let o be (-16)/(-5) + (-4)/20. Suppose -3*a = -3*r - 6*a + 282, -o*a + n = 5*r. Is r prime?
True
Suppose -16*a - 43*a + 1019107 = 0. Is a prime?
False
Let x = -7 + 5. Let q(f) be the third derivative of -f**4/4 + f**3/3 + 4*f**2. Is q(x) composite?
True
Let s = 7 - 6. Is ((-2)/4)/(s/(-134)) a prime number?
True
Suppose 0 = -3*w + m + 13, 0*w + 5*w + 5*m = 35. Is 2 - (-11)/(-5) - (-2916)/w composite?
True
Suppose -16*l + 263992 = 83496. Is l prime?
False
Is (733581/(-9) - 0)/(4 - 5) composite?
False
Let c(a) = a**3 - 15*a**2 + 15*a - 9. Let o be c(14). Suppose 2*x = -k - 0*k + 1079, o*k - x = 5439. Is k a prime number?
True
Suppose -2*r + w - 4 = -55, 0 = -5*r - 2*w + 114. Is 5272/r + (-12)/(-9) a composite number?
True
Suppose 2*z - 36 = 4*y - 2*z, z = -2*y - 3. Let b(a) = 2*a - 8. Let v be b(6). Is ((-37)/y)/1*v a prime number?
True
Suppose 17*q = -0*q + 47821. Is q composite?
True
Let u be (20/(-6))/((-2)/3) - 2. Is u + -2 - (-498 - 2)/2 a composite number?
False
Let a(d) = 34*d - 13. Let g be a(10). Suppose r + 3*u + g = 4*r, 5*r + u - 527 = 0. Is 1/(((-6)/r)/(-3)) a composite number?
False
Let z(d) = 12*d**2 + 5*d - 8. Let f be z(6). Let q = 1431 - f. Is q a prime number?
True
Let r(x) = 4 + x**2 + 11*x**2 + x**2 + 0 - 10*x. Let f be (57/12 + -2)*-4. Is r(f) composite?
True
Suppose 21*o = 11*o + 121970. Is o composite?
False
Is ((-21)/(-28))/((-18)/(-240168)) a composite number?
False
Let r = -11 + 13. Suppose 4