alse
Let n(a) be the second derivative of a**5/4 - 17*a**4/24 + a**3/3 - 9*a. Let q(v) be the second derivative of n(v). Is q(5) composite?
True
Let r(v) = v**2 - v. Let p(c) = 47*c**3 - 3*c**2 - 4*c - 3. Let y(u) = -p(u) - r(u). Let l be y(-3). Suppose -288 - l = -3*i. Is i prime?
True
Suppose 0 = a - y - 20, -5*a + 90 - 30 = 3*y. Suppose a*c - 25990 = 5*c. Is c prime?
False
Let t(n) = 518*n**2 + 40*n + 255. Is t(-10) a composite number?
True
Let c = -67 + 67. Suppose a - 302 - 1233 = c. Is a a composite number?
True
Let l = -525 + 759. Let r = l - -25. Is r prime?
False
Let k = -134 - -203. Let g = -5 - 9. Let m = g + k. Is m prime?
False
Let o(p) = -p**3 + p**2 + p - 15. Let k be o(0). Let q = -35 - k. Is 96 - (q/5 + 3) composite?
False
Suppose -12*k + 8*k - 3*g = -7604, -3802 = -2*k + 4*g. Is k a composite number?
False
Let t be 1/3 - 9/((-27)/872). Let r = 550 + t. Is r composite?
True
Let q(z) = 111*z**2 + 3*z - 2. Let w be q(1). Let x = 599 - w. Is x a composite number?
False
Suppose 0 = 5*o, -p - 5*o = -3*p - 24. Let k = 14 + p. Is 3170/40 + k/(-8) a composite number?
False
Suppose 0 = -2*k + 6886 + 12316. Is k prime?
True
Suppose k = -183 + 195. Let f be 1*-14*(-6)/(-7). Is (f/(-10))/(k/150) a composite number?
True
Let n(o) = -58*o + 7. Let x be n(-10). Suppose 0 = -22*f + 27*f - 10. Suppose -g + x = -f*v, -2*g + 5*v + 1761 = g. Is g a composite number?
False
Suppose 0 = 5*g + z - 27245, -g = -3*z - 7558 + 2109. Is g a composite number?
False
Suppose -14*g + 13055 = 21*g. Is g prime?
True
Let v be 0 + 5 + -1 - 20661. Let h = -10068 - v. Is h/17 - (-2)/17 a composite number?
True
Let c(s) be the third derivative of -1/6*s**4 + 4*s**2 + 0 + 13/60*s**5 + 0*s - 1/3*s**3. Is c(-3) composite?
False
Suppose -90 - 115 = -5*b. Suppose a = b + 33. Is a a composite number?
True
Let y = -9 - -11. Let m(f) be the first derivative of 6*f**2 - 3*f - 1. Is m(y) prime?
False
Let f be (-31)/4*(1 - 9). Let x = 40 - f. Is (-4)/x - 4343/(-11) prime?
False
Suppose 12*y - 16*y + 14876 = 0. Is y composite?
False
Let i be 16/5*10/4. Let a be (-642)/24 - 2/i. Is (1 + -1624)*9/a prime?
True
Let t = -237 + 51. Let w = t + 365. Is w a composite number?
False
Let u = 5337 - 8112. Let a = u + 1939. Let b = -507 - a. Is b a composite number?
True
Let p be -1 + 1 - (1 - 1). Suppose -d = d - 4, s - 5*d - 181 = p. Is s prime?
True
Is (0 + 541)/((-1200)/(-170) + -7) a prime number?
False
Suppose -2*n + 20 = 2*n. Suppose q - 2 + n = 0. Is q - (-421 + (2 - 3)) prime?
True
Suppose -4*i = i - 3635. Suppose -5*x + 4*h = -1269, -4*x + 1739 = -4*h + i. Is x a composite number?
False
Let t(h) = 7*h**2 - 28*h + 652. Is t(19) a composite number?
False
Let x be (2 - (-11)/(-4))*4. Let w be (-2)/x - (-30)/9. Suppose -3*s + 404 - 36 = f, -w*s = 2*f - 494. Is s prime?
False
Let f(w) = w**3 + w**2 - 2*w + 1261. Suppose -4 = -2*r + 4*q - 0, 0 = -4*r - q - 1. Is f(r) a prime number?
False
Suppose -195335 = -3*s - 4*s. Is s a prime number?
False
Suppose -3*m - 3*m = 198702. Is 3/(-2) - m/42 prime?
True
Let s(n) = -102*n**2 + 2*n + 14. Let p be s(6). Let l = p + 7535. Is l a composite number?
False
Let q(y) = y**2 - 8 - 5*y**3 - 3*y - 4*y**2 + 1 + 4. Is q(-2) a composite number?
False
Suppose -7*i + 9*i - 2 = 0. Let r be i - 15*(1 - -13). Let o = 1240 + r. Is o prime?
True
Suppose -13*n + 8*n = 100. Is ((-8)/n)/((-5)/(-12275)) a prime number?
False
Suppose 0 = 3*w - 1654 - 21191. Suppose -2*a + 5*h + w = 0, -5*a + 3*h = -3563 - 15522. Is (a/16)/(-5)*-4 a prime number?
True
Suppose -2*b + 1672 = -1914. Let p(n) = n**2 + 6*n + 4. Let x be p(-6). Suppose 2248 = 5*o - k, x*o + 2*k = k + b. Is o prime?
True
Let b(z) = -15*z**3 + z**2 + 3*z - 1. Let u(q) = 16*q**3 - q**2 - 3*q. Let m = 10 - 12. Let i(s) = m*u(s) - 3*b(s). Is i(2) a composite number?
False
Suppose 117*u + 36908 = 121*u. Is u a prime number?
True
Let v = -28 + 34. Let x(c) be the first derivative of 2*c**3 - 4*c**2 - 5*c - 4. Is x(v) prime?
True
Suppose 0 = -0*g - 3*g + 2*d + 3, -12 = -4*d. Let c be 2*g*(-14)/(-4). Suppose 2*u - 41 = c. Is u a prime number?
True
Suppose 0 = -4*a - 0*a - 76. Let x(h) = 11*h**2 - 19*h + 59. Is x(a) a composite number?
False
Let p(s) = -24*s**3 - 6*s**2 - 16*s - 1. Is p(-3) a composite number?
False
Let x = 641 + -139. Suppose 3*a = -5*w + 753, 2*a - 4*w + x = 4*a. Is a a composite number?
False
Let f(z) = -2*z - 16. Let o be f(-8). Suppose b - 58 - 33 = o. Is b a prime number?
False
Let l(c) = c**2 - 6*c + 3. Let i be l(5). Let f(b) be the second derivative of 41*b**4/4 + b**3/6 + b**2/2 + 2*b + 223. Is f(i) composite?
False
Suppose -3*o + 3*r = -9222, 3*r - 5016 = -o - 1922. Is o a composite number?
False
Suppose -2*o = -3*o + 1919. Suppose 3711 + o = 10*n. Is n a prime number?
True
Let d(z) = z**3 + z**2 + 11*z - 6. Let u be d(8). Suppose -4*h - 5*l - 191 + u = 0, -2*h = -4*l - 266. Is h a prime number?
False
Let n(g) be the second derivative of 205*g**3/6 - 9*g**2/2 - 19*g. Is n(4) a composite number?
False
Let o = 2 + -2. Suppose o = 4*z - 351 - 2993. Suppose -3*t - 622 + 1875 = 4*n, 2*t = -2*n + z. Is t a prime number?
True
Let t(x) = -41*x - 11. Let b be t(-5). Let i = 591 - b. Is i a prime number?
True
Suppose -4*d + 305 = -9*d. Let b = 222 + d. Is b prime?
False
Let h(m) = 120*m**2 - 2*m - 5. Let n be h(-5). Let g = -1963 + n. Is g composite?
True
Suppose -24*q + 25*q + 2 = 0. Is (3125 - (-2 + q)) + -2 a composite number?
True
Let r(y) = -y**3 + 9*y**2 - 20*y. Let z be r(5). Suppose z = -3*w + 4*j + 9255, j + 3085 = w + 2*j. Is w composite?
True
Suppose 85*s - 71844 = 81*s. Is s prime?
False
Let q(o) = o**2 + 2*o + 3214. Let f be q(0). Suppose 796 = i + 3*t, 4*i - 4*t - f = -t. Is i a prime number?
False
Let n = 52926 - 4649. Is n a composite number?
True
Suppose 4*s = 7 + 1. Suppose -s*a + 6 = a. Suppose -4*n = n - a*d - 2221, -3*n - 4*d = -1317. Is n composite?
False
Let d(v) = v + 16. Let j be 82/(-8) - (-6)/(-8). Let u be d(j). Suppose -3*o - 83 = -3*s + 130, -u*o - 154 = -2*s. Is s composite?
False
Let n(x) = -x**3 - 4*x**2 - 3*x + 2. Suppose 4*p - 1 = -13. Let w be n(p). Suppose i - w = 3*j - 234, -4*i - 217 = -3*j. Is j a prime number?
True
Suppose 0 = -3*v + 5*v - 4*y + 1536, 2*v + 5*y + 1509 = 0. Is (-9)/(-6)*v/(-9) a composite number?
False
Suppose 2*m = o + 2*o - 2392, -m + 5*o = 1182. Let x be m/(-6) - 6/(-9). Suppose n + 2*v = -x + 696, n = 2*v + 499. Is n composite?
True
Is (3/4 - (-13)/52)*18539 composite?
False
Let b = 12558 - 5717. Is b a prime number?
True
Suppose -4*s = 5*r - 5, 0*s = 4*s + 4*r - 8. Suppose 0 = -s*t + 4*g + 4466, 0*t + 2678 = 3*t - 4*g. Suppose 4*u - t = -58. Is u a prime number?
False
Let w = -78 - -87. Suppose 0 = -w*h + 1720 + 377. Is h a composite number?
False
Suppose 56*v - 24723 = 47*v. Is v a prime number?
False
Is 1/(110/20) + 46676/44 a composite number?
False
Suppose 5*a = -3*s + 260, -7*a + 8*a - 80 = 5*s. Is a a composite number?
True
Suppose -21*y = -28*y + 3731. Let h = 2256 + y. Is h a prime number?
True
Let c(m) = 5649*m**2 - 25*m + 413. Is c(9) prime?
True
Let j(s) = s**2 + 9*s + 11. Let p be j(-6). Let z(i) = -7*i**2 + 5*i - 10. Let x(v) = -3*v**2 + 3*v - 5. Let d(y) = -5*x(y) + 2*z(y). Is d(p) composite?
False
Let i = 406 + -241. Suppose 2*m - i = -m. Is m composite?
True
Let a(m) = m**2 + 5*m - 1. Let u be a(-6). Suppose -5*y + 10 = 5*x, 0 = -u*y - 3*x + 5*x + 24. Is 30/(-25)*(-170)/y composite?
True
Suppose 5*s + 11 = 41. Suppose -2*b + 4*b = 2*x + 8, 0 = 3*x + s. Is 0 - 319/(b - 3) composite?
True
Let p(y) = -5 + 9*y - y + 4 + 3. Let i be p(-12). Let a = 603 + i. Is a a prime number?
True
Let z be (-45385)/(-20) - 3/(-4). Suppose -2*h + 912 = -0*h - 2*u, 5*h = 3*u + z. Is h a prime number?
False
Let l = 9998 - 2227. Is l prime?
False
Let y be ((3 - -22) + 4)*-1. Let w = y - -18. Is (-1 + -481)*(-12 - w) a composite number?
True
Suppose 0 = -11*x + 6*x - 4*h + 521027, -2*x - h + 208412 = 0. Is x a composite number?
False
Suppose v = 6 - 23. Let d(l) = 2*l**2 - 14*l - 17. Is d(v) prime?
False
Is (-170632)/(-84)*3/2 a composite number?
True
Let o = -1627 - -683. Is 6/8*o/(-4) prime?
False
Let l(g) = g**3 - 10*g**2 + 15*g - 33. Suppose 0 = 3*q - 2*q - 11. Is l(q) a composite number?
True
Let o(r) = 77*r + 3. Let a be (84/(-24))/((