?
True
Suppose 5*z - 5*t = 95, -2*t - 151 = -5*z - 53. Suppose z = -0*q + 4*q. Suppose 0 = q*y - 4*k - 2809, -4*y - 3*k + 3383 - 1111 = 0. Is y a composite number?
True
Let d(m) be the third derivative of m**8/2880 + m**7/1680 - m**6/720 + m**5/12 + 6*m**2. Let h(n) be the third derivative of d(n). Is h(-3) a composite number?
False
Suppose -48*b = -45*b - 789. Is b a composite number?
False
Suppose -o - 67*q + 66*q + 9232 = 0, 0 = -3*o - 4*q + 27701. Is o prime?
True
Suppose -3*w + 3*h + 38664 + 27504 = 0, 0 = -3*w - 4*h + 66133. Is w composite?
False
Let j be 2/(-17) - (-137572)/68. Let y = -686 + j. Suppose -5*u - c + 2960 = 0, 2*c + y = 2*u + 141. Is u a prime number?
True
Suppose -2*a + 22279 = h, 2*h + 0*a - 44550 = -2*a. Is h composite?
False
Suppose 6*a - 5 = 5*a. Suppose n + 0*n = 5*y + 75, -5*n + a*y = -455. Is n a prime number?
False
Suppose 0*q - 5*q + 28 = 3*s, -3*q - 25 = -2*s. Suppose s*v = 5*v + 150. Is v composite?
True
Let b = 32 + -30. Suppose -2*x + 5*x = -b*y + 886, 2*x + 1316 = 3*y. Suppose 2*j - 1579 = -3*s, -j + 332 = 5*s - y. Is j a composite number?
False
Let l(o) = 12*o + 4. Let m be l(3). Let b be m/12 + (-4)/(-6). Suppose b*f - 2138 = 2*h, -f + 4*h + 545 = -0*h. Is f composite?
True
Let g be 2/(-2*2/(-1882) - 0). Let o = g + -426. Is o composite?
True
Is 1/(-7*(-4)/287476) composite?
False
Let v = -7346 + 10515. Let x = v - 1966. Is x composite?
True
Let u be 2/(2*1) - 1. Let m(z) be the first derivative of -z**4/4 + 379*z - 1. Is m(u) prime?
True
Let z(m) be the third derivative of 17*m**6/5 - m**5/20 + m**4/12 + m**2. Is z(1) a composite number?
True
Suppose 4*v = 19 + 9. Suppose -s + v + 1 = 2*l, -3*l = 2*s - 11. Suppose 5*c + 0 = -5, l*n = 2*c + 267. Is n a prime number?
True
Suppose -5*w = 3*u - 20 - 1905, 3*u + 2*w - 1913 = 0. Suppose -2*q - 3*q + u = 0. Is q prime?
True
Let a(i) = 119*i - 40. Suppose 90*j - 92*j + 42 = 0. Is a(j) composite?
False
Suppose -2*n = -4*n - 3*p + 6604, n = -3*p + 3305. Is n a composite number?
False
Suppose 0*f + 3*c = -2*f - 110, -2*f = -2*c + 90. Let u(t) = -145*t**3 - t**2 + t + 1. Let x be u(-1). Let a = f + x. Is a prime?
False
Suppose -4*z + 6063 = -12073. Is z a prime number?
False
Let z = -18901 - -12766. Let y = z + 9082. Is y prime?
False
Suppose 293 + 53 = g. Is g a composite number?
True
Suppose -5 - 7 = -4*g. Suppose -393 = -0*v - g*v. Is v a composite number?
False
Suppose s + 18058 = 3*s. Is s prime?
True
Suppose -9*j = -8*j - 21. Suppose -5*t + 89 = -j. Suppose 2*a + t = 136. Is a a prime number?
False
Suppose 2*c + 1108 = y - 665, -3*c = 2*y - 3511. Is y composite?
True
Let i be 1/(-2 + 1)*-5. Suppose -3*m + 1 = -i. Suppose m*c - 7*c = -55. Is c prime?
True
Let w(g) = 9*g + 35. Let o(x) = -14*x - 52. Let d(q) = -5*o(q) - 7*w(q). Is d(8) prime?
True
Let y = 12 - 9. Let u(k) = -4*k**2 - 5*k**3 + 4*k + 4*k**y - 1 - 3*k + 3*k. Is u(-5) a prime number?
False
Suppose 2*j = -5*h + 4*h + 1130, j = 3*h + 572. Is j prime?
False
Suppose 3*f - 21 = -3*b, 9 + 11 = 2*b + 5*f. Suppose 3*j - 3 = 0, b*n + 2*j - 780 = 7*j. Is n prime?
True
Let s(o) = -o - 4. Let i be s(-5). Let q(g) = 3*g - g - 3 + 164*g**2 + 4 - 4*g. Is q(i) a prime number?
True
Let i(h) = 2*h**2 + 4*h - 2. Let b be i(1). Suppose o + 263 = -b*t + 5*t, 0 = 4*o + 16. Is t composite?
True
Let x = -7 + 68. Let k(o) = 2*o**2 + 10*o + 2. Let u be k(-7). Let d = x - u. Is d a composite number?
False
Let u be 22/8 + 6/144*6. Is u - 0 - -512 - -4 a prime number?
False
Let k(l) = 152*l**2 + 20*l + 85. Is k(-7) a prime number?
True
Suppose -334 + 79 = -3*j. Suppose -5*v + 5*l = 83 - 493, -2*l - j = -v. Is v a composite number?
False
Let w = -5 + 4. Let b be (13 - 2)*w*-7. Let c = b + -54. Is c prime?
True
Let x(w) = -4*w + 7*w - 5 - 2*w. Let s be x(7). Suppose 0 = -s*c + 4*p + 75 + 159, 3*c + 4*p = 341. Is c a prime number?
False
Let u = 2298 - -1751. Is u prime?
True
Let z(h) = -270*h - 65. Is z(-15) a prime number?
False
Let a = -68 - -167. Suppose a = s - 112. Is s a prime number?
True
Let k = 38245 + -24936. Is k prime?
True
Let w = 76 - 73. Suppose 5*m - 3*n = 4*m + 1130, 0 = w*m - 3*n - 3408. Is m prime?
False
Suppose -47635 = 2*d - 37*d. Is d composite?
False
Let p(x) = 49*x + 2. Let a(g) = -g**2 - 7*g + 3. Let j be a(-7). Let b = 6 - j. Is p(b) a prime number?
True
Let a = 540 - 247. Is a a prime number?
True
Let q = -60 + 62. Let v(s) = 291*s**2 + s - 3. Is v(q) a prime number?
True
Let f = -14 - 1. Let z be (5/(-15))/(1/f). Let d(r) = 49*r - 12. Is d(z) a prime number?
True
Is (-273)/182*-1*547244/6 a composite number?
False
Suppose -49 = 3*q - 295. Suppose 2*k = q - 8. Is k a composite number?
False
Suppose -b + 5 = 7*u - 2*u, 0 = 5*b + 2*u - 2. Suppose 2*k + n - 1474 = 2*n, b = -5*k + 2*n + 3687. Is k a composite number?
False
Let b = -9455 - -32194. Is b composite?
False
Suppose -5*m = x - 43, -3*x - 2 - 4 = 0. Is 895*m/((-45)/(-2)) a composite number?
True
Let k(t) = 6*t**2 - t + 5. Suppose -j - 4 = 0, 2*a - 16 = 3*a + 5*j. Let n = 0 + a. Is k(n) a prime number?
True
Let f = 6 - 12. Let h(g) = -9*g**2 - 6*g - 4. Let j(w) = -9*w**2 - 5*w - 3. Let u(s) = 2*h(s) - 3*j(s). Is u(f) a composite number?
False
Suppose 2*g + 0 = -m + 1, -3*m - 4*g = -5. Suppose 0*p - 2*p = m*y - 575, 5*y + 4*p - 959 = 0. Is y composite?
False
Let i(o) be the first derivative of 5/2*o**2 - 25*o - 11. Is i(12) a composite number?
True
Let i(r) = -21*r + 2. Let x be i(-5). Let t be (7 + -10)*(-148)/(-6). Let f = t + x. Is f a composite number?
True
Suppose -4*h - 74 = -18. Is 23/(h/4 + 4) prime?
False
Let d(u) = -u**3 - 15*u**2 - 15*u - 11. Let i be d(-14). Suppose 0 = 2*w - 2*l - 422, -2*w - 2*l - i*l = -408. Is w a composite number?
True
Let p be 2/15 + 326/30. Suppose p = 3*w + 5. Suppose -2*l - 15 = l, w*x = 4*l + 154. Is x composite?
False
Suppose -j + 0*y - 1 = -y, j + 2*y = 11. Suppose -3*l + 3*g + 156 = -0*l, -j*g = l - 64. Is l prime?
False
Is 8/2 - (-3 - -6 - 2148) composite?
True
Let n(i) = 22*i**2 + 6*i + 9. Let f = -66 - -55. Is n(f) composite?
True
Let c(x) = x**3 - 4*x**2 - 56*x - 77. Is c(24) a composite number?
False
Let y be ((-8)/3)/(6 + (-8768)/1461). Let q = y - 437. Is q composite?
False
Let k = -3650 + 7083. Is k composite?
False
Let w(d) = -d**3 - 4*d**2 - 5*d - 4. Let n be w(-3). Suppose n*r + 5925 = -3*r. Is r/10*(-2)/3 a composite number?
False
Let o(b) = -54*b - 5. Let v be o(9). Let z = -920 + 652. Let s = z - v. Is s a prime number?
True
Let o be 1*((-4)/4 - -2). Let n = 96 - o. Is n/1 - (-10)/5 a composite number?
False
Suppose 5*b = 2*r + 34005, 26297 = 4*b - 4*r - 907. Is b composite?
True
Is 132/(-66)*(-379)/2 a composite number?
False
Let b(p) = 10*p**3 + 5*p**2 + 5*p + 1. Is b(6) a composite number?
False
Suppose -7*g + 3*g - 4 = -s, -5*s = -5*g - 50. Let d = -8 + s. Suppose -b - d*h = 4*b - 8, 0 = 2*b - h - 11. Is b a composite number?
True
Let v(c) = -4637*c - 92. Is v(-15) a prime number?
True
Let x be 7/(-14) - 18/(-4). Suppose t + m - 513 = 0, t + x*m - 279 = 228. Is t a composite number?
True
Suppose 11*c + 42 = -3*c. Is ((-26)/(-6) - (-1)/c) + 3133 composite?
False
Let i = -16873 + 24912. Is i a composite number?
False
Let l(m) = 8*m**3 + 20*m**2 - m + 16. Suppose 14 = -8*p - 34. Let j(b) = 7*b**3 + 19*b**2 + 15. Let d(s) = p*l(s) + 7*j(s). Is d(-10) prime?
False
Let d be (3/9)/(4*5/24540). Suppose -d - 4971 = -4*n. Is n prime?
False
Let d = 376 + 27. Is d a composite number?
True
Suppose -274943 + 70933 = -10*f. Is f a composite number?
True
Is (42/36)/(2/6492) a prime number?
False
Let z = -3 + 7. Suppose 5*i - 8 + 8 = 0. Suppose -5*q - u + 187 = i, -47 = -5*q + z*q - 5*u. Is q composite?
False
Let i(n) = n**2 + 6*n + 9. Let c be i(-5). Let o(x) = 4*x**3 - 5*x**2 + 2*x + 7. Is o(c) composite?
False
Let r(d) = -d**3 + 9*d**2 + 11*d - 10. Let x be r(10). Suppose x = -2*m + 4*m - 6. Suppose -18 = k - m*k - 3*j, 4*k + 3*j = 24. Is k prime?
True
Suppose 13 = -t + 5*c, 3*c = -t - 4 + 7. Let n be ((-36)/8)/(t/4). Suppose -86 = -8*s + n*s. Is s a composite number?
False
Suppose 4*y + 62 = -5*a - 19, 5*a + 89 = 4*y. Let w = a + 103. Is w a composite number?
True
Let g(c) = -2049*c - 574. Is g(-15) a prime number?
True
Let a be 0 - (-18)/(-2 + 3). Let c = a + -15. Suppose 0 = -v + c*f - 0*f + 332, 0 