 u a multiple of 9?
True
Suppose 2*m = -q + 25, -q = -2*q - 1. Is 11 a factor of m?
False
Suppose -m + 85 = y, -3*y - 418 = -5*m - y. Does 14 divide m?
True
Suppose 0 = -3*x + 3, 5*x + 96 + 359 = 2*z. Let m = -150 + z. Is 18 a factor of m?
False
Does 13 divide (((-4)/(-3))/2)/((-6)/(-261))?
False
Let q(y) = 2*y**2 + 3*y**3 + y - 5*y**3 + 0*y + 0*y**2. Does 11 divide q(-2)?
True
Suppose -4*v + 64 = -44. Suppose d = -2*f + 29, 0 = 3*f - f - d - v. Suppose f = 3*p - 19. Does 10 divide p?
False
Suppose -3 = -4*j + j. Let k = j - -14. Does 12 divide k?
False
Let n(b) = 2*b**2 - 2*b + 2. Does 17 divide n(6)?
False
Suppose m = 2*m. Let b(j) = j**3 + j**2 - j + 16. Is b(m) a multiple of 8?
True
Suppose -2*h + 33 = 15. Is 2 a factor of h?
False
Let n be (-5 + 1)/(3 - 5). Suppose 4*f - 141 - 17 = n*v, 0 = -2*f - 5*v + 49. Does 13 divide f?
False
Suppose -d + 0*d + 36 = 0. Suppose 5*w = -2*i + 3 + 26, -3*i = 5*w - d. Let j = i - 0. Is 4 a factor of j?
False
Suppose -3*v = -4*s + 31, 4*s + 2*v = -3*v + 23. Let m = s + 11. Is m a multiple of 10?
False
Suppose -2*w + 116 = 3*o - 39, 0 = -4*w - 4*o + 300. Does 12 divide w?
False
Suppose 25*f - 270 = 22*f. Is f a multiple of 10?
True
Let y be 2/(-5) + 534/(-15). Let i be (-4)/(-18) + (-5716)/y. Suppose -5*f + i = 34. Is f a multiple of 25?
True
Suppose 4*v + 6 = 6*v. Suppose -5*r + 2*h = 6, -v*r - 5*h = 18 - 2. Does 3 divide (-2)/r*(10 + 1)?
False
Let u be 52/9 - (-4)/18. Suppose 4*q = 3*a - a - 18, -3*q = 5*a - u. Is a a multiple of 3?
True
Let z be 2/(-4) + (-63)/14. Let v be 6/(-10) - (-2)/z. Let c(s) = -7*s + 1. Is c(v) a multiple of 4?
True
Let y be -2*(-3)/((-3)/(-1)). Let j be 6 + 0/y + -2. Suppose -j*h - 5*w = -79, 6*w - w = 3*h - 68. Is h a multiple of 9?
False
Suppose 2*q - 2*h + 12 = 0, 2*h + 30 = q - 5*q. Let l = q - -10. Is 3 a factor of l?
True
Suppose 14*b = 6*b + 1280. Is 8 a factor of b?
True
Let o(v) = -2*v**3 + 3*v**2 + 1. Let y(q) = 5*q**3 - 6*q**2 - 3. Let s(t) = 7*o(t) + 3*y(t). Does 7 divide s(2)?
False
Suppose 0*o + 5*o + 5 = -5*u, 0 = -4*o - 3*u - 7. Let a = 0 - o. Suppose 0 = -a*x + 5*j + 55, -3*x = -2*j - j - 45. Is x a multiple of 7?
False
Suppose 0*t + 6*t - 576 = 0. Does 31 divide t?
False
Let m(g) = 5 - g**3 + 2*g + 2*g**3 - 4 - 5. Does 20 divide m(4)?
False
Suppose -5*r = 5, c + 6 = -r + 29. Is c*(-12)/27*-3 a multiple of 16?
True
Let u be ((-20)/3)/((-8)/(-276)). Suppose -3*z - 2*k = 23, 24 = 2*z - 6*z - k. Does 23 divide ((-4)/z)/((-4)/u)?
True
Suppose -o = 3*x - 67 - 104, 5*o - 2*x = 787. Does 19 divide o?
False
Let u(k) = 2*k - k + 6 - 15*k. Let b be u(-6). Let i = b - 39. Is 17 a factor of i?
True
Let m(l) = 7*l**3 + l**2 + 4. Let z be m(2). Suppose -4*r = -3*y + z, -5*y - 8*r + 160 = -4*r. Does 7 divide y?
True
Suppose -4*j + 2*s = -2, 0 = 2*s + s - 9. Let g(x) = x**2 - x - 2*x + 4*x**3 + x + 2. Is g(j) a multiple of 17?
True
Suppose -4*f = -3*f - 18. Suppose 3*r + 2*q - 31 + 5 = 0, -4*r + 4*q = -8. Let j = f - r. Does 5 divide j?
False
Suppose 0 = -4*h - 3*n + 5*n + 226, -h + 49 = 2*n. Is 8 a factor of h?
False
Let g = -11 + 11. Let q = 8 + g. Is 5 a factor of q?
False
Let k(m) = 3*m + 48. Let y be k(-15). Let i(f) = -9*f - 4. Let r(j) = j. Let o(g) = -i(g) - 2*r(g). Is 12 a factor of o(y)?
False
Let w(b) = b**2 - 7. Is w(-7) a multiple of 14?
True
Let x(c) = c**2 + 3*c - 8. Suppose -2*q + 2 = -4*f, -f - f - 4*q + 4 = 0. Suppose 5*d - 3*d + 14 = f. Does 12 divide x(d)?
False
Let b(l) = 7*l**2 - 3*l - 13. Is 21 a factor of b(5)?
True
Let s(i) = 2*i + 12. Let p = -10 - -5. Does 2 divide s(p)?
True
Suppose 2*a + 2*x = a + 20, -5*a + 4*x = -100. Suppose -37 = -3*u + a. Suppose -5*z - u = -3*c + 13, -2*c + 2*z = -24. Does 12 divide c?
False
Let i = -3 + 4. Let w(b) = 0*b - 1 + 2*b + 5*b + b. Is 5 a factor of w(i)?
False
Let m(f) = 31*f**3 + f**2 + f + 1. Let v be m(-1). Is 13 a factor of v*12/(-9) + -1?
True
Suppose -2*b + 106 = 22. Is 13 a factor of b?
False
Let i(g) = 4*g**3 - 10*g**2 + 2*g**3 + 10 - 5*g**3 + 12*g. Is i(9) a multiple of 14?
False
Suppose 11*r + 81 = 12*r. Let u = r - 54. Is u a multiple of 10?
False
Let g(n) = n**3 - 3*n**2 - 8*n + 3. Let y be g(6). Suppose 4*s = 34 + 18. Let v = y - s. Does 18 divide v?
False
Suppose 4*z - 58 = 5*w, 5*z = 3*w + 1 + 39. Let c = w + 26. Is 8 a factor of c?
True
Let h = 3 - 0. Let y = 2 - h. Is (0 + y)*-19 + 3 a multiple of 15?
False
Let f = -1 - -3. Is (-2000)/(-56) + f/7 a multiple of 10?
False
Let k(b) = 2*b**2 - 8. Is k(7) a multiple of 10?
True
Suppose 0 = 2*c - 5*c + 6. Suppose -5*x + 3*z + 16 = 0, 4*x - x - 4*z = 14. Suppose -c*y + x = 2*o + 6, -4*y + o + 12 = 0. Does 2 divide y?
True
Let f(u) = -u + 79. Let v be f(0). Suppose 3*c - 2*d - 52 = 0, 5*c - 2*d = v + 9. Is 12 a factor of c?
False
Suppose 6*g + 15 = 231. Does 12 divide g?
True
Let m(q) = 22*q**2. Does 16 divide m(-1)?
False
Let f(h) = 4*h**2 - 55*h - 40. Let t(v) = -3*v**2 + 37*v + 27. Let p(c) = 5*f(c) + 7*t(c). Does 13 divide p(-10)?
False
Let h(j) = j**3 - 10*j**2 + 11*j + 25. Is h(10) a multiple of 8?
False
Let r(c) = -9*c + 13 + 9*c - 4 + 13*c. Let a(p) = -7*p - 5. Let w(f) = -5*a(f) - 3*r(f). Is w(-3) a multiple of 5?
True
Let r(n) = -n**3 - 12*n**2 + 7. Let y be r(-12). Let q = -6 + y. Let w(i) = 25*i - 1. Is w(q) a multiple of 12?
True
Suppose 2*g + 4*o - 396 = -0*o, -g + 3*o + 218 = 0. Suppose -b = 4*l - g, b - 5*b = 3*l - 837. Suppose 2*j + b = 7*j. Is j a multiple of 15?
False
Suppose 0 = 3*o - 243 - 135. Is o a multiple of 42?
True
Let u = 48 - 30. Does 14 divide u?
False
Let y be 1/(1*(-2)/(-32)). Let i = 56 - y. Is i a multiple of 10?
True
Let c = 2 - 6. Let x = c - -6. Does 5 divide 20 - (x + -2 + 3)?
False
Let r = -55 - -105. Does 16 divide r?
False
Let w(p) = 4*p**2 + 5*p - 16 + 6 - p**2 - p. Is 27 a factor of w(4)?
True
Let d = -4 - -5. Let x(a) = 5*a**2 + 2*a - 1. Is x(d) a multiple of 4?
False
Let t = -5 - -5. Let d(g) = g**3 + g**2 - 1. Let z be d(t). Let s = z - -9. Is s a multiple of 8?
True
Let d = -3 - -7. Let q(w) = w**3 + w**2 - 6*w + 5. Is q(d) a multiple of 14?
False
Suppose 2*i - 3*j - 34 = 0, -2*i - 4*j = j - 2. Is 11 a factor of i?
True
Suppose 3*h + 4*y = 2*h + 302, -3*h - 2*y + 916 = 0. Suppose -4*s - h = -s. Is s/(-5) - (-4)/(-10) a multiple of 11?
False
Let k = -8 + 22. Does 2 divide k?
True
Suppose -j = 14 + 11. Suppose -7*b + 2*b = -225. Let h = j + b. Is 11 a factor of h?
False
Let l be (0 - -2)/(8/20). Suppose -l*c + 88 - 13 = 0. Is 15 a factor of c?
True
Let v = -229 - -433. Is 34 a factor of v?
True
Let w(p) be the second derivative of p**4/6 - p**3/2 - 7*p**2/2 - 5*p. Is w(5) a multiple of 7?
True
Suppose -150 = -17*m + 15*m. Is 14 a factor of m?
False
Suppose 7*x = 5*x. Suppose -2*h - 43 = -3*q, x*q + 5*h - 20 = -q. Does 5 divide q?
True
Let s(h) = h**2 - 8*h. Does 5 divide s(10)?
True
Let y(d) = -8*d**2 - 2*d - 1. Let o be y(-1). Let m(g) = g**2 + 7*g. Let j be m(o). Suppose 4*z - 26 - 38 = j. Does 8 divide z?
True
Let x(b) = b**2 + 2*b - 3. Let y be x(-4). Let o = y + 6. Is o a multiple of 4?
False
Suppose -131 = -4*i - 5*m + 162, -145 = -2*i - m. Suppose -7*g = -3*g - i. Does 9 divide g?
True
Let p(w) = -w**3 - w**2 - w + 2. Let d be p(2). Let h = d - -23. Is 11 a factor of h?
True
Suppose 4*q - 340 = 216. Suppose -3*i + q + 23 = 0. Suppose -2*b - 3*b = 3*p - i, 0 = 5*p - 3*b - 90. Is p a multiple of 18?
True
Let w = -19 - -34. Is 10 a factor of (w - 0)/((-6)/(-8))?
True
Is 7 a factor of 1/((3/3)/21)?
True
Let l(q) = 2*q**3. Let f be l(1). Suppose 8 = f*h + o, -4*o - 23 = -h - 2*h. Does 6 divide (12/10)/(h/75)?
True
Does 15 divide ((-35)/(-2))/(5/30)?
True
Let s(h) = -h**2 - 5*h + 3. Suppose 2*v = -7 - 3. Let x be s(v). Suppose -x*g = -2*g - 12. Is 12 a factor of g?
True
Let i(c) = -c**2 + c - 3. Let m be i(0). Let r(s) = -5*s + 2. Is r(m) a multiple of 11?
False
Suppose 5*x - 3*x = 2*o + 14, -5*o - 25 = -3*x. Suppose -v = v - 2*u - 50, -5*u - x = 0. Does 12 divide v?
True
Let i = -59 + 107. Is i a multiple of 8?
True
Let v be 2/(-7) + 2256/56. Let c = v + -20. Does 5 divide c?
True
Let u = 27 + -3. Is 12 a factor of u?
True
Let q = -8 + 13. Suppose -4*k = -3*p + q*p - 154, -4*k + 4*p = -136. Is k a multiple of 7?
False
Suppose -4 = -3*i + 2. Suppose -40 = -x + 3*v, -i*v + 57 - 270 = -5*x. Suppose -d - 35 =