4*t - 2572 = 0, -5 = t - 3. Is g a composite number?
False
Let j(n) be the first derivative of -877*n**4/4 + n**3/3 - n**2/2 - n - 5. Let v be j(-1). Let q = v - 497. Is q a prime number?
False
Suppose 12*f - 23839 = -4843. Is f a composite number?
False
Let d(j) = -j**2 + 3*j + 6. Let p(t) = 2*t**2 - 7*t - 11. Let h(l) = -13*d(l) - 6*p(l). Suppose 0*m = 2*m - 20. Is h(m) composite?
True
Let c = 11825 - 6838. Is c a prime number?
True
Suppose -4*x - 64937 = q - 380447, -3*x - 2*q = -236635. Is x a prime number?
True
Let i(r) be the first derivative of 9*r**3 - r**2 + 2*r - 11. Let v = 6 - 3. Is i(v) composite?
False
Let r(x) = -9*x**3 - 18*x**2 + 4*x + 38. Is r(-7) a composite number?
True
Let a(j) = -14 + 1 - 2149*j - 584*j - 675*j. Is a(-2) prime?
True
Let a(j) = j**2 - 6*j - 2. Let b be a(4). Let h(w) = w**3 + 10*w**2 + w + 13. Let d be h(b). Suppose -r + 4*k = d - 108, 5*k + 20 = 0. Is r a prime number?
True
Let r = -307831 + 136415. Is (r/84)/((-2)/3) a prime number?
True
Let o(h) = -4785*h - 32. Is o(-5) a composite number?
False
Suppose 29 - 49 = -4*k. Suppose 85 = 2*d - 4*z - 13, 3*z = -k*d + 310. Is d composite?
False
Suppose 0 = 4*o + 3*d - 1398, 2*o - 686 = 4*d + d. Suppose 3*q - 1563 = o. Suppose k + 639 = 2*i - 0*i, -2*i - k + q = 0. Is i a composite number?
True
Let v = 1344 + -751. Suppose 77 - v = -4*b. Let k = 244 - b. Is k a composite number?
True
Is 2339*(-3)/(-8) + (-1)/8 a composite number?
False
Let f(r) = -r**3 + 9*r**2 - 8*r + 9. Let o be f(6). Suppose g - o = -2*g. Is g a prime number?
True
Suppose 2*k - p - 2408 = 0, 0 = 8*p - 7*p - 2. Is k composite?
True
Let t(b) be the third derivative of b**6/120 + b**5/60 - b**4/24 + 1829*b**3/6 + 12*b**2. Is t(0) composite?
True
Suppose 564 = -16*s + 1812. Suppose -2*h + 30 = 2*j, 0*j - 4*j + 3*h = -46. Let d = s - j. Is d composite?
True
Let a(j) = -j + 5*j - 3*j - 2*j - j**3 + 87. Is a(0) prime?
False
Let s(d) = d**3 - 19*d**2 + 10*d + 1. Suppose 0 = 2*r - 0*r - 38. Is s(r) prime?
True
Let y = 560 + -93. Is y prime?
True
Suppose -h = -6*h + 20. Let g(c) be the third derivative of 17*c**4/12 - c**3/2 + 7*c**2. Is g(h) prime?
False
Let p be 2/(-9) - ((-174)/54 - -3). Is (p + -2)*27853/(-14) a composite number?
True
Suppose 0 = 2*c - 10, 2*c = 2*y + 3*c - 625. Suppose 0 = 4*j - 3*j - 2*b - y, 3*j + b - 923 = 0. Suppose -4*t + j = 2*u, 0 = -t + u - 2*u + 75. Is t prime?
True
Let c(m) = 11*m**2 - 6*m - 22. Is c(10) composite?
True
Let x be -35 + -7 + 1 - (-1 - 0). Is ((-60)/x)/((-2)/(-212)) a composite number?
True
Suppose 1332 = 2*w - 1982. Is w a composite number?
False
Let b(f) = -7*f**3 + f**2 - 2*f + 1. Let t be b(1). Let q = -3 - t. Suppose 5*s - 176 = -j - 0*s, 767 = q*j - s. Is j a composite number?
False
Suppose u = q + 12811, 2*q + 25622 = 2*u - q. Is u prime?
False
Suppose 3*h = 2*i + 3, -5*i - 3*h = -10 - 14. Suppose -n + q - 2 = -1, -i*n + 2*q = 4. Is 163 + n*1/1 a composite number?
True
Let w(r) = 21*r**3 - 5*r**2 + 4*r - 4. Let g be w(3). Suppose 0 = d + 2*o + 6 - 0, -d = 5*o + 15. Suppose f + 4*f - g = d. Is f composite?
True
Suppose 129246 = 9*g - 19884. Suppose 0*s - 10*s + g = 0. Is s a prime number?
True
Suppose -32*j + 10983 = 5*s - 28*j, 0 = -4*s - 3*j + 8786. Is s a prime number?
False
Suppose 19*o + 714 = 22*o. Let p be -2 - -1 - (-4)/1. Is (o - (-3)/p)*1 a composite number?
False
Let h = -19 + 21. Suppose 5*y - 1295 = 5*j, -h*y + 14 = -4*j - 496. Is y a composite number?
False
Let o(k) = -k + 13 + 13 - 26 + 327*k**2. Let c be o(-1). Let h = c - -121. Is h composite?
False
Is ((278275/(-10))/(-5))/((-3)/(-6)) composite?
False
Suppose -5*t - 4*t = -4410. Suppose 4*m = -2*y + t, -y + 4*m + 765 = 2*y. Is y a composite number?
False
Let l(t) = t**3 - 4*t**2 + 9*t - 199. Is l(12) a composite number?
False
Is (-42387)/(-19) + (12/(-57))/(-2) a prime number?
False
Suppose 3*p = -2*i + 765, 0 = -3*i - 4*p + 370 + 780. Let q = 187 - i. Let j = 414 + q. Is j a composite number?
False
Suppose 5*h + 28849 = p, -23084 = 2*h + 2*h + 4*p. Let a = h - -8547. Is a a prime number?
True
Suppose -k = -18 - 173. Is k composite?
False
Let p = -10 + 14. Suppose -p*t - t = -4200. Suppose 5*m - t = -4*x, 2*x - 349 = -4*m + 77. Is x prime?
False
Let w(h) = 6*h**3 + h**2 - 4. Let q be w(-3). Suppose 0*u + 2*u = -136. Let n = u - q. Is n a composite number?
False
Let s(t) = t**3 + 165. Let x be 2 + (-3)/((-6)/(-4)). Let l be s(x). Let p = l - 42. Is p composite?
True
Suppose -5*i + 3*f = -2720, -1613 = -0*i - 3*i - 2*f. Is i a composite number?
False
Suppose 13 = -4*x + 3*b, 15 = -2*x + 5*b - 2. Let r(y) be the second derivative of 11*y**4 - y**3/6 + 190*y. Is r(x) a prime number?
False
Suppose -5*b + 2347 = -4*m, 5*m - 2323 = -5*b + m. Is 1/(-2 + b/233) a composite number?
False
Is ((-6575)/15)/(-5)*(0 + 3) composite?
False
Let y be ((-2)/4)/(2/(-12)). Suppose 0 = -3*l - 0*l - 5*j + 3060, -l + y*j = -1006. Suppose 5*i + 0*i - l = 0. Is i a prime number?
False
Let j(m) = 5*m**3 - 11*m**2 + 2*m - 11. Is j(12) a prime number?
True
Suppose -7*j = -217215 - 71878. Is j composite?
False
Let s(h) = 53*h**3 + 2*h**2 + 5*h - 3. Let c be s(3). Is (-2 - 0)*(c/6)/(-1) a composite number?
False
Let i(g) = 52*g**2 + 6. Let c be i(5). Suppose 4*a = -3*u + c, 4*a - 3*u + 111 = 1405. Suppose -5*m = 2*h - 4*h + 130, 5*h - m - a = 0. Is h composite?
True
Let y(c) = 8*c**2 + 8*c - 7. Suppose n = 3*s + 13, -s + 3*n - 21 = 6*n. Let o be y(s). Suppose g = 3*f - 869, -3*f + 5*g + o = -620. Is f prime?
False
Let s(i) = -2*i + 12. Let b be s(8). Let y be 9/(-3) - (b - 989). Let r = 253 + y. Is r composite?
True
Suppose 0*q + 2*q - 862 = 0. Let g be (-176)/((-154)/(-52) - 3). Suppose -q = 5*j - g. Is j a composite number?
False
Let d = -49 + -1. Is (d/20)/((-2)/2308) a composite number?
True
Suppose -g - 2 + 1 = 0. Let b be -2*(3*-2)/2. Is 0/g - (-1734)/b a prime number?
False
Suppose -3*o + 26 = 5. Suppose -5*x - 2539 = -4*w, o*w - 2*w - x = 3200. Is w a composite number?
False
Suppose 0 = -8*d - 3066 + 18658. Is d prime?
True
Let l be ((-2874)/(-4))/(8/96). Let x be 10/(-6)*l/(-6). Suppose -4*w - w = -x. Is w prime?
True
Let k = -4 - -9. Suppose 3*r - 9 = 2*s + 2, -2*r + 11 = -k*s. Suppose -12 + 42 = r*w. Is w composite?
True
Suppose 2*c = -2*c, 5*v - 10 = 4*c. Let o be (v + -1)/(5/35). Suppose -5*w + o*w - 514 = 0. Is w prime?
True
Is ((-493058)/(-174))/((-2)/(-6)) composite?
False
Let x(w) be the first derivative of -12*w**2 - 49*w - 11. Is x(-25) composite?
True
Let q = 447 + -320. Is q a composite number?
False
Suppose 4*i - 1740 = 3*i. Let k = -778 + i. Suppose t - k = -t. Is t a composite number?
True
Let q(x) = 10*x**3 - x**2 + x + 1. Suppose 3*i - 4 = 5. Is q(i) prime?
False
Let l be 103 - (-6 - -3) - 1. Let s = 130 + l. Is s a prime number?
False
Let q = -3515 - -8269. Is q composite?
True
Let l be 26/8 - 1/4. Suppose 575 = t + l*t - c, -2*c = -10. Is t a composite number?
True
Suppose -2*t + 10 = 3*t. Let a(z) = 7 + 11*z + t*z - 14*z. Is a(4) a composite number?
False
Let l(n) be the first derivative of -29*n**2/2 + 3*n + 16. Is l(-4) composite?
True
Let a be -12*(-3)/9*-11. Suppose 0 = 3*b - 2*b + 4*i + 105, -454 = 4*b - i. Let j = a - b. Is j prime?
False
Suppose -p = -5*p + 24. Let j be (2/(-3))/(p/2547). Let f = -20 - j. Is f composite?
False
Let l(a) = 121*a - 21. Let y be 10 - ((4 - 3) + 2). Let d be l(y). Suppose 0 = -4*t - 3*r + d, 3*t + 2*r - 613 = 3*r. Is t composite?
True
Let b(k) = -133*k - 11. Let m be b(-9). Let a = 2745 - m. Is a a composite number?
False
Suppose 9 = v + 2*v. Suppose -v*k - 111 = -972. Is k a prime number?
False
Let p(f) = 2*f**3 - 10*f**2 + 2*f + 11. Let x be p(11). Suppose -d = 4*o - x, -d + 3*o = -3*d + 2945. Suppose 0 = -19*r + 24*r - d. Is r a prime number?
True
Let t = -33 - -38. Suppose -2*s = -t*a - 1364, a + 2035 = 3*s - a. Is s a composite number?
False
Let m(d) = -41*d + 1. Suppose -16*z + 21*z = -10. Is m(z) a composite number?
False
Let d(w) be the first derivative of w**2 + w - 11. Let h be d(1). Suppose -5*j + 2782 = -f, h*j + 2*j + f = 2788. Is j composite?
False
Let v(k) = k**3 - 12*k**2 - 16*k + 4. Let i be v(13). Let f = i + 39. Let a(j) = 67*j - 14. Is a(f) a composite number?
True
Let r(u) = -22*u**2 - 9*u - 24*u**2 + 48*u**2 - 21*u**3 - 13. 