+ 112. Let d be m(-33). Let s = d + 661. Does 10 divide s?
True
Suppose -5*f = -3*u - 9, 0 = -2*f - u + 4*u. Suppose 2*r + 18 = -f*w, 5*w + 30 = r - 4*r. Is ((-3)/(-24) - (-85)/(-8))*w a multiple of 26?
False
Let b = 23044 - 7521. Is b a multiple of 33?
False
Is ((-84)/4)/3 - 43542/(-41) even?
False
Let m = 8408 - 4579. Does 29 divide m?
False
Suppose 4*y + 58 = 2*v + 66, 0 = -y + 3*v - 3. Suppose 141 - 537 = -y*g. Does 6 divide g?
True
Suppose -22 - 6 = 2*c. Is 27 a factor of ((-63)/c - 4) + (-1357)/(-2)?
False
Suppose -3*o - 35 = -17. Let x(r) = 3*r + 15. Let h be x(o). Does 12 divide h/(0 - -3)*-24?
True
Let j be (-7462)/(-6) + 4/3 + -2. Let o = j + -825. Is 44 a factor of o?
False
Suppose h + 5*m + 7 - 36 = 0, 0 = -5*h - 2*m + 30. Suppose 5*f - 24 + h = 0. Suppose -47 = 4*g + k - 272, -f*g + 4*k + 220 = 0. Is g a multiple of 15?
False
Let k = -9968 - -17840. Is 48 a factor of k?
True
Suppose -524438 = -34*u + 820024. Is u a multiple of 21?
True
Let g be 4/(-16)*538*2. Let h = g - -343. Is h a multiple of 37?
True
Let u(a) = a**3 - 5*a**2 - 4*a + 16. Let n be u(4). Let y(m) = -m + 25. Let s be y(0). Let x = s + n. Is x a multiple of 9?
True
Let t = -9348 + 19644. Does 99 divide t?
True
Let j = -764 - -764. Suppose -3*h - 12 = j, -5*x + 2148 = -3*x - 4*h. Does 41 divide x?
True
Let d = 52 - 52. Suppose 4*f + 8 = d, 2*f + 15 = 5*n - 14. Suppose 0 = n*p + 4*x - 119, -3*p = -8*p + 4*x + 151. Is 9 a factor of p?
True
Suppose -4*a - 323 = 177. Suppose -4*l = -3*p + 8, 0*p + p + 4*l + 24 = 0. Does 4 divide (-1100)/a - p/(-5)*1?
True
Let z be ((-14)/6)/((-8)/24). Is ((-39)/2)/(1*z/(-14)) a multiple of 3?
True
Let a be (-34)/(-8) + (-3)/(-4). Let s be (-6*(-7)/14)/(1/1). Suppose -3*m = w - 2 + 4, s*w - a*m = 36. Does 7 divide w?
True
Is 26/(-78) - (-38705)/15 a multiple of 60?
True
Let k be (5/(25/42))/(9/1740). Suppose k = 9*q - 2*q. Is q a multiple of 29?
True
Let w(f) = f**3 + 10*f**2 + 3*f - 52. Let r be w(-9). Suppose -8*x + 13*x + 2*b = 2087, -r*x + 3*b = -850. Does 14 divide x?
False
Suppose k = -4*i - 2, i = 6*i + 15. Suppose 3*l = 4 + 11. Is 2 a factor of -2*(-87)/k + (-2)/l?
False
Let z be (-2 - -8)*3 - -4. Is 19 a factor of (-10 + -9)/((-2)/z)?
True
Suppose 27 = -3*j + 57. Let w be 6/4 + 15/j. Is (w*-1)/(4*(-6)/264) a multiple of 15?
False
Does 13 divide -33*(-59748)/72 - 33/22?
False
Suppose 2*n + 0 = -2. Let q be (-15)/(-3 + (-3)/n + 1). Is 30 a factor of (-72)/(-1 - 3)*q/(-9)?
True
Suppose 16048 + 74328 = 88*m. Is m a multiple of 53?
False
Let u = -97 + 155. Suppose u + 42 = 2*i - 3*a, -i + 2*a = -49. Is 2 a factor of i?
False
Let g(f) = -f**3 + 20*f**2 - 19*f + 14. Let u be g(19). Let y(w) = -24*w**3 + u - w + 2*w**2 + 3*w - 8*w**2 + 23*w**3. Does 9 divide y(-8)?
True
Let b(y) = -2*y**2 - 7*y + 35. Let h be b(-15). Let c = h + 477. Let i = c - 132. Does 7 divide i?
True
Let b be 3 + 87/(-27) - 6023/(-171). Suppose b*q = 30*q + 780. Is 24 a factor of q?
False
Let s(m) = 9*m**3 + 2*m**2 - 2*m. Let d be s(-2). Let v = d + 65. Suppose -60 - 75 = -v*u. Does 6 divide u?
False
Let p = -56 + 54. Is 24 a factor of -254*(-3)/2 + (p - -5)?
True
Suppose 457*s = 448*s + 36. Does 21 divide (-392 + -7)*(s + -5)?
True
Suppose -320365 = 22*m - 847881. Is m a multiple of 38?
True
Is 114 a factor of 6/(-7) - ((-1234948)/91 - -4)?
True
Let w(o) = 58*o**2 - 9*o - 21. Let x(u) = 39*u**2 - 6*u - 14. Let f(z) = 5*w(z) - 7*x(z). Is f(5) a multiple of 36?
False
Let g(a) = 15*a + 206. Let j(f) = f**3 + 11*f**2 + 12*f + 4. Let u be j(-3). Is 13 a factor of g(u)?
True
Suppose -2*p - 5*t = -673, -4*t + 1440 = -p + 1731. Does 11 divide p?
True
Let l = -12 + 16. Suppose 4*d + 18 = y, 2*d - l*y = -6*y - 4. Let k(f) = -2*f**3 - 4*f**2 - 4*f - 10. Is 10 a factor of k(d)?
True
Suppose -313 = -c - 80. Let h = c + -5. Does 19 divide h?
True
Let i(d) be the third derivative of d**7/1260 + d**6/48 - 19*d**5/120 - d**4/6 - 16*d**2. Let u(z) be the second derivative of i(z). Is u(-15) a multiple of 23?
False
Let h = -1164 + 2095. Let r = -667 + h. Is 6 a factor of r?
True
Let d(m) = -5*m + 99 - 3*m**2 + 20 + 4*m**2 + 7*m. Is d(-13) a multiple of 4?
False
Let p = -172 + 195. Let x(d) = -8*d + 304. Is x(p) a multiple of 21?
False
Let d = -1892 + 1132. Let z be -3 - d/((-5)/(-1)). Does 7 divide z/7 + (-10)/35?
True
Let z = 2606 - 689. Suppose z - 347 = 5*c. Suppose -4*g - 13*i = -8*i - c, -i - 245 = -3*g. Is 27 a factor of g?
True
Let u(m) = -26*m**2 - m + 7328. Is 9 a factor of u(0)?
False
Suppose -9 + 24 = 5*l. Suppose 0*g - 3*g + l = 0. Let w = g - -75. Is w a multiple of 12?
False
Suppose 0 = -2*p - m + 31769, -4*m + 37851 = 2*p + 6097. Is 97 a factor of p?
False
Let o be (17/(170/12))/(3/25). Suppose -o*k = 6*k - 3664. Is 5 a factor of k?
False
Let z(b) = 0*b**3 + b**3 + 4 + 0*b**2 - 9 + 8*b - 8*b**2. Let l be z(7). Suppose i + 32 = 2*j, 7 + 19 = j + l*i. Is j a multiple of 3?
True
Let f be (11/(-3))/((-79)/39342). Let n = f + -1206. Is 25 a factor of n?
False
Is 2406/((-3 + 184/60)/(6/12)) a multiple of 15?
True
Is 49 a factor of (-1079)/(195/15)*-49?
True
Let x be ((-60)/(-8))/((-3)/(-6)). Suppose 7*u = x*u - 112. Is u a multiple of 6?
False
Suppose 0 = y + p - 2 - 0, 2*p - 2 = 0. Let n be 1/((-117)/492 + y/4). Let v = n - -50. Does 12 divide v?
True
Suppose 5*s - 2*u = -5, 4*s + 4*u - 20 = 4. Does 3 divide (s/4)/((-79)/(-10428))?
True
Suppose 30*d = 34*d - 20044. Suppose 29*u - 12853 = d. Is u a multiple of 14?
True
Suppose 4*k - 102500 = -0*k. Suppose -k = -13*d + 440. Is d a multiple of 15?
False
Let g(l) = -10*l**2 + 34*l + 727. Let q(z) = 3*z**2 - 12*z - 242. Let v(u) = -2*g(u) - 7*q(u). Is v(0) a multiple of 8?
True
Let i(y) = 2*y**3 + 83*y**2 - 3*y + 110. Is i(-41) a multiple of 11?
True
Suppose 101*s - 103*s + 6584 = 4*w, 0 = -2*s + 4*w + 6616. Does 7 divide s?
False
Let i = -3621 + 3645. Is i a multiple of 2?
True
Let h(p) = -14*p**3 + 11*p**2 + p - 14. Let z be h(-6). Suppose 12*r = 4*r + z. Does 11 divide r?
False
Suppose -3*t = -270 - 48. Suppose 0 = -t*i + 110*i - 8. Suppose -i*d + 6*d - 92 = 0. Does 17 divide d?
False
Suppose 6*x - 28*x = -264. Suppose x*j + 2066 = 6566. Is j a multiple of 25?
True
Does 105 divide (-5 - (-231)/132)/((-2)/8872)?
False
Suppose 5*g = -5*k + 114 + 691, -2*g = 3*k - 324. Let y(a) = -32*a - 8. Let h be y(-7). Suppose 4*l + 4*u = h, -5*l + 119 = -3*u - g. Is l a multiple of 6?
False
Let d(l) be the first derivative of -l**5/10 - 29*l**4/24 + 19*l**3/3 + 4. Let j(m) be the third derivative of d(m). Does 6 divide j(-6)?
False
Let a be 5/2*(-8 - 352/(-40)). Suppose -a*u + 1384 = -2*o, -2*o + 6 - 14 = 0. Is 32 a factor of u?
False
Let u(a) = 7 + 43*a - 9 + 2. Is u(1) a multiple of 2?
False
Is 37 a factor of (2/9)/(108/4009986)?
True
Is 468261/405 + 1/(-5) a multiple of 17?
True
Let r(v) = 8*v - 14. Let y be (2/1 + 0)/(9 - 10). Let p(l) = 3*l - 5. Let g(q) = y*r(q) + 7*p(q). Is g(16) a multiple of 19?
False
Let w = -13 - -16. Suppose c = 6*l - w*l - 39, 4*c = l - 13. Is l a multiple of 2?
False
Let d(g) be the first derivative of 3*g**2/2 + 6*g + 166. Suppose -9 = -2*j - 5*u, 2*u - 21 = -4*j + 5. Does 3 divide d(j)?
True
Let n be (420/(-75) + 4)*(1 + -6). Suppose -1859 - 813 = -n*k. Is k a multiple of 39?
False
Let y(f) be the third derivative of -f**5/60 - 7*f**4/6 - 31*f**3/6 - 74*f**2. Does 19 divide y(-18)?
False
Let u(m) be the third derivative of m**6/120 + m**4/24 + m**3/2 + 15*m**2. Let l be u(2). Suppose -l*v + 9*v = -788. Is v a multiple of 19?
False
Suppose -43*w + 49*w - 1500 = 0. Suppose 875 + w = 5*u. Does 62 divide u?
False
Let a = 9 - 9. Suppose -2*x + 4*f + 172 = -380, a = -2*x - 2*f + 552. Is 69 a factor of x?
True
Suppose 0 = 77*a + 18*a - 390830. Does 121 divide a?
True
Suppose -2*p - 5*j + 6634 = 0, 6*p - 4*j = 5*p + 3343. Is 7 a factor of p?
False
Let b = -3528 + 10210. Is b a multiple of 49?
False
Let o(s) be the first derivative of -2*s**2 + s + 13. Let x be o(-8). Let c = x + -6. Is 9 a factor of c?
True
Let w(s) = -549*s + 63. Is w(-3) a multiple of 30?
True
Let c = -60 - -55. Let u be ((-3)/6)/(c/10)*-5. Does 21 divide u/50*-5*500/2?
False
Does 179 divide 6/(-15) - 7786790/(-725)?
True
Let b(n) = 181*n - 1714. Is 6 a factor of b(33)?
False
Suppose -q = 4*l - 34492, 9*l + 8626 = 10*l + q. Is l a multiple o