525. Is z composite?
False
Let w(b) = 11*b**2 + 6*b**2 - 1 - b**2 + 3*b**3 + 3*b - 2*b**3. Is w(-7) composite?
False
Suppose 9*k = 1271 + 3868. Let r = -402 + k. Is r a composite number?
True
Let r = -18 + 22. Is 3150/r - 2/4 composite?
False
Suppose 0 = y - 4*o - 1, 0 = 3*o - 7*o. Is (y - 10/14) + (-18925)/(-35) a composite number?
False
Let p(j) = 20*j**2 - 61*j + 190. Is p(-43) composite?
True
Let z be (-1)/(2 + -5) - (-85)/15. Suppose -z*f = -7*f + 6. Is f a composite number?
True
Suppose -8*i + 24*i = 71696. Is i a composite number?
False
Let u(y) = 138*y**2 + 4*y - 5. Let c be u(-4). Suppose v = 2*t - 1919, -5*v + 2603 = 5*t - c. Is t prime?
False
Let w(b) = -242*b - 19. Suppose 4*a - 24 = 2*v, 5*a + 2 + 10 = -v. Is w(v) a composite number?
True
Let r be -225 - (1 + 0)/(-1). Let v = r - -139. Let p = 228 + v. Is p composite?
True
Let v(i) = i**2 - 11. Let k be v(4). Suppose 3*s - 6*s = 3*w - 19782, -k*w = s - 6614. Is s composite?
True
Suppose 4*u - 2*j - 12 = -0*u, 6 = 2*u + 4*j. Suppose -u*i + 123 = 3*o - 3, -o - 210 = -5*i. Let d = -11 + i. Is d a prime number?
True
Suppose -z = -f + 869, 2407 = 5*f + z - 1962. Suppose 5*w = -5*i + 1480, -3*i + 2*w + 890 = 6*w. Let r = f - i. Is r a prime number?
False
Suppose -6 = -k + 4*w + 2, 5*k - 2*w + 32 = 0. Let y(s) = -2*s - 3. Let t be y(k). Is 16/(-104) - (-4201)/t composite?
True
Let m(q) = q**3 + 7*q**2 - 5*q. Let z be m(-7). Let o = z + -10. Suppose -v = -0*v - o. Is v prime?
False
Suppose -4*r + 18804 = -4*o, -5*r + 2*o = 6*o - 23487. Is r a prime number?
False
Let b(h) = h**3 + 7*h**2 - 10*h - 12. Let w be b(-8). Suppose -10*f + 6*f = w. Is (-2 + (258 - f))*1 a prime number?
True
Let x(u) = 4*u**3 - 7*u**2 + 10*u + 2. Suppose -4*l + 2*l = -10. Is x(l) a prime number?
False
Let n(t) be the first derivative of 4*t**3 + t**2 + 3*t - 9. Is n(4) a prime number?
False
Let y(c) = c - 3. Let f = -1 - 2. Let w be y(f). Is w/8 + 670/8 prime?
True
Let b(n) = n - 4. Let l be b(5). Let c = 8 + l. Suppose -4*r + 37 = c. Is r prime?
True
Let k = 1482 + -983. Is k a composite number?
False
Suppose -2*w + 3*d = -11687 - 1254, 2*d = -5*w + 32343. Is w a prime number?
True
Let q = 1207 - 504. Is q a prime number?
False
Let k(l) be the first derivative of -70*l**2 - l + 15. Is k(-3) a composite number?
False
Let u = 6 - 12. Let s be 10/(4/u*-3). Suppose s*r - 15 = 0, g - 67 = -4*g + r. Is g a composite number?
True
Let g(q) = -13247*q + 6. Is g(-1) a prime number?
False
Let f = 258 + -713. Let o be 64/(-10) + 6/15. Is f/(-10) + o/(-4) composite?
False
Suppose 5*i + 7*v = 5*v + 212759, i - 42547 = -2*v. Is i composite?
True
Let z be 1/(1825/456 - 4). Suppose 2*x - 1119 = -5*t, -2*t - 2*x + z = 3*x. Is t a prime number?
True
Suppose -4*u - 3796 + 42080 = 0. Is u composite?
True
Let n(h) = -34*h**3 - 3*h**2 + 15*h - 4. Let r(s) = 17*s**3 + 2*s**2 - 8*s + 2. Let o(f) = 3*n(f) + 5*r(f). Is o(-3) a composite number?
True
Let w = -61 - -60. Let t(d) = -10*d + 4. Is t(w) prime?
False
Suppose 159118 = 44*i + 19946. Is i prime?
True
Let o(t) = 13*t + 15 - 8 - 6. Let w be o(4). Let v = w + 6. Is v a composite number?
False
Let c be (7 + -4 + 6)*(-1 + 2). Suppose -c*i + 1864 = -5*i. Is i composite?
True
Suppose -2*i - r + 30 = -6*r, 3*r = -3*i + 3. Let v be 0/2 + 1 + i. Is 4/v - (-3409)/21 a composite number?
False
Let t(f) = -18*f**3 + 2*f**2 + f + 4. Let v = 11 + -13. Let u be t(v). Suppose -3*c = -859 + u. Is c a composite number?
True
Is -19*79/(-2) + (-12)/8 composite?
True
Suppose -4*v - 119197 = -17*v. Is v a composite number?
True
Let o(p) = 23*p**3 - 4*p**2 - p + 5. Is o(4) a composite number?
False
Let x(r) = 53*r**3 + r**2 - 22*r - 1. Is x(6) composite?
False
Let v(b) = -2 + 27*b + 8*b + 0. Let h be v(8). Is h*4/(-16)*-2 composite?
False
Let v(t) = -1866*t**3 - t**2 - t + 13. Is v(-2) prime?
True
Let d(l) = 3*l - 2. Let c be d(-6). Let m be (-12)/(-10) - (-4)/c. Is 6/(-3) - (-89)/m composite?
True
Suppose 2*w + 1 + 5 = 0, 0 = -2*j + 2*w - 22. Let u = -8 - j. Suppose u*b - 445 = b. Is b composite?
False
Suppose -6*q = -3*q - 9. Suppose 5*w + q*a - 1514 = 0, -2*a = -4 - 2. Suppose 0 = -3*j + 2*u + w, 5*j - 4*u - 500 = -u. Is j a prime number?
True
Suppose -1207 = -5*d + 4588. Suppose -10*c - d = -13029. Is c a prime number?
True
Let q = -16 - -32. Let m = 18 - q. Suppose -4*o + 1350 = m*r - r, 4*o + 2*r = 1352. Is o composite?
False
Let s be (0 - -1) + -14 + 1. Let b = s - -14. Suppose b*a + 25 = j - 3*a, -a + 125 = 5*j. Is j prime?
False
Let y be (-8)/(-8)*(2 - -1). Suppose 12211 = y*l + 2104. Suppose -i = 0, 3*r + 2*i - 4*i = l. Is r a composite number?
False
Let v(w) = -w**3 - 5*w**2 + 5*w. Let y be v(-6). Suppose y*g - 7*g = 0. Is -2 - -3 - (-268 - g) a prime number?
True
Is 1/2*-2*(-10 - 5571) prime?
True
Suppose -2*j - 1 = 5*a, -j = 2*j + 3*a - 3. Suppose -j*o - 198 + 1036 = 0. Is o a prime number?
True
Let y(k) = -k**3 - 10*k**2 + 2. Let s be y(-10). Is (s/(-4))/(10/(-1340)) composite?
False
Let o(g) = 6*g**2 - 24*g + 49. Is o(29) prime?
False
Let h = 17814 + -892. Is h a composite number?
True
Let v(c) = 2*c**2 + 20*c + 15. Let s be (-14)/(((-16)/12 + 1)*-3). Is v(s) composite?
False
Let r be (2789 - 4) + 3/(-1) + 3. Suppose 4*t = -t + r. Is t composite?
False
Let v = 28 - 30. Let f(c) = -2*c**2 - c - 1. Let o be f(v). Let l(s) = -s**3 + 3*s**2 + 2*s + 15. Is l(o) a prime number?
True
Let s(y) = 3*y**2 - 8*y + 7. Let x = -18 - -21. Let p be s(x). Let q = p + 4. Is q prime?
False
Let s(c) = -c**2 + 12*c - 4. Let f be s(11). Suppose f*j - 2*j - 5*l = 975, j = -5*l + 171. Is j prime?
True
Let p(h) = 28*h**3 - 6*h**2 + 7*h + 1. Let m be p(3). Suppose -m = -6*w + 80. Is w composite?
True
Let d(a) = a**3 + 38*a**2 + 45*a + 347. Is d(-35) composite?
False
Suppose 0 = 18*o - 23*o + 3485. Let k = -324 + o. Is k prime?
True
Let w(z) = -60*z - 24. Let j(h) = 12*h + 5. Let i(f) = -24*j(f) - 5*w(f). Let d be i(1). Let g = 19 + d. Is g prime?
True
Suppose -54*x - 16623 = -63*x. Is x prime?
True
Let p be 1/2 + 13/2. Suppose p*n + 5981 = 21052. Is n composite?
False
Let o(k) = -k**2 - 10*k + 14. Let u be o(-10). Let f = u + -12. Suppose q - 429 = -5*a, -q - 166 = -0*a - f*a. Is a a prime number?
False
Let a = -1 + 5. Suppose -a*x + x + 6117 = 0. Suppose 0*f = 4*y - f - x, -5*f + 2021 = 4*y. Is y prime?
True
Suppose -8*i + 101674 = -59934. Is i prime?
True
Suppose 0 = -23*y + 501670 - 175875. Is y a composite number?
True
Let t be 4/(-12)*(-16 - 2). Suppose s + 4*m = 75, -3*s + 253 = -0*s - 2*m. Suppose -t = q - s. Is q prime?
False
Suppose -4*g + 52 = -4*f + f, 4*f - 2*g = -66. Let s = 213 - 91. Let m = f + s. Is m a composite number?
True
Suppose 0 = 4*o - 4*s - 32, 34 + 14 = 5*o - 3*s. Is 1/((o/(-2426))/(-6)) composite?
False
Suppose -10 = -5*g - 2*t, -4*g + 7*g - 32 = 4*t. Let m = g + -7. Is 91/((12/m)/(-4)) a composite number?
True
Let o(t) be the second derivative of 43*t**4/6 + t**3/3 - t**2/2 - 3*t. Let b = 1 - 3. Is o(b) prime?
False
Let l be ((-225)/20)/(2/(-8)). Suppose 0 = 2*z + 2*o - 168, -z + l = 3*o - 43. Suppose 3*x + 2*y = 799, -2*y - z = -3*x + 733. Is x a composite number?
False
Let u be -4 - (-7)/(7/(-2721)). Let c = u - -4946. Is c a prime number?
True
Let u = -86 - -74. Is (4156/u)/(5/(-15)) a prime number?
True
Let l = -19548 - -34897. Is l prime?
True
Let g(x) = -x**3 + 1. Let n be g(-3). Suppose -b - 2*l = -7, 3*b = 2*b + 2*l + 3. Suppose b*w - 35 = -7*u + 4*u, u + n = 4*w. Is w prime?
True
Is 17*3956 + (-51)/(-13 + -4) a prime number?
False
Suppose 276*p + 706 = 278*p. Is p a composite number?
False
Suppose 0 = -27*v + 16355 - 3044. Is v a composite number?
True
Let v be 2655/(-36)*(-4)/10*8. Is (-12)/8*v/(-6) composite?
False
Suppose -3*z + 3*s = -5*z + 48680, 2*z - 48682 = -2*s. Is z a prime number?
False
Let g be (3/2)/((6/(-28))/(-1)). Let i(a) = 41*a**2 - 8*a - 4. Is i(g) a composite number?
False
Let y(i) = -5 + 2*i**2 - 3*i**2 + 2 + 15*i - 5. Let w be y(12). Let l = w - -6. Is l composite?
True
Suppose 20*t = 106579 + 8161. Is t a composite number?
False
Let z be (-1)/(3 - 0 - 4). Is (-1)/z - 1/((-5)/850) a composite number?
True
Let r be -2*(-7)/56*1*15076. Suppose r = -4*d + 11157. Is d a composite number?
False
Let x = 14 + -17. Let m be (4 + x)*(-1 - -132). Suppose 3*u + 5*i =