
Let y(c) be the third derivative of c**8/1680 - c**7/630 - c**6/72 + 3*c**5/40 + c**4/2 + 13*c**2. Let p(x) be the second derivative of y(x). Is p(6) composite?
True
Is 28/(-35) - 27717/(-15) a prime number?
True
Suppose i + 45 = 4*i. Suppose 4865 = -10*p + i*p. Is p a prime number?
False
Let j(k) = -337*k - 574. Is j(-45) prime?
True
Let n(a) = 158*a**3 - 23*a + 97. Is n(6) composite?
True
Suppose 0 = 3*y + 79 + 38. Suppose -f + 760 = 4*f. Let z = f + y. Is z a composite number?
False
Let g(c) = 20*c**2 - 13*c + 102. Is g(-23) composite?
True
Suppose 3*s - 7*s + 20 = 0. Let f(t) = 135*t + 3. Let w(o) = -90*o - 2. Let g(y) = s*f(y) + 7*w(y). Is g(12) prime?
True
Let i = -235 - -1478. Is i prime?
False
Suppose 131*o - 188530 = 121*o. Is o a prime number?
False
Let o(q) = -46*q**2 - 2*q + 1. Let l be o(-1). Is (l/(-5))/((-2)/(-10) - 0) a composite number?
False
Suppose -7 - 5 = -3*g. Suppose g*i = -4*u + 8, -9 = -i - 4*u - 4. Is 0 - -52 - i - -2 prime?
True
Let u = -296 - 128. Let m = 770 + u. Is m a composite number?
True
Let b be -4*4/(-8)*1. Let z = -18 + b. Let x = 6 - z. Is x composite?
True
Suppose 10*x = 15*x - 35125. Suppose -17*d + x = -12*d. Is d a composite number?
True
Is (-20)/(-70) - (6870/7)/(-2) prime?
True
Suppose -q = -4*a + 87, -4*a + 3*q = -2*q - 99. Suppose -4*i = -393 - 415. Let g = a + i. Is g composite?
False
Suppose 40612 = 3*z + m, 3*z + 5*m = 2*m + 40614. Is z composite?
False
Suppose -3*l = -5*z - 67528, -2*l + 58*z + 44992 = 60*z. Is l a composite number?
False
Let w(i) = 54*i**2 - 3*i + 1. Suppose -37 = 6*p - 13. Let u be (-4 - (-5 - p)) + 5. Is w(u) composite?
False
Suppose g + 5556 = 6*v - 4*v, -5*v + 13877 = 4*g. Is v a prime number?
True
Suppose 0 = 4*u - 5*o - 3 + 7, -2*o + 12 = u. Is 454/u + 2/(-4) a prime number?
True
Let o = 37 + -32. Is 3 - (-342 - (-3 + o)) a composite number?
False
Let h(r) = 158*r + 23. Let y be h(-8). Let g = -484 - y. Is g composite?
False
Let s be 4/(-8) + 5/(-2). Let b be 8/s - 24/(-36). Let h(f) = -13*f**3 + 2*f**2 - 2*f - 3. Is h(b) prime?
True
Let y(p) = 22*p + 3. Let r be y(-4). Let a = 172 + r. Is a a composite number?
True
Let a(m) = -1549*m - 294. Is a(-25) prime?
True
Let o(g) = 2*g**3 - 3*g**2 + g - 2. Let n be 0 + (-7)/((-7)/2). Let z be o(n). Suppose 26 = z*r - 62. Is r a composite number?
True
Is 18517/((-16)/(-18) - (-24)/216) a composite number?
False
Let x be -368 - (27/(-3))/3. Let t = -238 - x. Is t a composite number?
False
Suppose -5*o + 2*m = -38, 4*m + 4 = -2*o - 0. Let g be (-8)/(-48) - (-11)/o. Is -1 + g - 720/(-8) a prime number?
False
Suppose -4*t + 4 = 0, 16*v = 13*v - 3*t + 38970. Is v composite?
True
Let p(v) = -9*v**2 + 23*v + 31. Let i(x) = 5*x**2 - 12*x - 16. Let f be (-2)/(-6) - (-224)/21. Let y(j) = f*i(j) + 6*p(j). Is y(-11) prime?
False
Suppose -192 = 44*m - 38*m. Suppose 216 = -4*d + 4*j, 4*d + 3*j + 164 = -52. Let p = m - d. Is p composite?
True
Suppose 5*r = r + 5*s - 157, -5*s = -3*r - 114. Is r/((-4 + 2)/2) composite?
False
Let h be ((-30)/(-9))/(5/15). Suppose a - u = 10 - 5, h = 3*a + 2*u. Is ((-106)/(-4))/(a/8) a composite number?
False
Let w = 607 - -1086. Suppose -5*q + 282 = -w. Let t = q + -158. Is t composite?
True
Let j(b) = 15209*b. Is j(1) composite?
True
Suppose -213 = 13*m - 278. Let l(i) be the first derivative of 3*i**4/4 - 5*i**3/3 + i**2 - 9*i + 1. Is l(m) a composite number?
False
Let k = 17048 - -4599. Is k composite?
False
Let q = -112 - -456. Suppose q = 3*h - 3*w + 92, 2*h - 5*w - 165 = 0. Suppose -17 = -3*i + h. Is i prime?
False
Let k be 305 - -2 - (-2 + -1). Let i = -785 + k. Let w = -224 - i. Is w a composite number?
False
Let a = 30 - 26. Suppose 4*h + 69 = -4*y + 309, -2*y = a*h - 126. Suppose 4*r = -5*u + 624 - y, 4*u - 2*r = 464. Is u a composite number?
True
Let r be 5 - (21 - (-4)/(-2)). Is -6*8/84 + (-23850)/r a composite number?
True
Is (-3)/(6/8) - (-1274 - -23) a composite number?
True
Is (-8)/(8/4) + 6094/2 composite?
True
Let k = -6365 + 21024. Is k a composite number?
True
Suppose -5*c + 2268 = 2*k, 5*k - 8051 = c - 2435. Is (-4 - 42/12)*k/(-6) prime?
False
Suppose 0 = 4*b - 5*f - 37, -b - 4 + 27 = -4*f. Let z = 3 - b. Suppose 0 = m - 0*m + 4, 2*g - 3*m - 20 = z. Is g a prime number?
False
Let o(x) = x**3 - 8*x**2 + 2*x - 3. Let m be o(8). Let p = 15 - m. Suppose 2*i - 3*y - 50 = p*y, 4*y = 3*i - 89. Is i a prime number?
False
Suppose 5*b + 0*b = 25. Suppose b*u - 4780 = -2*p - 1208, -3*u - 2*p = -2144. Suppose -429 + 148 = -2*d + 5*m, 5*d - m - u = 0. Is d composite?
True
Let o(m) = m**3 + 2 + m**3 + 4*m**2 + 4*m - m**3 + 1. Let g be o(-2). Let s(l) = 4*l**2 - 3*l + 7. Is s(g) composite?
True
Is (-24)/15 - 174344/(-40) prime?
True
Suppose -9*m - 8771 + 100508 = 0. Is m prime?
True
Suppose -2*l = -3*r + 871, l = -0*r + 3*r - 875. Suppose f = -3*b + 943, -2*b + f + 339 = -r. Suppose b + 80 = 5*a. Is a prime?
True
Suppose 1479 = -0*x + 3*x - 3*l, -477 = -x + 5*l. Is x a composite number?
True
Let y(u) = -2*u - 9. Let d be y(-10). Let p = -8 + d. Suppose -p*t = t - 652. Is t a prime number?
True
Suppose -3*l - 2*l - 70 = -5*t, 4*t - 74 = -5*l. Let z be (5 + -1)*3284/t. Suppose -y + z = -0*y. Is y composite?
False
Let z(h) = -44*h - 145. Is z(-25) a prime number?
False
Suppose -1 - 17 = -3*b. Is (-3690)/12*(-4)/b a prime number?
False
Let g(h) = 598*h**2 - 77*h + 52. Is g(17) a composite number?
True
Let j be ((-2)/(-4))/(6/60696). Let y = j + -1841. Is y prime?
True
Let a = 61 + -8. Is a a composite number?
False
Let w = 7100 + 40251. Is w a composite number?
False
Let i be (3/(-1) - -592) + 3. Suppose l - i = 385. Is l a prime number?
True
Is (-10821*(-26)/117)/(2/6) a composite number?
True
Is -1 - 3 - -11554 - 1 a prime number?
True
Let d(y) = 9*y**2 + 11*y - 13. Let a = 7 + -5. Let b = a + 5. Is d(b) a composite number?
True
Let m = 11288 + -5775. Is m a prime number?
False
Suppose 0 = -5*g + z + 30, 4*g + 0 = 5*z + 3. Suppose g*c - 288 = c. Let i = c - 25. Is i a composite number?
False
Suppose -2*g + 152677 = y, 3*g = -3*y - y + 229003. Is g prime?
False
Suppose -v + 2*i + 5999 = 6*i, 29959 = 5*v + 2*i. Is v prime?
False
Suppose 9*z - 145715 = 7*z + p, -4*p = -z + 72847. Is z prime?
True
Suppose -2*z - 3404 = -4*u, 3*u - 821 = -2*z + 1725. Let b be (-2860)/(-6) - 1/(-3). Let d = u - b. Is d a prime number?
True
Suppose -3*s + 5*s - 135854 = -2*p, -p = 2*s - 135854. Is s prime?
True
Suppose -3*y = -2*y - 3*a - 7192, -2*a + 35977 = 5*y. Is y composite?
True
Suppose 0*s = 5*s. Suppose -4*w + s*w = -540. Suppose -c = -334 - w. Is c composite?
True
Let i(l) = l**3 + 10*l**2 + 7*l - 13. Let x be i(-9). Suppose -c - x = -2*c. Suppose 124 = -m + c*m. Is m a prime number?
True
Let w(b) = b**3 - 3*b**2 - 16*b + 35. Is w(17) a composite number?
True
Is -5 + (-1 - -1) - (-873 - 33) composite?
True
Suppose 6 = 4*v - 3*x, 7 = 5*v - 4*x - 0*x. Suppose v*w - 2*o + 53 = 0, 0*w + o + 71 = -5*w. Is 10570/25 + 12/w prime?
False
Let a = 153 + 11836. Is a prime?
False
Suppose 22*h = 17*h - 5850. Let m = 1641 + h. Is m a composite number?
True
Let s = -46 + 27. Suppose 3*i + 9 = 24, 5*i - 565 = -2*l. Let z = l + s. Is z a prime number?
True
Let a = -93 + 45. Let q(f) = -5*f**3 - 6*f**2 - 3*f - 5. Let t be q(-4). Let i = a + t. Is i composite?
True
Suppose 0 = -4*a - 19 + 67. Let p(f) = 2*f**2 - 22*f - 1. Is p(a) prime?
True
Let c = 648 - 354. Let f be (-12)/36 + (-199)/(-3). Suppose 4*q - c + f = 0. Is q a composite number?
True
Let d(x) = -x**3 + 12*x**2 - 4*x + 31. Let l be d(10). Let t(m) = 64*m**2 - 2*m + 1. Let c be t(1). Let z = l + c. Is z prime?
False
Suppose 6242 = 4*g + x, g - 2038 + 475 = x. Is g composite?
True
Let w(g) = 214*g**2 + 2*g - 2. Let j(d) = d**2 + 1. Let s(t) = j(t) + w(t). Let z be s(1). Let b = z + -142. Is b composite?
True
Suppose -950 - 1998 = -4*m. Is m prime?
False
Suppose -20520 = 9*m - 76419. Is m a prime number?
True
Let b(z) = 175*z - 529. Is b(6) composite?
False
Let l(k) = 5*k**2 + 25*k - 17. Is l(-7) a composite number?
False
Suppose -28 = -4*k + 4*o, 0 = -2*o + 3*o + 5. Suppose 0 = -t + 5, k*l = -3*l - 5*t + 70. Is l - ((-4)/2 + 4) a composite number?
False
Is 3 + (30/1)/6 - -52557 a prime number?
False
Let v(y) be the first derivative of 33*y**3/2 - 2*y**2 + 9*y + 5. Let f(d) be t