 = 28*z**3 - 106*z**3 + 2 + 0*z**2 - 1 + 3*z + 3*z**2. Is c(o) composite?
False
Let r(y) be the second derivative of y**7/420 + y**6/240 + y**5/30 + 7*y**4/12 + 7*y. Let j(h) be the third derivative of r(h). Is j(-5) prime?
True
Let z(o) = -4986*o**3 - 14*o - 13. Is z(-1) a prime number?
True
Let w(y) = -10*y + 3. Suppose 4*s + 9 + 7 = 0. Is w(s) a prime number?
True
Let d(p) = -2*p**2 + 9*p + 36. Let r be d(-4). Is (-10877)/(-11) - r/176 a prime number?
False
Is ((-557)/(-5))/(4 + 266/(-70)) a composite number?
False
Let j(z) be the second derivative of z**7/630 + z**6/720 - 7*z**5/120 - z**4/3 - 4*z. Let r(p) be the third derivative of j(p). Is r(-6) prime?
True
Let j(h) = 7*h**2 - 2*h - 4. Let n(q) = q**2 - q - 3. Let v be n(3). Is j(v) composite?
False
Let z = -2403 + 3367. Let o = z + -225. Is o prime?
True
Suppose 0 = -2*u - 4*u + 6. Is -124*(u/4 - 3) a composite number?
True
Let q(d) = -7*d - 35. Is q(-7) a prime number?
False
Let j(u) be the first derivative of -u**2/2 + 16*u + 1. Is j(-7) composite?
False
Let g(u) = 223*u**2 + 37*u - 59. Is g(-10) composite?
False
Let w(m) = -2*m**3 + 39*m**2 - 16*m - 22. Is w(17) composite?
False
Suppose -437 = -3*p - 5*m, -p = 5*m - 6*m - 135. Is p a prime number?
True
Let h = -766 + 1743. Let a = h + -581. Suppose 0 = -2*w + 314 + a. Is w prime?
False
Suppose 171664 = 45*o - 132581. Is o prime?
True
Let b(m) = m - 7. Let g be b(6). Let y = 161 - 89. Let l = y + g. Is l composite?
False
Let q be 5*(2 + (-14)/10). Suppose -2*j = 3*m - 3471, q*m = 2*m - 4*j + 1157. Is m a composite number?
True
Let a = -2397 + 5204. Suppose 835 = -4*b + a. Let q = b - 302. Is q prime?
True
Let a(r) = -2*r**2 + 384. Let h be a(0). Suppose 0 = 2*b - h - 22. Is b prime?
False
Suppose -c + 12 = 3*c. Suppose c*k = -2*k + 655. Is k composite?
False
Suppose -73615 = -3*z - 11290. Is ((-1)/3)/((-103880)/z - -5) a composite number?
True
Let m be -16 + (-2 - 2 - -2). Is 4/6*3*(-3195)/m a composite number?
True
Suppose 3*c + 4 = 2*c. Let w(o) = -2*o**3 - 4*o**2 - 3*o + 1. Is w(c) a prime number?
False
Let s be (1 + 1)*(-628)/(3 - -1). Let a = s - -1233. Is a a composite number?
False
Suppose n + 3*x = -4*n + 352, 5*n - x - 336 = 0. Let o = n - 31. Is o a composite number?
False
Suppose -3*i + 1029 = -0*i. Suppose -124 - i = -n. Is n a composite number?
False
Suppose 2*r = -3*r + 330. Let p = r - -83. Is p prime?
True
Let g = -2575 + 4524. Is g a composite number?
False
Suppose -10*f = -2*f - 95624. Is f a composite number?
False
Let r = -81 - -83. Suppose -5*i - 20 - 18 = -o, -32 = -o - i. Suppose x = r*x - o. Is x a composite number?
True
Let v be 1143/(-27) + 1/3. Is (-1)/2 + (-3969)/v composite?
True
Let m be 3 - (-4)/(4/(-33)). Suppose 115 = -3*y + 1066. Let f = y + m. Is f a prime number?
False
Let p = -16 + 17. Suppose 4*d + v = -8 + p, 0 = 3*v - 3. Is d/(-13) - (-30790)/130 composite?
True
Let d = -852 + 2741. Is d prime?
True
Let m = -485 - -3304. Is m a composite number?
False
Let j be 4/(8/(-6)) - -18. Suppose -3*o + 15 = -u, 0 = 3*o - j - 0. Suppose u = -2*s - 3*s + 655. Is s prime?
True
Suppose -7*a = 5*k - 2*a - 3680, -4*k + a + 2964 = 0. Suppose -4*i - k = -8*i. Is i a composite number?
True
Is 4806525/525 + (1 - (-9)/(-7)) composite?
True
Suppose -385*v = -395*v + 55390. Is v composite?
True
Suppose -25*o + 22*o + 7251 = 4*h, 4*h = o - 2401. Is o composite?
True
Let y be 2/(10/(-251805)*3). Is y/(-4) - (6 + 75/(-12)) a prime number?
False
Let h(u) = 18469*u**3 + u**2 - u + 1. Let p be h(1). Suppose 9*k + k - p = 0. Is k a composite number?
False
Let o = 20 + -22. Let r be (-80)/56*28/o. Is (3 + r/(-8))*70 prime?
False
Let v(n) = -5*n**3 - 13*n**2 + 7*n - 1. Let x be v(-4). Suppose 4*f + 1100 = 5*i - f, 3*f - 415 = -2*i. Suppose 2*j - x = i. Is j a prime number?
True
Suppose 0 = -10*s + 4*s + 60438. Is s prime?
False
Let o = -162 + 313. Let f = o + 184. Is f a composite number?
True
Let r(w) = w**3 + 8*w**2 - 11*w - 8. Let z be r(-9). Let q be (-1 - -71)*16/z. Suppose 2*x - q - 526 = 0. Is x a composite number?
True
Let w(s) be the second derivative of 0 + 1/12*s**4 + 5*s - s**2 + 1/20*s**5 + 1/6*s**3. Is w(3) a composite number?
False
Let k be ((-27162)/(-30))/(2/10). Let y = -2460 + k. Suppose -2*w = 8*m - 3*m - y, -m + w + 419 = 0. Is m prime?
False
Let m(b) = -2*b**3 - 41 - 9*b + 42 + b**3 - 16*b**2. Let p be m(-16). Let j = p - 32. Is j prime?
True
Let o = 5044 - -2433. Is o prime?
True
Let s = -16 - -11. Let h(p) = 2*p**3 + 8*p**2 + 2*p - 9. Let t be h(s). Let i = t - -198. Is i a prime number?
False
Is 12/8 - (-18542)/4 prime?
True
Let x = -4 - -8. Suppose x*f - g = 26, -27 = f - 4*f - 3*g. Let n = 22 - f. Is n a composite number?
True
Let i(t) = t**3 + 4*t + 10129. Is i(0) composite?
True
Let r(n) = 3*n + 1. Let a be r(5). Suppose 3*u + y + 4*y = a, 4*y = 8. Suppose 237 = u*c + c. Is c a composite number?
False
Let r = 27 + -17. Suppose -r*m = -713 - 1227. Is m a composite number?
True
Suppose -7*z + 3*z = -168. Suppose -5*u + 133 = -z. Is u a prime number?
False
Suppose 16441 = 4*d + 12*q - 13*q, 2*q = -4*d + 16450. Is d prime?
True
Suppose 0 = 5*q - 2486 - 9154. Suppose -1644 = -4*b + q. Is b a composite number?
True
Let j(s) be the first derivative of -s**4/4 + 2*s**3 - 9*s**2/2 - 7*s + 11. Let f be j(5). Let o = f - -140. Is o a prime number?
True
Let m(t) = 29*t**2 + 4*t - 1. Let l be m(3). Suppose 72 = 3*o + 3*o. Is (-2)/(-6) + l/o composite?
False
Let t(r) = -1668*r + 1. Let i be t(4). Let f = -2494 - i. Is f composite?
False
Let m be -1*(-4 + 8) - -6305. Suppose -3*v + 4*g = -m, -2*v + 7*v - 5*g = 10500. Is v a prime number?
True
Let a(p) = -188*p**3 - p**2. Let k be (-18)/(-8) + -3 + 2/(-8). Is a(k) prime?
False
Let r(p) = -3010*p**3 + 6*p**2 + 11. Is r(-3) composite?
True
Suppose 0*o - 5*o + 15 = 0. Suppose -o*a = v - 2417, 3*v + a = -0*a + 7283. Is v a prime number?
False
Let z be 1 - 2*9/(-6). Let q be z + 22*42/(-4). Let i = q + 532. Is i composite?
True
Let b = 35 + -33. Is 8/(-14) + ((-21670)/(-35))/b a prime number?
False
Let m(y) = -13*y + 1. Let q be m(1). Is (-5468)/q*1*3 a composite number?
False
Let s(h) = -h + 9. Let k be s(8). Let x be (k*-6)/((-18)/24). Suppose -4*r = -x*r + 948. Is r a composite number?
True
Let w = -15827 + 26806. Is w composite?
False
Let n be 1/6 + 406/84. Suppose 0 = -2*v - 258 + 1286. Suppose -41 = -n*c + v. Is c prime?
False
Suppose -3*i = -4*q + 36, -5*q - 5*i + 8 = -6*q. Suppose -q*t + 14*t = 694. Is t prime?
True
Suppose -5*i + 5*v - 50 = 0, 0 = -5*i + 3*v - 13 - 29. Is (-2174)/((-8)/i*(-30)/20) prime?
True
Let r = 32 + -22. Suppose 12*g = r*g. Suppose -4*c = 2*y - 418, 0*y + 3*y - 4*c - 667 = g. Is y a prime number?
False
Suppose -14*v - 21994 = -28*v. Is v composite?
False
Let s = -41 - -44. Suppose 5*c - 9712 = s*q + 1807, -5*c = -4*q - 11517. Is c prime?
False
Let g be ((-15)/(-12))/((-2)/(-8)). Suppose 3*z - 20 = -z, -g*z + 37 = 3*u. Is u/(-6) - 1689/(-9) composite?
True
Let w(m) = -m**3 - 3*m**2 - 4*m - 3. Let h be w(-2). Let z(x) be the first derivative of 64*x**3/3 + x - 1. Is z(h) a prime number?
False
Let y = 15247 - 6996. Is y composite?
True
Suppose -y + 3 - 2 = 0. Suppose 5*h - 4*r = 8*h - 3257, -r - y = 0. Is h a prime number?
True
Let s be (-2590)/(-4) + (-3)/6. Let y = s - -2208. Suppose 1120 = -5*i + y. Is i a composite number?
False
Suppose r - 42 = -i + 4, 4*r - 55 = -i. Is 13/(4/i*(-5)/(-20)) a prime number?
False
Let g(v) = 7*v**2 + 7*v - 11. Let s(x) = -14*x**2 - 14*x + 23. Let w(d) = 5*g(d) + 2*s(d). Is w(4) a composite number?
False
Let v be (-16 - 2)*45/(-2). Let x = 1054 - v. Is x a composite number?
True
Let k(z) = 3*z**3 - 9*z**2 - 7*z + 25. Let x(p) = -7*p**3 + 19*p**2 + 13*p - 51. Let l(y) = 9*k(y) + 4*x(y). Is l(-10) composite?
False
Suppose 25*m - 36652 = 33673. Is m a prime number?
False
Suppose -5*t = -20, r + 0*t = 5*t - 18. Suppose 0 = -4*u + r + 10. Suppose -u*g + 149 = -5*p + 3*p, 44 = g + 5*p. Is g composite?
True
Is ((-112387)/22 + (-3)/(-4))*-4 a composite number?
False
Let w(m) be the third derivative of 5/6*m**3 + 49/24*m**4 + 0 + 0*m - 3*m**2. Is w(4) a prime number?
False
Let c(l) = l**3 - l + 265. Let p be c(0). Is (-2 + p/(-3))*(-2 + -1) a composite number?
False
Let y = -5 - -7. Suppose h + 2*h + 2*d = 95