**2 + 3*l + 1. Let j be 3 - ((-3 - -10) + 2). Is z(j) composite?
True
Suppose -3*v - 158 = -5*v. Is v prime?
True
Suppose 2705 = 3*k + 2*k. Is k a prime number?
True
Let w = 510 + -105. Let a = -286 + w. Is a a composite number?
True
Suppose -295 = -3*d - 3*r + 29, 5*r + 15 = 0. Is d a prime number?
False
Let o(j) = 4*j**2 - 2 + 2 + j + 1. Is o(2) composite?
False
Let p be (420/9)/((-2)/(-12)). Suppose -c - 3*u = 2*c + 354, -5*c - u = 610. Let w = p + c. Is w a composite number?
False
Suppose -86 = 3*f - 251. Suppose f = 3*g - 83. Is g a prime number?
False
Suppose 2*y - 4*y - 622 = -4*w, 0 = -5*w - y + 774. Is w composite?
True
Let q be (-16)/(-12)*3/2. Suppose -q*x + 0*x = -762. Is x a prime number?
False
Let p(l) = l - 1. Let c(u) be the second derivative of -u**3/6 + u**2/2 - u. Let y(z) = -6*c(z) - 5*p(z). Is y(5) composite?
True
Suppose -3*a = -203 - 58. Is a a composite number?
True
Let d = -125 + 52. Let f be 456/2*4/6. Let z = d + f. Is z a composite number?
False
Let f(w) = w**3 + 9*w**2 + 7*w - 2. Let n be f(-8). Let c(u) = -u**2 + 9*u - 1. Let t be c(6). Suppose 4*d + t = 5*j - n, 3*j = d + 18. Is j prime?
True
Let x be 4/(-26) - 13968/(-39). Let l = x + -219. Is l a composite number?
False
Let o = 117 - -10. Is o composite?
False
Is (-7 - 7)/(4/(-6)) prime?
False
Let o(s) = s**3 + 7*s**2 + 6*s + 2. Let j be o(-6). Is -3 + ((-184)/(-2) - j) a prime number?
False
Let o(u) = -u**2 + 7*u - 4. Let j be o(7). Suppose 5*b + 2*r - 28 = 0, -b - 4*b + 5*r = 0. Is (-2)/j + 86/b composite?
True
Let u(s) = -8*s**3 - s**2 + s + 7. Is u(-3) a prime number?
True
Let r(q) = q**2 - 7*q + 2. Let u = -12 - -19. Let c be r(u). Suppose 5*n - c*n = 99. Is n a composite number?
True
Let x be -8*(-1)/6*3. Suppose 0*p - 4*p = -y + 59, 4 = -x*p. Is y a prime number?
False
Suppose -2*q + 1184 = 478. Is q prime?
True
Let s(x) = -4*x**3 - 5*x**2 - 5*x - 6. Let b be s(-4). Suppose 5*z = -2*o + b, -328 = -2*o - 2*o + 3*z. Is o a composite number?
True
Let a = 11 - -27. Is a prime?
False
Let d(u) = -141*u - 5. Is d(-2) composite?
False
Let n(p) = p**2 - p - 1. Let t be n(0). Let h be -2 + t + 3 + 58. Let u = h + -35. Is u prime?
True
Suppose 0 = 5*w + 19 - 54. Let x = -5 + w. Suppose 3*t - 31 = x*t. Is t composite?
False
Let j be 24/28*(-1 - -883). Suppose -567 - 10 = -3*c + 2*t, 4*c + 4*t - j = 0. Is c a composite number?
False
Suppose -5*v = -3*v + n - 276, 3*n + 12 = 0. Let t = v - 13. Let q = t - 68. Is q a composite number?
False
Suppose 2 = -3*i + 11, 0 = 2*y + 5*i - 27. Suppose -2*a = 5*g - 3, 3*a + a = 2*g - y. Is (-14*1)/(a - 0) a prime number?
False
Let m = 370 - 213. Suppose b - d = m, 0 = b + 2*d - 69 - 94. Is b prime?
False
Is (-1)/(-8) + (-7441)/(-56) a composite number?
True
Suppose -3 = 6*s - 3*s. Let o(y) = 7*y**2 - y - 1. Is o(s) a prime number?
True
Let x = -63 - 81. Let k = 282 + x. Suppose k = -3*r + 5*r. Is r a prime number?
False
Suppose 9*m - 11*m = -1154. Is m a prime number?
True
Let n be (-31)/3*(-1)/((-2)/(-36)). Suppose 3*o + 15 = 4*o + 5*b, 5*o + 5*b = 15. Suppose -a + n = f + 2*a, 4*a - 12 = o. Is f prime?
False
Suppose 2*z + 7 - 33 = 0. Let g(q) = -64*q - 3. Let n(f) = 127*f + 7. Let s(u) = z*g(u) + 6*n(u). Is s(-5) a composite number?
False
Let o(d) = 2*d**2 - 10*d - 4. Let c be o(8). Is 2937/c - 1/(-4) composite?
False
Let f be 4/(-1) - (-1 - 0). Let v(y) = y. Let l(r) = 19*r + 4. Let x(z) = -l(z) + 6*v(z). Is x(f) prime?
False
Let l(y) = y**3 + 5*y**2 + 5. Let z(p) = 2*p**3 + 10*p**2 + p + 9. Let b(q) = 7*l(q) - 4*z(q). Is b(-6) composite?
False
Let k = -12 + 37. Let m be 4/(64/(-12))*40. Let w = k - m. Is w prime?
False
Let a(g) = -g**3 + 4*g**2 - g - 91. Let j(u) = u**3 - 3*u**2 + u + 92. Let x(v) = 3*a(v) + 4*j(v). Is x(0) a prime number?
False
Suppose 3*z - 2*l = 8, 5*l - 33 = -3*z + 2*l. Suppose 4 + z = 2*f. Suppose -f*m - c = 4*c - 390, -4*m = c - 309. Is m prime?
False
Suppose -8*j = -2*j - 1266. Is j prime?
True
Suppose -4*r = -3*d + 447, -2*r - r = 0. Is d composite?
False
Let x(p) = -p**3 + 12*p**2 + 10*p + 5. Is x(8) a prime number?
False
Let x = 3 - 3. Suppose 5*g - 418 = 4*a, x = a - 3 - 0. Is g composite?
True
Suppose -558 - 312 = -3*l. Is (30/25)/(4/l) prime?
False
Suppose 0 = -4*o + 1 - 5, -440 = -4*d + 4*o. Is d prime?
True
Suppose 3*a = -5 - 4. Is -2 + (-75)/a - 1 prime?
False
Suppose -2*b - 2*b + 3*d = -15, -b - 4*d - 1 = 0. Let t(m) = 28*m + 1. Is t(b) a prime number?
False
Suppose -254 = -4*k + 698. Let n = 61 + k. Suppose 32 = -3*i + n. Is i a prime number?
True
Suppose 2*s - 771 = -5*d, 139 + 249 = s + 5*d. Is s a prime number?
True
Let u = -1583 + 2336. Is u composite?
True
Let j be (6/(-2))/(-1) + -95. Let i = j + 149. Is i a prime number?
False
Let y(f) = 2*f + 17. Is y(13) composite?
False
Let t(p) = 3*p - 8. Let y be t(7). Let x = y + 20. Is x prime?
False
Let f(i) = -2*i**3 + 2*i**2 - 5*i - 2. Let t(s) = -s**2 - 7*s - 9. Let d be t(-6). Is f(d) a prime number?
False
Let g(y) = 3*y**2 - y - y**3 - 5 + 1 + 4*y. Let h be g(3). Suppose 671 - 226 = h*j. Is j a composite number?
False
Let t = -1113 - -522. Suppose h = 13 - 10. Is h - t*(-4)/(-6) a composite number?
False
Let b be 6/(-4)*(-8)/3. Let r = b + -2. Suppose -r*w - 1 = -43. Is w prime?
False
Is (3 - 4) + (-2 - -326) a prime number?
False
Suppose -490 = -5*k + p + 4*p, 2*k - 4*p - 194 = 0. Suppose -3*t = 4*g - 638, 5*g + 5*t - 696 = k. Is g composite?
True
Let m be (3/(-3) - 2) + 6. Suppose m*w + 41 = 200. Is w a composite number?
False
Let t(o) = -25*o + 13. Let l(j) = j**2 - 12*j + 1. Let i be l(11). Is t(i) prime?
True
Let k(d) = -d**2 + 1. Let y be k(-1). Let q(i) = -i + 53. Is q(y) a prime number?
True
Suppose -h + 9 = -0*m + 3*m, 0 = 4*h + m - 25. Suppose -2*r = -56 + h. Is r a composite number?
True
Suppose -4*t + 4*k = -3784 + 624, 0 = -t - 3*k + 778. Is t a prime number?
True
Let r(x) = 9*x**3 + 6*x**2 - 7*x + 5. Suppose -5*a - 3*y = -26, -6*y + 28 = 5*a - 2*y. Is r(a) composite?
True
Suppose 15*d - 572 = 11*d. Is d composite?
True
Let c(u) = 13*u - 2. Let a be c(2). Let o = a + -12. Suppose 4*f - o = -4*p, -p - 2*p + 13 = 2*f. Is p a prime number?
True
Let g = 685 - 128. Is g prime?
True
Let c(g) = -4*g - 27. Is c(-12) a prime number?
False
Suppose 0 = -6*g + 3*g + 2*b + 28, 4*g - 5*b = 28. Is (148/g)/((-1)/(-3)) composite?
False
Let b(j) = -2*j - 1. Let f be b(-2). Suppose 0 = -5*y + 4*y - 5, -y = -f*s + 38. Is s a prime number?
True
Let n be (2 - 1) + (1 - 1). Let x(v) = v. Let z(l) = l**2 + 5*l + 1. Let o(a) = n*z(a) - 2*x(a). Is o(-6) composite?
False
Suppose -4*a = 488 - 3252. Is a a prime number?
True
Let a = 74 - 37. Is a a composite number?
False
Suppose 2*o + 1764 = 2*t, -3*t - 2*o - 3*o = -2606. Is t a prime number?
True
Let w = 596 - 409. Is w a composite number?
True
Let i(k) = -k**3 + 8*k**2 - 5*k - 4. Is i(7) composite?
True
Let k = -14 + 24. Let p = 24 - k. Is p a composite number?
True
Let p(r) = -93*r - 2. Let i be p(-2). Suppose 0*t + 5*t = 25. Suppose -7*j + 450 = -2*j - t*a, -2*j - 2*a + i = 0. Is j prime?
False
Suppose 0 = -3*o + 9 - 36. Let g = o + 5. Is (g/12)/((-2)/354) a composite number?
False
Let u be (-8908)/(-14) + 10/(-35). Suppose -3*y + 618 = 6*c - c, 0 = 3*y - c - u. Is y a prime number?
True
Let a be -1*17/2*-4. Suppose 117 = f + a. Is f prime?
True
Let u(s) = 9*s**2 + 7*s - 9. Let c(m) = m**2 - 5*m - 2. Let l be c(6). Is u(l) a prime number?
True
Let v = -55 + 74. Is v prime?
True
Let t = 58 - -36. Let f = -1 - -1. Is t/(-2)*(-1 - f) a prime number?
True
Let i(d) = d**3 + 14*d**2 + 13*d - 3*d**3 + 5 + 3*d**3. Let x be i(-13). Suppose 5*n - j - 28 = 37, -n + x*j = -13. Is n prime?
True
Let i(o) = -24*o - 1. Let v be i(-7). Suppose 391 = 3*f + 3*l - v, 5*l = 3*f - 598. Is f prime?
True
Let t(b) = 1390*b - 1. Is t(2) composite?
True
Suppose 6*f = 2*f - 8. Let w(y) = 10*y**2 + 2*y + 1. Is w(f) composite?
False
Suppose -2*r + 1 + 3 = 0. Let h(z) = -1646*z**3 + 2*z + 1. Let p be h(-1). Suppose -r*g = -7*g + p. Is g composite?
True
Is (-9)/9*5*-113 a prime number?
False
Let c = -477 + 1018. Is c a prime number?
True
Let w = 284 - 187. Is w prime?
True
Let o(c) = 2*c**3 - 8*c**2 + 5*c - 28. Is o(13) composite?
False
Let y(g) = 3*g**3 - 44*g**2 - 20. Let r(j) = -2*j**3 + 29*j**2 + 13. Let h(c) = 8*r(c) + 5*