 - 54/8. Let d = k - -27. Does 4 divide d?
True
Let t(h) = h**3 + 7*h + 165. Does 5 divide t(0)?
True
Is 10 a factor of (-4)/10 - -1*2102/5?
True
Suppose g = -2*g + 6. Suppose -g*b + 192 = 2*b. Suppose 132 + b = 5*r. Does 12 divide r?
True
Suppose -5*n + 3*c = -18, -1 = -2*n - c - 4*c. Suppose -n*l - 20 = l, -3*v + 5*l = -217. Is v a multiple of 16?
True
Let v = 181 + 163. Does 51 divide v?
False
Let g(x) = 43*x**2 - 3*x + 1. Is 8 a factor of g(2)?
False
Let a = -5 + 22. Let m = a - 13. Suppose 3*c - w - 18 = -4*w, -m*w = -4. Does 3 divide c?
False
Let z(n) = -43*n - 32. Is z(-8) a multiple of 8?
True
Suppose -1580 = -15*c - 110. Is 35 a factor of c?
False
Does 25 divide (-48)/96*(-2532)/1?
False
Let b(u) = -2*u. Let t be b(-1). Suppose -t*p - 448 = -10*p. Does 8 divide p?
True
Let b be 3/1 + (-1)/(-1). Suppose 2*d = 3*x, 4*x - 2*d = 2*d - b. Suppose x*a = -3*a + 30. Is 2 a factor of a?
True
Is (247/26)/(2/28) a multiple of 4?
False
Let i(k) = 2*k**2 + 14*k - 545. Is i(15) a multiple of 9?
False
Suppose 0 = v - 2*v - 2*s - 5, 4*v - 3*s = 24. Is 17 a factor of v/(((-26)/(-24))/13)?
False
Let z = 56 - 59. Let o = 81 + z. Is 13 a factor of o?
True
Let r(y) = y**3 + 22*y**2 + 34*y + 22. Is 32 a factor of r(-20)?
False
Let g(f) = 2*f**3 - f - 10. Let x be g(0). Is (-2 - (-232)/5) + (-6)/x a multiple of 6?
False
Suppose 0 = h + 5*x - 5 + 2, -x = 1. Let q(w) = -w + 8 + h + 3*w. Is 6 a factor of q(-5)?
True
Let v be ((-3)/((-30)/(-4)))/((-3)/30). Is 6 a factor of (1/((-1)/24))/((-2)/v)?
True
Let g(v) be the first derivative of -1/4*v**4 + 7/3*v**3 - 5*v + 4 + 7/2*v**2. Is 22 a factor of g(7)?
True
Let f(k) = -k**3 + 3*k**2 + 3*k + 3. Let p be f(4). Is 268/10 + (-12)/(-10) + p a multiple of 13?
False
Let l(r) = -2*r**3 - 8*r**2 + 8*r + 7. Let w be l(-7). Let o = w - 89. Is 12 a factor of o?
True
Let p be -3 - (0 - (-5)/(-1)). Suppose 0 = -0*n - n + p*j + 7, 4*n - 2*j = 28. Does 6 divide n?
False
Let x(b) = 3*b**3 - b - 2. Is 14 a factor of x(4)?
False
Suppose 2*j = j + 3. Suppose -j*p + 6 = -0*p. Suppose -6*u + p*u = -384. Is u a multiple of 32?
True
Let v(q) = q**3 + 2. Let o be v(0). Suppose -16*c = 21*c - 39*c. Suppose c = -r + o*z + 10, -5*r = -r - z - 68. Is 11 a factor of r?
False
Let u(k) = -7*k**2 + 5*k + 6*k**2 + k + 8 + 2*k**2. Suppose f = -1 - 6. Is u(f) a multiple of 5?
True
Suppose 6*k = -5*k + 66. Is (-4)/12 - (2 - 164/k) a multiple of 25?
True
Suppose 2*r + r = 2*s - 9, 3*s - 11 = 4*r. Let b = 0 - r. Suppose 2*h = -b + 35. Is h a multiple of 3?
True
Let m = 470 - -669. Is 10 a factor of m?
False
Let u = 507 + -403. Is 13 a factor of u?
True
Suppose 4*j - 50 = -j. Suppose j*i = 5*i. Suppose 3*h + i = 12. Does 2 divide h?
True
Suppose 2*z = -7*z + 396. Suppose -5*d + 24 = -4*h, h = -d + 3*d - 9. Let k = h + z. Is 11 a factor of k?
False
Is (-182)/(-2) - (39 + -49) a multiple of 13?
False
Suppose 2*k + 4*j = j + 143, 0 = 4*k - 3*j - 277. Suppose 0*b + 5*b = k. Let d = 16 + b. Is d a multiple of 6?
True
Let d(s) = -s**3 - 8*s**2 - 8*s + 3. Let j be d(-7). Suppose 13*h - 258 = j*h. Is h a multiple of 11?
False
Suppose 390 = 3*z + 2*z. Suppose -2*f = 3*j - z - 126, 4*j - 270 = -2*f. Is 16 a factor of j?
False
Let q = 4429 + -2962. Is q a multiple of 11?
False
Suppose 0 = -8*u + u + 4508. Does 28 divide u?
True
Is 98/(-21)*-147 + 1 + 3 a multiple of 15?
True
Let m = -18 - -23. Let i be (-3)/m - 396/15. Let x = i + 55. Is 13 a factor of x?
False
Let k(h) = -195*h**3 - 5*h**2 + 6*h + 1. Let f(x) = 194*x**3 + 6*x**2 - 7*x - 1. Let l(z) = 5*f(z) + 6*k(z). Let b be l(-1). Let g = b + -137. Does 22 divide g?
False
Let x(y) = -y**3 + 2*y**2 + 9*y - 3. Let i be x(5). Let q = 178 + -121. Let w = i + q. Is w a multiple of 12?
True
Suppose -2*r + 4 = 8. Let h be (-6)/(-2) + (-2 - r). Suppose h*a + 3*x - 241 = -x, 2*x = -a + 81. Is 17 a factor of a?
False
Suppose -670*v + 45792 = -652*v. Does 106 divide v?
True
Let t = 15 + -6. Suppose -14*u = -t*u - 80. Is u a multiple of 8?
True
Does 3 divide 2/(-11) + 1219/(-253) - -293?
True
Let b(c) = -c**3 + 6*c**2 + 3*c - 6. Suppose -3*l + 2*h + 0 - 3 = 0, l + 12 = -3*h. Does 22 divide b(l)?
True
Let h(u) = u**2 + 7*u - 14. Let g(w) = 9*w**2 - w + 1. Let v be g(2). Let p be (v/(-4))/7*8. Is h(p) a multiple of 3?
False
Suppose -5*c = -2*c + 9. Let n be c/5 + (-56)/(-10). Suppose -14 = -n*m + 21. Does 5 divide m?
False
Let i = 306 - -162. Is i a multiple of 12?
True
Suppose -5*g - 3*n + 32 = 0, 0 = -4*g - 3*n - n + 24. Suppose -5*m - 48 = -g*m. Is m a multiple of 12?
True
Let l be 9/(-6)*((-10)/6 - -3). Let a(n) = -5*n**3 - 2*n**2 + n. Is a(l) a multiple of 7?
False
Does 27 divide 213320/100 - 3/15?
True
Let w = -24 + 62. Let g be (w - 1)*-1*-2. Let t = g + -48. Is 11 a factor of t?
False
Let j = 425 - 396. Is 8 a factor of j?
False
Let w(d) = 4*d**2 - 70*d - 606. Is w(-11) a multiple of 6?
True
Suppose 38*l - 32*l - 3072 = 0. Is l a multiple of 14?
False
Let m = -55 + 55. Suppose 4*r = m, 3*h + h + r = 128. Is h a multiple of 11?
False
Suppose -2*b = -2*q - 10, -3*b = 3*q - q + 15. Let x(n) = -n**3 - 7*n**2 - 6*n - 2. Let t be x(q). Does 10 divide (-2 - 30/t)/1?
False
Let d(b) = b**2 - 8*b + 80. Is d(-16) a multiple of 16?
True
Suppose 184*x = 180*x + 1420. Is 35 a factor of x?
False
Let h = -3 - -4. Let c be 160/30 + h/(-3). Suppose c*n - 24 = 3*n. Is 12 a factor of n?
True
Does 13 divide 50*2 + (-105)/15?
False
Let j be (1 - 20/(-6))/((-2)/18). Let d = j - -52. Does 13 divide d?
True
Suppose -9 = 2*t + 167. Is 17 a factor of -1 - (2/1 + t)?
True
Let x = -43 - -14. Let q = -21 - x. Suppose -3*g + q*g = 60. Does 4 divide g?
True
Suppose 20*h - 248 = 19*h. Is h a multiple of 13?
False
Let f(r) = 5*r**2 + 12*r + 16. Let w(i) = -4*i**2 - 12*i - 15. Let n(b) = 3*f(b) + 4*w(b). Is n(-4) a multiple of 10?
True
Let n = 21 + -19. Suppose 5*c = 5*x - 4*x - 10, 0 = 5*x + n*c - 158. Let k = 33 - x. Is k a multiple of 2?
False
Suppose 8*y - 5*y = 108. Let m = 54 - y. Is 7 a factor of m?
False
Let y = 604 - 430. Is 29 a factor of y?
True
Let n(p) be the first derivative of -11*p**2/2 + 6*p + 12. Does 25 divide n(-4)?
True
Let q = -50 - -115. Suppose -4*a + 71 = -q. Suppose 3*i - a - 62 = 4*c, -3*i - 3*c = -96. Does 8 divide i?
True
Let b be (9200/6)/(-5) - 2/6. Is b*(-1)/3 + (-2)/6 a multiple of 13?
False
Let l(n) = 23 - 3*n + 1 - 48. Let w be l(-13). Suppose -a + 28 = -w. Does 13 divide a?
False
Let i(v) = 18*v**2 - 9*v + 29. Does 7 divide i(-5)?
False
Suppose -q + 481 = -u, 2*u + 0*u + 972 = -3*q. Is 51/(-85) - u/5 a multiple of 12?
True
Suppose 143 + 424 = 7*k. Suppose 4*s - k = -2*f + f, 61 = 4*s - 3*f. Is s a multiple of 5?
False
Let y = -30 - -6. Is 26 a factor of (y/(-20))/(9/390)?
True
Suppose -f + 1 + 6 = 0. Suppose -f*w + 11*w = 8. Does 9 divide w*11 - (7 + -3)?
True
Suppose w + c + 142 = 3*w, 49 = w + 5*c. Does 31 divide 8510/w + -2*(-1)/3?
True
Let j be 32/(-3)*30/(-8). Suppose 0 = 4*q - j + 4. Let y = q - -19. Is y a multiple of 7?
True
Let p(i) = i**2 + 3*i + 75. Is 9 a factor of p(-12)?
False
Let n(h) = -h**3 + 31*h**2 - 29*h - 37. Let r be n(30). Let z(q) = 2*q**2 + 3*q - 17. Is z(r) a multiple of 12?
True
Let s(u) = 3*u + 4. Let w be s(6). Suppose 0 = 2*o - o + w. Let n = o + 50. Does 13 divide n?
False
Let j(c) = c**3 - 2*c**2 - 2*c + 3. Let s be j(3). Let y = 8 - s. Suppose 4*g = -x + 120, y*g + g - 90 = -2*x. Does 7 divide g?
False
Let n(l) = 5*l + 1. Let j be n(3). Suppose 4*r = z - 2*z + 4, -4*z = j. Suppose -2*f = -7*f - r*y + 358, 5*f - 5*y - 330 = 0. Does 13 divide f?
False
Let k = -61 + 131. Let b = k + 24. Suppose 3*y - b = 38. Does 20 divide y?
False
Let z = -239 + 157. Let q = -62 - z. Does 5 divide q?
True
Let m(r) = r - 18. Let u be m(20). Suppose -446 = -5*n + u*l, 2*n + 2*n + 5*l = 337. Is n a multiple of 12?
False
Suppose -2*b + 2765 = z, 8*b = z + 12*b - 2763. Is z a multiple of 59?
False
Let q(f) = 19*f**2 - f + 2 + 0*f + 2*f. Is 13 a factor of q(-2)?
False
Suppose -5*l - 135 - 145 = 5*q, 0 = -2*q + l - 112. Let u be 900/14*q/(-12). Suppose 0*i + u = 5*i. Does 15 divide i?
True
Let i(s) = 8*s**2 - 3*s - 1. Let o be i(-2). Suppose -o = -3*b + 182. Is 39 a factor of b?
False
Let k(z) = -z**2 - 8*z + 11. Let l(s) = -7*s**2 + 2*s - 2. Let c be l(1). Is k(c) a multiple of 9?
True
Is ((-43930)/1