ultiple of 11?
False
Let c(o) = o**3 - 10*o**2 - 37*o - 9. Is 16 a factor of c(13)?
False
Suppose -2*y + 23 = 2*y - w, 4*w = 4*y - 20. Does 3 divide y?
True
Let a = -1 - -6. Suppose 17 = a*o - 23. Is 3 a factor of o?
False
Let h = 25 + 2. Is h a multiple of 27?
True
Suppose 0*h = 3*h + 117. Let w = h + -53. Is 5 a factor of (-6)/27 + w/(-9)?
True
Let y be 2/5 + (-110)/25. Let x be (1 + 0)/((-2)/y). Suppose -132 + 12 = -x*t. Does 16 divide t?
False
Suppose 4*o - 68 = -2*w, -o = 2*w - 26 + 6. Is 16 a factor of o?
True
Let f = 91 + -37. Does 19 divide f?
False
Let w(j) = -14*j - 1. Let a be w(-1). Let p = 7 + a. Is p a multiple of 17?
False
Let s be 0 - (-1*68 + -2). Suppose 0*d - 5*d + s = -3*y, -5*y = -4*d + 43. Is d a multiple of 17?
True
Let h be (-130)/(-8) - (-3)/(-12). Suppose 0 = -3*v - v + h. Suppose 0 = -v*t - 4, -s - 4*s - t = -49. Is s a multiple of 5?
True
Does 31 divide (-1)/(-5) - 5707/(-65)?
False
Let o(d) = 9*d - 4. Let k be o(10). Is 19 a factor of (-2 - -1)/((-2)/k)?
False
Let o be (-44)/(-10) - (-6)/(-15). Suppose 2*i = 5*q - 49, 6*q - o*i = q + 53. Is 9 a factor of q?
True
Let o be (4/6)/(1/3). Suppose -4*y = -z + 23 + 9, 2*z + 5*y - 116 = 0. Suppose -k + z = o*k. Is k a multiple of 7?
False
Let y = -533 + 129. Let l be 4/14 + y/(-7). Suppose -4*c + 2*j = -l, -3*j + 23 = 8. Is c a multiple of 8?
False
Suppose -19 = -y - 0. Is 19 a factor of y?
True
Suppose -2*m + 29 = 1. Is m a multiple of 14?
True
Suppose u - 4*a = -3*u + 212, -u - 3*a = -57. Is u a multiple of 15?
False
Let v = 13 - 8. Suppose -y = -m + v, 3*y - 3 = 4*m - 19. Is 10 a factor of (m + 0)*3 - -12?
False
Let s be (-4 - -22)*2/4. Let l(d) = 25*d. Let q be l(1). Let n = q - s. Is 13 a factor of n?
False
Let i = -2 - 1. Let b(g) = g**2 - g + 2. Let c(q) = q**2 - q + 2. Let a(o) = i*b(o) + 4*c(o). Is 11 a factor of a(-4)?
True
Let a = -27 - -57. Let n = a - 9. Is 21 a factor of n?
True
Let z be 8/(-3)*(2 + 1). Let x be 0 - 26*(-8)/(-4). Is 10 a factor of z/20 - x/5?
True
Let g(k) = k**3 + 10*k**2 + 6*k - 7. Let l be g(-7). Suppose -2*o = -3*j + l, 15 = 2*j - 4*o - 53. Does 8 divide j?
True
Let t = -3 - -5. Suppose t*u - 2 = u. Suppose -u*n - 6 = 0, -3*n - 19 = -2*c + 8. Is c a multiple of 8?
False
Suppose 4 = s - 2*s, -3*f = 3*s - 204. Does 18 divide f?
True
Let b = -1 - -5. Suppose -5*k + 25 = b*u, -u + 60 - 20 = 5*k. Is k a multiple of 4?
False
Suppose h = -3*h + 12. Suppose -h*y - 9 = -0*y. Is ((93*1)/y)/(-1) a multiple of 15?
False
Let f = 7 - 9. Let s = f + 11. Is s a multiple of 8?
False
Let v(r) = -2 - 17*r + 6*r + 4*r**2 - 5*r**2. Does 15 divide v(-8)?
False
Suppose 2*p - 267 = -5*q, 0 = 3*p + 3*q - 265 - 113. Is p a multiple of 35?
False
Suppose -3*a + 256 = 16. Let i = a + -33. Is i a multiple of 15?
False
Suppose v - 70 + 19 = 0. Suppose d + v = 4*d. Is d a multiple of 17?
True
Let h(p) = -8 - 3*p + 4 - 5*p**3 - 14*p**2 + 3*p. Let r(u) = -11*u**3 - 29*u**2 - 7. Let s(i) = -9*h(i) + 4*r(i). Does 8 divide s(-10)?
True
Suppose -5*o - 5*t = -115, -5*o - t - 3*t = -110. Is 4 a factor of o?
False
Let i(f) = -4*f + 12. Is 13 a factor of i(-10)?
True
Let i(g) = g**3 + 9*g**2 - g + 13. Suppose 0 = -2*b - 2 - 16. Let x be i(b). Let r = x - 12. Is r a multiple of 5?
True
Suppose -9 = -2*p - 2*p + 5*f, -36 = -4*p - 4*f. Let c be (-1 - (p - 2))*20. Does 10 divide c/(-7) + 2/(-7)?
False
Let x = 251 + -147. Is x a multiple of 13?
True
Does 9 divide ((-39)/(-2))/(27/36)?
False
Suppose 5*w = -2*m + 149, -6*w = -m - 2*w + 81. Does 7 divide m?
True
Is (-19)/(-2) - (-2)/4 a multiple of 3?
False
Suppose -4*i - 11 = -5*i. Is 5 a factor of i?
False
Let v(w) = w**2 - 7*w - 3. Let m be v(8). Suppose p = -2*t + 23, m*p - p = -4*t + 76. Is 8 a factor of p?
False
Let d(o) = -o**2 + 3*o + 3. Let w be d(5). Let k be 15/35 + 332/(-7). Let x = w - k. Is x a multiple of 15?
False
Suppose r = -2*r - 6. Let m be 605/35 - r/(-7). Does 10 divide 5/(10/(-6)) + m?
False
Let v(s) = s**2 + 8*s + 8. Let w be v(-6). Let y(f) = 5*f - 5. Let a(i) = 4*i - 4. Let b(z) = -3*a(z) + 2*y(z). Does 5 divide b(w)?
True
Let n be ((-1 + 1)/(-2))/(-2). Suppose n = 2*c - 54 - 42. Suppose 2*t - c = -0*t. Does 12 divide t?
True
Suppose -4*b + 435 = b. Suppose 4*i - 21 = b. Is 8 a factor of i?
False
Is 0 - (-3 - -6 - 106) a multiple of 12?
False
Let i be 4 + (-1)/((-1)/(-2)). Suppose i*f = -t - f - 3, 12 = 3*t + 2*f. Does 3 divide t?
True
Let s be 0 - (2 + 7/(-1)). Let b = 68 + -63. Suppose b*q - 195 = 3*y, -168 = -s*q + y + 17. Does 12 divide q?
True
Let g = 9 - 4. Let a = g + -2. Does 3 divide a?
True
Let d be ((-4)/(-2))/((-2)/(-301)). Suppose 5*h - 5*w - d = -4*w, h = w + 57. Does 13 divide h?
False
Suppose -2*k + 5*k - 3 = 0. Is -2 - (-1 + k*-25) a multiple of 8?
True
Let f(u) = -u**2 + u - u + 7*u + 10. Let n be f(8). Suppose -n*z = 4*y - 2, 4*y + 2*z - 7 = z. Does 3 divide y?
True
Let n(s) = s**3 + 5*s**2 - 2*s + 2. Suppose z = 2*m + 1, 7 + 16 = -m - 4*z. Is n(m) a multiple of 16?
False
Is 15 a factor of (-90)/(-4)*40/30?
True
Let t = -4 - -6. Suppose -f + 2*u - 8 = 0, 0 = 5*f - 3*u - t*u + 15. Does 7 divide 2*(2 - (-3)/f)?
True
Suppose 2*s = 2*g + g - 43, -50 = -3*g - 5*s. Is 5 a factor of g?
True
Suppose 12 - 2 = p. Let h(z) = z**3 - 11*z**2 + 12*z - 1. Is h(p) a multiple of 9?
False
Suppose -d + 6*d = 495. Suppose 3*u - d = -3*s, u + 181 = 6*u + s. Is u a multiple of 21?
False
Suppose -165 + 5 = 2*s. Suppose 2*o = -5*p + p + 92, 0 = o + 2. Is (p/10)/((-6)/s) a multiple of 11?
False
Suppose -4*j - 2*a - 3 = -j, 0 = 4*a. Is 20 a factor of ((-10)/4)/(j/22)?
False
Is 19 a factor of ((-2)/(-6))/(5/570)?
True
Let b = 115 - 59. Is b a multiple of 28?
True
Suppose -5*x + 10 = 5*z, 0 = 3*z - x - 4*x - 22. Suppose z*g + 2*n = -0*g - 6, -5*g = -4*n + 27. Is 1*11 - (g - -4) a multiple of 10?
True
Let y be (4/6)/(4/102). Let z = 36 - y. Does 13 divide z?
False
Suppose 0*b + b = -3. Let q be 2/b*(-27)/6. Suppose -2*s - 38 = -q*s. Does 19 divide s?
True
Let o be ((-24)/20)/((-6)/(-220)). Does 30 divide 11/o + (-762)/(-8)?
False
Let v = 8 - 5. Suppose 4 = -2*s + j - 0, -9 = 3*s - v*j. Let k(g) = -33*g**3 + g**2 + 2*g + 1. Is k(s) a multiple of 14?
False
Suppose -32 = -4*j + 4*f, 6 = j - f + 2*f. Let x(l) = -l**3 + 7*l**2 - l + 10. Let h be x(j). Suppose -h*s + 57 = -0*s. Is s a multiple of 8?
False
Let i be (1 + (-15 - -3))*1. Let f = i - -29. Is 18 a factor of f?
True
Let l = -3 + -3. Let s(o) = -o**3 - 6*o**2 - 9*o - 4. Is 25 a factor of s(l)?
True
Let f = -17 - -24. Suppose 5*q + 50 = f*q. Does 10 divide q?
False
Let n be 42/10 - (-5)/(-25). Suppose -n*i + 2 + 14 = 0. Is i a multiple of 3?
False
Let k = 25 - -23. Is k a multiple of 24?
True
Let f = -11 + 5. Does 13 divide 1*39*f/(-18)?
True
Let x = -2 + -1. Is (x + 0 + 2)*-46 a multiple of 21?
False
Let s be 12/(-18) + 4/6. Suppose -5*x + 0*i + 5*i + 215 = s, x + 2*i = 58. Is x a multiple of 24?
True
Suppose 3*u + 2*p - 165 + 2 = 0, -2*u - 4*p = -98. Let z = -39 + u. Is 21 a factor of (-752)/(-18) - (-4)/z?
True
Is 3 a factor of (15/(-2))/(-5)*28?
True
Let o = 33 + 15. Suppose 120 = 2*b - 2*v, -3*b + 4*v + o = -2*b. Suppose -t + b = t. Does 15 divide t?
False
Let m(y) = -13*y + 4. Let r be m(-3). Let q = r - 19. Is 22 a factor of q?
False
Is (-26)/((14/(-4))/7) a multiple of 26?
True
Let c = -4 - -6. Suppose 2*s - 10 = -c. Suppose -s*q - 41 = -125. Is q a multiple of 9?
False
Suppose -3*k + 1 = 2*a - 9, -25 = -5*k - 5*a. Suppose 2*z + 4*n = 2*n + 16, -n + 2 = k. Suppose z*u = 2*u + 116. Does 12 divide u?
False
Let t be (-6)/(-27) + 115/9. Suppose 14 = f + f. Let g = f + t. Is 12 a factor of g?
False
Let a(s) = -9*s + 10 + 6*s**2 + 3*s**3 - 4*s**3 + 3*s**2 - s**2. Let m be a(7). Does 12 divide ((-50)/m)/(2/4)?
False
Let d be (18/2)/(-3 - -4). Let a(n) = n**2 - 7*n - 12. Is a(d) a multiple of 6?
True
Let g = 13 - 9. Suppose g + 0 = k. Suppose -z + 3*z = 3*m + 21, -4*z + 44 = -k*m. Is z a multiple of 6?
True
Let c = -55 + 137. Does 29 divide c?
False
Suppose 0 = p + 4*p. Suppose -5*o = p, -4*o - 20 - 40 = -5*s. Let d = s - -3. Does 9 divide d?
False
Suppose 2*r + 7 - 23 = 0. Let h(j) = 10*j**3 + 1. Let z be h(1). Let i = z - r. Does 3 divide i?
True
Let t be 15/(-1)*4/6. Let r = -7 - t. Is r a multiple of 3?
True
Suppose -25 = 6*a - a. Let d(g) = -g**2 - 7*g + 3. Is