. Does 28 divide i?
False
Suppose -5*i + 9420 = 5*g, 5*i - 307*g + 302*g = 9470. Is 5 a factor of i?
False
Suppose -35*g - 9 = -36*g - 4*r, g = -2*r - 1. Let s(k) = -k + 25. Is 2 a factor of s(g)?
True
Let g(z) be the first derivative of z**4/4 - 16*z**3/3 - 25*z**2/2 + 32*z + 15. Does 10 divide g(18)?
True
Suppose 2*w = 2*m - 586 - 1118, 5*w - 1704 = -2*m. Does 24 divide m?
False
Let p(b) = 189*b + 4259. Does 15 divide p(11)?
False
Let t = 4674 - 4292. Is t a multiple of 11?
False
Let t(g) = -2*g + 6879 + 4*g - 6600 - 3*g**2. Is t(0) a multiple of 31?
True
Suppose -104688 + 9138 = -30*u. Is u even?
False
Let g(x) = x**3 + 19*x**2 + 10*x - 32. Let o be g(-18). Suppose o + 248 = 9*u. Is 4 a factor of u?
True
Let u(x) = -x + 18. Let z be u(14). Suppose -11*p - z = 7. Is 15 a factor of -4 + 0 - 94*p?
True
Let g(k) = 23*k - 19. Let p(a) = -68*a + 58. Let h(d) = 16*g(d) + 5*p(d). Is h(11) a multiple of 11?
False
Let o(h) = h - 17. Let t be o(22). Suppose 613 = t*y - 377. Does 11 divide y?
True
Suppose 0 = -3*a + 269 - 521. Is 14 a factor of (-17010)/a*(1 + (-1)/(-3))?
False
Suppose -45*y - 78735 = -293272 - 82193. Is 42 a factor of y?
True
Let n(c) = c**3 - 16*c**2 + 18*c - 1. Let b be n(6). Let r = 292 + b. Is 13 a factor of r?
True
Let a(l) = -5*l - 18. Let y be a(-5). Suppose -2*d + 35 = -y*d + 5*v, 0 = -5*d + 3*v - 33. Is 5 a factor of 12/(-8)*76/d?
False
Does 17 divide -574 + 35494 - (-10)/(2 + 0)?
False
Let k = 496 + -491. Suppose 749 = 2*f + k*w, 447 = 4*f + 5*w - 1046. Is 12 a factor of f?
True
Let u(c) = c**3 - 29*c**2 + 182*c + 92. Is 12 a factor of u(23)?
True
Suppose -15*c - 53600 = -19*c + 4*k, 2*c - 26782 = -k. Is c a multiple of 10?
False
Let f be (-25)/20 - (-80)/64. Suppose f = 25*c - 8609 - 1041. Is 3 a factor of c?
False
Suppose 0 = 3*o - 14*o + 374. Suppose o = -3*t + 487. Is 4 a factor of t?
False
Is 2 a factor of 68780/665 - ((-20)/(-14) - 2)?
True
Let l be 1*(-1)/2 - (-248)/16. Suppose -2*o - l = -3*o + 4*i, o + 5*i - 15 = 0. Does 8 divide 18/9 - o*-2?
True
Let f be (13/(-12)*4)/(2/(-6)). Let u(l) = -l**2 + 19*l + 6. Does 21 divide u(f)?
True
Let k(p) = -p**2 + 11*p - 5. Let u be k(10). Let s = -10 + 72. Suppose s = u*l - 5*q - 768, 5*q = -5*l + 830. Does 7 divide l?
False
Suppose 2323376 - 78056 = 54*t. Is 10 a factor of t?
True
Suppose 4*s = 5*l - 4*l + 28, 3*s - 4*l = 34. Suppose 782 = s*o - 364. Is o a multiple of 18?
False
Let j = -40 - -59. Let x = -75 + 71. Let l = j + x. Is 3 a factor of l?
True
Let d(m) = 36*m**2 + 42*m - 393. Is 77 a factor of d(13)?
True
Let p = -36 + 36. Suppose 5*u = -2*l - 265, 2*u + p*l + 92 = 2*l. Let x = 107 + u. Is x a multiple of 15?
False
Let w(p) = 5*p**2 - 298*p - 114. Is w(-10) even?
True
Suppose 5*o + 135 = 3*k, o = 2*o. Is 18 a factor of 3*7 - (k + -42)?
True
Suppose -5*o = 2*p + 1 - 1574, 4*o - 4*p - 1264 = 0. Let i = 626 + o. Is 62 a factor of i?
False
Let h(o) = 10*o + 2. Let g = 131 + -112. Is 16 a factor of h(g)?
True
Let u = -565 + 3440. Let c = -2001 + u. Does 23 divide c?
True
Let z = 296 + -176. Let r = z - 1. Let l = r + -53. Does 10 divide l?
False
Let z = 205 - 185. Suppose -w - 2*m + 33 - 11 = 0, -5*m = -4*w + 101. Is 50/3*w/z a multiple of 20?
True
Let g(s) = -84*s**2 + 181*s**2 - 2 - 92*s**2 + 4*s. Does 35 divide g(-5)?
False
Let s be (4/10)/(4/80). Let y(a) = 3*a**2 - 21*a + 12. Is 6 a factor of y(s)?
True
Let x be ((-15)/2 + -3)/((-7)/2380). Is (-1)/(-5) + (-11)/((-275)/x) a multiple of 13?
True
Let f be 5028/(-16) + 1/4. Let w = 199 + f. Let o = -86 - w. Is o a multiple of 4?
False
Let k = 55 - 70. Is (144/k)/(10/(-25)) a multiple of 6?
True
Let a(d) = 132*d**2 + 4*d - 7. Let u(n) = 660*n**2 + 19*n - 36. Suppose -9 + 64 = 5*c. Let z(f) = c*a(f) - 2*u(f). Is z(1) a multiple of 19?
True
Let h(k) = 208*k**3 + 4*k**2 + 3*k - 3. Does 25 divide h(2)?
False
Let d(j) = -j**3 - 6*j**2 + 7*j - 2. Let n be d(-7). Is 28 a factor of n + -1 + -11 + 11 + 126?
False
Let x = -16836 + 19710. Does 5 divide x?
False
Let a = -123 + 180. Suppose -161 = 6*f - 3*f - 4*o, f + a = 3*o. Let w = f - -92. Is w a multiple of 6?
False
Let r(i) = 8*i**3 - i**2 + 2. Let a be r(1). Let p(h) = h**3 - 8*h**2 + 3*h + 9. Let n be p(a). Suppose -n = -3*d - l, -2*l - 5 + 79 = 2*d. Does 5 divide d?
True
Let j be (-2)/10 - (-2364)/(-30). Let z = 36 + j. Let f = z - -61. Is 6 a factor of f?
True
Let w(i) = -i + 1. Let o be w(1). Let b(d) = 53*d - 45. Let r be b(2). Suppose o = -2*p - t + r, -4*t - 29 - 104 = -5*p. Does 29 divide p?
True
Let k(h) = 1969*h**2 + 7*h. Let b be k(-3). Suppose 21*p - b = 9*p. Is p a multiple of 59?
True
Let w be ((-126)/(-28))/(3/10). Let x = -12 + w. Suppose -1 = x*a - 91. Does 10 divide a?
True
Let p = -69 + 72. Suppose 0*d = -p*d + 3*j + 27, -3*d - 3*j + 33 = 0. Does 5 divide d?
True
Let s = 597 - 836. Let l = s + 556. Is l a multiple of 12?
False
Let p = 3364 + -2156. Does 2 divide p?
True
Suppose 5*l = 9*l + 240. Let j be 18*8 - -2 - -2. Let q = l + j. Does 7 divide q?
False
Let y be (-3)/7 - 32*(-3)/(-21). Does 28 divide 57 + y/((-1)/1)?
False
Let p be 2 + (30/40)/(12/64). Is 51 a factor of (-4 - -55)/(2/p)?
True
Suppose 0*z - 10 = -5*z. Suppose -z*w - w = x + 43, 3*w - 2*x + 31 = 0. Let r = 123 - w. Is 23 a factor of r?
False
Suppose -43*h = -44*h + 7. Suppose 5*b = 0, 3*b = -4*v + h*v - 1173. Is 6 a factor of v?
False
Let m(w) = 54*w - 890 + 818 + 33*w. Is m(6) a multiple of 67?
False
Let g = -316 + 307. Suppose -2*f = 4, 2*v + 5*f + 52 = 3*v. Does 10 divide v/g*((-268)/8 + 2)?
False
Let k(w) = w + 6. Let v be k(3). Suppose 0 = -v*a + 56 + 34. Suppose -a*g + 12*g = 104. Is 11 a factor of g?
False
Suppose -5*w = 30*q - 25*q - 10925, -4371 = -2*w - 3*q. Does 12 divide w?
True
Suppose -5*o - 3*i + 8128 - 44 = 0, 2*o - 5*i = 3215. Does 5 divide o?
True
Let d = -63 + 63. Suppose 0 = 5*a - 8*a - 2616. Is 56 a factor of a/(-3) + d + (-2)/(-6)?
False
Suppose 0 = -818*f + 800*f + 21024. Is f a multiple of 115?
False
Let y = -15 - -22. Let f(s) = 6*s**2 + 6*s + 24. Let h be f(y). Suppose -60 - h = -5*c. Is 14 a factor of c?
True
Suppose -463*d + 318*d = -5674285. Is d a multiple of 219?
False
Let h(c) be the first derivative of -c**4/4 + 13*c**3/3 - 2*c**2 + 3*c - 66. Does 9 divide h(10)?
False
Let r = 21398 + -11360. Does 41 divide r?
False
Let u be (-17 + 11)/((-4)/10). Suppose -14*l = -u*l + 258. Is l a multiple of 6?
True
Suppose 3*j + 0*v = -5*v - 1920, -2*j + 2*v = 1264. Let s = j - -935. Does 12 divide s?
True
Is 10 a factor of 4398 + (36/(-9) - (4 + 0))?
True
Let u(y) = 7*y**2 + 183*y - 87. Is u(-31) a multiple of 82?
False
Let t = 563 + -796. Is 18/24 + t/(-4) + 1 a multiple of 12?
True
Let j = -6389 + 8726. Is 19 a factor of j?
True
Suppose -n + 18964 = 6*n - 24751. Is 14 a factor of n?
False
Suppose 4*y - 9 = 3*y. Suppose -y*f + 11*f + 52 = 0. Let g = f + 35. Is 3 a factor of g?
True
Suppose -13*d - 37*d = -175150. Is d a multiple of 27?
False
Suppose 0 = -407*x + 420*x - 8307. Suppose 0 = -4*f + x + 873. Is f a multiple of 21?
True
Suppose 0 = v + 2*i + 2, 0 = 3*v - 2*v + 3*i + 3. Is 45000/42 + (12/(-28) - v) a multiple of 51?
True
Suppose -x + 774 = 2*s, -s - 3*x = 2*s - 1155. Let j = s + -179. Suppose -5*l - t + 0*t + 210 = 0, 0 = 5*l + 5*t - j. Is l a multiple of 6?
True
Let n = 471 - 497. Let t = n + 41. Is 6 a factor of t?
False
Is 2 a factor of ((-1)/((-2)/(-108)))/(161/182 - 1)?
True
Suppose 0 = y + 2*b, -5*b = 4*y - 6 - 6. Suppose 2*w + 18 = y*w. Suppose 120 - 48 = w*o. Does 12 divide o?
True
Let q = 243 + -235. Suppose 445 = 5*t - 6*g + g, 0 = -4*g + q. Is t a multiple of 7?
True
Suppose 5*s + 5 - 3 = -4*v, -3*s = 6. Suppose -v*g = z - 65, 0 = -4*g + z + 91 + 48. Does 2 divide g?
True
Let h = 5169 + -4787. Is h a multiple of 53?
False
Let v(d) = 2*d - 115. Let g be v(3). Suppose 2*k + 180 = 24. Let f = k - g. Does 9 divide f?
False
Let k = 3751 - 1684. Does 53 divide k?
True
Let c(v) = -1080*v + 3456. Does 8 divide c(3)?
True
Suppose -h + 2*h - 1227 = -y, 0 = -y + 3. Suppose -184 - h = -22*w. Does 32 divide w?
True
Let w be (30/(-4))/(8/(-16)). Suppose -4*p = -p - w. Suppose -3*c + 368 - 71 = -p*j, -198 = -2*c + 5*j. Does 11 divide c?
True
Is (24 + 6)*780/36 a multiple of 25?
True
Suppose -70*u + 28787 + 34991 - 11838 = 0. Does 7 divide u?
True
Suppose -5*x 