)?
False
Is (-6)/(15/(-220) - 0) a multiple of 8?
True
Let b = 29 + -21. Suppose b*w + 188 = 716. Is w a multiple of 10?
False
Suppose -2*k + d = 2*k - 21, 15 = 5*k + d. Suppose -7 = k*r - 167. Is 5 a factor of r?
True
Let f = 15 - 5. Let c be (-1 - -1) + 0/f. Suppose c = -3*m - 0*m + 63. Is m a multiple of 12?
False
Suppose 3*w + 3*v - 49 = 4*w, 6 = 2*v. Let x = -10 - w. Suppose -x = -6*g + 36. Is 11 a factor of g?
True
Suppose 3*c - 18 = -4*h, 5*h + c - 14 = h. Suppose 5*q - v + 23 = -h*v, -5*v = -5*q - 30. Does 11 divide 4/(-20) + (-56)/q?
True
Let h = 117 - 5. Suppose 3*g - h = -a, g - 6*g - 431 = -4*a. Let o = a - 78. Is o a multiple of 17?
False
Let t = 16 - 19. Let o(x) = -2*x**3 + 4*x**2 - 2*x - 3. Does 31 divide o(t)?
True
Let u be (3 - 16/6)/1*-6. Is 19 a factor of -2*(-411*(-2)/6)/u?
False
Let k(f) = f**3 + 12*f**2 + 2*f - 6. Let d be k(-10). Suppose 0*u + d = 2*u. Does 29 divide u?
True
Suppose 5*w + 97 = 6*w. Let o = -37 + w. Is 20 a factor of o?
True
Let w be ((-3 - -1) + 1)*2 - 0. Is (43 + w - 3 - -1) + 3 a multiple of 14?
True
Let v be (-152)/(-36) + (-2)/9. Suppose -3*z = v*i - 114, 5*i = 5*z + 14 - 169. Does 34 divide z?
True
Let a(m) = -25*m**3 + 5*m**2 + 4*m - 1. Is 13 a factor of a(-2)?
False
Let p = 498 - 259. Is 11 a factor of p?
False
Suppose 9*c - 7428 - 2166 = 0. Does 26 divide c?
True
Let v be (-35)/(-5)*4/7. Is 31 a factor of 15*28/(v + 0) + 1?
False
Suppose 5*s - 30 = -2*p, -5*p + 3*p + 4*s - 6 = 0. Suppose p*x = -5*t + 870, -4*t = -3*x + 375 + 161. Is x a multiple of 36?
False
Is (-9174)/(-4) - (1500/40)/(-15) a multiple of 41?
True
Suppose 303 = u + 103. Does 25 divide u?
True
Let r be (-6)/(-1) - -3 - 2. Let t be 10 + -13 + -1 + r. Suppose 18 = 5*w - 3*q, -w - 3*q = t*w - 9. Is w even?
False
Let p be 9*1 - (-1 - -2). Let a be (-284)/13 - p/52. Does 6 divide (-2 + a)*(-4 - -3)?
True
Let f = -69 - -69. Suppose -4*n = d + 2*d - 94, f = -3*d - 6. Is 5 a factor of n?
True
Let t(p) be the third derivative of -p**5/30 - 3*p**4/8 - p**3/3 - 6*p**2. Let k(d) be the first derivative of t(d). Is k(-6) a multiple of 5?
True
Let f be (324/(-8))/((-2)/4). Suppose 11*x - 8*x = f. Does 9 divide x?
True
Suppose -70 = -7*d + 42. Let l = d - 1. Let z(h) = -h**3 + 15*h**2 + 6*h - 18. Is z(l) a multiple of 24?
True
Let x be (2/(-4))/(1/12). Let m be 2/x - 855/27. Is 8 a factor of (-1)/((-30)/m - 1)?
True
Let z(p) = 35*p**3 - 8*p + 24. Is 4 a factor of z(2)?
True
Let g(m) = 5*m**2 + 154. Is 13 a factor of g(17)?
True
Suppose 97*u - 98*u + 382 = 5*i, 5*u + 3*i = 1866. Is 31 a factor of u?
True
Let y(w) = -w**3 + 6*w**2 + w + 5. Suppose 0*x + 3*z = -4*x + 41, -2*x - z = -19. Suppose -3*k + x = -5*g, 2*g - 4*g + 4 = 0. Is y(k) a multiple of 11?
True
Suppose 0 = -44*a + 48*a - 720. Does 12 divide a?
True
Let n = 728 + -503. Is 9 a factor of n?
True
Let d be (-1 + 4)*60/36. Does 4 divide ((-9)/d)/(6/(-60))?
False
Let q be (-2)/5*(-1 - 4). Let d be ((-1)/(-1))/(q/4). Suppose -d*v + 50 = 4*m, 2*m = -3*m - v + 64. Is m a multiple of 7?
False
Let m = 374 - 211. Is m a multiple of 25?
False
Let w = 11 + -7. Let v(u) = 0*u - 12 - 2*u + w*u + 0*u. Does 6 divide v(13)?
False
Let x = 42 + 3. Suppose 6*s - x = 5*s. Is s a multiple of 9?
True
Let v = 2206 - 1562. Is v a multiple of 18?
False
Let s(t) = -2*t - 10. Let w be s(-6). Suppose w*d = 7*d - 225. Is 15 a factor of d?
True
Let h(o) = 8*o**2 - 2*o - 1. Let v be h(-2). Suppose -5*t - v = 4*b, -b + 3 = -t - 4. Does 3 divide (9 + -8)/((-1)/t)?
False
Let y(d) = -d**3 + 5*d**2 - 26*d + 88. Is 5 a factor of y(3)?
False
Suppose 76 + 29 = -7*c. Let l(r) = r**2 + 12*r + 5. Is 25 a factor of l(c)?
True
Suppose -r - 3*r = -1028. Suppose 120 = 3*g + 2*a - 42, 153 = 3*g + 5*a. Suppose -3*h - g + r = 0. Is 16 a factor of h?
False
Let o(u) be the first derivative of -5 + 10 + 28*u + 6 + u**2. Is 4 a factor of o(-12)?
True
Let a(d) = d**2 - 2*d - 3. Let k be a(-2). Suppose 45 + 0 = -k*z. Let b = z + 12. Is b a multiple of 3?
True
Suppose 2417 - 6833 = 4*m. Does 10 divide m/(-14) - 12/(-84)?
False
Let a(c) be the third derivative of 17*c**4/12 + 2*c**3/3 - 22*c**2. Does 14 divide a(4)?
True
Let l(x) = 2*x**2 - 3*x + 6. Let q be l(-6). Suppose -u + 3*u = q. Let c = 88 - u. Is 20 a factor of c?
True
Suppose 4*l + l - 15 = 0. Suppose 0 = -c - l. Let j(t) = -2*t**3 - 5*t**2 - t + 5. Does 17 divide j(c)?
True
Let d(p) = p**3 + 24*p**2 - 5*p. Let v(y) = y**3 + 6*y**2 + 9*y - 4. Let m be v(-5). Is d(m) a multiple of 12?
True
Suppose 5*w - 2*v = 10, -4*w + 0*w + 1 = -3*v. Suppose -p - 2*l = 3*p + 88, -3*p - w*l = 76. Is (-19)/(-4) + (-5)/p a multiple of 5?
True
Let y = 78 - 53. Is y a multiple of 11?
False
Let g(y) = y**3 + 5*y**2 + y + 10. Let u be g(-5). Suppose 5*v + 0*v - u*a - 180 = 0, v + 5*a = 60. Is 5 a factor of v?
True
Suppose 3*d - 87 = 2*i - 3*i, -4*i - 42 = -d. Let z = 13 + d. Is 11 a factor of z?
False
Let r be -15 - ((-2)/3 - 8/24). Does 22 divide 6/r - (-1940)/35?
False
Let l(h) = -h**3 + 9*h**2 + 12*h - 16. Suppose -4*g + 7 + 23 = 3*y, 3*g = -2*y + 23. Is 23 a factor of l(g)?
True
Let u be 72/32 - (-1)/(-4). Suppose -t - 4*z + 81 = 0, -2*t - 7*z = -u*z - 177. Is 28 a factor of t?
False
Let y be (-2)/(-4) - 97/(-2). Is 8 a factor of y - (2 + (1 - 2))?
True
Let m(u) = u + 4. Let l be m(0). Suppose 918 = -d + l*d. Suppose -4*p + d = 2*t, -4*t - 29 - 70 = -p. Is 27 a factor of p?
False
Let n be (16/(-12)*1)/((-6)/9). Does 17 divide 3/2*(94 - (2 + n))?
False
Is 15 a factor of 3/30 + 224980/200?
True
Let w = 1161 + 190. Is 36 a factor of w?
False
Let y be (1 - -5) + 1 + -1. Suppose 3*f = -0*x + 3*x - y, -2*x + 7 = -5*f. Is 5 a factor of (x/(-2))/((-5)/350)?
True
Let y = 793 - -29. Does 6 divide y?
True
Let b(j) = -2*j**3 - 7*j**2 + j - 12. Suppose 0*v - 3*v - 18 = 0. Is 24 a factor of b(v)?
False
Let r = -49 - -97. Does 43 divide -2 + 1 + r + -4?
True
Suppose -5*c + k = 46, 2*c - k + 11 = -8. Suppose 5*r = -6 - 94. Does 5 divide (c - -8)/(2/r)?
True
Let d = 6 - 2. Suppose -d*n - 9 = -45. Is 21 a factor of n/18 - (-250)/4?
True
Suppose 9*p - 4*p = 4*f - 1774, -2207 = -5*f + p. Is 56 a factor of f?
False
Let v(h) = -19*h + 41. Let s(n) = n + 2. Let k be s(-8). Is v(k) a multiple of 31?
True
Let i(w) = 4*w**2 + 21*w - 140. Is 65 a factor of i(7)?
False
Let q be (-21)/7*(-1 + 0). Suppose 5*l - 52 + 17 = 0. Suppose -5*n + 16 = q*v - 5, -3*n - l = -v. Is v a multiple of 6?
False
Let f(u) = u**2 - 9*u - 2. Let y be f(-8). Suppose -3*i = -5*i + y. Is i a multiple of 16?
False
Suppose -13*j = -5*j - 32. Suppose 0 = -5*r - 5*w, -2*r - 5*w - 16 = -j. Is r a multiple of 4?
True
Let c(h) = 14*h + 39. Let p(u) = 28*u + 77. Let n(q) = -5*c(q) + 2*p(q). Does 23 divide n(-11)?
False
Let n(o) = o**3 - 25*o**2 - 25*o - 31. Let s be n(26). Let q = s + 57. Is q a multiple of 26?
True
Suppose -54*m = -50*m - 3900. Is 13 a factor of m?
True
Suppose -v + 4*d = -50, 0*d - 322 = -5*v - 4*d. Does 13 divide v?
False
Let k(q) = q. Let u be k(-10). Does 8 divide -3 + (-15)/u - 78/(-4)?
False
Let q(g) = g**3 - 10*g**2 + 10*g. Let l be q(9). Does 27 divide l/6*(-190)/(-3)?
False
Is 6 a factor of 462 - (-2 + 8/2 + 3)?
False
Let g(m) = -13*m - 21. Let x be g(-11). Suppose -7*a + 3*r = -3*a - 157, 0 = 3*a + 2*r - x. Is 10 a factor of a?
True
Suppose -3*z - 11 = -2*z. Let b = z + 35. Is b a multiple of 10?
False
Suppose 55 = 5*f - 3*o, -2*f + 5*o + 49 - 8 = 0. Is 18 a factor of (2/f)/((-17)/(-7276))?
False
Let r = -60 - -95. Let h be 115/r + 4/(-14). Suppose 96 = 3*i + 3*u, -h*i + u + 5 + 99 = 0. Is 10 a factor of i?
False
Let l(a) = 2*a**2 + 22*a - 189. Does 25 divide l(-22)?
False
Let s be (-2)/(-3)*-3 - (3 + -309). Suppose -b + 3*m = -m - 118, 3*b - s = 2*m. Is 7 a factor of b?
True
Suppose 0 = n + n + 3*u - 9, 0 = -5*u + 5. Suppose n*z = 15 + 36. Is 17 a factor of z?
True
Let q be ((-235)/10)/(3/(-6)). Suppose v - q = 133. Suppose -2*c + v = 2*w, 5*w + 0 = -25. Is c a multiple of 29?
False
Suppose 4*y + 0*y + 23 = 3*i, 0 = -5*y - 10. Is (-2)/(-4)*(i + 9) a multiple of 2?
False
Suppose 0 = -3*z - 4*n + 794, 134 + 128 = z + 2*n. Is 12 a factor of z?
False
Suppose p + 15 = 11. Does 7 divide (-1268)/(-20) - p/(-10)?
True
Is 7 a factor of (-4 + -2)*833/(-34)?
True
Let w(g) = -6*g + 79. Does 3 divide w(7)?
False
Let s be (-32)/(-10) + 8/10.