t u be f(-23). Let z = q + u. Is 5 a factor of z?
True
Let p(t) be the first derivative of -t**7/840 - t**6/360 - t**5/60 + t**4/12 - 5*t**3/3 + 2. Let l(w) be the third derivative of p(w). Does 6 divide l(-3)?
False
Suppose -5*s + 60 = 7*s. Let d(k) = -k**3 - 4*k**2 - 4*k + 1. Let u be d(-4). Let q = u - s. Does 5 divide q?
False
Let z(m) = 10*m + 2. Let q be ((-4)/(-6))/((-6)/(-9)). Let i be z(q). Is (-1 - 26)/((-9)/i) a multiple of 18?
True
Let b = -2408 + 4888. Does 7 divide b?
False
Suppose -721 - 124 = -5*r. Suppose -8*w + 183 = -r. Does 17 divide w?
False
Let l be 9/(-15) + 465/(-50)*-2. Suppose -10*q = -l*q + 584. Is 13 a factor of q?
False
Let b(f) = 0*f + 5*f + 2*f**2 + 2*f + f - 6. Let k(m) = m + 1. Let q be k(-7). Does 6 divide b(q)?
True
Let u(b) = -b**3 - 23*b**2 - b + 27. Suppose -g + 4*g - 23 = q, 0 = -2*g. Does 10 divide u(q)?
True
Suppose -7*h + 10*h - 456 = 0. Let u = h + -97. Does 14 divide u?
False
Let s = -12 - -6. Let y(z) be the second derivative of z**5/20 + z**4/2 - z**3/3 - 11*z. Is 4 a factor of y(s)?
True
Suppose -6*k + 120 = -2*k. Let q = 36 + k. Does 11 divide q?
True
Suppose 2*f - 2027 = -5*o, f + 1296 - 478 = 2*o. Is 15 a factor of o?
False
Let r(v) be the first derivative of -7 - 1/2*v**2 + 14*v. Does 9 divide r(-13)?
True
Let v = 298 - 40. Does 23 divide v?
False
Let d(o) be the second derivative of -2*o**3/3 - 5*o**2/2 + 17*o. Does 11 divide d(-5)?
False
Suppose 6189 + 1427 = 14*x. Does 97 divide x?
False
Let x(i) be the first derivative of -i**2 - 6*i + 10. Is 7 a factor of x(-13)?
False
Let w(j) = j**3 - 9*j**2 + 18*j - 23. Let y be w(7). Suppose -598 = -4*c + y*u, 5*c + 4*u - 664 - 104 = 0. Does 8 divide c?
True
Suppose 5*p = 4*s - 19, 11 = 4*s - 2*p - 11. Suppose 6 = -s*k + 306. Does 4 divide k?
False
Let u(c) = -18*c + 11. Let o be u(-5). Suppose 3*i + 5*d - o = 0, -178 = -4*i - d + 3*d. Does 7 divide i?
True
Is 18/(-24) - (-4216)/32 a multiple of 39?
False
Let d(x) = 2*x + 7*x - 1 - 3*x. Let q be d(-2). Does 14 divide (-340)/q + 6/(-39)?
False
Suppose -76 = b - 13. Is 20 a factor of 1956/14 - 18/b?
True
Let a(h) = -h**2 + 2*h + 924. Let c be a(0). Suppose 3*k - 10*k + c = 0. Does 22 divide k?
True
Let g be 24 - (-7 - (-15)/5). Suppose -3*z = -103 + g. Is z a multiple of 12?
False
Let y(i) = -23*i - 17. Let l be y(-4). Suppose 5*k - 5*x = 1240, -2*x + l = 4*k - 917. Is 40 a factor of k?
False
Suppose -5 + 3 = a. Let j = 29 - a. Is 21 a factor of j?
False
Suppose j + 421 = c, -136*c - 4*j - 1264 = -139*c. Is c a multiple of 2?
True
Let r = 15 - -19. Suppose 14 = 2*g - r. Suppose 0 = 3*v - 99 + g. Is 10 a factor of v?
False
Let s(z) = 28*z - 26. Let g = 63 + -57. Does 60 divide s(g)?
False
Let t(l) = 163*l**2 + 34*l + 127. Does 23 divide t(-4)?
True
Let x be -6*14/8*(-8)/4. Suppose -3*p = p - l - 42, p + 5*l - x = 0. Is p a multiple of 3?
False
Let d be (-6)/(-4)*(0 - (-464)/12). Suppose -4*f + d = -194. Does 9 divide f?
True
Let x be -4 - (5*-3 - 1). Suppose -83 - x = -5*j. Does 11 divide j?
False
Suppose 0 = r + 4*u - 9, 2*r = -2*r + 4*u - 24. Let h be (-1)/((-3)/(r*113)). Let i = h + 183. Is i a multiple of 14?
True
Let n(z) = -2*z + 5. Let m be n(-12). Suppose 4*o = -2*k - 368, 4*k + 693 = -o - m. Is 10 a factor of 1/(716/k + 4)?
False
Let q(v) = 5*v**2 + 5*v - 6. Let d = -20 - -28. Let i = 11 - d. Is 27 a factor of q(i)?
True
Is 48 a factor of (7 - 91780/(-80)) + (-2)/8?
False
Let r be (1 - -2)/((-4)/(-84)). Let k = r - -4. Is k a multiple of 15?
False
Let w(r) = -32*r - 17. Suppose 0 = -n - 5*g - 17, 2*n + 4*g = n - 15. Let q be w(n). Suppose p = -5*t + q, p + 20 = -t + 59. Is 23 a factor of t?
False
Let g(z) = -3*z**3 - 6*z**2 - 6*z. Let w be (-9)/(-3) + -2 - 5. Let b be g(w). Suppose -7*p = -2*p - b. Is p a multiple of 13?
False
Let q be 0/(4 + -1) + 1 - 9. Let k(a) = 3*a**2 + 19*a + 18. Does 29 divide k(q)?
True
Let i = -390 - -258. Is 5 a factor of (-1 + i)*(-34)/119?
False
Let z(y) = y**3 + 6*y**2 + 5*y + 3. Let o be z(-5). Let c(n) = 7*n**3 + n**2 - 7*n + 3. Is 29 a factor of c(o)?
False
Suppose 51*s - 59*s + 2472 = 0. Is s a multiple of 85?
False
Let c = 21 + -15. Suppose -3*n + 14 = -r, -3*r - 2 = 7*n - 8*n. Suppose 0 = -c*s + 2*s + n*o + 209, 153 = 3*s - 3*o. Does 13 divide s?
False
Let v(x) = x - 11. Let s be v(8). Let l be (5 + -9)/(s + 2). Suppose 5*m + 3*i - 98 = 0, 3*m + l*i + 82 = 6*m. Is 12 a factor of m?
False
Let n = -287 + 705. Is 14 a factor of n?
False
Let t(y) = -7*y - 6. Let i(f) = 8*f + 6. Let u(p) = 6*i(p) + 7*t(p). Is 2 a factor of u(-9)?
False
Let t(r) be the first derivative of -r**2/2 + 2*r - 7. Let a be t(0). Suppose -5*y + 113 + 109 = m, -3*m = -a*y + 99. Does 34 divide y?
False
Suppose -3*f = -5*j - 6 + 14, 4*j - 7 = 3*f. Is 12 a factor of f + (4 - 0) + (97 - -1)?
False
Suppose -3 - 5 = -2*q. Let v(o) = 3*o + 9. Is 5 a factor of v(q)?
False
Let c(h) = -18 + 25*h - 40*h + 38*h. Is c(4) a multiple of 49?
False
Suppose -t + 24 = -5*t. Let z be 52/12 + 8/t. Suppose z*c - 138 = -5*h, 3*h - 94 = -2*c - h. Does 11 divide c?
False
Let c = 1544 - 979. Does 18 divide c?
False
Let f(h) = -4*h - 8. Let w(n) = 11*n + 23. Let s(j) = -8*f(j) - 3*w(j). Let i be -49 + 41 + (-1 - 1). Is s(i) even?
False
Let n = 3268 - 1911. Does 7 divide n?
False
Does 24 divide (12/(-9))/(-4*7/4662)?
False
Let s(w) = 74*w - 16. Let t be s(8). Suppose t = 11*m - 8*m. Does 21 divide m?
False
Let h(p) = p**2 + 21*p - 119. Does 113 divide h(-46)?
False
Let o = -41 + 1973. Is 41 a factor of o?
False
Let f be (3 + -3)/(2/1). Suppose f*z + 6 = 2*c - 2*z, -4*c + 9 = -z. Suppose 7*o + c*u - 100 = 5*o, 2*o = u + 103. Does 20 divide o?
False
Suppose 0 = -2*m - 4, -2*m = -2*o - 2*o - 44. Let a(q) = q**3 + 13*q**2 + 12*q - 16. Let t be a(o). Is 6 a factor of (2 + (t - -2))*-1?
True
Let c be 2/8 + (-225)/(-12). Suppose 653 + c = 3*m. Suppose -5*j = 2*b - m, -b + 4 = b. Does 13 divide j?
False
Suppose 2*q + 182 = 4*v - 2004, 3*q + 2183 = 4*v. Does 137 divide v?
True
Let c(u) = u**3 + u + 9. Let x = -25 + 25. Does 4 divide c(x)?
False
Suppose -2*t = -4*u + 2*t - 4, -2*u - 3*t - 17 = 0. Let n be 261/(-15) + u/(-10). Let c = n - -29. Is 12 a factor of c?
True
Let m be ((4/(-12))/1)/(5/(-30)). Suppose m*b + 8 = 0, -4*u - 5*b + 456 = -3*b. Does 33 divide u?
False
Suppose 7*c = 37 + 12. Is c a multiple of 3?
False
Let z(f) = f**3 + 2*f + 9. Let q be z(-3). Let w(d) = -d**2 - 24*d + 58. Does 35 divide w(q)?
False
Let w(n) = 3*n + 6. Let l = -15 - -24. Does 6 divide w(l)?
False
Suppose -116*a = -103*a - 6045. Is a a multiple of 15?
True
Let p(n) = -n**3 + 7*n**2 + 27*n - 12. Suppose 0 = 2*k - 3 - 13. Is 10 a factor of p(k)?
True
Suppose 4*g = 5*m + 10, -7 - 1 = g + 4*m. Suppose g = 2*x - 4*j - 72 - 216, 5*x + 4*j = 678. Does 10 divide x?
False
Suppose -4 = -3*c + 5*o - 302, c = -2*o - 81. Let j(q) = 2674*q. Let v be j(-3). Is 4/(-26) + v/c a multiple of 15?
False
Is 15 a factor of (-172)/(-774) - (-3632)/18?
False
Let p be (-30)/4*32/(-20). Suppose p = 6*q - 2*q. Is (3 + -1)/(q/45) a multiple of 6?
True
Let m(t) = -374*t + 8 + 197*t + 5. Is 19 a factor of m(-1)?
True
Let f(k) = -k - 6. Let r be f(-13). Suppose -10*w + 45 = -r*w. Is 15 a factor of w?
True
Suppose 0 = s - 6*s - 10. Let y = 15 + s. Is y a multiple of 4?
False
Suppose 4 = -3*c - 4*v, -c - 2*v - 16 = 3*v. Suppose 33 = c*n - 43. Is n a multiple of 4?
False
Suppose l + 0*l = -2*l. Suppose -2*w + 212 = -2*n - l*n, -w + 4*n = -100. Is 18 a factor of w?
True
Let z be (-34)/(-51) + 148/(-6). Let u be (-5 + -2)*z/(-28). Is 12 a factor of (4/u)/((-4)/222)?
False
Let y(b) = -5*b**2 + b - 46. Let t = -9 + 12. Let n(j) = 4*j**2 - j + 46. Let k(x) = t*y(x) + 4*n(x). Does 13 divide k(0)?
False
Suppose -3*z = -304 - 2246. Does 17 divide z?
True
Let s(k) = 17*k**2 + 5*k + 21. Is s(-4) a multiple of 21?
True
Suppose 8*c - 12*c = -44. Suppose 3*w = -5*o + c, 3*o + 63 = w + 3*w. Is 28/2 + (w - 13) a multiple of 7?
False
Suppose -4*k = 5*l - 22, -6*l + 2*k = -2*l - 28. Suppose -4*h = 5*f - 242, -f - 2*f + l = 0. Is h a multiple of 29?
True
Let b(k) = 25*k - 18. Let g be b(17). Suppose 3*w = 3*o - o - g, 3*w - o = -406. Let u = 201 + w. Is u a multiple of 11?
True
Let l be (18/(-4))/((-30)/200). Suppose 5*k - 95 = -l. Does 12 divide k?
False
Suppose 0 = -0*c + c + 5*b - 37, 2*b