 g - -621. Does 21 divide l?
False
Let k = -415 - -695. Suppose 94 = o - k. Is 34 a factor of o?
True
Suppose -6*o + 351 = -681. Suppose -4*d + 378 = -2*n, -3*n - 485 = -5*d + 2*n. Let b = o - d. Is b a multiple of 16?
True
Let v = -40742 + 78292. Does 106 divide v?
False
Suppose d = 4*g + 815, 4*g - 977 = -2*d + 713. Suppose 3*z + 10*c = 14*c + 815, -c + d = 3*z. Is 11 a factor of z?
False
Suppose -668*u + 566*u + 5885706 = 0. Is 356 a factor of u?
False
Is 12 a factor of ((-480)/(-21))/((-86)/(-6020))?
False
Let f(c) be the first derivative of -c**4/4 - 8*c**3/3 + 7*c**2/2 - 12*c + 2. Suppose -85 = 16*y + 59. Is 3 a factor of f(y)?
True
Let n be (-115)/15 + (-8)/6. Let b be -15*(4 - 3)*n/3. Let g = 232 - b. Does 11 divide g?
True
Let n be 4*(190/52 + 408/(-2652)). Let d = 6 + -4. Is -1*n/4*(-48)/d a multiple of 9?
False
Let q = 20056 + -12060. Does 2 divide q?
True
Suppose r = h + 1677 - 76, -4*r + 6364 = h. Is r a multiple of 70?
False
Let l = 18730 + -7873. Does 141 divide l?
True
Let m(c) = 4*c**2 + 65*c - 454. Is m(18) a multiple of 63?
False
Let v(n) = -n**3 - 30*n**2 - 44*n - 149. Let o(w) = -w**3 - 31*w**2 - 45*w - 148. Let m(k) = -3*o(k) + 2*v(k). Does 39 divide m(-31)?
False
Let x = 120542 + -80254. Does 17 divide x?
False
Is 40 a factor of -30*(1064/(-42) + 0)?
True
Suppose -19*n + 26*n = 420. Suppose n*a + 120 = 61*a. Is a a multiple of 20?
True
Let a(s) = -388*s**2 - 25*s - 52. Let i be a(-2). Let g = i + 2612. Is g a multiple of 23?
True
Let n = 5281 + -2831. Suppose -n = 39*m - 44*m. Is 16 a factor of m?
False
Suppose 47866 = 97*x - 51947. Is 49 a factor of x?
True
Suppose 2*a - 16454 = 2*b, -13*b = -17*b - 8. Is 13 a factor of a?
False
Let p(b) = 122*b**3 + 11*b**2 - 3*b - 4. Does 45 divide p(3)?
False
Does 28 divide 5885 + 0 + -1 - 94/(-47)?
False
Suppose 21*n = 44922 + 36182 + 52960. Does 56 divide n?
True
Suppose 12 = -8*x + 4. Is (-4 + 6)/(2*x/(-491)) a multiple of 10?
False
Let w(u) = -35*u + 270. Let l be w(7). Suppose 30*p - l*p = 4165. Is 7 a factor of p?
True
Let g be ((-2)/(-4))/((-6)/(-3960)). Suppose 2*f + 5*o - g = 0, 5*o = -f + 9 + 151. Is 22 a factor of f?
False
Let p(i) = 9*i**2 + i - 2. Let y be p(1). Suppose -y*o = 3*o - 3146. Suppose -4*g + o = 7*g. Does 3 divide g?
False
Let r be 4/(-2)*1 + 12. Let p be 3*3/9*-3. Is r/30 - 194/p a multiple of 16?
False
Let m(r) = -6706*r - 2853. Is m(-5) a multiple of 102?
False
Suppose -5*j + k + 50857 - 882 = 0, -5*j + 2*k = -49980. Is j a multiple of 19?
True
Suppose 0 = 9*r - 25 - 56. Let a(q) = -25*q**3 + 24*q**3 - r - 3*q**2 - 2*q**2 - 8*q. Is 14 a factor of a(-6)?
False
Is 9 a factor of 7 + ((-98636)/(-8) - (-4)/(-8))?
False
Suppose 5*k - x - 3700 = 0, 3*k - 2*k = -2*x + 740. Is 20 a factor of k?
True
Let t be -3 + 4 + (0 - -159). Suppose 0 = l - 10*h + 13*h - 12, -2*l - 2*h = -24. Let j = t - l. Is j a multiple of 45?
False
Let q = 24333 + -12279. Is q a multiple of 5?
False
Suppose -3*i + o - 4 = -4*i, -4*o = -i - 1. Suppose 2*t - 4*a = 52, -t - 4*t - i*a + 169 = 0. Is 16 a factor of t?
True
Let w(s) = 37*s - 307. Suppose r - 16*b + 19*b = 5, -2*b + 8 = r. Does 9 divide w(r)?
False
Let b = 7 - 13. Let c(l) = -4*l**2 - 7*l + 0*l + 6 - l**3 + 1 + 0*l**2. Is c(b) a multiple of 37?
False
Suppose -j - 24*r - 13 = -22*r, -3*r + 41 = -4*j. Let i(t) be the first derivative of -7*t**2 + 2*t - 1. Does 13 divide i(j)?
True
Suppose -80 = -50*r + 52*r. Is 20 a factor of (-36)/(-15) - 2 - 1024/r?
False
Let j be 4 - (-76)/(-8)*-2. Suppose j = -3*t + 14. Is ((-31)/4 - t)*-8 a multiple of 15?
False
Let i = 4515 - 1951. Is i a multiple of 14?
False
Suppose 2*k - 54363 - 68383 = -4*n, 0 = -5*n + 3*k + 153471. Does 45 divide n?
True
Let h = 12 + -9. Suppose -1030 = -5*t - 2*z, -2*t + 1035 = h*t + z. Suppose 100 - t = -3*b. Is 9 a factor of b?
True
Suppose 5*r + 4796 - 20136 = -4*n, -5*r + 15295 = -5*n. Does 10 divide r?
False
Let k(x) = 26 + 38 - 89 + 37 - 29*x. Is k(-1) a multiple of 11?
False
Suppose -973656 = -891*m + 867*m. Is 18 a factor of m?
False
Let c(o) = -3*o**3 - 11*o**2 - 8*o - 3. Let n be c(-7). Let j = n - 316. Is 14 a factor of j?
False
Let z = -3358 - -3441. Suppose -2*w + 5 = -1. Suppose w*i = -5*f + z, -12 = -f + 6*i - 2*i. Is f a multiple of 5?
False
Suppose 2198*o - 2176*o - 150744 = 0. Is 162 a factor of o?
False
Let r(h) = -h**3 - 6*h**2 - 8*h + 2. Let o(v) = -v**3 - 6*v**2 - v + v - 9*v + 2. Let f(t) = 5*o(t) - 6*r(t). Does 4 divide f(-5)?
True
Suppose 68005 = -47*a + 220003. Is 4 a factor of a?
False
Suppose 12*j = -12 + 36. Suppose -2*q = -2*r, -5*r - 4 = -j*r - 4*q. Suppose r*o = 3*m + 327, 2*m = -4*o - 3*m + 287. Is o a multiple of 12?
False
Suppose -3*l + 2108 = 2*t - l, -4220 = -4*t - 2*l. Suppose 537 = m - 3*y, 12*m - 10*m + 3*y = t. Is 15 a factor of m?
False
Suppose -31*f - 5*m = -30*f - 508, -516 = -f - m. Is 3 a factor of f?
False
Let k = 2461 - 490. Suppose 255 = -13*a + k. Is a a multiple of 4?
True
Let w be ((-962)/8 + 7)/(3/(-8)). Let p = w - 63. Does 27 divide p?
False
Let s(w) = -59*w**2 - 10*w - 24. Let i(z) = 29*z**2 + 5*z + 11. Let r(t) = 7*i(t) + 3*s(t). Is r(-3) a multiple of 16?
True
Let o = 507 - 305. Suppose 3*s - o = 2*s + 2*b, 3*s = b + 621. Does 26 divide s?
True
Suppose 5*s - 27679 = -2*c, -38*c + 42*c = -3*s + 55337. Does 7 divide c?
True
Let z = 125 - -91. Suppose -4*a = -d - z, d = 2*a - 3*d - 94. Does 11 divide a?
True
Let h = 245 + -224. Suppose 0 = -h*m + 11*m + 530. Is 2 a factor of m?
False
Suppose 22820 = 4*m - 3*s, 81*m - 17112 = 78*m + 3*s. Is 14 a factor of m?
False
Let d(c) = -c**3 + 22*c**2 - 17*c - 32. Is 13 a factor of d(6)?
True
Suppose -185*v + 597*v - 11667840 = 0. Is v a multiple of 20?
True
Let i(w) = 26*w**3 + 9*w**2 + 19*w + 13. Is 12 a factor of i(6)?
False
Suppose 15 = 3*d, 0 = 5*h + 3*d - 52392 - 47468. Is h a multiple of 8?
False
Let n = 84 - 79. Suppose 0 = n*a + 3*v + 6 - 27, a + v - 3 = 0. Suppose -5*w - 137 = -a*w. Is 12 a factor of w?
False
Suppose -258 = -2*i + 84. Suppose -5*t = 5, -2*k = -3*t - i - 38. Suppose -2*b + 167 = -5*j, -3*b - 4*j + 388 - k = 0. Does 13 divide b?
True
Suppose 4*m + f = 2107, -14*m + 2*f - 2106 = -18*m. Does 3 divide m/7 - ((-96)/(-28))/12?
True
Let k(f) = 11*f**3 - 19*f**2 - 37*f + 175. Is k(15) a multiple of 34?
True
Let g be (-7572)/21 + 2*9/(-42). Let t = g + 550. Is t a multiple of 9?
True
Suppose -3144 = -t + 5*i, -2*i - 9005 - 3607 = -4*t. Does 71 divide t?
False
Let n = 242 - 242. Let y = 76 - n. Does 2 divide y?
True
Let o(i) = -i**3 + 9*i**2 - 3*i - 1. Let m(k) = -9*k**2 + 2 + 4*k + 5*k + k**3 - 3*k - 3*k. Let t(c) = 5*m(c) + 4*o(c). Is 11 a factor of t(9)?
True
Let c(o) be the third derivative of -o**4/3 + 19*o**3/6 - o**2 + 1. Is 5 a factor of c(-7)?
True
Let v(a) = a**3 + 9*a**2 + 12*a - 8. Let t be v(-7). Is 6 a factor of t/(30/185) - -3?
False
Let s(k) = 12*k**3 + 5*k**2 - 20*k + 2. Is 13 a factor of s(2)?
True
Does 3 divide (-1283364)/408*4/(-6)?
True
Let w(q) = 117*q + 684. Is w(8) a multiple of 14?
False
Suppose 4*r - 8*r = -176. Let n be (-6)/4 + r/8. Is 27 a factor of (n - 2)*(-6)/(-4) + 51?
True
Let c = -384 + -156. Let k = 1054 + c. Does 25 divide k?
False
Let k be 8/88 + 3892/22. Suppose -68*y + k = -65*y. Is y a multiple of 59?
True
Suppose 0 = 329*x - 53097 - 165030. Is 17 a factor of x?
True
Let w(v) = -8*v**3 + 18*v**2 + 165*v - 5. Does 4 divide w(-8)?
False
Let o be (-192)/(-27) - 4 - (-1)/(-9). Let h(p) = -36*p + 3*p**3 + 3*p**2 + 0*p**3 + 3 + 33*p. Does 34 divide h(o)?
True
Let c(k) = -6*k - 375. Is 3 a factor of c(-73)?
True
Let x(s) = 1 - 4 - 7*s - 6*s**3 + 3*s - 5*s. Does 9 divide x(-5)?
True
Let b(k) = 19*k - 10. Let r be b(3). Suppose -r = -2*s + 129. Let y = -47 + s. Is y a multiple of 18?
False
Let w(s) = 2*s**3 - 18*s**2 + 16*s + 3. Let n be w(8). Suppose -n*g + 260 = c - 248, 2*c - 344 = -2*g. Does 8 divide g?
True
Is 5 a factor of -1 + 29/((-377)/78)*(-1122)/9?
False
Let n(o) = 220*o**2 + 1. Let y be (-1 + (-7)/(-1))*(-60)/(-120). Let g be 6/(-9) - (-5)/y. Is n(g) a multiple of 17?
True
Let k be (-12)/(-1 + (5/6 - 0)). Let o = k - 16. Let x = 172 - o. Does 15 divide x?
False
Suppose 19039 = 12*q - 68321. Is q a multiple of 5?
True
Suppose 29 = 4*p + 13. Suppose -5*v - p*z + 104 = 0, -3*v + 58 - 2 = 4*z. Suppose -w + v = d - 2*w, 