 number?
True
Let x(z) be the third derivative of z**7/1260 + 17*z**6/720 - 7*z**5/30 + z**4/12 - 10*z**2. Let f(g) be the second derivative of x(g). Is f(11) prime?
True
Let b be (6 - -12)*(-4)/6. Is -1 + 8753/3 - b/9 a prime number?
False
Let z(d) = 53*d**2 + 4*d + 1. Let h be z(3). Suppose -13*l - h = -18*l. Let p = 247 - l. Is p prime?
True
Is (12 + 341/44)*(2225 - -3) composite?
True
Let t(y) = -37*y - 3*y**2 + y**3 + 16*y + 23*y - 2. Let n be t(3). Suppose 0 = -9*k + n*k + 5555. Is k a prime number?
False
Let v(z) be the third derivative of z**5/30 - z**4/12 - z**3/6 + 8*z**2. Let n be v(-1). Is (-9)/27 + 94/n composite?
False
Suppose -3*h - 28 = 5*i, 2*i = -h + 2 - 13. Is ((-177)/h)/(147/6223) a composite number?
True
Suppose 0 = -3*t - 4*a - 14, 10 = -a - a. Is -1*((-4)/t + -3789) prime?
False
Suppose 147*o = 166*o - 6393329. Is o prime?
True
Is (2/1)/((-1264886)/(-105407) - (-76 - -88)) a prime number?
True
Suppose 540845 = 19*r - 620834. Is r composite?
False
Suppose -3*x - 789 = -198. Let g = x - -670. Suppose -6*t - g = -2*h - 5*t, 5*h - 1178 = t. Is h a prime number?
False
Suppose -4*b - 6*b = 0. Suppose b*h - h + 199 = 0. Suppose 720 = o + h. Is o a composite number?
False
Is 112/1232 - 23275060/(-55) composite?
True
Let u(z) be the third derivative of -z**5/60 - 11*z**4/12 - 10*z**3/3 - 5*z**2 + 5*z. Is u(-15) prime?
False
Suppose 12*x - 162 + 18 = 0. Suppose x*m - 3017 - 4531 = 0. Is m composite?
True
Let t(b) = -3*b**3 + 20*b**2 + 21*b + 1. Let d be t(-1). Let p(w) = 8*w**2 + w - 6. Let z be p(6). Suppose -2*r = -x + 2*r + 105, d*r = 3*x - z. Is x prime?
False
Let v(x) = -x**2 - x + 6. Let y be v(0). Let l(j) = 23*j**2 + 10*j - 8. Let w(m) = -m**2 - m. Let s(c) = y*w(c) + l(c). Is s(-7) a prime number?
True
Suppose -219*z + 4559269 = -76*z. Is z composite?
False
Suppose 0 = -55*h - 184*h + 29574338. Is h composite?
True
Suppose -9*m = -2500 - 2738. Suppose a + a - 4*z = m, -3*z + 9 = 0. Suppose -2*s + s = -2*u - a, -2*s + 5*u = -599. Is s composite?
True
Let m(f) = -4297*f - 51. Let p be m(-13). Suppose 5*y + p = 157885. Suppose -4*a - y = -9*a. Is a composite?
True
Let b(y) = 12451*y**2 - 2*y - 27. Is b(4) composite?
False
Suppose 3 = 5*j + 8. Let c be ((204 - j) + 4)*(-8)/2. Let s = 1209 + c. Is s a prime number?
True
Let y(k) = k**2 + 144*k + 34. Is y(31) prime?
False
Let r(y) = y - 17. Let q be r(16). Let h be (q + 16742/(-6))/(6/(-18)). Is h/6 - 4/(-3) composite?
True
Let j(m) = -2*m - 23. Let c be j(-7). Let x = c - -14. Suppose -x*i = -3*i - 1102. Is i a composite number?
True
Suppose 13*k - 66*k - 121*k + 88621158 = 0. Is k composite?
False
Let q(t) = 1. Let b(f) = -5*f - 75. Let g(o) = -b(o) - 6*q(o). Let a be g(-17). Let m(r) = -52*r + 3. Is m(a) prime?
False
Let h(g) = -g**3 + 5*g**2 + 5*g + 3. Suppose 0 = -5*u + 3*q - 23 + 9, 4*u + 26 = -5*q. Is h(u) prime?
True
Suppose v = -0*g - 2*g + 4, -3*v + g - 16 = 0. Let t(c) = 474*c**2 - 9*c + 19. Is t(v) a prime number?
True
Suppose -631968675 + 7247118 = -183*c. Is c a prime number?
True
Let h(b) = 19*b**2 - 17*b + 11. Let k(d) = -17*d**2 + 16*d - 11. Let n(u) = -2*h(u) - 3*k(u). Is n(10) a composite number?
False
Let y(n) = 736121*n**3 - 141*n**2 + 139*n + 2. Is y(1) a composite number?
False
Let p(b) = 73*b**2 - b + 13. Let y be p(7). Suppose y = 3*n - 1622. Suppose -n = -4*t - t. Is t a prime number?
True
Suppose -4*i - 102*q + 99*q = -125779, -3*i = -4*q - 94303. Is i a composite number?
True
Suppose w - 6*w = 4*p - 66, w - 4*p + 6 = 0. Suppose -14493 = w*f - 84403. Is f a composite number?
False
Let p = 141 + 301. Suppose 9*h = 10*h - p. Suppose 3*k = 4*o + 165 + h, 2*o - 10 = 0. Is k composite?
True
Suppose -2*d - q = 2*q + 53, -4*d = 4*q + 108. Is ((-30265)/25)/(-3 + d/(-10)) prime?
True
Let k(u) = -u - 778. Let x be k(0). Let p be -2 - 32/(-18) - x/18. Let t = p + 168. Is t composite?
False
Suppose -39*v + 33*v = 6. Is (-11)/((-33)/11964) - v a composite number?
False
Let n(t) = t**2 + 21*t + 7. Let j be n(-21). Let y(o) = 1002*o - 67. Is y(j) prime?
True
Let b = 41 - 40. Let m = b - 3. Is -2*2764/16*m a composite number?
False
Suppose 0 = k + 33 - 17. Let q be (-10)/(-8) + -1*(-4)/k. Is -2*(1452/(-8) + (-1)/q) a prime number?
False
Suppose 45167 = l + 5730. Is l a composite number?
True
Is 975/(-143)*54928/(-10) + (-1)/(-11) a composite number?
True
Let x(w) be the third derivative of 4*w**5/5 - 3*w**4/4 - 4*w**3 - 13*w**2. Let z be x(-11). Suppose 2*b - z = -4*b. Is b a composite number?
False
Let a(r) = r**2 + 4. Let q be a(0). Suppose 4*x + 8 = 5*j, 2*x = -5*j - 0 - q. Suppose -5*v + 1468 + 3897 = j. Is v a prime number?
False
Let b = -366 + 64. Let v = b - -442. Let f = 841 - v. Is f a prime number?
True
Suppose -215 = -4*t + 2*v + 157, -2*t + 4*v + 174 = 0. Let d = t - 93. Is d/4 + (-17262)/(-12) prime?
True
Let u = -51 - -59. Suppose z - 4*y - u = 5, -2*z - 10 = 4*y. Is 654 + -12 - (z - 1 - -1) a composite number?
False
Let u(h) = -97*h + 174. Let c(r) = -r + 1. Let f(g) = -3*c(g) + u(g). Is f(-25) prime?
True
Let z = -349 + 354. Suppose -3*k + 6168 = 3*w, z*k - 15484 = -w - 5224. Is k composite?
True
Suppose 573 = -3*g + 3*b, -18 + 225 = -g + 5*b. Suppose -n - n - 200 = 0. Let k = n - g. Is k a composite number?
True
Let b = 857 + -488. Suppose b = 3*i - 924. Is i prime?
True
Suppose -4*c + 20 = 0, 24 + 21 = 5*b + 5*c. Suppose 0 = b*d + 2*d - 22854. Is d composite?
True
Let h be 80/(-16) + 0/(-2). Let w(s) = 38*s**2 - 8. Let b be w(h). Suppose -763 = -5*f + b. Is f a composite number?
True
Suppose -2*c = 3*v - 5 - 0, -2*v = 2. Suppose 7*j - c*j - 4644 = -3*q, -5*j = -5*q - 7790. Let t = j + -646. Is t a composite number?
False
Let z = -4853 + 7234. Suppose 2*f + 0*s - s = z, -f + s + 1193 = 0. Suppose -241 = q - f. Is q composite?
False
Suppose 2*u - 2*l - 338 = 0, -5*l = -u - 3*u + 674. Suppose -2*t + 0*t + 166 = -z, -z - u = 3*t. Let y = 371 + z. Is y composite?
True
Suppose 5*y - 5225 = -6*y. Let d = 112 + y. Is d a prime number?
True
Let l(x) = -336*x + 1023. Is l(-81) composite?
True
Let w(u) = -u**2 - 11*u - 13. Let b be w(-10). Let g be (4 - b) + 3 + -7. Is -2 + -1 - 1736/(g + -4) a prime number?
True
Suppose -2*j - 5*c = -67650, 60*j - 62*j + 67618 = -3*c. Is j composite?
True
Is (-9 + (-129)/(-15))*(-5)/(-3)*-27273 prime?
False
Is (-12 + 1155051)*(136/(-24) - -6) a composite number?
False
Is (2 - 24)*7509/(-6) composite?
True
Let h = 9603 - 6720. Let m = h - -1703. Let x = m + -2513. Is x a composite number?
True
Let s be (5 - 1) + 28125/(-4 - -13). Suppose 0 = -25*j + 32*j - s. Is j prime?
False
Let x be -21988 - ((1 - 1) + 4). Is x/(-20)*5/2 prime?
True
Suppose -7*g - 1 = 6. Let t(m) = -3*m**3 - 12*m**2 + 2*m - 7. Let q(l) = l**3 + l**2 + 1. Let i(c) = g*t(c) - 2*q(c). Is i(-8) a prime number?
True
Let q(z) = 268*z**2 - 21*z - 702. Is q(-37) a composite number?
False
Suppose 509117 = 27*t + 65*t - 469671. Is t a prime number?
True
Let k(d) = 1859*d**2 + 28*d + 46. Is k(-5) prime?
True
Let u be (1/(-5) + 0)/(3/(-30)). Suppose 5395 = 3*n - u*w, -3*n - 3*w + 2*w + 5407 = 0. Is n a prime number?
True
Let j(z) = 40*z**3 - 120*z**2 - 9*z - 15. Is j(12) a composite number?
True
Let a = -5163 - -10438. Suppose 12*t - 689 = a. Is t prime?
False
Let m be (4 + -15)/(3/(-36858)). Suppose 46*q = 68*q - m. Is q prime?
True
Let u(s) = 124*s + 15. Let v = -50 + 36. Let y be u(v). Let t = 2536 + y. Is t composite?
True
Suppose 4*n = -235*p + 237*p + 1825752, -4*n + 5*p = -1825746. Is n prime?
True
Let m = 16 + 110. Let w = 180 - m. Suppose 2839 = 5*a + w. Is a a composite number?
False
Let l be -3 - 14/(-6) - 4/(-6). Suppose l*h + 0*h = -5*h. Is ((h - -3) + -4)*-753 a prime number?
False
Let n(k) = -515*k + 2227. Is n(-20) prime?
True
Suppose -2*w + 0*w = 4*l + 14, -5*l + 25 = 0. Let n be (-2 + w/(-4))*-4. Let u(z) = -z**3 - 6*z**2 + 9*z + 5. Is u(n) composite?
False
Let r = -85 + 173. Suppose 2*u - 46 = -q + 4*q, -r = -4*u + 5*q. Suppose 6*p - u*p + 18359 = 0. Is p a prime number?
True
Let u(l) = l**3 - 14*l**2 + 30*l + 26. Let t be u(12). Suppose -t*w = -107*w + 17379. Is w prime?
True
Let v(d) = d**3 + 39*d**2 - 85*d - 123. Let b be v(-41). Suppose 2*h = 3*o - 651, -3*o - 2*h + 663 = -b*o. Is o a composite number?
True
Let t(l) be the second derivative 