 Does 5 divide d?
False
Let o(k) = -3 + 5 + 6*k - 5*k. Suppose 3*b = b + 2*i - 2, -5*b = 4*i - 40. Does 6 divide o(b)?
True
Suppose -5*y + 65 = -5*t, -t - 2 = -4. Is 4 a factor of y?
False
Let i = -7 - -3. Let h = i - -8. Is 2 a factor of h?
True
Let n = 25 - 28. Is 15 a factor of (5*n)/((-3)/6)?
True
Suppose 5*q + 3 = -4*p, 14 - 3 = 5*q - 3*p. Let z(y) = 7*y**2 + 2*y - 1. Does 4 divide z(q)?
True
Suppose 2*w - 3*w = 49. Let u = w + 69. Is 5 a factor of u?
True
Let m(x) = x**3 + 5*x**2 - x - 4. Let v be m(-5). Let z = v - 1. Let a = 5 - z. Is 4 a factor of a?
False
Suppose 2*m + 3*m - 25 = 0. Suppose 0 = 4*a, a = -m*y + 3*y + 16. Is 8 a factor of y?
True
Suppose -5*u + 6*u - 50 = 0. Does 25 divide u?
True
Let u = 46 - 31. Is u a multiple of 9?
False
Let v(l) = -l**3 + 7*l**2 - 7*l - 2. Let b be v(5). Suppose 0 = 2*g - b - 25. Is 0 + -2 + g + 2 a multiple of 8?
False
Suppose j + 3*t = -0*t - 4, -3*j + 3*t + 12 = 0. Suppose -4*w = -o - j + 11, -5*o = 3*w + 1. Does 21 divide o/(3/126) + 0?
True
Let p = -15 - -40. Does 14 divide p?
False
Let r = 23 + 20. Let a = -27 - -65. Suppose -a = -3*z + r. Is 9 a factor of z?
True
Suppose -2*z + 2 = -14. Suppose -z*a + 35 = -3*a. Suppose a*b = 4*b + 24. Does 4 divide b?
True
Let m be 2*2 + 6 + -6. Suppose s - 12 = -2*x, s = x - s + m. Does 2 divide x?
True
Let a = 4 - 1. Suppose 5*l - a*l = 246. Suppose -4*u = 2*n - 7*n + l, -u - 71 = -3*n. Is n a multiple of 23?
True
Is (-2)/2 + 240 + -10 + 12 a multiple of 17?
False
Suppose 0 = 4*r + r - 20, -5*w + 25 = 5*r. Suppose 0 = s - 4 - w. Does 2 divide s?
False
Suppose 0 = k + 3*y + 16, -2*y - 27 = 2*k + 3*y. Let v be (-3)/k*(-10)/(-15). Suppose v*q = q + 20. Is q a multiple of 10?
True
Let l(u) = 5*u**2 - 6*u + 6. Let v = 31 - 28. Is 11 a factor of l(v)?
True
Let o = 262 + -143. Suppose 116 = 5*q - 3*q - 2*u, -2*q = u - o. Is q a multiple of 10?
False
Let i(q) = -q**3 + 12*q**2 - 8*q - 16. Suppose 0 = -3*k + p + 29, -5*p = 3*k + 2 - 55. Does 10 divide i(k)?
False
Let o = 16 - 11. Suppose 3*f + 3*j = 45, 5*j = 5*f - 30 + o. Suppose -x + 0*x + f = 0. Is 7 a factor of x?
False
Is 8*3 - (2 - 4) a multiple of 3?
False
Let l = -20 - -25. Suppose 3 + 21 = 3*i - 3*b, l*i - 4*b - 42 = 0. Is 8 a factor of i?
False
Let n(s) = s + 1. Let k(d) = -d - d - 2*d. Let t(m) = -k(m) + 3*n(m). Is t(3) a multiple of 12?
True
Suppose -4*j = 16, -5*f - 3*j + 221 + 957 = 0. Does 34 divide f?
True
Let t = -1 - 2. Let c(s) = s**3 + 3*s**2 - 2*s - 3. Does 3 divide c(t)?
True
Let b be 3*(0 - (-1 + 2)). Is (-35 + -1)/(b/2) a multiple of 8?
True
Suppose 5*a = -5*p + 945, -2*p + 137 = a - 48. Suppose -w - 5*f + 83 = 0, -3*w + a = -f - 120. Does 24 divide w?
False
Let v(u) = u**2 + 5*u + 5. Let m be (-7)/14 + 7/2. Suppose -x - 17 = 3*q, q - m*q = 2*x + 6. Is 19 a factor of v(q)?
True
Suppose 5*i = -5*v + 156 + 74, v + 4*i - 46 = 0. Does 5 divide v?
False
Let x(d) = 10*d**3 + 3 + 1 - d - 2 + 0 - d**2. Let h be x(2). Suppose 4*p - h = -4*f, p = 3*p + f - 33. Is p a multiple of 5?
False
Suppose -2*q + 0*q = 6. Let a be 9/q*-8*3. Suppose 3*y - 12 = a. Is y a multiple of 14?
True
Let a be 2/(-5) - 22/(-5). Suppose -4*n + a*g = -n, -3*g + 9 = 0. Suppose -s - 57 = -r, n*r - s - 99 = 132. Is r a multiple of 17?
False
Let g(h) = -h + 4. Let t be g(5). Let r(j) = -11*j**2 - 2 + 1 - j - 5*j**3 + 26*j**2 - 16*j**2. Is r(t) a multiple of 2?
True
Let d(n) = -12*n - 11. Let a(m) = -11*m - 10. Let r(w) = 7*a(w) - 6*d(w). Let l be r(-3). Suppose -4*b = -5 - l. Is b a multiple of 2?
True
Let l(y) = 2*y**2 - 3*y + 10. Is 30 a factor of l(4)?
True
Suppose -27*y - 675 = -32*y. Is y a multiple of 5?
True
Let s(u) = -4 + u**2 + 3*u + 8 + u**2. Is s(-3) a multiple of 10?
False
Suppose -g + 5*x + 59 = g, 2*x = 3*g - 105. Is g a multiple of 3?
False
Suppose -5*f = 5*t - 10, 4*t = 2*f - 1 - 3. Suppose t = -l - 2*l + 36. Is l a multiple of 3?
True
Suppose -y = -c - 4*c + 389, 4*c - 4*y - 308 = 0. Suppose -c = -3*v + 75. Does 11 divide v?
False
Let b be (-16)/24 + 77/3. Let t = b + -13. Is 3 a factor of t?
True
Let i be (-66)/(-1)*(2 - 1). Suppose -z + 4*z - i = 5*w, 9 = -3*z. Is 4 a factor of (-30)/(-8)*(-40)/w?
False
Let n(p) = p + 1. Let q be n(-3). Does 15 divide q/13 - 3136/(-104)?
True
Suppose 0*t + 151 = -3*v - t, -6 = -3*t. Let a = -35 - v. Is 8 a factor of a?
True
Suppose 5*s - 11 = 4. Suppose -3*f + 15 = 0, -8 = 2*v - 3*f + s. Suppose 1 + v = k. Is 3 a factor of k?
True
Is 20/(-6)*(-624)/65 a multiple of 8?
True
Let m = -14 - -26. Suppose 0*u - u = -2*y - m, 0 = -3*u - 3*y. Is 1/(-2)*(u - 40) a multiple of 9?
True
Let m be 7/(-49) - (-22)/7. Suppose -2*z - 28 = -2*h + m*z, 3*z = 0. Suppose 30 + h = 2*c. Does 11 divide c?
True
Suppose -3*v - 2*f - 28 = 0, 10*f - 5*f = -25. Let y(m) be the second derivative of m**4/12 + m**3/2 - m**2/2 + m. Is 17 a factor of y(v)?
True
Suppose 3*t = 5*x - 10, 3 + 5 = 4*x - 2*t. Suppose -z - x = 2*z + 2*y, -4*y = 5*z + 4. Suppose z*p + 8 = p. Is p a multiple of 4?
True
Suppose 3*q = 2*y - 27, -3*y + 6*q = 4*q - 28. Let v(g) = g**2 - 4*g - 5. Let s be v(5). Let p = y - s. Does 6 divide p?
True
Let s(n) = 7*n - 4. Let g(w) = -3*w + 2. Let q(f) = -9*g(f) - 4*s(f). Let b be q(-3). Suppose b = -v + 5. Does 4 divide v?
True
Suppose 2*p = g - 6, -4*p - 3 - 9 = g. Suppose -2*w - 46 = -5*w + 2*d, 5*w + 5*d = 35. Let z = g + w. Does 4 divide z?
True
Let i be -2 + 1/1 - 6. Let n(j) be the third derivative of -j**5/60 - 11*j**4/24 + 4*j**3/3 - 8*j**2. Does 19 divide n(i)?
False
Does 4 divide -47*11/22*-2*1?
False
Let a = 11 - -17. Let g = a - -28. Does 15 divide g?
False
Suppose -5*w + t + 43 = -w, -5*w + 3*t = -52. Let i = 19 + w. Is i a multiple of 7?
False
Suppose -265 = 5*c - 2*n, 7*c - 3*n + 270 = 2*c. Let p = -28 - c. Is p a multiple of 8?
False
Suppose -29 = -5*t + 2*b, -5*t + 2*b + b = -26. Is -8*-2*t/4 a multiple of 12?
False
Let x(r) = 7*r**2 - 8*r - 5. Is 30 a factor of x(6)?
False
Suppose 7*i - 2 = 341. Is 4 a factor of i?
False
Let i(y) = y**2 + 2*y - 27. Is 6 a factor of i(-9)?
True
Does 7 divide (5 + -5)/(-2) - -77?
True
Suppose 0*x - 5*x = 0. Suppose 6*g - 2*g = x. Is (g - -1)/((-2)/(-42)) a multiple of 14?
False
Let d(a) = 3*a**2 - 2*a - 4. Is d(6) a multiple of 16?
False
Let f = 15 + -12. Suppose 2*w - 4*y = -0*w + 86, -f*w = 3*y - 174. Does 14 divide w?
False
Let s(w) = w**2 - 6*w - 3. Is 6 a factor of s(-3)?
True
Does 5 divide 0 - (-8 + 4) - -18?
False
Let j(o) = -6*o + 2. Suppose -2*d - 8 = s, 4*d + 2*s + 19 = -d. Let g be j(d). Let n = 37 - g. Is n a multiple of 7?
False
Suppose -t + 5*h + 35 - 8 = 0, -4*t + 3*h + 23 = 0. Suppose r + 17 = -2*r + 2*y, 4*r + 22 = t*y. Let i = r + 9. Is 2 a factor of i?
True
Let p = -12 + 22. Let h = p + -5. Is h a multiple of 2?
False
Let l(b) be the second derivative of 19*b**7/1260 + b**6/720 + b**4/3 - b. Let u(q) be the third derivative of l(q). Is u(1) a multiple of 13?
True
Let j(y) = -3*y - 2. Let l be j(-2). Suppose 16 = -l*p, 5*s - p = 3*p + 86. Is s a multiple of 3?
False
Let b(v) = 0*v + v + 0*v. Let x be b(-4). Let d = x - -6. Does 2 divide d?
True
Let n = -79 + 133. Suppose -3*a - 2*a = -5*c + 50, -4*c + n = 3*a. Is c a multiple of 12?
True
Let l = -148 - -207. Let x = l - 31. Suppose -k = -x - 10. Is k a multiple of 21?
False
Let m = 121 - 89. Does 2 divide m?
True
Suppose -44 = -3*x + x. Is 15 a factor of x?
False
Let v(u) = u + 11. Does 3 divide v(0)?
False
Let i(j) = -259*j**3 + 2*j**2 - 1. Let s be i(-1). Suppose -2*f + s = 3*f. Suppose f = 5*c - 78. Does 17 divide c?
False
Suppose -3*n = -10 - 2. Is 22 a factor of ((-11)/n)/((-2)/32)?
True
Let s = -2 + 2. Suppose s*l = -l + 119. Suppose -l = -5*r - 24. Is 8 a factor of r?
False
Suppose -a - 4*a + 35 = 0. Let o = a - 4. Suppose -o*j + 5*c = -62, -15 = -2*j - c + 9. Does 7 divide j?
True
Suppose -3*u + 128 = -u. Let b = 101 - u. Is 12 a factor of b?
False
Let k(f) = -f**2 - 6*f + 12. Let v(w) = -2*w - 2*w + 13 - 2*w - w**2. Let j(n) = 6*k(n) - 5*v(n). Does 4 divide j(-6)?
False
Let p be ((-2)/2)/(2/(-8)). Let r be (1 + 2)*p/4. Suppose -r*c - 5*b = -40 + 4, -4*b = -4*c + 80. Is 17 a factor of c?
True
Let c = -92 + 142. Is c a multiple of 50?
True
Is 4 a factor of 28 + (-16)/(-4) - 4?
True
Let s(u) be the second derivative of -u**3/2 + 4*u**2 - u. Does 9 divide s(-6)?
Fals