e
Let b(g) be the first derivative of -g**4/4 - 7*g**3/3 - 7*g**2/2 - 3*g + 3. Let t be b(-6). Suppose 88 = 2*q - t*k, 2*q = -3*k - k + 88. Is 22 a factor of q?
True
Let g(m) be the second derivative of m**4/12 + m**3/6 - m**2 - 3*m. Is g(3) a multiple of 5?
True
Let v(d) = d**2 - 3*d + 13. Does 20 divide v(-4)?
False
Let j(s) = 4*s**2 + 4*s + 5. Let l be j(-4). Suppose -2*k + l = -5*m - 215, 4*k + 2*m = 536. Suppose 46 - k = -4*h. Is 22 a factor of h?
True
Suppose 5*w - 378 = -3*t, -3*w + 246 = -0*w - 3*t. Is w a multiple of 13?
True
Suppose 5*v - 5*i = -0*v + 3180, -3*v - 2*i = -1898. Suppose -v = -5*m + 4*w, w = 3*m - 3*w - 374. Suppose -2*z + 78 = 3*x + z, 5*x - m = 2*z. Does 13 divide x?
True
Let r be -1*(-2 + 1) + 4. Suppose -3*l = -4*l - 9. Let t = r - l. Is 7 a factor of t?
True
Let b(w) = 2 - 1 + 51*w**2 + 0. Is b(-1) a multiple of 13?
True
Suppose d - 15 = -5*i, -d + 4 = 3*i - 7. Suppose 4*t - t - 74 = -2*r, i*t = -2*r + 70. Does 12 divide r?
False
Let d = 58 + -34. Let x = 81 - d. Is x a multiple of 13?
False
Let c = 83 + -64. Does 8 divide c?
False
Let o(k) = 35*k - 40. Is o(6) a multiple of 54?
False
Let h(r) = 2*r**2 + 3*r - 4. Let j be h(-3). Suppose 0 = -n + j*n - 32. Does 2 divide n?
True
Suppose g - 6*g + 70 = 0. Suppose 17*w - g*w - 18 = 0. Is w even?
True
Suppose -6*y + u = -y + 4, 0 = 3*y + 3*u + 6. Let x be (-2 - y)/(1/(-3)). Suppose x*a + 2*a + 5*p = 115, 0 = 4*a - 4*p - 100. Is 8 a factor of a?
True
Is 41 a factor of (-2 + (2 - 3))/(6/(-328))?
True
Is (-20 + -45)/(-1 - 0) a multiple of 21?
False
Let n(g) = -g - 1. Let z be n(-8). Let p(j) = -3*j + 7. Let w be p(-6). Let q = w - z. Does 6 divide q?
True
Suppose 291 = 4*k - 109. Let c be -1 + 2 + k + -3. Suppose 14 - c = -2*p. Does 15 divide p?
False
Suppose 0*y = 3*y. Suppose -30 = -5*o - y*o. Is o a multiple of 2?
True
Let j(l) = -l**3 + 10*l**2 + 3. Let y be j(10). Suppose -2*s + 39 = y. Is s a multiple of 5?
False
Let z = -3 + 8. Suppose -z*p = 2*s - 27, 3*s + 2*p - 1 = 45. Does 13 divide s?
False
Suppose -2*w - 2*w + 32 = 3*g, -3*g + 7 = -w. Suppose -w*j + 41 = -124. Is 24 a factor of j?
False
Suppose 2 = -3*u + 14. Let b be (10/u - 2)*10. Suppose h - 125 = -b*l, 2*h - h + 5 = 0. Is 19 a factor of l?
False
Let u = -13 - -13. Suppose u = -2*n - 2*n + 28. Is n even?
False
Is ((-10)/(-25))/(2/980) a multiple of 29?
False
Suppose -294 - 2 = -4*v. Let u = 141 - v. Is u a multiple of 23?
False
Suppose -2*j = -2*y + 4, 0*y - 4*y - 3*j + 29 = 0. Does 3 divide y?
False
Suppose 0*u + 12 = -4*u. Let a = u - -19. Let m = a + -9. Does 7 divide m?
True
Let r(o) = o**2 - o + 33. Is r(0) a multiple of 7?
False
Let q be ((-1)/2)/(4/112). Let s = 30 + q. Does 7 divide s?
False
Let x = 12 + -5. Suppose 3*v = 4*w + 3, v - 1 - x = -w. Is (-20)/(w/(-3)) - 1 a multiple of 8?
False
Suppose 0*h = -b - 3*h + 17, 5*b - 3*h = 85. Does 5 divide b?
False
Let g(f) be the first derivative of 1/4*f**4 + 3*f + 7/3*f**3 + 1 + f**2. Is 8 a factor of g(-6)?
False
Let h(g) = -g**2 - 6*g + 9. Let d be h(-7). Suppose 6*q = -3*a + 3*q + 108, 0 = -d*a - 4*q + 68. Is a a multiple of 13?
False
Let n(u) = u**3 - 2*u**2 - 5*u - 6. Is n(5) a multiple of 11?
True
Let x(v) = -v**2 + 5*v - 1. Let n be x(4). Suppose g - 132 = -0*g - q, n*g = -2*q + 396. Let j = -88 + g. Is 12 a factor of j?
False
Let j = 429 + -246. Is j a multiple of 12?
False
Let b(w) = -w - 2. Let n be b(-1). Let o(s) = 64*s**3 - s**2 - s - 1. Let c be o(n). Let i = 99 + c. Is 9 a factor of i?
False
Suppose -3 = -2*d + 5. Suppose 2*s - 2 = -0*s, 0 = g + s - d. Suppose -g*k - 24 = -84. Does 6 divide k?
False
Let z(o) = -o**2 - 5*o + 4. Let i be z(-5). Suppose 19 - 83 = -i*t. Does 8 divide t?
True
Let o = 0 + 0. Let c = 2 - o. Suppose 17 = s + 3*d + c, 0 = -5*s - 5*d + 45. Does 6 divide s?
True
Let g(s) = -s**3 + 13*s**2 - 11*s + 4. Is g(12) a multiple of 2?
True
Let h(o) = -o. Let g be h(-4). Suppose 3*s - 2*u = 22, 3*s - g*u - 3 - 23 = 0. Is s a multiple of 6?
True
Let f(i) = -i**2 + 0 + 6 + 5*i**2 - 4*i. Is f(4) a multiple of 27?
True
Let l(f) = 2*f**3 - 11*f**2 - 3*f + 1. Let u(m) = -5*m**3 + 2 + 7*m**3 - 23*m**2 + 3*m**3 - 5*m. Let n(b) = -7*l(b) + 3*u(b). Is n(-7) a multiple of 3?
True
Suppose v = -0*v + 18. Suppose -5*b + v = 3. Suppose 102 = -0*n + b*n. Does 19 divide n?
False
Let m be 1/(-5) + 31/5. Is 4 a factor of (4/m)/(4/30)?
False
Suppose 13 = 4*y + 5. Suppose 2*k - 10 = 5*h, -h + 9 = y*k - 1. Suppose h = 2*j + j - 18. Does 3 divide j?
True
Let f(z) = -22*z + 18. Does 13 divide f(-5)?
False
Let h(d) = d**3 - 10*d**2 + 9*d + 2. Is h(9) even?
True
Let y(s) = 30*s - 3. Let x be y(-3). Let q = x - -133. Does 20 divide q?
True
Suppose 0 = x + j - 7, -7*j = 4*x - 4*j - 31. Suppose 2*m - 26 = x. Does 5 divide m?
False
Let i = -97 + 155. Is i a multiple of 5?
False
Suppose -6*x + p = -x - 25, 2*p = -4*x + 34. Is (-505)/(-15) - 4/x a multiple of 16?
False
Suppose -178 = -7*g - 10. Is g a multiple of 6?
True
Let g be (8/10)/(8/460). Let v = -31 + g. Is 5 a factor of v?
True
Suppose v + 38 = 176. Suppose -o - 2*o = -v. Is o a multiple of 16?
False
Suppose 4*u = 9 + 27. Suppose -155 = 4*z + u. Is 5 a factor of 3/(-12) + z/(-4)?
True
Let s = 18 + -13. Is (s*2)/((-2)/(-8)) a multiple of 14?
False
Suppose -4*c + 5*n = 1 + 27, -4*c - 4*n + 8 = 0. Let w be 3*c/(-6) + 25. Suppose 2 = o - w. Is o a multiple of 14?
True
Let y(u) = u**3 + 10*u**2 + 12*u + 34. Is 33 a factor of y(-8)?
True
Let o be 2 - (2 + -16 - 0). Suppose 0 = -0*h - 3*h + 138. Let v = h - o. Is 15 a factor of v?
True
Suppose 0 = f - 5*d - 218, d = f + 4*f - 994. Is f a multiple of 34?
False
Let i(d) = -d - 8. Let f be i(-13). Suppose -f*s = 2*s - 77. Is 3 a factor of s?
False
Suppose -6*q + 3*q - 18 = 0. Let x(a) = a + 8. Let v be x(q). Is (v - -34)/((-3)/(-2)) a multiple of 12?
True
Let k(z) be the third derivative of z**4/24 - 2*z**3 - z**2. Let x be k(6). Is 3 a factor of (-18)/(-5) + x/(-15)?
False
Let j(f) = 3*f + 1. Is 16 a factor of j(5)?
True
Suppose 2*l = -0 + 34. Does 9 divide l?
False
Suppose r - 66 = -a - 16, -4*r = 3*a - 202. Is 26 a factor of r?
True
Let y(u) = -u**2 - 10*u - 7. Let k(h) = h**3 - 6*h**2 - h - 3. Let s be k(6). Let m be y(s). Suppose -w = m*w - 60. Is 13 a factor of w?
False
Let g = 11 + 21. Let x = g - 14. Is x a multiple of 6?
True
Suppose -4*d + 196 = -2*d. Suppose -d - 58 = -4*n. Does 13 divide n?
True
Let f(y) = -28*y - 1. Is f(-3) a multiple of 12?
False
Let k be 0 + -1 + (0 - -4). Suppose 29 = k*w + 2*s, 2*w - 2*s = 7 - 1. Does 6 divide w?
False
Let v(i) = 10*i**3 - 15*i**2 - 2*i. Let n(y) = 5*y**3 - 7*y**2 - y. Let p(g) = 13*n(g) - 6*v(g). Does 17 divide p(2)?
True
Let m(c) = -16*c - 1. Let f be m(-2). Is 10 a factor of f + (3 - 5)*-1?
False
Let y(z) be the third derivative of 43*z**5/60 + 2*z**2. Is 12 a factor of y(-1)?
False
Suppose 0 = -6*g + 27 + 177. Does 3 divide g?
False
Let d = -7 - -10. Suppose 0 = -4*p + 20. Suppose -4*i = -p*q - 67, -5*q - 13 = d*i - 4*i. Does 9 divide i?
True
Suppose -4*q + 2 = -2*p - 0*p, -2*q + 11 = p. Suppose q*u - 41 = -w, -3*w + 8 = w. Does 6 divide u?
False
Suppose -5*q + 4*x = 46, 20 = -5*q - 4*x + 6. Let w = 19 + q. Let b = -6 + w. Is 2 a factor of b?
False
Let l = -24 - -52. Let o = 91 - l. Is o a multiple of 17?
False
Let v be 1/2 - 15/2. Let w(f) = -4*f - 2. Is w(v) a multiple of 13?
True
Suppose 3 = -0*f + f. Suppose -5*d - 2*c + 5 = 0, -7*d + f*d + 27 = -3*c. Suppose 4*g - 3*r = 0, d*g + 35 = 8*g + 5*r. Does 2 divide g?
False
Let y = 13 + -7. Let g = 3 - y. Let l = 8 + g. Is l a multiple of 5?
True
Let o = -4 - -10. Let b(u) = -u**3 + 5*u**2 + 3*u - 6. Let m(c) = -c**3 + 5*c**2 + 3*c - 7. Let v(j) = -3*b(j) + 2*m(j). Is 8 a factor of v(o)?
False
Let l be 2*(0 - (-3)/(-6)). Does 19 divide (-36)/(-1) - l - -1?
True
Suppose f - 25 = -5*v, 0 = -2*f + 2*v - 6*v + 26. Suppose 2*p - s - 2*s = 135, -5*p - 3*s = -285. Suppose -p = -f*g + 3*g. Is g a multiple of 15?
True
Let c be 1/(0 - (-3)/12). Suppose c*d + 36 = 176. Let h = d + -24. Does 4 divide h?
False
Suppose i = 3*s - 194, 3*s + i - 200 = -4*i. Suppose 7*q - 2*q - s = 0. Is 13 a factor of q?
True
Let h = 110 + -70. Is h a multiple of 2?
True
Suppose 3*a - i = -6*i + 65, -4*a + 102 = -i. Does 15 divide a?
False
Let c(j) = -j**3 + 7*j**2 - 6*j + 1. Let m b