f. Is c composite?
True
Suppose 5*u - 4183 = 5*r - 813, 2*r - 659 = -u. Is u a prime number?
False
Let h(b) = -14*b + 14*b**2 - 7 - 19*b + 8*b + 0*b**3 + b**3. Is h(-15) prime?
False
Let c be 4/6 + (-1060)/60. Let m = c - -24. Suppose 0*b - m*b + 469 = 0. Is b a prime number?
True
Let z(w) = w + 3*w - 4*w + 10 - 7*w. Let d(v) = 14*v - 19. Let k(i) = 3*d(i) + 5*z(i). Is k(6) a composite number?
True
Suppose 3*h - 430 = 686. Let x = 199 + h. Is x a prime number?
True
Let u(z) = -22*z - 74. Let n be u(12). Let t = 339 - n. Is t prime?
True
Suppose 4*v - 4*d - 2876 + 11368 = 0, -4*v - 8507 = d. Let t = -1207 - v. Is t prime?
True
Suppose 2*v - 5*v - 3*q = -3927, -5*q + 1301 = v. Suppose -k - 4*k - 417 = -h, -5*k + v = 3*h. Suppose 4*j - h = 952. Is j a prime number?
False
Let o(i) be the first derivative of -i**4 - 4*i**3/3 - 7*i**2/2 - 2*i - 5. Let j be o(-5). Suppose -5*w = 4*z - 461, 0*w + 5*w - j = 3*z. Is w a prime number?
True
Let r be (-6 + 7)/(-2 - -3). Let c be 41/r - (-7 - -7). Let d = c - 22. Is d a prime number?
True
Suppose -u = -17794 - 10450. Is (-2)/8 - u/(-16) a composite number?
True
Let v be 30/(-4)*22/(-33). Suppose -v*g = -834 + 199. Is g a composite number?
False
Suppose -c - y - 146 = -2923, 5*y + 11108 = 4*c. Is c composite?
False
Let b be (55/10 - 5) + 417/2. Let l = 550 - b. Is l composite?
True
Let d(m) = 7*m**2 - 10*m - 4. Let v(l) = -6*l**2 + 10*l + 5. Let n(c) = -2*d(c) - 3*v(c). Is n(-7) a prime number?
False
Let b = 2 - -1. Suppose y = -3*w + 14, y + 3*w = b*y - 1. Suppose -y*q + 314 = 3*o, 2*o + q = -3*o + 560. Is o a composite number?
False
Let p be 6 + 12/(-8)*2. Suppose -p*q + 2933 = 4*q. Is q composite?
False
Suppose -4*c - 73073 = -4*k + 43979, 4*c = 0. Is k a prime number?
False
Suppose -4*v = -2*n + 958, 4*v + v = -5*n + 2335. Is n composite?
True
Let j = 4042 - 785. Let v = -780 + j. Is v a composite number?
False
Let z(w) = w**3 - 12*w**2 - 13*w - 67. Is z(19) a composite number?
False
Let p(o) = -o**3 + 10*o**2 - o - 9. Suppose 16*j - 24 = 13*j. Is p(j) a prime number?
False
Let g = -555 + 234. Let x = 741 + g. Suppose 4*u - 461 = 2*k - 123, 5*k = 5*u - x. Is u composite?
True
Let z(j) = 20*j - 53. Let t(g) = 41*g - 107. Let k(q) = -4*t(q) + 9*z(q). Is k(17) prime?
True
Suppose -5*y - y + 3708 = 0. Let z = -1926 + y. Is (-2)/(-3) - z/36 composite?
False
Suppose -6 = j - 3*n, -j + 5*n - 9 = 1. Suppose -11*w + 14*w - 1869 = j. Is w composite?
True
Suppose 20 = 5*c, y - 5*y = 3*c - 208. Is y a composite number?
True
Let a be (-9)/(-2)*(-120)/(-135). Is 113*(a + (-2 - -1)) a prime number?
False
Let u(l) = -26*l**2 - 5*l + 4. Let r be u(4). Let c = 472 + -719. Let m = c - r. Is m a prime number?
False
Let b = 1946 + -1004. Suppose 3777 = 3*i - b. Suppose 0 = 4*u + 3*d - i, 4*u + u = -4*d + 1965. Is u a prime number?
True
Let n(t) = 102*t**2 - 49*t + 355. Is n(8) a composite number?
False
Let l(s) = 8*s**2 + 5*s + 28. Let g be l(11). Let f = g + -564. Is f a composite number?
False
Let d be -4 + 7 - (12 - 3). Let r = -4 - d. Suppose r*i + 2*i = 232. Is i prime?
False
Suppose c = -3*c - 2*x - 106, -2*c + 4*x - 68 = 0. Let b = c + 569. Is b a composite number?
False
Suppose 1 = 4*x - 31. Is (574/x)/((-3)/(-12)) a composite number?
True
Let i(u) = u**3 - 5*u**2 - 15*u + 20. Suppose -8 = -4*n + 12, 4*n = y + 24. Let m be 3 - (y + 11) - -13. Is i(m) composite?
True
Suppose -5*x + 5*v + 0*v + 1495 = 0, -v - 596 = -2*x. Let z = x + -40. Is z a composite number?
False
Is 6*12/126 - (-18822)/14 a composite number?
True
Let q(x) = 2*x + 4. Let l be q(0). Suppose 11*b - 406 = l*b. Is b a prime number?
False
Let o = -23 - -13. Let u be o*-3*(-8)/(-30). Suppose 4*v + v = 2*z - 72, 0 = -2*v - u. Is z a composite number?
True
Suppose 6336 = -4*z + 8*z. Suppose 0 = 5*h - 20, 2*h + z = 4*l + h. Is l composite?
False
Suppose 4 = 2*r - 2. Suppose -2*j - p = -r, 2*j = 3*p + 2 + 5. Suppose -j*m + n - 2*n = -81, -134 = -3*m + n. Is m a prime number?
True
Let k(g) be the second derivative of -6*g**5/5 + g**4/6 - g**2/2 - 6*g. Let d be -1 + -3 - 2*-1. Is k(d) a prime number?
True
Suppose 4*f + 9*q - 64338 = 7*q, 3*f + 2*q - 48251 = 0. Is f composite?
False
Let o(m) = -3*m - 11. Let w be o(-9). Let n be 6/4*w/6. Suppose 3*r = n*r - 341. Is r a prime number?
False
Let i be 4/(-12) + (-4)/6. Suppose 0 = 6*f - 52 - 98. Is ((-4)/10)/(i/f) a prime number?
False
Suppose -9*v + v = -157832. Is v prime?
False
Suppose 0 = 54*f - 793961 - 587197. Is f prime?
True
Let h(c) = -32*c - 3. Let q(u) = -401*u - 50. Let d(x) = -134*x - 17. Let p(f) = -17*d(f) + 6*q(f). Let l(j) = 9*h(j) - 2*p(j). Is l(-5) prime?
False
Suppose 0 = -4*p - l + 2683, -2*l - 2026 = -2*p - p. Let u = p - 41. Is u a prime number?
True
Let y(b) = -57*b**3 + 4*b**2 - 4*b + 3. Let f be y(2). Is (1 - f/3) + 2/(-6) composite?
False
Let d = 7 - 7. Let o(z) = z + 3 + z + 0*z + 9*z**2 + d*z. Is o(-2) a composite number?
True
Let d(u) = -1372*u**2 + u - 6. Let b(l) = 2745*l**2 - l + 12. Let g(p) = 6*b(p) + 11*d(p). Is g(-1) a prime number?
False
Let x(v) be the second derivative of v**4/4 + v**3/6 + 5*v**2 + 3*v. Is x(-8) prime?
False
Let f(y) = 64*y**2 - 4*y + 55. Is f(7) a prime number?
True
Let g(n) = 18*n**3 + 14*n**2 + 17*n - 59. Is g(8) prime?
False
Let n(y) be the first derivative of -250*y**2 + 9*y - 50. Is n(-8) a prime number?
False
Let l(w) = 2470*w + 17. Is l(8) a prime number?
True
Is ((-779)/41)/(1/(-173)) a prime number?
False
Suppose 188043 = -l + 20*l. Is l a prime number?
False
Let z(f) = -4*f**3 - 8*f**2 + 4*f - 11. Suppose -14*m = 17 + 67. Is z(m) prime?
True
Suppose 5*i = 2*i + 12, 2*i = 2*z - 8. Suppose -24809 + 8017 = -z*h. Is h a prime number?
True
Let h(d) = 3343*d**2 - d - 1. Is h(1) a composite number?
True
Let a = 4 + -15. Let j(u) = 5 + 3*u**2 + u**2 - u**2 - u. Is j(a) prime?
True
Let q be (9/(-6))/(6/(-8)). Let o(p) = -1 + 13*p**q + 9*p - 5 + 6 + 5. Is o(-6) a prime number?
True
Let h(s) = 21*s**2 + 14*s + 25. Let c(u) = 4*u**2 + 3*u + 5. Let p(i) = 11*c(i) - 2*h(i). Let a = 16 - 24. Is p(a) composite?
True
Let b = -10017 - -14402. Is b composite?
True
Suppose 5*b = 2*b. Let k be (-6 - 0)/(b + -1). Is 255 - -2 - (4 - k) prime?
False
Suppose 46*a - 45*a = 0. Suppose 3*w = 4*b + 3353, a = -5*w + 2*b + b + 5570. Is w prime?
False
Let s be 3/(2/4 + 1). Suppose -s*t - t + 4476 = 0. Let y = t + -999. Is y prime?
False
Let x(j) = j**3 - j**2 + 4. Let b be x(2). Is (-7)/(-56)*b + (0 - -1360) a prime number?
True
Let s be 31/(-4) - 21/(-28) - -3. Is 4905/12 - 1/s prime?
True
Let i(c) = -c**3 - 6*c**2 - 5*c + 6. Let r be i(-5). Let v be -29 - -2*(-3)/r. Is v/(-4) - (-5)/(-10) a composite number?
False
Suppose -h = -4*w + 30161 + 13516, 3*w = -2*h + 32755. Is w a prime number?
False
Suppose -17*m = -20*m. Suppose -3*z + 5*z - 4*g - 554 = m, g - 277 = -z. Is z a prime number?
True
Suppose 0 = -x + 2*o, 0 = -3*x - 5*o - 24 + 2. Let v be ((-8)/(-10))/(x/(-5230)). Suppose 5*g - v = -2*t, -2*g + 549 = t - 6*g. Is t composite?
True
Suppose 20893 = t + 2*g, 40254 + 22443 = 3*t - 3*g. Is t composite?
False
Let n(r) = -r**3 - r**2 + 9*r + 24. Let f be n(-8). Let u = f - -417. Is u a composite number?
True
Let p = 509 - -3952. Let q = p - 2366. Is q a composite number?
True
Suppose 1413 + 491 = -2*d. Let p = 1585 + d. Is p a prime number?
False
Suppose -2*g - 3*w - 11 = 2*g, 0 = -5*g - 4*w - 13. Let c(b) = 0*b - 6 - 5*b - 7 + b. Is c(g) a composite number?
False
Suppose -2*j - 3*w + 4 = -3*j, 0 = -3*j + 4*w + 8. Let a = 4 - j. Let n = 11 + a. Is n a prime number?
True
Suppose -q = -4*i + 3*i + 2, i + 2*q + 4 = 0. Let h be i/1*13/(-39). Suppose 2*c - 4*c + 502 = h. Is c prime?
True
Suppose 1165*p - 1168*p = -879. Is p composite?
False
Suppose -597 + 13931 = 5*f - 4*l, 5*f - 13332 = 2*l. Suppose 15*u = 13*u + f. Is u a prime number?
False
Is (12 - 135/10)*12884/(-6) a composite number?
False
Let p = -259 - -466. Suppose s - 1 - 1 = 0. Suppose -u - s = 1, -3*g + 4*u + p = 0. Is g a composite number?
True
Suppose 5*g - 13*g = -1560. Suppose -3*o - 5*b = -802, -g = 3*o - 3*b - 957. Is o composite?
True
Let w(z) be the first derivative of -z**2/2 + 7*z - 1. Suppose -3*k + 11 = 20. Is w(k) a composite number?
True
Suppose -10671 - 8374 = -5*g. Is g a composite number?
True
Supp