9 divide q?
False
Is 15/(-45) + (-13)/(-3) - -346 a multiple of 2?
True
Suppose m - 7 = 52. Let w = -31 + m. Is 10 a factor of (7 + w)*(-1 + 2)?
False
Let d = 7 - -19. Let z = 19 + -11. Let v = z + d. Is v a multiple of 6?
False
Suppose 0 = 3*c + 5 + 4. Let b be -1*(2 + c + 4). Is 50/b*(-6)/5 a multiple of 7?
False
Let b = 72 + -133. Let h(n) = -6*n**2 - 12*n - 39. Let q be h(-4). Let y = b - q. Does 13 divide y?
True
Let l(c) = 0*c + 17 + 3*c - 2*c. Is 25 a factor of l(8)?
True
Suppose -35*r + 32*r = 0. Let c(l) = 12 + 16 + 5*l**2 - 6*l**2 - l. Is 7 a factor of c(r)?
True
Is 23 a factor of 297 - ((-11 + 1)/2 - -3)?
True
Let f be 3/(-9) - 43/(-3). Suppose -4*k - 2*m - m = f, -k - 4*m = -3. Let r(x) = -x + 7. Does 6 divide r(k)?
True
Let k be 1*(-4 + 1) + 4. Let l(b) = 4*b**2 - 2*b + 4. Let r(p) = p**2 + p. Let i(n) = k*l(n) - 3*r(n). Is 10 a factor of i(9)?
True
Let z(l) = 2*l - 8. Let p be z(5). Suppose p*m = m. Suppose b + m*b = -2*j + 13, -3*j = 5*b - 2. Does 4 divide j?
False
Suppose -41 = -5*u - 16. Let j be (-2 - -2)*u/(-10). Suppose -2*i + 81 = -g - j*g, -i - g = -36. Does 13 divide i?
True
Let k(h) = -3*h**2 + 2*h - 2. Let v be k(3). Let s be (-24)/(-16)*(1 - v). Is (s/21)/((-2)/(-7)) a multiple of 6?
True
Suppose 0 = -21*h + 18*h + 3*c + 819, -3*h + 835 = 5*c. Is h a multiple of 5?
True
Let z = -20 - -982. Does 14 divide z?
False
Let f(j) = -6*j - 16. Let m be f(-3). Suppose -3*k - 39 + 176 = -5*g, 226 = 4*k + m*g. Is 7 a factor of k?
False
Let l = 140 - -172. Is 6 a factor of l?
True
Let h(r) = r**2 - 7*r + 6. Let j be h(6). Let b(q) = -4 + j + 0*q - 6*q. Is b(-6) a multiple of 11?
False
Suppose 1974 = -5*c + 11494. Is 17 a factor of c?
True
Let f = 12 - 11. Suppose -4*m - 39 = f. Is 6 a factor of (m/(-2))/((-2)/(-10))?
False
Suppose -6*u = -u - 175. Let p be (-4)/24*2185 - 1/(-6). Does 9 divide (p/u)/((-2)/5)?
False
Is 51 a factor of (-9)/(-45) + (-1564)/(-5)?
False
Let s(c) = -c**2 - 30*c + 58. Let z(l) = -2*l**2 - 61*l + 117. Let w(k) = 5*s(k) - 2*z(k). Is 10 a factor of w(-24)?
False
Suppose -5*p + p - 12 = 0, -5*p = -2*j + 19. Let r be (-18)/(-15)*75/j. Let m = r + -30. Is m a multiple of 15?
True
Let b(z) = -z**2 - 5*z + 53. Is b(0) even?
False
Let d(j) be the first derivative of -9*j**2 - 6*j - 2. Let n be d(-5). Suppose -3*q = -0*q - n. Does 8 divide q?
False
Is 65 a factor of 9510/5 + -3 + (-2)/(-2)?
False
Let d(x) = x**3 - 12*x**2 + 5*x - 5. Let i be d(12). Does 8 divide i + (2 - 3) - -3?
False
Let y(c) be the first derivative of 5*c**3 + 2*c**2 - 5*c - 18. Does 50 divide y(3)?
False
Let u(k) = 2*k**2 + 4*k - 19. Is u(5) a multiple of 17?
True
Suppose -4*l = -d - 188 + 1192, 3*d - 3012 = -2*l. Is d a multiple of 12?
False
Let k = 6 - 0. Let n be -6*(-1 + 22/k). Let f = -8 - n. Is 8 a factor of f?
True
Let b(q) = q**2 + 10*q - 3. Let x be b(-10). Does 17 divide 47 + (12*-1)/x?
True
Let k be (-54 - 2)*((-4)/(-1) - 5). Is 6 a factor of k*1 - (-8)/4?
False
Suppose 2*o + 3*l - 74 = 0, 3*l - 167 = -5*o - 0*l. Suppose -5*q + 4 = -o. Suppose -2*g - q = -83. Is 8 a factor of g?
False
Let s = -156 + 225. Is 7 a factor of s?
False
Let z be 28/(-8)*12/(-21). Suppose 0 = -4*d + z*n + 18, -4*n - 2 - 24 = -3*d. Does 11 divide (-2 - -61) + (d - 6)?
True
Let j(r) = -r + 1. Let b be j(-3). Let u be (-6 - (-8 + 4))*1. Does 12 divide 2 - ((u - b) + -4)?
True
Let l = 1196 - 764. Is l a multiple of 24?
True
Let h = 213 + -49. Let m = 45 - h. Let k = m + 167. Does 12 divide k?
True
Let o = -1 + 3. Let a(v) = -4*v - 3*v**2 - 1 + 4*v + 4*v - o*v + 7*v**3. Is a(2) a multiple of 13?
False
Suppose -5*r - 5*l + 469 + 141 = 0, -4*r + 3*l + 495 = 0. Suppose -244 = r*x - 127*x. Is 7 a factor of x?
False
Let a be (-336)/9*18/(-4). Let b be (-2)/10 + a/15. Suppose 7*r = 6*r + b. Is r a multiple of 6?
False
Is (-14)/(98/(-1533)) + 0 a multiple of 52?
False
Let l(u) = 7*u**2 + 10*u - 4. Let i(o) = 15*o**2 + 21*o - 8. Let f(v) = -6*i(v) + 13*l(v). Is f(-8) a multiple of 11?
False
Let k(v) = -6*v - 39. Does 9 divide k(-11)?
True
Suppose -3*r = 4*c - 6*r + 204, 252 = -5*c + 3*r. Let f be -1 + 2 + (-33 - -3). Let m = f - c. Does 19 divide m?
True
Is 19 a factor of (-266)/(-3)*(-18)/(-7)?
True
Suppose -3*i - 3*q = 45, -i + 2 = -5*q - 1. Is 6 a factor of (1 - -15)*7/((-42)/i)?
False
Suppose -11*g + 25930 = -g. Is 122 a factor of g?
False
Is 16 a factor of 210/(-98) - (-2)/14 - -2418?
True
Let l(n) = -2*n**3 + 11*n**2 - n - 2. Suppose 2*u - 4 = 0, 0 = -4*r - 4*u + 22 + 2. Does 7 divide l(r)?
True
Suppose -20*q + 656 = -16*q. Is q a multiple of 12?
False
Suppose -10*t = -23*t + 1599. Is t a multiple of 10?
False
Suppose -18*v = -14*v. Suppose v = 6*p - 9 - 93. Is p a multiple of 5?
False
Let g(a) be the third derivative of -3*a**4/4 + a**3 + 3*a**2. Let s = 122 - 125. Does 30 divide g(s)?
True
Suppose 4*m + d = 16457, -11*m - 4*d - 20545 = -16*m. Is m a multiple of 64?
False
Let z(k) = k**3 - 2*k**2 + 5. Let v be z(2). Suppose v*o - 7*o = -64. Is 32 a factor of o?
True
Let w(d) = -241*d + 1. Is 7 a factor of w(-2)?
True
Let l(t) = t**2 - t + 41. Let s be l(-10). Suppose -4*f + 6*k - 3*k = -529, -3*k + s = f. Is f a multiple of 17?
True
Let q = -26 + 44. Let g be 141/27 - 4/q. Suppose 0 = -d + 5*o + 48, 0 = g*d - 4*o + 5*o - 240. Is d a multiple of 16?
True
Let o be 2/(-10) - 289*7/35. Is (1/1 - 2)*o a multiple of 9?
False
Let r = -1762 + 2980. Does 14 divide r?
True
Let d(b) be the second derivative of 61*b**5/20 + b**4/12 - b**3/6 - b**2/2 + 8*b. Let n be d(-1). Let r = -18 - n. Is r a multiple of 7?
True
Let t(w) = -w**3 + w**2 + 2*w. Let u be t(2). Suppose 2*l - l - 6 = u. Is (51/l)/(2/8) a multiple of 14?
False
Let s be (-1)/(4/600)*-1. Suppose 0 = 2*v - s - 398. Suppose 0 = 3*z - 5*t - v, 2*z + 2*t = 272 - 84. Is z a multiple of 19?
False
Let c be (-9)/15 - 524/10. Let f be (-89)/4*-2*2. Let j = c + f. Is 12 a factor of j?
True
Let a = 43 + -31. Suppose -336 = -19*l + a*l. Is l a multiple of 4?
True
Suppose -2*i = 638 - 246. Let g = i - -365. Is 13 a factor of g?
True
Suppose 5*h - 167 = -3*s, -4*h + 3*s = -0*h - 139. Suppose f + 5*p = -h, 0 = -4*p + 2*p - 8. Is 6 a factor of f/(-49) + (-117)/(-7)?
False
Suppose 34 = 4*f + 14. Let b = f + -5. Suppose 5 = -b*w + w. Is 4 a factor of w?
False
Let i be ((-3)/(-1) + -4)/((-1)/3). Is 40 a factor of 249 + (i + -2)*(3 - 4)?
False
Suppose 4*w = 486 + 26. Suppose 0 = -y - 3*i + 37, 0 = 4*y + 5*i - w - 55. Is 26 a factor of y?
True
Suppose -7*g - 3 = -3. Suppose 3*n - 3*s - 33 = 0, -4*n + 3*s + 42 = -g*s. Is n a multiple of 9?
True
Let c = 848 - -440. Is 14 a factor of c?
True
Suppose 4*g + 8 = 0, 0*r - 3*r + 5*g + 730 = 0. Is 10 a factor of r?
True
Suppose 21*m = 17*m + l + 10602, 0 = -5*m - 2*l + 13246. Does 10 divide m?
True
Is 1 - 5/(5/(-3)) - -191 a multiple of 39?
True
Let t(d) = -3*d**2 + d - 1. Let n be t(1). Let k = n + 6. Suppose 5*s - k*a = 206, 4*s - 5*s - 2*a + 36 = 0. Does 10 divide s?
True
Let b(z) = -17*z + 1. Let i be b(2). Is (-720)/i - 2/(-11) a multiple of 11?
True
Let k(q) = q**2 + 9*q - 4. Let j be k(-10). Let n = j - 10. Does 3 divide (-14 - 2)/(n + 2)?
False
Let g(a) = -16*a + 32. Is 8 a factor of g(-20)?
True
Is (-2)/(-2 - (-265)/135) - 2 a multiple of 17?
False
Suppose -4*m + 136 = -p - 2*m, 579 = -4*p + m. Let z = p - -254. Is 18 a factor of z?
True
Suppose -10*r + 21*r - 264 = 0. Suppose r*g - 62 = 23*g. Is 15 a factor of g?
False
Suppose -4*x + 39 = -49. Let q(k) = -k + 48. Does 9 divide q(x)?
False
Let o = 1 - 1. Suppose 5*b - 379 - 131 = o. Is 17 a factor of b?
True
Let t be -3*(-48)/(-36) - 20/(-2). Let g(n) = -4*n**2 - 8*n + 23. Let p(r) = -r**2 - r + 1. Let i(x) = g(x) - 5*p(x). Is i(t) a multiple of 17?
False
Let l(s) be the first derivative of -3*s**2/2 - 6*s + 1. Suppose 18*x = 822 - 930. Is 3 a factor of l(x)?
True
Let d = -163 + 183. Is d a multiple of 5?
True
Let d = 834 + -571. Suppose 8*k = 3*k + 25, 2*a = 5*k - d. Let q = a + 173. Is q a multiple of 18?
True
Suppose -19741 - 5715 = -43*m. Is 8 a factor of m?
True
Let r(g) be the second derivative of -g**3/6 - g**2 + 5*g. Let l be r(-4). Does 11 divide (-2 - (l + -34)) + -2?
False
Let q(x) = -8*x**3. Let h be q(-1). Suppose 0*u = -2*u + h. Suppose 0 = -3*k - t + 28, -35 = -u*k - t + 2*t. Is k a multiple of 7?
False
Let j = -2 