se -d*c + 0 = -48. Is c a multiple of 11?
False
Does 43 divide (4 + (-7760)/5)/(-2)?
True
Let c = 1176 - -1176. Is c a multiple of 42?
True
Suppose 2*z - 134 - 312 = 0. Is z a multiple of 11?
False
Let u(n) = -n**3 + 6*n**2 + 6. Let j be u(6). Is (j*(-3)/(-6))/(2/58) a multiple of 20?
False
Suppose 0 = -4*w + 4485 + 2571. Does 9 divide w?
True
Let z = 55 + -43. Let a(s) be the third derivative of -s**6/120 + 13*s**5/60 - 3*s**4/8 - 5*s**3/3 + 2*s**2. Is 13 a factor of a(z)?
True
Let u(l) be the third derivative of l**6/8 + l**5/30 - l**4/24 - 6*l**2. Let m be u(1). Suppose -5*a + a + m = 0. Is 3 a factor of a?
False
Let z(j) = 4*j**2 - 4*j**2 - 2*j**3 - 2 - 3*j - j**2. Does 8 divide z(-2)?
True
Suppose -3*s - 4*v = -3*v - 625, -4*s = -3*v - 855. Does 10 divide s?
True
Is 19 a factor of 3/(-2)*(-318 + 14)?
True
Let o(p) = p**3 + 4*p**2 - 6*p - 3. Let v be o(-5). Suppose -11 = -d + i + 10, v*d = i + 41. Let h = d + 60. Does 25 divide h?
False
Suppose -5*g + 38 = 28. Suppose 0 = -3*h - g*h + 170. Is 16 a factor of h?
False
Let z(k) = 120*k - 1. Let r be z(-1). Let h = 241 + r. Is 18 a factor of h?
False
Suppose 0 = -y + 4*y - 9. Suppose 0 = -5*k - 4*g + 2*g - 25, y*g - 22 = k. Is 8 a factor of k/(63/24)*-6?
True
Does 23 divide ((-547154)/(-474))/(2/6)?
False
Let q(y) = -4*y + 8. Let u be q(-6). Let i be u + (-2)/(0 - -2). Suppose 5*z - 149 - i = 0. Is z a multiple of 14?
False
Let x(q) = 3*q - 10. Let u = 15 + -26. Let r = u + 18. Does 11 divide x(r)?
True
Let u(x) = x - 2. Let y be (-12)/(-54) - 76/18. Let t(q) = 5*q - 9. Let b(n) = y*t(n) + 22*u(n). Is 4 a factor of b(10)?
True
Suppose 5 - 1 = 3*d - f, -2 = 3*d + 5*f. Suppose 3*j + d = 10. Suppose 3*y - 2*x - j*x = 1, -5*y + 27 = -2*x. Is 7 a factor of y?
True
Let c(k) = 400*k - 1060. Is c(7) a multiple of 30?
True
Suppose 0 = 2*b, -3*u + 4*b - 6*b + 447 = 0. Let g = u - 127. Is 10 a factor of g?
False
Let v(c) = -12*c - 6. Let u be v(-12). Suppose 0 = -6*g + 7*g - u. Is 23 a factor of g?
True
Suppose 5*m - 3*m + 6 = -2*g, -3*m = 6. Let w be g/(-3) - 188/(-12). Let c = w - 7. Does 4 divide c?
False
Let b(d) = -38*d + 145. Is b(-4) a multiple of 35?
False
Let x(h) = -10*h**2 + 11*h**3 + 0*h - 8*h - h - 5 + 19. Let i(n) = 7*n**3 - 7*n**2 - 6*n + 9. Let b(l) = 8*i(l) - 5*x(l). Is 13 a factor of b(7)?
False
Suppose 126*a + 51408 = 177*a. Is 56 a factor of a?
True
Suppose -3*g - 5*b - 139 = 0, 0*g - b = 4*g + 157. Let w = 53 - g. Is 19 a factor of w?
False
Let z = -21 - -21. Suppose z*w + 5*w - 5 = 5*c, -w = -2*c - 2. Is -1 + (w - -4 - -29) a multiple of 9?
False
Let g(d) = -d**3 - 9*d**2 - 10*d - 4. Let w(p) = p**2 + p. Let j(x) = -g(x) - 3*w(x). Let m be 3/(-15) + (-38)/10. Does 4 divide j(m)?
True
Suppose 72 = 4*y - 24. Let v = -7 - 1. Let r = y + v. Is 16 a factor of r?
True
Let q(f) = 3*f**2 + 3*f - 26. Is 5 a factor of q(3)?
True
Let o(u) = -5 - 21 + 4*u + u. Suppose -25*b = -79*b + 648. Is o(b) a multiple of 25?
False
Let n(o) = 3*o**2 + 5*o - 3. Let r be n(1). Suppose 2*u = -3*u - r, 2*u = -v + 44. Is v a multiple of 15?
False
Suppose -7*v + 24185 + 2156 = 0. Does 31 divide v?
False
Let i = -18 - -21. Suppose -w - i = j, -w + 3*j = -0*j - 1. Is w - (-104 + (0 - 3)) a multiple of 34?
False
Let k(m) = m**3 + 7*m**2 - 10*m + 7. Let z be k(-8). Let s = 44 - z. Let h = s + -12. Does 8 divide h?
False
Let o(h) = 2*h + 7. Suppose 0 = -4*u + 17 + 23. Does 9 divide o(u)?
True
Let c(a) = -a**3 + 8*a**2 - 12*a. Let s be c(6). Suppose s = -5*r + 358 + 187. Does 5 divide r?
False
Let x(b) = -b**2 - b + 94. Let w be x(0). Suppose w + 70 = 4*r. Is r a multiple of 21?
False
Let m(k) be the third derivative of -k**4/8 - 2*k**3/3 - 2*k**2. Let r be m(-15). Suppose 2*d = r + 7. Does 12 divide d?
True
Let b = 23 + -18. Let g be (-15)/10*(3 - b). Suppose -3*v + 17 = -m, -m - g*m - 26 = -5*v. Does 4 divide v?
False
Suppose 5*r - 1220 + 95 = 0. Is r a multiple of 15?
True
Let x be (-2)/(8/28) + -25 + 24. Suppose -5*v + 41 = -19. Let q = v - x. Is q a multiple of 10?
True
Suppose -5*q = 4*j - 16, -5*j + q + 61 = -3*q. Suppose k = 3*f - 3*k - 138, j = -3*k. Suppose -2*c = -4*h + f, -h + 3*c + 4 = -19. Does 2 divide h?
True
Is 42 a factor of (2*-10 - 1)/((-48)/288)?
True
Let k = 925 - -792. Does 12 divide k?
False
Suppose -5*u + 235 = -t, -2*u + 278 = -3*t - 401. Is 11 a factor of t/(-21) - (-8)/28?
True
Let c = 122 - 23. Is 10 a factor of c?
False
Let h(m) = -m**2 + 7*m + 6. Let o be h(6). Let x = 24 - o. Suppose 2*w + 4 - x = 0. Does 2 divide w?
True
Let j(c) be the second derivative of 13*c**4/12 - c**3/3 - 11*c. Is j(1) a multiple of 4?
False
Let h be (3/6)/(5/(-10)). Let k be h/(3/(-12)*1). Suppose -l + 20 = 2*w, 145 = k*l + l + w. Does 30 divide l?
True
Let w(y) = -40*y - 18. Suppose 0 = 9*d - 60 + 105. Is w(d) a multiple of 26?
True
Let y(g) = -59*g - 6. Let t(z) = -30*z - 3. Let p(u) = -13*t(u) + 6*y(u). Let o be p(3). Suppose o = 5*b + 3*n, -2*n = -3*b - 4*n + 67. Does 10 divide b?
False
Let j(d) = -11 + d**2 - 2*d**3 + 6*d**2 - 2*d**2 - 13*d. Let z(u) = 3*u**3 - 10*u**2 + 25*u + 21. Let x(n) = -5*j(n) - 3*z(n). Does 16 divide x(-6)?
True
Suppose 2*n - 4 = 0, -n = 2*f - 195 - 277. Suppose -5*u + 1280 = f. Is 10 a factor of u?
False
Let i = 9 - -15. Is i a multiple of 15?
False
Let d(b) = -3*b**2 - 4*b**2 - 10*b - 41 - b + 4*b**2. Let v(l) = -l**2 - 4*l - 14. Let z(r) = -4*d(r) + 11*v(r). Is 21 a factor of z(8)?
False
Suppose -6*t = -668 - 10. Suppose 5 = -5*d, 0 = -2*v - 6*d + d - t. Is 15/((v/21)/(-6)) a multiple of 10?
False
Let b(d) = -d**2 + 2*d - 1. Suppose -3*j - 2*j = -5. Let l be b(j). Suppose 5*n - 120 = 5*m, 25 = -l*m - 5*m. Does 16 divide n?
False
Let u = -35 + 71. Suppose 11*g - u = 7*g. Is g even?
False
Let q(k) be the third derivative of -k**5/30 + k**3/6 + 2*k**2. Let h be q(3). Let l = 31 + h. Is 14 a factor of l?
True
Let j(u) = u**3 + 5*u**2 + 2*u - 4. Let k be j(-4). Let q = -31 + 34. Suppose 0 = -k*l + 3*z + 81 + 276, -4*z = q*l - 299. Is 31 a factor of l?
True
Suppose -8*n = -0*n - 24. Suppose r = -n*r + 20, -2*b + 215 = -3*r. Does 23 divide b?
True
Let b(z) be the second derivative of -z**3/6 + 3*z. Let y be b(-4). Suppose 0*i - 32 = -y*i. Does 8 divide i?
True
Suppose -6*r + 3 = -3*r. Let k be (3/(-6))/(r/(-6)). Suppose 4*s = k*h + 131, 105 = 2*s + 5*h + 20. Does 7 divide s?
True
Let t = 466 + -81. Suppose -5*f - 105 = -t. Does 8 divide f?
True
Suppose 680 = 2*c + o, 29*o - 30*o = -5*c + 1700. Is c a multiple of 2?
True
Suppose 0 = -3*r + 5*r - 30. Suppose -460 + 1975 = r*c. Does 17 divide c?
False
Let n(w) = -w**3 + 3*w**2 + w + 2. Let f be n(3). Let o(b) = b - 6*b - f*b - 1. Is o(-1) a multiple of 6?
False
Let w = 230 + -168. Is w a multiple of 50?
False
Let i be 2/((-4)/(-408)*-3). Let y = i - -116. Is 8 a factor of y?
True
Let d(p) = -p - 5. Let h be d(-11). Let z(s) = 3*s - 14. Let m be z(h). Suppose 5*x - 245 = -5*u + m*x, 0 = 2*u - 4*x - 76. Does 16 divide u?
True
Let w(o) = 2 + 0*o - o**2 + 4*o - 3. Let n be w(3). Suppose -n*c - 8 = -34. Does 4 divide c?
False
Suppose -95*v = -90*v - 245. Suppose 0 = 5*g - 174 + v. Does 6 divide g?
False
Suppose 0 = -3*u - 0*o - 5*o + 32, -3*u - o = -40. Suppose h + 0 - u = 0. Suppose -2*g = 6, -h = 4*p - 2*g - 44. Does 2 divide p?
True
Let t = 7498 + -1288. Is t a multiple of 15?
True
Let h(b) = b**3 - 11*b**2 - 27*b + 20. Let q be h(13). Let j(z) be the second derivative of -z**4/12 + 2*z**3 - 11*z**2/2 + 5*z. Does 4 divide j(q)?
True
Let v(s) = s**3 - 11*s**2 - 2*s - 12. Let l be v(12). Suppose l = t + 5*t. Is t a multiple of 6?
True
Suppose -2*d = 6, h + 4*d - 19 = 14. Is (-278)/(-5) + 18/h a multiple of 24?
False
Let l(k) = -k**3 - 4*k**2 - k - 1. Let w be l(-2). Let b(q) = q**2 - 9*q + 1. Is b(w) a multiple of 28?
False
Does 3 divide (-8)/18 + 29568/189?
True
Suppose 2*j = -k - 2*k + 232, -4*k + j + 302 = 0. Is 16 a factor of k?
False
Suppose -815 = 6*f - 4685. Does 43 divide f?
True
Suppose 0 = 4*b - 2*f - 1912, b = -f + 332 + 140. Is b a multiple of 14?
True
Let w(m) = -9*m + 85. Is 14 a factor of w(-12)?
False
Suppose 5*k = -20, 3*f - 5*k = -2*k + 24. Suppose 2*j - 2*b = 30, j + f*j + 3*b = 115. Is j a multiple of 8?
False
Let h = 1948 + -1898. Does 50 divide h?
True
Suppose 47 = 2*d - 145. Suppose 2*t + 0*t + 2*w - d = 0, -3*w - 