8*g**2. Let k be u(-1). Suppose k = 5*q - 1597. Is q composite?
False
Let j(a) = a**3 - a**2 - a + 1. Let s be j(0). Let v(y) = -y - y + 4*y**2 + y**2 + s + 3. Is v(-3) a composite number?
True
Is 48/(-12) + 9 + 10056 a prime number?
True
Suppose 7 = -3*u - 5. Let g(f) = -2*f**2 - 2*f - 6. Let s be g(u). Let m = 1 - s. Is m prime?
True
Let a = -52 - -52. Suppose 5*b - 2*x - 1095 = 2*x, -4*x = a. Is b a prime number?
False
Suppose 30*s - 33*s + 102 = 0. Is s prime?
False
Suppose -4*p = 4*p - 3320. Let r = 746 - p. Is r a composite number?
False
Let t(s) be the first derivative of -1/3*s**3 - 4*s + 12*s**2 - 3. Is t(15) prime?
True
Suppose 0 = 2*f - f - 2*s - 22909, 3*s = -12. Is f a composite number?
False
Let g = -2377 + 5090. Suppose 5102 = 5*v - g. Is v a composite number?
True
Let c = 385 + -139. Suppose -3*y + y - c = -2*b, 3*y = 5*b - 623. Is b prime?
True
Let b = 76 - 78. Let d(p) = 232*p**2 + p + 3. Is d(b) a composite number?
False
Let o(t) = 10*t**3 + 3*t**2 - 6*t + 9. Is o(4) a composite number?
False
Let p(l) = 225*l - 9. Let v be p(-3). Let a = v - -1639. Is a a prime number?
False
Let x = -8738 + 6056. Is ((-3)/(-9))/((-3)/x) prime?
False
Let m(k) = 28*k**3 + 3*k**2 + 2*k - 1. Let l be m(-3). Let u = -469 - l. Suppose 4*t = 5*g - 4*g - 81, -4*g - 3*t = -u. Is g a prime number?
False
Let o = -493 - -725. Suppose 0 = -2*k - 40 - o. Let p = -39 - k. Is p a prime number?
True
Suppose y = -5, t + y + 247 = 4*y. Let a = -121 - t. Is a a prime number?
False
Suppose 1 = 2*h - 5. Suppose 2*o + 1 = -5*g + 7, 5*o + 16 = h*g. Suppose 4*a - 204 = g*b, -4*a + 3*a + b = -49. Is a prime?
True
Let m be (17 - -11)*(-2)/4. Let c = -24 - m. Let h(o) = -27*o + 1. Is h(c) composite?
False
Suppose -3*b = -114 + 8052. Is (-1)/(-2) + b/(-12) composite?
True
Suppose 6619 = 4*p + 3*f, -35*p + 4*f = -31*p - 6640. Is p prime?
True
Let g = 11 - -196. Suppose 5 = x - 0*x. Suppose -j + 328 = x*d, g = 2*d + d + 4*j. Is d a composite number?
True
Suppose -307 = -5*x - 4*v + 1344, -973 = -3*x + 2*v. Suppose 1 = -3*o + 2*o - 3*c, 0 = 4*c + 4. Suppose 1680 = 5*n + d, -o*d + x = -n + 2*n. Is n prime?
True
Let n(l) = 10*l**3 + 2*l**2 + l - 2. Suppose 0 = -2*v - 2*v + 12. Suppose 0 = 4*w - 2*w + v*k - 9, -4*k = -4*w + 8. Is n(w) composite?
True
Let a = 7 - 3. Let l(b) = 35*b**2 - 5*b + 3. Let z be l(a). Let v = 988 - z. Is v a prime number?
False
Let a(p) = 5173*p**2 - 4*p - 2. Is a(1) composite?
False
Let u(q) = -14*q**3 + q. Let j be u(-1). Let x = j - 19. Let g = x + 149. Is g a prime number?
False
Suppose 2*h + 4*i + 16 = h, -3*i = 2*h + 12. Suppose h*o = -p + o - 1, -4*o - 5 = 5*p. Is (-3 - p)/(8/(-28)) composite?
False
Suppose -p - 4*p = 0. Suppose p*n = 4*n + x + 1416, 1770 = -5*n - 4*x. Let j = n - -823. Is j a prime number?
False
Let k be 2455/(2/3*30/20). Suppose -5*n + 4*o = -k - 738, -3*n + 3*o + 1914 = 0. Is n composite?
False
Let n = 28 - 24. Suppose -n*b - 300 = -2*t + 226, b = -2*t + 501. Is t prime?
False
Suppose -37277 - 6346 = -9*j. Is j prime?
False
Let y(l) be the second derivative of -l**7/420 - l**6/120 - l**5/120 + 5*l**4/24 + l**3/6 + l. Let p(g) be the second derivative of y(g). Is p(-5) composite?
True
Let f(u) = u + 1. Let p be f(-2). Let a(w) = 4*w**2 - w - 2. Let m be a(p). Suppose 2*v = 2*l - 374, m*v - v = l - 189. Is l prime?
False
Is (-6 - 104510/4)*-2 a composite number?
False
Suppose -9 - 1 = -2*r. Let s be ((-12)/(-20))/((-1)/(-15)). Suppose 188 = s*m - r*m. Is m composite?
False
Is (-15)/((-90)/(-50708))*(-3)/2 prime?
False
Let k(t) = 9*t**2 - 5*t + 29. Suppose 4*p = d - 46, -2*p - 11 = -2*d + 9. Is k(p) a prime number?
False
Suppose -13 - 91 = -4*x. Suppose 0 = 25*y - x*y + 4735. Is y a prime number?
False
Let b = -5277 + 9988. Is b a composite number?
True
Let o(v) = -v**3 + 4*v**2 - 22*v + 1. Let z(j) = 3*j**3 - 12*j**2 + 65*j - 3. Let l(g) = 8*o(g) + 3*z(g). Is l(11) composite?
True
Let p = 18 - 20. Is 2/p*(6 + -119) a composite number?
False
Suppose -110421 - 73163 = -32*o. Is o prime?
True
Let r(g) = -653*g - 164. Is r(-11) a composite number?
False
Suppose 0 = -o + 4 - 3. Is 257/o + -3 + 3 composite?
False
Is -5 + (5 - (-178)/1) prime?
False
Let d be (-3)/(-6)*(-2 - -3 - -1). Let j(a) = 188*a - 1. Is j(d) a prime number?
False
Let h(z) = -z**2 - z + 63. Let i be h(0). Suppose 2*m + i = -287. Let c = -120 - m. Is c a prime number?
False
Let s = 105773 - 51360. Is s prime?
True
Suppose 0 = -4*y + 6*y - 17304. Let a = y + -4987. Is a a prime number?
False
Let h be 1/(-2) + (-4775)/(-10). Let g = h + -292. Is g a composite number?
True
Suppose 1 = s - 1. Let p(l) = -3*l**2 + 2*l - 2 - 3*l**3 + 5*l**3 + 4*l**s. Is p(3) a composite number?
False
Suppose 0 = -4*a - 3*b + 1 + 3, 2*b + 8 = 0. Suppose -318 = -a*p + p. Is p composite?
True
Suppose 0 = -3*b - 5*s + 18554, -b = -2*b + 4*s + 6162. Is b composite?
True
Let f(y) = -8*y**3 + 4*y**2 - 1. Suppose 2 = k + 3*u, -2*u - 2 + 4 = 0. Let m be 0 + (-3)/(k/(-1)). Is f(m) composite?
False
Let h(f) = -2*f + 26. Let t be h(12). Suppose t*u = 5*u. Suppose u*n = 4*n - 20, -3*p - n + 278 = 0. Is p composite?
True
Let u(f) = f**3 + 6*f**2 - 8*f - 8. Let m be u(-7). Let p be (-1924)/(-16) + m/4. Let z = p + -33. Is z composite?
True
Suppose -3*o - 3397 = 4*i - 1028, o - 2*i = -783. Suppose -154*t = -163*t + 14472. Let g = o + t. Is g a prime number?
True
Let p = -2 - 0. Let z = -6 - -2. Is (p/z)/((-6)/(-2676)) a composite number?
False
Suppose -3*x - 3336 = -x - o, 0 = 4*x - 3*o + 6672. Is (-4)/12 - x/9 a composite number?
True
Suppose -f = -3*n - 14, 13 = f - 5*n - 5. Suppose 4*l = -2*s + 26, 2*s + 28 = 4*l - 2*l. Suppose l*m - f*m = 307. Is m prime?
True
Let l(n) = 3*n. Let t be l(1). Suppose t*s = s + 372. Let a = 625 - s. Is a prime?
True
Suppose 141 = 5*x + 36. Suppose -3*b + 3*p + x = 0, b - 7 = 4*b + 4*p. Is b - 8*116/(-8) a prime number?
False
Let x(d) = 205*d**3 + 3*d**2 - 17*d + 23. Is x(3) a prime number?
False
Let j = 326 - 161. Suppose j + 2815 = 4*w. Is w prime?
False
Let z(f) = f**2 - 8*f + 9. Let h be z(4). Let c(d) = 9*d**2 + 6*d - 20. Is c(h) composite?
False
Let y = 8 - 12. Suppose 3*a - 105 = -3*i, 3*i + i - a = 120. Let v = i - y. Is v prime?
False
Let t(d) = 2203*d**3 - d**2 + 2*d - 1. Is t(1) composite?
False
Suppose 0 = -2*m + 3*m - 894. Suppose 0 = -23*r + 21*r + m. Is r a prime number?
False
Let r be 2/(-4)*14*(0 - 1). Is ((-70)/(-15))/r*(-471)/(-2) a prime number?
True
Is 83 + -77 - (-1 - 11010) composite?
True
Suppose 12*s = 7*s + 9175. Is s a prime number?
False
Let q = 1574 - -671. Suppose -5*n + q = 4*y, -4*y + 2266 = -0*n - 2*n. Is y a composite number?
True
Let i = 8670 - -13745. Is i composite?
True
Let r = 1 - -2. Let g = 256 + 163. Suppose -g = -2*c + 3*m, c + 3*c + r*m = 847. Is c composite?
False
Suppose 3 = 2*l - 5*t + 22, -4*t = 4. Is (467/(-4))/((-47)/l + -4) prime?
False
Let d be (5092/112 - 8/(-28))*-4. Let u = 562 - d. Is u prime?
False
Let w = 1632 + 1087. Is w composite?
False
Suppose 0 = -5*s + 20, -4*i + 9 = -s + 1. Suppose -5*h - i*g = -6*g + 137, 0 = 4*h + 2*g + 114. Let z = h + 115. Is z a composite number?
True
Suppose -17*z + 378191 + 380570 = 0. Is z a composite number?
False
Let j(t) = t**2 - 7*t. Let l be j(3). Let z be (2 - 184/l)*51. Suppose 10*h - z = 6*h. Is h composite?
True
Suppose l - 415 = -4*g, -3*l + 0*g + 1175 = -2*g. Is l composite?
True
Let t be 13 - 10 - 0/1. Let r = 10 - 10. Suppose -t*p + 7*p - 388 = r. Is p a composite number?
False
Suppose -3*h + 87075 = 5*x - h, 5*x - 2*h = 87095. Is x prime?
True
Let h = 23 + -21. Suppose r - 302 = -v, h*v + 1233 = 4*r + v. Is r a composite number?
False
Let l(q) = -5*q**2 + 2*q + 1. Let i be l(-1). Let t(d) be the third derivative of d**5/60 + 5*d**4/24 - d**3/2 + 9*d**2. Is t(i) prime?
True
Suppose 6*n - 1540 = n. Suppose -338 = -2*k - 0*k. Let t = n - k. Is t composite?
False
Is (-6)/30 - 66716/(-5) a prime number?
False
Is ((-8598)/(-4))/((-28)/(-8) + -3) prime?
False
Suppose q + h = 12085 + 6535, -q + 3*h + 18608 = 0. Is q a composite number?
False
Let m = 125 + 222. Is m prime?
True
Suppose -5*m + 5*t + 4 = -6, 4*m - 24 = -4*t. Suppose m*a = -b - 2 - 3, -5*a = 5*b - 5. Suppose -1632 = -4*j - 2*z, 5*j - b*z - 1275 = 776. Is j prime?
True
Let l(t) = -t**3 - 11*t**2 - 17*t - 3. 