or of c?
False
Let g be 800/(-7) + 17/(833/14). Let c = 576 + g. Is c a multiple of 19?
False
Let r(w) = -3*w + 40. Let b be r(-6). Suppose a - 2*q = -22 - 20, a - 5*q + 36 = 0. Let d = b + a. Is 7 a factor of d?
False
Let b be (-1)/(-4)*((-231)/(-11) + -9). Does 10 divide (-8)/18*-3 - (-236)/b?
True
Suppose d + w - 18222 = 0, d = 5*w + 201 + 18027. Is d a multiple of 172?
False
Suppose l - 2187 = 4*p + p, 0 = 3*p + 5*l + 1301. Let f = 767 + p. Is 15 a factor of f?
True
Suppose 7*u = 8*u - 4. Suppose -u*y = 2*g - 16, 5*g + 5*y = 18 - 3. Is 2*(-10)/1*g a multiple of 5?
True
Suppose -2*y + 35 = 63. Let d = 483 - y. Is 30 a factor of d?
False
Let y(s) = 21*s - 71. Let t(r) = -41*r + 139. Let c(n) = 3*t(n) + 5*y(n). Is c(-19) a multiple of 14?
False
Let c(k) = -10*k - 312. Let z be c(0). Let o = z - -543. Is o a multiple of 36?
False
Let p = 853 + -835. Let t(g) = g + 10. Let i be t(-10). Suppose p*c - 1247 - 103 = i. Is 15 a factor of c?
True
Suppose -n = 3*k - 4*n - 216, -2*n - 366 = -5*k. Let u(q) = q**2 + 18*q - 54. Let b be u(-23). Let c = k - b. Does 3 divide c?
False
Suppose 10*d - 2*d = 184. Suppose -d*b - 12 = -29*b. Does 10 divide ((-228)/(-8))/3 - b/(-4)?
True
Suppose -17 = -2*q - 23. Let m be 93/(-33) - q - 3084/22. Let g = -100 - m. Does 5 divide g?
True
Let d = -2018 - -5092. Does 42 divide d?
False
Suppose -24 = -4*w - 128. Let n = w - -6. Does 34 divide 9/12 + (-2845)/n?
False
Suppose 5*z + 4 + 6 = 5*p, p - 2*z = -3. Suppose -p*v = -5*v - 4. Suppose -45 = -3*l - 3*t, -4*l - v*t = -5*t - 81. Is l a multiple of 2?
True
Suppose -2*w - 2*w + 44 = -k, -3*w = -5*k - 16. Suppose 0 = -4*s + 10*s - w. Suppose 2*g - 30 = -4*f, -3*g + 36 - s = -5*f. Does 2 divide g?
False
Suppose -u + 0 + 0 = 0. Suppose -6*l + 5*l + 624 = u. Suppose -4*n + 16 = -l. Is 40 a factor of n?
True
Suppose -18*q = -13*q + 4*m - 52531, 4*m + 31525 = 3*q. Is 19 a factor of q?
True
Suppose 0*x = -3*x - 3. Is -1*6/x*(-844)/(-12) a multiple of 14?
False
Let n(v) = 10*v + 170. Let a be n(-17). Is 1*(0 - -101 - a) a multiple of 3?
False
Suppose -2*o + 36 = 5*x + o, -30 = -4*x - 3*o. Let l be (-4 + 20/x)*(0 - 3). Suppose -2*r = 3*i - 136, 2*r - 134 = -3*i - l*r. Does 6 divide i?
False
Let l = -1882 + 6661. Is l a multiple of 81?
True
Let l be -1*8/28 - (-384)/21. Suppose l*n - 9424 = -n. Is n a multiple of 16?
True
Suppose 34*j + 18 = 40*j. Suppose -j*u + 1611 = 3*v, -119 = -u + v + 424. Does 30 divide u?
True
Suppose 887 = 4*l - 1129. Is 4 a factor of l?
True
Suppose -407*m = 13*m + 533*m - 51097954. Is m a multiple of 280?
False
Is 12 a factor of (3 + 10 + -9 - (3 - 833)) + 6?
True
Let b = -9816 + 18188. Is 28 a factor of b?
True
Let y(b) = 700*b - 2. Let k be y(1). Suppose -4*z + 50 = k. Let p = z + 242. Is p a multiple of 8?
True
Let l = -7420 - -14668. Is l a multiple of 21?
False
Does 98 divide (35612/(-12))/(23 + -13 + 182/(-18))?
False
Suppose 0 = -0*l - 16*l + 11520. Let t = 53 - 40. Suppose -18*j + t*j + l = 0. Is j a multiple of 18?
True
Let y be -3*2*(3045/6 + 5). Let b = -2171 - y. Is b a multiple of 10?
False
Let u(s) = 5*s + 93. Let t be u(-17). Does 15 divide 4/(-4) - (-3800)/t?
False
Let w = 21680 - 20174. Is w even?
True
Suppose 26*r - 6 = 23*r. Suppose r*b + 5 = -3. Let a(i) = -18*i. Is a(b) a multiple of 24?
True
Let a(l) be the third derivative of -l**5/60 - 7*l**4/12 + 37*l**3/6 - 27*l**2. Let z be a(-16). Does 10 divide -6*(-5)/15*z?
True
Let q = -57 + 87. Suppose -3*o + i + 1338 = 0, -29*o = -q*o - i + 442. Does 14 divide o?
False
Suppose 5983 = 2*p + 5*u, -4*p - 58*u + 11980 = -62*u. Is 82 a factor of p?
False
Let g(l) = 2*l - 37. Let v be g(20). Suppose 4*y - 2*q = -v*q - 37, -5*y - 5*q = 35. Let n(p) = p**3 + 12*p**2 + 12*p. Does 20 divide n(y)?
True
Suppose 48*q = -4*p + 44*q + 2940, -25 = -5*q. Is 24 a factor of p?
False
Suppose 126334 = 30*k + 12004. Is 16 a factor of k?
False
Let o = -327 - -332. Suppose 4*h - 1411 = -k + 44, 5*h = -o*k + 1815. Is 10 a factor of h?
False
Let v(f) = -f**3 - 9*f**2 + 11*f + 14. Let h be v(-10). Suppose -h*g - 8 - 8 = 0, o + g = 0. Suppose 0 = -5*x + 5, o*x + 42 = j - 63. Is j a multiple of 28?
False
Suppose 41 + 100 = -3*n. Let q = 110 + -142. Let l = q - n. Is l a multiple of 15?
True
Let n(a) be the third derivative of a**4/8 + 25*a**3/2 - 2*a**2 + 10*a. Does 12 divide n(-21)?
True
Let a = -223 - -107. Suppose -17 = 5*z + 343. Let g = z - a. Is g a multiple of 7?
False
Let v(d) = 2*d**2 + 63*d + 837. Is v(45) a multiple of 54?
True
Suppose -4*g = -2*y + 118, -3*g - 2*y = -5*g - 62. Let b be ((-16)/g)/(2/14). Does 8 divide 77 - (5 - b) - -4?
True
Let u(t) = 2*t. Let w be u(2). Suppose s = -w*s - 135. Let r = -19 - s. Does 8 divide r?
True
Let g = 137 + -1462. Let d = g + 2105. Is d a multiple of 26?
True
Let o = -453 + 453. Suppose 2*d - 3*m - 102 = 39, -d - m + 78 = o. Is 5 a factor of d?
True
Let i = -7449 + 11996. Does 36 divide i?
False
Suppose -5*r = 42 - 152. Suppose -24*w + r*w = -774. Suppose -8 = -4*b, m + 4*m - w = -b. Does 33 divide m?
False
Let v be ((-36)/60)/(2/(-10)). Suppose -5*o + 31 = b, -2 = o - v. Is b a multiple of 4?
False
Let o be (7 - -1)*-4 + -2. Does 7 divide ((-51)/(-2) + 0)/(o/(-68))?
False
Suppose 9268 = 1994*d - 1992*d. Does 30 divide d?
False
Let w be (1 - 2) + (-65 - -71). Suppose 0*z + w*z - p = 118, 4*z - 92 = 2*p. Is z a multiple of 2?
True
Is 204708/((-49)/(-7)) - (-2)/(8/(-20)) a multiple of 36?
False
Let f(c) = 2*c**3 - 23*c**2 - 4*c - 19. Let w be f(13). Is 46 a factor of -5 + ((-2)/4)/((-2)/w)?
False
Let r be 20/(-2)*(4 - 110/25). Suppose c = r*t - 61, 6*t - 71 = t - 4*c. Is (-114)/(-15) + 6/t a multiple of 4?
True
Let u(o) = -o**3 - 11*o**2 - 11*o - 4. Let z be u(-10). Let w = 294 + z. Suppose w = 12*a - 216. Is 43 a factor of a?
True
Suppose -2*x - 13 = -21, 54 = 5*w + x. Does 36 divide 6 + -1 + 331 + w?
False
Let g(h) be the second derivative of -3/2*h**4 - 3*h**3 + 6*h + 0 + 1/20*h**5 + 27/2*h**2. Does 5 divide g(19)?
False
Suppose -2063 = 5*a - 3*b, -826 = 2*a + 2*b + 12. Is 65 a factor of ((-4 - -7)*2)/((-10)/a)?
False
Let y(i) = i**2 - 21*i - 12. Let n be y(21). Let l = 8 + n. Is 2990/52*l/(-5) a multiple of 23?
True
Suppose -v - 3*v = -48. Let y(d) = -5*d + 93. Let a be y(17). Suppose -216 = -v*i + a*i. Does 43 divide i?
False
Is 3 a factor of 565 - ((-36)/45 + (-132)/(-15))?
False
Suppose -l + 5288 = 4115*g - 4114*g, 4*l = 2*g + 21188. Is 15 a factor of l?
False
Let q be 7 + (-20)/(0 + 5). Suppose q*b = 15 - 57. Is (-336)/b - (-1 - -4) a multiple of 7?
True
Let m(b) = -923*b - 2182. Is 88 a factor of m(-18)?
True
Let z be ((-146)/4)/((-5)/10). Let v = 117 - z. Suppose 5*w - v = 3*w. Does 22 divide w?
True
Let q(y) = 50*y**2 + 3457*y - 90. Is 8 a factor of q(-71)?
False
Let o be ((-24)/(-9))/(36/(-54)). Is (6 + -4)/(o/(-920)) a multiple of 23?
True
Let x = -1060 + 552. Let h be ((-145)/25 - -6) + x/(-10). Suppose -105 = -6*n + h. Does 6 divide n?
False
Suppose 0 = -76*j - 33*j - 2*j + 4738923. Is j a multiple of 107?
True
Let c = -7885 - -11205. Is c a multiple of 10?
True
Let n(s) = 4*s - 33. Let h be n(11). Let y = 634 + -132. Suppose -h*k + 741 = -y. Is 23 a factor of k?
False
Let s = -577 - -581. Is 24 a factor of ((-22)/(-7) - s)/(1/(-56))?
True
Let q be 1 + -1 + 2/(6/(-39)). Let f(o) = -o**3 - 13*o**2 - 3. Let w be f(q). Does 21 divide w/9*-3*290?
False
Suppose -c - 16 = 4*y, 18*c - 14*c - y = 21. Suppose 0 = -11*p + 8*p + 3*t + 651, -c*t - 208 = -p. Is p a multiple of 55?
True
Let r(w) = w**3 - 34*w**2 + 231*w - 462. Is r(35) a multiple of 3?
False
Suppose -1079*g + 2*n = -1078*g - 2720, 5*g - 3*n - 13579 = 0. Is 26 a factor of g?
False
Suppose 5*c = 3*n + 8 + 24, -5*c + 20 = 0. Is 1 - n/(-2) - (-543 + -2) a multiple of 68?
True
Let w = 34916 - 31969. Is w a multiple of 2?
False
Let k(h) = -2*h. Let t(u) = -3*u. Let f(l) = 5*k(l) - 3*t(l). Let a(g) = 9*g - 16. Let w(c) = -a(c) - f(c). Is w(-6) a multiple of 16?
True
Suppose 71*v - 12*v - 207142 - 403449 = 0. Is v a multiple of 13?
False
Let k(t) = 25 + 3*t**2 - 22 - 24*t + 41 - 2*t**2. Let h be k(26). Let o = 268 - h. Is 23 a factor of o?
False
Let q = -121 + 126. Suppose -306 = -q*a - y + 335, -385 = -3*a - y. Is 16 a factor of a?
True
Suppose 6838*x - 1951260 = 6787*x. Is x a multiple of 10?
True
Let 