Let x(c) = c**3 - 5*c**2 - c - 8. Suppose 5*i + 39 = -0*a + 4*a, -18 = -a + 4*i. Let o be x(a). Let m = o + -3. Is m a composite number?
False
Let z be 0/((-2 - -3)*2). Let y = -95 - -100. Suppose z = -l - y*x + 298, -2*x - 1081 = -5*l + 382. Is l composite?
False
Let b(c) = 4*c + 371. Is b(-13) a prime number?
False
Suppose -3*l = -q - 313, -l + 116 = -0*q + 2*q. Let i(j) = 2*j**3. Let n be i(1). Suppose n*x - 494 + l = 0. Is x prime?
False
Suppose 3474 = 2*k + 15*x - 13*x, 0 = -2*k - 3*x + 3478. Is k composite?
False
Let b(v) = 14*v - 11. Let f be (1 - 7)/(-1) + (0 - -3). Is b(f) prime?
False
Suppose -9*o + 204 = -390. Is (-2 - o/(-24)) + 257/4 a composite number?
True
Suppose 5*c = 2*j - 1271, 10*j - 9*j - 629 = -4*c. Suppose 3643 + j = 4*d. Is d composite?
False
Is 1150/5*5 + -3*1 prime?
False
Let b(p) = 58*p + 8. Suppose 4*i + 2*o = 6*i - 18, -5*i = -3*o - 43. Let m be b(i). Let n = m - 311. Is n composite?
True
Let j = 29 + -30. Let h be (1 - j) + 1*5. Let m(x) = x**3 + 2*x**2 + 2*x - 6. Is m(h) prime?
True
Let p(z) = -130*z + 4. Let t be ((-6)/4)/3 - (-4)/(-8). Is p(t) a composite number?
True
Suppose -41*h - 17699 = -87645. Is h prime?
False
Suppose -j + 2*t - 45 = 0, -j - 2*t - 120 = j. Let z = 372 - 174. Let f = z + j. Is f prime?
False
Suppose 158*k - 11116 = 154*k. Is k prime?
False
Let g = -5 + 10. Suppose b - 175 = 3*p, 717 = b + 3*b + g*p. Suppose 4*k - b = 346. Is k prime?
True
Suppose -35*u + 30*u = -27355. Is u a composite number?
False
Suppose 0 = 3*j - 12, -5530 = -16*b + 14*b - 2*j. Is b prime?
False
Let n = 1917 + -3069. Is 1 - -2 - (n + 4) a composite number?
False
Let h = 10 + -5. Suppose 10*g + 140 = h*g. Let y = g - -249. Is y prime?
False
Suppose -7*t + 9 - 2 = 0. Let i(c) = 318*c**2 - 4*c + 5. Is i(t) composite?
True
Let a(c) be the second derivative of 11*c**4/6 + c**3/3 + 3*c**2 - 4*c. Let j(w) be the first derivative of a(w). Is j(1) a prime number?
False
Let j be ((-6)/4)/(3/(-24)). Suppose s - 6*s - 3*a = -31, -2*s + j = a. Suppose -5*f = -s*t - f + 1123, -3*t + 659 = 5*f. Is t a composite number?
False
Suppose -413*r = -412*r - 2321. Is r a composite number?
True
Let w = -47 + 70. Let a = w - 23. Suppose 5*j - 3*y - 610 = a, -j + 88 + 26 = y. Is j composite?
True
Let z be ((-13046)/(-44))/((-1)/(-2)). Let r = -340 + z. Is r a prime number?
False
Let d = -1937 + 4939. Let f = 2064 - d. Is (-27)/18*f/3 composite?
True
Let t(o) = -28*o**3 - 2*o**2 - o - 4. Suppose 9 = -2*n - n - 2*p, 3 = -n + 5*p. Is t(n) composite?
True
Suppose 13*g - 12*g = 526. Suppose 0 = -4*n + 6*n - g. Is n composite?
False
Let m(d) be the second derivative of 15*d**3/2 - 5*d**2/2 - 8*d. Let k be m(9). Let a = k - 69. Is a prime?
True
Let f be ((-56)/(-140))/((3/2710)/3). Let o = f + -582. Is o prime?
False
Let s(j) = 4*j**3 + j**2 - 3*j - 1. Let w(b) = b**3 - b**2 + b + 1. Let m(q) = -s(q) + 3*w(q). Is m(-7) prime?
True
Let b(n) = n**3 + n**2 + 5*n - 9. Let q(y) = -3*y**3 - 2*y**2 - 9*y + 18. Let w(k) = 5*b(k) + 2*q(k). Let s be w(7). Let c = 373 + s. Is c a prime number?
False
Suppose -2*k - 213 = -561. Let u(z) = -7*z + 128. Let s be u(18). Suppose -s*y - y = -k. Is y prime?
False
Suppose 15 = 4*g - 13. Suppose 456 = -2*p - i, -9*i = -g*i + 8. Let m = p - -317. Is m a prime number?
False
Let t = 35 - 17. Is (2/(-5))/(t/(-6030)) a prime number?
False
Suppose -a + 2*r + 44 = 0, 0 = 3*a - 2*a + 2*r - 28. Let m = a - -223. Is m prime?
False
Is (2/4)/(158/1371756) a prime number?
False
Let q(z) = 125*z + 5. Let l(k) = -1. Let p(c) = -10*l(c) - q(c). Let m be p(-3). Suppose -g + 4*y + 193 = 0, g - 5*y = -g + m. Is g composite?
True
Suppose 4*m - 40955 = -3*i, 26*i - 4*m - 68237 = 21*i. Is i composite?
False
Suppose 6*q - 14 = 10. Suppose 4*f + q*c - 3952 = 0, -f + 997 = -2*c - 0*c. Is f a prime number?
True
Let q(w) = -w**2 - 29*w - 11. Let d be q(-14). Suppose -3*x = 9, y + 4*x - d - 52 = 0. Is y prime?
True
Let g = 2 + 8. Let n(i) be the first derivative of 2*i**3 - 3*i**2 + 13*i - 6. Is n(g) a prime number?
False
Suppose -n - 666 = -3*n. Suppose -2*s + 3*g - 331 = n, 0 = s + 3*g + 314. Is 4/22 - s/22 composite?
True
Suppose 13*n - 18*n + 15815 = 0. Is n a composite number?
False
Let q(i) be the first derivative of -i**2/2 + 123*i - 4. Let t be q(0). Let u = t + -8. Is u prime?
False
Let w(y) = -23*y + 7. Let k(b) = 23*b - 8. Let s(a) = -4*k(a) - 5*w(a). Let u be s(5). Let q = 197 - u. Is q a prime number?
False
Let d = -11 - -25. Let v(x) = -8*x - 1 + 14*x + 0*x. Is v(d) prime?
True
Let p(b) = -39*b**2 - 5*b - 10. Let q(z) = -19*z**2 - 3*z - 5. Let j(r) = -3*p(r) + 5*q(r). Is j(3) composite?
True
Let r = 331 - 42. Is r composite?
True
Let w(b) = -2*b - b**3 + 0*b**3 - 6 - 7. Is w(-6) prime?
False
Suppose 20*c = 41*c + 630. Let t = -145 + -8. Let b = c - t. Is b a prime number?
False
Is 2/(-14) + (-8 - (-23700)/35) prime?
False
Let z(b) = -b**3 + 10*b**2 - 4*b - 13. Let f be z(11). Let u = f - -1391. Is u prime?
True
Suppose -2*d - 4*y = -32622, 5*d + 5*y - 81500 = 6*y. Is d a prime number?
True
Let s(i) be the first derivative of 12 - 29*i - 1/3*i**3 + 13*i**2. Is s(20) prime?
False
Suppose 5*j + 26677 = 4*l, 1039 + 32329 = 5*l + j. Is l a prime number?
True
Suppose 2*s = -4*a + 32338, -32341 = -2*s + 33*a - 38*a. Is s a prime number?
False
Let o = -6 + 11. Suppose 4*t = 5*r + 2*t - 260, 104 = 2*r - o*t. Suppose -2*p + 126 = r. Is p prime?
True
Let c(o) = -o**2 - 5*o + 7. Let f(t) = -t + 1. Let s(u) = -c(u) - 3*f(u). Let v be s(-9). Is v*1 + 77/7 a prime number?
False
Let h(f) = -3*f**3 + 11*f + 63. Suppose 0*r + 29 = -5*n + r, 5*r - 15 = -n. Let m(j) = 2*j**3 - 7*j - 42. Let o(l) = n*h(l) - 8*m(l). Is o(0) prime?
False
Suppose -3*m = 6, -2*b - 2*m - 1 - 3 = 0. Suppose b = 6*c - 1 - 29. Suppose w + 4*w = 3*s + 967, 0 = -5*w - c*s + 975. Is w prime?
False
Let f(h) = 66*h**2 - 19*h + 44. Is f(-15) prime?
False
Let q(y) = 6*y**2 - 31*y + 111. Is q(25) a composite number?
True
Let p = -1 - -9. Suppose 4*q + p = 4*d, -2*d + 4 = 2*q - 0*d. Suppose -7*i = -q*i - 2429. Is i composite?
False
Suppose -3*t = -n + 4*n - 12, 5*n + 43 = 4*t. Is (-2)/(-35)*33265 - (-1)/t composite?
False
Let x(a) = 67*a**2 + 5*a - 1. Let c = 112 + -121. Is x(c) prime?
True
Let l = 27 + -19. Suppose 0 = f + l + 47. Let q = 182 + f. Is q composite?
False
Let c = 27986 + -13539. Is c a composite number?
False
Let s = 218 - 192. Is s prime?
False
Let l = 12 + -8. Suppose 3 + 17 = d - s, -l*d - 2*s + 98 = 0. Is (d - 2)*(-2)/(-3) a composite number?
True
Suppose 19155 = -2*y + 5*y. Is y a composite number?
True
Let k = 36277 + -22974. Is k composite?
True
Suppose 0*k = -29*k + 309923. Is k a prime number?
True
Let m(l) = 1. Let y(a) = 27*a**2 - 7*a - 13. Let h(z) = 6*m(z) + y(z). Is h(-6) composite?
True
Suppose 165*z - 11213 = 164*z. Is z a prime number?
True
Suppose -5*c - 14995 = -i + 6*i, 2*i - 10 = 0. Let x be (-1)/(-2 + (-6004)/c). Let q = x + -458. Is q prime?
True
Suppose 0 = -2*p + 948 + 992. Suppose 3*j - d - p = 0, d - 1 = 2*d. Let a = j - 184. Is a a prime number?
True
Let u(c) = 8942*c**2 - 11*c + 26. Is u(3) prime?
True
Let t be 1240/6*(-30)/(-25). Let b = -151 + t. Is b a composite number?
False
Let w be 260/45 + (-4)/(-18). Suppose -11*x = -w*x + 40. Let o(i) = -86*i - 9. Is o(x) prime?
False
Suppose -3513 = -4*g - x, 0 = 19*g - 17*g + x - 1759. Is g a composite number?
False
Let f be 2/(-7) - (-3072)/21. Is f/4 + 12/24 composite?
False
Let o(u) = 2*u**3 - 2*u**2 - 3*u + 4. Let k be 0 - (-1)/((-1)/(-2)). Let p be o(k). Suppose 0*t - 3810 = -p*t. Is t a prime number?
False
Is 1 - (-52)/(-44) - 18919452/(-132) prime?
True
Let f(x) = 57*x**2 - 7*x + 7. Let g be f(3). Let u = 820 - g. Is u a prime number?
False
Suppose 147 = -16*w + 19*w. Let b = w - 12. Is b a composite number?
False
Let z be 267*(5 - (-16)/(-4)). Let r = z + -164. Let k = r - 72. Is k composite?
False
Is (-5)/((-20)/(-4))*-8581 a prime number?
True
Let u = 266062 + -186441. Is u composite?
False
Let n(f) = 50*f + 17. Is n(14) a composite number?
True
Suppose -16 = -2*x + c - 6*c, -3*x + c = 10. Let t(i) = -271*i - 1. Is t(x) prime?
True
Let v = -15061 - -21654. Is v a prime number?
False
Let x be (6815/25 + 4)*5. Let c = x - 932. Is c a prime number?
False
Suppose -4*j = -5*q + 11448 + 8613, 