Let r(c) be the first derivative of c**4/4 - 3*c**3 + 2*c**2 - 25*c + 3. Is r(m) a prime number?
False
Let d(m) = m**2 - 9*m + 1. Suppose 2*l - 22 = -6. Let v be d(l). Let r(z) = -124*z + 11. Is r(v) a prime number?
False
Let k(z) = 8 + 53*z - 189*z - 94*z + 9. Let r(h) = 2*h - 8. Let s be r(2). Is k(s) a composite number?
False
Let d = 55 - 46. Let r(f) = -f**3 + 8*f**2 + 9*f + 5. Let b be r(d). Suppose -b*p = -p - 2188. Is p a composite number?
False
Let i = -198967 + 434750. Is i composite?
False
Let f be 0 + 2 - (-7 - -4)*1. Suppose f*c - 8625 = 8375. Suppose 1130 = 10*m - c. Is m a composite number?
True
Let x be 23/(-3) - -2 - 56/(-84). Is (-4 - x/(20/(-24378)))*-2 a prime number?
True
Let u = -22771 + 41118. Is u a prime number?
False
Let i be 40/5 + -3 + 60. Suppose -i = z - 1446. Is z prime?
True
Suppose 20*c + 3*g - 186 = 19*c, -5*g - 25 = 0. Let o(b) = 5*b**3 - b**2 - 2*b + 2. Let t be o(4). Suppose t + c = p. Is p prime?
True
Let g be (1/(-7))/(78/(-2730)). Suppose o + 3*m - 9965 = -m, 0 = -3*o + g*m + 29878. Is o prime?
False
Let m = 125692 + -42293. Is m a composite number?
False
Suppose -9588*m = -9591*m + 1055871. Is m a prime number?
False
Let k(l) = 1518*l - 49. Let t be k(-4). Let s = 9324 + t. Is s composite?
False
Let i(n) = 5*n**2 - n - 7. Let b(x) = -3*x**3 + x**2 - 2*x - 1. Let h be b(2). Let z = h + 16. Is i(z) a composite number?
True
Let w(v) = 3*v + 26. Let o be w(-7). Suppose 13422 = -2*q + o*q. Let g = q + -3111. Is g a composite number?
True
Let n(k) be the third derivative of -65*k**4/12 + 55*k**3/6 - 38*k**2. Let r(y) = y. Let h(p) = -n(p) - 5*r(p). Is h(10) a prime number?
False
Let j = 81166 + -35897. Suppose 5*k - 12*k + j = 0. Is k prime?
False
Suppose 9 = -0*x + 3*x, v - 29138 = -3*x. Let f = v - 20250. Is f a prime number?
False
Suppose 0*k + k = -4*k. Suppose -5*j + 4*a + 22521 - 2999 = k, 0 = -a + 2. Let c = j - 1585. Is c a prime number?
False
Let o(i) = 47020652*i + 29. Let x be o(-1). Is x/(-585) + 4/(-30) a prime number?
False
Suppose 10*k - 7*k = -71*k + 510970. Is k a prime number?
False
Let f(b) = -2003*b - 8876. Is f(-51) prime?
False
Suppose -3*w - 4*u = -0 - 7, 0 = -2*w - 5*u. Suppose b - w*d - 9369 = -3*b, 5*b = -3*d + 11665. Let a = -775 + b. Is a composite?
True
Let y = -329 - -332. Suppose 4027 + 3545 = 3*w + y*g, w + 3*g = 2530. Is w prime?
True
Is (-18 - -6)/48*-1266668 a composite number?
True
Let z(s) = -s**2 + 11*s - 18. Let r be z(9). Suppose r = -7*j + 668 + 487. Suppose y - j = 44. Is y a prime number?
False
Suppose -2*r + 4 = 0, -4*c + 4*r - 12 = -0*c. Let t(n) = -2976*n**3 + n**2 + 2*n + 1. Let g be t(c). Let x = g + -2114. Is x a composite number?
True
Suppose 2*y = 2*s + 135 + 2373, -3*s + y - 3756 = 0. Let o = s - -621. Let r = o - -1045. Is r a prime number?
False
Let j = 1041580 + -678149. Is j prime?
True
Suppose 2*z = 2*s + 8746, 3*z - s - 13133 = -5*s. Let w = z - 1991. Let k = 3351 - w. Is k composite?
False
Suppose -62*m + 19325175 = -19589683. Is m prime?
True
Let m = 212806 + 32587. Is m prime?
False
Suppose 0 = -309*m + 310*m - 11469. Is m composite?
True
Suppose 82*d - 86*d = -20. Let v = -25 - -10. Is (5/v)/(d/(-2235)) a composite number?
False
Let c(u) = 3 - 7*u + 16*u**2 - 10*u**2 + 2. Let w be c(-6). Suppose -k = -3*t - 195, -3*k - 3*t + 274 = -w. Is k a prime number?
False
Let a = 762 - -685. Let s(v) = -56*v - 20. Let j be s(15). Let d = j + a. Is d a prime number?
True
Suppose 5*a - 643691 = 4*n, -2*a + 52*n + 257456 = 47*n. Is a a prime number?
False
Suppose k = -43*k + 1183468. Suppose 5*a - k = 4*q, 6*q + 21516 = 4*a + 2*q. Is a a composite number?
False
Let y = -5 + 8. Let s = -2791 - -6731. Suppose s = r + y*r. Is r prime?
False
Suppose -5*c + 7021273 = 4*f, -f + 19659595 = -8*c + 22*c. Is c a composite number?
False
Let w = 58529 + -41736. Let i = 28760 - w. Is i prime?
False
Let f(v) = -v**2 + 24*v - 11. Let x be f(23). Suppose 6*y + x = 3*y. Is y - -8 - 897/(-3) prime?
False
Suppose 1257 = 37*i - 34*i. Suppose -11*s + i = -10*s. Suppose -112 = -3*r + s. Is r composite?
True
Let t be -4 - -2 - 48832/(-4). Suppose t = 4*r - f - 26071, -r = 2*f - 9567. Is r composite?
True
Let n(h) = -1872*h - 527. Is n(-28) composite?
True
Suppose 0 = -5*i + 5, -2*u + 5*i = -82732 - 74605. Suppose 0 = -30*h - u + 250781. Is h composite?
False
Let w(n) = n**2 + 2*n - 3. Let l be w(2). Suppose 0 = -p + l*p - 9284. Is p prime?
False
Let i(g) = g**2 + 5*g - 119. Let p be i(-13). Is (-1124472)/(-36)*(p/(-6) - 1) a prime number?
True
Let l(n) = -26*n**3 - 183*n**2 - 6*n - 1. Let g be l(-7). Suppose 45 = r + 9. Is 5206/18 + g/r a composite number?
True
Suppose 20*u + 4*j + 154393 = 23*u, 2*u - 4*j = 102930. Is u a prime number?
False
Let p(v) = 111*v**2 - 8*v + 5. Let n be ((12 - 0)/(-4))/1. Let y be ((-21)/5 - n)/((-5)/(-25)). Is p(y) composite?
False
Suppose -8*y - 150 = -9118. Let a = -793 + y. Suppose o - a = -2. Is o a composite number?
True
Let t(u) = -15899*u**3 + 22*u**2 - 4*u. Is t(-5) composite?
True
Is (123558/18)/((-6)/(-18)) prime?
True
Let x be (-7)/(-14)*(5138 - 2). Suppose 4*w - 3316 = x. Is w a composite number?
False
Let b be (-3)/9 + 95/15. Let f be (-8)/10*((-94635)/b)/9. Is (-1)/(3/f)*93/(-62) composite?
False
Let g = 389 - 386. Is (-943)/(-23)*(756/g + -1) a prime number?
False
Let w = -172 - -158. Is w/91 + (0 - 59340/(-52)) prime?
False
Suppose -2*p = -6*p - 16, -2*n + 4*p = -100. Let q be (-4)/14 + (-12672)/n. Let z = q + 493. Is z composite?
False
Suppose 1497144 = 59*s - 1202401. Is s composite?
True
Let t(x) = -3*x**3 + 5*x**2 + 4*x + 5. Let p be t(-3). Suppose -42 = c - 5*s, 3*c = -c + s - 225. Let h = p + c. Is h a prime number?
False
Let h(k) = -22*k + 7608*k**3 - 13*k**2 - 7609*k**3 + 5*k**2 + 43 + k. Is h(-16) a composite number?
True
Suppose 0 = m + 4*g - 1022491, -2*m + 1782280 = g - 262702. Is m prime?
True
Suppose 17*v - 191 = -106. Suppose 2*l + v = l, -56825 = -5*q - 4*l. Is q prime?
True
Suppose 1090797 = 32*v - v. Suppose 3*q = 31*b - 29*b - 23458, 3*b = -q + v. Is b a composite number?
True
Let x = -46 - -46. Suppose 675 = 9*b - x*b. Suppose 433 = 2*w - b. Is w a composite number?
True
Let f(j) = 8*j**3 - 4*j**2 - 17*j + 24. Let q be f(7). Suppose 372*s = 361*s + q. Is s a composite number?
False
Let t be -15*(-293)/3*(-3 - -5). Suppose 9*i - t = -i. Is i composite?
False
Let t = 27757 + 65550. Is t a composite number?
False
Let w(k) = -k**3 - 9*k**2 - 11*k + 6. Let d be w(-4). Is 2/((-20)/d - 20192/30306) a composite number?
False
Let s be 75/3 + (2 - (9 + -3)). Let j be 82/(-14) + ((-45)/s - -2). Let x(m) = 29*m**2 + 7*m - 11. Is x(j) a composite number?
False
Suppose -1 = 3*m - 4. Let b(i) = 3*i**3 - i. Let g be b(m). Suppose 4990 = -g*p + 16152. Is p prime?
True
Suppose -31 + 11 = 10*n. Let y = 4 + n. Is (876/16 - y/(-8)) + -2 a prime number?
True
Let x = 900 - 392. Suppose 4*n - 8 = 0, 3 = -2*q - 3*n - 7. Is 1*-34*x/q prime?
False
Suppose -6*l + 170 = 746. Let n = 199 + 274. Let o = n + l. Is o prime?
False
Is (144/(-9))/(-2) - -20619 prime?
True
Suppose -74*j - 2507638 = -45255440. Is j a composite number?
True
Is 25 + 4 + -3 + 1352257 a composite number?
True
Let y = 387589 - 252578. Is y a composite number?
True
Suppose 0 = 18*l - 398536 - 186302. Is l a prime number?
True
Let c(j) = 372*j**3 + 62*j**2 - 252*j - 9. Is c(4) a composite number?
True
Suppose -5*c - 12856 = -4*m, -4*c + 8*c = -2*m + 6402. Suppose 4*h + h = x - 1059, -3*x - h = -m. Is x prime?
True
Let x(n) be the first derivative of -53*n**2 + 55*n - 3297. Let w(a) = 6*a + 3. Let p be w(-2). Is x(p) a composite number?
False
Suppose 0 = -q - y + 1 + 1, 2*q - 3*y = -21. Let x(v) = 238*v**3 - 3*v + 0*v - 126*v**3 - v**2 - 5 - 120*v**3. Is x(q) a composite number?
False
Let z be 6 + -5 + -2 - -23. Suppose -15077 = -z*y + 6197. Is y a composite number?
False
Suppose 7*i - 22 = 8*i - 4*z, 3*z = -i + 13. Is (0 - -22822)/((-4)/i) prime?
True
Let k = 58 - 56. Suppose 0 = c + 4*s - 17, 0*c - k*c + 4 = 2*s. Is 3692/(-6)*-2*c/(-4) composite?
True
Let w(g) = 886*g**2 - 7. Let f(p) = -2*p**2 - p - 2. Let z(j) = 2*f(j) + w(j). Is z(-3) a composite number?
False
Suppose 15 = 3*c + 3, -5*f + 4*c + 378599 = 0. Suppose -10*b + 103307 = -f. Is b a prime number?
True
Suppose -5*s