221. Let c = u + 54. Is c prime?
True
Let x(a) = -4*a**3 - 8*a**2 + 21*a + 22. Let u(k) = -3*k**3 - 7*k**2 + 20*k + 21. Let w(y) = 3*u(y) - 2*x(y). Is w(-13) a prime number?
False
Let c = 14315 + -7062. Is c prime?
True
Let c(j) = -194*j - 2. Let p be c(-3). Suppose 4*y - p = -b + 3*y, -b = 2*y - 577. Is b a prime number?
False
Suppose p = 0, w - p + 3109 = -3*p. Suppose -4*m - m = 10680. Let z = m - w. Is z a composite number?
True
Let w(l) be the first derivative of l**4/4 + l**3/3 + l**2 + 481*l + 5. Is w(0) a composite number?
True
Let r(k) be the third derivative of 67*k**7/5040 + k**5/15 + 2*k**2. Let x(o) be the third derivative of r(o). Is x(1) prime?
True
Suppose -4*i - 128 = 7*a - 2*a, 2*a = 5*i - 38. Let w = 2299 - a. Is w a composite number?
True
Suppose -3*u + 8 = 3*a - 2*u, -4*a = 4*u - 16. Suppose 16 = -2*m - a*q - 2*q, -q = 4*m + 11. Let n(l) = 4*l**2 + 3*l + 3. Is n(m) a composite number?
False
Suppose -5*n - 3 + 13 = 0. Suppose -l + 1437 = n*l. Is l composite?
False
Suppose -v - 4*y + 18 - 2 = 0, 3*y = 2*v + 1. Suppose 3*u = u - v. Is 1*(51 + u + 0) a prime number?
False
Let s(l) = 16*l - 3. Let g(o) = 17*o - 4. Let z(i) = -4*g(i) + 3*s(i). Is z(-9) composite?
True
Suppose 0 = -2*j - 5*b - 410, -j - 200 = -0*j + 5*b. Let k be (-1)/(1/j) - -1. Is (k/(-3))/(3/(-9)) composite?
False
Suppose r + 59 = 24. Let g = r + 38. Let p(v) = 32*v**2 + 3*v - 4. Is p(g) prime?
True
Suppose -5*b - s - 9417 = -3*s, -2*b = 5*s + 3790. Let m = -216 - b. Is m a composite number?
False
Let b be 20/(-40) - 11/(-2). Suppose b*m = -c + 2768, 5 - 2 = c. Is m a composite number?
True
Let n be (-7796)/20 + -3 - 1/5. Let f = n - -1870. Is f composite?
True
Let o(x) = 48*x**2 - 4*x - 25. Is o(15) a prime number?
False
Suppose -3*p + 57907 = s, 93*p - 19317 = 92*p - 4*s. Is p a composite number?
False
Suppose 3*g - 95145 = 46*o - 49*o, 3*o = g - 31715. Is g a composite number?
True
Let x(h) be the third derivative of h**6/60 - 11*h**5/60 + h**4/12 - 5*h**3/3 + 2*h**2. Let p = 141 + -133. Is x(p) a composite number?
True
Let s = 257 + 14334. Is s prime?
True
Let o(z) = 54*z + 55. Is o(6) a prime number?
True
Let n(f) = -f**2 - 19*f - 21. Let z(l) = l**3 - l**2 - 3*l - 5. Let h be z(-2). Is n(h) prime?
True
Let f(g) = -g + 4. Let t be f(-3). Let w = t + -3. Suppose 29 - 8 = h - w*n, -2*h + 2*n = -66. Is h prime?
True
Suppose 426 = -7*g + 5*g. Let h = 513 + g. Let s = h - -113. Is s prime?
False
Let k = -571 - -1397. Suppose 3*u - 2472 = -3*c, u + 0*c = -2*c + k. Let p = 1637 - u. Is p composite?
True
Let w(d) be the third derivative of d**7/504 - d**6/180 + d**5/120 - d**4/4 - 3*d**2. Let i(r) be the second derivative of w(r). Is i(6) prime?
True
Let f(t) = -t**2 + 29*t - 19. Let b be f(13). Let s(w) = 35*w + 2. Let g be s(3). Let n = b - g. Is n a prime number?
False
Let p(d) = -2*d**3 - 8*d**2 + 8*d - 15. Let k be 101/(-11) + (52/44 - 1). Is p(k) a prime number?
False
Let d be ((-14)/21*3*-1)/(-2). Is (1 + (-1 - d))*457 composite?
False
Let c = -6777 - -23974. Is c a composite number?
True
Let m be (-16)/(-88) - 22048/22. Let k = -701 - m. Is k a prime number?
False
Let t(y) = -1192*y - 83. Is t(-36) prime?
True
Suppose -5*w + 51753 = 2*k, -163*w + 158*w = -k - 51741. Is w a prime number?
False
Suppose -3087 = -2*b - j, 8*b - 7720 = 3*b - 5*j. Is b prime?
True
Let l(i) = 6*i**2 + 3*i - 2. Let j be l(2). Let z(o) = 23*o + 0 + 3*o**2 - j*o - 5. Is z(-5) a composite number?
True
Suppose -o - 3 = -s, -s - 7 = 3*o - 3*s. Let u(a) = -22*a + 3. Let d(f) = f. Let b(m) = o*u(m) - 5*d(m). Is b(4) prime?
False
Suppose o + 1010 = 2*o. Let q be (-16)/32 + o/(-4). Let f = 126 - q. Is f a prime number?
True
Suppose -3*j = 4*x + 25 + 17, -4*j + 3*x = 31. Let i be (25/10)/(j/(-8)). Suppose -4*l + 3381 = l - i*d, -l = 3*d - 683. Is l a composite number?
False
Suppose 5*t + 10 = -5*d, -4*d - 6 = 3*t - 0. Let p be t/4*4 - -10. Let c(v) = -v**3 + 9*v**2 + 12*v - 1. Is c(p) a prime number?
False
Let s(a) = 33*a**2 + 11*a + 1. Suppose 2*j - 7 = -13. Is s(j) prime?
False
Let i(v) be the third derivative of v**5/12 - v**4/12 + v**3 - 3*v**2. Let b be i(4). Suppose b = 5*p - 2*p. Is p composite?
True
Let w(x) = x + 22. Let h be w(-21). Let r(a) = 39*a**3 - 2*a + 4*a - 1 + 0*a**2 - 2*a**2. Is r(h) composite?
True
Suppose -h + 2*h + 5*x = 319, 4*x + 1653 = 5*h. Let n = h + 68. Is n composite?
False
Let k(t) = -t**2 + 5*t - 4. Let c = 17 + -9. Let m be k(c). Let q = m + 59. Is q composite?
False
Let n(s) = s**2 + 5*s + 9. Let d be n(-7). Suppose c + 3*w + 0*w = -d, 2*c = -5*w - 41. Is ((-2)/c)/((-2)/(-2056)) a prime number?
True
Let n(f) = -3*f**3 - 7*f**2 + 11*f + 11. Let p(r) = -4*r**3 - 6*r**2 + 12*r + 11. Let b(g) = -5*n(g) + 4*p(g). Is b(10) composite?
False
Let h(c) = -127*c**2 + 56*c - 1. Let x(w) = -42*w**2 + 19*w. Let z(k) = -6*h(k) + 17*x(k). Is z(9) prime?
False
Suppose -5*n = 25, 25 = 4*f - f - 5*n. Suppose -4*v = -5*w + 4735, -3*w + f*v = v - 2841. Is w a prime number?
True
Suppose 15*u + 22610 - 75065 = 0. Is u prime?
False
Let o(y) = 30*y**2 - 6*y - 9. Let p be o(-8). Let k = -1292 + p. Is k a composite number?
True
Suppose 10*k - 5664 - 1106 = 0. Is k a composite number?
False
Suppose -20*o - 47792 + 155452 = 0. Is o a composite number?
True
Suppose -4*r = v - 13939, 4*v - r - 55756 = 3*r. Is v a composite number?
True
Suppose 5*l + 3*i + 15 = 40, 2*i = 5*l - 25. Suppose 3*n - 5*n = -4. Suppose -2*b = 5*r - 71, n*b = l*b - 3*r - 138. Is b a composite number?
False
Suppose 4*g - 5*u = 59, g + 3*u - 99 = -3*g. Suppose 0*v - 3*v = -g. Suppose 2*x - v*x + 775 = 0. Is x composite?
True
Suppose -3*f = 3*u + u + 78, 101 = -5*u - 2*f. Let w be (131/(-3) + 1)*(-3)/2. Let q = w + u. Is q prime?
True
Suppose 4*x + 0*x = -b + 4, -x + 1 = 0. Suppose -p + 6*p - 265 = b. Is p prime?
True
Suppose 0 = -5*v + 2*d + 36, -18 = -v + 3*d - 8*d. Is 54 - (-4 + v/4)/2 a prime number?
False
Let c(d) = 298*d**2 - 32*d - 131. Is c(-7) a composite number?
True
Let k be 1*((-8)/12 + 4/6). Suppose 4*p - 1969 = s, p + 3*s - 502 = -k*s. Is p a composite number?
True
Is 105724/24 + (-2)/12 a prime number?
False
Suppose 4*c + 4*j + 16 = 0, 0 = 3*c + 2*j + 18 - 6. Let g be 2/(3/(c + 226)). Suppose -3*m + m = -g. Is m a prime number?
False
Let b be ((-9)/(-6))/(2506/(-2508) + 1). Suppose -4*x - 5*x = -b. Is x composite?
True
Let y = 7 - -1. Suppose y*f - 4*f = 812. Is f a composite number?
True
Is (-7)/1 + 1 - -3665 a composite number?
False
Let j = -354 - -659. Is j a composite number?
True
Let a = 75 - 27. Let g = a - 5. Is g prime?
True
Let u(d) = 3*d**3 + 5*d**2 + 17*d - 11. Suppose 17*i - 136 = -0*i. Is u(i) a prime number?
False
Suppose z = -3*v - 1560, 4*v = -8*z + 3*z - 2080. Let a = v + 109. Let t = a - -856. Is t a prime number?
False
Suppose 113 = 10*p + 23. Suppose p*i - 3*i = 708. Is i composite?
True
Let a = 39 + -66. Let g = a + 65. Is g prime?
False
Is -9827*(2/1 - 3) a prime number?
False
Let a(r) = 8*r + 3*r**3 - 2 + r**3 - 4 + 3 + 2*r**2. Let d = -11 - -16. Is a(d) prime?
True
Suppose -5*w - a = 91, 4*w - a - 2*a + 88 = 0. Let l = 763 - 371. Let k = w + l. Is k composite?
False
Suppose -5 = -4*h + 15. Suppose 3*m = -3*p + 5208, 4*m + 6912 = -p + h*p. Suppose -2013 = -5*c + p. Is c a prime number?
False
Let i(p) = -158*p**3 - 47*p - 17. Is i(-6) composite?
True
Let a(h) = -h**3 - 2*h**2 + h - 1. Let x be a(-3). Let c be 18/(-30) + 843/x. Let y = 247 - c. Is y prime?
True
Let v(q) be the first derivative of 3*q**4/2 + 5*q**3/3 - 3*q**2/2 - 3*q - 2. Suppose -8*y + 45 = 13. Is v(y) a composite number?
False
Let m = -4629 - -7612. Is m a prime number?
False
Let u(p) = -1 + 3 + 3*p - p. Let o be u(1). Suppose o*t + 5*s - 1267 - 1066 = 0, t + 3*s - 578 = 0. Is t a composite number?
False
Suppose -18*f + 27441 + 104337 = 0. Is f prime?
True
Suppose 4*l - 540 = -4*y, -4*y + 6*y - l - 258 = 0. Let w = y - -60. Is w a composite number?
False
Let n(f) = f**2 - f + 1. Suppose -2*s - 10 = -2. Let x(p) = 8*p**2 - 7*p + 2. Let l(u) = s*n(u) + x(u). Is l(-4) prime?
False
Let y be (-231)/(-84) - 6/8. Suppose -3*r = y*h + 26, r = -2*h - 0*h - 10. Let g(c) = -242*c + 9. Is g(r) a composite number?
True
Let y(f) = f**2 - 10*f + 8. Is y(-7) a prime number?
True
Suppose 2*r + 3*v + 16 = -3, 0 = -4*v - 4. 