2 + 62*y**3 - 61*y**3 + 1 + 0. Is v(-10) prime?
True
Let r(z) = -4*z + 88. Let a be r(21). Suppose 0 = -d + a*n + 22763, 91038 = 6*d - 2*d - 2*n. Is d a composite number?
True
Suppose 11*g = 3245 + 2607. Suppose 5*w + 4*t = w + g, 2*w - t = 272. Suppose -3*o + 1092 + w = 0. Is o prime?
True
Suppose 1044*g - 1061*g + 1324181 = 0. Is g prime?
True
Let i(b) be the second derivative of b**3/6 + b**2/2 - 7*b. Let l(c) = -50*c + 12. Let y(g) = 5*i(g) + l(g). Is y(-12) prime?
True
Is 8/12 - (-24)/((-144)/(-1664462)) composite?
False
Suppose w + 4*q - 24576 = -w, 5*q + 49100 = 4*w. Suppose 8*p + 1384 = w. Is -2 + 1 + p*(-5)/(-5) prime?
True
Let z(q) = 48*q**2 - 30*q + 1. Let f(s) = -47*s**2 + 31*s - 1. Let x(g) = 4*f(g) + 5*z(g). Is x(11) prime?
True
Suppose -20*s + 3*w = -18*s - 22180, 0 = 2*s - 5*w - 22168. Is s a prime number?
False
Let r = -109971 + 656756. Is r a composite number?
True
Let k be (-53890)/(-8) + 11/(-44). Let l(d) = -153*d**2 - 2*d + 12. Let g be l(-5). Let o = k + g. Is o a prime number?
False
Let d(j) = 8802*j**2 + 61*j - 234. Is d(5) prime?
False
Let w(j) = -j**3 + 3*j**2 - 2*j + 15. Let x be w(0). Suppose x*p - 1873 = 5522. Is p composite?
True
Suppose -29*n + 42010 = -9*n - 10*n. Is n a composite number?
False
Suppose -77*f + 8*f = 44*f - 60092609. Is f composite?
False
Let c(q) = 761*q + 152. Let s be c(5). Let i = s + -2114. Is i a composite number?
True
Let i(p) = -p + 15. Let c be i(12). Suppose o - 646 = c*n, 6*n + o = 11*n + 1078. Let b = 307 + n. Is b a prime number?
False
Suppose 46 = 4*m - 38. Let d be (-3 - m/6)*-320. Suppose 2*t + t + i - d = 0, 0 = 5*t - 4*i - 3495. Is t a prime number?
False
Let v(u) = 12*u**3 + 6*u**2 - 15*u - 15. Let p be v(-6). Let q = 3972 + p. Is q a prime number?
False
Let o(x) = -255 + 306 + 200 + 246*x. Is o(7) a prime number?
True
Let w(y) = y + 12. Let m be w(-7). Suppose 4*z + 890 = -3*p - 331, -5*p = -m. Let i = -35 - z. Is i prime?
True
Suppose m + 2 = 12. Suppose 0 = -4*g - m*g + 4774. Is g a prime number?
False
Is 462/(-231)*-373586*(-2)/(-8) a composite number?
False
Suppose -44*d = -1089283 - 1025929. Is d composite?
False
Let a(j) = -j**2 - 12*j + 71. Let z be a(-31). Suppose -2 = -2*y + 2. Is ((-61)/y)/(7/z) a composite number?
True
Let j(n) = -133*n**3 - 6*n**2 - 211*n + 53. Is j(-16) prime?
True
Suppose 2*q + 99911 + 95605 = 0. Is (-1)/(-2) + 1*q/(-12) prime?
True
Suppose -3*d + k = -2497, 0 = 3*d - 0*d + 4*k - 2522. Let y = -30 - -30. Suppose 3*r + y*c - 4*c = 1201, -2*r = 4*c - d. Is r prime?
False
Let i = 5317 + -1467. Let s = i - 2535. Suppose -4*c = c - s. Is c composite?
False
Let x = 3596 - 5764. Let r = 3877 + x. Is r composite?
False
Suppose -87 = 3*a - 6*a. Suppose 30*y = a*y + 7621. Is y a composite number?
False
Suppose 78 + 2 = -10*w. Let j = 665 - w. Is j prime?
True
Let k(n) = 6267*n - 362. Is k(15) a composite number?
True
Let g(w) = w + 18. Let u be g(-16). Suppose q + 2*i = 1000, 5*i = -u*q - 0*i + 1997. Is q a composite number?
True
Let t be 18/252 - 11353/(-14). Suppose -4*l + 808 = -4*o, 0 = 30*l - 26*l - o - t. Is l a prime number?
False
Suppose 2*m + 4*s - 1744094 = 0, 2*m = 4*s + 1277547 + 466587. Is m prime?
True
Let r = 140168 + -86115. Is r prime?
False
Let l = -87230 + -638827. Is 30/195 + l/(-39) composite?
False
Let z(w) = 827*w - 66. Let c(t) = -t - 1. Let f(u) = -2*c(u) - z(u). Is f(-9) a composite number?
True
Suppose -5*t = -2*g - 4*t - 3, -5*g - 30 = 5*t. Let k be 5 + g + 5/1. Is 0 + 88 + k + -6 composite?
False
Let y(c) be the third derivative of c**6/120 - c**5/30 - c**4/24 + 4535*c**3/6 + 74*c**2. Is y(0) a prime number?
False
Suppose 3*q = 250 - 1. Let p = q - 84. Is ((-20)/(-15) + p)*678 a prime number?
False
Let d be -37 - -42 - (-1 - -3). Let h be 5/(-10)*-5 + (-1)/2. Suppose h*l + 3153 = 5*v, d*l = -3*v + l + 1895. Is v prime?
True
Let n(o) = -54*o**3 + 9*o**2 + 5*o + 3. Is n(-8) a composite number?
True
Let d = -4336 - -6770. Is d a composite number?
True
Let q = -33 - -33. Suppose 129*i - 132*i + 111 = q. Suppose 0 = -i*w + 33*w + 2152. Is w a composite number?
True
Let q(d) = -308*d**2 - 6*d - 57. Let b be q(-6). Let m = -4400 - b. Is m a prime number?
True
Let x(c) = -2*c + 19. Let m be x(6). Let s be m + (10/5 - 5). Suppose s*j - 633 = 3*j. Is j a composite number?
True
Let u(n) = 7960*n**3 + 3*n**2 + 5*n - 13. Is u(2) a composite number?
False
Let b = -7865 + 10068. Is b a composite number?
False
Let p = -13826 + 54549. Is p a composite number?
True
Suppose 6169 - 43389 = -4*r. Let i = -4132 + r. Is i a prime number?
False
Let v = -43 - -69. Suppose v*c = 27*c - 36647. Suppose 11*r - c = -2*r. Is r a composite number?
False
Let k = -84772 - -310251. Is k composite?
False
Suppose 369069 = 5*c - f, -5*c + 11402 = -4*f - 357679. Is c prime?
False
Suppose 0 = 5*x - 5*u - 323575, -3 = -5*u - 23. Is x a prime number?
False
Suppose -34996 - 270793 = -8*a + 292395. Is a a composite number?
True
Suppose 14668 = 5*z - 9737. Suppose 3*w = 6, 0 = 4*v + 3*w - z - 9341. Is v prime?
False
Let p be 8/(-2) + -1 + 6130. Suppose 2*l - 2065 = -o + 6*l, -p = -3*o - 2*l. Is o a composite number?
True
Let f be 28488/(-18)*(0 + (-3)/2). Suppose -15*u + f = -14*u. Is u a composite number?
True
Suppose 0 = -2*d - 4*k - 659 - 3025, -4*k = 5*d + 9186. Let p = d - -7181. Is p prime?
True
Let p be (3 + 0 - 2) + 32/4. Suppose 0*h - 54 = -p*h. Is 12/(-36) - (-2912)/h a composite number?
True
Let y(v) = 4*v**2 - 6*v + 15. Let u be y(-12). Suppose -u = 5*o + 152. Let d = -76 - o. Is d a composite number?
True
Let l = 400 - 396. Suppose -g + 4*y = -4205, 5*y + 24927 - 8118 = l*g. Is g composite?
False
Let o = 3290 + -4810. Let f = o - -886. Let t = f - -1757. Is t a composite number?
False
Let k(h) = 237*h**2 + 5*h + 4. Let a be k(-3). Is a/2 - (-7 - -1) a prime number?
False
Let h(p) = -18*p**3 - 24*p**2 + 6*p + 37. Is h(-20) a prime number?
False
Let v(a) be the second derivative of -21277*a**3/6 - 4*a**2 - 4*a - 8. Is v(-1) a composite number?
False
Let w(y) = -49*y - 30. Let v be w(-4). Suppose v = 10*r - 11644. Is r composite?
False
Suppose -2*o + o + 4 = 0. Suppose o*n - 6*n + 614 = 0. Is (n/5)/((-8)/(-40)) prime?
True
Let v be -1 + 5 - (-2 - (0 + -3)). Suppose 6*u - 11241 = v*u. Is u composite?
True
Suppose -4*v = -p - 25870, -100*v + 4*p = -105*v + 32327. Is v prime?
False
Let o be 9589/((-3)/3*1). Is (o/(-86))/((-118)/(-116) + -1) prime?
False
Let n(j) = 12974*j**2 - 7*j - 43. Is n(-6) composite?
False
Let q(k) = 58*k**2 - 90*k - 425. Is q(-42) a prime number?
True
Let t(r) = 62924*r + 5321. Is t(7) a composite number?
False
Is (-42)/(-14) - (3 + -60301) composite?
True
Let f = -6334 - -3372. Let v = -1601 - f. Is v prime?
True
Let h(x) = -x**3 - 2*x**2 - x + 3. Let q be h(0). Suppose 6783 + 6534 = q*o. Suppose 0 = 5*g - 2*t - o, 3*t + 3547 = -2*g + 6*g. Is g composite?
True
Let m = 103377 + -61996. Is m prime?
True
Is 1/(-6) - (2644227/(-54) + 10) a composite number?
True
Let r be 251914/6 + -1 + 27/81. Suppose 13*u + 3466 = r. Is u a prime number?
True
Suppose 30*b + 396296 = 4*s + 28*b, -2*s + 198184 = 5*b. Is s a composite number?
True
Suppose -55*d + 600272 = -23*d - 493584. Is d prime?
True
Let i(y) = -2*y**3 - 8*y**2 - 13. Suppose 12*t = 16*t - 5*d + 18, -d = -4*t - 26. Let c be i(t). Suppose -2*s = 3*b - 0*b - c, -3 = b. Is s a prime number?
False
Let c(f) = 29*f**3 + 9*f**2 - 11*f + 2. Let t(i) = -i**3 + 15*i**2 + 2*i - 25. Let y be t(15). Is c(y) a composite number?
False
Suppose -7959 = -f - t + 9823, -4*f = -t - 71133. Is f composite?
False
Let g = -5 - -5. Suppose 0 = -j + y - 0*y - 5, 4*j - 5*y + 25 = g. Is -1*(j - -4 - 207) composite?
True
Let v(j) = 26636*j**2 - 50*j + 7. Is v(2) composite?
False
Let y = -466 - -462. Is -4 + 911046/38 + y/(-38) prime?
True
Let k(w) = 2444*w**2 - 92*w + 883. Is k(21) a composite number?
True
Let a(o) = o**3 - 14*o**2 - 3*o - 138. Let u be a(15). Is 392/u*(-20946)/(-8) prime?
False
Let x(r) = 14*r**2 - r + 61 - 10 + 0*r - 8*r**3 + 0*r**3. Is x(-10) a prime number?
True
Let c(x) = -10138*x + 10163. Is c(-108) prime?
True
Let k(i) be the first derivative of i**4/6 - 5*i**3/2 + 13*i**2 + 8*i + 41. Let f(l) be the first derivative of k(l). Is f(9) a composite number?
False
Let p(b) = b**2 + 19*b - 15. Let 