
True
Is 6 a factor of ((-6)/(-4))/((-4)/(-16))?
True
Suppose -3*u - 2*u + 345 = 0. Suppose 4*k - u = k. Is k a multiple of 23?
True
Suppose 8 = 2*r, -r - 208 = -0*x - 4*x. Suppose -2*g - 9 - x = -4*b, -80 = -5*b + 2*g. Is 9 a factor of b?
True
Let x(z) = 1 + 0*z**2 - 8 - 9*z - z**2. Suppose -2 = 2*w + 3*v + 1, 12 = 4*v. Is 4 a factor of x(w)?
False
Let x(i) = i - i + 0 - i + 5. Is x(-5) a multiple of 6?
False
Suppose -3*y - 3*p + 81 = -p, -3*p = -y + 38. Is 13 a factor of y?
False
Is 46 a factor of 1/(-1) + 4 + -1 - -182?
True
Let m be (-4)/(48/45)*-32. Let z = m - 17. Suppose -5*h = -z - 12. Is h a multiple of 12?
False
Suppose -37 = -3*z - 0*z - k, -5*z + 56 = -4*k. Is z even?
True
Let h be 2/5 + (-24)/(-15). Suppose -k - h = 0, 2*z - 30 = -0*k - k. Suppose 3*b = 5*b - z. Is b a multiple of 4?
True
Let b(x) = 5*x**3 + x**2 - 5*x**3 - 7*x**3. Let n be b(1). Is (-128)/n - (-4)/6 a multiple of 10?
False
Let r be 4/1*11/(-22). Does 28 divide 24/36*(-219)/r?
False
Let v be ((-9)/(-6))/(3/6). Is (-4)/(v - (-22)/(-6)) a multiple of 2?
True
Let h = -6 + 5. Is 7 a factor of (h - (0 + -2)) + 7?
False
Let y = 9 + -6. Suppose 0 = 4*a - a - y*k - 195, 0 = -3*a - 5*k + 203. Let n = a - 37. Is 23 a factor of n?
False
Let p(f) = -2 - 4*f + 3 - f + 3. Is p(-6) a multiple of 19?
False
Is 63/(-2)*(-22)/33 a multiple of 8?
False
Let y(w) = -2*w**2 - 4*w**2 + 4 + w**3 - w**2 + 5*w - 2*w. Is 7 a factor of y(7)?
False
Suppose -3*n - 20 = x + x, -2*n - 16 = 4*x. Let l = n - -16. Does 10 divide l?
True
Suppose 3*i - 4 = 2, -334 = -4*d - 5*i. Is d a multiple of 9?
True
Suppose o - 5*b = 47, 0 = 3*o - 2*b - 14 - 75. Let r = o - 14. Is 13 a factor of r?
True
Let u be 8/(-6)*(-3)/(-2). Is 8 a factor of (-870)/(-55) + u/(-11)?
True
Suppose -11 - 4 = -5*u. Suppose 5*y + 5*b - 295 = -0*y, u*y - 195 = 3*b. Is 14 a factor of y?
False
Let t(h) = 3*h + 5*h + 0*h. Is t(5) a multiple of 20?
True
Suppose 5*d - 24 = 4*n, -4*d + 3*d + 8 = -4*n. Suppose m - a + 20 = -5*a, 5 = 5*m - a. Suppose -d*u + 40 = -2*f, m*f + f = -3*u + 35. Does 4 divide u?
False
Suppose 5*w = -4*p + 398 - 10, 0 = -2*w. Suppose -2*r = -p - 29. Suppose 4*o = 3*f + r, -2*o = -2*f - 0 - 32. Does 12 divide o?
False
Suppose 0*x + 2*x = -20. Let u(r) = 4*r**3 - 2*r - 10*r**2 - 4*r - 15 - 5*r**3. Is u(x) a multiple of 15?
True
Suppose 8 = h - 12. Does 22 divide 0 + -1 + 3 + h?
True
Let v(x) = x**2 + 2*x + 64. Does 32 divide v(0)?
True
Suppose -5*t = 4 + 11. Does 2 divide (6 - t)/(2/2)?
False
Let x(q) = -2*q**3 - 2*q**2 + 1. Let o be 0 - (-1 - 1 - -3). Let v be (4/(-6))/(o/(-3)). Does 5 divide x(v)?
False
Suppose 3*t = -0 + 3. Suppose j - 4 = t. Suppose -l = -5*d + 3 + 5, j*d + 26 = 3*l. Is 8 a factor of l?
False
Let o(y) = y**3 - 6*y**2 - 2*y + 5. Let k = 10 + -7. Let t(d) = -d**3 + 3*d**2 + d - 3. Let f(n) = k*o(n) + 5*t(n). Does 6 divide f(-2)?
True
Suppose -4*f - 2*g = -264, -5*f = -f - 5*g - 292. Suppose 0*p = -4*p + f. Does 6 divide p?
False
Suppose 0 = -4*g - 956 + 364. Let s = -104 - g. Is 14 a factor of s?
False
Suppose -7 - 9 = 2*v + 2*z, 4*z + 42 = -5*v. Let x = v - -11. Does 9 divide 9*(0/(-3) + x)?
True
Let c = 4 + 0. Suppose 2*m = c*j + 84, -3*m + 86 = -3*j + 5*j. Is m a multiple of 24?
False
Suppose -w = -3*i - 2 + 4, 0 = 2*w - 2*i - 4. Suppose 0*f = w*f - 3*h - 7, 0 = -5*f + 5*h + 10. Suppose 2*b - 45 - f = 0. Is 13 a factor of b?
False
Let i(f) = 2*f**2 + f - 8. Let a(p) = -4*p**2 - 2*p + 15. Let k be 22*3/12*-2. Let d(c) = k*i(c) - 6*a(c). Is 2 a factor of d(-2)?
True
Let m be -2 + (-5)/((-5)/(-2)). Let b(c) = -c + 19. Let j be b(12). Let s = m + j. Is 3 a factor of s?
True
Suppose 5*w - 5*r + 21 = w, 0 = -5*w + r. Let c be -3 - -1 - w*-17. Is (-1)/(-2) + c/2 a multiple of 4?
True
Let j(b) = 12*b - 4. Let t be j(5). Suppose -4*c = -3*r + 4*r - 9, 3*r = -2*c + 77. Let w = t - r. Does 7 divide w?
False
Let n(y) = 3*y + 12. Is 10 a factor of n(6)?
True
Suppose -30 = -3*d + 8*d. Let w = d - -6. Let v(c) = -c**2 + 6. Is 6 a factor of v(w)?
True
Suppose 0 = i - 0*i - 24. Does 6 divide 142/8 + 6/i?
True
Let d(y) = 2*y - 19. Let u be d(9). Let l(q) = q**3 + 9*q**2 + 3*q - 4. Let w be l(-9). Let c = u - w. Is c a multiple of 15?
True
Let k(j) = -j**3 - 10*j**2 - 9*j - 9. Let a be k(-9). Let v(d) = 6*d + 3*d**2 - 7 + 2 + 0*d - 2*d**2. Is v(a) a multiple of 12?
False
Suppose 0 = p + 2*l - 93, -2*l - 417 = -8*p + 3*p. Is p a multiple of 19?
False
Let d be 2/(2*2/166). Let s = 117 - d. Is 14 a factor of s?
False
Suppose 22 = 3*u + 2*w, 0 = -3*u + 2*w + 2 - 0. Does 3 divide u/1*3/4?
True
Let u = 75 - 35. Does 8 divide u?
True
Suppose 5*l - 3*f = -5*f + 12, 3*l = -4*f - 4. Suppose 4*h - l*g - 52 = 0, -5*g + g + 53 = 3*h. Does 15 divide h?
True
Let w be -2 - -1*4/1. Suppose -7 + 27 = -2*l + w*n, 4*l + 8 = -4*n. Let o = l - -17. Is o a multiple of 7?
False
Suppose -4*x + 5*x - 56 = 0. Is ((-12)/3)/((-2)/x) a multiple of 32?
False
Suppose 0*y - 5*y + 10 = 0. Suppose 117 = u + y*u. Does 14 divide u?
False
Suppose 4*d = r + 277, 4*d - 218 = 2*r + 56. Is 18 a factor of d?
False
Suppose 3*r = 4*j - 5 + 28, -r + 2*j = -7. Is 4 a factor of r?
False
Suppose -3*w + 0*w - 13 = 4*i, 11 = 3*w - 2*i. Let f(b) = 32*b**2 + 1. Is 11 a factor of f(w)?
True
Suppose -m + 12 = b + 4, 0 = -3*m - 2*b + 27. Let o = m - 7. Is 3 a factor of o?
False
Let u(p) = p + 17. Does 7 divide u(-10)?
True
Let t(p) be the third derivative of -p**5/60 + p**4/3 + 3*p**3/2 + 4*p**2. Let r be t(9). Suppose 0 = 5*q - r*z + 3*z - 207, z = -q + 43. Is 13 a factor of q?
True
Let k(i) = i**3 - 3*i**2 + 7*i - 4. Let u be k(4). Let s = 2 + -3. Is s/(-1*2/u) a multiple of 10?
True
Suppose 0*g = 4*v + g - 15, -2*v - 3 = -3*g. Suppose 4*h + 7 + 1 = 0, v*h + 5 = -w. Let u = w + 2. Is 2 a factor of u?
False
Let t be (18 - 0)/(1/24). Let i be t/15 - (-1)/5. Suppose 2*y + 3*b = 10 + i, 4*y - b = 71. Does 9 divide y?
True
Let u be (-4)/10 - (-3416)/(-35). Let d = 146 + u. Is d a multiple of 21?
False
Suppose -4*i = -5*m + 7, 2*m - 12 = -0*m - 3*i. Suppose -36 = -3*y + x, 2*x = m*y + 4*x - 45. Is y a multiple of 13?
True
Let h be (-15)/(-3) + (-6)/3. Suppose -h*d = -0*d - 84. Is 14 a factor of d?
True
Suppose 0*m - m + 5 = 0. Let j = -19 - -22. Suppose 38 - j = m*a. Is 4 a factor of a?
False
Let k = 12 - -1. Suppose 0 = -5*g + k + 72. Does 17 divide g?
True
Let l(m) = -m - 5. Let h be l(-6). Suppose 0 = -i + 9 - h. Suppose 25 = -3*k + i*k. Is 5 a factor of k?
True
Let c(m) = 3*m**3 - 33*m**2 + 38*m - 9. Let q(f) = -f**3 + 11*f**2 - 13*f + 3. Let a(x) = -3*c(x) - 8*q(x). Is a(10) even?
False
Suppose -181 + 53 = -4*a. Does 30 divide a?
False
Let a(d) = 12*d**2 - 4*d + 3. Let c be a(2). Suppose 0 = 4*p + 5*r - 0*r - c, 3*p - 4*r - 71 = 0. Is p a multiple of 5?
False
Suppose 4*s = 25 + 119. Suppose -5*m - 14 - 16 = -c, 2*c = 2*m + s. Is 7 a factor of c?
False
Let i(v) = 5*v - 6*v - 5*v. Suppose 0 = -g - 2*g - y - 4, 0 = -g + y. Is i(g) a multiple of 5?
False
Suppose k - 94 = -x, 3*x - 4*k = -2*x + 488. Does 43 divide x?
False
Let t be (0 - 9/3) + 3. Suppose -s + 4*x = -8, 31 = 3*s - 5*x - t*x. Suppose q = s + 5. Is q a multiple of 14?
False
Let f(a) = -a**3 + 2*a**2 - 1. Let l be f(1). Let z(p) = p**3 - p**2 + p - 50. Let d be z(l). Let u = d - -81. Does 8 divide u?
False
Let z(b) = b**3 - 9*b**2 - 2. Let o = 11 + -2. Let j be z(o). Let u = 0 - j. Is 2 a factor of u?
True
Suppose -57 = -y + 5*o, 2*y = -2*y - 3*o + 251. Is y a multiple of 11?
False
Suppose -5*m + 237 = -3*k + 4*k, 5*k = 3*m + 1185. Is 28 a factor of k?
False
Let y(q) be the second derivative of q**4/12 + 2*q**3/3 + 3*q**2/2 - 2*q. Let i be y(-3). Suppose 0*g + 4*g - 24 = i. Is g a multiple of 3?
True
Let t = -8 - -37. Is t a multiple of 9?
False
Let w(n) = 19*n - 4. Is w(6) a multiple of 7?
False
Let i = 42 - 11. Is 7 a factor of i?
False
Let f(g) = 6 - 1 + 6 + g. Let r be f(-9). Suppose -168 = -6*z + r*z. Is z a multiple of 18?
False
Suppose 16*l = 2616 + 2424. Does 14 divide l?
False
Is 58/((2/3)/1) a multiple of 29?
True
Let j(d) = 144*d**2 - 1. Let k be j(1). Suppose 0 = -5*i - 3*g + k, -i + 4*g = 2*i - 80. Is 10 a factor of i?
False
Suppose 0 = -6*b + b - 5, -5*a - b + 79 = 0. Is 16 a factor of a?
True
Suppose 981 - 45 = 3*x. Is x a multiple of 14?
False
Suppose 0 = 4*i - 4, 11 = -4*v - 4*i - 17. Le