6. Is c composite?
False
Let o = -9 - -38. Let c = o + -10. Let w = 174 - c. Is w prime?
False
Suppose 0 = 2*g - 1 + 13. Let v(k) = k + 8. Let r be v(g). Let d = r + 8. Is d a prime number?
False
Suppose -2*l = -2, -1069 = -4*q - 5*l - 396. Suppose 6*k - 3*k - q = -5*n, -5*k + n + 297 = 0. Is k a prime number?
True
Let p be 9/((-9)/3) + 847. Suppose -451 = -5*c + p. Is c composite?
True
Let u = 2 + 3. Suppose -w + 2*s = -u, -w = 4*w + 4*s + 3. Is (-140)/(-4) + -1 + w prime?
False
Suppose 2*w - 153 = w. Let p = w - 38. Is p prime?
False
Let h be (0/(-3))/(-1*1). Let f be (-12)/(-10)*(-10)/(-3). Let m = h + f. Is m a composite number?
True
Suppose p = -o - 5, 3*o + 2*p = -2*p - 16. Let g be (10/4)/((-2)/o). Suppose -18 - 150 = -4*z + g*q, z = 4*q + 53. Is z prime?
True
Suppose 3*o + y - 319 = 0, y - 16 = 5*o - 561. Let c = -61 + o. Is c a composite number?
False
Suppose 0*f - f - 24 = -b, 4*b - 20 = 0. Let x(l) = -l**3 + 12*l**2 - 8*l + 5. Let h be x(11). Let j = h + f. Is j composite?
False
Suppose 0 = -3*y + 1672 - 325. Is y a prime number?
True
Suppose 5*m - 1923 = 1132. Is m a composite number?
True
Let s be (-7)/(-5) + 2/(-5). Let j be 1/s - (4 + -32). Let r = j + 14. Is r a composite number?
False
Suppose 5*k - 11237 = -4*x, 4*k - 9*x + 8*x = 8977. Is k a prime number?
False
Suppose -3*f + 93 = -108. Is f a prime number?
True
Let b(v) = -v**3 - 5*v**2 + 5*v. Suppose -2*i - 15 = -1. Let n be b(i). Is (2/(-2))/((-3)/n) composite?
True
Let j(n) = -2*n**2 - 36*n + 4*n**2 - 3 + 28*n. Is j(-12) composite?
True
Suppose 0 = -3*y + 466 + 50. Suppose -4*b = -0*b - y. Is b a prime number?
True
Suppose 2*z = 4*r - 2*z - 2092, 3*r - z = 1571. Let b = r - -5. Is b a prime number?
False
Let v(b) = -195*b - 19. Is v(-6) prime?
True
Let b(u) = u**2 + 3*u + 1. Let f be b(-4). Suppose -3*k + 3*t = -54, -4*k + f*t + 25 + 44 = 0. Is k prime?
False
Let y(q) be the second derivative of 2*q**6/45 + q**5/120 - q**3/3 - q. Let d(r) be the second derivative of y(r). Is d(-1) a composite number?
True
Let c(j) = -j - 1. Let g be c(-1). Let l = g + 487. Is l prime?
True
Let a(r) = 227*r**3 + 2*r + 1. Let b(y) = -2*y**3 + 2*y**2 - 2*y + 1. Let g be b(1). Let c be a(g). Let w = -157 - c. Is w prime?
True
Let p = 15 + -5. Suppose 2*g + 2 = 5*r - 14, -r + p = 3*g. Is g/(-8) - (-123)/12 prime?
False
Suppose y - 5*y = -48. Suppose 3*f - y - 6 = 0. Is f a prime number?
False
Suppose 5*p + 2*r - 20755 = 0, 3*p - 5*r - 16335 = -3851. Is p composite?
False
Let x = 188 - -26. Is x a prime number?
False
Let v(i) = 17*i + 1. Let n be v(2). Let l be (-182)/n + (-2)/(-10). Let h(p) = 7*p**2 + 5*p + 7. Is h(l) a prime number?
True
Let k be -18*-1*(-4)/(-8). Suppose 0 = k*t - 4*t - 455. Is t a composite number?
True
Suppose 0 = 3*m - 3*s - 597, m - 204 + 14 = 4*s. Suppose -4*h + m - 38 = 0. Suppose -5*r + 8 = -z + h, 3*z - 3*r = 51. Is z composite?
False
Let o(u) = u**2 - 3*u + 1. Let y be o(6). Suppose 0 = -2*j - 2*j + 12, -5*p + 5*j + 20 = 0. Let g = p + y. Is g prime?
False
Let a = -4 + 6. Suppose -a*m = m. Suppose m = -2*i + 7*i - 190. Is i a prime number?
False
Let n = 376 - 165. Is n composite?
False
Suppose -m - 2*w = -1705, 0 = -m + 3*m - 5*w - 3428. Is m prime?
True
Is (-2006)/(-8) - (-9)/36 composite?
False
Suppose 3*l - 178 = 77. Suppose -3*o = -2*x + 79, 3*o + 2*o + l = 2*x. Is x prime?
False
Let j = -5 + 6. Let l be 10/5 - (-12)/j. Is 4/l + 131/7 composite?
False
Let m(u) = -555*u + 1. Is m(-4) a composite number?
False
Let t(h) = -h**3 + 8*h**2 - 2*h + 5. Let a be t(7). Suppose -a = 3*n - 4*n. Is (-2 - 1) + n - 3 a prime number?
False
Suppose 4*z - 6837 = -2693. Suppose b + 2*x + 0*x - 519 = 0, 2*x - z = -2*b. Is b a prime number?
False
Suppose 4*o - 35 = b + 4, -3*b - 5*o = 134. Let t = b + 127. Suppose 4*i - t = -3*c - c, 3*c - i = 79. Is c composite?
True
Let w = -11810 - -5726. Let p be w/(-10) + 10/(-25). Suppose p = 5*c - 47. Is c composite?
False
Suppose 4*y + 392 = 2*i, i + 4*i + 2*y - 956 = 0. Let v = i - 73. Is v prime?
False
Is (-10)/10*(-1 + -1476)/1 composite?
True
Let y(l) = 255*l + 19. Is y(12) a prime number?
True
Let o(g) = -g**3 - 6*g**2 + 6*g - 7. Let f be o(-7). Suppose f*u - 275 = -l - 2*u, 0 = 2*l + 2*u - 546. Is l composite?
False
Let a(f) be the first derivative of -f**3/3 - 5*f**2 - 5*f - 1. Let r be -1*(2 - 1) + -3. Is a(r) a prime number?
True
Let h(l) be the second derivative of 3*l**5/4 + l**4/6 + l**3/6 + l**2/2 + 4*l. Is h(2) composite?
False
Suppose -2*f - 5*f = -329. Is f a composite number?
False
Is 90/(-30) - (-1 + -3573) prime?
True
Suppose -3*s + 3 = -b - 1, 5*b - 10 = 5*s. Let y = b - -2. Is y prime?
True
Let v be ((-9)/(-4))/((-9)/24). Is (-14)/21 - 550/v a prime number?
False
Let z = 2 + 0. Let c(d) = 2 - z - 28*d - 3. Is c(-2) prime?
True
Suppose 2*o = -4*l - 3*o + 15, 3*l + 2*o - 13 = 0. Suppose 0 = 2*q - 2*j - 78, 0 = 3*q + l*j - 2*j - 105. Is q a composite number?
False
Let l(q) = 16*q + 7. Let k be l(-5). Let t(a) = -a**3 - 5*a**2 - 12*a + 12. Let b be t(-6). Let d = k + b. Is d a composite number?
False
Let a(o) = 1 + 7 + 7*o - o**2 + 0*o**2. Let t be a(7). Is 2/t + (-182)/(-8) prime?
True
Suppose 0 = 13*b + 588 - 6685. Is b a composite number?
True
Suppose -4 + 6 = p. Let z be -56*(9/2 - 2). Is z/(-2)*p/4 prime?
False
Suppose -6129 = -5*a + 3*x, 493 = a + 2*x - 738. Is a prime?
False
Suppose 4*c + 0*c = -12. Let q = -50 + 13. Is (2 + c - 0)*q a prime number?
True
Let o(v) be the third derivative of 1/2*v**3 + 1/60*v**5 - 1/20*v**6 + 0*v + 0 + 1/8*v**4 - 3*v**2. Is o(-2) prime?
False
Let s(o) = -20*o**2 + 7*o - 1. Let u be s(-5). Is (-14)/49 - u/14 a composite number?
True
Suppose 4*b = -2 + 10. Suppose 3*u - x = -214, 0*u = -b*u - 4*x - 138. Let o = -38 - u. Is o a prime number?
False
Let r(w) = w + 35. Is r(0) prime?
False
Suppose 4*d - 16 = 3*t, -4 = 2*t + 3*t - d. Suppose t = 5*g - 2*g + 24. Is 1/4 - 870/g prime?
True
Let r(j) = 9 + 4*j - 3 + 5 + 0 + 6*j**2. Let n(z) = -7*z**2 - 5*z - 12. Let l(y) = 5*n(y) + 6*r(y). Is l(0) prime?
False
Let x(s) = -s**2 - 7*s + 9. Let l be x(-7). Is l/6*56/6 a composite number?
True
Is (6 + 216/(-30))/((-4)/2270) prime?
False
Let r = -828 + 1183. Is r a prime number?
False
Suppose -3*v + 4*p = v, 3*v = -p + 20. Let w = 199 + -96. Suppose -2*o + 3*k + 43 = 0, -w = -v*o + 3*k + 18. Is o a prime number?
False
Let b(x) = -2*x**3 + 9*x - 6. Is b(-5) a prime number?
True
Suppose -1230 = -2*p - 116. Is p a composite number?
False
Let g(s) be the first derivative of -s**6/120 + 7*s**5/60 + s**4/24 - s**3/2 + s**2 + 1. Let b(d) be the second derivative of g(d). Is b(7) prime?
False
Let x = -650 - -1003. Is x prime?
True
Let o(s) = s**3 + 9*s**2 - 9*s - 11. Let t be o(-8). Let r = t - 48. Is r a composite number?
True
Let r be (-30)/9*1*-39. Suppose -3*z = -z - r. Is 1440/z - (-4)/(-26) composite?
True
Let j(q) be the second derivative of q**3/6 + 121*q**2/2 - q. Let l = -5 - -5. Is j(l) a prime number?
False
Let a = -71 + 322. Is a prime?
True
Let h be (-27)/(-3)*4/3. Let f be 2/8 + 33/h. Suppose 0 = -f*q - q + 380. Is q composite?
True
Let q(k) = 4*k**3 - 2*k**2 + k - 3. Let c = 11 + -8. Let i be q(c). Suppose 4*r = -3*f + i, r = f - 5 + 24. Is r composite?
True
Suppose m - 203 = -0*m. Is m composite?
True
Let j(t) = t**3 - 7*t**2 + 6*t + 4. Is j(7) composite?
True
Let u = 11 + -8. Suppose -541 = -5*o - 166. Suppose 3*x - 8*x = y - o, -u*x + 4*y + 45 = 0. Is x a prime number?
False
Suppose 0 = -0*s - 2*s - 18. Let q = s - -9. Suppose 4*h + 230 - 586 = q. Is h prime?
True
Let z = 134 - 31. Is z a composite number?
False
Suppose -5*z + 10 = 0, -z = 3*o + 9 + 19. Suppose 0 = 3*l - 4*i - 48, -14 = -l - 3*i + 5*i. Let s = l + o. Is s prime?
False
Suppose -2*u + 266 = -0*u. Let l = u - 77. Suppose -2*y + 22 + l = 0. Is y prime?
False
Suppose 0 = 92*k - 91*k - 2477. Is k a prime number?
True
Let z(f) = -4*f**2 + 6*f + 6. Let i be z(-6). Is (i/(-15))/((-2)/(-10)) a composite number?
True
Let v = 1089 - -1844. Is v prime?
False
Suppose 0 = 4*l - 0*l - 1948. Is l a prime number?
True
Let b(a) = -15*a**2 - 9*a - 21. Let v(q) = 7*q**2 + 4*q + 10. Let d(x) = 6*b(x) + 13*v(x). Is d(5) a composite number?
False
Let h(l) = 4*l**3 + 13*l**2 - l + 26. Is h(9) composite?
True
Let w(z) = -z**2 - 7*z + 4. Let l b