 - 5130 - 2441 = 0, 2*h + 5*r = 3779. Is 4 a factor of h?
True
Let i = 121 + -125. Let p be (-13 - -2)*((-1 - i) + -4). Suppose -1248 = -p*h + 446. Does 31 divide h?
False
Suppose 3*l - 3*k = 2*k - 11, 0 = -3*l - 3*k - 51. Let x be 30/((4/(-15))/((-20)/(-50))). Is 6 a factor of x*(-1 - 4/l)?
True
Suppose 10*k - 5*k - 4*i - 31 = 0, 5*k + 4*i + 1 = 0. Suppose -3*n + 4*q = -q - 421, -k*n - 2*q = -386. Does 33 divide n?
True
Let d(v) = -v**3 + v**2 + 6*v + 9. Let u be d(-6). Let o = u - 27. Does 9 divide o?
True
Suppose -18 = i - 2*h, -3*i + 5*h - 10 - 40 = 0. Is 30 a factor of -5*(i - -6)*(-33)/(-3)?
False
Let p be (-3 + -3)*((-33)/9 - -3). Let c be 1/(5/p)*5. Is 9 a factor of 4 - (0 + -1 - c)?
True
Let u(m) = 45*m - 104. Let p(n) = -3*n**3 - n**2 + 4*n + 4. Let k be p(-2). Is u(k) a multiple of 11?
True
Suppose 3*c + 478 = -g + 2*g, 0 = -c + 4*g - 174. Let k = c - -80. Let y = k + 132. Is 27 a factor of y?
True
Suppose -132 - 28 = 2*g. Let b = 118 + g. Is 12 a factor of (b/(-4))/((-21)/42)?
False
Suppose -12 = 8*i - 4*i. Let w be (-2 - (0 - (i + 2))) + 18. Is 16 a factor of (-1 + 175/w)*(14 + -2)?
True
Let s(j) = j**3 + 67*j**2 - 90*j - 232. Is s(-68) even?
True
Is (-28 + 167/6)/((-1)/(307*6)) a multiple of 2?
False
Let v = -47 - -49. Let r(d) = 40*d - 14*d + 43*d + v. Is 15 a factor of r(3)?
False
Suppose 56 = -9*u + 5*u. Let n(t) = -2*t**2 - 35*t - 50. Does 16 divide n(u)?
True
Let t(c) = c**3 - 8*c**2 + 3. Let b be t(8). Suppose 4*y - 632 = 2*f, -3*y + 476 = -b*f + 2*f. Suppose s - 6*s + y = 0. Is s a multiple of 16?
True
Suppose 42 = 3*j - 12. Let w be (j - 15) + 1 + -1*1. Let k(y) = 5*y**2 + 2*y - 1. Does 3 divide k(w)?
False
Let i(s) = -2*s**2 + 5*s + 1. Let r be 153/45 + 4/(-10). Let z be i(r). Let l(v) = 73*v**2 + v. Is 20 a factor of l(z)?
False
Let j = 34110 + -22004. Is j a multiple of 10?
False
Let o = -879 - -584. Let g = o - -577. Is 6 a factor of g?
True
Suppose -4*q + 15412 = 4*f, -5*f + 13 = -2. Is q a multiple of 11?
True
Let w(m) = -5 - 1 - 1 + 53*m + 30*m. Let n be w(3). Suppose 742 - n = 5*u. Is 25 a factor of u?
True
Let a = 13 + -13. Suppose a*q - 6*q + 1602 = 0. Suppose -q = -7*o + 209. Is o a multiple of 11?
False
Let g(y) = 58*y**2 + 2*y - 113*y**2 + 12 + 56*y**2. Does 4 divide g(-5)?
False
Suppose -14*z + 1234 + 515 = 349. Does 3 divide z?
False
Let y = -20 + 38. Let b be 3/18 - 291/y. Does 17 divide -102*(b/12)/2?
True
Let o(q) = 2*q**2 - 2*q + 2. Let h be o(0). Suppose -1009 = -2*c - x, -2*c + 500 = -c + h*x. Does 9 divide ((-8)/(-10))/(-4) - c/(-5)?
False
Suppose -4*k + 3*j + 8903 = -9142, k + 3*j - 4500 = 0. Is k a multiple of 17?
False
Let f = 602 - 344. Let x = f + -184. Is x a multiple of 24?
False
Suppose 0 = -4*o + 3*o + 4*i + 7, 0 = 2*o - 2*i - 26. Suppose 41*r = o*r + 7436. Is r a multiple of 22?
True
Suppose 5*j = -2*f - 5380 + 13486, 2*f - 8142 = j. Is 36 a factor of f?
True
Suppose 0 = -2*v + 16 - 6. Let t = -153 - -294. Suppose -v*f - 608 = -5*y + 127, -5*f = y - t. Is y a multiple of 16?
False
Let o(p) = -p**3 - 2*p**2 - 2*p. Let b be o(-2). Let s be 77/(-21) + b/6. Is 10 a factor of (-3 - s)/2 - -80?
True
Let q = 921 + 561. Suppose 19*t - 22*t = -q. Is t a multiple of 56?
False
Let v = -37 + 39. Suppose r = -v*a + 718, -2*a = a + 5*r - 1077. Let i = -188 + a. Is 38 a factor of i?
False
Is 6 + 11 + -13 - -31814*2 a multiple of 328?
True
Let g(v) = 2*v**3 + 57*v**2 + 24*v - 23. Let d be g(-28). Let b = d - 63. Does 43 divide ((-194)/4)/(b/(-4) + 6)?
False
Let o = -1198 - -2066. Is o a multiple of 7?
True
Suppose -4*l + 5*d = -62, 4*d + 35 = 43. Suppose 432 = -l*u + 4248. Is 7 a factor of u?
False
Suppose 240 = k + 156. Suppose -k - 186 = -3*r - 2*f, 0 = 4*r - 3*f - 360. Is r a multiple of 2?
True
Let g(k) = -7*k - 24. Let y(q) = -9*q**3 - 3*q**2 - q + 1. Let t be y(-1). Let z be g(t). Let u = -57 - z. Is u a multiple of 4?
False
Suppose 346725 + 1494774 = 57*s. Is s a multiple of 121?
True
Let d be (-3)/(-12)*(-108)/(-9). Let m be (-606)/(-10) + d + (-65)/25. Suppose 8*y - 611 = m. Is 21 a factor of y?
True
Let j = -1460 - -1453. Suppose y + 5*m - 21 = 0, y = m + 44 - 17. Does 14 divide ((9 - 5)*j)/((-4)/y)?
True
Let x = 42 + -40. Let u(c) = 5 + x*c - 13 - 21*c - 6*c. Is 17 a factor of u(-6)?
False
Suppose 3*n - 37*r - 10767 = -35*r, 4*n - 14356 = 4*r. Is 32 a factor of n?
False
Let o(s) = 25*s - 7. Let x be o(2). Let j(u) = 1 - u + 45*u**2 - 3 - x*u**2. Does 30 divide j(-7)?
False
Let z(j) = -j. Let f(o) = -o**2 + 15*o - 11. Let b(c) = f(c) - z(c). Let w be b(15). Suppose -w*u + 472 = 4*u. Is u a multiple of 9?
False
Let t = -126 + 128. Suppose t*c + 5*u - 449 = -27, -2*c + 406 = -3*u. Is c a multiple of 33?
False
Let r(p) = -48*p + 2 - 20*p - 4*p. Let m be r(-4). Suppose 20*y - 22*y = -m. Is y a multiple of 27?
False
Does 6 divide (-3)/(-5 + 14) - (-272178)/54?
True
Suppose -5*a - 5*x + 1450 = 0, 37*x = -5*a + 35*x + 1462. Suppose -4 = -2*f, -5*k - f = 22 - a. Is 27 a factor of k?
True
Suppose s + 8 = 3*l, -2*s - 8 = 2*l - 24. Suppose -4*o - g + 1213 = -0*o, -s*g = 12. Does 19 divide o?
True
Let y = -106 + 118. Suppose -15*s + y*s = -258. Is s a multiple of 9?
False
Let d(a) = 28*a**2 - 108*a + 123. Is d(-33) a multiple of 32?
False
Suppose -12 + 52 = 8*a. Suppose 4*r - 5*t = -19, -3*t + a = -4. Let z(p) = 127*p**2 - p - 2. Does 7 divide z(r)?
True
Let x = 130 + -128. Suppose 5*a = -3*b + 113, -2*a + 52 + 22 = x*b. Does 9 divide b?
True
Is 117 a factor of 10738/(-5 + -9)*-9?
True
Suppose y + 251 - 630 = 5*d, -2*d - 5*y - 157 = 0. Suppose 0 = -2*r + p - 3*p + 262, 0 = p. Let w = d + r. Is 23 a factor of w?
False
Suppose -4*k + 0*k = -3*n - 15, -n - 3 = -k. Suppose 5*h + 14*h - 27170 = 0. Suppose -k*v + h = 326. Is v a multiple of 23?
True
Suppose 0 = -3*k - 3*h + 168, 2*k + 6*h - 112 = h. Let d = k + -47. Suppose -5*y - 32 = -d*y. Is y a multiple of 8?
True
Let x(t) = t**3 - 9*t**2 + 8*t + 12. Let z be x(8). Let h = -13 + z. Is 13 a factor of (-13)/(-2)*(2 - h)*2?
True
Suppose 11*c + 17408 = j + 7*c, -2*c - 69548 = -4*j. Does 106 divide j?
True
Let i(b) be the first derivative of -b**3/3 + 19*b**2/2 - 12*b - 124. Suppose 61 = 4*j + 5. Is i(j) a multiple of 29?
True
Suppose 0 = 5*x + g - 0*g - 6, 0 = -4*x + g + 12. Suppose 0 = -x*b + 6*b + 420. Is (270/b)/(6/(-476)) a multiple of 16?
False
Suppose 0 = 3*x - 1520 - 22225. Suppose x = 5*h - 5*m, 6*m = -4*h + 4*m + 6362. Does 13 divide h?
False
Is (-8)/(5 + -3) + (10427 - 9/3) a multiple of 34?
False
Let y(z) = -2*z**3 - 75*z**2 + 106*z - 58. Is y(-39) a multiple of 15?
False
Let v(b) be the first derivative of b**6/40 + b**4/6 - 26*b**3/3 - 29. Let a(f) be the third derivative of v(f). Does 20 divide a(-2)?
True
Suppose -k = 7 - 4, 5*h = 3*k - 126. Let l = h + 31. Suppose 5*o + 4*a - 248 = 0, 3*o = o + l*a + 116. Is o a multiple of 14?
False
Let f be 33/(-165) + 33/15. Suppose -4*d + 922 = 2*g, -f*g = 2*g - 5*d - 1805. Is 13 a factor of g?
True
Let m(s) = -11 + 0 - 3 - 11*s - 1. Is m(-20) a multiple of 10?
False
Let r = -36 + 142. Let s = -106 + r. Suppose 7*b = 2*b - 5*n + 315, 4*b + 3*n - 253 = s. Does 8 divide b?
True
Suppose 2*h = 5*q + 533, 0 = 2*q + 3*h + 2*h + 190. Is 3 a factor of (-42)/q + 358/5?
True
Let w(f) = -18*f - 67. Let a be w(-4). Let g(c) = 2*c**3 - 2*c**2 + 2*c. Is g(a) a multiple of 15?
True
Suppose -1163 = 4*n - 5043. Suppose -h + 6*h = n. Suppose 4*l + 2*s - h = 0, -5*s = -0*s - 25. Is 7 a factor of l?
False
Is (-5075438)/(-1070) + (4/(-15))/(4/6) a multiple of 12?
False
Let o be (-57)/4*864/(-81) + -1. Suppose j - 121 = 4*g, -3*g + o - 559 = -3*j. Is 15 a factor of j?
False
Let o(l) = -5*l**3 + 18*l**2 - 8*l + 109. Let y(u) = -3*u**3 + 10*u**2 - 5*u + 55. Let a(h) = 4*o(h) - 7*y(h). Does 15 divide a(0)?
False
Suppose f - 4*f + 6 = 0. Suppose 92 + 120 = f*r. Suppose r = 5*p - 69. Does 12 divide p?
False
Let p = -3589 - -8855. Is 28 a factor of p?
False
Let y(g) = g + 16. Let m be -9 + 3/6*-6. Let l be y(m). Suppose 2*k = -3*n + 2*n + 41, 17 = k + l*n. Is 4 a factor of k?
False
Suppose 2279 = 125*n - 52721. Is n a multiple of 220?
True
Let s(c) = -169*c - 3045. Is s(-58) a multiple of 84?
False
Suppose -5 = 5*q + 6*h - h, -q + 4*h = -19. Suppose -2*u - 2*u + 680 = q*d, 430 = 2*d - 2*u. Is d a multiple of 22?
True
Let m be 0 + (-5