Suppose b + 15 = 4*b - 2*s, 2*b = 3*s + 10. Suppose -4*h = -2*g + 5*g - 52, -5*g - b*h = -80. Is 5 a factor of g?
False
Let x(z) = z**3 + 6*z**2 - 5*z - 8. Is 47 a factor of x(8)?
False
Suppose -4*n = 2*x - 630, -5*n - 2*x + 3*x + 784 = 0. Let m = -75 + n. Is 41 a factor of m?
True
Let x be (-2)/(2*(-4)/28). Suppose 2*r - 4*m + 23 = 3*r, -m - x = -4*r. Is 10 a factor of (-92)/(-4) + (7 - r)?
False
Let b = -128 - -146. Suppose p = 3*p + 18. Let h = b + p. Is h a multiple of 2?
False
Let r = 69 - 65. Suppose 64 + 20 = r*b. Is b a multiple of 21?
True
Let d(h) = 19*h**2 + 3*h - 4. Let f(a) = -37*a**2 - 6*a + 9. Let u(j) = 13*d(j) + 6*f(j). Is 6 a factor of u(-1)?
True
Let m be 2/(-3 - 177/(-57)). Let y = m + -2. Let p = -13 + y. Is p a multiple of 4?
True
Suppose 2*l - 4373 = 3*f, -3*l - l + 8749 = -5*f. Is 53 a factor of l?
False
Let z(j) be the third derivative of 7*j**4/24 + 5*j**3/6 + 2*j**2. Let i be z(-12). Let q = i - -125. Does 13 divide q?
False
Let n(d) be the second derivative of -d**4/12 + 7*d**3/3 + 10*d**2 - 6*d. Let a be n(11). Let q = -11 + a. Does 21 divide q?
True
Let h = -4 + 8. Suppose -c - 4 - 73 = -2*d, -5*d - h*c = -186. Let x = -4 + d. Is 17 a factor of x?
True
Let p be ((-9)/6)/((-2)/(-16)). Let b = 0 - p. Suppose 0 = 2*g - b - 8. Is 10 a factor of g?
True
Suppose 30*r - 45096 = -16896. Is r a multiple of 27?
False
Let a = -523 - -1181. Is 17 a factor of a?
False
Let p = -194 + 673. Is p a multiple of 35?
False
Let a be 0 + (3 - -226) - (1 + -4). Does 16 divide (a/64 - 6/(-16)) + 140?
True
Let v be (1 - 7)*(8/(-1) - -3). Does 25 divide 35*(v/21)/1?
True
Let h(n) = -2*n**2 - 75*n + 70*n + 9 - 3. Let a be h(-6). Let z = 58 + a. Does 17 divide z?
False
Let l(m) be the first derivative of m**3/3 + 5*m**2 + 12*m + 4. Let y be l(-8). Does 14 divide (24/30)/(y/(-210))?
True
Let f be 3/(3/(-5))*-3. Let v = 18 + f. Is 11 a factor of v?
True
Let j be 48/(-112) + 284/(-7). Let x = 3 - j. Is x a multiple of 14?
False
Does 35 divide -12 + (-6912)/(-84) - (-2)/(-7)?
True
Let j be (-4)/(-20) + 4/(-20) + -3. Is j/2 - 283/(-2) a multiple of 14?
True
Suppose -4*f + 523 + 151 = 2*q, 0 = 4*q + 2*f - 1378. Is 30 a factor of q?
False
Suppose 0 = 185*g - 190*g + 1550. Is 78 a factor of g?
False
Let z = 374 - 128. Suppose 84*v - 78*v = z. Is v a multiple of 2?
False
Let b be (1 - (-50)/(-6))*15. Let x = -58 - b. Is x a multiple of 26?
True
Let o(h) = h**3 - 3*h**2 - 6*h + 13. Let b be o(4). Suppose -b*j = -0*j - 510. Is 15 a factor of j?
False
Let b(x) = 17*x**2 - 6*x - 6. Let j be b(-6). Suppose 7*w - 107 = j. Does 18 divide w?
False
Let b(d) be the third derivative of -d**8/6720 - d**6/360 + d**5/40 - d**4/4 - 8*d**2. Let k(n) be the second derivative of b(n). Is 36 a factor of k(-3)?
True
Suppose -f + 180 = f. Suppose z = 4*z - f. Let p = z + -7. Is p a multiple of 23?
True
Let m(k) = -71*k. Let g = -16 + 22. Suppose -3*n - g = 3*c, 3*n + 1 + 3 = -c. Is m(n) a multiple of 24?
False
Let k(m) = -6*m - 7. Suppose 0 = -2*b + 1 - 13. Is 4 a factor of k(b)?
False
Suppose -3*n + 10 - 241 = 0. Let s be 2/1 - n/(-7). Is 24 a factor of 1 + 53 + (-7 - s)?
False
Suppose -2*a = -3*f + 323, -2*f - a + 235 - 22 = 0. Is f a multiple of 3?
False
Let w(p) = -9*p + 120. Is w(9) a multiple of 5?
False
Let j(g) = 8*g + 1. Let f be j(4). Let u = 40 - f. Is 6 a factor of u?
False
Is 76 a factor of (1834/6 + 9)*(-171)/(-12)?
True
Let m(s) = -7*s + 5. Let f = -2 - -4. Let v be f/9 - (-152)/(-36). Is 16 a factor of m(v)?
False
Let j be 4/(-6)*(-63)/(-14). Let q be 151 + (j - -7) - -1. Does 3 divide q/(-8)*4/(-6)?
False
Let m(p) = p - 6*p - p + 2*p - 14. Is 10 a factor of m(-6)?
True
Let r(t) = 3*t**2 + 29*t + 116. Does 26 divide r(-18)?
False
Suppose -13710 = 329*a - 339*a. Does 67 divide a?
False
Let g = 14 + -11. Suppose u = g*u - 2. Is (-1*u)/(2/(-32)) a multiple of 8?
True
Let z = 109 + -68. Let i(o) = o**3 + 2*o**2 - o + 2. Let r be i(-4). Let b = r + z. Is 10 a factor of b?
False
Let g be 3 + (3 - (8 + -2)). Suppose 2*c + 4*r - 264 = g, 2*r + 141 = c + r. Is 22 a factor of c?
False
Suppose -o + 2*i = -28, 7*i - 2*i + 109 = 4*o. Suppose o*y = 25*y + 100. Does 25 divide y?
True
Let t(g) = 17*g**2 + 20*g + 19. Does 8 divide t(-7)?
True
Suppose -2*a + 2*y = 12, 2*a = -0*a + 4*y - 16. Let w be 20 + 0/(0 - 3). Let v = w + a. Is 6 a factor of v?
False
Suppose 0 = 14*n - 13*n - 194. Does 31 divide n?
False
Let l(k) = k**3 + 2*k**2 - 2*k - 2. Let y be l(-1). Let r = y + 17. Does 5 divide r?
False
Suppose -49*h + 33*h = -15872. Does 14 divide h?
False
Let c be ((-6)/(-4))/((-27)/(-576)). Suppose -q + c = -16. Is 17 a factor of q?
False
Let t be -1 + 11 - (0/(-2))/3. Suppose -6*c = -t*c + 48. Does 3 divide c?
True
Does 5 divide 20/(-30)*(-855)/2?
True
Suppose m = o - 1, -o = m - 1 + 2. Suppose -134 = -4*w + 3*b - b, o = b - 1. Does 34 divide w?
True
Let q = -155 + 162. Suppose -3*g + 1100 = q*g. Is 22 a factor of g?
True
Suppose a - 57 = 3*p, 4*p = -a + 5*p + 51. Is a a multiple of 12?
True
Let f(i) = -i**2 + 7*i + 11. Let c be f(8). Let r(l) = -c*l - 4 + l**2 - 2*l + l. Is r(-6) a multiple of 28?
True
Suppose -3*b + 9*b - 12 = 0. Suppose 88 = b*t - 32. Is 6 a factor of t?
True
Let m(a) = -a**2 + 10*a + 3. Let r be m(7). Suppose -6*t + 42 = -r. Is t a multiple of 11?
True
Let v = 487 + -451. Is v a multiple of 36?
True
Let j = -87 + 51. Let l be 3/(-12) - 837/j. Let w = l - 19. Is 3 a factor of w?
False
Let s(z) = -2*z**3 + 26*z**2 - 7*z + 2. Is s(9) a multiple of 15?
False
Suppose -9572 = -16*v + 12940. Is 28 a factor of v?
False
Let b(c) = -11*c**2 - 3*c - 1. Let t be b(-1). Is 2 a factor of (t - 0)/(-2 + 1)?
False
Is 14 a factor of 523/4 - (-3)/12?
False
Let j(w) = 4*w - 6. Let v be j(4). Suppose 7*o + 57 = v*o. Is o a multiple of 15?
False
Is (490/50 - -7) + 2/10 a multiple of 6?
False
Let r be (-72)/(-54) - (-2)/3. Suppose -5*l - 3*w = -63, 5*l - 3*w + r*w = 79. Is l a multiple of 5?
True
Let i(t) = 11*t - 6. Let s = 42 - 33. Does 19 divide i(s)?
False
Let s(w) be the second derivative of w**4/12 + w**3/6 - w**2/2 - 23*w + 1. Suppose 0*q = -q + 2*h - 8, 0 = 3*q + 3*h - 21. Is 5 a factor of s(q)?
True
Let v(i) = -i**3 - 41*i**2 + 74*i + 66. Is v(-44) a multiple of 14?
True
Let v be -1*(2 + -1 + -1). Suppose c = -v*c + 34. Is 19 a factor of c?
False
Let x = -1040 - -1322. Is x a multiple of 6?
True
Let z be (-1 - -1)/((-6)/(-6)). Suppose z*n = 4*n - 156. Is n a multiple of 8?
False
Suppose -2930 - 521 = -17*u. Is u a multiple of 29?
True
Suppose 4*i = -3*n + 96, -5*i - 6 = 4*n - 134. Is 4 a factor of n?
True
Suppose 0 = -11*a + 6*a - 40. Let k be 1/a - 105/120. Let s(o) = -24*o + 4. Is 6 a factor of s(k)?
False
Suppose -471 = -3*w - 4*l + 192, -228 = -w + l. Is 15 a factor of w?
True
Suppose -m + 0*m - 162 = 0. Let t be 2/(-9) - 360/m. Let g = t - -21. Is 17 a factor of g?
False
Let d = -224 + 742. Does 37 divide d?
True
Let l be -4 - (2/(-13) + 74/(-26)). Does 12 divide (-17 + 41)*-9*l/2?
True
Let u(v) = -4*v - 19. Let y be u(-6). Let b(i) = -i**3 + 4*i**2 + 11*i - 5. Is b(y) a multiple of 13?
False
Let u = 287 + 37. Does 27 divide u?
True
Suppose 0*y - 4108 = -4*s - 2*y, 4108 = 4*s - 5*y. Is s a multiple of 13?
True
Let u = 7 - 3. Let g(l) = -u + 1 - 2*l**3 - 3*l**2 - 2*l + 7*l + 3*l**3. Is 6 a factor of g(3)?
True
Let w = 259 + -94. Does 2 divide (-4)/((-36)/w) - (-4)/6?
False
Suppose -3*v + 320 = -z - 1696, 3*z + 2016 = 3*v. Is 14 a factor of v?
True
Let g(i) = 7*i - 10. Does 29 divide g(37)?
False
Let c(m) = -122*m**2 + 2 + 134*m**3 - 4 + 124*m**2. Is c(1) a multiple of 20?
False
Let m(t) = t - 10. Let a be m(8). Let g be 98/3 - a/6. Suppose 15 = 3*f - 2*x - g, -5*x = 5*f - 80. Is f a multiple of 16?
True
Let c(l) = -34*l - 15. Let s(d) = -17*d - 7. Let q(w) = 3*c(w) - 7*s(w). Let j be q(4). Suppose -b + j = -0*b. Is b a multiple of 12?
True
Let l be (2 + 1)*(-7 + 8). Suppose 31 = -4*c + l*y + 240, 3*y + 59 = c. Is c a multiple of 22?
False
Suppose -21*r + 2154 = 4*u - 23*r, -555 = -u - 5*r. Does 8 divide u?
False
Suppose -238 = -2*x - 4*f, -4*x - 210 = 4*f - 678. Let y = x + 54. Is 21 a factor of y?
False
Let v(r) be the first derivative of 4*r**3/3 + 13*r**2/2 + 37*r - 33. Is v(-5) a multiple of 12?
True
Let s = -7 - -7. Suppose 32*k - 33*k + 308 = s. Is 19 