False
Suppose 2*n - 3*n = 3, 0 = -4*q - 2*n + 74. Suppose -y - q = -5*c, 3*c = -3*y - 0*y + 30. Suppose -w + 0*w + 8 = -s, 3*w - y*s = 14. Does 13 divide w?
True
Suppose -2*g - 15 = -4*c + 3, c + 18 = -4*g. Let j(k) = 8 + k**2 + 0*k - 2 + 2*k. Is j(g) a multiple of 10?
False
Let a(v) = v**3 - v**2 + 3. Let k be 0 + 1 - (3 + -5). Does 3 divide a(k)?
True
Let g(m) = 17 - m - 23 - 25*m - 9*m. Does 40 divide g(-4)?
False
Suppose -4*n = 2*f + 138, -6*n - 333 = 5*f - 2*n. Does 12 divide (-56)/(-35)*f/(-2)?
False
Is 184/56 + -3 + (-11854)/(-14) a multiple of 7?
True
Suppose 0 = -5*u + 445 + 200. Suppose u = f + 803. Is f/(-13) - 20/(-130) a multiple of 13?
True
Let a = 16 + -13. Let s(u) = -u**2 + 3*u + 4. Let q be s(a). Suppose 5*j - 10 = -4*n + 8, 5*n + q*j = 27. Is 3 a factor of n?
False
Let r(j) = -2*j**3 - 14*j**2 + 26*j - 12. Does 6 divide r(-10)?
False
Let z be 4/(-28) + (-127)/(-7). Let i = z + -21. Does 18 divide i - -45 - 4 - -1?
False
Suppose -14*z + 16*z = 0. Suppose z = 3*k - 40 - 131. Is k a multiple of 7?
False
Let a = 50 - 56. Is 68 - ((-9)/(-3 - a) - -1) a multiple of 7?
True
Let c(s) = -s**3 - 6*s**2 - 2*s - 11. Let h be c(-6). Let j be h - 4/(-4) - -3. Suppose 158 = j*o + 2*x, 2*x - 124 = -4*o - 2*x. Does 16 divide o?
True
Let u be -1*(0 - 2 - 3). Suppose -u*y = -3*o, 3*o = o - 3*y - 19. Is 13 a factor of 15/25 + (-122)/o?
False
Let y(u) = 5*u**3 - u**2. Let k be y(1). Let s = k - 0. Suppose 5*m + 76 = 2*t, -4*m = -s*t - 0*t + 140. Does 6 divide t?
False
Let g(i) = -i**3 + 3*i**2 + 4*i. Let q be g(4). Suppose q = 3*l - 0*l - 12. Suppose 3*w - l = 26. Is 10 a factor of w?
True
Suppose 5*z + 1 = 4*s - 2, -4*z + 4 = 0. Let b = s - 72. Let i = b + 117. Is 13 a factor of i?
False
Let v = 56 + -20. Let i = v - 16. Is i a multiple of 11?
False
Suppose 2*i - 34 = -q + i, -5*q = -2*i - 184. Let m be (0 + 0)*(-12)/q. Suppose 5*l - 275 = -m*l. Is l a multiple of 26?
False
Let a = 33 + -31. Suppose 3*i - a*w - 220 + 69 = 0, 2*i - 99 = w. Is 18 a factor of i?
False
Suppose -1 - 1 = -u. Let t(z) = z**2 - 3*z + 1. Let g be t(u). Is 36 + (-3 + 4)*g a multiple of 13?
False
Let l(t) = 6*t**2 - 6*t - 9. Let r be l(9). Let k = r + -152. Suppose -5*n + 2*x = -k, -2*x + 0*x - 165 = -3*n. Does 14 divide n?
False
Let k(v) = v - 18. Let c be k(0). Does 15 divide ((-85)/(-34))/((-1)/c)?
True
Let z(n) = 12 + 11 - 8 - n**3 + 2*n**3 + 7*n**2 + 5*n. Does 3 divide z(-6)?
True
Suppose 1175 = 14*c - 11425. Is 15 a factor of c?
True
Let m be ((-8)/(-6))/((-12)/18). Let t(d) = 13*d**2 + 2*d - 1. Let y(c) = 14*c**2 + 2*c. Let i(p) = m*y(p) + 3*t(p). Is i(2) a multiple of 36?
False
Suppose -3*u + c + 3*c = 124, -10 = 5*c. Let a = 98 + u. Does 14 divide a?
False
Does 60 divide -1 + -1 + ((-1379)/(-1) - -3)?
True
Let v(i) = i**2 - 9*i - 20. Let s be v(-9). Suppose 0 = 3*h - 220 + s. Does 3 divide h?
False
Let i(n) = -n**2 + 12*n - 11. Suppose -3*g - 2 = 5*s + 36, -4 = 4*s. Let l(u) = -u**2 - 14*u - 25. Let y be l(g). Does 21 divide i(y)?
True
Suppose 16*w - 84 = 13*w. Suppose -7*x + 5*x = -w. Suppose -3*u + x = -16. Is u a multiple of 5?
True
Is 14 a factor of (-5)/25*-42*15?
True
Suppose z + 3 = -0. Is 14 a factor of -1 - z - (12 + -80)?
True
Let f = -74 - -74. Suppose -278 = -4*a - 3*u + u, f = 4*a + 5*u - 281. Is a a multiple of 23?
True
Is (-14235)/(-27) + (-228)/54 + 4 a multiple of 17?
True
Suppose 5 = -5*c + 2*g, -4*c + 0 - 4 = 3*g. Let i be 11*c - (3 + -5). Is ((-30)/i)/(10/15) a multiple of 4?
False
Suppose u - 5*u - 4 = 0. Let j = 4 + u. Suppose 3*p = 2*s + 98, 0*p - 3*p = -j*s - 99. Is p a multiple of 16?
True
Let g be 11*1*(-1)/1. Let m = 14 + g. Suppose 0*w + 150 = m*k - 4*w, 2*k - 5*w = 107. Is k a multiple of 23?
True
Let w(g) = -g**3 + 3*g**2 - 15*g + 6. Is w(-9) a multiple of 29?
False
Let h = 609 - 345. Does 3 divide h?
True
Let a = 269 - 141. Let s = 381 - a. Suppose 43 = 2*b - 4*p - 51, 5*b - p - s = 0. Is b a multiple of 17?
True
Let b = 130 - 65. Suppose -2*m - x = -b - 41, -3*m = -x - 159. Suppose -m = -5*q + 232. Is q a multiple of 16?
False
Suppose -2*n - 2*t = 466, -4*n + 460 = 2*t + 1382. Is 19 a factor of n/(-15)*125/10?
True
Let z(x) = 2173*x + 11. Is z(1) a multiple of 21?
True
Let s(q) = 5*q**3 - 9*q - 2. Is 3 a factor of s(3)?
False
Let s(h) = h**3 + 4*h**2 - 2*h - 1. Let u(x) = x**2 + x - 1. Let g(y) = s(y) + 6*u(y). Does 28 divide g(-7)?
True
Let j be (-1)/(-2)*0/(-9). Is 0/(3 + j) - -17 a multiple of 11?
False
Suppose -6*o = -45 + 117. Let x = -64 - -96. Let c = x + o. Does 4 divide c?
True
Let p(j) = j**3 + 13*j**2 + 11*j + 27. Does 42 divide p(-9)?
True
Let s = -11 + 14. Let q be s - -4*(-3 - -1). Is (-5)/(-2)*(-76)/q a multiple of 24?
False
Suppose 3*n + 8 = -34. Let w = 5 - n. Let l = -15 + w. Is 2 a factor of l?
True
Let b = -62 + 139. Suppose -4*o + 21 = b. Let p(u) = u**3 + 13*u**2 - 15*u + 3. Is 17 a factor of p(o)?
True
Let z be ((-3)/(-4))/(42/112). Let f = 32 - z. Is f a multiple of 15?
True
Suppose 5*h = h - 4, 0 = 4*m + 4*h - 1352. Is 4 a factor of m?
False
Let t = 1182 + -1083. Is 3 a factor of t?
True
Let p = -397 + 501. Does 7 divide p?
False
Suppose 4*m - 1198 = 5*p, 574 = 3*m - 2*p - 328. Is 4 a factor of m?
False
Is ((-1296)/(-21))/(24/112) a multiple of 32?
True
Suppose 44*o - 18144 = 20*o. Does 9 divide o?
True
Let d be (-4)/(-9) + (-100)/(-18). Suppose 0 = d*k + 7*k - 2457. Does 27 divide k?
True
Let u be ((-1)/3)/(20/(-180)). Suppose 3*c = u*j - 44 + 8, -2*j - 2*c = -32. Is 3 a factor of j?
False
Suppose -4*t = 3*q - 193, -2 = -q - 3*t + 54. Is 33 a factor of q?
False
Let j(f) = 60*f - 127. Is 7 a factor of j(15)?
False
Suppose -5*y - 2*v + 83 + 185 = 0, 3*y = -5*v + 176. Is 26 a factor of y?
True
Let b(n) = 13*n - 3. Let p be (-2)/6 + 28/3. Let m = p + -6. Is b(m) a multiple of 9?
True
Let j(f) = -f**2 - 4*f + 17. Let m be j(-6). Suppose m*g = 3 + 42. Does 8 divide g?
False
Suppose 5*p + 619 = -s, -2*p = -0*p - s + 249. Let y(v) = 184*v. Let a be y(1). Let c = a + p. Does 15 divide c?
True
Let d = -2 - -2. Suppose 132 = 6*t - 4*t. Suppose 3*n - 3*j - t = d, -2*j + 43 = 2*n + 11. Is 19 a factor of n?
True
Suppose 8*j = 242 - 10. Is 2 a factor of j?
False
Suppose -508 = -5*a - 2*j, 0 = 6*a - 2*a + 4*j - 416. Is a a multiple of 5?
True
Suppose -2*d = -5*d - 327. Let b = 196 + d. Is b a multiple of 29?
True
Let h = 33 + 106. Is 16 a factor of h?
False
Let j = 1988 + -894. Does 20 divide j?
False
Let g = -459 + 2175. Is g a multiple of 13?
True
Let p(i) = -4*i + 24. Let d be p(5). Suppose 0 = d*n - w - 280, 0 = n + 3*n - 3*w - 280. Is n a multiple of 14?
True
Let v(r) = 4*r**3 + 8*r**2 - 6*r + 12. Let f(m) = m**3 - m**2 - m - 1. Let i(k) = -3*f(k) + v(k). Is i(-11) a multiple of 6?
True
Suppose 4*a - a = 5*p + 1512, -4*p = 3*a - 1512. Is 75 a factor of a?
False
Let z(n) be the third derivative of -n**6/120 + 2*n**5/15 - 5*n**3/3 + 13*n**2. Is z(7) a multiple of 21?
False
Suppose 0 = -7*o + 677 + 2354. Does 16 divide o?
False
Is 23 a factor of ((-4752)/165)/((-634)/210 + 3)?
False
Let z = -334 - -757. Is 17 a factor of z?
False
Let u be 56/(-2)*(3 + (-4 - 3)). Let b be (-1 - -2)*1 + 92. Suppose 0 = 4*p - 2*g - u, -4*p = 2*g - 19 - b. Is p a multiple of 11?
False
Let t(d) = 46*d + 106. Is 27 a factor of t(8)?
False
Let n(c) be the third derivative of c**4/4 - c**3/6 + c**2. Let u = 184 - 182. Is n(u) a multiple of 11?
True
Let r be (49 + 0)/(2 + -3). Let i = -11 - r. Is 3 a factor of i?
False
Suppose 0 = -0*r + 2*r - 40. Let l be r/(-6)*(-3)/(-2). Does 17 divide 76 + -11 - (2 + l)?
True
Suppose -4*s = -3*y - 3310 - 4130, y - 4 = 0. Does 81 divide s?
True
Let k = 29 - 29. Suppose k = 5*c + 3*h - 2*h - 228, -h - 42 = -c. Does 15 divide c?
True
Let g(z) = -z**3 + 10*z**2 + 21*z - 20. Let l(r) = -r**2 + 13*r + 25. Let c be l(14). Is g(c) a multiple of 5?
True
Let h(u) = 28*u**2 + u - 18. Let q(g) = -14*g**2 + 9. Let k(y) = -3*h(y) - 7*q(y). Does 9 divide k(-2)?
False
Let n be -3 + (-6)/(-2) - -3. Suppose -5*d = -4*s - 485, d - n*s - 97 = -0*d. Suppose -4*u + 301 - d = -4*y, 2*y - 210 = -4*u. Is u a multiple of 14?
False
Let o = -18 - -20. Suppose t = o*j - 150, -4*j + j = -2*t - 223. Let s = 137 - j. Is 12 a factor of s?
True
Let w(y) = -2*y**3 - 10*y**2 - 7*y - 2. Let x be w(-7). Suppose -z - 13*z = 2352. Let d = z +