10. Is y prime?
False
Let n(m) = -m**3 + 13*m**2 + 4*m - 21. Is n(8) composite?
False
Suppose -j + 0 + 3 = 0. Suppose 0 = 4*r - j*r + 3*z - 50, 5*z + 67 = 2*r. Suppose 0 = -3*x + r + 4. Is x composite?
True
Let s(w) = -w**3 + 8*w**2 - 8*w + 3. Let r(z) = -z**2 - 6*z + 8. Let q be r(-7). Suppose -q = -2*y + 9. Is s(y) composite?
True
Let i = 156 + 208. Suppose i = 3*g - 143. Is g a prime number?
False
Let u be 18/(-4)*(-6)/9. Let d(o) = 29*o**2 + 4*o - 4. Is d(u) prime?
True
Let s(k) = k + 13. Let f be s(-8). Let o be -1 - (-45)/(-2 - -1). Let p = f - o. Is p composite?
True
Suppose 12*r = 16*r - 1284. Is r a composite number?
True
Suppose 2*o - 4*o = -42. Is o a prime number?
False
Let y = -1275 - -858. Let m = -59 - y. Is m a composite number?
True
Let l be 1 + -4 + 2 + 559. Suppose -2*c + 3*b = 15, 2*c = 7*b - 2*b - 25. Suppose 0 = -y - 2*y + 5*t + l, c = -5*y - 3*t + 964. Is y a prime number?
True
Let k = 5 + -112. Let z = k - -178. Suppose 4*w = -2*v - 3*v + z, -3*v + 5*w = -50. Is v a composite number?
True
Is (-2)/2*(-158)/1 a composite number?
True
Suppose 13*x - 95 = 12*x. Is x a composite number?
True
Suppose -9*c = -2*c - 1477. Is c a composite number?
False
Let x(l) = 9*l**2 - 7*l + 1. Let t be x(8). Let o = -228 + t. Is o a composite number?
False
Let t(r) = 0 + 1 + 0 - 5 - r. Let k be t(-4). Suppose -w - 2 = 2*j, 3*j = -k*w - w - 6. Is w composite?
True
Suppose -4*s + 10*s - 5502 = 0. Is s composite?
True
Let k(f) = -f + 1. Suppose 0 = -m - 4*m - 5. Let s be k(m). Suppose -3*p + j + s*j = -117, -5*j = 10. Is p a composite number?
False
Let t = -4 - -9. Suppose -3*f = -t*f + 3016. Suppose 2*z + 2*z - f = 0. Is z a composite number?
True
Let n be (4 - 5) + -2 + 5. Is (-7)/(3/(-18)*n) composite?
True
Let j = -197 + 2080. Is j a prime number?
False
Suppose -40*g + 11665 = -35*g. Is g a composite number?
False
Let r be (-19 - -5) + 0/(-2). Let m = 60 - r. Suppose 0 = 4*u - 6*u + m. Is u composite?
False
Let j = 532 + 181. Is j prime?
False
Let h(l) = l**3 - 7*l**2 + 5*l + 6. Let i be h(6). Let u(j) = 9*j**2 - 3*j + 2. Let o be u(4). Suppose i = -2*q - 0*q + o. Is q a composite number?
False
Suppose -3*i + 859 = q, 3*q + 0*i - 2547 = -3*i. Suppose 3*x - q = -x. Is x a prime number?
True
Suppose -124 = -5*g + 211. Is g a prime number?
True
Let x be (3 + 6)*1 + 3. Is (474/x)/(1/4) a prime number?
False
Let k = -5 - -7. Suppose 1 = k*w + 3. Let b(n) = -6*n**3 - n**2 - n. Is b(w) a prime number?
False
Suppose -q = 2 - 7. Suppose -q*x = -6*x + 4. Is (26/x)/((-4)/(-40)) a prime number?
False
Let s(h) = h**2 + 7*h + 2*h - 5*h - 2. Let w be s(-5). Let m(z) = z**2 + 5*z - 3. Is m(w) composite?
True
Is -2*(-24315)/(-10)*2/(-6) prime?
True
Let z(v) = 8*v**3 + 3*v**3 + v + 0*v**3 - 1. Suppose b + b - 2 = 0. Is z(b) composite?
False
Let p = -32 + 71. Let v = p + -20. Is v composite?
False
Let c = -358 + 731. Is c a composite number?
False
Let k = -202 - -337. Suppose -344 = -q - k. Is q a composite number?
True
Suppose 4*a = -0*a + 16. Is a/(-14) + 1482/42 a prime number?
False
Let m be (-5)/(-4 + 2 - -1). Let l(u) = 2*u**3 - 3 - 6*u**2 + 2*u + 4 - 4*u. Is l(m) a prime number?
False
Let v(a) = -a**3 + 5*a**2 + 6*a. Let o be v(6). Suppose -2*r - 2*r + 16 = o. Suppose 94 = 2*y - 2*h, -3*y + r*h + 142 = -0*h. Is y composite?
True
Let t(b) = -b**2 + 9*b + 13. Is t(9) composite?
False
Let q(h) = 5*h + 2. Is q(7) a prime number?
True
Let x = -3 + 0. Let w(j) = -2*j**3 - j**2 + 4*j + 1. Is w(x) composite?
True
Is 67*(2/2 + 0) prime?
True
Let z = 70 - 113. Let q = -30 - z. Is q a prime number?
True
Suppose m - 178 = 4*b + 3*m, -223 = 5*b + 2*m. Let r be -1 - 0 - (b + 2). Is ((-2)/4)/((-3)/r) composite?
False
Let s(r) = -2*r**3 + 2*r**2 + 4*r + 5. Let x(b) = -b**3 + 11*b**2 - 11*b + 6. Let n be x(10). Is s(n) composite?
False
Suppose -2*k + 0*k = -3*c + 5, 3*c - 13 = -2*k. Suppose 2*o - 71 = o + d, k*o - 142 = -4*d. Is o a composite number?
False
Let k be (2 - -3)*(-16)/10. Let u = 18 + k. Is u prime?
False
Let b = 757 + -527. Let q = 447 - b. Is q composite?
True
Let c = -24 + 92. Suppose -v + c = -59. Is v a composite number?
False
Suppose -2*v = 211 - 71. Suppose -4*o = 4*d + 112, -3*d + 15 = 2*d. Let n = o - v. Is n a composite number?
True
Let h = 2512 - -5355. Is h a prime number?
True
Let x = -316 + 947. Is x a prime number?
True
Let n(q) be the second derivative of q**4/24 + 127*q**3/6 - 3*q**2/2 + q. Let h(k) be the first derivative of n(k). Is h(0) a prime number?
True
Suppose -4389 = 2*d - 11131. Is d prime?
True
Let o(n) = 34*n**2 + 2*n - 7. Is o(-3) composite?
False
Suppose 8 = 7*x - 3*x. Is -573*4/(-24)*x a composite number?
False
Is 10/(-85) - (-18481)/17 a composite number?
False
Let g = 2471 - 1432. Is g a prime number?
True
Suppose 2*q - 2*m - 96 = 4*q, 0 = -4*q + 4*m - 176. Is (q/3)/((-2)/3) composite?
False
Suppose 16 = 4*p - 4*b, -3*p - 4*b = p - 32. Let k be 90/(-25)*(-80)/6. Suppose 3*a = 3*w - k, 3*w - a - 52 = -p. Is w a composite number?
True
Let a be (1 - -2)/(2/(-4)). Let u = 8 + a. Suppose 0 = 5*q - t - 110, -u*q - t - 3*t + 66 = 0. Is q a composite number?
False
Suppose 5*c + 3 - 8 = 0, 578 = 3*s + 5*c. Is s prime?
True
Suppose -x - 20 = 3*x. Let j(u) = -u - 3. Let t be j(x). Suppose 6*a - 124 = t*a. Is a prime?
True
Let r be (-10)/(-35) + 38/14. Suppose 0 = 3*i - 6*k + 2*k - 1, -21 = -5*i - r*k. Suppose -2*p = i*w - 2*w - 15, 5*w - 95 = -5*p. Is w composite?
False
Let q(t) = 3*t**2 - 3*t + 5. Let i(k) = 9*k**2 - 8*k + 14. Let u(l) = 4*i(l) - 11*q(l). Suppose 3*o = 5*r + 5, 0 = -5*o + 6 + 19. Is u(r) a prime number?
False
Let i(z) = z**3 + 3*z**2 - 7*z - 5. Let c(g) = -3*g - 1. Let k(a) = a. Let o(s) = -2*c(s) - 7*k(s). Let l be o(6). Is i(l) composite?
False
Let r(t) = 29*t**2 - t - 2. Is r(-4) a composite number?
True
Suppose 0 = i - 3*i. Let w = i + -1. Is (w - -2 - -15) + -2 composite?
True
Suppose -a = 2*a - h - 327, 4*a = 4*h + 428. Let u = -26 + a. Suppose 0 = 2*s + 5*g - 78, -3*s = -4*g - 10 - u. Is s composite?
True
Suppose -3*u + 2*u = -237. Is u prime?
False
Suppose -6*c - 228 = -2502. Let p = c - 266. Is p composite?
False
Let x(p) = 5*p - 4*p + 4*p - 2*p. Let l be x(-6). Let w = -11 - l. Is w a composite number?
False
Is (-2005)/(-8) - 27/(-72) composite?
False
Suppose 4*p + 4*m + 0*m = 2916, -3*m + 1461 = 2*p. Let b = p + -255. Is b a composite number?
True
Let f(o) = o + 28. Let n be f(0). Let p = 4 - 2. Suppose p*d - 138 = -n. Is d a composite number?
True
Let n = -497 - -828. Is n composite?
False
Suppose 0 = 2*j + 2*j + 5*z - 5877, 1476 = j - z. Suppose -158 + j = 4*f + 3*c, -2*c = 3*f - 987. Is f composite?
False
Suppose 5*c + 239 = z + 10, -2*z - 3*c + 406 = 0. Is z a composite number?
True
Let c(p) = -4*p - 1. Let l be c(-1). Suppose -l*h - 2*h - 5*f + 425 = 0, -2*h - 4*f = -162. Is h prime?
True
Suppose -2*k + 5*u + 3522 = 2*u, 5*k - 8805 = u. Is k composite?
True
Let c(i) = -21*i - 2. Is c(-1) a composite number?
False
Let m(j) be the second derivative of 4*j**3/3 - 5*j**2 + j. Is m(7) composite?
True
Let m(s) = s**3 + 6*s**2 + s - 15. Is m(-4) a composite number?
False
Suppose -3*k - 4*r - 260 = 0, k + r = 3*k + 166. Let n = 18 + -49. Let m = n - k. Is m prime?
True
Suppose -j + 669 + 34 = 0. Is j a prime number?
False
Let c(b) = -31*b - 4. Let y(q) = 63*q + 9. Let g(n) = 7*c(n) + 3*y(n). Let z be g(-2). Let t = z - 36. Is t prime?
True
Let p(o) = -3 - 2*o**3 + 4*o - 2*o**3 + 2*o**2 + 3*o**3. Let r be p(3). Suppose -5*b + 120 + 145 = r. Is b composite?
False
Let n = 14 - 11. Suppose -2*o - 2*o - n*s = -1148, 5*o - 1435 = -4*s. Is o a composite number?
True
Suppose -3*u + 4 = -2, 4*w + 3*u + 30 = 0. Let o(y) = -5 - 5*y**2 - y**3 - 3*y**2 + 8*y + 2. Is o(w) a prime number?
False
Let q(t) = t + 5. Let g be q(-5). Suppose -2*x + 2 + 4 = g. Suppose -n - 5*c + 5 = 0, -6*n + x*c = -n - 137. Is n prime?
False
Suppose -s - 4*z + 1574 = s, s - z - 802 = 0. Is s composite?
False
Suppose 35 = 2*r - r. Suppose 0 = -2*q - 2, 3*n + 4*q + r - 487 = 0. Suppose 0*y = -4*z + 5*y + n, 5*y - 112 = -4*z. Is z a composite number?
True
Suppose -4*s - 115 = -1767. Is s composite?
True
Let o be (2*-12)/4 + 2. Is (-1 + -1)/(o/514) prime?
True
Let s = -42 - -94. Suppose 3*n - 4*f - 232 = -n, -f = n - s. Is n composite?
True
Let