= -d + 8, -d + 3*m + 6 = 4*m. Suppose 2*f = -d*g + 342, 7*g = 9*g + 3*f - 181. Does 9 divide g?
False
Let s be -1 + 3 + 48 + -4. Suppose 0 = -g + s - 3. Does 10 divide g?
False
Let f(n) = -n**3 + 12*n**2 + 10*n - 35. Is 14 a factor of f(11)?
True
Let v(c) = -15*c + 5*c + 5*c**2 - 3 + 1 + 8*c. Is 9 a factor of v(3)?
False
Suppose -4 = 2*r - 4*r. Let b(p) = p - p + p - r*p. Is b(-9) a multiple of 9?
True
Let d(z) = 3*z - 12. Let a be d(6). Let x be 66/14 + a/21. Suppose 2*j - 2*v = -x*v + 35, 2*j = v + 31. Is 6 a factor of j?
False
Is 53 a factor of (20034/35)/(5/((-50)/(-4)))?
True
Suppose 0 = -d + 2*m + 2*m - 44, 154 = -3*d + m. Let w = 92 + d. Is 20 a factor of w?
True
Let q = 953 - 885. Is q a multiple of 5?
False
Let l = 1951 + -1134. Does 64 divide l?
False
Let f(y) be the first derivative of -y**6/120 - y**5/15 - y**4/12 + y**3/2 + y**2 + 5. Let z(t) be the second derivative of f(t). Is 8 a factor of z(-4)?
False
Let f(s) = 2*s**2 + 3*s - 9. Let r be f(-5). Let q = 74 - r. Does 8 divide q?
True
Suppose 1 = -c + 6. Suppose 4*q - 3*b = 44, -c*b + 6*b = 5*q - 55. Suppose 4*d = -q + 71. Is 6 a factor of d?
False
Suppose 0 = 2*p + 5*m - 16, 25 = -5*m + 5. Let a = p + -13. Suppose 3*k - a = 82. Does 16 divide k?
False
Let s be 84/18 - (-1)/3. Suppose -s*a = -44 + 14. Is a a multiple of 3?
True
Suppose 47*k = r + 49*k - 789, 5*k = -10. Is r a multiple of 17?
False
Suppose 0 = 4*g + p - 17, -3*g + 2*p - 3 + 13 = 0. Suppose 5 - g = -r. Is (-1)/r + (36 - 3) a multiple of 17?
True
Let s be (-74)/(111/(-21) + 5). Suppose -7*g + s = -2072. Does 21 divide g?
False
Is (-27040)/(-325) + (-4)/(-5) a multiple of 3?
True
Suppose 0 = 2*c - 2*u - 998, 0 = -6*c + 2*c - 2*u + 2002. Is 20 a factor of c?
True
Suppose -3*x = 2*x - 50. Let s = x - 5. Suppose z + h = 55, -s*h - 4 = 6. Is z a multiple of 13?
False
Suppose -25*c + 1898 = -14302. Is c a multiple of 55?
False
Let g(r) = r + 14. Let v be g(-9). Suppose -v + 27 = 2*p - 5*i, 5*p - 88 = -4*i. Let h = 52 - p. Does 11 divide h?
False
Suppose 3*r + 2*k + 110 = 0, k + 20 = -r - 16. Let x = -21 - r. Is 17 a factor of x?
True
Suppose 2*z + 394 = 3*n, 15*n - 10*n - 5*z = 655. Is 3 a factor of n?
True
Let l be -2 + 16/4 - 2. Suppose l = 2*k + 3*k. Suppose 2*b - 2*t - 192 = k, 4*b - 8 = 5*t + 379. Is 31 a factor of b?
True
Is (1164/(-16)*2)/((-10)/20) a multiple of 12?
False
Suppose -5*g - 22 = -5*y + 2*y, 3*y + 4*g - 4 = 0. Is 4 a factor of 4*(54/y + (-3)/6)?
True
Suppose 3*x = 3*v - x - 1582, x - 2084 = -4*v. Is v a multiple of 64?
False
Suppose 0 = -3*a - a + 8, -4*k = -2*a + 484. Let g = -77 - k. Is g a multiple of 43?
True
Suppose 63558 = 41*j - 1468. Is 26 a factor of j?
True
Let j(k) be the third derivative of k**5/20 - 5*k**4/6 - 8*k**2. Is j(8) a multiple of 8?
True
Let o(j) = 6*j**2 - 6*j + 1. Let u be (-6)/((6/(-4))/1). Let k(c) = 5*c**2 - 5*c. Let r(x) = u*k(x) - 3*o(x). Is 14 a factor of r(4)?
False
Suppose -2*o = -z - 6634, -2*o - 3*z + 9012 = 2370. Does 14 divide o?
True
Suppose -4*q + 5*g - 29 = -3*q, -4*q - 6 = 2*g. Is 5 a factor of 1*(-56)/q - -4?
False
Let q = -62 + 119. Let x = q - -54. Does 17 divide x?
False
Suppose 1320 = -5*g + 17*g. Does 11 divide g?
True
Let p(n) = 129*n - 127. Is 26 a factor of p(3)?
True
Let m be (2 - 1) + (36 + -4 - 5). Is ((-4)/2)/((m/77)/(-2)) even?
False
Let f(m) = -24*m**3 - 26*m**2 - 2*m + 41. Does 23 divide f(-6)?
True
Let x = -9 - 22. Let l = -22 - x. Is (-8)/(1 + l/(-7)) a multiple of 14?
True
Is 3 a factor of ((-66)/7)/(61/(-427))?
True
Let x = 2009 + -1323. Is x a multiple of 14?
True
Suppose -4*h - 3*v = -164, 0 = 3*h + 4*v + 44 - 174. Does 5 divide h?
False
Let v(j) = -j + 24 - j**2 + 26 + 30 + j**3. Is v(0) a multiple of 20?
True
Let x(h) be the first derivative of 4*h**3/3 - 3*h**2 - 6*h - 5. Let y be x(-4). Let i = -32 + y. Does 25 divide i?
True
Suppose 0 = 4*i + i - 3*d - 28, 0 = 4*i + d - 19. Suppose 3*b - 243 = b - i*n, 4*n = -b + 129. Does 21 divide b?
False
Suppose -81 - 41 = -d. Let v = d - 77. Does 9 divide v?
True
Suppose -3*d = -217 - 401. Suppose d = 8*b - 130. Does 14 divide b?
True
Let n(p) = p**3 + p**2 + 3. Let w(h) = h**3 - 4*h**2. Let z be w(4). Let j be n(z). Suppose b - 4*m - 14 = 0, m - 32 = -3*b + j*m. Is 5 a factor of b?
True
Let n = -6 + 4. Let b = n + -5. Is 12 a factor of (b - -8)*(10 - -2)?
True
Suppose -6*j + i = -2*j - 9, i - 6 = -j. Suppose d + j - 51 = 0. Is 13 a factor of d?
False
Let m(z) = 9*z**2 - z**3 + 8*z**2 + 8 - 19*z**2. Is 20 a factor of m(-4)?
True
Let o = 8 - -12. Does 16 divide (-80)/12*(-72)/o?
False
Suppose -12*c - 488 = -13*c. Is 51 a factor of c?
False
Let v(l) be the first derivative of -l**3/3 + 70*l + 3. Let w be v(0). Does 13 divide (-24)/(-12) - w*-1?
False
Let q(s) = -35*s - 84. Is q(-7) a multiple of 20?
False
Suppose g = n - 4, -3*g = 5*n - 0*n - 12. Suppose 0 = n*x - 10 + 4. Suppose -j + c + 22 = -c, x*c - 32 = -2*j. Does 6 divide j?
True
Let r be (-273)/(-52) - 1/4. Let p be (4/r)/(2/(-10)). Is p*1/(-2)*6 a multiple of 9?
False
Suppose 0 = a + 2*b - 485, 17*a = 12*a - 2*b + 2433. Does 10 divide a?
False
Suppose -3*a + 0 = -0. Suppose a = -5*o - 3*r + 512, 0*o = o - 5*r - 108. Is o a multiple of 15?
False
Suppose -44*n = -52*n + 888. Is n a multiple of 6?
False
Let x = -1090 + 1134. Suppose -2*k = 2*k - 60. Suppose -x*v + 41*v = -k. Is 3 a factor of v?
False
Let v be 75/(-2)*78/(-65). Let d be v/2 + 3/(-2). Let m = -7 + d. Is m a multiple of 3?
False
Let s(n) = -n**2 - 6*n + 4. Let m be s(-5). Let z(p) = 1 + 10*p**2 + 4*p + 0 - 3*p**3 - m*p**2 + 2. Does 5 divide z(-2)?
False
Suppose -3*x + 8*x = 0, -3*x = 2*f - 6. Suppose -3*a - 419 = -3*j + j, 420 = -f*a + 3*j. Let t = -93 - a. Is 23 a factor of t?
True
Suppose -2*o - 3*b = -457, 4*b + 105 = 5*o - 1003. Does 5 divide o?
False
Suppose 2*i = -t + 11, 4*t - 3*i = -0*i + 33. Let l = -7 + t. Is 11 a factor of 1/((-2)/(-38)) + l?
False
Suppose 20 = -16*f + 20*f, 0 = -3*s + f + 1261. Does 95 divide s?
False
Let s be 2/12 + 460/(-24). Let q = s + 11. Let y = -5 - q. Is y a multiple of 3?
True
Let w(l) = -8*l**3 - 2*l**2 + l + 9. Does 51 divide w(-6)?
False
Suppose -10*i + 406 + 674 = 0. Is i a multiple of 12?
True
Suppose 26*a = 3558 + 11444. Is 41 a factor of a?
False
Let g(b) = 129*b**2 + 2*b - 1. Is g(-1) a multiple of 7?
True
Let m be 6/(-10) + 1209/65. Suppose s - m + 6 = 0. Does 4 divide s?
True
Suppose 0 = 4*s - 6*s + 130. Suppose k + 5 = -4*t, 3*k + 9*t - 4*t + 29 = 0. Is 1745/s + (-2)/k a multiple of 9?
True
Suppose 5*y + 2*o - 4 = 0, -4*y + 0*o + 10 = 5*o. Suppose t + 40 = g, y = 2*g + g + t - 136. Is 11 a factor of g?
True
Suppose -11*i - 144 = -12*i. Suppose 10 + i = c. Is c a multiple of 21?
False
Let k be (72/(-5))/((-145)/25 - -6). Let t = 294 - 172. Let z = t + k. Does 19 divide z?
False
Let t(q) = q**2 + 6*q + 5. Let w be t(-6). Let j = 1 - 13. Is 8 a factor of j/w*30/(-9)?
True
Let k(x) = 5*x**3 - 8*x**2 - 2*x + 5. Let p(w) = 4*w**3 - 7*w**2 - 3*w + 5. Let j(o) = 3*k(o) - 4*p(o). Suppose -2*r = -6 - 2. Does 5 divide j(r)?
False
Let w be 7/((-28)/1716) - 3. Is 12/21 - w/28 a multiple of 3?
False
Let m = -42 - -42. Suppose -v + m*v + 25 = 5*k, 0 = 3*v + 4*k - 119. Does 10 divide v?
False
Let o(x) = 55*x - 150. Does 35 divide o(11)?
True
Is (-6)/(10/(-10)) - -976 a multiple of 17?
False
Is 1169 + (-4)/24*-42 a multiple of 21?
True
Suppose 7*k = 4*k + s + 55, 2*s = -4*k + 80. Let z = 157 - k. Is 25 a factor of z?
False
Suppose -10 = v + 3*o, -3*v - 2*o + 7 = 2. Let t(u) = 5*u**2 + 2*u + 5. Let k be t(v). Suppose 3*n = -n + k. Is n a multiple of 6?
False
Let n be -12*(4 + -5) + 2. Suppose 3*r - 2*k = 54, -r = -0*r - 2*k - n. Is 5 a factor of r?
True
Suppose -4*r + 1033 = -375. Does 72 divide r?
False
Let a(w) = -w**2 - 15*w - 4. Let m be a(-14). Suppose 12*q + 14 = m*q. Let t = 48 - q. Is 19 a factor of t?
False
Let g(k) = k**3 - k**2 - 5*k - 3. Let n be g(3). Suppose -4*w + 102 + 66 = n. Is w a multiple of 42?
True
Let l = -136 + 230. Let y = -42 + l. Does 13 divide y?
True
Let u(c) = c**2 - 5*c - 41. Does 9 divide u(-5)?
True
Let w = -7 + -7. Let d = -13 - w. Is 6 a factor of 32 - ((-1 - 2) + d)?
False
Let w(k) = 5*k**3 + k**2 - 2*k + 1. Let m be w(2). Suppose 0 = j + 5*h - 21, 68 = 4*j - 5*h - m. Does 13 divide j?
True
Suppose 3*c = 3*d,