 d a multiple of 4?
False
Let k(z) be the third derivative of -z**6/120 + 3*z**5/20 + z**4/24 + 5*z**3/6 + z**2. Let v be ((-2)/(-1))/(10/45). Does 4 divide k(v)?
False
Let d = 2 - 3. Let q = 4 + d. Suppose -8*y + 150 = -q*y. Does 12 divide y?
False
Let z be 2 - (12/(-4) + 0). Suppose 34 = n - z*r, n + 2*n - 5*r = 132. Is n a multiple of 12?
False
Suppose p = -5*v + 6*p - 10, v - 18 = -4*p. Let k(n) be the second derivative of 3*n**5/20 - n**4/12 + n**3/6 + n**2 + 2*n. Is k(v) a multiple of 12?
True
Let z(k) = 2*k**2 + 16*k - 7. Let n(j) = -j**2 - 8*j + 4. Let d(w) = 5*n(w) + 3*z(w). Let a be d(-6). Let i = -8 - a. Is 4 a factor of i?
False
Let y = -4 + 9. Suppose 3*f - 2*f - 3*r = -2, -y*f + 10 = -5*r. Suppose 2*j + f*a = 0, -2 = -0*j - 2*j - 3*a. Is j even?
True
Let t be (5/15)/(1/21). Let w = t + -4. Suppose 4*c = w*c + 20. Is c a multiple of 11?
False
Let f = 14 - -4. Does 3 divide f?
True
Let k(l) = 5*l**2 + 5*l + 5. Suppose 0 = -8*x + 3*x - 25. Let v be k(x). Suppose 3*r + 0*r = v. Is r a multiple of 14?
False
Is (-3)/6 - (-222)/12 a multiple of 3?
True
Let t = 19 + -16. Suppose 0 = -5*g - i + t + 84, -4*i - 77 = -5*g. Is g a multiple of 5?
False
Let w(s) = -s - 1. Let q be -1 - (0 + 3*-1). Let y be w(q). Does 9 divide 1/(2/(-6))*y?
True
Let p(n) = -n**3 + 6*n**2 + 2*n - 8. Let k be p(6). Suppose 3*t - 3*z - 13 = -k, -z + 17 = 4*t. Suppose t*j - 28 = 2*j. Is j a multiple of 14?
True
Is 268/7 + 180/(-42) + 4 a multiple of 38?
True
Let z = -222 + 314. Is z a multiple of 28?
False
Let g(z) be the first derivative of z**4/4 - z**3 + 3*z**2/2 + 2. Let k be g(2). Suppose 42 = s + k*s. Is s a multiple of 9?
False
Is (-14)/(6/36 + 62/(-228)) a multiple of 43?
False
Suppose -x - 3*x + 124 = 0. Suppose -s = 5*y - 36, -2*s = -y - 8 - x. Is s a multiple of 13?
False
Suppose 6*w = 163 - 7. Is w a multiple of 26?
True
Suppose -5 + 1 = -w - 3*k, -4*w - 2*k - 4 = 0. Is w/(-9) + (-568)/(-36) a multiple of 6?
False
Suppose 4*f = 492 - 128. Does 13 divide f?
True
Let m = -15 + 21. Suppose -m*h = 3*t - 2*h - 100, 33 = t + h. Does 16 divide t?
True
Suppose 6*m - 16 = 2*m. Suppose m*b = -12, 2*n - n + 11 = -5*b. Suppose -3*x + 43 = 5*p, -n = -x - 2*p + 12. Is x a multiple of 3?
True
Let a(b) = 6*b**2 - b. Let n be a(1). Suppose -17 - 18 = -n*d. Does 4 divide d?
False
Let k be (-16)/(-12)*(-81)/(-3). Does 3 divide (-12)/k - (-74)/6?
True
Suppose 0 = -v - 4*r + 204, -2*v - 5*r = -5*v + 561. Suppose -3*f - f = -v. Does 24 divide f?
True
Let r = 281 + -8. Is 13 a factor of r?
True
Let v = -37 - -107. Is 32 a factor of v?
False
Let z be 6/12*2*1. Does 6 divide z/3*3*15?
False
Let n(r) = r - 4. Let m be n(4). Suppose -2*h = -m*h - 10. Suppose -11 = -h*z + 124. Is z a multiple of 10?
False
Let p(z) = -z**3 - 5*z**2 - 4*z - 1. Let b be p(-4). Let x(r) = -1. Let d(i) = -i - 4. Let s(m) = b*d(m) + 2*x(m). Is 5 a factor of s(8)?
True
Suppose -2*g + g + 2 = 0. Suppose g*z + 180 = 7*z. Is 18 a factor of z?
True
Let a be 6/2 - 1 - 0. Suppose -140 - 28 = -2*q + a*i, 3*q - 5*i - 256 = 0. Is q a multiple of 34?
False
Is (0 - 3 - -27)/1 + 0 a multiple of 4?
True
Let d be (2/2 - -4)*33. Let a be (-1*1)/((-5)/d). Suppose 2*w = -w + a. Is 10 a factor of w?
False
Let w(i) = -i + 6. Let a be w(11). Is 5 a factor of (-73)/a + 2/5?
True
Let w be (2/(-4))/((-3)/12). Suppose -w*h + 76 = 16. Is h a multiple of 11?
False
Let h = 65 + -92. Let b be (-45)/9*32/10. Let u = b - h. Is 8 a factor of u?
False
Let r(y) = 4*y - 20. Is r(12) a multiple of 7?
True
Suppose 5*g - 27 = 93. Is g a multiple of 8?
True
Let l be (5/(-3))/((-4)/12). Suppose 4*q - 7*r = -3*r + 52, -l*q + 95 = 5*r. Suppose q = j + 2. Is j a multiple of 14?
True
Let n(y) = y**3 + 16*y**2 + 12*y - 9. Is n(-15) a multiple of 18?
True
Suppose 2*p - 7*p - 60 = 0. Is 5 a factor of (-10)/(-2*(-4)/p)?
True
Let i(v) = 11*v**2 + v + 4. Let t be i(4). Suppose 4*z = -w + 40, -3*w = w + 4*z - t. Does 13 divide w?
False
Suppose 5*d - 2*d - 20 = -u, 4*d - 3*u = 31. Let p be 1/2 - 7/(-2). Suppose p*y - 1 = d, 2*j - y = 2. Is j a multiple of 2?
True
Suppose -8*f = -4*f + 280. Let y = -25 - f. Is 9 a factor of y?
True
Suppose -10*w = -16*w + 1488. Is w a multiple of 23?
False
Suppose -2 - 2 = -n + y, 3*n - 2 = y. Let w be (n + 0)/(3/(-249)). Suppose l = 3*v - 8 - w, l - 89 = -3*v. Is 13 a factor of v?
False
Let z = 38 + -21. Let f = -1 + z. Is 8 a factor of f?
True
Suppose 1637 = 7*p - 1492. Is p a multiple of 17?
False
Let s = 2 + -2. Let t be (-6)/((s + -1)*2). Suppose t*k - 15 - 9 = 0. Is 8 a factor of k?
True
Let y(n) = 2*n - 1. Let x be y(2). Suppose 140 = 5*l - v + x*v, -4*v = -20. Is l a multiple of 18?
False
Suppose 0 = -d - 0*d - 18. Let c = d - -54. Is 18 a factor of c?
True
Suppose x + 1 = 4. Suppose x*b = b. Suppose 2*z - 5*j + 1 = b, -2*z + 19 = 4*j - 25. Is z a multiple of 12?
True
Suppose -1 = -o + 1. Let f(u) = u + u + 0*u + o*u**3 - u**2. Does 16 divide f(2)?
True
Is 11 a factor of 322/8 + 7/(-28)?
False
Let o(z) = -9*z - 2. Let g(x) = -3*x**2 + x - 1. Let r be (-2)/(-4) + (-1)/(-2). Let d be g(r). Is o(d) a multiple of 7?
False
Suppose 4*j - 2*v = 10, 5*j + 0*v = -3*v - 15. Suppose 4*o = 80 - j. Is 20 a factor of o?
True
Suppose 19 = 5*w - 2*n + n, 2*w - 5 = 3*n. Suppose w*u + 51 = 5*x - 34, 0 = -2*x - 2*u + 16. Does 7 divide x?
False
Suppose 63 + 36 = 3*v. Is 13 a factor of 6/v - 141/(-11)?
True
Let j be -1 + 0 + 0 + 4. Let c(h) = 5*h + 3. Let g be c(j). Let z = g + 40. Does 20 divide z?
False
Let c be 7*(2 + (4 - -1)). Suppose 6*q - 4*g - 8 = 2*q, -16 = 2*q + 3*g. Does 13 divide 1 + (1 - c)/q?
False
Let z = -610 + 870. Is 52 a factor of z?
True
Let x = 38 + -34. Let p = 12 - 2. Suppose -x*b + 30 + p = 0. Does 10 divide b?
True
Is 28 a factor of 4/(-18) - (-1778)/63?
True
Suppose 19*r = 16*r + 6. Suppose -r*k = -113 - 27. Is 30 a factor of k?
False
Suppose 0 = -5*x + 14 + 26. Let w = x + 4. Is 8 a factor of w?
False
Let j(n) = n**3 + 7*n**2 + 11*n + 9. Does 2 divide j(-4)?
False
Suppose -a - 3*a + 48 = 0. Let c(j) = -j - 2. Let b be c(-4). Suppose b*s = 3*s - a. Does 6 divide s?
True
Let h be (-7)/28 + 17/4. Suppose h*f - f - 165 = 0. Does 16 divide f?
False
Suppose -3*w - 2*o + 960 = w, 0 = w - o - 240. Is w a multiple of 30?
True
Suppose 0 = r - 2*r. Suppose 0 = -r*h - 4*h + 212. Is h a multiple of 19?
False
Let u = 199 - 149. Is u a multiple of 5?
True
Suppose 0 = -t + 3. Suppose 3*d = -3*n + t, -d - 5*n = 9 - 30. Is (-10)/d*8/5 a multiple of 4?
True
Let t be ((-4)/(-5))/((-8)/(-20)). Suppose -t*l = -16 - 4. Is l a multiple of 5?
True
Let n(s) = s**2 - 15*s + 2. Let t be n(15). Let a = 6 - 3. Suppose t*u - 140 = -a*u. Is u a multiple of 15?
False
Suppose 2*w - 2 = 0, -6*o + 4*o - 2 = 4*w. Let d(x) = 6*x - 2. Let s be d(2). Let y = o + s. Is y a multiple of 2?
False
Let u(p) = 6*p**2 + 50*p + 25. Let w(f) = -4*f**2 - 33*f - 17. Let v(x) = 2*x + 10. Let r be v(-9). Let a(o) = r*w(o) - 5*u(o). Does 21 divide a(-9)?
False
Let a = 89 - -67. Is 18 a factor of a?
False
Suppose -31 + 81 = -v. Let i(b) = -b**2 + 5*b + 2. Let d be i(6). Is v/d*6/5 a multiple of 15?
True
Let g(p) = -p**3 + 8*p**2 + 7*p + 6. Is 16 a factor of g(8)?
False
Let i be 54/(-10) - 14/(-35). Let s = i - -43. Is s a multiple of 12?
False
Let u = 41 + 35. Is 18 a factor of u?
False
Let w(c) = -c - 34. Let g(h) = 6. Let p(v) = 34*g(v) + 6*w(v). Is p(-4) a multiple of 12?
True
Let c(q) = 9*q + 55. Let r(l) = 2*l + 11. Let a(s) = 2*c(s) - 11*r(s). Does 11 divide a(-8)?
False
Let z = 17 + 9. Suppose -2*x = -x - z. Is 12 a factor of x?
False
Let d(a) = -2*a - 5. Let b be d(-5). Suppose -b*c + 399 = 2*m, c + 0*c - 93 = 4*m. Suppose -5*i = -3*v + 108, -v - 2*v - 4*i = -c. Does 14 divide v?
False
Suppose -4*a + a + 19 = -j, j = 2*a - 14. Suppose 2*b = a*b - 39. Does 4 divide b?
False
Suppose -2*p + 2*n - 47 = -p, -72 = p + 3*n. Let q = p + 93. Does 12 divide q?
True
Let q = 97 - 38. Let g = -36 + q. Is g a multiple of 23?
True
Let q = -20 - -12. Let f = -5 - q. Suppose -3*h - 3 = -f*l + 156, l + 5*h = 29. Is l a multiple of 21?
False
Let y = 3 + -4. Let p be y - (-11 + 6/(-3)). Suppose -p = -3*f - f. Is 2 a factor of f?
False
Does 4 divide (80/12)/((-1)/(9/(-6)))?
False
Let p = 10 + 16. Suppose 4*o = 2*t, -4*t + p = o + 4*o. Suppose o*i + 72 = 5*i. Is i a multip