Let u(c) = -74*c**3 + 2*c**2 + 50*c - 15. Is u(-8) a prime number?
False
Let f(k) = -k**3 - 15*k**2 - k - 12. Let q be f(-15). Suppose -q*j = 2*j - 4385. Is j a composite number?
False
Let j(m) = 2*m**3 + 5*m**2 + 7*m - 12. Let h be j(-8). Let d = 1143 + h. Is d a prime number?
False
Let r(q) be the first derivative of q**4/4 - 9*q**3 - 5*q**2 + q + 10. Let m be r(13). Is (6/(-5))/(2/m) composite?
True
Suppose -2*p + 2*z + 8929 = -p, 0 = 5*p + 3*z - 44606. Is p a composite number?
False
Suppose -2*n = -n + 72. Let p = n - -47. Is (8 - p)/(3/2) prime?
False
Let p(u) = -87*u - 8. Let o(a) be the second derivative of a**5/20 - a**4/3 - 2*a**3/3 - 5*a**2 - 3*a. Let l be o(5). Is p(l) composite?
True
Suppose t - 36 + 3 = 0. Suppose 4*i + 1 = -3*o + t, 2*i = 2*o + 2. Suppose c + 2 + o = 4*r, 5*c - 46 = r. Is c prime?
False
Let j be (0 - 62/6)/((-8)/2448). Let w = -1261 + j. Is w prime?
True
Let g be ((-6)/(-8))/((-12)/48). Let p be (g - -5 - 0) + 6. Suppose 11*a - 1173 = p*a. Is a prime?
False
Is (-5 + 9/2)/((-2)/7892) a composite number?
False
Suppose -4*d + 2556 = 4*t, -t + 623 = -6*d + 3*d. Is t prime?
False
Let q(t) = 685*t - 2. Suppose -j + 8 = -y, -5*j - 1 = -3*y - 31. Let u(w) = w**2 + 5*w + 1. Let h be u(y). Is q(h) composite?
False
Let r = -112399 - -166562. Is r composite?
False
Let a = 11468 - 3709. Is a composite?
False
Let q(m) = 2*m**2 + 8*m + 6. Let o be q(-5). Suppose -2*i + o = 4. Suppose -2*n = -i*n + 2020. Is n composite?
True
Let l be (15/(-9))/((-1)/3). Is 11/l - 2 - 15624/(-30) composite?
False
Let l = 326 + -229. Suppose l = -n + 618. Is n a composite number?
False
Let k = 27 - 27. Is (k - 534/(-8)) + (-2)/(-8) a prime number?
True
Suppose 234354 = 5*s - n + 17169, -3*s - n + 130311 = 0. Is s prime?
False
Let u(i) = 209*i - 325. Is u(6) composite?
False
Let g = 0 + 2. Suppose -g*u + 9288 = 2*u. Suppose -2*k = 2*k - 4*t - 4668, 5*t = 2*k - u. Is k prime?
True
Suppose -2*i + 4 = -4*i. Let q be (-19 + 0)*(i - 3). Let w = 162 + q. Is w a prime number?
True
Suppose -9 = y + 5*x - 105, -x = 0. Let z be (2/(-1))/(4/62). Let o = y - z. Is o composite?
False
Let c = 8 + -13. Let b(o) = -103*o - 25. Let n(a) = -155*a - 38. Let s(v) = 8*b(v) - 5*n(v). Is s(c) a composite number?
True
Let c(y) = 3*y - 13. Let l(b) = -2*b**2 + 4*b + 5. Let n be l(4). Let h be c(n). Is (-6 + 0)/(4/h) composite?
True
Let m(y) = 152*y**2 - 5*y + 21. Let h = -55 + 59. Is m(h) prime?
False
Let b(d) be the third derivative of d**8/2520 + d**7/2520 + d**6/720 + d**5/10 - 3*d**2. Let l(x) be the third derivative of b(x). Is l(3) a prime number?
True
Suppose -14*w + 18984 = -9086. Is w prime?
False
Let g(n) = 5*n**2 + 2 + 9*n - 3 + 2. Suppose 5*x - 3 = 3*i, -2*i - 2 - 1 = -3*x. Is g(i) a prime number?
True
Let c(x) = 112*x**3 - 2*x**2 - 3*x + 7. Is c(2) a composite number?
True
Let z(t) = 15*t**2 - t - 1. Let b be z(9). Let w = b - 466. Is w a composite number?
False
Let z(k) = -159*k + 104. Is z(-27) a composite number?
False
Suppose -b = -3*x + 13, 5*x + 1 = 4*b + 18. Suppose x*g = 1 + 9. Suppose -187 - 39 = -g*o. Is o a composite number?
False
Suppose 67668 = 8*h - 160900. Is h a composite number?
False
Suppose 3*z + 2*m = 13994, -5*z + 5*m + 10680 = -12660. Is z a prime number?
False
Let j be -7*(3/(-3))/(-1). Let t = j - -10. Suppose -t*r + 4*g = -355, -r + 2*r + 2*g = 125. Is r a composite number?
True
Let d(y) = 11*y - 4. Let a(r) = -r**2 + r - 1. Let z(s) = -4*a(s) + d(s). Let g(l) = 3*l + 1. Let v be g(-2). Is z(v) composite?
True
Let v(r) = -2*r**3 + 6*r**2 - 3*r + 1. Let l(a) = a**2 - a + 1. Let w(b) = -6*l(b) + v(b). Let z be (9/6)/(3/(-8)). Is w(z) composite?
True
Let w(r) = 8*r**2 - 30*r + 47. Is w(-19) a composite number?
True
Suppose -2*v + 904 = -1110. Is v prime?
False
Suppose -2*k - 102 = -520. Let j = k - 75. Is j prime?
False
Let a be 2/(20/(-18))*5. Let o(s) = s**3 + 9*s**2 + 2*s + 20. Let k be o(a). Is (-10)/k*(0 + -53) a composite number?
True
Suppose -2*g + 16 - 94 = -4*k, 3*k = 4*g + 131. Let j = g + 0. Let i = 60 - j. Is i a composite number?
False
Suppose -5*m - 4*u + 3857 = -u, -2*u - 3068 = -4*m. Suppose 0 = -o + 3*c + 368, -2*o = -4*o - 5*c + m. Is o composite?
True
Let v = 369 + -257. Let h be -1*(-10)/(0 + 2). Suppose -h*j + 78 = -v. Is j composite?
True
Let b = -16 + 49. Let f = 36 + b. Is f a prime number?
False
Let p = -9752 + 14026. Is p a composite number?
True
Let m(j) = -j**2 - j. Let a(w) = w**3 - 14*w**2 - w. Let f(x) = -a(x) + 6*m(x). Let u be f(8). Let n = 73 - u. Is n composite?
False
Suppose -4*b + 4*q - 3 = 1, 3*q - 1 = 4*b. Suppose s + 5*f = 706, -b*f + 0 + 2 = 0. Is s composite?
False
Let a be 6/12 + 1/(-2). Suppose -5*d + 15 = a, -d - 3*d = 2*l - 4630. Is l composite?
False
Suppose 2184 = 5*a - 61. Suppose -5*b + 2200 = -5*n, -b + a = n + n. Is b a prime number?
True
Let k = -15 - -22. Let y(x) = -7 + 2 + 12*x**2 + 0*x + 11*x - 8*x**2 - 17. Is y(k) composite?
False
Let f(u) = 4*u + 70. Let i(v) = -9*v - 141. Let y(b) = b + 8. Let d be y(-5). Let n(o) = d*i(o) + 7*f(o). Is n(0) a prime number?
True
Let c = 54140 + -14667. Is c composite?
True
Let h(m) = m**3 - 21*m**2 + 23*m - 33. Let n be h(24). Suppose -4*i = c + 4*c - 63, 0 = -2*i - 3*c + 33. Suppose 9*t - i*t = -n. Is t composite?
True
Is 8499 + 4 + 12/10*-5 a composite number?
True
Is ((-9)/6)/((-18)/40668) a composite number?
False
Suppose a + 3*n + n - 27 = 0, 3*n = -4*a + 69. Suppose -5*y - 1378 = -2*i - y, 3*y = -a. Let g = i + -428. Is g composite?
False
Let o(t) = 160*t + 63. Let i = -23 + 34. Is o(i) composite?
False
Let f = -807 + 133. Let v = 477 - f. Is v prime?
True
Suppose 0 = 8*o - 14254 + 3174. Is o composite?
True
Let r be 27 + 24/6 + 8. Let k(l) = l**3 - 4*l**2 + 5*l - 4. Let s be k(3). Suppose u - r = -5*v + 10, -22 = -2*v + s*u. Is v prime?
False
Let y(b) = 13*b**2 - 9*b - 119. Is y(-7) a prime number?
False
Is (0 + -3 - -2)*-2161 composite?
False
Suppose -y + 47 = -175. Let x = 407 - y. Is x prime?
False
Let i = 76 - 52. Is 1433/7 - i/(-84) a prime number?
False
Suppose 5*k - 76 = -4*c, 2*k - 4 = -4*c + 60. Let m = -11 + c. Is -4 + (12/m - -267) composite?
True
Suppose 1497 + 22619 = 4*y. Is y a prime number?
True
Let g(h) = 178*h**3 + h**2 + 2*h - 3. Suppose -2*s = -5*s + 3. Is g(s) a composite number?
True
Let o(n) = 61*n - 1. Let r be o(-6). Let g be r/(-2) - 6/(-12). Suppose 6*t - 2*t = g. Is t composite?
True
Suppose j = 2*j - 2. Suppose 32 - 2 = -j*v. Let w = v + 137. Is w a prime number?
False
Let b(n) = 5*n - 23. Let v be b(4). Is 327*((-20)/(-6) + v) prime?
True
Let s = 28 + -33. Is -1414*s/20*2 prime?
False
Suppose -6 = -2*h, -4*k + 4*h = -49 - 27. Let n(x) = 4*x - 66. Is n(k) a composite number?
True
Suppose 3*q - 15*q = -38328. Is q a prime number?
False
Let h(x) = 2095*x**2 + 26*x - 12. Is h(5) a prime number?
False
Suppose 3*j - 8 = 4. Suppose 0 = f - j*f + 4317. Suppose 0 = 3*y + 3, k - 4*y - f = -4*k. Is k a prime number?
False
Let n(m) = -123*m - 14. Is n(-17) a prime number?
False
Is 7*(-69)/(-9)*3 a prime number?
False
Let h(x) be the second derivative of x**3/3 - 11*x**2 + 6*x. Let n be h(9). Is (554/n)/((-7)/14) a composite number?
False
Let q(v) = 6*v - 4. Let a be q(8). Let b = 109 - a. Is b composite?
True
Let o(w) = -2*w**2 - 17*w - 6. Let h be o(-8). Let i = 29 + h. Is i a prime number?
True
Let z(i) = -33*i - 4. Let p = 15 - 9. Let c be (-58)/6 + 4/p. Is z(c) a composite number?
False
Suppose -6 = 4*b - b. Let i be (b - (3 + 2))*-2. Let g = 33 - i. Is g composite?
False
Suppose 5*c = -5*a + 98280, 3*a + c - 58943 = 3*c. Is a a prime number?
False
Let l = 113 - 859. Let w = 41 - l. Is w composite?
False
Let y = 486 + -2426. Is (-10)/(-20)*y/(-2) a composite number?
True
Let o(w) = w**3 + 2*w - 4. Let r be o(3). Suppose -l = r - 98. Is l composite?
True
Let k = 36 - 23. Suppose 3*s = 4*z - 19, 4 + k = -3*z - 4*s. Is ((-534)/(-21))/(z/7) composite?
True
Let q(x) be the first derivative of 6*x**4 - x**3 + 5*x**2/2 - x + 23. Is q(3) composite?
True
Let r(i) = -320*i + 1. Let c be r(-1). Suppose -5*v + 2*v + c = 0. Let u = 154 - v. Is u prime?
True
Suppose -338*i = -336*i - 3246. Is i prime?
False
Suppose -k = -1, -o + 4*k - 2 = -0*o. Suppose 4*h - 4*q - 912 = 0, 17 = -3*q + o. Is h a prime number?
True
Suppose 2*v + 