13. Does 43 divide k?
False
Let a = -462 + 477. Suppose 3*g + a*s - 14*s = 328, -g = 4*s - 102. Does 9 divide g?
False
Suppose 0 = 739*k - 743*k + 1760. Does 38 divide 11/(k/(-16)) - 384/(-10)?
True
Let b(c) = -1059*c + 2307. Is 22 a factor of b(-7)?
False
Let o be 109*(0 - -3)/(-3). Let m = 45 - o. Let j = m - 88. Does 11 divide j?
True
Let a(x) be the second derivative of x**4/12 + 5*x**3/3 - 18*x**2 + 112*x. Does 57 divide a(-22)?
True
Let c = 104 + -106. Is 11 a factor of (-1)/(c/250)*(-210)/(-75)?
False
Let a = 371 + -148. Let s = 252 - a. Is s a multiple of 2?
False
Let r(z) = 6*z**3 - 8*z**2 - 3*z + 70. Let f(g) = g**3 + g**2 - g - 2. Let a(y) = 5*f(y) - r(y). Is a(12) a multiple of 4?
True
Suppose 23*x - 25*x + t = -776, 5*x - 1958 = -2*t. Does 26 divide x?
True
Suppose 201*t - 200*t + 687 = 4*l, 3*t - 863 = -5*l. Does 86 divide l?
True
Suppose 1449 - 70898 = -37*t. Is 50 a factor of t?
False
Suppose -57*l + 61*l - 4384 = 2*a, -2*l - 3*a = -2192. Is l a multiple of 5?
False
Let j(q) = 189*q - 7 + 27*q**2 - 3*q**2 - 185*q - 7 - 10. Is 20 a factor of j(-8)?
True
Let n = 5028 - 8640. Is ((-8)/(-28))/(2/n*-3) a multiple of 4?
True
Let g = 4251 + 1766. Does 79 divide g?
False
Let f(a) = 7*a**3 - 2*a - 1. Suppose 2*o - g + 2 = 4, 4*o = -2*g - 12. Let n be f(o). Let d(h) = h**3 + 8*h**2 + 8*h + 3. Is d(n) a multiple of 9?
True
Let s(l) = l**2 + 8*l + 3. Suppose 2*d + 31 = 4*q - 13, 0 = -3*d - 3*q - 102. Let u be (-30)/(-4)*d/25. Is s(u) even?
True
Suppose 13*w + 9*w + 22356 = 24*w. Is w a multiple of 81?
True
Suppose 4*y = -2*g - 138 + 910, -6 = -2*y. Does 36 divide g?
False
Let t = 85 - 85. Suppose t = 8*d - 7*d - 112. Is 7 a factor of d?
True
Is 1076/(-10*2/(-25)) a multiple of 38?
False
Let u(f) = -952*f - 83. Does 15 divide u(-11)?
False
Suppose -4*s = -3*l + 33, -s + 3*s + 6 = 0. Is 8 a factor of -6 - ((-42)/l + -8)?
True
Let p = 533 - -800. Is p a multiple of 43?
True
Suppose m - 2590 = k, 3*m + 4*k = 3228 + 4577. Is 17 a factor of (-2)/((-24)/m) - (-2)/(-8)?
False
Suppose -3*l + 14 = -z, 3*z = -4*l + 4*z + 19. Let t(j) = 17*j + 27. Is 3 a factor of t(l)?
False
Suppose -4*o = 2*h - 168, 0 = -4*h + 5*h - 2*o - 104. Let s be 53/(2120/2208) - (-12)/(-10). Let p = h - s. Is 10 a factor of p?
True
Let x(h) = -61*h + 1727. Is 6 a factor of x(0)?
False
Is 5 a factor of 732*((-105)/(-10) + -10)?
False
Suppose -i = 4*i - 5. Let x be 0 + (-2 - (i + -5)). Suppose 3*u - 225 = -x*u. Is 15 a factor of u?
True
Suppose 37170 = 40*o + 5170. Does 160 divide o?
True
Suppose -623373 - 749327 = -42*h - 64*h. Is 18 a factor of h?
False
Let v(k) = -3*k**2 + 17*k**2 - 4*k**2 - 9*k**2 + 44*k + 14 - 57*k. Let r be (-2)/(-3)*(-39)/(-2). Is 8 a factor of v(r)?
False
Suppose -2*v - 9 = 5*s, -2*v - 5*s = -v + 12. Let i be -2 - ((-6)/(-3) + -7). Suppose -5*p + 8 = -5*g + 233, -i*g + 135 = v*p. Does 9 divide g?
True
Let s be (-49395)/296 - (-2)/(-16). Let u = 347 + s. Is 60 a factor of u?
True
Suppose 192 + 102 = 6*s. Suppose 0 = -s*v + 57*v - 1904. Is 7 a factor of v?
True
Let z(w) = -2*w**3 + 5*w**2 + w + 6. Let m be z(3). Suppose 33*h - 32*h - 4*n - 300 = m, -5*h = 3*n - 1523. Is h a multiple of 10?
False
Suppose 12*b = 18*b - 30. Suppose 0 = b*g + 515 - 2595. Is g a multiple of 16?
True
Suppose -4*v = z - 411, -22*v + 19*v + 315 = 3*z. Is v a multiple of 14?
False
Suppose 30 = -4*w - 18. Suppose 2*f - 83 = -85. Let o = f - w. Is 6 a factor of o?
False
Suppose 0 = 5*x - 0*x + 3*s - 3, 2*x + 3*s + 6 = 0. Suppose -5*c - 164 = 3*z + 297, x*c + z = -275. Let g = c - -135. Is g a multiple of 22?
True
Suppose -4*g + 3940 = 4*q, 2*q - 1838 = -5*g + 3084. Suppose 10*u + g = -276. Let j = u + 210. Is j a multiple of 22?
False
Let k be ((-1)/2)/(-1)*26. Suppose -2*j - g = -261, 8*g + 249 = 2*j + k*g. Is 11 a factor of j?
True
Let d be 13 + 1*4/(-4). Suppose -5*k - 50 = 2*w, -d = 4*k - 5*w + w. Let r(y) = y**2 + 4*y - 10. Is 3 a factor of r(k)?
False
Let r(f) = 7*f**3 - 39*f**2 + 19*f + 3. Does 51 divide r(8)?
False
Let s = -93 + 97. Suppose c + 5*o = 6*c - 40, s = 3*c + 2*o. Suppose -k = -c*n + 854, -4*k - 587 = -2*n - 167. Does 11 divide n?
False
Let g = 1659 + -25. Does 38 divide g?
True
Let o(w) = -2*w**3 - 28*w**2 - 23*w + 42. Let a be o(-13). Suppose a*s - 968 = 868. Does 36 divide s?
True
Suppose -r + 7766 = 2*f, -19397 = 2*f - 7*f + 2*r. Does 10 divide f?
False
Suppose 0 = 9*g - 25 - 2. Suppose 0 = -g*p - 104 - 112. Let v = -62 - p. Does 9 divide v?
False
Let s be -311 + (2 + (-1 - -1))/1. Let y be 4/(-2) + 3 - (5 + s). Suppose 33 = -4*i + y. Is 19 a factor of i?
False
Let c be 3/(-4) + (-14787)/124. Let w = c + 364. Is w a multiple of 59?
False
Let i be (2/(-4))/((-2)/(-4)). Let g(m) = 81*m**2 - m + 20089 + 4*m - 20090. Is g(i) a multiple of 11?
True
Let l be 2 + (-5 - -6) - 12. Let q(k) = 3*k**2 + 10*k - 31. Is 5 a factor of q(l)?
False
Suppose -12*n + 11*n = -584. Suppose -4*f = 4*q - n, -440 = -8*q + 5*q - 5*f. Is q a multiple of 12?
False
Is (-3 + 56/12)*(-68)/(-6)*27 a multiple of 30?
True
Let b(v) be the third derivative of v**5/6 - 3*v**4/8 + 17*v**3/6 + 11*v**2. Is b(-7) a multiple of 53?
False
Let b be (-4)/(-10) - (-13 + (-530)/50). Suppose 3*r - 4 = 2*r. Suppose -2*w - 32 = -2*l, r*l - w - b = 52. Is 4 a factor of l?
True
Suppose i - 32 = 5*i + 5*q, 8 = -i + 3*q. Does 9 divide 10/i*34/85*-130?
False
Suppose -20*l + 48370 = -24130. Let w = l - 2322. Is 15 a factor of w?
False
Let c be (-64)/(-32)*(-1 + 2). Suppose 2405 = -c*f + 6*f - 5*d, 3*f = 2*d + 1802. Is 60 a factor of f?
True
Suppose -5*m = -18*m + 260. Suppose 0 = 5*k + 2*c - m, k - 5*c + 30 = 7. Is 336 - ((-40)/(-4))/k a multiple of 25?
False
Let d(c) = c**3 - 32*c**2 + 2*c - 20. Let p be ((-7)/(-3))/((-99)/27 - -4). Let j = p - -25. Is d(j) a multiple of 3?
False
Suppose 4*t - 222819 = 3*d, 31*d = t + 30*d - 55703. Does 15 divide t?
True
Let k = 20385 + -12626. Is 26 a factor of k?
False
Let d(t) = t**3 - 3*t**2 - 90*t - 18. Let v be d(-8). Is v/6 + 8/120*2105 a multiple of 35?
True
Let q(b) = -4*b - 1. Suppose 2*u - 8 = 3*p, -4*u = -3*p - 2 - 2. Let a be q(p). Let g(l) = 3*l + 37. Is 20 a factor of g(a)?
False
Let o = 24 + -11. Let g(u) = o*u + 12 + 16*u - 26*u. Is g(-3) a multiple of 3?
True
Let c(s) = -s**3 + 8*s**2 + s + 5. Let y be c(8). Let o(n) = n**3 - 11*n**2 - 18*n + 28. Let k be o(y). Let l = k + -64. Is l a multiple of 4?
True
Let p(s) = -s + 1. Let f(o) = -7*o - 116. Let i(x) = f(x) + 5*p(x). Is i(-15) a multiple of 4?
False
Let r be (-3634)/(-9) + 2/9 + -2. Suppose r = 4*l + 66. Is l a multiple of 6?
True
Let q(i) = 5*i**3 + 3*i**2 + 3*i + 3. Let c be q(-2). Let p = c - -33. Suppose -j + 30 = p*s + 3*j, -4*j - 54 = -2*s. Is s a multiple of 9?
False
Suppose -48*x + 4*o - 100808 = -53*x, 2*o = 4*x - 80636. Is 192 a factor of x?
True
Let p(k) be the first derivative of 11*k**3/3 - 7*k**2 + 4*k + 5. Does 29 divide p(-6)?
False
Suppose -x = 3*r - 14377, r + 2*x = 2*r - 4804. Suppose 0 = 3*p + 14*p - r. Does 22 divide p?
False
Let w(h) = -150*h - 2773. Is w(-22) even?
False
Suppose -2*f + 4 = -26. Suppose -2*l + 240 = -5*p - 5*l, 3*l - f = 0. Let n = p - -105. Is 10 a factor of n?
False
Suppose 0 = -446*p + 372*p + 112 + 110. Let n be (2 + -1)*(-96)/1. Does 8 divide n/9*(p - 18)?
True
Suppose 13208767 = 366*j + 324293 - 8391472. Does 26 divide j?
False
Let n(t) = t**3 + 41*t**2 - 33*t + 352. Is n(-36) a multiple of 28?
False
Suppose -5879016 = -131*a - 44*a + 19*a. Is a a multiple of 11?
True
Let u = -19284 + 19889. Is u a multiple of 11?
True
Let p be (-2)/4 + (-245)/(-10). Let l = p + -31. Let x = l - -37. Is 10 a factor of x?
True
Suppose 3*k - 72 = -f + k, 4*k = -3*f + 214. Suppose 1338 = -64*i + f*i. Is i a multiple of 40?
False
Let y(o) = o**2 - o + 16. Suppose 0 = -3*f + 118 - 331. Let l = 71 + f. Is y(l) even?
True
Let d be 922/8 - (-15)/(-60). Let c be 2/1*d/46. Suppose -5*i + 615 = c*f, 0*i - 5*i + 5 = 0. Does 32 divide f?
False
Let y(t) = 2424*t**3 - 5*t**2 - 5*t + 11. Is y(1) a multiple of 12?
False
Suppose 5*t - 7 = -v + 17, -5*v - 5*t + 80 = 0. Suppose -11*j + v*j = 93. Suppose -2*s + 3*s - k = j, 3*k = s - 35. Is s even?
False
Let o(m) = -5*m**3 - 2*m**2 - 6*m + 4. Let p(r) = -r**2 + 3*r - 1. Let x(s) = o(s) + 2*p(s). Let w = 1 + -3. Is x(w) a multiple of 15?
False
Let f