omposite?
True
Let m(s) = -1017634*s - 95. Is m(-1) prime?
True
Suppose -4*z + 366571 = 5*y, -5*y = 2*z - 138942 - 227621. Suppose y = 33*b - 12*b. Is b composite?
False
Let b = -299 - -641. Let o = 4821 + b. Is o a prime number?
False
Let j(g) = -g**3 - g**2 + 2*g + 214. Let s(k) = k**2 - k - 6. Let r be ((-7)/21 + 1)*(1 - 4). Let t be s(r). Is j(t) a prime number?
False
Is (-1042)/(-1)*123/6 a composite number?
True
Let z = -80 + -26. Suppose -2*t + 328 = 2*j - 0*t, -j + 173 = 4*t. Let d = z + j. Is d composite?
True
Suppose 41*i = 42*i - 115. Suppose 0 = 112*m - i*m + 3447. Is m a composite number?
True
Let w = -124 - -128. Suppose -2*x + 3*c + 16666 = 0, -w*c = -5*c. Is x a composite number?
True
Let r = 103 + -109. Let i(b) = 47*b**2 + 3*b + 19. Is i(r) composite?
False
Let z(v) = 293*v**2 - 56*v - 9. Let y be z(13). Let d = y + -33661. Is d a composite number?
True
Let t(z) = -z**3 - 15*z**2 - 2*z - 19. Let o be t(-15). Suppose 0*n + 21703 = o*n. Is n a composite number?
False
Let b be (38 - (-3 - 1)) + 2. Let y = b + 0. Suppose -11459 = -y*c + 37*c. Is c a composite number?
False
Let y = 199 - 197. Suppose 23215 + 20809 = 5*g + 3*p, 0 = y*p - 6. Is g composite?
False
Suppose -28*u + 4783230 = -10*u. Is u a prime number?
False
Let y be 1/(((-42)/19408260)/(-7)). Suppose 0 = -54*g - 102224 + y. Is g prime?
False
Let c = 394977 - 146570. Is c a prime number?
True
Suppose 36*g - 26*g + 150 = 0. Is (-50285)/g + 36/(-27) composite?
True
Let z = 1 - -7. Suppose -4*c + 3*g + 3 = 15, 2*g - z = -5*c. Is (c + -1780)/(-4) - -4 composite?
False
Let t be (1 - 631841/(-7)) + 18/(-3). Suppose -16745 = 11*x - t. Is x a composite number?
True
Let f = -57 + 62. Suppose f*s + 18 = 4*t, t = 5*t - 2*s - 12. Suppose o = t*o - 787. Is o a prime number?
True
Suppose -232*i - 478361 = -4*p - 229*i, 5*i = 2*p - 239177. Is p a composite number?
False
Let l be 9/((-6126)/24600 + (-2)/(-8)). Suppose 0 = 10*p - 20965 - l. Is p a composite number?
False
Let y(c) = c**3 - 3*c**2 - 4*c + 5. Let d = -7 - -11. Let k be y(d). Suppose k = -5*x, -s + 990 = 2*s + 3*x. Is s prime?
True
Let q = -383 + 390. Suppose -q*p + 9*p = 6, -r + 2*p = -10127. Is r composite?
False
Let f(h) = 35480*h**2 + 15*h - 37. Is f(2) a composite number?
True
Let y = 360 + -354. Is (-8)/y*(-53388)/48 a prime number?
True
Let t be 3/(24/12*1/(-2)). Is (-273)/(-26)*(-46)/t composite?
True
Let u(f) be the second derivative of -7*f**5/20 + 2*f**4/3 + 5*f**3/6 - 37*f**2/2 + 184*f. Is u(-11) a composite number?
False
Let c(y) = 9*y**2 - 1. Let u be c(-1). Let n = u + 48. Suppose -57*w = -n*w - 218. Is w prime?
False
Let q be (255/(-340))/((-1)/4). Suppose -8648 = -q*y + 16189. Is y composite?
True
Let c(a) be the second derivative of a**5/20 - 4*a**4/3 + 4*a**3/3 - 31*a**2/2 - 2*a + 465. Suppose 6 + 74 = 5*u. Is c(u) composite?
False
Suppose -h + 0*y = -5*y - 26298, -26302 = -h + y. Is h composite?
True
Let h = -24 + 26. Let r be ((-648)/(-42))/(h/7). Let g = 2235 - r. Is g prime?
False
Let h(x) = -x**3 - 24*x**2 + x + 24. Let b be h(-24). Suppose -5*q + 16*l - 15*l + 9656 = b, -5*q + 3*l = -9658. Is q composite?
False
Suppose -20 = -2*z - 3*z. Let j be (-27)/(-6) - 4 - (-2606)/z. Suppose 4*b - 3499 + 837 = 2*p, -5*p - j = -b. Is b a prime number?
False
Let y(g) = 1817*g**2 + 26*g - 74. Is y(9) composite?
True
Suppose -4*p = 2510 - 14282. Let f = p + -794. Is f a prime number?
False
Let h = 2477 + 2068. Suppose 5*u - 3*c - 55 = 0, -5*u + 20 = -0*u + 4*c. Suppose u*m = -m + h. Is m a prime number?
False
Suppose 0*g + 9*g + 10746 = 0. Let n = g - -2031. Let p = n - 544. Is p a prime number?
True
Let w be 5*(1 + 1755)/((-55)/11). Is (w/10)/((-15)/75) a prime number?
False
Let n(f) = -17 - 6 + 27 + 89*f**2 + 17 + 52 + 19*f. Is n(-5) composite?
False
Suppose 146*a = -78*a + 29014944. Is a a prime number?
False
Let f(y) = 2*y**3 + 5*y**2 - 12*y + 52. Is f(11) a prime number?
True
Suppose -7*n + 12*n + 4*m = -58, -3*n = -2*m + 26. Let y(j) = -1652*j - 299. Is y(n) composite?
True
Let c(f) = -9*f + 16. Suppose 3*l = -3*v - 45, -71 = 4*l + l + 4*v. Is c(l) composite?
True
Let g(l) = -374*l**3 - 30*l**2 - 21*l + 77. Is g(-9) a composite number?
True
Let z = 5996 + -4881. Is z a prime number?
False
Suppose 6*q + 89*q - 2381935 = 0. Is q prime?
True
Suppose 6*f - 3*a = 5*f + 58, -a = -2*f + 116. Suppose -f*h + 41*h = -58701. Is h a composite number?
True
Let s(a) = -1208*a - 1. Suppose 25*g - 16 = 29*g. Is s(g) composite?
False
Let x(n) be the first derivative of 11*n**3 - 2*n**2 - 13*n - 945. Let t = 11 + -5. Is x(t) prime?
True
Let p(k) = 26118*k + 5461. Is p(2) prime?
True
Let s = -13753 - -22928. Let a = s + -3252. Is a composite?
False
Suppose 0 = -8*i + 4*i - 24. Let a be 2/i*0 - -3. Is (a/6)/((0 + 2)/1220) a prime number?
False
Suppose 670*u - 143601880 - 707117351 = 31*u. Is u a prime number?
True
Let h = 24554 - -50075. Is h composite?
True
Suppose -129625 - 88765 = -2*d - 2*b, 5*b - 218390 = -2*d. Is d a composite number?
True
Let k be 8396/(-3) - 4/(-6). Let o = -1231 - k. Is o a composite number?
False
Suppose 5*f - h - 189743 = -22334, f + 4*h = 33465. Is f prime?
False
Let g(l) = -7403*l - 1408. Is g(-55) a composite number?
True
Let l be 171/(-38)*10/(-9) + -5. Suppose 0 = v - l*v + 5*g - 2316, 5*v - 11528 = g. Is v composite?
True
Is -11 - 1704018/(-27) - (312/54 - 6) a composite number?
True
Let n be 49/(-14)*(-40)/(-4). Let d(c) = c**3 + 37*c**2 - 36*c + 53. Is d(n) a composite number?
True
Let l = 1778 + -1220. Let f = 389 - l. Let h = 354 + f. Is h prime?
False
Let m = 23 + -16. Let y(o) = -547*o - 14. Let x(k) = 367*k + 9. Let j(b) = -7*x(b) - 5*y(b). Is j(m) a composite number?
True
Let a be (-12)/(-5)*(-30)/(-9). Suppose -5*f = 0, 0*f = 2*c - 4*f - a. Is 487/c*(1 + 6/2) a prime number?
True
Suppose 3*u + 59 + 271 = 0. Let c be -1*1/3*939. Let l = u - c. Is l a prime number?
False
Let x = -2113767 - -3047880. Is x a prime number?
False
Let g(q) = -q**3 + 4*q**2 + 29. Let i be 3 - 16/(5 - 3). Is g(i) prime?
False
Let s(b) = 2*b**3 + b - 1. Let x(t) = -9*t**3 - 4*t**2 - 11*t - 1. Let g(l) = 4*s(l) + x(l). Let v be g(-2). Is 2425/(-10)*(-4 - (v + -3)) prime?
False
Let a = -39939 + 13677. Let j be 2/(-4) + a/(-12). Let l = j + -1469. Is l composite?
False
Suppose a + 19 - 3 = -4*h, 3*a + h = 7. Suppose -6*c = 2*d - c - 30, -a*d = -c - 16. Suppose 74 = -b + 2*k + 456, -1528 = -4*b - d*k. Is b composite?
True
Let t = -21408 + 78905. Is t a composite number?
True
Let o(m) = 8*m**2 + 281*m - 1065. Is o(-98) a composite number?
True
Let c = 12270 - 3639. Suppose -c = 5*l - 54546. Is l a prime number?
False
Suppose -2*b + 460 = 3*b. Let l = b - 89. Suppose w + l*w - 3268 = 0. Is w a prime number?
False
Let m be (((-6)/4)/(-1))/(9/198). Suppose 29*y - m*y = -3228. Let a = y + -428. Is a a composite number?
False
Suppose 976*b + 39942741 = -964*b + 1991*b. Is b a composite number?
False
Let i be 2/10 + (-29)/(-5). Suppose -i*v = -v. Suppose -r - 3 = 0, -o - 2*o - r + 4188 = v. Is o a prime number?
False
Is ((-1697748)/15)/(460/(-575)) a prime number?
False
Suppose 4*b + 3*q = -251, -190 = 3*b + 2*q + 2*q. Let g = 188 - b. Let f = g - -589. Is f prime?
True
Let v(z) = 111301*z**3 - 6*z**2 + 15*z - 9. Is v(1) composite?
False
Let y(i) be the second derivative of 7*i**4/12 - 8*i**3/3 + 41*i**2/2 + 15*i. Is y(26) prime?
True
Let j(s) be the first derivative of 53*s**2/2 + 8*s - 67. Is j(31) a prime number?
False
Let l = -135713 - -286755. Is l a prime number?
False
Let v = -45 - -51. Let t(u) = 9 + 3*u - 26 + 16*u. Is t(v) a prime number?
True
Let r be (-6)/12*8 + 85. Let t = 272 - r. Is t a composite number?
False
Let v(n) = -7*n + 20. Let a be v(2). Is (4/a)/(5/15) + 13311 a composite number?
False
Suppose -b = -r + 2, -b - 6 = -4*r + 4*b. Suppose r*w = 71 - 11. Let m(k) = 24*k - 25. Is m(w) composite?
True
Suppose -3 = -2*x - 5*u + 6, 0 = -5*x - 5*u + 15. Let y = -1 - x. Is 1/(y*4/(-14052)) composite?
False
Let x(o) = 8057*o + 1758. Is x(5) composite?
False
Suppose 7*a - 12 = 9. Suppose a*k = -6, -2*k - 2*k - 26 = -2*l. Let y(j) = 2*j**3 - 12*j**2 - 9*j - 12. Is y(l) a prime number?
False
Let h be 2/4*(3 + -3). Suppose -3*g - 2*i = -1221 - 335, -5*g = 4*i - 2596. Suppose h = w + 1, -4*w + g = t - 3*w. Is