e q(8). Suppose -339 = -5*k - 4*o, -7*o = -a*o - 5. Is k a prime number?
True
Let m = 38 - 71. Let l = m + 64. Is l composite?
False
Let u(r) = 82*r**3 + 2*r**2 - 2*r + 1. Is u(1) prime?
True
Let w(n) = 2*n**3 - 17*n**2 + 8*n + 2. Let g be w(8). Suppose -g*i + 877 = -97. Is i prime?
True
Let g(w) = -3*w. Let c be g(-1). Let f be (2/6)/(c/81). Let n(v) = -v**2 + 10*v + 5. Is n(f) a composite number?
True
Let h(d) = 2*d - 1. Let u be h(3). Suppose -g - 1148 = -u*g. Is g a composite number?
True
Let m be 2 - 2/4*-4. Let j(b) = -60*b - 1. Let u be j(m). Let w = 390 + u. Is w composite?
False
Is (-1)/2*-11*58 a composite number?
True
Suppose 3*v - 582 = -5*o + 1079, -3*v = 3*o - 999. Is o a prime number?
True
Let x = 9 + -6. Suppose 0 = -x*q - q + 5908. Is q prime?
False
Suppose -2*p = -2*h + 654, h - 5*p + 1272 = 5*h. Is h prime?
False
Let g = -3 + 6. Suppose -g*t + 2*r + 3 + 4 = 0, 0 = 4*t + 4*r + 24. Is 38*t/(-6)*3 a composite number?
False
Is (2/(-6))/(4/(-1788)) prime?
True
Let a(f) = 3*f**2 - 6*f - 3. Let t be a(-4). Let m(l) = -l**3 - 6*l**2 + 11*l - 6. Let d be m(-8). Let w = t - d. Is w composite?
True
Suppose 3*s = -m + 422, 350 = -2*m - 3*s + 1191. Is m prime?
True
Let j(i) = -11*i + 4. Let m be (23/(-7) + 3)*-7. Let w = m - 5. Is j(w) a prime number?
True
Suppose -l + 11 = -5*a, -l = 2*a + a + 5. Let b(g) = 6*g**2 + g - 1. Is b(a) composite?
True
Let y = -321 - -506. Is y prime?
False
Is 26/2*(-79)/(-1) composite?
True
Let c(k) = -737*k - 1. Let i(s) = -369*s. Let r(p) = -2*c(p) + 5*i(p). Is r(-1) prime?
True
Let o be (-3)/(-3) + 1 + -2. Suppose -t + 2*i + 503 = -2*i, i = o. Is t a composite number?
False
Let u(j) = j**2 - 7*j + 9. Let i be u(6). Suppose 5*s - i*n - 1185 = n, -5*n + 237 = s. Is s a composite number?
True
Let q(n) = -2*n - 1. Let v be q(-1). Suppose 0 = -3*z - 3*k + 3, -v = z - k - 6. Is z a composite number?
False
Let z = 6 + -8. Let p be z/(1 + -3 + 0). Let h(x) = 46*x**3 + 2*x**2 - x. Is h(p) a composite number?
False
Suppose -4*y + 10 + 5 = -5*f, -y = -4*f - 1. Suppose 3*n + 154 = -j + 422, y*n + 2*j = 447. Is n composite?
False
Let u be ((-2)/4)/(1/(-38)). Suppose -3*b = -5*m + u - 5, 0 = 2*b + 2*m - 12. Suppose 41 + 17 = 2*i - 4*t, -70 = -b*i + t. Is i prime?
True
Let o(h) = h**2 - 12*h - 7. Let l be o(13). Suppose -3*d + 239 = -r, -2*r + l = -5*r. Is d a prime number?
True
Suppose -3*t = 3, 62 = 5*c - 0*c + 3*t. Is c a prime number?
True
Is (198*-1)/(-2) - -4 a composite number?
False
Let q(k) = 5*k**2 - 7*k + 15. Is q(7) composite?
False
Suppose 0 = 7*y - 2*y - 5. Suppose -4*w + 2*a = 2, a + y = -2*w + 10. Is (1025/10)/(w/4) prime?
False
Let q(z) = 219*z + 2. Is q(3) composite?
False
Let m be 170/7 + (-12)/42. Let b = 54 - m. Suppose 0 = 2*g + 3*g - b. Is g prime?
False
Let c(o) = 3*o**2 + 12*o + 6. Let f be c(-12). Let s = f + -167. Is s composite?
False
Let p(t) be the second derivative of t**4/12 + 5*t**3/6 + 5*t**2/2 - 3*t. Let d be p(-5). Suppose d*w + k - 331 = 0, 3*k - 34 = 2*w - 180. Is w a prime number?
True
Let f = 5312 + 2549. Is f composite?
True
Suppose -3*d + 8 = 2. Suppose -v + d = -3. Suppose 2*z + v*o = 15, -3*o + o - 52 = -5*z. Is z composite?
True
Suppose 0 = 2*j + 1 + 3. Let q(n) = -n**3 + n**2 - 4*n - 3. Let h be q(j). Suppose -248 = -3*l - h. Is l a prime number?
False
Let c = 34 + 2. Is (148/2)/(24/c) a prime number?
False
Let k = 25 - 18. Let a = k - 5. Let w(d) = 4*d**2 + 3*d - 3. Is w(a) prime?
True
Suppose 0 = -4*i - 20, -2*i + 70 = -g - 200. Let d be (-5)/((-15)/27)*-15. Let s = d - g. Is s a prime number?
False
Suppose -5*w = 4*c + 14, -4*w + 2*w = -5*c - 1. Let n be 2 + c + 1*7. Let s(z) = 2*z - 2. Is s(n) a prime number?
False
Suppose -j + 12 = 2*j. Is -3 + (1 - (-1684)/j) composite?
False
Is ((-318)/(-15))/((-4)/(-10)) a composite number?
False
Let w = -1073 + 1806. Is w a composite number?
False
Let g(q) = 6*q**2 + q - 1. Is g(-2) prime?
False
Suppose 9*s - 737 = 982. Is s a composite number?
False
Let a(s) = 4*s - 1. Let m be a(4). Suppose -x + 82 = -3*r, 4*r = -3*x + 196 - m. Is x a prime number?
True
Suppose 2*a + 1 = 9. Let d be 0*(0 + (-2)/a). Is 37/(-3)*(-3 - d) a prime number?
True
Let g = 2790 - 1453. Is g a composite number?
True
Suppose 4*t + 18 = 66. Let f = t + 25. Is f a prime number?
True
Let r(z) = 10*z**2 + 6*z - 5. Is r(4) a composite number?
False
Is 1257 + (-2)/(1/((-1)/1)) composite?
False
Let j = 225 + -131. Is j prime?
False
Suppose -5*q - k + 118 = 0, -2*k + k = -2*q + 43. Is q a composite number?
False
Let l = 29 - 20. Let q = l + 6. Is q a prime number?
False
Let v = -35 + 83. Let n be (-2)/(-10) + v/10. Suppose -5*j = -15 + n. Is j prime?
True
Suppose 4*h - 35 = 5. Let d(z) = z**3 - 8*z**2 - 3*z - 9. Is d(h) a prime number?
False
Suppose 27 = -2*j + 329. Suppose 4*f - 214 = 5*m, 2*f + f + m = j. Is f composite?
True
Let b = -562 + 1031. Is b composite?
True
Suppose -4*v = -5*u - 4 - 17, 0 = v + 4*u. Suppose -v*l + 400 = 12. Is l a prime number?
True
Let o(b) = 6*b**2 + 4*b - 5. Let l be o(5). Suppose 0 = 2*k + 19 - 193. Suppose -3*g - 3*t = -k, -3*t + l - 47 = 4*g. Is g composite?
False
Suppose 3*i + 9 = 30. Let j = i - -4. Is j a prime number?
True
Suppose 5*r = 4*f + r - 36, -3*f - 8 = 4*r. Suppose 0 = -4*j - f*z + 368, 0*z - 3 = -3*z. Is j a prime number?
False
Let x = -41 - -57. Is 4148/x + 1/(-4) a prime number?
False
Let w(d) = d**2 + 7*d + 3. Let b be w(-7). Suppose -v + 3*v + 2*m = -42, b*m = 5*v + 137. Let y = v - -60. Is y a prime number?
False
Let v = 20 + 10. Let x = -10 + v. Let i = 30 - x. Is i composite?
True
Suppose -2*x = -5*b + 9, 3*b - 2*b - 4*x + 9 = 0. Suppose -b*n = 9, 4*n + 223 + 128 = 3*k. Is k a prime number?
True
Suppose 3*b - 5*l - 32 = 0, -16 = -2*b + l + l. Is (-110)/b*(0 + -2) a prime number?
False
Suppose -q + 0*q = 2*w - 6, -6 = w + 5*q. Suppose -469 = 2*f - 3*f - w*m, 0 = -3*f - 4*m + 1439. Is f prime?
False
Let w = -7 - -5. Let i = w + 2. Suppose u + 1 - 258 = i. Is u a composite number?
False
Suppose -3*m + 3*q = -6, -30 - 9 = -2*m - 5*q. Let o = 155 - 82. Suppose o = 2*x + m. Is x a composite number?
True
Let n(u) = u**3 + 5*u**2 + 4. Let t be n(-5). Suppose -t*g + 679 = -333. Is g prime?
False
Suppose 5*m + 656 + 634 = 0. Let p be (m/12)/((-1)/2). Is (-6)/(-9) - p/(-3) composite?
True
Suppose 2*o - 2886 = -4*o. Is o a prime number?
False
Suppose 0 = -0*n + 3*n - 381. Is n a composite number?
False
Let j = 28 - 19. Let i = j - 6. Suppose i*x = 6*x - 30. Is x a composite number?
True
Let a be (1 + 1)/(6/15). Suppose -4*y = -4*i - 52, a*y + 0*i = -4*i + 47. Let v = -4 + y. Is v composite?
False
Suppose 4*s = 3*s + 6. Let f = 41 + -28. Let y = f - s. Is y a composite number?
False
Let n = 28 - 370. Let j be (-1)/((-3)/n*-2). Suppose -2*g = -5*g + j. Is g prime?
True
Suppose 3*h + h + 20 = 0. Let v(m) = 2*m**2 + 2*m - 1. Is v(h) a prime number?
False
Let j(h) = -8*h + 9. Let t be j(-5). Let i = -30 + t. Is i a composite number?
False
Suppose 5 = 4*f + 1. Let r = 1 + f. Suppose r*v + v = 57. Is v a prime number?
True
Suppose -4*s = -s. Let j = 5 - s. Suppose -3*b + 2*w - 40 = -j*b, -3*w = b - 30. Is b composite?
True
Suppose 4*u + 5 = 3*u + y, 2*y - 10 = 3*u. Suppose -4*p - 4 = -u. Is p/(-2)*(6 + 68) prime?
True
Suppose -5*u = -5*m - 1070, -2*u + 0*u = m - 419. Is u a composite number?
False
Suppose 5*c - 40 = -110. Is (-6)/(-21) - 514/c a composite number?
False
Suppose 3*h - 2 = 4. Suppose -3*o - h*g - g = 171, -4*g - 172 = 3*o. Let n = o + 93. Is n composite?
False
Let s(z) = -z**3 + z**2 + 79. Let a(v) = -v**2 - 8*v + 9. Let f be a(-9). Is s(f) a composite number?
False
Let i(a) = -a - 1. Suppose 0 = -l - 2 - 3. Let f be i(l). Suppose -c = -f, -2*c + c = -5*s + 261. Is s prime?
True
Let w(f) = f**3 - 10*f**2 + 10*f - 5. Suppose 5*v = -16 + 61. Let a be w(v). Is (a/(-6))/(2/(-75)) a composite number?
True
Let g(o) = -2*o - 7. Let i be g(-5). Suppose 0 = -i*k + 5*u + 60 + 60, 4*k - 152 = 4*u. Is k a prime number?
False
Let c be -2 + (-1)/(3/(-6)). Suppose i + i = c. Suppose -4*a + 6 + 94 = i. Is a a prime number?
False
Let b = 160 - -109. Let i = 4 - 0. Suppose -110 = 2*k - 4*k + i*p, -5*k + 4*p + b = 0. Is k a prime number?
True
Let n = -4 - -7. Is 2*((-711)/(-6))/n a prime number?
True
Suppose -1 = 4*b - 3*b, -4*b =