 - 17*t = -24. Let r be t + 0 - (3 - 25/5). Suppose -4*m + 14 = -r, 2*j + 2*m - 326 = 0. Is 36 a factor of j?
False
Let j(r) = -6*r + 6. Let k be j(-12). Suppose 3*s - 3*c = 8*s - k, -s = -c - 22. Suppose 3*g = 2*g + 2*z + 9, s = g + z. Is 2 a factor of g?
False
Let w = 84 - 82. Suppose -2*s + b - w = -b, -s - 13 = -4*b. Suppose -5*t + 112 = s*p - 339, 2 = p. Is 8 a factor of t?
False
Suppose 0 = 4*r - 2*r - 5*q + 2212, -1092 = r + q. Let l = -739 - r. Is l a multiple of 21?
True
Is 2/(1 - 17) - (-1 + 1857597/(-168)) a multiple of 122?
False
Let g(y) = -27*y**3 - 2*y**2 + y - 2. Let p be g(-2). Let a = p - 0. Suppose 7*o - a = -8. Is 28 a factor of o?
True
Let u be (-3)/(-2) + (-66)/(-44). Let y(r) = -r**2 - 52*r - 75. Let a be y(-22). Suppose -u*t + a = 147. Does 35 divide t?
False
Suppose -5*q = 5*t - q + 244, 2*q = 4*t + 190. Is 168/((-162)/t + -3) a multiple of 14?
True
Let z = 8 - 95. Let l = 146 + z. Let f = 263 - l. Is f a multiple of 25?
False
Suppose -2400 = -27*n + 22*n. Suppose n = 11*i - 5*i. Is 2 a factor of i?
True
Is (-174 - -59)*(30/175)/(2/(-7462)) a multiple of 39?
True
Let p = -38 + 40. Suppose 0 = 3*o + o + 3*d + 22, -d + p = 0. Is o/(34/(-8) - -4) a multiple of 14?
True
Suppose -14693 = -6*i + 16045. Suppose -i = -20*h + 2417. Is 5 a factor of h?
False
Suppose -1 = -8*q + 7. Let j be 14*q - (4 - 3)*1. Let m(r) = 4*r - 28. Does 10 divide m(j)?
False
Let n = 49 - 42. Suppose -12 = n*k - 3*k. Is 20 a factor of ((-9)/k)/(-1) - -148?
False
Let y = -109 - -104. Let k(n) be the third derivative of -17*n**4/24 - 38*n**3/3 - 6*n**2. Is 3 a factor of k(y)?
True
Let g be (-106 + 0)/(1/(-2)). Let w = -230 - -234. Suppose 0 = -w*c + 2*c + g. Is 20 a factor of c?
False
Is 812861/84 - (-4)/240*5 a multiple of 16?
False
Suppose -3*o - 3 = -6*o. Let a be 5 + o + 1 + -3. Is 16 a factor of a*7/((-21)/(-24))?
True
Let z = -126 + 138. Let q be (-6)/((2*1)/((-16)/z)). Is 41/((q - 3)/4) a multiple of 32?
False
Let p = 2367 - 682. Suppose 0 = 3*k - p - 1531. Is 16 a factor of k?
True
Suppose 7*r + r + 48 = 0. Let w be 0*(2/r)/((-3)/(-9)). Let h(i) = -i**2 + i + 18. Is h(w) a multiple of 9?
True
Let d = 41 + -76. Is 22 a factor of (-21)/d - 516/(-15)?
False
Let s = -306 + 303. Suppose v - 2*w + 5*w + 4 = 0, -4*v = 4*w. Is 8 a factor of -172*(s - v)/20?
False
Let u be (-7*1)/(-1 + 0). Let c be (-1)/2 + 2/(-20)*15. Let i = c + u. Is i a multiple of 2?
False
Does 17 divide (-191756)/(-16) - (-4 + (-180)/(-48))?
True
Suppose -62472 = 35*k - 73*k. Is 2 a factor of k?
True
Let f(b) = b**2 - 22*b + 118. Let t be f(12). Is 28 a factor of t + 7 - (-903 - -28)?
False
Let d(u) be the first derivative of -2*u**2 + 15*u + 117. Does 10 divide d(-23)?
False
Let w(u) = -138*u + 82*u - 97 - 28*u. Is w(-5) a multiple of 17?
True
Suppose 0 = -12*j - 6*j - 54. Let n(o) = -1. Let m(l) = -28*l - 2. Let b(w) = 2*m(w) + 6*n(w). Is 39 a factor of b(j)?
False
Let f be (3 - (-162)/(-30))/(1/5). Let m(c) = c**3 + 11*c**2 - 14*c - 19. Let d be m(f). Suppose d*k - 25 - 100 = 0. Does 6 divide k?
False
Let h(t) = -4*t - 17. Let y be (14/3)/((-26)/(-6) + -5). Let j(k) = -3*k - 17. Let p(q) = y*j(q) + 6*h(q). Does 19 divide p(-7)?
True
Does 12 divide ((-11)/((-77)/(-2034)))/(156/(-1456))?
True
Suppose 243 = 3*i - p + 61, 2*p = 4*i - 240. Let g(l) = 143*l + 1040. Let t be g(-7). Let o = i - t. Is 23 a factor of o?
True
Let o = 19 - 17. Suppose -g = i - 25, 0 = -2*g + i - o*i + 50. Suppose x - 3*t - 37 = 0, 0*x - g = -x - t. Is x a multiple of 14?
True
Let c = 6 - 1. Suppose c*q + 84 = 11*q. Let p = q - -11. Does 9 divide p?
False
Let g(x) = -2*x**2 + 14*x + 10. Let p be g(11). Let w = -82 - p. Is (-60)/(-45)*(-111)/w a multiple of 37?
True
Is 10/8*4 + 3687 a multiple of 31?
False
Suppose 4*l - 2*g = 0, 2*l - 2*g + 2 = -0*g. Let i be -66 + (2/6)/(l/(-9)). Let t = 192 + i. Does 24 divide t?
False
Suppose 4*p - 52 - 91 = 5*k, 0 = 5*k + 5*p + 125. Is (9/k)/(3/(-36)) a multiple of 4?
True
Let i = -63 + 66. Suppose -23 + i = -4*d. Suppose -4*r + 188 = -3*x, -2*r + d*r = 5*x + 141. Does 42 divide r?
False
Suppose -26*h = 6067 - 19405. Is h a multiple of 9?
True
Let m = -1838 + 3549. Is m a multiple of 59?
True
Suppose 4*a + 2*r - 242 = 0, 12*a - 15*a + 169 = 4*r. Is 9 a factor of a?
True
Suppose -y + 30919 = 2*t, 4*y - 4*t = -5*t + 123627. Does 7 divide y?
True
Suppose 1 = -b + 3*k, -6*k + 10*k = -2*b - 12. Does 36 divide b*372/(-16) - -2?
False
Let v(c) = -212*c - 248. Does 10 divide v(-4)?
True
Suppose -4*q - 4*r + 12 = 0, 0 = -3*q - 7*r + 3*r + 7. Suppose -n + 7 = t - 5*t, -n - q = 2*t. Does 15 divide -10*(-4)/(-32)*(-73 - n)?
True
Suppose -9*p + 2025 = -30411. Suppose 48*s - 50*s + p = 4*i, 2*i - 1802 = 2*s. Does 8 divide i?
False
Let q = 46 + -25. Suppose -4*k + 3 = -q. Is (-10 - -4)*(-16)/k a multiple of 6?
False
Suppose -8627*g = -8630*g + 9693. Is g a multiple of 148?
False
Let k = 24104 + -6086. Is 14 a factor of k?
True
Suppose -4*o - 3*j = -33462, -4*o - 2*j + 1013 = -32447. Is o a multiple of 12?
True
Let r = 8413 - 4759. Does 18 divide r?
True
Let p = 3298 + -3181. Is 13 a factor of p?
True
Let s(n) = 16765*n - 930. Is s(2) a multiple of 163?
True
Suppose 0 = -2*k + c + 892, -2*c = -k + 3*c + 464. Suppose -235*t + 241*t = k. Is 5 a factor of t?
False
Is -52*((-31926)/238 - (-6)/(-7)) a multiple of 52?
True
Let o = 26744 + -18436. Is o a multiple of 124?
True
Let i(u) be the first derivative of 8*u**3/3 - 8*u**2 + 116*u + 225. Does 84 divide i(10)?
True
Let y = -14 - -19. Let r = -2 - y. Let v = r + 63. Does 10 divide v?
False
Let u = -179 + 195. Is ((-40)/u)/(682/(-340) + 2) a multiple of 20?
False
Let w(f) = -10 + 2 + f**2 + 15*f - 12 - 12*f. Let h be w(17). Suppose 0 = -v + 4*x + 64, -2*v - 3*v + h = -2*x. Is v a multiple of 16?
True
Let g(n) = -2*n + 36. Suppose 2*k - 3*v = 17, 4*k - 2*v - 24 = 6. Let r be g(k). Suppose -8 = -2*p, -2*o - p = -o - r. Is o a multiple of 3?
True
Let w = -42125 - -71603. Is w a multiple of 51?
True
Suppose 54 - 46 = 4*o. Let w(j) = o*j - 3*j - 611 + 642. Does 7 divide w(-4)?
True
Let c(l) = 2*l + 9. Let a(x) = -x**3 + 6*x**2 - 9*x + 1. Let z be a(4). Let r be c(z). Suppose -r*u + t + 68 = 0, -t = 6*u - u - 124. Is u a multiple of 10?
False
Let d(o) = o**3 + 4*o**2 + 19*o + 2040. Does 4 divide d(0)?
True
Suppose -24*s - 27*s + 519257 = 156596. Does 20 divide s?
False
Let s be 800/(-500) - (-1 + (-7)/(-5)). Is 3 a factor of s/(4/10) - (-4263)/49?
False
Let v be (-6)/3 - 2 - 0. Let f = -386 - -374. Is 33 a factor of 178 - (-1 + f/v)?
False
Suppose -16528 = -4*l - p, -261*l + 8268 = -259*l + p. Is 14 a factor of l?
True
Suppose f = 0, 2*j = 8*f - 9*f - 748. Let x = 72 - j. Is 18 a factor of x?
False
Let u(q) = 3*q**2 + 14*q - 5. Suppose 0*r + 4*r = -24. Let c be (r + -2 + 5)*3. Is 7 a factor of u(c)?
True
Suppose 28*b - 85804 + 5920 = 0. Is 66 a factor of b?
False
Let c = -21797 + 54181. Does 22 divide c?
True
Let z be (-40)/6*9/(-6) - 0. Let b = z - 14. Is (-1134)/(-45)*(-10)/b a multiple of 21?
True
Let t(k) = -4*k**2 - 20. Let r be t(15). Let m = -824 - r. Is 3 a factor of m?
True
Suppose -4*g + h = 1062 - 7978, 3*h = -g + 1716. Is 96 a factor of g?
True
Let h(y) = -y**3 - 27*y**2 + 20*y + 2. Suppose 9*u + 222 + 30 = 0. Let o be h(u). Suppose g + 3*g + 2*k = 458, -2*k - o = -2*g. Is 19 a factor of g?
True
Suppose 3*d = 1866 + 1467. Suppose -37*y + 48*y = d. Is y a multiple of 30?
False
Suppose a - 5*q - 1368 = 2527, 5*a = 2*q + 19498. Is a a multiple of 75?
True
Let c be (12/(-7))/(6/(-42)). Let y(h) = 2026 + 12*h + c*h - 2080. Does 21 divide y(8)?
False
Does 44 divide 142072/49 + (-30)/70?
False
Let b be (6 + 8 + -3)*(-2)/2. Let o(a) = 3*a**2 + 22*a + 40. Let x(g) = -16*g**2 - 110*g - 199. Let v(i) = b*o(i) - 2*x(i). Does 15 divide v(-13)?
True
Let r(f) = -9*f + 103. Let t(q) = 4*q - 52. Let x = 73 + -80. Let y(l) = x*t(l) - 3*r(l). Does 14 divide y(9)?
False
Suppose -3*w - 3*j - 2477 = -8*w, -5*w + 2445 = 5*j. Let a = w + -299. Does 13 divide a?
False
Let w(s) = 37*s + 110. Let g be w(-6). Let d = g - -249. Is 12 a factor of d?
False
Suppose 0*x = 3*x - n + 268, -4*x - 2*n = 354. Let z = 302 + x. Suppose z = 10*v - 187. Does 10 divide v?
True
Let z(j) = j**3 + 31*j**2 + 20*j - 49. Let s be z(-30). Suppose -2*r + 413 = 5*b, 2*b - 2*r = 5*