 -3*m + d = 2*c + 11. Suppose 17*v + c = 19*v. Is 10 a factor of v?
False
Let l(t) = -177*t - 475. Does 26 divide l(-9)?
True
Let a(w) = w**2 - 7*w - 25. Let u be (-13 - -10) + (16 - 2). Is 4 a factor of a(u)?
False
Suppose -5*o = -6*o + 13. Suppose -5*c + 3*m = -11, -5*c + o = -4*c + 3*m. Is c a multiple of 3?
False
Suppose -15*j + 7320 + 53940 = 0. Is j a multiple of 66?
False
Suppose 4*r = -g + 46, 7*g + 3*r - 247 = 2*g. Suppose 0 = 2*k - 2*i - 50, 5*k - 119 = -5*i + 4*i. Suppose -g = -2*j + k. Is j a multiple of 12?
False
Let b(u) = u**3 - 6*u**2 - 5*u - 10. Let k(g) = -g**2 + 1. Let q(x) = -b(x) - 2*k(x). Let t be q(8). Suppose v = 4*v - t. Is 16 a factor of v?
True
Suppose 234 = -0*u - 3*u. Let j = 208 + u. Suppose 9*s - 4*s - j = 0. Does 13 divide s?
True
Let k be (-3)/(-2) + 931/14. Let v = -11 + k. Is 19 a factor of v?
True
Suppose -2 = p, 2*i = -3*i + 4*p - 52. Is ((-8)/i)/(2/15) a multiple of 5?
True
Let g(j) = -j - 6. Let c be g(-6). Suppose 3*q - 75 - 423 = c. Is q a multiple of 14?
False
Suppose 62*o - 643 = 597. Is o a multiple of 20?
True
Suppose -3*k + 1249 = -4*w - 727, 4*k = -2*w + 2664. Is k a multiple of 29?
False
Let d be (12/(-2))/(0 + -2). Suppose -5*k - d*h + 10 = 0, 4*k = 4*h - 3 + 11. Is 7 a factor of 10 - 2/(k/3)?
True
Let t = -10 - -32. Suppose 7 = -3*o + t. Let z(h) = h + 9. Is 6 a factor of z(o)?
False
Suppose 0 = -16*u - 8 + 40. Suppose 2*s = 3*v - 0*v - 11, -4*v = 5*s + 16. Suppose v = -u*m + 15. Does 5 divide m?
False
Let i(p) = p**3 + 3*p**2 - 6*p - 6. Let a be i(-4). Suppose 3*f = -4*v + 45, -2*f = -a*v + 3*f + 29. Is v a multiple of 4?
True
Let m(a) = -a**2 + 7*a - 4. Let p be m(6). Suppose -u + 113 = 2*r, 3*r - 6*r - p*u = -170. Does 28 divide r?
True
Suppose 40 = -4*g - 4*f, -3*g + 4*f + 1 = 17. Let y = 12 + g. Suppose -6 = -5*m + y. Is 2 a factor of m?
True
Suppose -13*l + 16*l = -4*w + 15782, 15780 = 4*w + 2*l. Does 68 divide w?
True
Suppose -5*p + 4 = -11. Suppose p*v - 91 = 11. Is v a multiple of 17?
True
Suppose -23*n + 69 = -46. Let l = 303 - 62. Suppose n*j + 11 = l. Is j a multiple of 23?
True
Is 7 a factor of (10 + (-40626)/(-45))/((-4)/(-10))?
True
Suppose -4*k + 852 = 3*d, 0*k = -k - d + 214. Suppose -10*c - k = -1640. Is 13 a factor of c?
True
Let r = 12 - 9. Let s(x) = x**3 + 0 + 2*x + x**2 + 4 - r*x - 3. Does 5 divide s(2)?
False
Let s(p) = 3*p + 32*p**2 - 61*p**2 + 40*p**2 - 20. Is s(4) a multiple of 10?
False
Suppose 15*o + 56 = 19*o. Suppose 503 = o*v - 757. Is v a multiple of 10?
True
Let v be ((-16)/12)/(4/6). Is 10 a factor of (-9)/(27/v) + (-238)/(-3)?
True
Let f(h) be the second derivative of -h**5/20 + 5*h**4/6 + 5*h**3/3 - 13*h**2/2 + 22*h. Is 29 a factor of f(10)?
True
Let s(q) = -161*q - 311. Does 8 divide s(-7)?
True
Suppose -i - 2072 = -4*r + 243, 3*r = -i + 1745. Is r a multiple of 42?
False
Let k = -43 + 49. Let p(q) = -q**3 + 8*q**2 - 12*q + 13. Is p(k) a multiple of 2?
False
Let l be (-2)/(-3) + (-3256)/(-12). Let k = -173 + l. Does 13 divide k?
False
Let m(b) = b - 20. Let c(a) = a - 14 + 19 - 26. Let f(o) = -3*c(o) + 2*m(o). Is f(-10) a multiple of 11?
True
Suppose 125 = 15*s - 10*s. Does 14 divide ((-3)/5*34)/((-10)/s)?
False
Suppose 5*y + 16*w - 1907 = 12*w, w = -2*y + 764. Is y a multiple of 2?
False
Let f(v) = 5*v + 27. Let d be f(-5). Suppose -d*i + 229 = 2*g - 3*i, 3*i - 366 = -3*g. Does 39 divide g?
True
Let n = 137 + -77. Is n a multiple of 10?
True
Let r(x) = 5*x**2 + 3*x - 3. Suppose -6 - 9 = 5*z. Is 9 a factor of r(z)?
False
Let b be 0 + -59 - (-51)/17. Let q = -135 - b. Let c = q + 126. Does 19 divide c?
False
Let b = 48 - 29. Suppose -b*v = -21*v + 594. Is v a multiple of 48?
False
Suppose 17*f - 6*f - 55 = 0. Is 4 a factor of f?
False
Suppose -y - 2*y = 18. Let k be 10/y - (-4)/(-3). Does 12 divide (36/10)/(k/(-15))?
False
Suppose -27*i - 1510 = -29*i. Suppose 5*c - 5*a - i = 0, -4*c - 2*a - 449 = -7*c. Does 21 divide c?
True
Suppose -16*y + 6256 = -9040. Does 35 divide y?
False
Let a = 28 - 41. Let v(b) = b**2 - 19*b - 21. Let k be v(21). Let q = a + k. Is 4 a factor of q?
True
Let i(t) = -t**3 + 6*t**2 + 7*t - 8. Let s be i(7). Let h(a) = 5*a + 7*a**2 + 0*a + 2*a**2 - 9 + a**3. Is 8 a factor of h(s)?
False
Suppose -4*n + 3*u + 213 = -0, -3 = u. Is 3 a factor of n?
True
Suppose b = -h - 3*h + 223, 2*b + 181 = 3*h. Let y = 91 - h. Suppose 3*c - c = y. Is 12 a factor of c?
False
Let g(k) = k**3 + k**2 - 3*k + 11. Let j be g(0). Let p(h) = -h**3 + 12*h**2 - 10*h - 2. Let f be p(j). Suppose -f = 3*t - 60. Is 17 a factor of t?
True
Suppose -2*o - 2*j + 26 = 0, 4*j - 3*j = o - 11. Suppose -5*h - 4 = 2*l - o, 2*h - 2*l + 8 = 0. Suppose -v + 3 + 11 = h. Is v a multiple of 6?
False
Suppose 5*h + 5584 = 4*g, 5*g - 6993 = -12*h + 15*h. Is 10 a factor of g?
False
Let c = -49 + 99. Let i = c + 40. Is 14 a factor of i?
False
Let o(c) be the first derivative of 4*c**2 - 4*c**2 - 15*c + 2 + c**2. Is 3 a factor of o(13)?
False
Suppose 2*p - 3*p = -2*l + 589, 1181 = 4*l - p. Is l a multiple of 8?
True
Does 4 divide (-206)/(-4) + 9/18?
True
Suppose -4*z = -3*z - 4. Is 11 a factor of 2*((-594)/z)/(-9)?
True
Let l = 57 + -53. Suppose -25 = -o + k, -k + 94 = l*o - 3*k. Is o a multiple of 5?
False
Does 14 divide -35*(167/(-5) - 5)?
True
Let r = 41 + 38. Suppose -6*i = -335 - r. Is 8 a factor of i?
False
Let z(q) = -q**3 + 2*q**2 + 5*q + 7. Let u be z(4). Let v(o) = -2*o + 19. Is 5 a factor of v(u)?
False
Does 18 divide ((-12336)/(-36) - 11) + (-2)/3?
False
Let u(k) = k**2 - 4. Let z be u(-3). Suppose z*f + 0 = -3*w - 117, 4*f - 5*w + 64 = 0. Is 2 a factor of (-1 - f/9)*3?
True
Let z be (-2 - -88)/((-6)/(-12)). Let w = -99 + z. Is w a multiple of 15?
False
Let t(x) = -x**3 + 44*x**2 - 131*x + 62. Is 47 a factor of t(40)?
True
Suppose 4*j = 3*k + 56, 3*k + 7 = 2*j - 27. Suppose -j = s - 17. Is s a multiple of 5?
False
Let c = -5 - -13. Let i = c + 16. Is 4 a factor of i?
True
Let z(v) = v**2 + v + 6. Let n be z(-3). Suppose 3*o - 18 = 3*p, 2*p = -o + 5*p + n. Suppose 81 = o*s + 6. Is s a multiple of 9?
False
Let l = 807 - 639. Is l a multiple of 9?
False
Suppose -2*l + 29 = -3*n, n = -2*l - 2 + 11. Suppose -4*x + l*x = -2*v + 303, 3*v = 2*x - 215. Is x a multiple of 14?
False
Let n = -9 - -19. Let k = 9 - n. Let s(h) = 3*h**2 - h - 1. Does 3 divide s(k)?
True
Suppose -m + 5*m - 16 = 0. Let g be (-20)/m + 4 - 8. Let z = g - -29. Is z a multiple of 5?
True
Let f = 95 + -31. Let i = 71 - 69. Suppose -3*p - 4*o + f = 0, -2*o - i*o = 5*p - 112. Does 8 divide p?
True
Let m be (2/5)/(4/50). Let c(v) = 11*v - 11. Does 19 divide c(m)?
False
Is 12*(-57)/(-30)*20 a multiple of 38?
True
Let u(g) = -g**3 + g**2 - 1. Let q(c) = -9*c**2 - c + 5. Let l(k) = -q(k) + u(k). Let x be l(10). Suppose x*j = 57 - 13. Does 5 divide j?
False
Does 91 divide 1700 + -4 + -4 + 7?
False
Suppose -5*v - 7 = i, -14 = -2*i + 5*v + 2. Let l be ((-1)/i)/((-2)/18). Suppose l*x + x = 124. Is x a multiple of 8?
False
Suppose 30*k = 12*k + 3330. Is 8 a factor of k?
False
Is (988/(-16))/(13/(-104)) a multiple of 3?
False
Let t(p) = -p**2 + 3*p - 2. Let m be t(3). Let g(q) = -2*q**3 - q**2 - 3*q - 3. Let o be g(m). Is 13 a factor of o*(2 + (-2)/2)?
False
Let a = 51 + -49. Suppose -116 = -2*o - a*n, -n - 45 = 4*o - 271. Is o a multiple of 7?
True
Let d(t) = t**3 + 9*t**2 + 11*t + 3. Let b be d(-9). Let m = 9 - b. Is 29 a factor of m?
False
Suppose 0 = o - 5*o. Let k be 20/(-4) + 2 + 5. Suppose o = -n + i + 13, -i + 9 = k*i. Is n a multiple of 6?
False
Let j(b) = -b**2 + 8*b - 2. Let w(l) = 1. Let f(g) = j(g) - 6*w(g). Let m be f(7). Is (1 + -4)/m + 3 a multiple of 4?
False
Does 25 divide ((-6)/18)/(4/(-21492))?
False
Let q(i) = -4*i + 22. Let x be q(5). Suppose 5*l = 5*f + l - 653, 4*f - 526 = x*l. Does 17 divide f?
False
Let v(j) = -j**2 + 14*j - 7. Let x be v(13). Is 584/10 - x/15 a multiple of 14?
False
Let k(g) = g**3 - 10*g**2 - 9*g - 9. Suppose 2*r + 2 - 4 = -2*b, -4*b - 2 = r. Let v be 6 + 5 - (b - -1). Is k(v) a multiple of 13?
True
Let h = 26 - 9. Suppose 4*l = 3*x - h - 116, -4*x + 168 = 4*l. Is 11 a factor of x?
False
Let x(q) = 3*q - 2*q + 6*q**3 - 4 - q**3 - 4*q**3 + 6*q**2. Suppose 0 = 3*c - 0*c + 12. Does 12 divide x(c)?
True
Let g be 2/((-884)/292 + 3). Suppose -4*k + 8 = 0, -2*b - 2*k + 4*k = -222. Let 