(m). Suppose -o = 2*o - a. Is o a multiple of 7?
False
Let o(y) = 0 - 8 - 3*y + 0. Suppose -4*s - 2*h - 42 = 0, 3*h - h + 2 = 0. Is 8 a factor of o(s)?
False
Suppose -4*w = d + 3, 0*d = 3*d - 3*w - 36. Is 9 a factor of d?
True
Let f = 1 + 15. Does 16 divide f?
True
Let q = 27 - 5. Is q a multiple of 9?
False
Let w = -35 - -64. Suppose -x + 0 = -3. Suppose -4*y = 3*p - w, -2*p = -x - 3. Is 2 a factor of y?
False
Let m = 3 + 9. Let n = m - 6. Is 3 a factor of n?
True
Let b = 8 - -12. Does 20 divide b?
True
Suppose 0*l = 4*l + 3*h - 58, -5*h + 22 = 2*l. Is l a multiple of 6?
False
Suppose -r - 7 + 19 = 0. Suppose -3*z = -5*z + r. Let w = 10 - z. Is w a multiple of 3?
False
Suppose -3*g + 4*g - 5*i + 6 = 0, 4*g - 3*i = 61. Suppose -25 = -2*a - 4*u + g, -2*u + 8 = 0. Is a a multiple of 7?
True
Suppose -4*l = l - 25. Suppose 5*r = -4*t + 314, l*t - 384 = r - 3*r. Suppose 5*z = 276 - t. Is z a multiple of 20?
True
Is ((-27)/18)/((-1)/6) a multiple of 3?
True
Suppose 4*g - 29 = 11. Is 10 a factor of g?
True
Is 50/8*(-16)/(1 + -5) a multiple of 3?
False
Suppose -g + 5 + 2 = 0. Let n(v) = v**2 - v - 14. Is n(g) a multiple of 7?
True
Let p(r) = r**2 + 6*r + 8. Is 12 a factor of p(-10)?
True
Let o(z) = -3*z**3 - 9*z**2 + 4*z - 3. Let x(s) = 7*s**3 + 19*s**2 - 9*s + 6. Let n(q) = -5*o(q) - 2*x(q). Is n(-7) a multiple of 17?
True
Let t(p) = -p**3 - 7*p**2 - 6*p - 10. Does 8 divide t(-7)?
True
Suppose a = -w + 22, 4*a = 6 - 22. Let l = w - 6. Suppose -2*g + l = -56. Does 18 divide g?
False
Let p(y) = -2*y**3 - 2*y**2 + 2*y. Let x be p(-2). Suppose -x*k - 4*u - 1 + 9 = 0, u + 14 = 3*k. Is (-3)/(-3) + k*2 a multiple of 3?
True
Suppose 0 = -x - 3, -d + 267 = -5*d - x. Let r = 8 - d. Is (-3)/(-9)*(r + 1) a multiple of 25?
True
Suppose s + 4*c + 0*c = 8, 3*c + 15 = s. Let w = 7 + s. Is w a multiple of 12?
False
Suppose 0 = -2*i + 7*i. Suppose i = -5*q + l - 51, -q - 8 - 7 = -5*l. Does 12 divide -2 - -2 - q - -2?
True
Let b(d) = 90*d**2 + d - 1. Let z(p) = -p**3 + 1. Let j be z(0). Does 30 divide b(j)?
True
Suppose -2*o - 3*o + t = -14, 2*o - 1 = 5*t. Let s be (-1)/((-33)/(-34) + -1). Suppose s + 38 = o*f. Does 12 divide f?
True
Let x be 4/(-18) - (-8)/36. Suppose -5*q = -x*q. Let i = 9 - q. Is i a multiple of 5?
False
Let y = 12 + -18. Let u(h) = -3*h - 8. Does 10 divide u(y)?
True
Let y(u) = -u**2 - 8*u + 11. Is 13 a factor of y(-5)?
True
Suppose 5 = -3*c + 41. Let g be (-2)/(-6) - 16/c. Let u = g - -5. Is 4 a factor of u?
True
Let q(b) = b**2 + 10*b - 13. Let a be q(-11). Let m(n) = -n**3 + 2*n**2 + 4*n + 2. Is 5 a factor of m(a)?
True
Suppose 5*s = 2*s + 255. Suppose 2*i - s = -3*i. Does 10 divide i?
False
Suppose u = -5*r + 17, -3*r - 2*r = 2*u - 34. Let i = -4 + u. Does 4 divide i?
False
Suppose -3*l - v + 283 = 0, -5*v - 25 = -0*v. Suppose -w = 2*w + l. Let t = w - -49. Is t a multiple of 6?
False
Let a = 90 - 10. Does 15 divide a?
False
Let d(s) = -s**2 - 4*s + 1. Let m be d(-3). Suppose y = -5*l + 24, m*l - 3*y = -l + 28. Let j = 39 - l. Is 12 a factor of j?
False
Let w be (-54)/(-15) + 6/15. Suppose 112 + 52 = w*x. Is x a multiple of 14?
False
Let b be (-6 + 7)*(0 + -2). Let h = b + 3. Is (1/h)/((-1)/(-17)) a multiple of 7?
False
Suppose 9*a - 4*a - 50 = 0. Let y be ((-12)/a)/((-2)/370). Does 21 divide y/4*2/3?
False
Suppose -3*l = -2*q - 160, 0*q + 51 = l - 3*q. Is 22 a factor of l?
False
Let t(d) = d**2 - 2*d + 6. Is t(0) a multiple of 4?
False
Let k(u) = 2*u + 7. Let p be k(7). Let y = 9 + -21. Let f = y + p. Is 9 a factor of f?
True
Suppose -3*k = -0*k. Suppose 8 = -k*y + y. Is 3 a factor of y?
False
Suppose 3*f = f + 52. Let b = f + -17. Is b even?
False
Let s(c) = c**3 + 6*c**2 + 5*c + 2. Let o be s(-5). Suppose 23 = o*d - 25. Let y = d + -15. Is y a multiple of 4?
False
Suppose 0*c + 3*c + 9 = 0. Does 5 divide 1/c - 32/(-6)?
True
Is 9 a factor of 3 + 3/(-9)*-51?
False
Let b = -84 + 244. Is b a multiple of 14?
False
Let a be ((-1)/2)/(1/(-8)). Suppose 5*y = -2*c - 0*y - 5, 1 = -c - a*y. Let o(h) = h + 7. Is 2 a factor of o(c)?
True
Let c(l) = -l + 2. Let s be c(-4). Let o be (s - 5)/(2/4). Suppose 0 = 3*i - y - 56, o*i + 3*i = -5*y + 80. Does 9 divide i?
True
Let o = -8 - -12. Suppose 2*b + 2*y - 34 = -10, -3*b = -o*y - 50. Suppose w - b = 8. Does 13 divide w?
False
Let q(o) = -o**2 - 4*o - 4. Let m be q(-5). Let u = m + 13. Is 2 a factor of u?
True
Let h(b) = b**3 + 3*b**2 - 4*b + 4. Does 4 divide h(-4)?
True
Let y(n) = 17*n. Let x be y(1). Let g = x + -12. Is g a multiple of 2?
False
Suppose 5*j = 14 + 6. Suppose 2*x + 20 = n, -x + 60 = j*n + x. Does 4 divide n?
True
Suppose 4*r + 84 = 11*r. Is 6 a factor of r?
True
Suppose -6*c + 57 = -147. Suppose 4*j = 70 + c. Is 26 a factor of j?
True
Let h = 242 + -134. Is h a multiple of 12?
True
Let c = 45 - 33. Is 6 a factor of c?
True
Let s = -9 - -16. Let g = -4 + s. Suppose 2*j = -g*j + 80. Is j a multiple of 15?
False
Suppose -8*d = -3*d - 60. Does 5 divide d?
False
Suppose 189 = 5*k - 31. Is k a multiple of 22?
True
Does 36 divide ((-84)/(-35))/(6/195)?
False
Suppose u + 11 = 46. Let l = u + -10. Suppose z + l + 72 = 2*r, 0 = -3*r - 2*z + 156. Is r a multiple of 18?
False
Let h(w) = -4*w + 12. Does 7 divide h(-4)?
True
Suppose 64 = 4*l + 4*t, 4*l + 4*t + t - 59 = 0. Suppose -5*y - 5 = o + 20, -o - 4*y - l = 0. Let u(b) = -b**2 - 6*b + 1. Is 6 a factor of u(o)?
True
Let d = 18 - 17. Does 9 divide -2 + 4 - (d - 26)?
True
Let g be ((-2)/(-1))/(-10 + 11). Suppose -4*f - g*b + 140 = 0, -6*b + 2*b = f - 42. Is 17 a factor of f?
True
Let g(a) be the third derivative of -a**4/24 - a**2. Let b be g(1). Let c(y) = 9*y**2 - y - 1. Is 9 a factor of c(b)?
True
Let i be (-2)/1*21/(-6). Suppose 118 + 134 = i*j. Is 9 a factor of j?
True
Let k(f) = -f - 6. Let w be k(-6). Suppose 2*j + j - 60 = w. Is 10 a factor of j?
True
Let l(k) be the second derivative of k**6/90 + k**5/30 - k**3/2 + k. Let s(i) be the second derivative of l(i). Is 9 a factor of s(-3)?
False
Suppose 475 + 990 = 5*x. Does 47 divide x?
False
Suppose 56 = 4*t - 52. Does 9 divide t?
True
Let y(p) = -p**3 + 4*p**2 + 5*p + 6. Let o be y(5). Suppose -o = 2*k - 84. Is 9 a factor of k?
False
Let q = -22 + 20. Is 12 a factor of (-3)/(q - 87/(-45))?
False
Suppose -2 = d + 1. Let p(s) = s**3 + 3*s**2 - 5*s - 3. Is p(d) a multiple of 12?
True
Does 16 divide (-1 - (-2)/6)*-24?
True
Let j = -11 - -19. Let h = 3 - j. Is ((-56)/10)/(h/25) a multiple of 13?
False
Let b(m) = -m**2 - 7*m + 6. Let a be b(-6). Let y = a + 47. Is 21 a factor of y?
False
Let o be 0 - 1 - (-10 - -8). Suppose 34 = -4*r + 2*r + 4*x, r + 2*x = -o. Let z(y) = y**3 + 10*y**2 + 5*y. Is 18 a factor of z(r)?
True
Let w(k) = 5*k**2 - 1. Let u be w(1). Suppose -4*d = y, u*d + 96 = 4*y + y. Does 8 divide y?
True
Suppose 0*i = 3*i. Let k = 2 - i. Suppose -4*q - 5*w = -k*q - 43, 0 = 5*q + 5*w - 130. Is 15 a factor of q?
False
Let a(y) = y**3 - 5*y**2 + 2*y + 5. Let x be a(6). Let f = x - 29. Does 12 divide f?
True
Suppose 7*g = 339 + 186. Is g a multiple of 15?
True
Suppose -3*x = 2*x - 15, 3*w - x = 141. Does 12 divide w?
True
Let w be (-4 - 2)*(-2)/6. Suppose 4 + 0 = w*o. Does 5 divide 1 + o/2 + 8?
True
Suppose 3*u - 189 = 2*o - 3*o, 5*u = 5*o - 885. Does 10 divide o?
True
Let p(q) be the second derivative of 5*q**4/12 - q**3/6 + q**2/2 + q. Let g(i) = -i - 3. Let s be g(-5). Is p(s) a multiple of 11?
False
Suppose c - 12 - 1 = 0. Let g = c + 12. Is 9 a factor of g?
False
Let p = 75 + -9. Is p a multiple of 11?
True
Is 16 a factor of 3 - (-19 - 0/(4*-1))?
False
Suppose x + 20 = -x. Let q be (-5 - -3)*x/4. Is (1/2)/(q/210) a multiple of 14?
False
Suppose u - 1 = -m, 5*m + 4 = 5*u - 41. Suppose -4*j + 4*t + 48 = 0, 2 = 2*j + u*t + 13. Suppose 104 = -3*p + j*p. Does 15 divide p?
False
Let v = 7 + 68. Is 15 a factor of v?
True
Is 16 a factor of 159 + (-3 + 2)*(2 + -3)?
True
Suppose l - 1 = -3. Does 17 divide 24/(-5)*(-7 - l)?
False
Suppose -259 = -2*j - 3*t, 0*t + 4*t - 12 = 0. Does 6 divide j?
False
Suppose -33*q + 50 = -31*q. Is q even?
False
Suppose 3*k + 0*k - 101 = 2*f, 2*k = -3*f - 184. Let q = -38 - f. Does 20 divide q?
True
Let u be 2/(-4) - 225/(-10). Suppose -5*q - u = -82. Is q a multiple of 6?
True
Is 22 a factor of 1581/6 + (-1)/(10/(-5))?
True
Let x(s) = -s**2 - 6*s - 6. Suppose -p =