 g. Is u a multiple of 13?
False
Suppose -5*r + 2*j = 6*j - 24, 0 = -3*r - 3*j + 15. Suppose -5*a + 397 = -s, -2*a + 3*a - 71 = -r*s. Is a a multiple of 21?
False
Let p(q) = q**3 - q**2 - 13*q - 3. Let m be p(6). Suppose -3*u + m = -0*u. Does 20 divide u?
False
Suppose 4*o + 416 = 8*o. Does 8 divide o?
True
Suppose 6*w - 1694 = 490. Does 52 divide w?
True
Let i(w) be the first derivative of -7*w**4/2 + w**3/3 - w + 6. Let t be i(-1). Suppose -2*m - 4*x = t, -4*m - 3*x = -7*x - 32. Does 2 divide m?
False
Suppose v - 5*a - 443 = 0, 12*a + 4 = 8*a. Is 39 a factor of v?
False
Suppose 3*z + 12 = 3*r, -r - 3*r = 4*z. Suppose 0 = -r*m - 3*m + 640. Is 20 a factor of m?
False
Suppose -1 = -v, 3*b + 92 = -3*v + 5*v. Let k = -21 - b. Is 18 a factor of (-13 - 7)/((-2)/k)?
True
Let o(k) be the first derivative of -8 + 1/4*k**4 + 11/3*k**3 - 3/2*k**2 - 3*k. Is 10 a factor of o(-11)?
True
Let n(p) = 4*p**2 - 3*p**2 + p - 10 - 3*p. Let m(v) = v**3 + 9*v**2 + 7*v + 2. Let f be m(-8). Does 35 divide n(f)?
True
Suppose -5*o = -k + 3*k - 13, -o + 2*k + 5 = 0. Suppose -o*r + 1820 = 2*r. Suppose -356 = -z - 3*z - c, -r = -4*z + c. Is z a multiple of 15?
True
Let w(k) = 6*k**2 + 4 - 16*k + 33*k - 13*k + 8*k**2. Is 15 a factor of w(-3)?
False
Suppose -6*z + 9*z - 1368 = 0. Does 60 divide z?
False
Let j = 1523 + -994. Is j a multiple of 72?
False
Suppose -4*a + 8 = -4*p, p - 10 + 0 = -3*a. Is (5 + 5)*(9/2)/a a multiple of 2?
False
Suppose -u + 4*h = -6, -5 = 5*h - 0. Let a be (32/u)/(3/30). Suppose 4*z - 5*c - a = -0, -2*z + 98 = 2*c. Is 15 a factor of z?
True
Let v be 70/1*(-4)/(-8). Let c = v - -119. Does 24 divide c?
False
Suppose 0*k - k + 32 = 0. Is k a multiple of 8?
True
Let c be 4/((-218)/(-808) + (-1)/4). Suppose 0 = -7*u + 85 + c. Is 15 a factor of u?
False
Let g be (-248)/12 - 2/(-3). Let b = 35 + g. Suppose q = 18 + b. Is q a multiple of 11?
True
Let g = -15 + 3. Let h = -10 - g. Suppose 0 = h*b - 0*b - 100. Does 25 divide b?
True
Let k = -6 + 8. Suppose -3*g - 6*h = -2*h - 24, k*h = -3*g + 18. Suppose 0*r + g*r = 96. Is r a multiple of 24?
True
Let p = -8 + -2. Let z be -3 - (-5)/p*-26. Is 10 a factor of (-386)/(-5) - 2/z?
False
Suppose -4*d + 5*u + 730 = 0, u - 538 = -0*d - 3*d. Is d a multiple of 20?
True
Suppose -j - j + 66 = 0. Let t be j/11 - 2/2. Suppose 152 = 4*o - t*o. Does 19 divide o?
True
Let x = -16 - -14. Let c be 2*(9/x + 2). Let l = c - -8. Does 2 divide l?
False
Let l(c) = -c**3 - 8*c**2 + 23*c - 14. Suppose 15 = 3*u, -4*u + 38 = -3*f - 3*u. Is 24 a factor of l(f)?
True
Let c(d) = d**3 - d**2 - 4. Let h be c(2). Suppose -10*v + 3*v + 371 = h. Is 18 a factor of v?
False
Suppose -4*z + 274 = -2*t, -4*z + t + 0*t + 275 = 0. Let n = -58 + z. Does 3 divide n?
False
Let a(m) = -m**3 - 19*m**2 + 12*m. Let l be a(-21). Suppose -5*v + l = 5*s, 2*s + 2*s + 378 = 3*v. Is 21 a factor of v?
True
Let h(k) be the second derivative of 5*k**3/3 + k**2/2 + 4*k. Let y be h(-2). Let p = y - -60. Is 19 a factor of p?
False
Suppose -5*t = 42 - 252. Let b = t - 1. Does 5 divide b?
False
Suppose -4824 = -27*k + 26*k - 4*z, k - 2*z - 4794 = 0. Is 27 a factor of k?
False
Let d(t) = -t**3 - 11*t**2 - 9*t + 7. Let j be d(-10). Is 15 a factor of ((-3)/j + 0)*(-164)/(-4)?
False
Suppose 0*m = m - 1, 3*m + 165 = 3*s. Suppose 0 = -5*g - 4*r + 224, 5*g - 2*r - s = 4*g. Does 12 divide g?
True
Let z = -1 + 5. Suppose z*o + o = -90. Is (96/9)/((-3)/o) a multiple of 16?
True
Let w(s) = -74*s + 1. Let p(k) = -k. Let t be p(7). Let f(g) = 49*g - 1. Let j(u) = t*f(u) - 5*w(u). Is j(1) a multiple of 15?
False
Suppose 1 = -5*l - 2*k - 25, l + 5*k + 19 = 0. Let j(v) = -2*v**3 + 2*v**2 - 7*v**2 - 2*v + v. Does 11 divide j(l)?
False
Let f(g) = -137*g + 77. Is 11 a factor of f(-11)?
True
Let u = -47 - -341. Does 42 divide u?
True
Let f = -13 - -20. Suppose k - 11 - f = 0. Is ((-36)/10)/(k/(-120)) a multiple of 17?
False
Suppose 5 = -g - 3*x, -2*x = 2*g - g + 2. Suppose 0*r - g*r = -188. Is r a multiple of 26?
False
Suppose -3*a + 360 = 4*v + a, -360 = -4*v - 2*a. Suppose -5*t = -0*t + 4*z - v, 3*t = -3*z + 51. Is t a multiple of 11?
True
Let g(y) = y**3 - y**2 - y + 4. Suppose 0 = 2*x - 3*k + 15, 0 = -4*x - 3*k + 7 + 8. Is 2 a factor of g(x)?
True
Is 119 a factor of 17*((-1 - 1) + 177)?
True
Suppose 25*v = -9*v + 40800. Does 95 divide v?
False
Let w(i) = -i**2 + 13*i + 10. Let m be w(14). Let f be (4/6)/(m/(-72)). Let u = 30 + f. Is u a multiple of 14?
True
Let f(g) = -2*g - 21. Let a be f(-9). Is 13 a factor of 2/a*729/(-18)?
False
Suppose -5*j = -q - 5671, -5*q + 0*q + 5665 = 5*j. Does 23 divide j?
False
Let d(i) = -33*i + 2. Let a be d(-5). Let t = -92 + a. Is t a multiple of 3?
True
Suppose -5*g = -5*b + 1480, g - 15 = 6*g. Is 30 a factor of b?
False
Let g(i) be the third derivative of 3*i**6/20 + i**5/60 - i**4/24 - 10*i**2 + 3. Suppose 2*b = 4*b - 2. Is g(b) a multiple of 18?
True
Let h(a) = 167*a - 66. Is h(14) a multiple of 71?
True
Suppose 4*y + 2*i = 20, -2*y = -3*i - 1 - 1. Suppose -7*t = -2*t + 2*j, 3 = y*t + j. Suppose 216 = 4*s + 3*l, 63 + 31 = t*s + 5*l. Does 18 divide s?
False
Let g(c) = 61*c - 190. Let d be g(3). Let t(i) be the first derivative of -4*i**2 - 4*i + 1. Is t(d) a multiple of 13?
True
Suppose -3*w + 909 = -2*x + 4*x, -2*w = 4*x - 1838. Suppose 2*n = 5*n - x. Does 34 divide n?
False
Let u(q) = q**2 + 9*q + 9. Let p be u(-8). Suppose -r = 9 + p. Let j(k) = -k**2 - 11*k. Is j(r) a multiple of 8?
False
Let h(o) = -32*o - 54. Let b(l) = -16*l - 26. Let f(a) = -9*b(a) + 4*h(a). Is f(7) a multiple of 26?
True
Let m(h) = h**3 + 9*h**2 + h + 20. Let r(d) = -d**2 + 1. Let q(s) = m(s) - 3*r(s). Let t be q(-12). Does 16 divide 2/(t/(-120)*-1)?
True
Let x = -464 - -817. Let w = x - 179. Is w a multiple of 29?
True
Let i = 201 + 19. Does 11 divide i?
True
Let k be (0 - 1) + -3 + 3. Let s be 2 + 65 + 3/k. Let l = s - 13. Does 17 divide l?
True
Let g = -459 - -486. Is 5 a factor of g?
False
Let k be -3 - 1 - 134*-1. Suppose k + 161 = 3*d. Does 27 divide d?
False
Suppose -5*r = -d - 12 - 14, -32 = -2*r - 5*d. Let a be ((-16)/r - -2)*-3. Suppose -2*y - 4*g + g = -28, -a*g - 108 = -5*y. Is 10 a factor of y?
True
Let t be (2/(4/(-6)))/(-122 + 123). Suppose 3*n = 3*m + 3, 4*n + 2*m = 10 - 0. Is 8 a factor of (140/(-6))/(n/t)?
False
Suppose 0 = 3*j + j - 4. Let z = 1 + j. Suppose -7*p = 4*n - 3*p - 96, n - z*p = 39. Does 15 divide n?
False
Let b be 17/136 - (-1)/(-8). Suppose b = 2*g + 29 - 101. Is g a multiple of 18?
True
Let x(i) = 17*i**3 - i**2 - 5*i + 39. Is x(5) a multiple of 10?
False
Suppose -13 = -4*p - 5*l + 10, 0 = -p - 3*l + 11. Let s(d) = 28*d**2 - 2. Does 22 divide s(p)?
True
Let q(u) = 8*u**3 - 65*u**2 - 14*u - 78. Let z(d) = 3*d**3 - 22*d**2 - 5*d - 26. Let r(l) = -4*q(l) + 11*z(l). Does 4 divide r(-18)?
True
Let m = 1056 - -876. Is m a multiple of 28?
True
Suppose 3283 = 36*l - 10541. Does 32 divide l?
True
Let j be (17/34)/(1/648). Suppose -j = -2*y + 188. Does 15 divide y?
False
Suppose -1695*x + 1694*x = -210. Is x a multiple of 21?
True
Let d = 263 - 377. Let m = 231 + d. Does 13 divide m?
True
Suppose 4*r + 5 - 15 = -5*v, -3*r - v + 2 = 0. Suppose -5 + r = -5*j, -3*b - 2*j = -245. Is b a multiple of 27?
True
Suppose -12*p + 16*p - 276 = 0. Let a = 145 - p. Is 7 a factor of a?
False
Does 17 divide 90/(-75) - 3/(45/(-16518))?
False
Suppose -5*b = 3*q - 192 - 78, 0 = 2*b - 2*q - 124. Let o = b + -26. Does 21 divide o?
False
Let y(t) = t**3 + 25*t**2 + 19*t - 30. Let s be y(-24). Suppose 13*f - 352 = s. Is 34 a factor of f?
True
Let p be 6 + -5 - -2*1. Let s = p + -3. Suppose s = 3*x - 7*x + 56. Is x a multiple of 6?
False
Let x(w) be the second derivative of 7*w**5/20 + w**4/4 - w**3/3 - w**2 + 13*w. Is x(2) a multiple of 7?
False
Let b = -141 + 213. Suppose 576 = 6*q + b. Suppose 0 = 3*u - u - 4*f - 42, -5*f + q = 4*u. Is u a multiple of 10?
False
Let d(g) = g**3 + 11*g**2 - 24*g + 6. Suppose 0 = 5*v + 25, 4*a - 2*v + 10 = -28. Does 24 divide d(a)?
False
Suppose 0 = 6*r - 122 - 130. Is r a multiple of 21?
True
Let n = -244 - 59. Let h be n/(-12) - 6/(-8). Suppose 2*f = -2*j - h + 108, -j + 43 = -f. Is j a multiple of 21?
True
Let t = -1433 - -2514. Does 24 divide t?
False
Let y(p) = p**2 - p + 2. Let r be y(0). Let s = 5 - r. Suppose 27 = 2*h - s*w, 2*h