0*c**2 + 1. Is z(h) prime?
False
Let l(u) = 4756*u**3 - 4*u**2 + 5*u. Is l(1) prime?
False
Let m be 9/12 + 1570/8. Let s = -130 + m. Is s prime?
True
Let p be ((-236)/(-6))/((-4)/54). Let w = 1082 + p. Is w a composite number?
True
Let w(i) = 34*i**2 - 15*i + 46. Is w(5) prime?
True
Suppose 11*m = -5*u + 10*m + 287815, 3*u + 2*m - 172689 = 0. Is u a prime number?
False
Suppose 18260 = -3*k + 362909. Is k prime?
True
Suppose -5*c - 2 = -f, 0 = -3*c - 4*f - 0*f + 8. Suppose c = 4*k + w + 382, k + 0*w = 2*w - 91. Let o = k - -764. Is o a prime number?
False
Suppose a - 14974 = 8*s - 9*s, -29923 = -2*s + 3*a. Is s composite?
False
Suppose 0 = 16*k - 21*k + 565. Is k a prime number?
True
Let n be (-32439)/(-9) - (-8)/12. Let c = n - 1618. Is c composite?
False
Let y(c) be the first derivative of 145*c**4/4 - 3*c**2 + 3*c + 9. Is y(2) a composite number?
False
Is (-1 - 104/(-32))/(6/11192) prime?
False
Let m = 10 + -5. Suppose v = -3*b + 98, 0 = v - m*v + 2*b + 336. Is v a composite number?
True
Suppose 5*m - 5*q - 34970 = 0, -3*m + 4*q = 3*q - 20990. Is m a prime number?
False
Let c(j) = -j + 60. Let p be c(0). Let u be (-5)/(-1)*(-24)/p. Is ((u - -4) + 19)*1 a prime number?
False
Let w(o) = -o**2 - 4*o. Let h be w(-3). Suppose 0 = -2*v - 2*v + f - 380, 5*f - 490 = 5*v. Let s = h - v. Is s prime?
True
Suppose 105827 = 10*d - 74523. Is d a prime number?
False
Is 8 + -9 - 5 - -3809 a prime number?
True
Suppose 5*p - 2*v + 4*v = 378, 4 = v. Let b = p + 29. Is b a composite number?
False
Let d(p) = 93*p - 14. Let g be d(14). Suppose 7*h - 3129 - g = 0. Is h prime?
True
Let c(l) = 44*l**2 - 3*l - 1. Let t(w) = 87*w**2 - 7*w - 2. Let k(q) = -15*c(q) + 6*t(q). Let m be k(3). Is ((-4)/8)/(3/m) a prime number?
False
Let f = 35 - 17. Let c = f - 17. Is 9/9*179/c prime?
True
Let a be 1*(2 - 70)/4. Let j = a + 18. Is j/(-4) + 591/12 prime?
False
Suppose 32*m - 2278078 = 10*m. Is m composite?
False
Let g be 2/(-6) + 0 + (-588)/(-9). Let y = -12 + g. Is y a prime number?
True
Let y(p) = -117*p + 9. Let j be y(-7). Let x = j + -547. Let n = x - 154. Is n prime?
True
Let q be 12/(-30) - (-182)/5. Suppose -3*y = q + 6. Is (y/(-4))/((-11)/(-682)) composite?
True
Let b = -1982 - -383. Let v be 15/(-20) + b/12. Let k = 199 + v. Is k a prime number?
False
Let f = -17 + 178. Is f a composite number?
True
Let s = -12558 - -21340. Is s a composite number?
True
Suppose 0 = 3*f + 7 + 11. Let u(y) = y**2 + 5*y - 1. Let v be u(f). Suppose -794 = -v*r + 261. Is r a composite number?
False
Suppose -2*n = -n - 272. Let s = n - 123. Let a = 352 - s. Is a a prime number?
False
Suppose -l + 4*f + 6749 = 0, -35*f - 6746 = -l - 30*f. Is l a prime number?
True
Let l(z) = z**3 + 7*z**2 + 6*z + 2. Let g be l(-6). Let x = 31 - -32. Suppose -g*c = -5*c + x. Is c a composite number?
True
Suppose 3*m - 1119 = -0*m. Let v(b) = b**3 + 5*b**2 + 3. Let j be v(-5). Suppose -4*w - j*l + m = 0, -3*l + 10 = 1. Is w prime?
False
Let x be (-1302)/(-10) + 12/(-60). Let h = 251 - x. Is h composite?
True
Suppose 42 = l - o, 166 = 4*l + 4*o - 7*o. Suppose 6*w = 2*w + l. Suppose w*t = 5*t + 1585. Is t prime?
True
Let y be (-5 + 1 + 7)*1. Is 2/y*(-15519)/28*-2 prime?
True
Suppose 0 = -5*p + 5*a - 20, a = -3*p - a - 7. Is (p + 16/12)*-33 a composite number?
True
Let h be (-2)/(-6) + 46/(-3). Is (-1273)/h + 8/60 prime?
False
Let u = -2023 - -35874. Is u composite?
False
Let o be (1 - 3 - -1)/(-1). Let l(n) = 587*n - 1. Is l(o) prime?
False
Let f(h) = -h + 11. Suppose 2*w - 4*s = -w + 20, -5*w - 2*s + 42 = 0. Let j be f(w). Suppose k - 15 = -g, j*g + 2*k - k = 41. Is g prime?
True
Let r = 1957 - -634. Is r a composite number?
False
Let b be (24/9)/((-14)/(-21)). Suppose 0*u = 2*u + b*r - 2762, -2*u = -3*r - 2762. Is u a composite number?
False
Let j(x) = 387*x**2 + 17*x - 5. Is j(-3) a prime number?
False
Let z(b) = -4*b**3 - 3*b - 3. Let y be z(-1). Suppose -5*f + f - 4*o = -952, -f + 223 = -y*o. Is f a prime number?
False
Let n = 4598 - 1775. Let r = -1038 + n. Is r/8 - (-2)/(-16) a composite number?
False
Let c(n) = 1369*n + 30. Is c(1) prime?
True
Suppose 7*h - 5925 = 4904. Suppose -17*y = h - 4080. Is y prime?
True
Let w = -1 - -2. Suppose -3 = z + w. Is (382/8)/(z/(-16)) prime?
True
Let w(c) = 3*c**3 + 5*c**2 + 3*c + 4. Let s be w(-7). Is (-7)/(3/s*3) composite?
True
Is (-15 - -17) + 1*417 prime?
True
Let u = 5242 + -1131. Is u a prime number?
True
Let r(d) = -d**3 - d**2 + 1. Let l = -3 + 1. Let b be r(l). Suppose -3*s + 477 = b*a, s + 3*s - 16 = 0. Is a composite?
True
Let s(t) = -t + 8. Let a be s(8). Suppose 0 = -2*n - a*n + 742. Is n composite?
True
Is (201/(-268))/(3/(-17308)) composite?
False
Let y be (-1*(-1)/1)/((-18)/(-36)). Suppose -2*o = -y*k - k - 407, 0 = o + 5*k - 184. Is o a prime number?
True
Suppose 0*j + 16 = 2*j. Let d = -2 + j. Suppose 0 = 3*o - 4*k - 985, -4*o - 2*k + d*k + 1316 = 0. Is o a prime number?
True
Suppose -38742 = 61*v - 67*v. Is v a composite number?
True
Let m(s) = 27*s**2 + 5*s - 7. Let c = 86 + -83. Is m(c) prime?
True
Let d = 37279 + -5646. Is d composite?
True
Let v(u) = -6*u**3 - 7*u**2 - 10*u + 14. Is v(-13) a composite number?
False
Suppose 30*o = -796602 + 2022612. Is o a composite number?
False
Let t(d) = d**3 + 11*d**2 + 10*d - 10. Let u be t(-12). Let j(z) = 22*z + 1. Let m be j(-4). Let f = m - u. Is f a composite number?
True
Suppose h - 4*c - 88837 = -8*c, 3*c + 355405 = 4*h. Is h prime?
False
Let v(d) = d**3 - 3*d**2 - 3*d - 4. Let s be v(4). Suppose -3*f + 4*o + 52 + 2325 = s, 0 = f + 4*o - 787. Is f a composite number?
True
Let a be -3 + (1 - -3) - -7. Suppose a*v - 274 = 4*v + 2*s, 0 = -3*s + 15. Is v prime?
True
Suppose -3*m = -d + 16, 0 = 2*m + d + 4 - 0. Let i = m - -8. Suppose 2463 = i*a - a. Is a composite?
False
Suppose n - 3*i - 16056 = 2*i, 5*n = -2*i + 80415. Is n prime?
False
Let p be (-65)/(-25) - (-2)/5. Suppose -2682 = -p*w + 6807. Is w composite?
False
Let v(w) be the third derivative of -11*w**4/6 + 17*w**3/6 + w**2. Is v(-14) prime?
False
Suppose 2*a + g = 30618, -5*a = 5*g - 54470 - 22065. Is a composite?
True
Let c = 59214 + -41837. Is c a composite number?
False
Suppose -18 = b - 36. Let f = b + -15. Is 19/2 - f/(-6) a composite number?
True
Let q = -347 + 1189. Suppose 4*y - 2*j + 479 - 2157 = 0, -q = -2*y + 4*j. Is y a prime number?
True
Let o = -3728 - -5659. Is o prime?
True
Let b(q) = q**3 - 7*q**2 - 96 + 88 - 2*q + 3*q. Let a be b(7). Is a + (-2)/(-2) - -3 composite?
False
Let g(i) = -i**3 + 16*i**2 + 16*i + 19. Let a be g(17). Let z(y) = -13*y**2 - 3*y + 1. Let v be z(a). Is (v/18)/(1/(-6)) composite?
False
Let w(u) be the third derivative of u**5/60 - 3*u**4/8 + 13*u**3/6 - 3*u**2. Let a be w(7). Let o = a - -14. Is o prime?
True
Suppose 0 = 5*s + 64 - 264. Suppose 2*f = 5*f - 1014. Suppose -s + f = 2*u. Is u a composite number?
False
Let h(b) = b**2 + 6*b + 7. Let x be h(-5). Suppose 5*i + g + 28 = 0, x*g = -i + 7*g + 10. Is (-2 + (-16)/i)*5 composite?
True
Let u(s) = -360*s + 131. Is u(-13) prime?
False
Let l(z) be the third derivative of z**5/12 - 5*z**4/24 + 5*z**3/6 + 2*z**2. Let r be l(7). Suppose -6*f + r = -f. Is f composite?
False
Let c = -983 - -62. Let m = -604 - c. Is m a composite number?
False
Let u be (-14)/(-4) + (-2)/(-4). Suppose 3*f + 2116 = 5*f - 3*d, f - u*d = 1063. Is f a prime number?
False
Let t = 1003 + -706. Suppose t = g - 194. Is g a composite number?
False
Let p = 8196 + -4147. Is p prime?
True
Let c = 22266 - 10589. Is c a composite number?
False
Let o be ((-4)/14)/(10/(-70)). Is 1089/3 - 8/(-4 + o) prime?
True
Suppose 0 = -88*s + 68*s + 157900. Is s a prime number?
False
Suppose -220 - 1415 = -5*j. Let t = j + 40. Suppose 4*g - t = 1893. Is g composite?
True
Let s(j) = 10*j**2 + 7*j + 18. Let r be s(8). Suppose 6*f - 3*f = -o + r, -4*f = -4*o + 2776. Is o a prime number?
False
Let d be (-6)/(-4)*10*1. Suppose 0 = 4*n + n - 3*w - d, -3*w - 15 = 3*n. Suppose -5*t + 2*t + 186 = n. Is t prime?
False
Suppose -o + 2 + 5 = 0. Is (-1270)/(-50)*(o - 2) a prime number?
True
Let v = 16 + -14. Suppose 2*u - v*a = -638, 4*u + 1301 = -2*a + a. Let b = -110 - u. Is b composite?
True
Let h = 4689 + -2078. Suppose 5*y = -4*v + h, 635 + 415 = 2*y + 3*v. Is y a prime number?
False
Let t(q) be the first deri