e o(t). Suppose w*m - 3*z + z = 94, 2*z = -2*m + 66. Is 16 a factor of m?
True
Let o = 27 + -45. Let q be 4/o - 450/162. Let m(b) = 3*b**2 + 4*b. Is m(q) a multiple of 5?
True
Let c be 1 - 0 - 175/5. Let m = 200 + c. Suppose 68 = 6*s - m. Is s a multiple of 12?
False
Suppose 5 + 0 = -5*y. Let d be 0/(-1)*y/3. Suppose -3*o + 129 + 63 = d. Is 12 a factor of o?
False
Let z = -10 + 3. Let u = 20 + z. Is 4 a factor of u?
False
Suppose 0 = -2*o + 14 - 254. Let m = o + 85. Let z = m - -44. Is 9 a factor of z?
True
Let q = -2 - 6. Let k = -6 - q. Suppose k*u - 18 - 80 = 0. Is u a multiple of 22?
False
Suppose -23*t + 4796 = -1989. Is 14 a factor of t?
False
Suppose q = 12 + 134. Does 32 divide q?
False
Let k = 166 + -133. Suppose -k*n = -27*n - 804. Does 9 divide n?
False
Let c = 245 - -179. Is c a multiple of 18?
False
Let b be 20/(-16) + 9/(-12). Let m = b - -1. Is 4 a factor of m/(-2)*(22 + 2)?
True
Is 82233/90 + (-9)/(-30) a multiple of 41?
False
Let d = 6449 - 1489. Does 25 divide d?
False
Let h be (-213)/(-18) - 7/(-42). Let o = -16 + h. Is 33 a factor of (-9)/(-36) + (-271)/o?
False
Suppose -4*l + 4*s = -996, 0 = 2*l - 0*l + 3*s - 503. Suppose -2*h = u - 505, -l = 3*h - 4*h - u. Is h a multiple of 22?
False
Suppose 0 = -4*n - b + 11, -3*b = 5*n - 0*b - 19. Let k(i) = 2*i**3 - 2*i**2 + 3*i - 2. Is k(n) a multiple of 2?
True
Suppose 0 = 5*t + 5*l + 34 + 36, t + 10 = -5*l. Let x = 10 + t. Is 20 a factor of (-120)/2*5/x?
True
Suppose 5*m = 25, 3*m - 4*m + 3 = -c. Let v(f) = f + 6. Is 4 a factor of v(c)?
True
Is 44 a factor of (160/12 + -10)/((-2)/(-222))?
False
Suppose -10 = -0*s + 5*s, 0 = -3*b + s + 317. Let f = -81 - -85. Suppose i - b = -f*i. Is i a multiple of 21?
True
Let d(z) = -z - 6. Let o be d(-11). Let c(l) = -l**2 + 5*l - 3. Let r be c(o). Is 20 a factor of 36/(-8)*40/r?
True
Let x = 323 + -32. Suppose x = 3*o + 3*f, o - f = 4*f + 115. Suppose 6*r - o = r. Does 10 divide r?
True
Let d = -35 - -35. Suppose d = -85*o + 84*o + 65. Is o a multiple of 13?
True
Let u = -33 + 38. Suppose g - 176 = q, -g + 4*q = u*q - 184. Is g a multiple of 10?
True
Let h(y) = -9*y + 291. Is 12 a factor of h(27)?
True
Suppose -i = -2, j - 65 = -4*i + 9*i. Suppose -x = b - 0*x - j, -303 = -4*b - x. Does 14 divide b?
False
Suppose -28 = 2*o + 112. Let y = o + 126. Is 18 a factor of y?
False
Is 23 a factor of (-4831)/(-7) - 1/28*4?
True
Suppose -3*c - 3*w + 570 + 270 = 0, 4*w = -3*c + 845. Is c a multiple of 5?
True
Let z(h) = 24*h + 5. Let w be z(8). Let a = 405 - w. Suppose s + 1 = -r + 82, -3*s = -4*r - a. Is 14 a factor of s?
False
Suppose -7*a + 5528 = -2634. Is 22 a factor of a?
True
Let j be -2*(0 + (-18)/4). Let f = j - 7. Is 9 a factor of 24 - -3 - f - -2?
True
Let r(l) = l**2 - 3*l - 14. Let s(q) = -q**3 + 5*q**2 + 5*q - 3. Let u be s(6). Is r(u) a multiple of 16?
False
Suppose 3*j - 2*n + 40 = 0, -6*j + 2*j - 56 = -4*n. Let c be (-2)/j + (-190)/(-12). Is 15 a factor of 2/16 + 478/c?
True
Suppose 22*i - 21*i = 137. Suppose -4*c + i + 67 = -5*j, 5*j = 3*c - 148. Is c a multiple of 14?
True
Suppose i + 2*g + 24 = -2*i, 5*i = -2*g - 40. Let m = 10 + i. Suppose -67 - 13 = -m*p. Does 13 divide p?
False
Suppose 0 = -3*d + 4*l + 42, -31 = 2*d - 6*d - 3*l. Is 13 a factor of ((-15)/d + 3)*52/6?
True
Suppose 2*h - 4*h = 12. Let z(n) be the third derivative of -n**4/4 - 2*n**3 + 2*n**2. Does 7 divide z(h)?
False
Let c(f) = -43*f - 70. Does 60 divide c(-10)?
True
Suppose -d + 0*d = 0. Let g be 4 + d - (-4 - -6). Suppose -122 + 38 = -g*o - 4*i, 0 = 4*i + 12. Is 16 a factor of o?
True
Suppose 3*r = -3*w + 804, -w - 3*r = -7*r - 278. Is w a multiple of 6?
True
Let h = -212 - -497. Does 15 divide h?
True
Suppose -12 = 3*z - 6*z. Is 7 a factor of ((-1264)/(-2))/z + 4?
False
Let w be 2/7 - (-600)/7. Let u = 105 + -148. Let m = w + u. Does 14 divide m?
False
Let t(l) = -l**3 + 5*l**2 - 4*l + 4. Let o(x) = x**2 - 6*x + 3. Let m be o(6). Let g be t(m). Let k(d) = d + 9. Is 7 a factor of k(g)?
False
Suppose -3*m + 13*x = 14*x - 473, 0 = m - 3*x - 171. Does 17 divide m?
False
Suppose -2*r = r - 24. Suppose -q - 2*t + r = 0, -5*q - 2 = -3*t - t. Suppose 0 = -2*f - q + 6. Is f a multiple of 2?
True
Let l(n) = -2*n + 17. Let q be l(6). Suppose -3*k - 2*k - 45 = -q*p, 5*p + 3*k - 77 = 0. Does 13 divide p?
True
Let x = 8 - 4. Suppose -2*n - 8 = -x*n. Suppose z + n*p - 10 = 0, -z + 5*p = 3*z - 124. Is z a multiple of 13?
True
Let w(s) = -3*s - 4. Let q be w(-3). Suppose 2*z - 20 = 4*z + q*x, 3*z = 3*x - 72. Let i = 48 + z. Does 9 divide i?
False
Suppose 7*g - 1505 = 5677. Is g a multiple of 9?
True
Let b be (-10)/(-15) - 196/(-3). Suppose 6*k - 30 = b. Is 4 a factor of k?
True
Suppose 7*t - 2*t - 325 = 0. Let m = 121 - t. Does 8 divide m?
True
Let p = -97 + 158. Let f = p + 29. Is 18 a factor of f?
True
Suppose s + 2*c - 2320 = -2*s, -4*s + 3095 = c. Is s a multiple of 35?
False
Let m(g) = -g**2 + 12*g - 11. Let i be m(2). Let b(w) = -w**3 + 8*w**2 + 15*w - 14. Is b(i) a multiple of 20?
True
Let z = 382 + 122. Is z a multiple of 63?
True
Let q = 60 + -60. Suppose -5*x = -q*x - 960. Is 34 a factor of x?
False
Suppose 41*s - 59*s + 44820 = 0. Is 10 a factor of s?
True
Suppose -2*k + 21 = -5*h, -h + k - 9 = h. Let b be (7/h)/((-2)/(-12)). Does 2 divide (-24)/84 - 130/b?
False
Let t be (-5)/((-5)/3) + -1. Suppose -3*w + 5*i + 215 = 2*w, -t*w = -i - 81. Let j = -17 + w. Is j a multiple of 6?
False
Let v(z) = z**3 - 11*z**2 - 9*z - 11. Let f be v(12). Let r = f + -25. Is r/4 + 3 - -22 a multiple of 8?
False
Let z(w) = -w + 11. Let c be z(11). Let g(u) = -u + 24. Does 8 divide g(c)?
True
Let n = 26 - 11. Let u = -9 + n. Is u a multiple of 5?
False
Suppose 98 = o - 3*o - q, 251 = -5*o - q. Let h = o + 103. Is h a multiple of 25?
False
Let m(o) = 2*o**2 + 2*o - 3. Let l(j) = -j**3 + 10*j**2 + 12*j + 16. Let v be l(11). Suppose -6 = 4*b - 2*y, -6*y = 4*b - y + v. Is m(b) even?
False
Let t(g) = 2*g**2 - 10*g - 8. Let u be t(6). Suppose -y = -6*v + v - 52, -u*v = -y + 52. Does 17 divide y?
False
Suppose 0*b - 12 = -4*b. Suppose -3*o = -8*o + b*y + 6, 5*y + 10 = 3*o. Suppose 0 = 3*k - o*k - 78. Does 13 divide k?
True
Let p(s) = -s**3 + 6*s**2 - 5*s + 4. Let a be p(5). Suppose 2*o - o = -2, 122 = 5*u + a*o. Does 10 divide u?
False
Let g(a) = -532*a - 4. Is 12 a factor of g(-1)?
True
Suppose -2*t - 10 + 49 = 5*n, 5*t - 4*n - 15 = 0. Let y(w) be the second derivative of w**5/20 - w**4/2 + 7*w**3/6 - 7*w**2/2 + 3*w. Is 20 a factor of y(t)?
False
Is 138 a factor of (-387)/(-1161) + (-1 - (-6386)/3)?
False
Let k(h) = -9*h - 5*h + 13*h - 5*h + 55. Is k(-9) a multiple of 8?
False
Let j = 82 - 75. Suppose j*b = -5*b + 2748. Is 22 a factor of b?
False
Suppose -26 = -7*r + 338. Does 18 divide r?
False
Let h(q) = q**3 + 4*q**2 + 4*q + 2. Let b(y) = 6*y**3 + 21*y**2 + 21*y + 10. Let c(r) = 2*b(r) - 11*h(r). Does 27 divide c(5)?
False
Suppose 4*y - 45 = -5*y. Suppose -w + 274 = 5*h - y*w, -5*h - 3*w = -302. Is h a multiple of 29?
True
Suppose 10260 = 54*b - 44*b. Does 19 divide b?
True
Let q(y) = 8*y**2 - 3*y - 3. Let h be q(-2). Is 7 a factor of (-2)/14 + 1720/h?
True
Let h(s) = 10*s**3 - 2*s**2 - 7*s + 4. Let j be h(3). Let x = 329 - j. Is 29 a factor of x?
False
Suppose 13*d - 5039 = 4841. Is d a multiple of 20?
True
Suppose -2*t + 30 - 6 = 5*z, 2*t = -3*z + 12. Suppose -4*i = 4*v - 148, -2*v = -z*v - 16. Is 41 a factor of i?
True
Suppose -6*n = -n - 380. Suppose 5*p = p - n. Let d = -5 - p. Is 4 a factor of d?
False
Let c(g) = -8*g**3 - 2*g**2 + 1. Let z be c(-1). Let p = -20 + 20. Suppose x + 5*m = z, -x + 0*m - 2*m + 10 = p. Is x a multiple of 12?
True
Let k be (-112)/(-2) - (8 + -5). Suppose 4*z + j - k = 0, 0*z + z + 4*j = 2. Is z a multiple of 3?
False
Let u(d) = -3*d - 1. Let x be u(-2). Let t(w) = -w**3 + 5*w**2 + 3*w - 7. Let s be t(x). Suppose -s*r + 5*r = -18. Is r a multiple of 6?
True
Suppose -3*u = -2*o - 0 - 17, 2*o = -2*u - 2. Let n(i) = -2*i - 2 - 7*i + 2 + 1. Is n(o) a multiple of 10?
False
Suppose -7*b = -6*b + 220. Let a = -60 - b. Is a a multiple of 32?
True
Let z(x) = x**2 - 5*x - 5. Let h be z(-7). Let n = h + -41. Let k = n + 6. Is k a multiple of 11?
True
Let w = 2246 + -1572. Suppose -2*u - 2*o + 222 = 0, -5*u + w = 3*o + 115. Does 17 divide u?
False
Suppose -4*t - 4*d - 280