k - 3*s - 6154 - 861. Is k a multiple of 57?
False
Let d(v) = 10*v + 4. Let s(n) = -15*n - 6. Let o(l) = 8*d(l) + 5*s(l). Let y be o(-2). Let j = 23 - y. Does 13 divide j?
False
Suppose 310 = 10*v - 140. Does 2 divide v?
False
Suppose 0 = -0*a + 5*a - 170. Let r = a - 13. Is r a multiple of 14?
False
Suppose 2*z = 7*z + 5*x + 5, -8 = -4*z + 2*x. Is (z + 0)*(-120)/(-4) a multiple of 15?
True
Let u be (-2 - (-7 - -3))*2. Let t be -2 - (2/1 - u). Suppose t = 3*m - 4 - 14. Is m a multiple of 2?
True
Suppose -72*z + 133076 = 31*z. Does 56 divide z?
False
Let z = -352 - -608. Suppose -4*k + z = 4*a, -k + 5*k + 2*a - 264 = 0. Does 41 divide k?
False
Let y(g) = -112*g - 5 - 1 + 2 + 94*g. Does 14 divide y(-8)?
True
Suppose -39 + 171 = p. Does 11 divide p?
True
Let x = -29 - -47. Suppose -x = -147*o + 145*o. Is o a multiple of 6?
False
Does 48 divide 356 + (9 - -3)/(-3)?
False
Let d = 931 - 475. Does 24 divide d?
True
Suppose -84*q = -36*q - 6336. Is q a multiple of 5?
False
Suppose 37 = -4*h + 49. Let l = 40 + h. Is l a multiple of 19?
False
Is -82*((-7)/(-14))/(2/(-34)) a multiple of 45?
False
Let z = -5 + 5. Let l = 4 + z. Is 7 a factor of 16 + l/(0 + 4)?
False
Suppose q = -v + 302, -5*q + 2004 = 2*v + 500. Does 10 divide q?
True
Let j(o) = -114*o**3 - 60*o**3 - 2*o - 2 - 17*o**3 + 1. Let c be j(-1). Suppose 5*f = 4*n - c, -2*f = f. Is n a multiple of 8?
True
Suppose -55*b = -12925 - 12595. Is b a multiple of 15?
False
Let w(n) = -n**3 - 7*n**2 + 5*n - 1. Let k be w(-7). Suppose -6 = 4*r - 2*r. Is 2 a factor of (k/8)/r*6?
False
Let i(n) = 8*n - 13. Let l(g) = -10*g + 14. Let u(z) = 3*i(z) + 2*l(z). Let a(f) = -10*f**3 + f**2. Let c be a(-1). Is 9 a factor of u(c)?
False
Let l(p) = p**2 - 8*p + 2. Let i be l(7). Let y be (6/(-5))/(2/i). Is 11 a factor of 36 + (-3)/y + -2?
True
Let r(l) = -4*l**2 - 4*l - 4. Let g be r(-3). Let s = 30 + g. Suppose -y + 13 = 2*b, -2*y = b - s - 15. Does 7 divide y?
True
Suppose -9*i + 2*i + 7 = 0. Let q(b) = -32*b**2 + 1. Let z be q(-1). Does 8 divide (-1 + z)*(0 - i)?
True
Let d(a) = -18*a**3 + a + 1. Let p(n) = n + 4. Suppose -15 = 2*f + 4*h - 1, -4*f - 24 = 4*h. Let t be p(f). Does 6 divide d(t)?
True
Suppose 922 = 4*d - 0*d + 5*i, -5*d = -2*i - 1136. Suppose 0 = 3*k - 87 - d. Does 25 divide k?
False
Suppose -2*h + 35 = l, 6*h - 9*h = -5*l - 59. Does 8 divide h?
False
Let w = -11 - -450. Is w a multiple of 26?
False
Suppose 0 = -b - 140 - 59. Let i = b + 283. Is i a multiple of 12?
True
Suppose 30 = -3*q + 3*n, -3*q + 18 = -n + 50. Let t = q + 137. Is t a multiple of 18?
True
Let j = -17 + 19. Suppose -70 = -4*r + j*r. Let s = r + -16. Is 5 a factor of s?
False
Let i = 92 + -65. Suppose 3*g + 3*z = 69, -i = -g - 3*z - 6. Does 6 divide g?
True
Is 6/(-1) - (-12 - 85) a multiple of 32?
False
Suppose -4*y + 2*y - 6 = 0, 5*r + y = 2797. Suppose 34*d - r = 30*d. Is d a multiple of 20?
True
Let t = -12 + 2. Let j = -12 - t. Does 25 divide (34/(-4))/(j/12)?
False
Let o be 3/1 - (-1)/((-5)/535). Let g = o + 216. Does 14 divide g?
True
Let f(q) = 10*q**3 - 18*q**2 + 17*q - 78. Let a(c) = -3*c**3 + 6*c**2 - 6*c + 26. Let n(g) = -7*a(g) - 2*f(g). Is n(6) a multiple of 5?
False
Let r = -13 + 21. Let q = -6 + r. Is ((-520)/(-4))/q + 3 a multiple of 18?
False
Suppose -5*x = -10*x + 10. Suppose -x = -o - 1, 5*k - 2*o = 1063. Is 21 a factor of k?
False
Let n = 113 + 20. Does 19 divide n?
True
Let p be -1 + ((-24)/56 - (-188)/14). Does 24 divide 1154/p + -2*3/36?
True
Let y(b) be the second derivative of b**4/12 - 2*b**3/3 + 2*b**2 - 3*b. Let n be y(3). Let a(t) = 9*t - 1. Does 4 divide a(n)?
True
Let i = 478 + -222. Suppose -i = -12*t + 680. Is 10 a factor of t?
False
Let h(l) = -22*l**2 - 3*l + 6. Let u(x) = -1. Let s(b) = -h(b) - 5*u(b). Let a be s(1). Suppose q + 5*p - 31 = 0, -3*p + 43 = 5*q - a. Is q a multiple of 3?
False
Let g = 3192 - 2191. Does 45 divide g?
False
Let r(u) = -u**3 - u**2 + u + 5. Let y be r(0). Let g(d) = -6*d - 18. Let o be g(-8). Does 35 divide ((-19)/(-2))/(y/o)?
False
Let w = 45 + -44. Suppose 46 = j - 4*d - w, -5*j - 2*d + 301 = 0. Is j a multiple of 20?
False
Let y be 1516/(-6)*2/(-4)*-3. Let s = 535 + y. Does 21 divide s?
False
Suppose 3*m = -5*k + 40, 5*m + 0*k = k + 20. Suppose 100 = -m*n - 0*n. Does 17 divide (-24)/8 - n/1?
True
Suppose -149 = k + 142. Let i be k*-2*(-2)/(-12). Suppose -d - 2*f + 14 = 0, -2*d - d + 5*f = -i. Is 12 a factor of d?
True
Suppose -33*f + 22*f + 363 = 0. Is 7 a factor of (-218)/(-6) + f/9 + -4?
False
Suppose -274 = 4*v - 454. Is v a multiple of 2?
False
Let v(z) = 7*z**3 - 7*z**2 - 3*z - 120. Let q(j) = 4*j**3 - 4*j**2 - 2*j - 60. Let p(o) = 5*q(o) - 3*v(o). Is 12 a factor of p(0)?
True
Suppose 0 = 5*q - 10*q + 270. Let m = q - 38. Is 14 a factor of 245/14*m/10?
True
Suppose f = 3*s - 101, -3*f + 2*s - 99 = -2*f. Does 14 divide (-564)/(-10) + 38/f?
True
Let m = -12 + 17. Suppose -2*d + 8 = 0, -3*f = 3*d - m*d - 325. Is 16 a factor of f?
False
Let t = 2338 + -1744. Does 6 divide t?
True
Suppose 8*l - 54 = -22. Suppose l*s - 241 = -3*m - 8, -5*s = 5*m - 295. Is 9 a factor of s?
False
Let a be (-2)/(-7) - 384/(-28). Let g(t) = -4 + 8*t + t**2 + 3*t**2 + a - 5. Does 11 divide g(-5)?
False
Let m(d) = -379*d + 26. Is 9 a factor of m(-1)?
True
Is 125 - (-5)/(-15)*-9 a multiple of 3?
False
Let v be 6/15 + 26/10. Let w be ((-15)/6 + v)*4. Suppose a - 3*q = -8*q + 40, -w*q = a - 25. Does 15 divide a?
True
Suppose -16*j + 12*j + 2884 = 4*u, 5*u = -j + 725. Is j a multiple of 40?
True
Suppose -2*h + 4*h - 10 = 0. Suppose -5*d = h*i - 20, -d + 0*d = 3*i - 10. Is i a multiple of 3?
True
Let r = -3 + 6. Suppose r*g - 3*f + 8*f = 106, g - 34 = -2*f. Is g a multiple of 21?
True
Suppose -r - r = -2, -3*r - 3 = 2*m. Let b be -5*(m - 26/(-10)). Does 18 divide (-51)/(-1) - (b - 5)?
True
Let p(h) = -h**3 - 7*h**2 + 2*h + 2. Let t be p(-5). Suppose -4*d = 194 + 242. Let j = t - d. Is 17 a factor of j?
True
Let a(t) = 7*t - 15. Let j be a(12). Suppose -q + j = 21. Is 6 a factor of q?
True
Let v = 2 - 2. Suppose 168 = 3*q - v*q. Is q a multiple of 37?
False
Let r = 2775 + -1195. Does 24 divide r?
False
Let l(b) = -40*b + 1. Let i be l(-5). Suppose -101 = -a - f, -3*a + f = -5*a + i. Is 10 a factor of a?
True
Let f(j) be the first derivative of 5*j**3/3 - 3*j**2 + 7*j - 12. Does 4 divide f(3)?
False
Let o = -362 + 965. Is 67 a factor of o?
True
Suppose 4*s + 0*i + 5*i = -387, -186 = 2*s + 4*i. Let u = s + 209. Does 13 divide u?
False
Let a be 3 + 0 + 3 + -3. Suppose 2*w - 30 = 4*x, 0 = -x - w - 0*w - a. Is 4 a factor of (2/4)/(x/(-216))?
False
Let c(g) = -g**3 + 26*g**2 - 25*g + 19. Is c(25) a multiple of 2?
False
Let u(m) = 8*m - 23. Let y be u(4). Suppose 1176 = -2*p + y*p. Is 24 a factor of p?
True
Let w = -50 + 72. Let x(b) = b - 11. Let r be x(-2). Let n = w - r. Is n a multiple of 19?
False
Let f = 35 + -34. Let h be (78/(-6))/(-2 + f). Let k = -5 + h. Does 4 divide k?
True
Let p be (-4)/(-4)*294/(-21). Let w(v) = v + 2. Let z be w(2). Let m = z - p. Does 6 divide m?
True
Let w(k) = 2*k**3 - 3*k**2 + 1. Let u(z) = -z**3 - z + 3. Let d be u(0). Let o be w(d). Suppose -2*i - 142 = -6*i + s, 4*s = i - o. Does 12 divide i?
True
Suppose -5*h - 3*n + 69 = 0, -h + 3*n + 13 = 4*n. Does 5 divide h?
True
Let d(s) = 6*s**2 - 5*s + 45. Is 20 a factor of d(11)?
False
Let l = 160 + 695. Is l a multiple of 67?
False
Let a be -10 + -5 + 0/(-1). Let o be (-52)/2*a/6. Suppose -o = -4*x + 79. Is 10 a factor of x?
False
Suppose a + 516 - 142 = -4*d, 3*a + 192 = -2*d. Let l = d - -132. Does 39 divide l?
True
Suppose -50*m + 54*m = 616. Is m a multiple of 14?
True
Let z = 106 + -43. Suppose 0*p - 3*p + z = 0. Is 21 a factor of p?
True
Suppose -2*x + j + 2 = 25, 3*x = -2*j - 38. Let t(s) = s**3 + 11*s**2 + 2*s + 15 + 0*s**3 - 8*s - 6*s. Is 15 a factor of t(x)?
True
Let v = 1 + 8. Let k(r) = r**2 - 10*r + 12. Let f be k(v). Suppose -f*y = 3*g - 63, -4*g + 0*y + 60 = -2*y. Is 17 a factor of g?
True
Let o = 762 + -567. Is 13 a factor of o?
True
Suppose w = -w - 2*n + 1170, 0 = 5*w - 2*n - 2890. Is w a multiple of 47?
False
Is 10 a factor of 5*1 + 231 + 8 + -10?
False
Let g = 141 + -59. Let i = 383 - 259. Suppose 2*p = 3*t + g, -3*p + 4*t + i = -0*p. Does 22 divide p?
True
Suppose 0 = -3*a + r + 10 - 0, -4*a = 2*r