se -5*d + 9 = -26. Let t be ((-36)/(-8))/((-2)/(-8)). Suppose f - t = -d. Does 8 divide f?
False
Does 45 divide -1*(-129)/3 - -2?
True
Let o(k) = 2*k**3 - k**2. Let g be o(1). Let m = g - 5. Is (m/2)/(4/(-40)) a multiple of 16?
False
Let m(q) = q**3 + 7*q**2 - 11*q - 10. Suppose -5*l + 48 = -10*l - 2*b, 3*l = 4*b - 8. Is m(l) a multiple of 3?
False
Let v be 60 - 6/((-6)/(-2)). Suppose -4*p = -2*p - v. Is 12 a factor of p?
False
Suppose 0 = -13*h - 0*h + 884. Does 10 divide h?
False
Suppose -b - 3*d - 4 = 4, b + 10 = -5*d. Let y be ((-16)/(-10))/((-2)/b). Suppose -21 = q - y*q. Does 3 divide q?
False
Let d(m) = m**3 + 9*m**2 - 3*m - 1. Suppose -4*s + 5*l - 44 = 3*l, 5*l - 11 = -s. Does 5 divide d(s)?
False
Let y = -91 - -166. Does 18 divide y?
False
Suppose 0 = -5*k + 635 - 75. Is k a multiple of 14?
True
Let x = -6 + 53. Suppose -5*u - 3*d = -80, -2*d - x = -5*u + 33. Suppose -4*a + u = -96. Does 14 divide a?
True
Let z be ((-6)/2)/(-3 - 56/(-16)). Let b be (-43)/(-3) + (-4)/(-6). Is -2*b/z + 2 a multiple of 4?
False
Let o be 0/1*(-1 - 0). Suppose o = 4*v - 2*k + 103 - 299, 2*v + 3*k = 98. Does 18 divide v?
False
Let m be (-2)/(-8) - (-486)/8. Let p be (-4 + 5)/(1/m). Suppose 5*c = 84 + p. Is 15 a factor of c?
False
Let d = 3 + 0. Suppose -d*q - 5 + 20 = 0. Is 2 a factor of q?
False
Suppose -2*h - 112 = -2*a + 4*a, 0 = 2*a + 5*h + 103. Let o = -34 - a. Is o a multiple of 25?
True
Let c = -9 + 13. Suppose 3*h = c*h - 9. Suppose -4*i - h = -49. Does 10 divide i?
True
Let v be 1*6*(-4)/(-12). Suppose v*x - 3 = 3. Suppose 5*j = -h + 32, x*j - 22 = -0*j - 2*h. Does 3 divide j?
True
Let c(o) = -1 + o**3 + 0*o**2 - 1 - o**2. Let q be c(2). Suppose -r - q*r = -96. Is 13 a factor of r?
False
Let x(l) = l**3 - l**2. Let h be x(2). Let p be -2*(-30)/(h - 1). Suppose 5*q - p = q. Is 2 a factor of q?
False
Suppose 2*a = -0*a. Suppose a = -5*f - 14 + 34. Is f even?
True
Suppose -5*p + 3*x - x = -67, 12 = p + x. Is p a multiple of 3?
False
Suppose 28 = 4*s - 0*u + 2*u, s - 5*u = -15. Let w be 5*(-36)/(-40) + (-2)/4. Suppose w*r - 5*i = 33 + 7, -5*r = s*i - 5. Is 3 a factor of r?
False
Suppose -2 - 7 = d - 5*u, 0 = 4*d - 2*u + 18. Let b be (-20)/(-8) - (-2)/d. Is 5 a factor of (4 - 2 - -3)*b?
True
Let k = 2 + -5. Is (-2)/(-1)*(k - -6) a multiple of 5?
False
Suppose 3*p + 1 = -4*u, 6 = 5*p - 2*u + u. Let t be -22*p - 6/3. Let k = -17 - t. Does 4 divide k?
False
Suppose k - 22 - 7 = 0. Is k a multiple of 16?
False
Let r be -1 - -2*1 - -13. Let p = r + -9. Let g = p - -15. Is g a multiple of 9?
False
Let s(h) = -h - 1. Let w be s(-6). Let b be w/(1/(-1 - -2)). Suppose 5 = 2*a - b. Is 5 a factor of a?
True
Let r = -7 - -39. Suppose 9*d = 13*d - r. Does 7 divide d?
False
Suppose -3*q = 5*d - 34, 0 = -0*q - 4*q + 12. Let v(i) = -i**3 + 6*i**2 + i + 4. Is 7 a factor of v(d)?
False
Let n(w) = 11*w + 2. Suppose 7 + 14 = -3*y. Let v = -5 - y. Does 12 divide n(v)?
True
Suppose -c - 3*f = -315, 1015 = -0*c + 3*c - 5*f. Is 33 a factor of c?
True
Let g = -2 - -4. Suppose -g*f - 5*f = -14. Is f even?
True
Let t be (1 + -1 + 0)/1. Suppose -3*c + 5*s = -t*s, -15 = 5*s. Is 6 a factor of 4/(-1 + c/(-4))?
False
Let h(l) = -2*l - 1 + 8*l + 6*l**2 - 5 + 0. Let c be h(4). Suppose 4*m - c - 70 = 0. Does 17 divide m?
False
Let m = 396 - 268. Does 26 divide m?
False
Let v = -8 + 21. Does 5 divide v?
False
Let s = 4 - -7. Is (-2)/(-11) - (-130)/s a multiple of 5?
False
Let t(f) = -10*f - 2. Let p be t(-3). Suppose p - 8 = 4*h. Does 2 divide h?
False
Let u(c) = 5*c**2 + 3*c + 1. Let k be u(-2). Suppose -5*h = 4*m - 17, 4*h - k = -4*m - 3. Suppose -3*q + 48 = 3*w, h*w = 4*w - 3*q + 16. Is 11 a factor of w?
False
Let v = 14 + -33. Let q = 27 + v. Suppose -8 = -2*a + q. Does 8 divide a?
True
Let o(r) = -5*r - 30. Is o(-10) even?
True
Suppose -u - 6 = -3*u. Is 22 a factor of 10*(u - (-28)/20)?
True
Let s(l) = 3*l - 29. Does 5 divide s(13)?
True
Suppose 0 = -2*x - b - 9, 0 = 4*x - 5*x + 5*b - 21. Let y = x + -5. Let k = y + 17. Is k a multiple of 5?
False
Suppose -2*i - 50 = -3*i. Is 9 a factor of i?
False
Let s(c) = -7*c**3 + 2*c + 2. Is 14 a factor of s(-2)?
False
Let m = -70 + 122. Is 12 a factor of -2 + m/(-2 - -3)?
False
Let k be 4/(1*(-1 - -2)). Suppose -5*b - i - 9 - 2 = 0, -2*b + i = 3. Does 13 divide b/k*130/(-5)?
True
Let y = -3 + 1. Is 5 a factor of y/(-3)*(15 - -12)?
False
Suppose 0 = z - 4. Let x(q) = 7*q - 7. Does 7 divide x(z)?
True
Suppose 274 = 3*f + 5*n, -5*n - 6 = -16. Is 11 a factor of f?
True
Suppose -58 = -b + 62. Suppose 5*l - b = 75. Does 25 divide l?
False
Let i = -10 - -4. Let z(p) = -p**3 - 6*p - 7*p**2 + 3*p - 5 - 6*p. Is 4 a factor of z(i)?
False
Let j be -2 + ((-4)/2 - -6). Suppose 4*v = 2*f + 336, -f = j*v - 3*v + 84. Suppose -4*r + v = 4*h, 7*r - 2*r = h + 123. Is 12 a factor of r?
True
Let u(d) = -11*d**2 - 8*d - d**3 - 5*d + 2 + 4 + 2*d. Is 16 a factor of u(-10)?
True
Suppose -7*w + 3*w - 32 = 0. Let v = -3 - 2. Is w/5*v/2 a multiple of 2?
True
Is (-196)/(-6 - (2/1 - 6)) a multiple of 15?
False
Suppose 4*y = 104 + 196. Suppose 0 = 3*p - 0*p - y. Does 16 divide p?
False
Let t(d) = 25*d**3 - 2*d**2 + 1. Is 8 a factor of t(1)?
True
Let r(c) = 3*c**2 + 21*c - 2. Is r(-9) a multiple of 5?
False
Is -12*(-5 - 15)/((-6)/(-2)) a multiple of 20?
True
Let h be (-592)/40 + 1/(-5). Does 11 divide (-22)/3*h/10?
True
Suppose -3*f + 4*f = 27. Is 11 a factor of f?
False
Suppose -20 = -0*l + 2*l - 4*u, -l - u = 1. Let j(o) = o**3 + 7*o**2 + 4*o - 5. Does 9 divide j(l)?
True
Suppose -5*k + 156 + 664 = 0. Let f = 0 + -2. Does 12 divide k/12 + f/(-6)?
False
Is 20 a factor of 1/(-1) - (-287)/7?
True
Let u(h) = h**2 + 4*h + 12. Is 3 a factor of u(-5)?
False
Let z = -21 + 31. Let i = z + 40. Is i a multiple of 10?
True
Let v be 0 + -1 + -30 + 2. Suppose 2*z + 2*m = 112, -5*m - 61 = -4*z + 136. Let x = v + z. Does 12 divide x?
True
Let b be 11 + -2 + 3 + -4. Does 4 divide b/(-24) + 74/6?
True
Let c = 5 - 2. Let a = 0 + c. Suppose -a*m - m + 184 = 0. Is 17 a factor of m?
False
Suppose 55 = 4*l - 577. Is l a multiple of 13?
False
Let v(l) = l**3 - 29*l**2 + 29*l + 24. Does 4 divide v(28)?
True
Suppose -2*g + 3*g - d = 78, 0 = -d + 4. Is g a multiple of 18?
False
Suppose 406 = 3*q + 91. Let o = -57 + q. Suppose -i = 3*i - o. Is i a multiple of 12?
True
Is 5 a factor of (1668/(-28))/(-3) + 2/14?
True
Let x = -212 + 515. Is x a multiple of 16?
False
Let c be 3 - (-7 + 0/(-2)). Suppose 2*v - 30 = -3*s, 3*s - c = 2*s + 4*v. Is 10 a factor of s?
True
Suppose 4*g - 36 = -0*g. Let h = -4 + 6. Let l = g + h. Does 3 divide l?
False
Suppose 5*u = -4*j + 127 - 28, 0 = -4*u - j + 77. Let y = u - -17. Suppose 4*c - 4*k = y, 0*c - 9 = -3*c - 3*k. Is 4 a factor of c?
False
Let b be 2/(-2)*(-2 + 2). Suppose b = -0*n + 5*n - c + 35, 0 = 4*n - c + 29. Is (3 - -21)*n/(-8) a multiple of 7?
False
Let j(l) = -l**3 + 8*l**2 - 6*l - 2. Let w be j(7). Suppose -w*k - 19 = 3*z + 7, -2*k = -3*z - 19. Let c(n) = n**3 + 7*n**2 - 4*n + 4. Is 17 a factor of c(z)?
False
Let t(h) = h**3 + 7*h**2 + 8*h + 4. Let v(x) = -4*x + 3. Let o be v(2). Let r be t(o). Does 4 divide r + -4*3/6?
True
Let i(z) = -z**3 + 6*z**2 + 3. Let c be i(5). Suppose 0 = -3*g + c + 50. Does 13 divide g?
True
Suppose 753 - 2130 = -9*d. Is d a multiple of 19?
False
Let y(o) = 3*o**2 - 12*o + 27. Does 27 divide y(7)?
False
Let h = -7 + 6. Let m be (4/h)/(2/(-4)). Is 2/(m + -2)*93 a multiple of 12?
False
Let i(p) = -8*p**2 - p - 1. Let d be i(-1). Let r = d - -20. Does 5 divide r?
False
Is 11 a factor of (6/5)/(5/100)?
False
Suppose 20 = 5*g - 5. Suppose -3*y + 65 = 5*b + 2*y, g*y + 52 = 4*b. Let t = b + 1. Is t a multiple of 7?
True
Let x be 22/8 - 1/(-4). Let d be 5 + 3*3/9. Suppose x*a + d = 24. Is 3 a factor of a?
True
Let h(r) = -r**2 - 2*r + 16. Let b be h(-5). Let x = 53 - b. Does 26 divide x?
True
Let f(p) = -p**2 - 2 + 0 + 5*p + 0. Let r be f(6). Let i = r - -30. Is i a multiple of 11?
True
Let n = 74 + -59. Does 5 divide n?
True
Let d = 163 - 152. Is d a multiple of 11?
True
Let d(k) = -2 + 3*k + 2 - 2. Is d(4) a multiple of 10?
True
Suppose -11*o - o = -1560. Does 35 divide o?
False
Suppose 3*r + r = -68. Let t be (4 - 0) + (-6)/1. Is t - (r + -1)/3 a multiple of 2?
True
Let w(b) = b**3 + 8*b**2 - 7*b + 4. Let j(h) = -4*h**3 - 24*h**2