*g - 6*g + 339. Let v = g + -220. Is v composite?
True
Let w be 6/(6/(-5)) - -3. Is w/6*(-4389)/7 composite?
True
Let f(p) = -174*p**3 + p**2. Let q = -22 - -23. Let o be f(q). Let m = o - -330. Is m composite?
False
Let c be 458 - 2/4*-8. Let d = -305 + c. Is d a prime number?
True
Suppose w = -0*w + 16. Let q = -74 - -1. Let u = w - q. Is u prime?
True
Suppose 53*x - 49*x = 348. Is x a prime number?
False
Let q be (-2 - (-114)/(-12))*(-2)/1. Suppose 167 + q = 2*d. Is d composite?
True
Suppose 480 = -2*n - 352. Let h = 317 - n. Is h a composite number?
False
Let k(r) = 2241*r**2 - 1. Let l be k(1). Is -3 - (-3)/(12/l) prime?
True
Let s(l) = -l**3 - 4*l**2 - 4*l + 1. Let z be s(-3). Is (-1)/(z/(-3076)*1) prime?
True
Suppose 35*x = 18458 + 46187. Is x a prime number?
True
Let x(u) = 76*u**2 + 3*u - 203. Is x(16) composite?
False
Suppose 64 = 5*v + 674. Suppose -2595 = 4*k - k. Let o = v - k. Is o a composite number?
False
Suppose -22596 = 7*c - 9*c + 5*p, -10 = 5*p. Is c composite?
True
Let t = 6 - 11. Is 4102/2 + (-5 - t) composite?
True
Let c(v) = -19 + 18 + 24*v**2 - 2*v + 36*v**2. Is c(6) a prime number?
False
Suppose 3541 = 23*k - 1450. Is k a composite number?
True
Let m(x) = -x**3 + x**2 + 1. Let c be m(-2). Suppose -2*f + f - 5*w - c = 0, 4*w + 12 = -f. Is ((-4)/f - 1)*-148 a composite number?
True
Suppose -2*s + 2*i - 8 = 0, -2*i - 3*i + 2 = -3*s. Let g(j) be the second derivative of j**4/3 + 7*j**3/6 + j**2 + 8*j. Is g(s) prime?
True
Suppose 4 = -4*t + 4*h, -4*h + 0 = -2*t + 2. Let k be 1*(-2 - t) - -3. Suppose 4*g + 230 = 2*m, k*m = 4*g + 226 + 242. Is m a composite number?
True
Suppose -183*v + 162*v + 559419 = 0. Is v a composite number?
True
Is -2*(-7)/7*1129 prime?
False
Let g(f) = 2506*f - 78. Is g(2) composite?
True
Let a(w) = w**3 - 5*w**2 - 8*w - 11. Let j(m) = -m**2 + 7*m. Let y be j(5). Is a(y) a prime number?
True
Let m(c) = 2*c**3 + 8*c**2 - 7*c + 8. Let g be m(6). Let n = 993 - g. Is n prime?
True
Suppose 0*i - 3*i + 18 = 0. Suppose -p + i = -11. Suppose -4*h + 649 = p. Is h composite?
True
Suppose -202 = 7*k - 48. Let l = 57 - k. Is l a composite number?
False
Suppose 0 = -3*o + 2 + 28. Let d be (-1)/4*-2*o. Suppose 0*g = -d*g + 3365. Is g a composite number?
False
Let h(c) = 10*c**2 - c - 46. Is h(19) composite?
True
Suppose -q + 3*m = q - 6098, 3058 = q + 3*m. Suppose 3*p + 76 = k + q, -3*p = -5*k - 2988. Is p prime?
True
Let z = -80 - -90. Let r(j) be the second derivative of j**4/6 - 3*j**3/2 + 11*j**2/2 - 2*j. Is r(z) prime?
False
Let a(f) = -6 + 12 - 60*f - 23 - 22. Is a(-12) a prime number?
False
Let r be 0/(3 + -8 - -3) + -5. Is (-33)/(-55) + -1 + (-4267)/r composite?
False
Let w(x) = 3*x + 40. Let r be w(-12). Let u(d) = 27*d**3 - 4*d**2 - 7. Is u(r) prime?
True
Let x(s) = 1072*s - 30. Let c be x(-8). Let p = 12615 + c. Is p composite?
True
Suppose -5*w - 5 = -25. Suppose -w*n + 2794 = -2078. Let t = -545 + n. Is t prime?
True
Let z(a) be the third derivative of a**5/15 - a**4/4 + 5*a**3/6 + 12*a**2. Let s be z(2). Is 982 - s/(-3) - 0 a prime number?
False
Let g(p) = -268*p + 1 - 361*p - 189*p + 998*p. Suppose -v + 16 = 3*v. Is g(v) a composite number?
True
Let l(k) = -59*k**3 - 2*k**2 - k. Suppose -2*o - 522 = 4*x - 5*o, x - 4*o + 124 = 0. Let u be 2/(-13) - x/(-156). Is l(u) a composite number?
True
Suppose -3*j = -6*b + 7*b - 1177, 0 = 2*j - b - 778. Is j composite?
True
Let x = -22417 - -37548. Is x prime?
True
Let s(n) = 941*n**2 - 4*n + 5. Is s(2) composite?
False
Let d(l) = 435*l**2 + 4*l + 2. Let g be d(-2). Suppose 0 = -2*j + g - 4862. Is (-2)/(j/(-524) + -3) composite?
False
Let r = 4872 - 2263. Is r composite?
False
Suppose -4*n + 2*i = -2746, 0 = 4*n + 5*i - 2*i - 2731. Suppose 3*o - 104 = n. Suppose 0*k - o = -k. Is k prime?
True
Let c = -39 + 62. Suppose 2*b - 5 = -1. Suppose 215 = b*l - c. Is l a prime number?
False
Let h(k) = 55*k**2 + 29*k + 175. Is h(48) prime?
True
Suppose 261053 - 29648 = 15*u. Is u prime?
True
Let f(w) be the first derivative of 117*w**2/2 + 6*w - 6. Let g be f(11). Let t = g - 638. Is t a prime number?
False
Suppose 0*r + 10 = 2*r. Suppose -r*p + 1946 = 606. Suppose -p = -4*y + 408. Is y prime?
False
Let j(k) = 2*k - 20. Let h be j(12). Is 2 + (h/(-8) - 214/(-4)) a prime number?
False
Suppose -5*j = -4*g + 37238, -18*j - 46539 = -5*g - 16*j. Is g a prime number?
False
Is 47/(-376) + (-35778)/(-16) + 1 composite?
False
Let l be -9 - -12 - (-1561 - -1). Suppose -4*g = -7*g + l. Is g a composite number?
False
Suppose 4*c - 1088 = -3*x, -5*x + 1795 = c + 2*c. Is (3 + x)/(0 - -1) a prime number?
True
Let a = 311 - 478. Let m = -10 - a. Is m composite?
False
Suppose 4*g - 20 = -g - 5*r, 0 = -4*r + 8. Let i(o) = 863*o + 13. Is i(g) prime?
False
Let l = -13 - -18. Let q(m) = m**2 + 2*m - 22. Let z be q(-6). Suppose 3*f - l*f + 86 = z*s, -3*f = -3*s + 99. Is s prime?
False
Let b = -5 + 9. Let u(o) = b*o + 12*o**2 + 8 + 7*o**2 - 3. Is u(-4) a composite number?
False
Let t be 223/(-5) - 2/5. Suppose -250 = 20*g - 21*g. Let i = g + t. Is i composite?
True
Suppose 0 = 33*h - 36075 - 53190. Is h a prime number?
False
Let n be (-55)/(-25) - 1/5. Suppose 5*w - 3*k = 1035, w - 2*k - 190 = n*k. Let h = w + -83. Is h a composite number?
False
Let w = -109 + 202. Suppose 2*s = 2519 - w. Is s a composite number?
False
Let q(c) = -8*c**3 + 6*c**2 + 5*c - 5. Let o be q(-4). Suppose 5*i - 6*i = -o. Is i a prime number?
False
Let j be 7/((-21)/(-6)) + 2. Suppose -j*r + 3 = -5. Suppose -r*g + 30 = -72. Is g composite?
True
Let z(s) = -65*s**3 - 8*s**2 - 3*s + 41. Is z(-6) a composite number?
True
Let h(g) = -6*g + 21 - 56 + 30. Let i be 4/(-6) - 64/12. Is h(i) prime?
True
Let w(b) = 78*b - 11. Suppose -5*o - 35 = 15. Let h(z) = z + 16. Let t be h(o). Is w(t) prime?
True
Let g be 1/3 - (-200)/(-15). Let p = g + 15. Suppose q = -p*c - 3*q + 250, 3*q - 505 = -4*c. Is c prime?
True
Let n(t) = 2*t - 5. Let g be n(4). Suppose j - 85 = 3*l, -3*j - g*l + 48 = -147. Suppose 6 = -3*z, 2*o = 2*z - 4*z + j. Is o a composite number?
False
Suppose 8838 = -5*v - 34047. Is (((-20)/15)/2)/(6/v) prime?
True
Let j(y) = 16*y**3 - 2*y**2 + 1. Let q be j(-1). Let v(m) = m**3 - 11*m**2 + 3*m - 14. Let c be v(10). Let u = q - c. Is u composite?
False
Suppose -25*v + 24*v = x - 20920, -5*v + x + 104606 = 0. Is v prime?
True
Let o(u) = 157*u**2 + 45*u - 19. Is o(6) composite?
False
Let d(f) = -f**3 - 8*f**2 + 2*f + 14. Let b(n) = 2*n**3 + 7*n**2 - n - 15. Let t(s) = 3*b(s) + 4*d(s). Let c = -99 - -107. Is t(c) a composite number?
True
Let f = -67418 - -129775. Is f prime?
False
Is 36/(-24)*(-12172)/6 a prime number?
False
Is -6*((-49247)/132 - 9/12) a composite number?
False
Let s = 1948 + 3775. Is s prime?
False
Let u(r) = 10*r**2 - 2*r - 5. Suppose a = 4*o - 65, -2*o + 3*o - 4*a - 20 = 0. Suppose 5*p + o = p. Is u(p) a composite number?
False
Let o = 21258 - -10507. Is o a prime number?
False
Suppose p + 2*p = 4*t + 11, 0 = t + 2*p - 11. Let o be 22*1/4 - (-3)/(-6). Is (40/8)/(t/o) composite?
True
Let b be (-4)/10*-5 - -2. Suppose g + 1 = b. Suppose 0 = g*a + 12, 4*l - l - 4*a = 397. Is l composite?
False
Let c = 11048 - 2000. Let k = c + -5065. Is k a composite number?
True
Let k be (-2)/(-8) + 87*3/(-36). Is (5 + k)*(-286)/4 prime?
False
Let t(g) be the second derivative of 13*g**3/6 + 7*g**2 + 23*g. Is t(8) prime?
False
Let d(m) = 14*m**2 - 9*m + 8. Let u(w) = -29*w**2 + 17*w - 15. Suppose 18*j - 12 = 14*j. Let i(v) = j*u(v) + 7*d(v). Is i(7) composite?
True
Let b be -4*(618/(-8))/(-3). Let z = b + 177. Let c = z - -113. Is c composite?
True
Suppose 0 = 53*y - 46*y - 684355. Is y a prime number?
False
Let v(m) = 35*m**2 + 65*m - 5. Is v(-9) composite?
True
Let q(l) be the first derivative of 533*l**2/2 - 17*l - 23. Is q(14) a prime number?
False
Let p(d) = -d**3 + 6*d**2 + 5*d + 13. Let b be (-32)/8 - (-1 - -3). Is p(b) composite?
True
Suppose 102610 = 5*i + 5*o, 61574 = 3*i - 5*o - 0*o. Let m = i + -14170. Is m a composite number?
False
Suppose 5*x + 19 = -w + 3, 3*x = 5*w - 60. Let u = w - -58. Is u composite?
False
Let o(m) = 43*m. Suppose 4*j = 2*w + 6, 2*j + 1 = -w + 6. Let l be (16 - 14)*j/4. Is o(l) prime?
True
Suppose -86242 - 764 = -6*v. Is v composite?
True
Let z be (-1 - 1)*-2824 + 3. Let x = z - 2336. 