*2 + 5*b + 2. Let w be y(-8). Suppose 0 = 3*u, -229 = -i - 3*u + w. Is 0 + i - (15 + -13) a composite number?
True
Let f = 11 + -19. Let s = f - -8. Suppose -2*r - 4 + 110 = s. Is r composite?
False
Suppose 0 = -2*u - 3*u. Suppose u = -z - 3*z - g - 4, 3*z - 3*g - 12 = 0. Suppose 2546 = 5*j - a - z*a, -3*j + 1522 = 5*a. Is j a prime number?
True
Let u = -51 + 115. Let h be (-4)/((-2)/u*2). Let f = h - -94. Is f composite?
True
Let d(k) = 110*k + 18. Let t be d(-7). Let h = -355 - t. Is h composite?
False
Suppose -3*p + 0 + 6 = 0. Suppose -p*h - 586 = -6*h + 2*b, 2*h = -2*b + 284. Is h composite?
True
Is 2*-89*68/(-8) a composite number?
True
Is (-9)/((-396)/296188) + 6/(-11) composite?
True
Let b = 51 - 47. Suppose 1842 = b*t - 1242. Is t composite?
True
Let i(l) = -2*l**2 - 3*l - 1. Let a be i(-5). Is (-3)/(a/498)*(-14)/(-1) prime?
False
Let q(c) = 9*c + 0*c + 7*c - 4*c - 29. Suppose 3*y + g - 37 = 0, -5*y + 5*g + 55 = -0*y. Is q(y) a composite number?
True
Let d(i) be the second derivative of i**6/40 - i**5/15 - i**4/8 - i**3/2 - i**2 + 11*i. Let a(s) be the first derivative of d(s). Is a(4) composite?
False
Let d(k) = -14*k**3 - 4*k**2 + 14*k + 3. Is d(-8) composite?
False
Let n = -5 + 17. Suppose 0 = -2*h + 4*h - n. Suppose -h*r + 65 = -r. Is r composite?
False
Suppose 2*j - 51795 = -j. Suppose 5*i + v = j, -2*v = 5*i - 7*v - 17265. Is i composite?
True
Suppose -5*u - 3*v + 620 = -502, 5*u - 1128 = 3*v. Let y = u - 85. Suppose 3*j - 7*j + y = 0. Is j composite?
True
Let h = 97 + -94. Suppose -5*b = -h*n + 1157, 2*n + b - 338 - 416 = 0. Is n a prime number?
True
Let y = 15 + -13. Suppose 3*p - 166 = k, y*p + 0*k + 5*k = 105. Is p a composite number?
True
Suppose p + 5 = 0, -52*o - 17765 = -57*o - 4*p. Is o a composite number?
False
Let b(s) = 261*s - 80. Let v(u) = u**2 - 5*u + 6. Let x be v(0). Is b(x) a composite number?
True
Suppose -7*f = -3*f - 20. Suppose -29 = -5*r - 9. Is (3 - f)/(r/(-154)) composite?
True
Let c = -614 - -984. Let a = c + 417. Is a composite?
False
Let d(c) be the second derivative of -c**4/12 + 7*c**3/6 + 3*c**2/2 + 36*c. Suppose 4 = i + y, 0 = 3*i - 2*i - 2*y - 7. Is d(i) a prime number?
True
Let j = -1107 + 544. Let x = 1114 + j. Suppose -4*q = -245 - x. Is q a prime number?
True
Let u = 138111 + -86140. Is u prime?
True
Suppose 66 = -3*h - 63. Is (0 - -1 - h)/(-1 + 3) prime?
False
Is (-12)/(-8)*24/18 + 1407 a composite number?
False
Let n = -9 - 1. Let h(x) = 1 - 3*x - 3 - 10 + 1. Is h(n) a composite number?
False
Let t = -3724 - -6242. Suppose 3*r = r + t. Is r a composite number?
False
Suppose 2*m - 14 = 2*f, 5 = -2*f + m - 4. Let z be (-4)/f*4589/26. Is (-2)/(-4) + z/2 a prime number?
False
Let f = -28 + 54. Is f prime?
False
Suppose -5*c + 671 = -1194. Suppose c = 5*y - 1142. Is y a prime number?
False
Is -10 + (5006 - -1) - -2 a composite number?
False
Suppose 10*x + 77142 - 409132 = 0. Is x a prime number?
True
Let b(u) = 5*u. Suppose 0 = -5*p + 2*p + 3. Let k be b(p). Suppose -4*s = -k*s + 187. Is s a prime number?
False
Let z(x) = x**3 - 2*x**2 + 3*x - 2153. Let n(v) = -2*v**3 + 5*v**2 - 7*v + 4306. Let u(w) = -2*n(w) - 5*z(w). Is u(0) prime?
True
Let q(b) = -b**3 - 8*b**2 + b + 10. Let n be q(-8). Let y = -4 - n. Let j(v) = -13*v + 7. Is j(y) composite?
True
Suppose 16 = -0*u - 4*u, -4*s = u - 4. Is s*(-3 + (-5620)/(-8)) composite?
False
Suppose -3*o + 4*y + 1 = 0, 2*o - y - 2 + 8 = 0. Let h(a) = -2*a - 6. Let m be h(o). Suppose -635 = -i - 4*k, -m*i = -0*i - k - 2523. Is i prime?
True
Let x = -63 - -685. Suppose -873 = -5*y + x. Is y composite?
True
Let m(k) = k**3 + k**2 + 2*k - 18849. Let n(j) = j**3 + j**2 + j - 18848. Let d(r) = 3*m(r) - 4*n(r). Let z be d(0). Is z/45 - 8/(-36) composite?
False
Let w be 1 - ((-30)/3 - -2). Suppose w + 55 = 4*j. Suppose -2*c + 3*y = -51, 5*c + j = 4*y + 133. Is c composite?
True
Suppose 4*k - 11588 = -x, -4*x + 2897 = k - 0*k. Is k a prime number?
True
Let s(q) = -2*q**3 - q**2 + q. Let b be s(1). Let d be b + ((-9)/3 - -31). Let a = 29 + d. Is a a composite number?
True
Suppose -9*o - 8*o = -67813. Is o prime?
True
Let l(a) = 15632*a + 43. Is l(2) prime?
True
Let u(r) = -2*r**3 + 34*r**2 + 5*r + 7. Is u(16) prime?
True
Let l be (-2 + 35/(-2))/(15/(-1480)). Let c = -1247 + l. Is c prime?
True
Suppose -58*d + d + 1166619 = 0. Is d a prime number?
False
Let j = 17608 - -7405. Is j composite?
False
Let s(x) = x + 7. Let m be s(-4). Suppose -m*a + 4 = -638. Suppose -4 = 2*i, -3*p + a = p - i. Is p a prime number?
True
Let q(b) = -2*b + 39. Let d be q(17). Suppose d*n - 2*c = 127, -2*n + 53 = c - 4*c. Is n prime?
False
Let v = 6758 - 2769. Is v composite?
False
Is 1/((-2304)/(-2302) + 11 + -12) composite?
False
Is 6 + 2 + (5 - -7418) composite?
True
Let u(p) = -p**2 - 15*p + 38. Suppose -5*z + 8*z = 2*q - 11, 5*z + 13 = 2*q. Let b be (-12 - -4)/(z/(-2)). Is u(b) a composite number?
True
Suppose 0 = 2*x - 15960 - 1022. Is x composite?
True
Suppose 0*x - 251 = -q + 4*x, -2*x = 0. Is q prime?
True
Let z(t) = -111*t**3 + t**2 + t - 1. Let l be ((-1)/(-1) - -2) + -4 + -1. Is z(l) prime?
False
Let v(o) = -o**3 - 6*o**2 + 4*o + 3. Let x be v(6). Let p = 784 + x. Is p a composite number?
False
Let z = -37 + 67. Let b = z - 16. Is b prime?
False
Let f(r) = -1974*r**3 - r**2 + 4*r + 4. Suppose -5 = 2*o + 3*u, -3*o - 3 = -4*u - 4. Is f(o) composite?
False
Let n = 4097 + -1948. Is n composite?
True
Let o be (-6*1)/(6/1272*-8). Let p = -2 + 2. Suppose p*r = -3*r + o. Is r prime?
True
Let h(r) = r - 4. Let c be h(-6). Let a be (-248)/c*(-20)/(-8). Suppose 5*j - a = 13. Is j a composite number?
True
Let d = 20 - 9. Let c(m) = -m**3 - 10*m**2 - 18*m - 9. Let b be c(-8). Suppose d*r = b*r + 2492. Is r composite?
True
Let u(f) = -f**3 + 63*f**2 - 110*f - 21. Is u(54) a prime number?
False
Let g(p) = 155*p - 449. Is g(30) a prime number?
True
Let x(v) = -4*v**3 - 2*v**2 - v - 4 + 0 - 4*v. Let m be x(-2). Let f = m + -27. Is f prime?
True
Is ((-107742)/4)/(111/(-74)) prime?
True
Let f(k) = 10*k**3 - 9*k**2 + 3*k + 5. Let t(j) = 10*j**3 - 8*j**2 + 2*j + 5. Let p(m) = -5*f(m) + 6*t(m). Is p(3) a composite number?
False
Let g(z) = 8255*z**2 + 12*z - 13. Is g(1) a prime number?
False
Let y = -3304 + 5533. Let r = -980 + y. Is r a composite number?
False
Suppose -15*w + 247058 = -w. Is w composite?
True
Suppose 14*o = 7*o + 70259. Is o composite?
False
Let h = 163 + -159. Suppose -5*q = h*q - 36171. Is q a composite number?
False
Let n(k) = k**3 - 4*k**2 - 4*k - 5. Let v be n(5). Let a be (-10)/(-60) + 11/6. Suppose 4*s + 1350 = a*u, v*s - s - 2030 = -3*u. Is u a prime number?
True
Suppose 24 = 5*s + 9. Let w = -3 + s. Suppose 2*x - 5*j - 429 + 148 = w, 4*j + 12 = 0. Is x composite?
True
Let l = 87 + -58. Suppose -5*a + 435 = 1215. Let g = l - a. Is g prime?
False
Suppose -7591 = -2*x - 3*c - 2190, -3*x + c = -8118. Is x prime?
False
Suppose -2*k + 4*k + 19 = u, 2*k + 6 = 0. Suppose -27 - u = -4*v. Is v a composite number?
True
Let d(p) = 8396 + 14*p - 8401 - 67*p. Let s = -18 - -10. Is d(s) prime?
True
Is (-1640604)/(-140)*(-10)/(-6) a composite number?
False
Let z(d) = d**3 + 10*d**2 + 5. Let b be z(-10). Suppose -b*s = 34 - 2559. Is s prime?
False
Let s = 0 + 4. Suppose -s*r + o = 6957, -2577 = 4*r - 3*o + 4390. Is (-12)/(-78) + r/(-26) a composite number?
False
Let k be (3/(-5) + 0)*-35. Let c = k + -16. Suppose -2*y + 447 = l - 0*l, 246 = y + c*l. Is y a prime number?
False
Let f(w) = 2*w**2 + 6 + 20*w + 10*w**2 - 22*w. Let o be f(6). Let x = o - 299. Is x a composite number?
False
Let w = 9 + -12. Let y be w/((-12)/196) + -4. Suppose 5*t - y = -3*s, -2*s = -3*s - 3*t + 19. Is s prime?
False
Suppose 5*n = -2*d + 668, -4*d + 2*n + 1167 + 145 = 0. Is d a prime number?
False
Let a = -4832 + 339. Is (-6)/((-36)/(-6))*a composite?
False
Let b(g) = 9*g - 1. Suppose 2*x + j = -3*j - 12, -4*j - 20 = 0. Let d(y) = -10*y + 2. Let n(r) = x*d(r) + 5*b(r). Is n(4) a prime number?
True
Suppose -g + 0*i = -i - 298, 0 = -3*i. Suppose -2*z = 5*f - 2*f - g, -3*f = -12. Is z a prime number?
False
Let s = -116 - -306. Suppose -4*p + 282 + s = 0. Is p composite?
True
Let b(s) = -8*s - 13. Suppose -f - 2 = -3, -g - 2*f + 2 = 0. Suppose g = -3*l + 12, l + 0*l + 4 = -2*d. Is b(d) composite?
False
Suppose 2295