 -b**2 - 6*b. Let k be c(-7). Let u(a) be the third derivative of -3*a**4/8 - 4*a**3/3 + a**2. Is u(k) a composite number?
True
Suppose 3*f - t = 14557, -5*t + 3319 + 1544 = f. Is f a composite number?
True
Suppose 26*r - 3666 = 20*r. Is r composite?
True
Let i(j) = 22*j - 13. Is i(12) a composite number?
False
Suppose 0 = 2*x - 156 + 50. Is x a prime number?
True
Let p be ((-534)/5)/((-9)/30). Let t = p - 105. Is t composite?
False
Let n be (-391)/(-119) + 2/(-7). Is (n/3 - 4) + 116 a composite number?
False
Let a(h) = h**3 + 21*h**2 - 23*h + 38. Is a(-21) composite?
False
Suppose 11*d - 9*d - 106 = 0. Is d composite?
False
Is (6720 - 9)*(-1)/(-3) a composite number?
False
Let h(a) = 1 + a**2 + 4*a + 0*a - 2*a. Let t be h(-1). Suppose -4*z + 24 = -t*z. Is z prime?
False
Let q = -7 - -11. Suppose 5*k = 2*k. Suppose -5*g = -c - 113, k*c - 12 = q*c. Is g prime?
False
Let o be (3/(-4))/(5/(-20)). Suppose o*y = 84 + 27. Is y a prime number?
True
Let k(i) = i**3 - 5*i**2 - 8*i + 5. Let t = 7 + -5. Let m be (t/(-4))/((-4)/56). Is k(m) prime?
True
Suppose -4*f - n = -29 + 13, -13 = -5*f - 3*n. Let i(r) = 50*r + 7. Is i(f) a composite number?
False
Suppose -2*q + 421 - 39 = 0. Is q a composite number?
False
Suppose d - 5*n - 6 = -d, d + 3*n - 3 = 0. Suppose -12 = -d*s + 177. Suppose k - s = 2*h, -k = -5*k - 4*h + 192. Is k composite?
False
Suppose -3*f + 566 + 679 = 0. Suppose -9*k + f = -4*k. Is k composite?
False
Suppose -2 = 2*s - 136. Is s prime?
True
Let k = 60 + -5. Is k prime?
False
Suppose 0*y - 3540 = -4*y. Suppose -2*v - y = -5*v. Is v composite?
True
Let s be (-2 - (-9)/3)*4. Suppose l + a + s*a - 140 = 0, a + 110 = l. Is l a composite number?
True
Let n(r) be the first derivative of -23*r**2/2 + 3. Is n(-1) prime?
True
Let r(t) = -t**3 - 7*t**2 + 6*t - 11. Let q be r(-8). Let h(l) = -l + q*l + 6*l. Is h(1) a composite number?
True
Suppose 630 = 5*c - 1760. Is c prime?
False
Let x be (0 - -4)*84/16. Suppose 4*l - l = x. Is 2877/49 - (-2)/l a prime number?
True
Suppose 11 - 31 = -4*n. Suppose 0 = n*f - 0*f - 20. Suppose 319 = 7*i - 2*i + f*u, -3*i - 5*u + 181 = 0. Is i composite?
False
Let d = 60 + -35. Suppose s + 20 = 4*l + 3, 5*s + d = 0. Suppose -l*x - x + 140 = 0. Is x prime?
False
Suppose -59 - 3 = 2*y. Let h = y + 54. Is h a composite number?
False
Suppose o = -16 - 2. Let f = -9 + 17. Let l = f - o. Is l composite?
True
Let u be -3*(80/6)/(-4). Let z be (-8268)/(-30) + 4/u. Suppose -56 = 4*a - z. Is a a prime number?
False
Suppose -21 = -4*f + 19. Suppose 4*l + l = f. Suppose -l*t = -35 - 71. Is t a prime number?
True
Let c = 238 - 53. Is c a prime number?
False
Let b(q) = -20*q + 9. Let h be (-3)/(-6) - 15/2. Is b(h) prime?
True
Let o be (2735/(-10))/((-2)/4). Suppose 5*v = 4*h - o, -3*v = -2*h + 4*h - 301. Is h a prime number?
False
Let y be ((-6)/6)/(2/(-18)). Is 369 + (-6)/y*-3 composite?
True
Let j = 1166 - 723. Is j prime?
True
Let s = -7 + 11. Suppose s*g = -g + 70. Is g a prime number?
False
Let v(d) = 4*d**2 - 6*d + 3. Is v(6) a prime number?
False
Is (7 + -1604)/(0 + -1) prime?
True
Let f(t) = -t**3 + 6*t**2 + 8*t - 5. Let n be (2/4)/(4/56). Let l be f(n). Suppose 0 = o - 0*x - 4*x - 141, -l*o + 327 = x. Is o prime?
False
Let n be -3 + (3 - -2) + 1. Suppose 355 = 5*i - n*k, 2*i - 142 = -0*i + 2*k. Is i a prime number?
True
Let d = -12 + 22. Let u(z) be the second derivative of -z**4/12 + 19*z**3/6 - 11*z**2/2 + 7*z. Is u(d) a composite number?
False
Suppose 4*s = k - 4*k - 14, -4*k + 4*s = -28. Suppose -211 = -5*t + 2*t - 2*i, 0 = 3*t - 5*i - 197. Suppose y = -k*y + t. Is y prime?
True
Suppose -b - 1329 = -5*q, b + 15 = 11. Is q a prime number?
False
Suppose -378 = -3*f + 195. Let o = f - -8. Is o a prime number?
True
Let z(m) be the first derivative of m**6/120 - 7*m**5/60 + 5*m**4/24 + m**3/3 - m**2 - 1. Let o(c) be the second derivative of z(c). Is o(7) a composite number?
False
Let k(y) = -2*y**3 + 2*y**2 + y + 5. Let j(g) = g**2 + 3*g - 2. Let c(o) = o. Let n(v) = -2*c(v) - j(v). Let b be n(-6). Is k(b) a prime number?
False
Suppose 0 = p - 4*z + 1, 4*z = -z. Let r(v) = -146*v**3. Let y be r(p). Is (-1)/(-3) - y/(-3) prime?
False
Let i(k) = k**2 + 4*k + 3. Let b be i(-3). Let x be b*(2 - (-3)/(-2)). Let s(j) = -j**2 + j + 55. Is s(x) a prime number?
False
Let d = 390 + -188. Is d composite?
True
Let f be 58/15 + 12/90. Suppose j = -f*g + 155, 0 = 2*j + 5*g - 465 + 167. Is j a composite number?
False
Let k(b) = -4*b**3 + b + 1. Let p be k(-1). Let j(v) = -3*v + 1 + v**3 + p*v**2 + 2 - 2. Is j(-4) composite?
False
Let y(n) = -3*n**3 - 2*n**2 + 4. Is y(-5) composite?
True
Let t(g) = -5 + 3 + 4 + 5*g + 1. Suppose -a + 8 = -4*y, -5*a = -0*a - 5*y - 25. Is t(a) a composite number?
False
Is -4 + 4757 + (0 - -1) + -3 prime?
True
Let p = 1436 + -645. Is p a composite number?
True
Suppose 11 = -x + 2*x - p, 0 = -3*p + 12. Is x composite?
True
Let y be -22*4/((-16)/38). Let a = y + -130. Is a a prime number?
True
Suppose -2*s = 106 - 70. Suppose -3*y + 2*z - 100 = 0, 3*y + 5*z = 4*z - 94. Let o = s - y. Is o a composite number?
True
Suppose 0 = 5*t - 3277 - 3138. Is t a composite number?
False
Suppose b = 3*y + y - 1, 3*y + 18 = -3*b. Is (0 + y)/((-3)/267) prime?
True
Is 34 + (-1 - -2) + 0 composite?
True
Suppose -7*o = -10*o + 2361. Is o composite?
False
Let l(s) = 4*s**2 + 5*s + 8. Let b(y) = -y**2 + 1. Let r(t) = -5*b(t) - l(t). Is r(-11) a prime number?
True
Suppose -25 = 2*z - z. Is (110/z)/((-4)/20) a composite number?
True
Let y(g) = -g**3 + 11*g**2 - 6*g - 6. Suppose 0 = -2*q + 4*j + 32, -2*q + 2 + 9 = 3*j. Is y(q) composite?
True
Let m(g) = 12*g**2 + 3*g - 1. Suppose 4*z = -z - 30. Is m(z) a composite number?
True
Let q(c) = -27*c - 13. Is q(-6) composite?
False
Is 1 + 1931 + 2 - -3 composite?
True
Suppose 2*q - i - 1900 = -3*q, q - 366 = 3*i. Is q a prime number?
False
Suppose 0 = 11*n - 33993 - 16420. Is n prime?
True
Is (2/(-13) - 0) + (-14301)/(-91) a prime number?
True
Let d(p) = -6*p + 49. Let t(w) = -w + 10. Let i(x) = -2*d(x) + 11*t(x). Let v be i(-8). Suppose v*g + 3*u = 99 - 35, 0 = 4*g - 2*u - 84. Is g a prime number?
True
Suppose j = k - 26, 32 = 2*j - 3*j + 4*k. Let r(a) = a - 17. Let q be r(7). Let x = q - j. Is x composite?
True
Suppose 0 = -l + 132 - 26. Is l composite?
True
Suppose 0*s - 8*s + 2728 = 0. Is s a prime number?
False
Let t(k) be the third derivative of -k**5/60 - 11*k**4/24 - k**3/2 + 3*k**2. Is t(-10) prime?
True
Let r(o) = o**3 - 2*o**2 + 113. Is r(0) a composite number?
False
Let v = -411 - -154. Let a = -108 - v. Is a a composite number?
False
Let i = -8 - -8. Suppose 5*c - x - 153 = i, -5*x = 4*c - 0*x - 134. Is c composite?
False
Suppose -15 + 89 = s. Let w(f) = -20*f - 9. Let l be w(-6). Suppose 0*t + 4*t = 2*u - s, -5*t - l = -3*u. Is u a prime number?
True
Let i = 6 + -6. Is i + (616/4)/2 composite?
True
Let w be (-32)/(-6) - (-1)/(-3). Let j(q) = -q**2 + 7*q - 7. Let n be j(w). Suppose b - m = 14, 0 = -n*m + m + 10. Is b composite?
False
Suppose -3 = -a + 3. Suppose 0 = -4*u + a*u - 38. Let s = u + 30. Is s a composite number?
True
Let i(l) be the second derivative of -l**4/12 - l**3/2 + 3*l**2/2 - 3*l. Let b be i(-5). Is (298/(-6))/(b/21) a prime number?
True
Let n(k) be the third derivative of k**5/30 - k**4/6 - k**3/6 - 6*k**2. Is n(-6) a prime number?
False
Let b = -11 - -16. Suppose 5*v + b + 0 = 0. Is (-314)/v*(-2)/(-4) a prime number?
True
Let q = -1 - -3. Suppose 114 = x + q*x. Is x prime?
False
Suppose i + 2 = 4. Let u(r) = -11*r - 3*r - r**i - 7 + r. Is u(-5) composite?
True
Suppose 5*s + 8 = 18. Suppose s*t + 0*t = 3*w - 101, 3*w - 3*t - 96 = 0. Is w prime?
True
Let x = 4 + -3. Suppose 4*s - 1 = -5*g + x, 3*s + g - 7 = 0. Suppose -r = 3*y + r - 7, -3*y + 6 = s*r. Is y composite?
False
Let s(b) be the third derivative of 1/3*b**3 + 0*b + 0 - 1/24*b**4 + 1/15*b**5 + 2*b**2. Is s(5) a composite number?
False
Let f(s) = -2 + 1 + 0 + 16*s + 2. Is f(8) composite?
True
Let q = -9 - -13. Suppose 84 = q*w - 0*w. Is w a composite number?
True
Suppose 3*i = -2*f + 1452, 3*i + 0*f - 1455 = -3*f. Is i composite?
True
Let w = 539 - 173. Suppose -3*h = -w - 1089. Is h a composite number?
True
Let k = -174 + 467. Is k prime?
True
Let u(q) = 21*q - 8. Let n be u(4). Suppose 0 = -h -