 t = 27 - 28. Is 11 a factor of t/(-5) - (-169)/5?
False
Suppose -5*c - 20 = 5*u, -4*c = 2*u - 5*u - 26. Is (261/35 + u/(-42))*15 a multiple of 6?
True
Let j = 2 + 9. Let l(a) = 8*a - 25. Is l(j) a multiple of 31?
False
Let j(m) = -m**3 + m**2 - m + 15. Let z be j(0). Let x = -8 + z. Suppose 83 = 2*y - x. Does 9 divide y?
True
Suppose -4*o - 4*j + 5*j + 31 = 0, -13 = -4*o - 5*j. Suppose 1 = -34*l + 33*l. Is o/(l/9*-1) a multiple of 24?
False
Let o(r) = -20*r - 12. Let n(d) = d + 1. Let p(f) = -16*n(f) - o(f). Is 15 a factor of p(16)?
True
Let u(g) = 100*g - 165. Is 109 a factor of u(18)?
True
Let w be (-30)/(-20)*(3 + -1). Let v(j) = -15*j**2 + 21*j**2 - 3*j + 2*j + 5 + 3*j**w - 2*j**3. Is 6 a factor of v(-3)?
False
Suppose 4 = 3*d + 4*m, d - 4 = -3*m - 1. Let j = 1 - d. Is (4 - j) + -3 + 57 a multiple of 30?
False
Let x(o) = -4*o**3 - o - 1. Let m(s) = -s**2 + 5*s - 1. Let r be m(5). Let i be x(r). Suppose u = i + 8. Is u a multiple of 3?
True
Suppose s + 4*i - 9 = 14, 0 = -3*i + 9. Let q = -19 + s. Let c = 36 - q. Does 11 divide c?
True
Suppose 3*h = -h + 40. Let m(f) = 13*f**2 - 6*f - 3*f + h*f. Does 7 divide m(-1)?
False
Suppose -6*y = -2*y - 20. Let t(b) be the second derivative of -b**5/20 + 2*b**4/3 - 2*b**3/3 + 7*b**2/2 + 31*b. Is 13 a factor of t(y)?
False
Let v(t) = t**2 + t**3 - 9*t + 4*t**2 + 30 - 27. Is 29 a factor of v(4)?
False
Let h(a) be the third derivative of 3*a**4/8 - 79*a**3/6 - 6*a**2 - 3*a. Is 10 a factor of h(18)?
False
Suppose 2*r - 404 = -4*q, -2*q + 60 = -2*r + 488. Does 61 divide r?
False
Let f(w) = -1 + 0*w**2 + 4*w**2 - w**3 - 2*w**2 + 2*w**3. Let l be f(-1). Suppose l*h - 166 = -4*h + s, h + s = 44. Is h a multiple of 23?
False
Let p = -454 + 918. Let u be (p/(-40))/((-6)/15). Suppose 28 = 3*v - u. Does 11 divide v?
False
Let t(f) = -f**3 + 8*f**2 + 8*f + 12. Let a be t(9). Suppose -47 = -5*l - 3*r, -4 + 1 = a*r. Is 2 a factor of l/(-1)*(-20)/25?
True
Let s(l) = -12*l**2 + 7*l + 22*l**2 - 11*l**2. Let j be 1*(2 + 0 + 2). Is s(j) a multiple of 5?
False
Is ((-1)/(5/(-896)))/((-7)/(-35)) a multiple of 13?
False
Let h be (-2)/((-80)/15 + 5). Suppose 0 = -2*a, 216 = 3*y - 2*a + h*a. Is 7 a factor of y?
False
Suppose -157 = 8*y - 7957. Does 65 divide y?
True
Let v be 2*(225/6)/3. Let j = 5 + v. Is 5 a factor of (-2)/10 + 516/j?
False
Let w = 12 - 8. Let t be (w/(-5))/((-12)/30). Suppose -4*c = -t*c - 18. Is c a multiple of 3?
True
Let t(z) = -z**3 - 18*z**2 + 34. Let g be t(-18). Let c = 0 + g. Does 32 divide c?
False
Suppose 16*n - n = 16200. Does 40 divide n?
True
Is 1*5 + 3051/(-36)*-4 a multiple of 4?
True
Let a = -23 - -36. Suppose a - 9 = 2*s. Suppose s*x - 36 = x. Does 9 divide x?
True
Let y = -8 + 13. Suppose y*k = -l + 160, k + 0*k + l - 36 = 0. Is 13 a factor of k?
False
Let u be (0/1)/(3 - 2). Let h be 0 - (-1 - u)*4. Suppose -c = -2*g + 62, 0 = 2*g - g - h*c - 17. Is 11 a factor of g?
True
Let w = 4 + 92. Suppose 0 = 3*f + 5*j + 14, 3*j = f + 8*j + 18. Suppose -w = -f*c + 3*a, -144 = -4*c + c - 4*a. Is 12 a factor of c?
True
Let g(n) = -7*n**2 - 2*n + 18. Let a(l) = 3*l**2 + l - 9. Let u(s) = -9*a(s) - 4*g(s). Let b be 0/1 + (-3)/18*0. Is u(b) a multiple of 5?
False
Let d(t) = -2*t**2 - 63*t - 39. Is d(-28) a multiple of 78?
False
Suppose 36*t - 33*t + 616 = 5*i, 2*i + 2*t - 256 = 0. Is i a multiple of 13?
False
Let g(z) = -5*z + 26. Let k be g(5). Let j(l) = 48*l**3 - 2*l**2 + l. Is j(k) a multiple of 47?
True
Suppose 4*c + 4*h = 7*c - 16, 0 = 3*c + 5*h - 7. Suppose -9 + 43 = z + 3*r, -4*z = c*r - 144. Does 14 divide z?
False
Is 2 a factor of (-83)/(-664) - 1886/(-16)?
True
Is 187 - (8/(-28) - (-90)/21) a multiple of 11?
False
Let j(i) = i + 20. Let h be j(-13). Suppose h*r - 31 = 6*r. Does 10 divide r?
False
Suppose -6*d = -2*d - 4*g + 132, d = -g - 33. Let k = d - -80. Does 6 divide k?
False
Suppose 27170 = 277*w - 266*w. Is 11 a factor of w?
False
Let h(u) = 3*u**2 - 2*u**2 + 0*u**2 - 5. Let x be -2 + 33/(-44)*8/2. Is h(x) a multiple of 20?
True
Let z = -244 - -1036. Is 66 a factor of z?
True
Let r = -620 + 894. Is r a multiple of 5?
False
Let f(b) = b**2 - 9*b + 4. Let i be f(13). Suppose 0 = 5*u - 9 - 1. Suppose -2*w = 4*h - i, -4*w + 4*h - u = -3*w. Does 9 divide w?
True
Let u(l) = 5*l**2 - 7*l + 62. Does 4 divide u(6)?
True
Suppose -2*i - 44 = -932. Is 6 a factor of i?
True
Suppose 0 = -5*w - 4*g + 1185, -3*w = -4*w + g + 228. Does 18 divide w?
False
Suppose 465*r = 454*r + 1903. Is r a multiple of 29?
False
Let b(y) = 2 + 0*y**3 - 6*y**3 - 1 + 3*y**3. Let z be b(-2). Suppose -3*n + 3*l + 60 = 0, -2*n - 5*l = -4*n + z. Does 7 divide n?
False
Suppose 7*h = 759 + 942. Is h a multiple of 9?
True
Let j(w) = w**3 + 35*w**2 - 16*w + 13. Does 17 divide j(-8)?
False
Suppose 0 = 2*b - 4*b - 4*c + 1744, b = -4*c + 872. Does 8 divide b?
True
Suppose 4*d + 71 = 71. Suppose d = 5*i + 178 - 598. Is i a multiple of 28?
True
Let j = 1 + 3. Suppose 22*w - 7 = 37. Suppose -j*b - 5*d + w*d = -265, -5*b - 3*d = -332. Does 13 divide b?
False
Let x be (220/(-15))/(2/(-3)). Suppose -5*k + 7*v + x = 3*v, -5*k + 5*v + 25 = 0. Suppose k*u - 42 = 6. Does 8 divide u?
True
Let s be (4 - (-2 + 3))*1. Suppose s*h = -3*q + 186, -8*h + 3*h + 5*q + 320 = 0. Does 21 divide h?
True
Let k = 999 - 583. Is 16 a factor of k?
True
Let g(j) = 109*j**2 - 2*j + 13. Is 157 a factor of g(6)?
True
Suppose -2*j + 3*f = -143, -252 = -3*j + 2*f - 5*f. Is j a multiple of 5?
False
Is (1 - (-25)/(-10))*(-175 + 23) a multiple of 6?
True
Let q = 43 + -14. Suppose -y + q = -19. Is 8 a factor of y?
True
Let k(b) = -b**2 + 0*b**2 + 7*b - 8 - 6*b + 7*b. Let w be k(5). Is (1*-1)/(w/(-70)) a multiple of 3?
False
Let g(j) = 3*j - 3. Let b be g(2). Suppose 3*q - b*m = -7*m + 240, 2*m - 330 = -4*q. Is 14 a factor of q?
True
Let a = 2828 + -2163. Does 7 divide a?
True
Let y = 349 - 318. Let u(z) = z**2 + 2*z + 5. Let p be u(5). Let q = p - y. Is q a multiple of 3?
True
Suppose 120*s + 170 = 125*s. Suppose x - s = 61. Does 20 divide x?
False
Suppose -2 = -2*a - 34. Let l = a + 77. Let n = l + -35. Does 17 divide n?
False
Let w = -232 + 58. Is 16 a factor of (-15)/(-45)*9/(-1) - w?
False
Let v be 9*((-2)/(-6) - 0). Suppose n - 2*y - 10 = 0, 5*n - 4*n + v*y = 35. Does 3 divide n?
False
Is 6 a factor of (6 + -3)/((-51)/(-13192))?
False
Let w = 40 + 663. Is w a multiple of 19?
True
Let r(t) = t**3 + t**2 - 32*t + 24. Is r(12) a multiple of 14?
True
Suppose 7*p - 2*p = s + 81, 0 = 5*s + 5. Suppose 0*o = -o + p. Is o a multiple of 8?
True
Let c = -5 + -37. Does 8 divide c*(4/1 - 64/12)?
True
Let c(z) be the second derivative of z**7/840 + z**6/72 + z**5/40 + z**4/12 - z**3/6 - 4*z. Let u(r) be the second derivative of c(r). Is u(-4) a multiple of 6?
True
Let z(t) = 22*t + 3. Suppose 12 - 28 = -4*d. Is 13 a factor of z(d)?
True
Suppose 7*c = 2*c - 20. Is 7 a factor of c + (-5)/((-15)/138)?
True
Suppose -4*z + z + 909 = 0. Does 26 divide z?
False
Let g(w) be the third derivative of -7*w**4/24 - 7*w**3/6 + 10*w**2. Is g(-5) a multiple of 15?
False
Let y(v) = 2*v - 5. Let z be y(2). Is (10/(-3))/z*(-13 - -16) a multiple of 5?
True
Let r(l) = -l**3 - 4*l**2 + 8*l + 17. Let b be r(-5). Is 18 a factor of (-4)/(-6) - (894/(-9) - b)?
False
Let x = -23 - -26. Suppose 5*l + 67 = 2*y, -5*y + x*l + 152 = 6*l. Let t = 70 - y. Is 15 a factor of t?
False
Let p(h) = -56*h - 84. Is 7 a factor of p(-4)?
True
Suppose 4*l = 3*l + 84. Suppose 5*i = 25, -5*i - 66 = -5*j + l. Does 5 divide j?
True
Suppose o + 137 = -4*n, 5*n + o = -o - 175. Is n/((-94)/22 - -4) a multiple of 11?
True
Suppose z - 32 = 5*v, 3*v = -0*z + z - 22. Is 5 a factor of ((-50)/(-4))/(z/14)?
True
Let p be 3502/(-8) - 1/4. Let z = -179 - p. Is 37 a factor of z?
True
Suppose 0 = s + 3*k - 3, -s + 3*s - 6 = 4*k. Suppose -2*o + u = s*u - 398, o - 5*u - 181 = 0. Does 28 divide o?
True
Let a = -1 - -4. Let g be (0 + -1)/(a/(-282)). Let l = g + -64. Is l a multiple of 12?
False
Suppose -4*j + 2208 = -2*t, -9*j + 2214 = -5*j - 5*t. Is j a multiple of 16?
False
Let u be 0 - 4/10 - 546/(-15). Suppose 5*q - u = 2*q. Is q a multiple of 3?
True
Let k(d) = 61 - 57 + 8*d**2 - d**3 - 8*d + 3*d**2. Is k(4) a multiple of 9?
False
Suppose 2*r - 330 = -4*m, -2*r = -5*m - 4*r + 410. Suppose 4*z = 396 + m. Does 31 divide z?
False
Suppose