 2 + 0 - 2*c. Let d be o(-2). Suppose -5*m - 742 = -2*z, d*m = z - m - 371. Is z composite?
True
Let n(v) = -v**2 + v + 2. Let l be n(0). Suppose 3*f - 6308 = -2*o, 3*o - 7*f = -l*f + 9443. Is o prime?
False
Suppose 5441 = 7*z - 2028. Suppose y = 4*b + z, 2*b = y - b - 1072. Is y prime?
True
Is 15/10 - (0 - (-969)/(-6)) composite?
False
Let c(g) = g**2 - 127. Let a be c(0). Is 6/(-8) - a/4 prime?
True
Suppose 3*x = -x. Let f be (-11574)/(-42) + 4/(-7). Suppose 4*j + j - f = x. Is j a composite number?
True
Suppose n - 23 + 260 = 0. Let f = n + 152. Let d = 126 - f. Is d a prime number?
True
Suppose -2*n + 2*w + 5 = -5, -2*w - 4 = 0. Suppose j + 17 = n*s, -2*j - 14 = -0*j - s. Let r(v) = -45*v - 12. Is r(j) a composite number?
True
Let g(q) = 23*q**2 + 17*q - 82. Is g(20) a prime number?
False
Let g(o) = 54*o + 1. Is g(3) a composite number?
False
Suppose 0 = 12*g - 35968 - 214652. Is g a composite number?
True
Suppose 0 = 4*v + 2*i + 6, v + 3*i + 5 = -i. Let y be -2 + (119 - -4) - v. Let t = y - 43. Is t prime?
True
Let y(c) be the first derivative of c**4/4 + c**3 + c**2/2 - 12*c + 18. Is y(11) a prime number?
True
Let g = 9211 - 1310. Is g prime?
True
Suppose -7*a = -4*c - 9*a + 7924, 4*c - 7930 = a. Is c a composite number?
True
Suppose -1 - 8 = -3*y. Suppose 0 = y*u - 237 - 0. Is u composite?
False
Is (16/24)/(16/149064) a composite number?
False
Let a(b) = b**2 - 3*b - 3. Let v be a(4). Let h(k) = 666*k**2 - k + 2. Is h(v) a prime number?
False
Let d(f) be the second derivative of -f**4/12 - f**3/6 - 3*f**2/2 - 2*f. Let w be d(0). Is ((-3 - w) + 1)*31 composite?
False
Let q(y) = -y**2 + 12*y + 10. Let p be q(12). Suppose -6*g = -g + p, -2*g = -2*a + 14. Suppose 1586 = a*j - 4*r, j + 5*r + 962 = 4*j. Is j a prime number?
False
Is 11/55 - (-560286)/45 a composite number?
False
Let o = -1548 - -2529. Let n = -26 + o. Is n prime?
False
Suppose -2 = 35*b - 36*b. Is 1280 + (2/(-2))/(b/6) composite?
False
Let l(x) be the second derivative of 5*x**4/12 - x**3/2 + x**2/2 - 6*x. Let j be l(5). Suppose -3*m + 0*m + j = 0. Is m composite?
False
Suppose o - 2*j - 16169 = 0, 4*o = -5*j - 16731 + 81368. Is o a prime number?
False
Let o(r) = 6226*r - 13. Is o(2) composite?
True
Let o = 153 + -75. Is ((-460)/(-30))/(1 - 74/o) prime?
False
Suppose c - 4*s = 19, -4*c + 0*c = 2*s - 22. Let n = 9 - -57. Let u = n - c. Is u composite?
False
Suppose 17*v = 25*v - 13072. Suppose 4107 = 5*o - u, 0 = 2*o - 2*u + 6*u - v. Is o a composite number?
False
Let q = -103 + -74. Let w = 259 + q. Is w prime?
False
Let s(l) = -2*l**2 + 12*l + 6. Let k be s(8). Let a = k + 29. Suppose -j = -4*u - 0*j + 83, -a*u - j + 71 = 0. Is u a prime number?
False
Suppose 22961 = -277*g + 278*g. Is g a composite number?
False
Let y(a) = -38*a**3 + 5*a + 16. Is y(-3) a composite number?
True
Let h(x) = 65*x**2 + 43*x + 19. Is h(9) composite?
True
Suppose 0 = 3*v + h - 6842, h - 560 = -2*v + 4003. Is v composite?
True
Suppose -2*j + 4*h = -33686, 3*j - 5*h + 242 - 50768 = 0. Is j a prime number?
False
Suppose 3*o = 978 + 168. Is (-1 + (-12)/(-8))*o prime?
True
Is (3 + 36651/2)*60/135 a composite number?
True
Is 183/4*(-9)/(27/(-44)) prime?
False
Let i(c) = -c + 77. Let m be i(0). Let s = m - -6. Is s a prime number?
True
Let n be (66/55)/((-3)/(-2090)). Let d be 4/10 - n/(-10). Suppose d = 3*x - 171. Is x a prime number?
False
Let x be ((-3)/(-6))/((-1)/22). Let j = x - -13. Suppose -7*r - 4*g = -2*r - 709, -2*r = j*g - 282. Is r a composite number?
True
Suppose 4*q - 4*f - f - 25 = 0, 2*q - 5 = f. Suppose q = -3*w + 465 + 1590. Is w composite?
True
Let w(v) = -10*v**2. Let l be w(1). Let b = l - -14. Suppose -100 = -x - 2*x - u, -3*x - b*u = -103. Is x composite?
True
Let r be (-2 - 2) + (-2 - -6). Suppose 4*w = -r*w - 5*c + 2693, -c = 3*w - 2028. Is w a composite number?
False
Suppose 2*g + 650 = 4*g + 5*s, s - 4 = 0. Suppose 47 = p - g. Is p a prime number?
False
Let v = 1316 - 97. Is -2 + -1 + -3 + v prime?
True
Suppose -5*u + 0*f + f + 36114 = 0, 8 = -2*f. Let x = -3879 + u. Is x prime?
True
Suppose 0 = 3*b - 6*q + 9*q - 69486, -3*q = -9. Is b a prime number?
True
Let z = -938 - -669. Let r = -187 - z. Is r a composite number?
True
Suppose 3*b - 29170 = -y, -5*b - 2*y + 25167 = -23451. Is b prime?
False
Let n = 12961 + -5446. Is 6 + n/20 + 1/4 composite?
True
Let v be 2/(-6) + 9/27. Suppose -2*k - j + 13 = v, -k - 3*j + 4 - 5 = 0. Let g(z) = 38*z - 5. Is g(k) composite?
True
Suppose 4219573 + 5546755 = 88*y. Is y prime?
False
Suppose r - 2*r + 117 = 0. Let u be (-284)/6 + 1 + 14/42. Let o = r + u. Is o prime?
True
Suppose 2*c - 3 = c. Let k(m) = 2*m**3 - 3*m**2 - m + 4. Let o be k(c). Suppose 0*z + o = 4*z. Is z a prime number?
True
Let i = 7182 + -4745. Is i a prime number?
True
Let u(d) = 88*d**3 - 3*d + 3. Suppose -2*g = -5*i + 4, -i - 2*i + 15 = 3*g. Is u(i) a prime number?
True
Let w = 7987 + -1168. Is w a prime number?
False
Suppose -4*y + 2*j = 6, -y + 2*y = -2*j + 6. Let h be (y - 3) + 2/2. Is 15/(h - -7) + 680 composite?
False
Let w be (-8)/28 + (-60)/(-14). Suppose n + 1280 = w*p + 161, -2*p - 4*n + 582 = 0. Let o = 534 - p. Is o a prime number?
False
Let u be 1/(((-33)/18)/(-11)). Suppose -325 - 1217 = -u*z. Is z composite?
False
Suppose -2*k + 216 = 4*h - 2*h, -2*k + 3*h + 236 = 0. Let f = 104 + -165. Let r = k + f. Is r composite?
True
Let o = 16 - 12. Suppose -3*n = -3*f + 204, -f + 100 - 26 = -o*n. Let u = 63 + f. Is u a composite number?
True
Let z = -10 - -4. Let n = 11 + z. Suppose -2*o + 5*d + 32 = 0, 34 = -n*o - 3*d + 145. Is o composite?
True
Let v be (-1 - -4 - 2)*0. Is (v - 409)/(-1 + 0) composite?
False
Suppose -11383 = -3*x + m + 571, -4*m = -2*x + 7966. Is x prime?
False
Let w(r) = 6*r - 1. Suppose 6 = 3*k + 3. Let u be w(k). Suppose -u*f = -5, -3*q - 2*f - 314 = -7*q. Is q prime?
True
Suppose -37011 - 127016 = -89*a. Is a prime?
False
Suppose -24*f = -6*f - 226134. Is f prime?
False
Let p(c) = 1301*c**2 - 4*c + 3. Is p(2) prime?
False
Suppose -27*a = 2*d - 25*a - 17162, -4*d - a + 34318 = 0. Is d a prime number?
False
Let n be 3/(-7) + 242/(-7). Let i = 142 - n. Is i prime?
False
Let z = -545 - -1313. Let f = z + -437. Is f prime?
True
Let w = -37 - -25. Let c(h) = h**3 + 15*h**2 - 4*h + 5. Is c(w) composite?
True
Let l be (-3)/((6/142)/(-13 - -12)). Suppose 3*n - l = -5*s + 38, 0 = -s + 2*n + 27. Is s composite?
False
Suppose -i = 2*f - 0*i - 1572, -4*i = -5*f + 3943. Let o = f + -152. Is o prime?
False
Suppose 14077 = 5*l + 3*g, -5*l + 14076 = 2*g + 2*g. Suppose -4*q + l = 3*i, -2*q + 2832 = 2*q - i. Is q a composite number?
True
Let l = -2796 + 7117. Is l prime?
False
Let g = 9 - 6. Suppose -10*j = -0*j - 1160. Suppose g*d - d = j. Is d composite?
True
Let x = 2085 + -182. Is x a composite number?
True
Let b be (-8)/(-60) + 122/(-15). Let q(s) = -97*s + 11. Is q(b) prime?
True
Let b = 5906 - 3573. Is b composite?
False
Let v = 4488 + 2315. Is v prime?
True
Let x = -3367 - -5076. Is x a prime number?
True
Suppose -2*b - 2*d = -3*b + 13055, 65231 = 5*b + d. Is b composite?
True
Let c(a) = a - 5. Let h be c(8). Let n be (-4)/24*3*-4*574. Is h/((-48)/n)*-4 a prime number?
False
Suppose -3*r + 45516 = 9*r. Is r composite?
False
Let c be 19/2 + (-5)/(-10). Let a be (-8)/c*1070/(-4). Suppose -4*l - 3*f = -a, f + 283 = 5*l - 3*f. Is l composite?
True
Let i be (1/2)/(1/(-6)). Let b(f) = -f**3 + 16*f**2 - 29*f + 15. Let k be b(15). Is -1*((k - i) + 1) composite?
False
Suppose 10 = 16*a - 14*a. Let y be (42/15 - 2)*1915. Suppose 3*q + y = a*u, -4*u - 306 = -5*u + q. Is u a composite number?
False
Suppose -20 = -7*p + 2*p. Suppose p*k - 288 - 124 = 0. Is k a prime number?
True
Let c(x) = x**2 + 120. Is c(-35) composite?
True
Let j(b) = b**3 - 19*b**2 - 43*b + 23. Let k be j(21). Suppose k*f - y - y - 3512 = 0, -3513 = -2*f + y. Is f a composite number?
True
Is 16499/(6 - -1)*(-8)/(-8) composite?
False
Let a(q) be the second derivative of 5*q**4/2 - q**3/6 - 36*q. Suppose s = -k - k - 4, -3*k - 3*s = 9. Is a(k) a prime number?
True
Suppose -20694 + 49764 = 9*r. Let f = 4984 - r. Is f composite?
True
Suppose 4*t + 190215 = 5*g, -152141 = -55*g + 51*g - 3*t. Is g composite?
False
Let s(b) = -4*b + 6. Let j be s(5). Let x = 13 + j. Is 58 + (1 - 2)*x a composite numb