0 = -4*d + 16. Is 2 a factor of w?
True
Let j be 13/(-39) - 2/3. Let a = 2 - 0. Is 4*(j - (-15)/a) a multiple of 7?
False
Let q = -10 + 93. Is q a multiple of 23?
False
Let p(x) = 4*x**2 + 1. Let n = -4 + 4. Suppose n = -0*h + 2*h + g, -h - 5*g = 9. Does 5 divide p(h)?
True
Let d(i) = 9*i**2 + 7*i + 6. Let y(p) = 9*p**2 + 6*p + 5. Let c(a) = -5*d(a) + 6*y(a). Is 10 a factor of c(1)?
True
Suppose -2*b = 2*b - 4. Does 25 divide (2 + -4)/b + 74?
False
Let u = 17 - -71. Is u a multiple of 6?
False
Let j = -275 + 625. Is j a multiple of 14?
True
Suppose 4*f + 4*y = 132, -2 = 3*y - 8. Is 22 a factor of f?
False
Let n(i) = -2*i + 5. Let m be n(6). Let f = m + 11. Does 3 divide f?
False
Let v = 79 - -9. Does 28 divide v?
False
Let k(u) = -4*u + 7. Does 9 divide k(-5)?
True
Let h = -1 - -1. Suppose 0*x = 3*x - 54. Suppose h*c = -4*k + 2*c + 16, 2*k + 4*c = x. Is 2 a factor of k?
False
Let r be (43/1)/(4 + -3). Let x = r - 19. Does 13 divide x?
False
Let i = 2 - 1. Let y(u) be the third derivative of 13*u**4/24 + u**3/6 - u**2. Does 14 divide y(i)?
True
Let i(s) = 4*s**2 + 4*s + 10. Does 20 divide i(-5)?
False
Let g(y) = -y**2 + 8*y + 2. Let l be g(9). Let b(t) = t**2 + 4*t - 5. Is b(l) a multiple of 11?
False
Suppose y - 53 = 16. Is 3 a factor of y?
True
Is ((-40)/16)/(5/(-12)) a multiple of 6?
True
Suppose 5*l + 24 = 2*r + r, -5*l = 0. Suppose 7*z = r*z - 45. Is 15 a factor of z?
True
Suppose m + 0 = 5*u + 4, 0 = 2*m - u - 35. Let q = m + -15. Does 4 divide q?
True
Let k(b) = -2*b**3 + 2*b**2 + b. Let h be k(-1). Does 17 divide (-2)/(1*h/(-54))?
False
Suppose 2*v - 3*h + 200 = -87, 4*v + 2*h + 582 = 0. Let m = v - -305. Suppose 0 = -p + 6*p - m. Is 16 a factor of p?
True
Suppose -7*j = -10*j + 132. Does 22 divide j?
True
Let p(j) = -j**3 + 11*j**2 + 19*j - 18. Is p(12) a multiple of 22?
True
Let p(u) = 2*u - 3. Suppose 3 = w - 0. Let n be w/9 + (-16)/(-6). Is p(n) a multiple of 3?
True
Let l(b) = -9*b**3 + 3*b**2 + 2. Let z be l(-3). Suppose -5*i + z = -4*p - 5, -122 = -2*i - 4*p. Let h = -23 + i. Does 17 divide h?
True
Let k(d) = d**3 - 5*d**2 - 10. Let p be k(7). Suppose -3*c - p = -4*n + c, 0 = 4*c. Is n a multiple of 11?
True
Suppose 24 + 236 = 4*q - 4*x, 0 = -q - 4*x + 65. Is 21 a factor of q?
False
Let h(l) = -l**3 - l**2 - 1. Let t be h(-2). Let p(w) = 10*w. Is p(t) a multiple of 15?
True
Let v = -7 - -105. Is v a multiple of 7?
True
Let z(g) = -4*g. Let b be z(-1). Suppose 2*s = -3*s + 2*x + 97, 3*s - 79 = -b*x. Suppose s + 0 = c. Does 11 divide c?
False
Is (-9)/(-3 + 5/((-50)/(-29))) a multiple of 10?
True
Let w = 2 - -1. Let a = -38 + 54. Suppose 5*f - 35 = -4*p, w*f = 6*p - p - a. Is p a multiple of 3?
False
Suppose 16 = 3*f - 2*f. Is (f/(-6))/((-4)/18) a multiple of 12?
True
Let q = 97 + -57. Does 20 divide q?
True
Let n be (-2)/10 - 287/(-35). Let t = n - -19. Is t a multiple of 7?
False
Let f(y) = -9*y + 5. Is 34 a factor of f(-7)?
True
Let c(y) = 3*y**3 + 5*y**2 + 2*y + 0*y + 6 - 2*y**3. Let r be c(-5). Let s = r + 15. Is s a multiple of 9?
False
Suppose -n + 28 = 2*h, -5*h + 2*n + 82 - 3 = 0. Is 8 a factor of h?
False
Suppose -4*t = -2*t + 2. Let r = t - -75. Is 35 a factor of r?
False
Let m = -8 + 88. Is m a multiple of 10?
True
Suppose 3*y = 2*c - 17, -c = 3*c + 5*y - 1. Suppose 3*v - 34 = -5*t, -5*v - c*t = -2*t - 82. Is 14 a factor of v?
False
Let h(q) = q**3 - 7*q**2 + 7*q - 4. Let y be h(6). Suppose l - y*p + 6 = 0, 0 = -7*l + 4*l + 5*p - 15. Suppose -4*j + 7*j - 60 = l. Does 20 divide j?
True
Let d = -2 - -7. Suppose -d*y + 18 = 3. Is 3 a factor of y?
True
Let j(c) = -c + 9. Let x(d) = d - 19. Let f(u) = -9*j(u) - 4*x(u). Is 4 a factor of f(4)?
False
Suppose 0 = -3*i + 5*i - 162. Let a = i + -35. Suppose 0 = 5*f + 4*n - a, -6*f + f = 5*n - 45. Is 5 a factor of f?
True
Suppose -4*v + 25 - 1 = 0. Suppose v*z - 9*z = -99. Is z a multiple of 21?
False
Suppose -2 = -2*v + 3*v. Let o be (-2 - -1 - v) + 0. Let w(y) = 17*y**3 + 1. Is 13 a factor of w(o)?
False
Let v = -75 - -164. Is 26 a factor of v?
False
Suppose 2*k + k = 6. Is k*7 - (-13)/(-13) a multiple of 13?
True
Suppose -v = v. Let i = v + 4. Does 4 divide i?
True
Let n be (-5)/4*(14 - 10). Let r = 3 - -28. Let w = r + n. Is w a multiple of 13?
True
Let y = 17 - -38. Suppose 5*r + q - 92 = -q, 0 = -3*r - q + y. Is 18 a factor of r?
True
Is 3/(-9)*(-146 - 1) a multiple of 7?
True
Let p(g) = 4*g**2 + 4*g + 17. Does 3 divide p(-4)?
False
Let j(m) be the first derivative of m**3/3 + m**2 + m + 1. Is j(-5) a multiple of 9?
False
Is ((-94)/1)/((-6)/9) a multiple of 47?
True
Let n(z) = 3*z**2 + 3*z - 1. Suppose -m - l + 5 = 0, 6*l - l - 21 = -3*m. Suppose 2*b = -3*g - 2, 2*b + 4*g = 3*g + m. Does 8 divide n(b)?
False
Let v(n) = -n**3 - n**2. Let l be v(-2). Suppose -l*b - 12 + 52 = 0. Suppose 3*m = b + 59. Does 14 divide m?
False
Let y(l) = -l - 5. Let a be y(4). Let w = 48 + a. Does 12 divide w?
False
Let c(j) = j**3 - 17*j**2 + 3*j - 21. Is c(17) a multiple of 5?
True
Suppose -3*o + 2 = -7. Suppose 34 = -3*v - 5*r + 144, -v = -o*r - 60. Suppose 0*g = -g + v. Is 15 a factor of g?
True
Let h = -149 + 261. Is 14 a factor of h?
True
Let f = 1 + 2. Let h be 113/3 + 1/f. Suppose -3*u + h + 52 = 0. Is u a multiple of 15?
True
Let y = -23 - -37. Does 7 divide y?
True
Suppose 0 = 6*w - w - 90. Let p = w - -10. Is 14 a factor of p?
True
Let c(k) = k**2 + 3*k + 3. Is 7 a factor of c(-6)?
True
Suppose 4*p + 2*a = -56 - 6, -p - 28 = -2*a. Is (-1778)/(-63) - (-4)/p a multiple of 14?
True
Let t(h) = -h**3 + 8*h + 1. Is t(-7) a multiple of 32?
True
Let d = -17 - -24. Suppose 0 = 2*m - m - d. Is 7 a factor of m?
True
Let m = 39 - 19. Let a be (m/(-6))/((-4)/6). Suppose 52 = a*g - 43. Is 7 a factor of g?
False
Let b(c) = 16 + 0*c**2 + 0*c**2 - 17 + 5*c**3 + 2*c. Does 3 divide b(1)?
True
Let h(l) = l**2 + 5*l - 3. Let x be h(-6). Let g(r) = r**2 + x + 0*r**2 + 0. Does 12 divide g(-3)?
True
Suppose -5*q + 33 = 4*w, -5*w + 18 = 4*q - 12. Suppose 0 = w*v - 3*v + 34. Is 14 a factor of v?
False
Let h be (0 - -3)*(-8)/(-6). Suppose 0*l + h*l - 112 = 0. Is 14 a factor of l?
True
Suppose 1 + 2 = i. Suppose 6*c - i*c = 2*k + 66, 0 = 2*c + 4*k - 44. Does 6 divide c?
False
Let c be -120 + (-9)/(-3 + 6). Is 20 a factor of ((-4)/6)/(2/c)?
False
Let b(y) = 7*y**3 + 2*y**2 - 3*y + 2. Let q be b(2). Suppose 0 = -2*n + 4*m + 24, 4*n - 15 = -m - 2*m. Suppose -2*k - q = -n*k. Is k a multiple of 10?
False
Let m = -16 + 26. Let q(z) be the third derivative of -z**5/60 + 5*z**4/8 - 3*z**3/2 - z**2. Does 17 divide q(m)?
False
Let y(o) = o + 22. Does 4 divide y(-10)?
True
Suppose 0 = -2*b - 3*i + 429, -4*b + 3*i + 574 = -257. Does 10 divide b?
True
Suppose -5*s = -3*s. Suppose s = -v - 4*t + 25, t - 5 = -0*t. Suppose v*i - 2*i = 36. Is i a multiple of 12?
True
Suppose 0*y = y - 5. Suppose 4*z + y = 5*z. Let d = 10 + z. Is d a multiple of 8?
False
Let b = 12 - 7. Suppose 3*u - 17 + b = 0. Suppose -u*v = -0*v - 20. Does 4 divide v?
False
Let f(l) = -13*l + 4. Let p(w) = 40*w - 11. Let v(y) = -8*f(y) - 3*p(y). Does 10 divide v(-1)?
False
Suppose 157 = -7*b + 549. Is b a multiple of 14?
True
Suppose 0 = 4*y - 10 + 26. Let g be -5*(-3 - y)*-1. Suppose 0 = g*v - 2 - 8. Is 2 a factor of v?
True
Suppose -3*q + 3*b - 8 = -4*q, -q - 4 = -3*b. Let z(a) = 5*a - 14 + a**2 + 0*a**q - 2*a**2 + 8*a. Does 8 divide z(10)?
True
Let b be 4 + -2 + -1 - 3. Let o = b - -4. Suppose u + o = 9. Is 4 a factor of u?
False
Suppose 4*v - 4*u - 22 = -v, -3*u - 17 = -4*v. Suppose v*r - 48 = -4*r. Is r a multiple of 2?
True
Suppose -10*s + 211 = -229. Is 22 a factor of s?
True
Let z(c) = c - 7. Let h be z(5). Is (-18 - h)*(-1)/2 a multiple of 3?
False
Let n(l) = 2*l**3 - 4*l**2 + 2*l + 4. Is 5 a factor of n(3)?
False
Let u = 4 + -1. Suppose u*o = 10 + 2. Does 2 divide o?
True
Let b = -153 - -171. Is b a multiple of 18?
True
Let b be ((-2)/(-4))/((-8)/(-48)). Suppose -4*n = -b*n - 39. Is 16 a factor of n?
False
Is (-80)/((-9 - -7) + 8/5) a multiple of 40?
True
Let u be ((-24)/10)/((-2)/10). Suppose j - u = 27. Is j a multiple of 20?
False
Let u = 1 - -7. Suppose u*n = 3*n - 45. Is 6/(-27) - 65/n a multiple of 5?
False
Suppose 0*w + w - 29 = -3*k, -87 = -3*w + 3*k. Is w a multiple of 29?
True
Let i be 1/(-1 + 0) + -24. Let c = -15 - i. Is 5 a factor of c?