 11*n**4/12 - n**3/3 + 37*n**2. Is o(-15) prime?
True
Let b = -1 + -3. Let l be ((-2)/(-4))/(b/(-24)). Suppose 241 = 4*c - l*s, -36 - 135 = -3*c - s. Is c a prime number?
False
Let p be ((-3)/6)/(1/(-8)). Suppose p*k - 280 = -64. Suppose -481 = -t - k. Is t prime?
False
Let x(q) = -q**3 + 9*q**2 + 10*q + 4. Let k be x(10). Suppose -n + 2519 = k*u, 4*n + 16 = -4. Is u composite?
False
Suppose -g - 4*o = -3*o, -9 = 5*g + 2*o. Let d be 0/((-1 - -2) + g). Suppose 0 = 4*q - y - 505, d*y - 4*y = -4*q + 496. Is q a prime number?
True
Let j = -12 + 6. Let i be j/(-21) - (-150)/(-35). Is 28 - ((-4)/i - -1) a prime number?
False
Suppose 4*a - 4*z = z + 12, -5*a + 15 = 2*z. Suppose 0 = i + a, -4*k = i - 592 - 553. Is k a composite number?
True
Let o be ((-30)/(-6))/5 + 2. Suppose 13*y - 11*y = o*n + 598, -4*y - 4*n = -1156. Is y prime?
True
Suppose 3*b - 1995 - 1956 = 0. Let s = 2066 - b. Is s prime?
False
Let w be 22*4/16*-2. Let v = w - -59. Let f = v + -17. Is f composite?
False
Suppose i + 0*i = 4*t + 79, -99 = 4*t + 3*i. Let z = -13 - t. Is 125 + (-7)/(14/z) prime?
False
Let d(o) = 5*o**2 + 9*o - 39. Is d(16) a composite number?
True
Let s(d) = 5*d**3 - 5*d**2 - 12*d + 35. Is s(8) prime?
True
Let t = -15692 - -23191. Let w = 290 + t. Is w prime?
True
Is ((-10)/6)/(225/(-1124415)) a prime number?
True
Suppose -34*o = -33*o - 4661. Is o prime?
False
Let o = 16 + -14. Is o - 8/6*-24 a prime number?
False
Let d be ((-2)/3)/((-10)/(-60)). Is (-508)/d*(2 - 1) prime?
True
Suppose 52134 = 5*p + 106*r - 105*r, 4*r = -2*p + 20850. Is p composite?
False
Let z be 8*((-4)/(-8) + 0). Suppose 15*g - 6 = 14*g. Let y = g + z. Is y a composite number?
True
Let r be 1/3 + (-12)/(-18). Suppose -6 = -p - q, 5*p = 2*q - r + 3. Suppose 4 = p*b, 5*b - 319 = -2*l - 55. Is l prime?
True
Let x = 23 - 17. Is (x/3 - 2) + 37 a prime number?
True
Is 297823/51 + 4/(-6) a composite number?
False
Let n(h) = -26*h**3 + 46*h**2 - 76*h + 81. Let t(g) = -5*g**3 + 9*g**2 - 15*g + 16. Let v(i) = -2*n(i) + 11*t(i). Is v(-7) a prime number?
False
Let f(b) = 4*b - 93. Let w be f(24). Suppose -w*l + 1931 = o, -6*l = -4*o - 2*l + 7756. Is o a prime number?
False
Let v(x) = 19*x - 12. Suppose 7*f - 3*f = -36. Let h be (-2)/f + 176/18. Is v(h) a composite number?
True
Let x = -27 + 26. Is x/8*2*(-3 - 2689) composite?
False
Let g = 22 + -17. Suppose 5*n - 1090 = -g*q, -3*q + 2*n = 6*n - 649. Is q a composite number?
False
Let y = 23 + -20. Let i(l) = -1 - 2*l**y + 0*l**2 - 5*l - 2 + 2*l**2 + 2. Is i(-4) prime?
True
Let p be (3 - 3) + -1 - -1. Let y be 1 + (1 - (p - 0)). Suppose c + 4 = y*k - 1054, 3*k + c - 1577 = 0. Is k a prime number?
False
Suppose 16*w - 1097159 = -33*w. Is w a prime number?
True
Suppose 0*s = -5*s + 1820. Suppose a - 5*a = -s. Is a a prime number?
False
Let c = -2 - -6. Let i(s) = -s**3 + 9*s**2 - 2*s + 7. Is i(c) a prime number?
True
Suppose 0 = -15*q + 14*q + 573. Is q a composite number?
True
Let d(u) = 1190*u - 369. Is d(20) a prime number?
True
Let g = -399 + 401. Let n(d) = 50*d**2 - 4*d + d + 1 + 4*d. Is n(g) composite?
True
Is (-192214)/(-24) + (-2)/(-24) prime?
True
Suppose 0 = -5*i, 117 + 42 = 3*w + 3*i. Is w composite?
False
Suppose 12 = -4*y - q, 1 = -5*y + q - 23. Is y/10 + (-974)/(-10) prime?
True
Suppose 0*q + 1 = 4*v + 5*q, 4*q = 3*v + 38. Let a(o) = -282*o - 14. Is a(v) a prime number?
False
Let x = 14 + -14. Suppose x - 5 = 5*n. Is -164*(0 + n) + -3 composite?
True
Suppose -2*j + 7*j - 100 = 0. Suppose 5*k - 2*q = 465, 210 = 4*k + 3*q - 162. Let y = j + k. Is y composite?
False
Is 8268*9 + (-3 + 3 - -5) a prime number?
False
Let k(m) = -16*m**2 + 4*m + 10. Let n be k(5). Let u = 301 - n. Is u prime?
False
Let i = 28 - 23. Suppose 0 = -o + v + 62, i*v - 12 - 3 = 0. Is 6/12 - o/(-2) prime?
False
Let w be (-14)/(-4*(-2)/8). Let i = w - -23. Is 1285/i - (-10)/45 a prime number?
False
Is ((-54)/(-90))/(4/(3176440/6)) composite?
False
Let g = 3455 + 3082. Is g a composite number?
True
Is 61441 + (-18)/(-8)*168/63 composite?
True
Let i(p) = 514*p**2 + 14*p - 33. Is i(2) a composite number?
True
Let b = 9047 + -1756. Is b composite?
True
Let g(t) = 31*t**2 - 14*t + 497. Is g(-44) a composite number?
False
Let f(i) = i + 4. Suppose 0 = y + 6. Let v be f(y). Let j(q) = -4*q**3 + q**2 - q - 1. Is j(v) prime?
True
Let x = -5832 + 10569. Is x a composite number?
True
Suppose -5*a + 4*w + 64125 = 0, -30 + 35 = -w. Is a a composite number?
False
Let u(l) = -37*l + 13. Let j(d) = 3*d - 37. Let o be j(11). Is u(o) composite?
True
Suppose -r + d + 3385 = 0, 4*d - 1347 = -2*r + 5447. Is r composite?
False
Suppose 5*p + 4*h = 26, -3*h = 2*h + 5. Let s(y) = 77*y + 49. Is s(p) a prime number?
False
Let p be 6/(-7)*84/(-18). Suppose 5*u - 4*u - 2*j - 2901 = 0, -u + p*j + 2899 = 0. Is u a prime number?
True
Let j be 18/(-45) - 7/(-5). Is (14 + -163)/(j*-1) prime?
True
Suppose j + 3*q - 1597 = 0, -4*q - 1569 = 4*j - 5*j. Is j a composite number?
True
Let p(t) = -t**3 - 8*t + 12. Let j(q) = -2*q**3 + 23*q**2 + 12*q - 7. Let b be j(12). Is p(b) a prime number?
False
Let t = -15 + 21. Suppose t*u = 9*u - 15. Suppose 0 = -2*f + u*f - l - 883, -3*f = 3*l - 867. Is f a composite number?
False
Let p = 60996 - 14777. Is p a prime number?
True
Let r(i) = i**2 + i + 1. Let c be r(-3). Let w = 11 - c. Suppose -u + 175 = w*u. Is u a prime number?
False
Let b = -25 + 8. Let k = b + -1. Let w = -3 - k. Is w a prime number?
False
Let y be (62 - 61)/(1 - (-4718)/(-4719)). Suppose -2*j - q + 4716 = 3*j, -5*j - 4*q = -y. Is j a prime number?
False
Let z(u) = -265*u + 10. Let r be z(-7). Suppose -9*a = -4*a - r. Is a composite?
False
Let t = -67 + 70. Suppose t*p + 5*b - 2710 = 176, -2889 = -3*p - 4*b. Is p a prime number?
True
Suppose -801 = -3*g - 0*g. Let v(u) = -u**3 + 9*u**2 - 16*u + 17. Let r be v(7). Suppose 0 = 3*w - r, -y = 4*w - g. Is y prime?
True
Let u(h) = -4*h**3 + h + 1. Let g be u(-1). Suppose 5*o - 51 = o + 5*t, g*t = 4*o - 52. Is o a prime number?
False
Let r = -106059 + 178480. Is r composite?
False
Is 2/14 + (-27)/((-3402)/1640376) composite?
True
Suppose 0 = 3*k - 18*k - 75. Is (-67 - 0)*(-14 + k) a composite number?
True
Let k(l) be the third derivative of 3*l**5/20 + 5*l**4/12 - 7*l**3/6 + 11*l**2. Is k(4) a prime number?
False
Suppose -8*i = -12*i. Suppose i = -4*m - m + 2215. Is m a composite number?
False
Let w = -727 + 1296. Suppose 3*x = 2*q + 1695, 0 = 3*x - 2*x - 2*q - w. Is x composite?
False
Let b = 458 - 652. Is b/(-6)*(12 - -21) a composite number?
True
Let p be (-3)/27*-3*33. Let v = -9 + p. Suppose 0 = 5*d + 4*b - 651, -2*d + v*b - 21 = -285. Is d a composite number?
False
Let h = 74 - 72. Suppose -3*w + 28 + 309 = -h*j, -5*w + j = -557. Is w prime?
False
Let p be (117/(-27) - 0) + (-1)/(-3). Is (466/(-10) - p/(-10))*-11 a prime number?
False
Let h(c) = -c**3 + 10*c**2 - 9*c - 10. Suppose 47 = 5*z - 4*t, -5*z + 0*z + 32 = t. Let p be h(z). Suppose 177 = j - p. Is j a composite number?
False
Let x(n) = -8737*n**2 - 2*n + 3. Let y be x(1). Is y/(-7) + (2 - 3) a prime number?
False
Let l(j) = 5666*j + 56. Is l(3) composite?
True
Let s(j) be the third derivative of 1/10*j**5 + 0*j + 0 + 1/4*j**4 + 3*j**2 - 2/3*j**3 + 1/120*j**6. Is s(5) a composite number?
True
Suppose y - 3 = 5*g, y + g = -4*y + 15. Suppose -39 - 39 = -y*b. Is b prime?
False
Let q(r) = 22*r + 19. Let s = -36 + 52. Is q(s) composite?
True
Suppose -2*d + 2*h = -14056, d - 7043 = 43*h - 45*h. Is d prime?
False
Let c be (-32 - -1) + (-8)/2. Let b = c - -36. Let t(k) = 1277*k**2 - k + 1. Is t(b) prime?
True
Let d(z) = 85*z + 50. Is d(9) composite?
True
Let o(v) = v**2 - v + 55. Let k(t) = -3*t**2 - t. Let d be k(2). Let a = -14 - d. Is o(a) composite?
True
Let o be (-4)/6 - 8/(-3). Let r(l) = 56*l**2 + 4*l - 4. Let n be r(o). Let z = -17 + n. Is z composite?
False
Suppose -3*c - 141 = -4*c. Suppose 4*i - c = 3*i. Is i prime?
False
Let s(z) = 22*z**3 + 4*z**2 - 5*z + 3. Let v = 17 + -13. Let n be s(v). Suppose c - 3*w - 496 = 0, n = -c + 4*c + 2*w. Is c prime?
True
Let f(p) = 6*p**3 + 17*p**2 + 21*p - 15. Is f(23) a composite number?
False
Is 4 + 1077 - (9 - 15) composite?
False
Let m = -15 - -17. Suppose -n + 88 = -m*u - 107, -5*n + 953 = u. Is n a composite number?
False
Let p(t) = 2858*t**2 + 12*t -