e?
True
Let a(k) be the first derivative of k**3/3 + k**2/2 + 4. Let n be a(0). Suppose -35 = -n*w - w. Is w a prime number?
False
Let s = 465 - 218. Is s composite?
True
Suppose 5 = -v + 2*v. Suppose -22 = v*s - 207. Is s a prime number?
True
Suppose 3*f + 1 = 7. Suppose 0*y + 2*y + 5*p = 123, f*p = y - 84. Is y composite?
True
Let i = 425 - -636. Is i a composite number?
False
Suppose 4*d + 10 + 14 = -3*r, 0 = 4*d - r + 8. Let o(f) be the first derivative of -9*f**2 - 3*f + 4. Is o(d) composite?
True
Let k be (-10)/35 - 9/(-7). Let m be (231/(-2))/(k/(-2)). Suppose n - 4*n = -m. Is n a prime number?
False
Let v(i) = 21*i**3 + 5*i**2 + 16*i - 41. Is v(7) a composite number?
True
Is (-546)/(-15) + (-21)/(-35) prime?
True
Is (-25083)/(-45) + 2/(-5) a composite number?
False
Let a(c) = -736*c + 59. Is a(-20) composite?
False
Let i(n) = -n - 4. Let g be i(-4). Suppose 0 = -5*m - 3*v + v + 75, -4*m - 2*v + 62 = g. Is m composite?
False
Suppose -5*j + 524 = 2*x - 733, -4*j - 20 = 0. Is x prime?
True
Let w = -8 - -10. Suppose t + 395 = w*t. Is t a composite number?
True
Let c(k) = 7*k - 4. Let a be c(4). Let h be -4*2/(a/249). Let b = h - -136. Is b prime?
True
Suppose 0 = -2*o - 2*o + 2*b + 39874, 5*o + 2*b - 49847 = 0. Is o prime?
False
Is (5013/(-27))/(2/(-18)) a prime number?
False
Let i(v) = 70*v**2 + v + 2. Is i(3) prime?
False
Suppose a + 2*a - 627 = 0. Is a prime?
False
Suppose 2*d - 5*r = 772, -4*r + r - 1911 = -5*d. Is d a composite number?
True
Suppose 3*l - 3 - 13 = 2*h, 0 = 5*h + 10. Let k = -12 - -15. Suppose -b - 4*b = 3*j - 181, -l*b = k*j - 146. Is b composite?
True
Let u be (-3)/6 + (-562)/(-4). Let a = 369 - u. Suppose -2*t + 61 = -a. Is t a prime number?
False
Let j = 79 + -53. Is j a prime number?
False
Suppose 0 = 2*q - 7*q - 2305. Let z = -328 - q. Is z composite?
True
Suppose -653 = -4*t + 159. Is t prime?
False
Let c(x) = 0 - 18*x + 1 + 18*x - 36*x. Is c(-1) a prime number?
True
Let x be 0 + -6 + 3 + -3. Let c = -3 - x. Suppose c*g = 4*g - 7. Is g composite?
False
Suppose 813 = 4*t - 767. Is t composite?
True
Let g(y) = y**3 - 6*y**2 + 8*y + 20. Is g(9) a prime number?
False
Is -123*3/(18/(-4)) composite?
True
Let q = -197 - -336. Suppose -3*c + q = -956. Is c prime?
False
Let b(y) be the second derivative of -y**4/12 - 2*y**3 - y**2/2 - 5*y. Is b(-6) a prime number?
False
Let b(z) = -11*z. Suppose 5*g = -0*g. Suppose g = -2*j - 2*j - 20. Is b(j) a composite number?
True
Suppose 5*w - 7 = -2*u, -u + 4*u = -2*w - 6. Suppose -x - w = 5. Let y(o) = -o**3 - 7*o**2 - 7*o + 7. Is y(x) a prime number?
True
Let f be 2/(-7) + (-72)/(-7). Suppose 4 = 4*y - 3*h, 0 = -7*y + 2*y - 2*h + 5. Let g = y + f. Is g a prime number?
True
Let r = 82 - 5. Is r composite?
True
Let q be 20/(2 - 32/20). Let o = 81 - q. Is o a composite number?
False
Let g(i) = i**2 + 8*i - 2. Let w be g(-8). Let u be (-5)/w*(-24)/(-20). Suppose -4*l - x = -303, -2*l + 169 = -u*x - 0*x. Is l prime?
False
Suppose 5*g - 11 - 39 = 0. Suppose -v - g = -6*v. Suppose v*d - 7 = 7. Is d composite?
False
Suppose -4*c = c + 3*t - 12, 4*t = c - 7. Suppose 0 = k - c*k - 2. Is 1 + 0 + (77 - k) a composite number?
False
Let o(m) = m**2 + 2*m - 8. Let s(u) = u**3 + 8*u**2 - 2*u - 9. Let c be s(-8). Is o(c) composite?
True
Let x = -404 + 591. Is x prime?
False
Let a be (-4)/(-2) - (1 - -1). Suppose a = -4*d - j + 26, 2*j = 3*j - 2. Is d/(-3)*(-46)/4 a prime number?
True
Suppose -4*m + 1080 - 316 = 0. Is m a prime number?
True
Let w(u) = -u**3 + 5*u**2 + 5*u. Let f be w(6). Let g be 62/4 - 1/(-2). Let l = f + g. Is l a composite number?
True
Suppose -65 = j - 231. Suppose 0 = l + 3*r + 11 - j, r - 300 = -2*l. Is l a composite number?
False
Suppose 3*a = -413 + 1664. Suppose 6*i = 3*i + a. Is i a composite number?
False
Let r be 2/4 - (-7)/(-2). Let y(b) = 4 + 6*b - b - 129*b**2 + 131*b**2. Is y(r) composite?
False
Suppose 6*q + 1627 = 4*o + q, 4*q = -3*o + 1197. Is o a composite number?
True
Let j = 4069 - 556. Is j a prime number?
False
Suppose 3 = r, -11 = -s - 2*r - 227. Let h = s - -733. Is h composite?
True
Let u = 28 + -25. Suppose -2*r + 238 = l, -u*l + 472 = 2*r + 2*r. Is r prime?
False
Suppose 145 + 137 = 2*w. Is w prime?
False
Let j = 0 + -4. Let o(u) = 22*u**2 - 6*u - 5. Is o(j) composite?
True
Let f(y) = -552*y**3 - y**2 - y - 1. Let b be f(-1). Let c = -318 + b. Is c composite?
False
Let z = -67 + 163. Let s = z - 62. Is s a prime number?
False
Suppose -5*m - 5*z = -155, 0 = -m - 0*m + 5*z + 31. Is m a composite number?
False
Let x(c) be the third derivative of -c**8/6720 - c**7/630 - c**6/720 - c**5/120 - c**4/8 - c**2. Let u(y) be the second derivative of x(y). Is u(-6) prime?
False
Let t(u) = -u**3 + 2*u + 3. Let y be t(-2). Let h(k) = -k**3 + 10*k**2 - 6*k - 8. Is h(y) a composite number?
False
Suppose -63 - 201 = 4*y - 4*m, 4*y + 2*m = -252. Let t = y - -123. Is t prime?
True
Let f = 3035 - 1234. Is f a prime number?
True
Let w(i) = 6*i**2 + 2*i + 1. Let c be w(-1). Suppose h = c*h - 524. Is h a prime number?
True
Let y be 2*((-1685)/(-2))/5. Let c = y - 231. Is c a prime number?
False
Let z = 45 - -290. Is z composite?
True
Let q(b) be the second derivative of b**4/3 - b**3/6 - b. Let d be q(-1). Suppose -3*a - d*t = -302, -5*a + 3*t + 530 = 6*t. Is a a prime number?
True
Suppose 0 = -21*h + 16*h + 785. Is h a prime number?
True
Suppose -3*c + 4*n - 309 = 0, c - 8*n + 3*n + 114 = 0. Let r = c + 157. Is r a prime number?
False
Suppose 3*m + 2279 = -0*d + 5*d, -461 = -d - 2*m. Is d a composite number?
False
Let k(f) = 4*f**3 + 5*f**2 + 7*f - 9. Is k(7) a prime number?
True
Let p(a) = 73*a + 3. Suppose h = -3*q - 0*h + 12, -12 = -3*q - 5*h. Is p(q) a composite number?
True
Let d = 393 + -140. Is d a composite number?
True
Let u(q) = q**2 - 3*q. Let j be u(3). Let d = -2 + j. Is ((-3)/d)/((-2)/(-4)) a composite number?
False
Let j(u) = -u**2 + 2*u - 2. Let q be j(4). Let y be (-4)/q*(3 - -52). Suppose -3*c = 5*l - 93, 3*l - 5*c - y = 61. Is l a prime number?
False
Let o = -2 + 5. Let h(k) = -44*k + 4. Let p be h(-6). Suppose -o*m - m = -p. Is m composite?
False
Suppose 2*u + 2*u - 28 = 0. Let q(n) = -4 - n**2 + 0 + u*n + 3*n. Is q(5) a composite number?
True
Suppose 3*l = -2*l + 970. Is l a composite number?
True
Let u(f) = 3*f**3 - 5*f**2 + 3*f + 3. Let a be u(3). Suppose -24 = -2*q + 3*g + 5, -3*q + a = -3*g. Is q a composite number?
False
Is 1/(2/4 + 2511/(-5034)) a composite number?
False
Let g be 6 + (-2)/(2 - 0). Suppose 0 = -i + g*i - 148. Is i prime?
True
Let n be (10 + -8)*6/4. Suppose t + n*a = 6*t - 995, 0 = -a. Is t a composite number?
False
Let u(x) = 7*x**3 - 5*x - 45. Let l(m) = -15*m**3 + 11*m + 91. Let g(t) = -6*l(t) - 13*u(t). Is g(0) prime?
False
Let x = 168 + -113. Is x a prime number?
False
Let q(r) = 11*r + 4. Is q(3) composite?
False
Suppose -798 = 12*j - 14*j. Suppose -j = -3*p - 3*d + d, -3*d = -3*p + 384. Is p prime?
True
Let w(x) = -7*x**3 + x**2 + 4*x + 3. Let j be 2 - (-2 + (-1 - -7)). Is w(j) a composite number?
True
Let a be (-2)/(-5) - (-39)/15. Let i = a + 31. Is i composite?
True
Let d(h) = -h**2 + 4*h + 3. Let i be d(5). Let w be ((-12)/(-15))/(i/15). Is (-77)/(-6) + (-1)/w composite?
False
Suppose 0 = -2*j + 2*d + 1306, 2*d - d = -j + 653. Is j a composite number?
False
Suppose 5*l + 7038 = 1083. Let t = l + 1744. Is t prime?
False
Suppose -3*k + 184 = k. Is k a composite number?
True
Suppose -o + 2 + 4 = 0. Let n(c) = c**2 - 5*c + 7. Is n(o) prime?
True
Let x(p) = -17*p + 5. Let k(u) = 69*u - 19. Let m(n) = n**3 + 3*n**2 - 3*n + 2. Let d be m(-4). Let i(b) = d*k(b) - 9*x(b). Is i(8) a prime number?
True
Let b be (4/6)/(1/(-6)). Is (-526)/b*24/12 a prime number?
True
Let p(z) = -z**3 - 3*z**2 - z + 2. Let t(k) = -k**3 + k**2 - 1. Let x(g) = p(g) + 2*t(g). Let y be x(-1). Suppose y*v = -0*v + 111. Is v a prime number?
True
Suppose 2931 = 3*i - j, 0*i = i - 5*j - 977. Is i a prime number?
True
Is 11/(33/468) - -1 a composite number?
False
Let k = -8 + 12. Let i be (2/(-4))/((-2)/k). Let v(c) = 50*c**3 - 2*c**2 + 1. Is v(i) composite?
True
Suppose -5*w + 4*x = -1586, 3*x - 322 - 953 = -4*w. Let d = 731 - w. Is d composite?
True
Let z be ((-2)/(-3))/((-14)/(-63)). Suppose -z*x + 3*r + 187 = r, -81 = -x - 4*r. Is x composite?
True
Let