v(h) = -2 + 4*h + 1 + 6 - 6*h**2 + 6*h + h**3. Is v(8) prime?
False
Suppose -l - 2 = 3. Let r be (-37)/l + 2/(-5). Let i(f) = 11*f + 10. Is i(r) composite?
True
Let c(h) = h + 6. Let i be c(-4). Let y = 61 + -56. Suppose 3*a - 8*a - i*w + 87 = 0, 5*a + y*w = 75. Is a a composite number?
False
Suppose -56365 = -7*w + 4*s, -2*s = -3*w + 3*s + 24163. Is w composite?
True
Suppose -48*m + 35*m = -56017. Is m composite?
True
Let w = -11240 - -15991. Is w prime?
True
Let f(x) = -x**2 + 1. Let d(m) = 3*m**2 + 5*m - 8. Let a(q) = -d(q) - 2*f(q). Let t be a(-6). Suppose t*s = s - 163. Is s composite?
False
Let v = 156 + -29. Is v a prime number?
True
Let j(n) be the third derivative of n**5/10 - 3*n**4/2 - 5*n**3/6 + 43*n**2. Is j(28) prime?
True
Let g = -4385 + 35418. Is g prime?
True
Suppose 0 = -4*j + 54 + 42. Suppose 0 = j*u - 16*u - 36664. Is u prime?
True
Let b = 499 - 51. Is (-6)/18 + b/3 prime?
True
Let x be (-17408)/72 - (-6)/(-27). Let r = -168 - x. Is r prime?
False
Let y(v) = 1276*v**2 - 3*v - 2. Is y(-1) a composite number?
False
Let j(x) = x**3 - 2*x**2 - 4*x - 7. Let w be j(4). Suppose w*o = 4*o + 1895. Is o a composite number?
False
Suppose 4*g - 2*g - 36 = -4*b, -b + 4*g - 9 = 0. Suppose b*j = 11*j. Suppose j*o + 3*o = 1497. Is o prime?
True
Suppose -177399 = -4*p - q, 26*p - 28*p = -q - 88707. Is p a prime number?
True
Let w(p) = 6292*p + 75. Is w(8) prime?
True
Let o(t) = t**3 + 10*t**2 + 14*t - 16. Let m be o(-8). Suppose 4*g + l - 377 = 0, 2*l - 2 = -m. Is g composite?
True
Let k(s) = 3316*s - 37. Is k(4) composite?
True
Suppose 2*g - 4*s + 36 = -386, -2*s = -10. Let d be -2 - ((-8)/(-2) + -3). Is d*(g/9 + 4) a composite number?
True
Let s(m) = 77*m**3 + m**2 - 19*m + 12. Is s(7) composite?
False
Suppose r + 10 + 3 = 0. Let w(m) = 2*m**3 - 9*m**2 + 9*m - 8. Let i be w(6). Is (i/(-4))/(r/26) composite?
True
Let p(z) = z + 9. Let k be p(-4). Suppose -n + k = 0, 4*n + 0*n = -4*i + 36. Suppose i*l - 216 - 260 = 0. Is l composite?
True
Is (406910/(-210))/(1/(-3)) prime?
True
Let o = -7 + 11. Is 4 + 934*2/o a composite number?
True
Suppose 6*p = -p - 49. Let z(l) = 32*l**2 - 8*l - 27. Is z(p) composite?
False
Let s(x) = -2*x**3 - x**2 + x. Let j be s(-3). Suppose -j = -3*o + 2*c - 10, -2*c = 3*o - 52. Is 4/o + 257/7 a prime number?
True
Let l = -3656 - -6999. Is l composite?
False
Let k = 20 - 18. Suppose -3*b = 0, 247 + 339 = -k*t + 5*b. Is t/(-5) - 4/(-10) prime?
True
Let a be (-2)/4*(-848)/8. Let o = a + -34. Let u = 38 + o. Is u composite?
True
Suppose -519 = -7*c - 15. Suppose 2*v - 302 = 3*u, 2*v - c - 234 = 2*u. Is v a prime number?
True
Suppose -50 = -2*u + 16. Let m = 69 - u. Suppose s - 17 = m. Is s a composite number?
False
Let u = 79460 - 37693. Is u a composite number?
True
Let q(h) = -1581*h + 5. Let f be q(-1). Let l = 215 + f. Is l a prime number?
True
Let s(n) = -3*n - 3. Let p be s(-5). Let z = p - 9. Suppose 0*r = z*r - 57. Is r composite?
False
Let f(z) = 147*z + 1. Let i(u) be the second derivative of -u**4/12 + 4*u**3/3 - 3*u**2/2 - 12*u. Let w be i(7). Is f(w) prime?
False
Let m = 1216 - 723. Suppose 5*u = 2*z + 8441, -z = -5*u + 2*z + 8444. Suppose -3*f + o + m = -516, -o + u = 5*f. Is f prime?
True
Let j = -1 + 5. Let d(x) = -3*x**3 + 2*x**2 + x + 4. Let l be d(j). Let o = l + 301. Is o composite?
False
Is 30/10*(-1)/15*-213245 composite?
False
Let n(a) = -a**3 + 6*a**2 - 2*a - 13. Let f be n(5). Suppose 0 = 3*v + 4*q - 1, q + 31 + f = 4*v. Is v prime?
True
Let h be (-10)/(-4)*(-540)/(-50). Suppose -3*n = h - 192. Is n composite?
True
Let h(m) = -3*m**3 + 8*m**2 - 13*m + 27. Let c(o) = -7*o**3 + 15*o**2 - 27*o + 55. Let t(n) = 2*c(n) - 5*h(n). Is t(11) composite?
True
Let p = 105 + -100. Suppose 4*t = p*k + 328, -4*t - 2*k + 5*k = -320. Is t prime?
False
Let g = 17 + -12. Suppose 0 = 5*i + g - 15. Suppose -2*q + 188 = i*q. Is q a composite number?
False
Suppose 0 = 6*h - 6535 - 14531. Is h a prime number?
True
Let q(c) = -2*c**3 - 4*c**2 + 7. Let y(o) = o**2. Let h be y(2). Suppose h*v + 12 = -4. Is q(v) a prime number?
True
Suppose 4*y + 3*z = 7604, -1901 = -2*y + y + 5*z. Is y composite?
False
Let s = 766 + -339. Is s prime?
False
Suppose -j + 5 = 3*d - 0, 0 = 4*j + 16. Suppose d*u - 2*u + 5*o - 3997 = 0, 5*o - 20025 = -5*u. Is u a prime number?
True
Is ((-4)/3 - -2)*(-9081)/(-2) a prime number?
False
Suppose 0 = -67*h + 52*h + 23445. Is h composite?
True
Suppose -5*o + 2*o - 9 = 0. Let p be (1/o*0)/(-3). Let l(y) = -y**3 - y + 15. Is l(p) composite?
True
Suppose -4*d + 5*d - 30 = 0. Let v = -9 + d. Is v prime?
False
Let d = -1551 + 7114. Is d prime?
True
Suppose 44*a = 23*a + 70413. Is a a composite number?
True
Let c(g) = -174*g**3 - 3*g**2 - 12*g - 46. Is c(-3) a composite number?
True
Let b = 2 + -2. Let t be (-574)/(-13) + (-7)/(91/2). Suppose 2*l = -b*l + t. Is l composite?
True
Suppose 2*h - 4*h + 230 = 0. Suppose -3*t + 50 = -4*k + 2, 16 = 4*t. Let q = k + h. Is q a composite number?
True
Let o = 28 - 25. Suppose o*d = -5*c + 3*c - 93, -5*d = -5*c - 170. Let s = c - -180. Is s composite?
True
Suppose -4*n + 3*r - 82076 + 235638 = 0, -n + 38381 = 4*r. Is n prime?
False
Let w = -8 + 13. Suppose -2*c + 3*s + 78 = 0, -2*s + 195 = w*c - 7*s. Let m = c + -17. Is m composite?
True
Let v = 4851 + -3286. Is v a prime number?
False
Suppose 3*l - y = -5252, -l + 8752 = -6*l + 2*y. Let w = -562 - l. Suppose -5*d + w = x, -697 = -3*d - 5*x + x. Is d a composite number?
False
Let l be (((-48)/15)/4)/(2/(-5)). Let j(f) = f**2 - 5*f - 3. Let x be j(6). Suppose -5*z = -13 - l, -288 = -x*i + z. Is i prime?
True
Let h be (6 - 3 - 2)*-6. Let s = h + -216. Is (2 + s)*-1 + 1 prime?
False
Suppose -h = -6*h + 30. Suppose -3*t = -h*t - 9. Let v = t + 16. Is v prime?
True
Let n = 258 - -123. Is n a prime number?
False
Let v = -3 - -5. Let p be (10/(-2) + 5)*1/(-2). Suppose 254 = -p*u + v*u. Is u composite?
False
Let m(p) = -p**2. Let i(f) = -f**3 + 4*f**2 + 1. Let w(j) = -i(j) + 3*m(j). Let u be w(7). Is (-46 - 0)*u/2 a composite number?
False
Suppose -q = 4*o - 2757, -3*q - 5*o = -7278 - 1007. Suppose -2*v + q = 3*v. Is v a composite number?
True
Let k = 17356 + -11417. Is k composite?
False
Suppose 2*a + 6 = 0, 3*a = -6*h + 2*h - 33. Let q(n) = 6*n**2 + 5*n + 5. Is q(h) prime?
True
Let q(n) = -n**2 - 3*n + 2. Let b be q(-3). Suppose 5*i - 343 = -b*k, -4*i - 3 = 9. Let p = -126 + k. Is p a composite number?
False
Suppose -16 = -4*g, -3*o - g = -6 - 10. Let u be (-2*(-2)/o)/1. Let c(j) = 150*j**2 - 1. Is c(u) prime?
True
Let f(y) = -451*y - 90. Is f(-11) prime?
True
Let g(y) = -3*y + 51. Let b(c) = 16*c - 255. Let r(a) = 2*b(a) + 11*g(a). Let u be r(0). Let i = u - -106. Is i composite?
False
Let f = -97 + 106. Is f/(-18)*-1426*1 a prime number?
False
Let b(h) = -h**3 + 18*h**2 - 9*h + 5. Let w be b(13). Let p = w + -366. Is p a prime number?
True
Suppose 1029 + 93 = 6*b. Is b a prime number?
False
Let x(w) = 2037*w**2 - 7*w - 15. Is x(-2) prime?
True
Let n = 0 - -8. Suppose 2*d = -n*d + 7630. Is d prime?
False
Suppose 2*n = 4*n - 14. Suppose -851 = n*b - 5884. Is b a composite number?
False
Suppose -5*a + 2*l = l - 1724, -2*a + 704 = -4*l. Let v = -571 + a. Is -2 + (v + -1)*-1 a prime number?
False
Let j = 18 + -15. Suppose 4*o + 0*z + j*z + 326 = 0, 0 = -2*z + 4. Is 3/((-3)/o)*1 prime?
True
Suppose 5*z = -z + 18. Suppose 0 = 4*m - 2*k + 32, z*m = 6*m - k + 26. Let n = m + 19. Is n a prime number?
False
Let z be 26/8*(-20)/5. Is (-5304)/(-14) + z/(-91) composite?
False
Let r = -550 - -841. Is r - (-3)/(-6)*-4 a composite number?
False
Let x = 33 - 26. Suppose -2*r = -x*r + 335. Is r a prime number?
True
Let x(n) = 42*n**2 - 8*n + 7. Let m = -55 + 61. Is x(m) a prime number?
True
Is 6/1*((-8104)/16)/(-1) a composite number?
True
Suppose 2*j + 26 + 48 = 0. Let q be 1*((-222)/(-3) + 0). Let l = q + j. Is l prime?
True
Let o = 575 + -835. Let m = o + 591. Is m prime?
True
Let s be 4/(-18) - (-5244)/27. Suppose 0 = 3*a - 2*j - 1625, -4*j - s + 2895 = 5*a. Is a composite?
False
Suppose 4*b + 1798 - 4734 = 0. Let c = b + -253. Is c prime?
False
Suppose 3*i - 1 = 11. Suppose i*b = 10*b + 6. Let r(w) = -56*w - 1. Is r(b) composite?
True
Let o(y) be the third derivative of y**7/840 + y**6/72 + 3*y**5/40 - 7*y**4/24 + y**3/6 - 5*y**2.