vative of z**5/60 - 5*z**4/24 - 5*z**3/3 + 2*z**2. Let b be s(-7). Let k = b + -48. Is k a multiple of 9?
False
Let d = 13 + -12. Suppose -17 - d = -2*b. Does 4 divide b?
False
Suppose 0*q - 2 = -q. Let v(f) = 2*f**2 - 2. Let l be v(q). Is 14 a factor of l/(-9)*3 + 24?
False
Let j = 8 + -5. Does 15 divide j - 1*(-2 + -14)?
False
Let k be -4 - 94/((-8)/(-4)). Let v = 129 + k. Is 29 a factor of v?
False
Let g = -113 + 194. Does 27 divide g?
True
Let z = 37 + -17. Is z a multiple of 7?
False
Let b(m) = 25*m**2 + m + 1. Let d be b(-1). Suppose -z = 4*z + 5*t + 5, 5*t = -d. Is z a multiple of 3?
False
Suppose -p - 2*b + 10 = -0*p, 20 = p + 4*b. Suppose o + p*j = -4*j + 38, 2*j = 4. Is o a multiple of 22?
False
Suppose 4*l + 9 - 113 = 0. Suppose -5*f = 4*o + 3 + 3, 2*f = -3*o - 8. Suppose l = 5*c + 4*v - v, 0 = 3*c - f*v - 8. Does 3 divide c?
False
Let j(d) = -d**2 - d + 3. Let x be j(0). Suppose 4*p - 17 = -n - 72, 25 = -x*p - 4*n. Does 5 divide 23/5 - 6/p?
True
Let t(q) = -q + 7. Let f be t(4). Suppose 2*l + 3*a = 0, 0*a - 16 = -4*l - 2*a. Suppose -f*j - 81 = -l*j + 3*r, 4*j + r - 103 = 0. Is j a multiple of 13?
True
Is 0 + (-4)/(-12) + (-83)/(-3) a multiple of 13?
False
Let z(d) = d**3 + 10*d**2 - 3*d - 15. Let q be (-40)/(-2)*(-5)/10. Is z(q) a multiple of 5?
True
Let r be 8 + (0 - -3)/(-1). Is (1 - r)/(-2)*26 a multiple of 23?
False
Let x(g) = -2*g**3 - g**2 + g + 1. Let d be x(-2). Suppose -4*o + f = -112, 4*f + d = 2*o - 31. Is 11 a factor of o?
False
Let f(s) be the second derivative of 4*s**4/3 + s**3/6 + s**2/2 - 3*s. Is f(-1) a multiple of 8?
True
Does 10 divide (-170)/25*15/(-6)?
False
Let j(b) = 7*b**2 + b - 1. Let u be j(1). Let i = u - 5. Suppose 5*w + 3 = 2*m, -i*m - 4*w = -5*m + 22. Is m a multiple of 7?
True
Suppose 0 = -2*g - 3*x, 2*g = -5*x - 2 + 6. Let a = -1 - g. Let b(c) = 2*c**2 + 1. Is b(a) a multiple of 6?
False
Suppose 86 = -4*t - 2*v, 0 = 4*v - v - 15. Let y(u) = -7*u - 3. Let i be y(-6). Let b = t + i. Is b a multiple of 15?
True
Let o = -9 - -119. Is o a multiple of 22?
True
Let l(j) = -j**2 + 2*j - 10. Let p be l(11). Let z = p - -192. Is 19 a factor of z?
False
Is 25 a factor of (-66 + -1)/(8 - 9)?
False
Let f(r) = -2*r - 2*r + 15*r + 9*r. Let c be f(-1). Let x = c - -40. Is 10 a factor of x?
True
Let q(v) = -4*v - 5. Let r(i) = -9*i - 9. Let d(g) = -7*q(g) + 3*r(g). Let w be d(-5). Suppose 104 = -w*t + 5*t. Is t a multiple of 29?
False
Let z be (-1)/(((-3)/2)/3). Suppose -q + z*g = -6*q + 94, 3*q - 4*g = 72. Is 6 a factor of q?
False
Let x(u) = u**3 + 16*u**2 - 23*u - 10. Does 23 divide x(-17)?
True
Let t(b) = b**2 + b + 121. Does 16 divide t(0)?
False
Let v = 11 - 7. Let g(o) = o**2 - 2*o - 2. Is g(v) a multiple of 6?
True
Suppose 6 = 4*f - 2. Let r(m) = -m**2 + 2*m + m + 9*m + f*m - 15. Is r(10) a multiple of 13?
False
Let h(v) = v**2 + 4*v - 3. Is 6 a factor of h(3)?
True
Let g(o) = o**3 + 6*o**2 + 4*o + 1. Suppose -4*x + 9 - 29 = 0. Is 3 a factor of g(x)?
True
Let i(v) = 2*v**2 + 12*v - 1. Does 2 divide i(-7)?
False
Suppose -v = 3*x - 8, 5*x + 9 = -4*v + 20. Suppose 0 = -j + x*j - 2. Is 6*j/((-9)/(-12)) a multiple of 3?
False
Suppose -v = -5*f + 2*f - 13, 0 = 5*v + 5*f - 5. Suppose 0 = -5*b + v*b + 32. Is 16 a factor of b?
True
Let h(p) = -8*p - 8. Let i = -20 + 8. Let m be (7/14)/(1/i). Does 20 divide h(m)?
True
Let p = 1 - -1. Suppose -5*r + 9 = -p*t + t, 3*r + 3*t = -9. Let u(w) = 24*w**3 + w**2 - w + 1. Does 9 divide u(r)?
False
Let d(i) = 4 + 1 - 5*i + i + i**2. Let p be d(6). Suppose 5*b = 4*g - p, -2*g + 5*b = g - 9. Is 4 a factor of g?
True
Let y(t) = -t**2 + t + 38. Is y(0) a multiple of 16?
False
Let k(v) = 2*v**3 + 2*v - 1. Let s be k(1). Let f = 68 + -17. Suppose -3*u - z = -57, -2*u + s*z - f = -5*u. Is 8 a factor of u?
False
Let o = 7 + -5. Does 5 divide (1 + o)*17/3?
False
Suppose 2*d = -b + 113, b + b + 44 = d. Let s = d + -26. Does 14 divide s?
True
Suppose 4*a = -7*a + 748. Does 36 divide a?
False
Suppose -4*k + 49 = -3*o, k - 10 - 6 = 2*o. Suppose -3*y + k = -92. Is 6 a factor of y?
False
Let d be 20/(-6)*9/(-6). Suppose -d*t - 4 = -29. Suppose 4*r = -t*p + 15 + 95, 0 = 4*p + 2*r - 82. Is p a multiple of 18?
True
Suppose -13*z = -15*z + 120. Is z a multiple of 53?
False
Let n(d) = -2 + 3 - 3*d + 2*d. Let v be n(-2). Suppose m = -j - 0*j + 9, 21 = 3*m - v*j. Is m a multiple of 3?
False
Let l(w) = w**2 - 2. Let r be l(-2). Suppose 0 = -0*p - r*p + 60. Does 10 divide p?
True
Suppose 4*p - 127 = p + s, 3*s = 4*p - 171. Does 21 divide p?
True
Suppose -5*i - 3 = 4*w - 1, 11 = 4*i - w. Suppose 2*z - 4 = -0*z - l, i*l = -5*z + 9. Let o(g) = 18*g**3 - g**2 + 2*g - 1. Is o(z) a multiple of 6?
True
Let y(c) be the third derivative of c**4/4 + 4*c**3/3 + 3*c**2. Is y(4) a multiple of 16?
True
Is 2 a factor of -3 - (-3 + -2) - -4?
True
Suppose 3*z - 23 - 19 = 0. Suppose -5*w + z = 3*i, -3*w - 28 = -i - 0. Is 13 a factor of i?
True
Suppose -7 = -o - 4. Suppose -h - o*h = -120. Is 15 a factor of h?
True
Suppose -n - 3*n = 4*c - 4, 0 = -c - 3*n - 5. Suppose 2*x = -2*p + 8, 3*x - 2 - 3 = c*p. Does 3 divide x?
True
Let x = 68 - -12. Let q = x + -53. Is 23 a factor of q?
False
Let s = -22 + 55. Let z = s + -16. Is z a multiple of 4?
False
Let h = 10 - 14. Let i be h/(-6)*72/16. Does 9 divide (-3)/((3/(-7))/i)?
False
Suppose 0 = 3*a + 5*y - 29 - 109, 3*y = 2*a - 92. Suppose d = -x + 5*x + a, 5*d = x + 154. Is 15 a factor of d?
True
Suppose 9*o = 5*o + 312. Does 16 divide o?
False
Suppose -3*t - t - 1116 = 0. Let k = -178 - t. Suppose -4*h = -2*b + 44, -5*b + b + k = 5*h. Is b a multiple of 11?
False
Let o(f) = f - 1 + 3*f + 3*f. Let g(q) = -q**3 - 8*q**2 - 6*q + 9. Let c be g(-7). Is o(c) a multiple of 13?
True
Let s = -1 + 6. Suppose s = 3*i - 4. Suppose i*u - 48 = 18. Does 10 divide u?
False
Let w = 27 + 0. Is 9 a factor of w?
True
Suppose 2*f + 75 = 5*f. Let n = 8 + f. Is n a multiple of 11?
True
Let y = -45 + 133. Does 11 divide y?
True
Suppose 0 = -2*h - 4, 4*o - 196 = 2*o - 2*h. Suppose 0 = m - 5*y + 4 - 34, 3*m + y - 10 = 0. Suppose 90 + o = m*l. Is 15 a factor of l?
False
Let h be (2 - 2)*(0 - 1). Let d(c) be the first derivative of -c**3/3 + c**2/2 + 12*c + 1. Is d(h) a multiple of 5?
False
Suppose -j + 0*q + q + 7 = 0, q = -5*j + 11. Suppose 2*n = -n + 3*b + 66, -n + 30 = -j*b. Is 6 a factor of n?
True
Suppose u + 39 = -34. Let y = -25 - u. Does 16 divide y?
True
Suppose 2*x + 6 = -4*c, 7*c - 2*c = -4*x - 3. Suppose -2*y - 5*w + 124 = 0, 2*y - w = x + 133. Does 14 divide y?
False
Let l = -4 + 5. Let c = l + 23. Is c a multiple of 12?
True
Suppose 2*i + 63 = 3*o + 5*i, 39 = 2*o - i. Is 15 a factor of o/(-6)*(-18)/4?
True
Is -2*((-234)/4 + 2) a multiple of 12?
False
Is 37 a factor of -1*(-222)/(-4)*8/(-12)?
True
Let u(x) = -10*x - 14. Is 17 a factor of u(-6)?
False
Let u(b) = -2*b - 5. Let w be u(-5). Let f(y) = -y**3 + 11*y**2 - 2*y - 5 - 5*y**2 + 0*y + 0*y. Is 5 a factor of f(w)?
True
Let q(u) = u**3 - u + 44. Is q(0) a multiple of 5?
False
Suppose -5*h + 0*h = -295. Does 2 divide h?
False
Suppose -4 - 16 = -4*h. Suppose -s = 2*s - h*i + 8, -3*s - 5*i = -32. Suppose -3 = z + 2*v, z - s*v - 30 + 9 = 0. Does 2 divide z?
False
Suppose 31 = -0*y + y + b, 0 = 2*y - 2*b - 54. Does 29 divide y?
True
Let u(d) = d**2 + 8*d - 9. Let c be u(-9). Suppose -a + c*a + 66 = 0. Is 22 a factor of a?
True
Let r be (-2)/4 + (-255)/(-6). Let i = r - 4. Is 12 a factor of i?
False
Let n(s) = s + 8. Let g(k) = k + 7. Let c(i) = 3*g(i) - 2*n(i). Let r be -2 - (-1 - 0) - -1. Is c(r) even?
False
Let b(m) = -m**2 - 4*m + 2. Let n be b(-3). Suppose 3*g - 569 = n*o, 3*g - 4*g + 227 = -2*o. Does 6 divide 5/15 + o/(-6)?
False
Suppose -2*a - 2*a + 12 = 0. Suppose -2*x - 210 = a*x. Let z = 72 + x. Is 15 a factor of z?
True
Suppose 3*u - 3*c + 4 = -5, 4*u + 17 = 5*c. Suppose f - u*d = 3*f, -f + 2*d = 0. Suppose f = -3*w + 24. Does 4 divide w?
True
Let c(a) = -14*a + 8. Does 8 divide c(-3)?
False
Let t = 35 - -25. Is t a multiple of 6?
True
Let y = -1 - -3. Suppose 2*w - 25 - 9 = -4*p, 0 = -4*w + y*p + 18. Is 7 a factor of w?
True
Suppose -19 = -2*p - 5*n, -2*n + 2 = -3*p + p. Suppose -4*j + p*j = -88. Does 15 divide j?
False
Let v = -97 - -19. Let k(x) = 2*x**3 + 8*x**2 - 6*x - 2. Let a be k(-6). Let m = v - a. Is m a multiple of 16?