2*o - w = -779. Does 20 divide g?
True
Let f(o) = -22*o - 1. Let g = -26 + 28. Let h be f(g). Let n = 82 + h. Is 37 a factor of n?
True
Suppose 0 = -6*c + 3600 + 3816. Suppose 0 = 36*h - 40*h + c. Does 12 divide h?
False
Suppose 5*k = -3*d + 25, 3*d - 11 = -0*k + 2*k. Let z(r) = -r**3 - 11*r**2 - 15*r - 4. Let g be z(-11). Suppose -k*i + g = -191. Is i a multiple of 26?
False
Let s(c) = 1011*c**2 + 5*c - 17. Is s(-2) a multiple of 39?
True
Is 53 a factor of -9 + 476*(-51)/(-12)?
True
Let m(s) = 2*s**2 + 3*s - 4. Let c be m(-4). Let u be (1 - 1492/(-22)) + c/88. Suppose 0 = -2*g + 2*t + 102, -3*t - 139 = -4*g + u. Is g a multiple of 11?
True
Let y = 76 - 71. Suppose 407 = y*b - 93. Is 5 a factor of b?
True
Let n(u) = -u - u**3 + 6 + 9 + 7*u**2 + 4*u. Let c be n(8). Let r = 68 + c. Is r a multiple of 8?
False
Let v = -77 + 101. Does 17 divide (-5 + 104/v)/((-2)/249)?
False
Suppose 35*v + 18*v + 106 = 0. Let h(u) = -52*u**3 - u**2 + 12*u + 28. Is 13 a factor of h(v)?
True
Let c(q) = q**3 - 9*q**2 - 43. Let h be c(10). Let r = 339 + h. Is r a multiple of 13?
False
Suppose 0 = 5*d + 5*c - 63040 + 6930, -3*d + 33680 = -11*c. Is 129 a factor of d?
True
Suppose -16*c = 17*c + 198. Is c/(-4) - (862/(-4) + 2) a multiple of 5?
True
Suppose 35 = 9*b - 37. Suppose 28 = 9*g - b*g. Does 25 divide 3409/g + (-1 - (-10)/8)?
False
Let h be (11/(66/(-100)))/(2/6). Let f = h - -53. Suppose 115 = f*z + 3*i - 110, z - 65 = -3*i. Does 10 divide z?
True
Let x = -39 - -43. Suppose -12 = -10*s + x*s. Suppose 2*f + 4*n - 427 = -f, s*f + 4*n = 282. Is 29 a factor of f?
True
Let s(l) = -l**3 + 26*l**2 + 107*l - 136. Is s(29) a multiple of 4?
True
Let q be 52676/(-117) - (-2)/9. Let a = q + 688. Is 14 a factor of a?
True
Let r(q) = -8*q + 19. Let y(s) = -17*s + 37. Let o(c) = 13*r(c) - 6*y(c). Let z be o(0). Does 30 divide (3 + z/(-10))*180?
True
Let r(j) = 2*j**2 + j + 2. Let b(g) = g - 1. Let q(z) = -4*b(z) + r(z). Suppose -3*l - 26 = 4*a, 0*l - 4 = 2*l - 4*a. Does 16 divide q(l)?
True
Let n(m) = 98 - 159 + 84 - 46*m. Let d be n(-7). Suppose -1785 = -9*y - d. Is 21 a factor of y?
False
Let m = -197 - -200. Suppose 0 = 2*h - w - 103, 6*w - m*w - 62 = -h. Does 5 divide h?
False
Suppose -81048 = 13064*r - 13076*r. Does 6 divide r?
False
Let d = 65 + -101. Let m(r) = r - 24. Let g be m(-22). Let k = d - g. Is k a multiple of 2?
True
Let u(h) = -99*h - 34. Let i be -8 - (12/(-42) + (-24)/14). Is u(i) a multiple of 40?
True
Let w(m) = 117*m + 255. Let g be w(-13). Let d = -750 - g. Is d a multiple of 86?
True
Suppose -4*k = -2*z + 39031 - 6583, 0 = -z + 4*k + 16230. Is z a multiple of 17?
True
Suppose 3077 = 3*u + f, 11*f = -u + 13*f + 1028. Does 3 divide u?
True
Let j be 6/(-10) - (240/(-25) + 4). Suppose -j*f + 2040 = 5*f. Is f a multiple of 17?
True
Let w = 309 + -303. Suppose w*v + 5*j - 1447 = 2*v, 4*j = -4. Is 15 a factor of v?
False
Suppose -5*a - 16 = 4. Let m = 6 + -3. Does 7 divide -24*a/36*m?
False
Let h = -97 - -124. Let r = 32 - -9. Let g = r - h. Is g a multiple of 8?
False
Let y(n) be the third derivative of 7*n**6/720 - 7*n**5/30 - 25*n**4/24 - 20*n**2. Let w(g) be the second derivative of y(g). Does 14 divide w(16)?
True
Suppose 2*w - 5*m = 1, -3*w - m = -3*m - 7. Suppose 0 = -3*h - 0*h, 0 = -2*f - w*h + 12. Suppose -9*q + f*q + 126 = 0. Does 12 divide q?
False
Suppose -72*v = -1429391 + 327791. Does 26 divide v?
False
Let a(s) = s**2 - 2*s - 3. Let w be a(3). Suppose 2*x - 4 = w, -2*u - 27*x = -23*x - 692. Does 9 divide u?
True
Let r = 2930 - 2880. Suppose -4*q = -q - 378. Let n = q - r. Is 19 a factor of n?
True
Let o = -61 - -87. Let p(q) = -2*q + 103. Is p(o) a multiple of 2?
False
Let g be 594/216 - 2/(-8). Suppose -s + 687 = g*c, 5*s - 1878 = 4*c + 1462. Does 48 divide s?
True
Is 12 a factor of (3/(-1) - 6)/(-3 + (-79023)/(-26348))?
True
Does 36 divide ((8880/25)/(-2))/(-2 - 1043/(-525))?
True
Suppose 455 = 5*h - 0*h. Let z = h + -89. Suppose -1143 = -z*o - 7*o. Is 18 a factor of o?
False
Let k(f) be the third derivative of f**7/2520 + f**6/360 + 7*f**5/40 + 2*f**4/3 - f**2. Let i(j) be the second derivative of k(j). Is 13 a factor of i(-8)?
False
Let t be (-4 + 1 + 6)*1. Is t - (4 + 0) - -361 a multiple of 24?
True
Let z(d) = -26*d**2 - d + 1599. Is z(0) a multiple of 13?
True
Suppose 19*w = -14*w + 28083. Let x = -504 + w. Is x a multiple of 31?
False
Does 190 divide 9 + 3 + -7 + 87775?
True
Let p(k) = -k**3 - 5*k**2 - 2*k + 3. Let n be p(-5). Let t(f) = 259*f - 14 - 76*f - 181*f. Is t(n) a multiple of 5?
False
Let v(a) = a**3 + 11*a**2 - 19*a - 19. Let f be v(-12). Suppose -f = -7*d + 2*d. Let w = d + 7. Is 15 a factor of w?
False
Does 62 divide (-24)/(-4) - (-66)/(-11)*-5703?
True
Suppose 2*t + 624 = 2*a - 2*t, -4*a = -2*t - 1248. Suppose 19 = 3*x - m, 5*x - m - 24 - 5 = 0. Suppose -a = -x*n - 32. Is 14 a factor of n?
True
Suppose -3*i - p = 10, -3*i - 14 = 5*p - 0*p. Let q(a) = -14 + 2 + 693*a - 733*a. Is q(i) a multiple of 21?
False
Suppose 6*b - 4*b = -12. Is ((-4)/b)/(-6 + (-141512)/(-23583)) a multiple of 95?
False
Let w(g) = 32*g + 4061. Is w(-28) a multiple of 15?
True
Suppose -1577 = -5*d - 2*p, -2*d + 122 = p - 509. Does 15 divide d?
True
Suppose -2*w + 3*t + 24 = 3*w, 0 = -2*w - 2*t. Suppose -w*a - 288 = 132. Is a/(-18) + (-6)/(-27) a multiple of 6?
False
Is 6 a factor of -8*171/(-2)*770/220?
True
Let f = 220 - 121. Suppose -3*q - f = 6*q. Does 13 divide ((-11)/q)/((-2)/(-80))?
False
Suppose j - 3*z = 2085, 21*z = 3*j + 24*z - 6339. Is j a multiple of 3?
True
Is 9 a factor of 470256/24 + (21 - 10)?
False
Let m(k) = -k**3 + 2*k**2 + 17*k + 17890. Is 118 a factor of m(0)?
False
Let w = -349 + 377. Let v be (8 - 1) + 2/(-1). Suppose w - 203 = -v*l. Does 17 divide l?
False
Let l(h) = h**2 + 18*h + 45. Let d(n) = 4*n**3 - 2*n**2 + 3*n - 6. Let c be d(2). Let s be (4 + 0)*(-4 - 18/c). Does 10 divide l(s)?
False
Suppose 0 = -35*v + 13*v + 151778. Is v a multiple of 61?
False
Let x(g) = -8*g**2 + 3*g - 7. Let w be (-9)/(-1) + (1 - 2). Let z be x(w). Does 7 divide (4/6)/((-22)/z)?
False
Let v(i) = 4*i**2 + 18*i + 52. Is v(15) a multiple of 18?
False
Let k be (54/16 - 3)*16. Suppose 2*v = k*v - 352. Does 8 divide v?
True
Suppose -g + 5*d - 553 = 0, -2*g + 7*d - 11*d - 1120 = 0. Let l = g + 649. Does 16 divide l?
False
Let t = 266 + -172. Let k = 11 + t. Is k a multiple of 12?
False
Suppose 5*r + 15 = -2*b + 44, 3*r + 21 = 2*b. Let z = b + 55. Is 32 a factor of z?
False
Let h = -450 + 26. Let k = 17 - h. Is 6 a factor of k?
False
Let y(v) = -v**3 + 30*v**2 - 38*v - 77. Let c be y(28). Does 53 divide c - (-1 - (-3)/3*4)?
True
Let n(v) = 128*v**2 - 106*v - 30. Is n(16) a multiple of 26?
False
Suppose -u + 5*u - 11 = 3*p, 5*p - 3*u = 0. Suppose -4*i = -p*i - 4. Suppose 0 = -5*t - 2*k + 3*k + 60, -i*k = t - 12. Is 7 a factor of t?
False
Let j = 32656 - 21353. Is j a multiple of 36?
False
Let b(k) = 8*k - 33. Let w be b(4). Is 6 a factor of (w - 2) + 117 + 2 + -2?
True
Let i(u) = 44*u**2 + 3*u + 1. Suppose 3*j = 7*j + 12. Let t be i(j). Suppose -7*h = -3*h - t. Is h a multiple of 7?
False
Let x = 398 - 412. Is 11 a factor of x/(-4)*(2 + (-21060)/(-42))?
False
Suppose 58*n + 56*n - 155232 = 15*n. Is 28 a factor of n?
True
Suppose 26*a = 218 + 2122. Does 45 divide a?
True
Suppose i = 4*d + 5*i - 8, -5*d + 14 = i. Suppose -2*j - 16 = 5*a - 10*a, 0 = d*a + 3*j + 3. Suppose 2*n = 10, 7*n + 11 = 2*y + a*n. Is y a multiple of 18?
True
Suppose 0 = -5*k + 633 + 707. Let q = 348 - k. Does 4 divide q?
True
Let i be (-33)/(-15) - 3 - (-104)/5. Suppose -l + 36 = 3*o, -i = -5*o + o. Does 3 divide l?
True
Let x be (-5)/(-25) - 33/15. Let b be x/(-4 + 52/14). Suppose -8*s + 5415 = b*s. Does 21 divide s?
False
Suppose 0 = 79*a - 77*a - 14544. Suppose 52*o = 44*o + a. Does 13 divide o?
False
Suppose -1048 = 124*p - 127*p - 5*k, -3*p + 1038 = 3*k. Is 4 a factor of p?
False
Let s be (2/6)/(2/42). Let a be 24*16/6 - (6 - s). Let j = a - -82. Does 39 divide j?
False
Suppose 19*b = 3435 - 642. Does 7 divide b?
True
Suppose -4*l + 12 = -3*w, -w + 30 = 3*l + 2*w. Suppose -l*i + 3*s + 218 = -11*i, -4*i - 169 = -3*s. Let a = 82 + i. Is a a multiple of 8?
False
Let t(n) = -4*n**3 - 4*n**2 + 41*n + 20. Let b be t(-8). Suppose 92*v - b = 90*v. Is 14 a factor of v?
True
Let h = -130