e third derivative of -3*r**8/560 - r**7/630 - r**5/120 + r**4/24 - 11*r**2. Let m(g) be the second derivative of u(g). Is m(-2) prime?
True
Let z be (-24)/(-16)*(-8)/(-6). Suppose -z*g - 1 = -4*o + 1, g = -2*o - 1. Is (5407 - (-4 - 2)) + o/(-2) a composite number?
False
Let u be (-11)/33*1*-21. Suppose 0 = 4*g - 23 + u. Suppose g*a - 25 = 1643. Is a prime?
False
Let p(v) = 73 - 19*v**2 - 26 - v + 56*v**2 + 26 - v**3 + 13*v. Is p(36) prime?
True
Is (-41396)/(-6) + (-12 - -8)/12 composite?
False
Let p(v) = -v - 1. Let t(w) = -416*w + 1. Let u(h) = 2*p(h) + t(h). Let c be u(1). Let s = -186 - c. Is s prime?
True
Suppose -42 = -3*f - 48. Let h(d) = 2341*d**2 + 20*d - 1. Is h(f) composite?
False
Suppose 0 = 2*f - 10*f + 1520. Suppose 3*g - 5 - f = 0. Is g composite?
True
Let b = 193 + -189. Is 107 + (-1 - b) + -5 a composite number?
False
Suppose 4*z + 2*m = -10, 2*m = -4 + 2. Let n be 4/3*-1*3/z. Suppose n*i = 4*r + 52, -2 = -0*r + r. Is i prime?
False
Let k(a) = 5*a**2 + 89*a - 263. Is k(76) a composite number?
False
Suppose 5*k + i = -68380 - 43394, 67054 = -3*k + 2*i. Is k/((-1 - 3) + 3 + -1) composite?
False
Suppose -10*t + 41 = 1. Suppose 0 = -0*v + 3*v + t*m - 2841, 0 = 5*v + 2*m - 4721. Is v prime?
False
Let c be 100/75*(-726)/(-4). Suppose 0*g = -g - c. Let r = -153 - g. Is r prime?
True
Let x = -22 - -25. Suppose 0 = 16*t + x*t - 36803. Is t a composite number?
True
Suppose -864*r = -882*r + 203382. Is r a composite number?
False
Suppose 5267 = 2*r - 3*i, -8*i + 7*i = 3. Is r a prime number?
False
Let z(b) = b**3 - 78*b**2 - 153*b - 189. Is z(83) prime?
True
Let u(h) = -159*h. Let y(d) = 159*d. Let o(b) = 3*u(b) + 2*y(b). Let p be o(-1). Suppose -77 - p = -4*w. Is w prime?
True
Let c = -14 - -25. Let u(r) = 29*r - 36. Let o be u(c). Suppose 3*d = -2*j + o, -4*j + 316 = -3*d - 259. Is j prime?
False
Is ((-521735)/90*-3)/(3/18) prime?
True
Let p = -279 + 279. Suppose 2*q + 435 = 5*l - 0*l, 5*q = 25. Suppose -3*z + 59 = -b, p = 5*z - b - 3*b - l. Is z prime?
False
Let o(g) = 20971*g + 386. Is o(3) composite?
False
Is (-22296035)/(-31) + (-1600)/(-24800) prime?
True
Suppose -598*p = -652*p + 29618406. Is p a composite number?
False
Suppose -268*h = -365*h + 30202987. Is h a prime number?
True
Let u(d) = 31*d**2 + 22*d + 59. Suppose 0 = -5*o - 8*o - 156. Is u(o) composite?
False
Suppose -8*z - 3*v = -9*z + 16190, -2*z = -2*v - 32388. Suppose -z = -18*h + 5638. Is h composite?
False
Suppose -22*r + 4*r + 90 = 0. Is (-2)/r - (1583032/(-55) + -7) a prime number?
True
Let v = 10451 + -3625. Is v a composite number?
True
Let w(t) = -11*t**3 + 8*t**2 - 36*t - 13. Let c be w(6). Let l = -668 - c. Is l a composite number?
True
Let i(k) = 15*k + 1 - 8 - 31*k**2 + 38*k**2. Suppose -15 = -3*n + 3. Is i(n) composite?
True
Let v = 596 - 559. Let x = v + 1060. Is x a prime number?
True
Let t = 48987 - 550. Is t composite?
False
Suppose -10*x + 13*x = -5*c + 186799, -5*x + 311349 = 4*c. Is x prime?
True
Let k = -85 - -85. Suppose -5272 = -4*z - t, 5*z + k*z = -4*t + 6579. Is z a prime number?
True
Suppose -2*o + 230 = -266. Let a be o/5 + 18/45. Let d = 99 - a. Is d a composite number?
True
Suppose 11*a - 10*a + 4*t - 75905 = 0, -t = -2*a + 151837. Is a composite?
True
Let r be (0/2)/(3 - (6 - 2)). Suppose t + 141 = -r*y - 3*y, -15 = 5*t. Let j = 925 + y. Is j a composite number?
True
Suppose k + 0*k = -5*p + 28, 3*p = 3*k + 6. Suppose -4*l + 89 = 5*i, -k*l + 4*i = -2*l + 4. Is (-6395)/(-20) - 12/l a composite number?
True
Let i be 38 - 32 - (-20 + 1 + -2). Suppose -17*n + i*n - 62570 = 0. Is n composite?
False
Let o be (-10364)/5 - (-384)/(-320). Let l = -1187 - o. Is l a composite number?
False
Let l be (-5 - 108/(-8))*2 + -2. Suppose -l*v = -v - 199934. Is v a composite number?
False
Suppose 1588453 = 5*a - 3*j, -3*j + 598516 = 3*a - 354575. Is a prime?
True
Let t(z) = -3570*z - 331. Let n(h) = h**3 - 6*h**2 + h - 12. Let r be n(6). Is t(r) composite?
False
Is (4*(-56)/21 - -10)/(4/(-206526)) prime?
True
Let o(z) be the first derivative of 6*z**3 - 2*z**2 + 8*z + 6. Let n be o(5). Suppose c - 261 = -3*x + 1, -3*c + n = 5*x. Is x prime?
False
Let o(t) be the second derivative of 2*t**4/3 - 4*t**3/3 + 5*t**2/2 + 26*t. Is o(-7) prime?
False
Let z(t) = 2*t**2 + 132 + 1019 + 0*t**2 + 14*t - 22*t. Let i(y) = -2*y**2 + 9*y - 1151. Let g(c) = 5*i(c) + 6*z(c). Is g(0) a composite number?
False
Let k = -60 - -65. Suppose -k*c = -6*c + 3*y + 1756, 7038 = 4*c + 2*y. Is c a composite number?
False
Let j(f) = 128*f**3 + f**2 - f + 2. Let p be j(1). Let h be (348/15)/(4*1/p). Suppose 2*u = -0*u + h. Is u a prime number?
False
Let z be 6/(-9)*(-1 - 74). Suppose -z = -5*c - 2*s, -3*c + 3*s + 25 = -5. Suppose c*j = 11*j - 1201. Is j composite?
False
Let z(n) = n**3 - n**2 - n + 5. Let u(t) = -2*t**2 - t. Let i be u(0). Let q be z(i). Suppose 3*x - 5*x - 627 = -q*v, -2*v - x = -258. Is v a prime number?
True
Let h = -41724 + 73643. Is h prime?
False
Let x(y) = y**3 + 6*y**2 + 8*y + 9. Let u be x(-4). Let f be 33*1/6 + u/(-6). Suppose f*d = -4*m + 792, -2*m - 5*d + 175 = -233. Is m composite?
True
Let c(f) = -1769*f - 11. Let b(p) = 1762*p + 11. Let q(w) = 5*b(w) + 4*c(w). Is q(4) composite?
False
Let u = -99 + 114. Is (u/(-10))/(3/(-9818)) composite?
False
Let w be 2036*1 + (-60)/(-12). Suppose 4*a - 168 = -5*p - 5800, -5614 = 5*p - 2*a. Let b = p + w. Is b composite?
True
Suppose -h = n + 1, -3*h - 3 = 4*n + 1. Suppose h = -5*a - 5, 4*a + 142 + 14429 = y. Is y a prime number?
False
Suppose -26*w = -23*w + 77877. Let x = w - -40972. Is x prime?
True
Suppose -2*m - k = 2*k + 11870, -m = 5*k + 5949. Let t = 8518 - m. Is t a composite number?
False
Let x(z) = -2*z + 5. Let a be x(1). Suppose 2*i = -0*i + a*m + 427, 5*i + 2*m = 1077. Let r = 308 - i. Is r prime?
False
Suppose 5*f - 1452801 = -4*v, -4*f + f + 2*v + 871663 = 0. Is f a prime number?
True
Let r(i) be the second derivative of 5*i**3/6 + 339*i**2/2 - 11*i. Let m = -61 - -61. Is r(m) a prime number?
False
Let d be 3 - (-2 - (1 - 1)). Suppose d*x - 7 = 13. Is (-1014)/(-8) - (2 + (-9)/x) a composite number?
False
Suppose 23*x - 226800 - 1561933 = 0. Is x prime?
False
Suppose 3*l - 5*o = 7*l - 31, -5*l = -3*o - 11. Let c = 192 + -88. Suppose -2*k + 3*k + 4 = 0, -c = -l*h - 5*k. Is h a prime number?
True
Let v be 8/(-36) - -10*(-26)/(-36). Let s = v - -96. Is s composite?
False
Let u be (0 - -4) + (-2 - -22). Is -2 + (13000/u)/((-2)/(-18)) a prime number?
False
Let g(c) be the first derivative of 19*c**6/360 - c**5/40 + c**4/4 - 4*c**3 - 21. Let r(f) be the third derivative of g(f). Is r(4) a prime number?
False
Let l(b) = -23*b**3 + 31*b**2 - 93*b + 291. Is l(-26) a composite number?
False
Let i = -39 + 43. Suppose 5*m - 6 = i. Suppose -4*r = -3*w + m*w - 1639, 5*r - 2057 = 4*w. Is r a prime number?
True
Let r(t) = -3*t - 63. Let i be r(-21). Suppose 2*f - 6*f = -5*q + 16487, i = -4*q - f + 13198. Is q composite?
False
Let j(l) = -51*l + 243*l + 604*l + 25. Is j(10) composite?
True
Suppose -4*k - k - 2*q = -568, 3*k - 352 = -4*q. Suppose -z + 17*r = 12*r - k, 0 = r + 3. Is z a prime number?
True
Let p(g) = -20*g**3 + 3*g**2 - 3*g - 3. Suppose 5*d + 43 = o - 22, -2*o = 3*d - 65. Let v be (22/6 + -1)/(o/(-60)). Is p(v) a composite number?
True
Is (0 - (9 + 153/(-18)))/(1/(-174626)) a prime number?
True
Let c(r) be the second derivative of r**4/12 - 13*r**3/6 + 13*r**2/2 + 13*r. Let v be c(12). Is v - (-3 - (-204)/(-2)) composite?
True
Suppose -2291844 = -4*u - 2*z, 37*u - 40*u + z + 1718893 = 0. Is u prime?
True
Let h(x) = 155*x**2 + 109*x + 127. Is h(23) prime?
True
Let r be (717/9)/((-8)/(-264)). Suppose 2*s = -2*l + 3268, r + 2276 = 3*s + 2*l. Is s prime?
True
Suppose 4*u - 16 = 0, -4*f + 0*u + 4*u = 64. Is (-1 - -2 - -21560)*(-4)/f a prime number?
True
Let o(u) be the first derivative of 35*u**4/4 - 5*u**3/3 - 5*u**2 - 4*u + 8. Let y be o(5). Suppose 3*z = y + 838. Is z a composite number?
True
Let a be (-48)/5*(-400)/30. Let t be (-12)/(-6) + (0 - a). Let p = 593 + t. Is p prime?
True
Let v(r) = -14 + 7*r**2 + 37*r**2 + r + 23. Let n be v(-4). Suppose -11*a + 600 = -n. Is a a composite number?
True
Let g = 529 + -531. Is (-8229)/(-27) - g/27*3 composite?
True
Let c(g) = 1946*g + 719. Is c(12) a prime number?
Tru