(g) be the third derivative of 5*g**4/24 - 5*g**3/6 - 3*g**2. Is f(4) composite?
True
Let v(l) = -l**3 + 8*l**2 + 4*l + 7. Let a be v(6). Suppose 2*w + m = a, -5*w + w - 4*m + 208 = 0. Is w prime?
False
Let s(m) = -1. Let g(c) = 13*c - 2. Let q(b) = -g(b) + 3*s(b). Is q(-12) a composite number?
True
Let x be (0 - (-6)/2)*-81. Let s = 112 - x. Is s prime?
False
Suppose -4*y - 4*i = -92, -y + 3*y + i = 44. Suppose -4*k + y = 5. Suppose 2*q - 28 = 4*o + 10, 2*o - 86 = -k*q. Is q prime?
False
Let v(p) = 3*p**2 - 22*p - 29. Is v(22) composite?
True
Let c(y) = 22*y**3 - y. Suppose 1 = 2*o - 3. Suppose 3*h - o*n = -n, 5*h + 2*n - 11 = 0. Is c(h) composite?
True
Let n = 22 - 1. Is n a prime number?
False
Let s = 7 - 10. Let f = 3 + s. Is (f + 1)/(1/11) composite?
False
Suppose -3*m = -6*m + 5079. Is m a composite number?
False
Let n = -199 - -410. Is n a prime number?
True
Let x = 2 - 2. Let d(q) = q - 171. Let u be d(x). Is u/(-15) - (-2)/(-5) a prime number?
True
Let a = 15 - -17. Suppose 0 = -4*g - a + 408. Is g composite?
True
Let r(w) = 10*w**3 + 2*w**2 + 3*w - 5. Is r(2) a composite number?
False
Let r = 232 - 113. Is r composite?
True
Suppose -3*i = -3*p - 4*i + 366, p + i = 124. Is p a prime number?
False
Suppose 5*x - 2*c = 5221, 4*x - 4485 + 310 = c. Is x composite?
True
Let m(q) = -q - 1. Let r be m(-2). Is (21/6)/r*26 a composite number?
True
Suppose -2*j - j + 2103 = 0. Is j composite?
False
Let s(f) = f**2 - f - 5. Is s(-7) a composite number?
True
Suppose -2*v - 3 = -3*v + g, -2*v - 4*g = -18. Let o be (v + -1)/((-8)/(-4)). Suppose -3*c - 4*h = -79, 0*c - o*h = -2*c + 34. Is c prime?
False
Suppose -37 = -y + 25. Is y prime?
False
Suppose 3*b = 2*w + 5, -3*b = 5*w - 12 - 28. Suppose -180 = -0*z - 5*z - w*p, -2*p + 2 = 0. Is z prime?
False
Suppose 0 = 3*k - 4*q - 2963, -3*q = -3*k - 4*q + 2983. Is k prime?
False
Is -4 + 5 + -2 - (3 - 755) prime?
True
Is 1830/9 + 6/(-18) a composite number?
True
Is (-4)/(-1) - (-11739)/13 composite?
False
Suppose 9*y - 6*y - 51 = 0. Is (33/1)/3*y prime?
False
Suppose s + 4*z - 20 = 3*z, s - 17 = 2*z. Is s a composite number?
False
Suppose 8 = -5*r - 7. Let m(b) = -116*b + 7. Is m(r) composite?
True
Let q = -10 - -21. Is q a composite number?
False
Let j = -382 + 559. Is j composite?
True
Suppose -4*a - k + 720 = 0, a + 0*k - 175 = k. Let w(l) = l - 4. Let y be w(7). Suppose 2*m + 4*t = -0*t + 122, 0 = y*m + 5*t - a. Is m prime?
True
Let d = -44 + 123. Is d prime?
True
Let g(x) = -x**3 + 11*x**2 - x + 5. Let f be g(5). Let y(q) = -3*q**2 + 4*q - 2. Let j be y(-5). Let c = j + f. Is c a prime number?
True
Suppose 0 = -7*o + 3*o + 8. Let k be (17/2)/(o/4). Let l = k - 11. Is l a prime number?
False
Suppose -5*z + 4*a - 564 = -0*a, 244 = -2*z - 3*a. Let k = z + 171. Is k a prime number?
False
Suppose 3*x - 5*t = 257, -2*x - 6*t = -t - 138. Is x a composite number?
False
Let w(q) = -2*q**3 + 3*q**2 - q - 3. Let z(c) = -c**3 + c**2 + 1. Let b(d) = w(d) - 3*z(d). Let p be b(0). Is 15*-7*2/p prime?
False
Let u = 124 - 51. Let t = u + 54. Is t a composite number?
False
Let n be (-1 - 53)/((-5)/5). Let w = n + -32. Is w a composite number?
True
Let n(d) = 96*d**3 + d**2 + d - 1. Let c be n(1). Let q = 66 - c. Let m = q + 66. Is m a composite number?
True
Let w = -771 - -1102. Is w a prime number?
True
Let f = -6 - -6. Suppose 2*i = -f*i + 428. Is i a composite number?
True
Suppose 0 = a - 14 + 1. Suppose 3*o + a = -17. Is (396/(-30))/(4/o) composite?
True
Let z be (-2)/(-2) + -1 + 4. Suppose 5*s - z*s - 79 = 0. Is s composite?
False
Let u(x) = 417*x**2 + 4*x - 4. Let j be u(3). Suppose -5*q + j = -704. Let t = q + -466. Is t a prime number?
False
Let i be 2 - 1 - (3 - 0). Let b(t) = 7*t**3 + 11*t**2 - 21*t - 19. Let a(g) = -4*g**3 - 5*g**2 + 10*g + 9. Let n(z) = 13*a(z) + 6*b(z). Is n(i) composite?
False
Let y = 204 - 19. Is y a prime number?
False
Let q(d) = d + 7. Let p be q(-3). Suppose 0 = p*c - 2*c - 34. Suppose -2*i + 3*k = 8*k - 31, i = 4*k - c. Is i a composite number?
False
Is 457 + (-6 - -6)*2/4 prime?
True
Let m(v) = 5*v**3 - 3*v - 1. Let p(f) be the first derivative of -21*f**4/4 + f**3/3 + 13*f**2/2 + 5*f + 3. Let g(i) = 9*m(i) + 2*p(i). Is g(3) composite?
False
Suppose -3*f + 2 = -u, -4*u - 8 = 2*f + 2*f. Suppose 4*o - 5*o - 232 = -3*r, r - 5*o - 82 = f. Is r composite?
True
Let j be (-9)/(-6) - (-92)/(-8). Let h be 30/(-4)*j/15. Suppose -h*z - g + 36 = -4*z, -4*z + 4*g + 152 = 0. Is z composite?
False
Let y(w) = 42*w - 9. Is y(5) a prime number?
False
Let m = -375 - -1366. Is m a composite number?
False
Suppose 0 = 5*d - 4*d - 4. Suppose 31 = -5*y - o + 2, 3*y - 1 = d*o. Let a(x) = -26*x - 3. Is a(y) a composite number?
False
Let s = -203 - -447. Let y = s + -131. Is y a prime number?
True
Is 5/(-90)*4 - 12442/(-18) composite?
False
Suppose -2*n + 901 = 4*y - 7*y, -3*n + y + 1348 = 0. Is n a prime number?
True
Let k(z) = -z**2 - 2*z - 1. Let v be k(-1). Let m(y) = -y**3 - y + 119. Is m(v) prime?
False
Let o(u) = 36*u + 3. Is o(8) a prime number?
False
Suppose 0*q - 5*q = -10, -4*q = 4*x - 96. Is x prime?
False
Suppose m + 9 = -0*m + 3*c, -15 = 3*m + 3*c. Let z(s) = 3*s**2 - 7*s - 11. Is z(m) a prime number?
True
Let f(q) be the second derivative of -q**5/20 + 7*q**4/12 + 3*q**3/2 - q. Let i be f(8). Is ((-30)/i)/((-6)/40) a composite number?
True
Let b be 2/2*32/4. Let n be 37/((-14)/b + 2). Suppose -2*r - 2*r = -n. Is r a composite number?
False
Suppose 5*j - u = -3*u + 31, 2*j + u = 13. Suppose -j*n = -665 - 290. Is n a prime number?
True
Suppose -2*w - 2*j + 3692 = 0, 1701 + 3843 = 3*w - 3*j. Is w composite?
False
Let q(i) be the second derivative of -i**8/112 - i**5/120 + i**4/12 - 2*i. Let u(t) be the third derivative of q(t). Is u(-1) a prime number?
True
Let l(q) = 4*q**3 + 4*q**2 + 1. Let b = 42 - 30. Let h(k) = -k**2 + 12*k + 3. Let d be h(b). Is l(d) composite?
True
Let d = 2597 - 1304. Is d prime?
False
Let c be 65/(-5) + (-6)/(-3). Let x(k) = k**3 + 11*k**2 - 4*k + 15. Is x(c) prime?
True
Let w = 9 + 31. Suppose 3*n = 65 + w. Is n prime?
False
Suppose -3*i = -1 - 1397. Let x be 7708/(-28) + 6/21. Let p = i + x. Is p prime?
True
Let d = 16 - 22. Let m be (d + 2)*235/(-4). Suppose 2*n - m = -3*n. Is n prime?
True
Suppose -4*y + 0*y = -120. Let d = y - 15. Is d composite?
True
Is 9752/24 + (-6)/(-9) composite?
True
Let p(n) = -78*n - 31. Is p(-10) a composite number?
True
Let g be -11 + 6/(9/3). Let f = 6 - g. Suppose -f = -n + 32. Is n composite?
False
Let n(s) = -s**3 + 10*s**2 + 7*s + 11. Let d be n(9). Let w = -100 + d. Is w composite?
True
Suppose 0 = 4*k - 2*k - 4*d + 24, -3*d + 13 = k. Is (-1*322/k)/1 a prime number?
False
Let m(r) = -r**3 - 6*r**2 + 6*r - 4. Let i = 5 + -12. Let u be m(i). Suppose u*c = 98 + 13. Is c prime?
True
Suppose 3*m = -m + 8. Suppose 0*d = m*d - 522. Suppose -3*l = -6*l + d. Is l a prime number?
False
Let k = 49 - 77. Let a = k - -62. Is a composite?
True
Suppose 10*f + 130 = 15*f. Is f a composite number?
True
Let l = 5 - 3. Let i be l/(-3)*(5 + -2). Is 1*(27 - (-4)/i) a prime number?
False
Let i = 54 - -169. Is i composite?
False
Let m be -3 - (-16*1 - -1). Suppose 0 = 2*p - 106 + m. Is p composite?
False
Suppose -5*q - u + 7641 = 0, u + 4591 = 6*q - 3*q. Is q a prime number?
False
Let q(b) be the first derivative of -33*b**2/2 + 15*b + 3. Let c be q(10). Is (-1)/(-4) + c/(-4) composite?
False
Suppose 0 = 11*t - 406 - 5677. Is t a composite number?
True
Suppose 4*d - 38 = 2. Is (-815)/d*1*-2 composite?
False
Let y(v) = v**3 + 4*v**2 - 5*v + 3. Let f be y(-5). Let g(u) = u**2 - 9*u - 17. Let k be g(10). Is k*(-2 + f + -2) composite?
False
Let w = -626 + 1375. Is w a composite number?
True
Suppose 5*z - 2822 - 2933 = 0. Is z prime?
True
Let k = 38 + -7. Is k prime?
True
Suppose 8*m = 10*m - 4. Suppose -3*f - 1 + 2 = -4*s, -2*f + 16 = 5*s. Is s*17 + (1 - m) composite?
True
Suppose 56 = -3*l + l. Is 3/(-7) + (-2448)/l a prime number?
False
Suppose 269 = -0*n + 4*n - 3*s, -n + 2*s = -61. Is n composite?
False
Let n = -4 + 7. Let l = 45 + -79. Let m = n - l. Is m prime?
True
Suppose 7*m - 4*m = -39. Let r = 28 + m. Is r composite?
True
Suppose -100 - 24 = -4*j. Suppose 0 = -0*n - n + j. Is n a prime number?
True
Suppose -3*c - 3 = -9. Suppose 24 = w + c*j, 5*