-2*r + 4 - 3 - 2*r + 5*r. Is u(13) a multiple of 4?
False
Let d = -301 + 574. Let z = d + -84. Suppose -4*n - 72 = -5*a + z, a = -n + 54. Does 13 divide a?
False
Let x = 10 - -151. Let c = x - 105. Is c a multiple of 22?
False
Let g(v) = 5*v**3 + 21*v**2 - 11. Let b(q) = 4*q**3 + 21*q**2 - 12. Let x(k) = -6*b(k) + 5*g(k). Is x(21) a multiple of 6?
False
Let n = 1183 - 907. Is n a multiple of 23?
True
Suppose 2*q + 28 = 5*x, -4*q = -x + 28 - 8. Suppose -x*w = -213 - 427. Does 32 divide w?
True
Let q(r) = r**3 - 8*r**2 + 8*r - 3. Let x be q(7). Suppose -53 = -x*z + 107. Is z a multiple of 17?
False
Suppose 8 = u - 0*u. Suppose -2*o + u = 2*n, 8 = -2*n + 3*o - o. Suppose -4*f + 3*p + n*p = -285, -3*f = -4*p - 212. Is f a multiple of 24?
True
Let v(h) = 0*h + h**2 - 15 + h**2 - 2*h. Is v(10) a multiple of 31?
False
Let g(n) = -76*n + 43*n - 45 + 51*n. Is g(5) a multiple of 45?
True
Let i(k) = 4*k**2 + 3 + 7 + 7*k - 12*k. Does 27 divide i(-5)?
True
Suppose -f + 3373 = -5*m + 9*m, -3*m = 5*f - 2517. Is m a multiple of 13?
False
Let o = -25 - -36. Let v = 14 - o. Suppose -v*h - 5 = -14. Is 2 a factor of h?
False
Let n = 17 - 13. Suppose -u - n*q - 1 = 6, -4*u + 3*q + 67 = 0. Suppose -h = 3 - u. Does 5 divide h?
True
Let a(m) = 3*m**3 - 16*m**2 + 30*m - 11. Let s(v) = -v**3 + 5*v**2 - 10*v + 4. Let r(l) = 4*a(l) + 11*s(l). Does 16 divide r(8)?
True
Let m = 177 - 122. Is 47 a factor of m?
False
Let o be (2 + 2)*(-2)/(-4). Let s(r) = 6*r**3 - 4*r**2 + 3*r - 2. Is s(o) a multiple of 28?
False
Let h(c) = c + 12. Suppose 3*d = -5*l - 30, 0 = 3*d - 5*l + 1 + 29. Let n be h(d). Suppose -r = 5*t - 76, n*r - r - 1 = 0. Is t a multiple of 15?
True
Suppose c - 365 = -5*s, -3*c = -2*s - 1137 + 110. Does 22 divide c?
False
Let a(j) = -j**3 + 20*j**2 + 19*j + 26. Does 13 divide a(13)?
True
Suppose -2*p = -2801 - 3067. Is p a multiple of 16?
False
Suppose 203*z - 33396 = 181*z. Is z a multiple of 11?
True
Suppose 0 = -37*i - 36*i + 140598. Does 18 divide i?
True
Suppose 2*l + 106 + 244 = 2*i, 0 = -i - l + 185. Let y = i + -126. Is y a multiple of 18?
True
Suppose -r - 2495 = 3*r - 5*w, -5*w = 25. Is r/(-3) + (-3)/(1 + -4) a multiple of 28?
False
Let n(o) = -2*o + 12 + 5*o + 3*o**2 + 8 - 21. Does 7 divide n(-4)?
True
Is 27 a factor of 243/(-2)*(-36 + 30)?
True
Suppose -2*p - 101 = -a, p + 217 = 5*a - 3*a. Does 8 divide a?
False
Let k(j) be the second derivative of 7*j**6/720 + 3*j**5/40 + j**4/6 + 5*j. Let v(b) be the third derivative of k(b). Is 14 a factor of v(5)?
False
Let w(x) = 1106*x + 50. Is 26 a factor of w(1)?
False
Let q = 4 - 3. Suppose -3*i + q = -2*i. Let x(s) = 57*s**3 + s**2 - 2*s + 1. Is 26 a factor of x(i)?
False
Suppose 0*v + 16 = 4*v. Suppose 4 = -v*y - 8. Is y - (-7*11 - -2) a multiple of 24?
True
Suppose -3*d + 2*p + 105 = 0, -d + 19 = 4*p - 30. Let c = -7 + d. Is c a multiple of 3?
True
Suppose -4*y + y = 4*p - 40, 4*y - 52 = -4*p. Let g(k) = -k - 4. Let f be g(y). Let b = f + 57. Is b a multiple of 16?
False
Suppose 2*l + l - 2*m - 14 = 0, -20 = 5*m. Suppose -5*y - l*p - 27 = 0, -2*y + 2 - 11 = -p. Let h = y - -17. Is 3 a factor of h?
True
Let c(g) = 39*g + 3. Let l(b) = 118*b + 9. Let x(n) = 11*c(n) - 4*l(n). Does 23 divide x(-2)?
False
Suppose 0 = -0*y + 6*y - 162. Is y a multiple of 3?
True
Suppose 21*r - 9409 = 45128. Does 19 divide r?
False
Let c be (-1)/(4/(-2024)) + 3. Suppose 2*r + 145 - c = 0. Is 26 a factor of r?
True
Let d = -28 - -16. Does 38 divide (-153)/(-2) + (-2)/d*-3?
True
Suppose -j + 5 = -3*n + 15, -3*j = 4*n + 4. Let u(t) = 52*t**3 - t**2 + 5. Let z(a) = -a**3 - 1. Let s(r) = j*z(r) - u(r). Is s(-1) a multiple of 16?
True
Suppose c - 8 + 3 = 0. Suppose 38 = -c*g + 208. Is g a multiple of 22?
False
Let g(u) be the first derivative of -u**4/4 + 22*u**3/3 - 11*u**2 + 49*u - 8. Is g(21) a multiple of 27?
False
Let i(w) = -25*w + 82. Is i(-5) a multiple of 9?
True
Suppose 4*a = -71 + 1463. Is 29 a factor of a?
True
Let c be (7 - (-308)/21)/(2/(-6)). Let n = c - -164. Is 11 a factor of n?
True
Let i = 404 + -226. Let s = 253 - i. Is s a multiple of 25?
True
Let l = 55 + -27. Let r be 152/l - 6/14. Suppose 0 = 4*c + 3*f - 26 - 150, 0 = r*c - 5*f - 220. Is c a multiple of 22?
True
Suppose 76 = 4*j - 1060. Is 8 a factor of j?
False
Let o(u) = -u**3 + 11*u**2 + 3*u + 6. Suppose -2*x + 4 + 6 = 5*j, -4*x = 0. Suppose -j*m = 2*s - 12, 3*m + 24 + 2 = s. Is o(s) a multiple of 14?
False
Suppose -2*f - 5*v + 0 = -110, 66 = f - 3*v. Suppose f = 3*m - 12. Is 6 a factor of m?
True
Suppose 4*j = 28 + 1232. Suppose 0 = 2*w - 7*w + j. Is 21 a factor of w?
True
Suppose -2*o = 2*y - 6, -4*o + o = -y + 3. Suppose -y*f + 6*f = 21. Is f a multiple of 7?
True
Does 70 divide (-115137)/(-55) + 7 - 2/5?
True
Suppose 4*h - 1765 - 735 = 0. Suppose v + h = 3*a + a, 5*v = -2*a + 307. Is a a multiple of 37?
False
Let o be 8/3*(-30)/(-20). Is 3/o - 333/(-36) a multiple of 6?
False
Let b = -94 + 7. Let j = -49 - b. Is j a multiple of 19?
True
Let o(c) = c**3 + 42*c**2 + 29*c - 199. Is o(-40) a multiple of 7?
True
Does 73 divide 540 + 3 + 2 + -3?
False
Let t be (-1)/(-7) + (4 - 20/(-7)). Suppose x = t + 10. Does 17 divide x?
True
Let k = 0 + 2. Suppose j = k*j - 1. Suppose -28 + j = -h. Does 27 divide h?
True
Is 210*(9 - 451/55) even?
True
Suppose b - 820 = -4*p + 619, 5*p = 5. Is 11 a factor of b?
False
Let n = 462 + -460. Let z be 1*-74*(-2)/4. Suppose -47 = -n*w + z. Is 42 a factor of w?
True
Let c = 8 + -9. Let t = 3 - c. Suppose -t = 4*u - 68. Does 11 divide u?
False
Suppose -90 = -5*i - 2*j, -22*j = 3*i - 20*j - 54. Does 3 divide i?
True
Let y(o) = 8*o**3 + 10*o**2 - 108*o - 4. Is 54 a factor of y(6)?
False
Let y = -316 - -2075. Is 39 a factor of y?
False
Suppose -3*a + 2*z + z - 9 = 0, 3*z = 0. Let d be ((-6)/a - 4) + 6. Suppose 0 = -4*g - 3*q + 140, -3*g + d*g - 46 = 2*q. Is g a multiple of 16?
False
Suppose 0 = -2*h + 4, 4*j + 5*h - 8101 + 1239 = 0. Does 12 divide j?
False
Let p(b) = b**3 + 3*b**2 - 7*b - 6. Suppose 2*c - 2 = -w + 1, 0 = -4*c - 5*w - 9. Is 11 a factor of p(c)?
False
Let c(k) be the first derivative of -k**3/3 + 5*k**2 - 4*k - 46. Is 7 a factor of c(8)?
False
Let s be (1 - 2/3)*21. Suppose 3*r - s*r + 5*x + 660 = 0, r - 174 = -x. Is r a multiple of 17?
True
Suppose 11*f = 4*f + 497. Does 12 divide f?
False
Let g(y) be the third derivative of -y**5/60 - 7*y**4/12 - 4*y**3 + 17*y**2. Does 4 divide g(-10)?
True
Let z(v) = 7*v**3 + 3*v**2 - 5*v + 2. Does 4 divide z(2)?
True
Suppose 0 = 5*q - 2*c - 1438, -8*c + 4 = -4*c. Is q a multiple of 24?
True
Let z(t) be the third derivative of t**5/20 - t**4/8 + 5*t**3/6 + 19*t**2. Let b(w) = -w**2 + 11*w + 14. Let g be b(12). Is 9 a factor of z(g)?
False
Let q = 23 + -18. Suppose 0 = -q*o - 2*w - 0*w + 386, -4*w = 4*o - 304. Is o a multiple of 13?
True
Suppose x = -3*c + 120, -97 = -2*x - c + 118. Is 5 a factor of x?
True
Suppose 0 = -3*i + 4*i - 115. Suppose 5*t + i = -0*l + 5*l, -5*l = 3*t - 123. Does 7 divide l?
False
Let y = 163 - -381. Suppose o - 5*c + 6*c - 134 = 0, 2*c = -4*o + y. Suppose -n - o = -4*x, -3*n - 146 = -4*x + 2*n. Does 17 divide x?
True
Let p be 4/(-2)*420/(-24). Suppose -3*j + 55 = -p. Does 5 divide j?
True
Suppose 38 = -s + 136. Suppose 104 = 3*f - f + 5*d, -2*d = 2*f - s. Is 14 a factor of f?
False
Suppose -2*t + 84 = -0*t. Suppose -4*q + 2*l + 84 = 8, -2*q + t = -3*l. Is 6 a factor of q?
True
Let m = 1128 - 478. Is m a multiple of 17?
False
Suppose -10*o + 5*o = 6700. Is o/(-36) + (-6)/27 a multiple of 5?
False
Let t(q) = 537*q - 156. Is t(2) a multiple of 34?
True
Suppose -3*k - 38 = 1. Let z = -10 - k. Does 3 divide z?
True
Suppose -3*d - 2*u + 19 = 0, 0 = 2*d - u - 1 - 7. Suppose -3*y - 3*h + 29 = -8*h, 3*y - 79 = -d*h. Is 6 a factor of y?
True
Suppose -10*d = -294 - 4206. Is 15 a factor of d?
True
Let b = -381 - -651. Suppose 25*g + b = 27*g. Is g a multiple of 27?
True
Let r be (12/10)/(7/(630/12)). Is 48 a factor of (r/1)/((-3)/(-48))?
True
Suppose 3*u = 5*u - 5*l - 57, -5*u - 2*l = -99. Let s be u/(-6) + 3/(-6). Let c = 30 + s. Does 11 divide c?
False
Suppose -45 = -4*c - 417. Let j = c + 176. Is j a multiple of 17?
False
Let r be (-4)/5*30/12 - -113. Let a = 158 - r. Is a a multiple of 11?
False
Let y(n) = -3*n + 12. Let v be y(6). Let b(g) = -14*g + 6. Is 24 a f