posite?
True
Suppose -82*f = -87*f + 25855. Is f a composite number?
False
Suppose 12*g + 4*x = 15*g - 11, 3*x = -4*g + 23. Suppose 0*s = 3*s + g*z - 3241, -s + 1071 = 4*z. Is s composite?
False
Let d = -4843 + 7675. Let y = d + -273. Is y prime?
False
Let h(b) = -4*b**3 + 18*b**2 + 147*b - 3. Let r be -28 + -7 + 10 - -9. Is h(r) composite?
False
Suppose 8578838 = 74*v - 16*v. Is v a composite number?
True
Let k = -59 + 40. Let m(c) = -17*c**2 + 20*c - 2*c**3 + c**3 + 4 - 17. Is m(k) a composite number?
True
Suppose 11*z + 4 = -62. Let w be (0/(-1))/(z/(-9)*-3). Suppose -2*h - h + 897 = w. Is h prime?
False
Let d(l) = -2*l + 21. Let j be d(8). Suppose -3*s - 4*o - 16 = 0, j = -s - 4*o - 3. Is 3110 - (s - 0)/(-4) a prime number?
True
Let w be -5 + 17 + (-2 - -1). Suppose -45 - 21 = w*a. Is (69/a)/(2/(-148)) a composite number?
True
Suppose 22 + 68 = 6*c. Suppose c*m = 19*m - 14948. Is m a prime number?
False
Suppose 0 = -4*z + l + 15, -5*z - 2*l + 7*l = 0. Suppose -z*g - i - 3*i + 19877 = 0, -g + 3*i = -3964. Is g a prime number?
False
Let v(j) = 4162*j + 2752. Is v(21) a prime number?
False
Let s(l) = 37*l**3 + 2*l**2 + 10*l + 5. Let a be s(-6). Let t = -5372 - a. Is t a composite number?
True
Let i(x) = -5*x**3 - 3*x**2 + 23*x + 2. Suppose -70*g - 70 = -60*g. Is i(g) a composite number?
False
Let w = -11464 + 17601. Suppose -5*c + w = -12608. Is c a composite number?
True
Let o(s) = -5*s + 1737. Is o(76) a composite number?
True
Suppose 0 = 5*o - 2*k - 31, 5 - 4 = 2*o + 3*k. Suppose 2*r = r + 4*c + 23, -5*c - 40 = -o*r. Suppose -8*j = -r*j - 485. Is j a composite number?
False
Suppose -4*m + 28 = 10*m. Is m/(-12) - (-99)/(-54) - -589 prime?
True
Suppose -v - 7*v = 24. Is v/(-1) - (-2217 - -41) a prime number?
True
Is (-2 + -2)*(-12 + (-129293)/4) prime?
True
Suppose -d + 487676 = 2*z, -5*d = -68*z + 72*z - 975346. Is z a prime number?
True
Let j(g) = 4*g**2 + 3*g - 4. Let o be j(1). Suppose 0 = 4*c - 5*h - 23097, -h = o*c + 8386 - 25704. Is c a composite number?
True
Let g be ((-2)/4)/(7/56). Let x be (0 + 1)/((6 + g)/15592). Is (-1)/(-2) + x/8 + 2 a prime number?
True
Let k = -235 + 237. Suppose -3*g + 4*m = -1477, -4*g - 5*m + 2011 = -k*m. Is g a composite number?
False
Let m be (-30)/20 + (-52)/8. Let w(i) = -7*i**3 - 7*i**2 + 15*i + 21. Is w(m) a composite number?
False
Let s(h) = -h**2 - 43*h - 219. Let g be s(-30). Let r = g + 2266. Is r a prime number?
True
Let r(q) = q**2 + 28*q + 78. Let z be r(-25). Suppose z*x - 40 = -7*x. Suppose -x*b = -3*s + 917, 0 - 2 = b. Is s a composite number?
True
Let o = -13 - -402. Let n(l) = 2*l**3 + 8*l**2 + 12*l + 21. Let t be n(-3). Suppose -2*b + o = 5*j, -t*j - 63 = 2*b - 298. Is j a composite number?
True
Suppose 32*h + 1052390 = 10488646. Is h a composite number?
True
Let r = 410 - 498. Let k = 492 + -741. Let y = r - k. Is y prime?
False
Let r(m) = -m**2 + 15*m - 47. Let o be r(6). Is 7 + 25141 + o + -2 prime?
True
Suppose -r + 2*j = -50906, -r + 0*j + 50903 = -5*j. Is (-18)/(-8)*r/11 - -4 composite?
True
Let p = 79 - 76. Suppose -2*m + 1786 - 486 = 4*u, 975 = p*u + 5*m. Let t = -182 + u. Is t composite?
True
Suppose -4*c + 2*j + 4291133 = 1479835, 0 = c - j - 702822. Is c a composite number?
False
Let v(o) be the second derivative of -41*o**4/24 + 19*o**3/6 + 9*o**2 - 16*o. Let z(y) be the first derivative of v(y). Is z(-3) a composite number?
True
Suppose -24*v - 92150 = v. Is (-1*(1 + 0))/(19/v) a composite number?
True
Let b = 253 - 232. Is (-3)/(-2)*(-2 + 111944/b) a prime number?
True
Let v(l) = 120*l**2 - 27*l + 1168. Is v(29) prime?
False
Suppose 39 - 59 = -2*i. Suppose -3*w + p + 16 = 0, -11*w + i*w + 3*p + 16 = 0. Suppose -w*v - l - 296 + 1143 = 0, -5*l + 859 = 4*v. Is v a prime number?
True
Suppose 2580*c - 2574*c = 1514154. Is c composite?
False
Let v(w) = -44*w**2 + 4*w - 26. Let q be 3/((-18)/(-32)) + 6/(-18). Let u be v(q). Let z = -649 - u. Is z a composite number?
False
Let o be 4605/10 + (-1)/2. Suppose 208 = 2*c + 3*a - 266, 4*a = 2*c - o. Let x = c + 2487. Is x a composite number?
True
Let v(d) = 88*d**2 - 23*d + 65. Let w be v(6). Suppose -3618 - w = -7*p. Is p prime?
False
Let c(b) = 11*b**2 + 15*b**2 - 9 + 16*b - 32*b**2. Let v be c(8). Let q = v + 476. Is q prime?
True
Is -10 - (-639972)/(-27)*-3 - 12 a composite number?
True
Suppose 0 = 4*w + 6 - 22, w - 1089 = 5*m. Let h be (-53488)/(-88) - (-4)/22. Let z = h + m. Is z prime?
False
Let z = 17416 - -91881. Is z prime?
True
Suppose -66304 + 177964 = 30*l. Is l a prime number?
False
Let u(x) = 3068*x**3 - 8*x**2 + 151*x - 1110. Is u(7) a prime number?
True
Let w be (-50)/15 + 3 - (-56)/6. Let q be (283/3)/(3/w) + -2. Suppose -736 = -3*r + q. Is r composite?
True
Let n = 7046 + -7044. Let b(a) = -a**2 + 3*a + 6. Let s be b(6). Is ((-409)/(s/(-8) - 2))/n a prime number?
True
Suppose -4*z + 2*m = -121460, 149*m + 91105 = 3*z + 150*m. Is z a prime number?
True
Let g(n) = -37482*n + 437. Is g(-3) a prime number?
False
Suppose 3*c - 5*n + 13 = 5*c, 2*c = 4*n + 4. Suppose c*o + 1081 = -5*p + 5*o, -5*o = -4*p - 848. Let b = 178 - p. Is b prime?
False
Let n(w) = 78*w + 642 - 258 - 235. Is n(28) a prime number?
True
Suppose -4*w + 0 = 4*v - 8, 5*w = 4*v + 19. Let k be 17/w - 4/(-12). Is ((-758)/k)/((-13)/39) a composite number?
False
Let j = 173 - -88. Suppose 2*c - 4 = 31*w - 33*w, 4*w = 5*c + 17. Suppose -j = w*k - 1320. Is k composite?
False
Let u = 97 + -123. Let h be (-280164)/(-34) + u/221. Let a = h + -4831. Is a a prime number?
False
Let n(x) = -x**3 + 8*x**2 - 13*x + 29. Let h be n(17). Let a = -1214 - h. Is a prime?
True
Let z(p) = 212*p - 835. Is z(9) prime?
False
Let y be 2/6 - (-8)/3. Suppose -14*z = -23*z + 27. Suppose -v + 7340 = 4*q + z*v, -y*q - 4*v + 5501 = 0. Is q a composite number?
True
Let n(c) = 8*c**2 + 7*c + 7. Let j be n(-1). Let b(m) = 18*m**3 + 11*m**2 - 4*m + 13. Is b(j) composite?
False
Let n = -17 + 21. Suppose 3*p = -3, n*k - p - 2891 = -2*p. Suppose -3*h + k = -2*h. Is h a prime number?
False
Let n(u) = 1003*u**3 - u**2 - 15*u + 4. Is n(3) a prime number?
True
Suppose -4*g + 3 + 5 = -4*y, 4*g - 44 = -5*y. Suppose 3*u - 24 = -3*s + g, u = s - 2. Suppose -s*c = -965 - 13. Is c a prime number?
True
Let y(r) = 378*r - 65. Let o be y(11). Suppose -5*b = q - 1351, q = -2*q + 5*b + o. Is q prime?
True
Suppose -5*k + 325066 = 4*t, -58*t + k + 243771 = -55*t. Is t composite?
True
Let p(a) = -a**3 - 4*a**2 + 3. Let f be p(-2). Let d(b) = -1010*b. Let y be d(f). Suppose -3*i = -3*s - 4971, 3*i - 2*s + 79 = y. Is i a prime number?
True
Let k(j) = 44718*j + 1751. Is k(6) a composite number?
False
Let u(i) = -i**3 - 5*i**2 + 18*i + 7. Let n be u(-10). Let l = 448 - n. Is l a prime number?
False
Let a = -579 + 599. Is (-536)/a*595/(-14) composite?
True
Let t be 32/(-6)*(3 - (23 + -2)). Is 32/t - (-2156)/3 composite?
False
Suppose a + n + 3475 = 162351, 5*n - 35 = 0. Is a a prime number?
False
Let t(f) = -137*f + 43. Let k(d) = -2*d**3 - d**2 + 2*d - 2. Let g be k(-3). Suppose g*l = 33*l - 24. Is t(l) prime?
False
Let z = -15583 + 23633. Suppose -10205 - z = -5*j. Is j a prime number?
False
Let d be 0 + 5 - (-3)/(-1). Suppose -4*m = 5*q - 210 - 370, 0 = d*m - 2*q - 290. Is m a prime number?
False
Suppose 0 = -4*v - v - 2*i + 58795, -4*v = 5*i - 47036. Is v a prime number?
False
Let n(j) = 5*j**2 - j + 2*j**2 + 955 - j**2 - 5*j**2. Suppose 0 = g + 3*h + 9, 0 = 3*g + h + 3. Is n(g) composite?
True
Let v(s) = s**3 + 24*s**2 - 28*s - 45. Let f be v(-25). Is (6 + f/(-4))/(9/(-35538)) composite?
False
Let v(f) = 2224*f**2 + 18*f - 79. Is v(10) prime?
False
Let j(i) = 45*i + 50. Let d be j(7). Suppose u - d = 630. Is u a prime number?
False
Is (9478173/118)/(((-63)/(-30))/7) a prime number?
False
Let d = 63259 - 33552. Is d prime?
False
Suppose 19*s + 2793 = 26*s. Let p = s - -172. Is p composite?
False
Let m = 1094891 + -696588. Is m prime?
True
Suppose 5*f - 730665 + 3598217 = 21*f. Is f prime?
False
Let w = 135 + -89. Suppose 0 = -y - w + 229. Suppose b + y = 2*b. Is b a prime number?
False
Let r be (-124)/(-28) + 3/(-7). Is ((-596000)/(-24) - r/12) + 2 composite?
True
Let p = 10 + -10. Suppose p = -4*d + 9930 + 16098. Suppose 2*c = -t - c + 2185, d = 3*t - 3*c. Is t a prime number?
False
Let w(v) = 1013*v**3 - 2*v