ppose k - n = 43. Does 34 divide k?
False
Let t(z) = 3*z - 10. Let y be 0 + (1 - -9 - -1). Let q = y + -4. Is 6 a factor of t(q)?
False
Let a(t) = t**3 + 7*t**2 + 7*t + 6. Let b be a(-4). Suppose -2*u + 4*q = -25 + 1, -3*u - 4*q + b = 0. Does 10 divide u?
True
Let d(h) = -4*h - 10. Let z = -42 - -27. Is d(z) a multiple of 10?
True
Let g(b) = -10*b - 11. Let d(p) = -p - 1. Let m(k) = 44*d(k) - 4*g(k). Let y(i) = -i - 4. Let q be y(0). Is 16 a factor of m(q)?
True
Let y(o) = -2*o**2 + 8*o + 6. Let s be y(6). Suppose -4*g + 3*v = 163 + 36, 4*v = 5*g + 250. Let j = s - g. Is j a multiple of 13?
False
Suppose 0 = 2*b - 7*b - 15, -5*a = 3*b - 16. Suppose -a*c = -j - 46 + 11, 0 = j. Is c a multiple of 2?
False
Suppose 9*v - 305 = 136. Is 4 a factor of v?
False
Suppose 3*l - 178 = 2*x - 2, 5*l = -5*x + 260. Suppose 4*a = 3*a + l. Is a a multiple of 17?
False
Let t = -6 - -8. Suppose 0 = t*f - r - 46 - 87, -20 = 4*r. Let a = -44 + f. Does 16 divide a?
False
Let y(m) = 8*m + 6*m + 30*m - 9*m. Let f be y(-3). Let x = -71 - f. Is 16 a factor of x?
False
Let o(p) = p**3 + 2*p**2 + 4*p - 4. Is o(3) a multiple of 7?
False
Let x = 2 - -5. Does 5 divide x?
False
Is 3/21 + (-3 - (-4260)/21) a multiple of 20?
True
Suppose -d + 0*p = -4*p - 64, -2*d + 117 = 3*p. Is 15 a factor of d?
True
Let v(f) = 4*f**3 - f**2 + 4*f - 9. Is v(3) a multiple of 17?
True
Let s(p) = 3*p**2 - 22*p + 29. Let k(t) = t**2 - 7*t + 10. Let g(m) = -8*k(m) + 3*s(m). Let f be g(10). Suppose -4*x + f*x = 66. Does 11 divide x?
True
Let w be (-2)/((-40)/18 + 2). Let k be (w/2)/(4/(-56)). Is 13 a factor of (-6)/(-15) - k/5?
True
Let b(w) be the first derivative of -w**3/3 + 11*w**2/2 - 7*w + 3. Let q = 13 - 7. Is 10 a factor of b(q)?
False
Let p = 110 + -66. Suppose -3*t - 4*j + p = 5, -4*t + 45 = 3*j. Is t a multiple of 5?
False
Suppose 3 = l + a, a + 3*a - 4 = 0. Let u(g) = -g**2 + 5*g - 2. Let d be u(l). Suppose 2*m + 3*i = 36 + 22, -2*m + 44 = -d*i. Is 13 a factor of m?
True
Suppose -14 = -0*n + 2*n. Let q be 2*17/6*3. Let y = q + n. Is y a multiple of 4?
False
Let h(r) = 4*r - 8. Is h(9) a multiple of 14?
True
Suppose -13*b + 3*b = -310. Does 12 divide b?
False
Suppose -4*v - 36 = 60. Let p = 3 - 5. Is (4/6)/(p/v) a multiple of 8?
True
Suppose -4*r + 3*i + 84 + 120 = 0, -2*r + 5*i + 116 = 0. Does 16 divide r?
True
Suppose 0 = -4*l - 2*h + 4, -2*h - 10 = -7*h. Suppose u + 57 = k, -k - 3*k + 5*u + 232 = l. Is 14 a factor of k?
False
Suppose -2*x - 375 = -7*x. Is x a multiple of 20?
False
Let g(c) = -2*c + 5. Let z(t) = -t + 2. Let w(v) = -3*g(v) + 7*z(v). Is 2 a factor of w(-8)?
False
Let o(c) = c**3 + 5*c**2 - 3*c - 5. Let s(x) = -x**2 - 10*x - 5. Let k be s(-7). Suppose 3*u = b - k, -2*u - 3*b = -3*u - 8. Is o(u) a multiple of 4?
False
Suppose -g - 12 = -5*g. Suppose 0 = -x - g*x + 72. Suppose -2*p + p = -x. Does 12 divide p?
False
Suppose 2*j - 5*w = 49, 140 = 5*j + 5*w - 0*w. Is 10 a factor of j?
False
Let g = 448 + -814. Is 12 a factor of g/(-12) - (-1)/(-2)?
False
Suppose 5*w = 5*b + 535, -3*w + 323 = -3*b - 2*b. Is w a multiple of 6?
False
Suppose 2*a = -2*a. Suppose -2*l = -34 - a. Does 6 divide l?
False
Let v = -2 - -1. Is v - 1/(-1)*15 a multiple of 7?
True
Let b be 104/(-65)*(-5)/(-2). Suppose o - 12 = -2*o. Let r = o - b. Is 5 a factor of r?
False
Let c(l) = -l**3 - 2*l**2. Let t be c(-5). Let w = 105 - t. Does 10 divide w?
True
Let j = -8 + 5. Suppose 3*s + 0*s - 27 = 0. Let n = s + j. Is 4 a factor of n?
False
Suppose 0 = -2*t - 2*t + 24. Suppose 3*h - t = 9. Does 2 divide h?
False
Let n(d) be the third derivative of -d**6/360 + d**5/24 + d**4/4 - d**3/6 + d**2. Let i(k) be the first derivative of n(k). Is i(5) a multiple of 3?
True
Suppose -2*j + 5*i + 14 = 0, 5*j - 2*i - 15 = 20. Is j a multiple of 7?
True
Suppose 4*f = -s - 4*s + 47, s + 29 = 4*f. Is 8 a factor of f?
True
Let g(j) = -2*j - 5. Is 5 a factor of g(-10)?
True
Suppose -7*n + 3*n = -552. Is 46 a factor of n?
True
Is 15 a factor of 375/30*24/10?
True
Suppose 231 = 4*i - i. Let h = -37 + i. Does 10 divide h?
True
Suppose 3*v - b + 250 = 6*v, 312 = 4*v - 4*b. Does 13 divide v?
False
Let w = 123 - 91. Is w a multiple of 7?
False
Suppose -c = 4*z - 29, 0*c + 31 = 5*z + 3*c. Does 7 divide z?
False
Let b(n) = n**3 + n**2 - n + 18. Let z = -9 + 9. Let d be b(z). Does 25 divide ((-6)/4)/((-1)/d)?
False
Let l(f) = -6*f - 2. Let v be l(2). Is 12 a factor of 2/v + (-1014)/(-42)?
True
Suppose 0 = 5*b - 18 - 337. Suppose 0 = o + 3, f + 3*f - 5*o = b. Suppose -d + f + 14 = 0. Does 14 divide d?
True
Let i(u) = -u**2 - 18*u + 13. Does 14 divide i(-17)?
False
Let w = 9 + -27. Let u = -11 - w. Does 2 divide u?
False
Does 20 divide -3 + 23 + 0 + 0?
True
Suppose 0 = 17*c - 1169 + 98. Is c a multiple of 21?
True
Suppose 0 = 4*f + 2*i - 14, 0 = -5*f - 3*i + 7*i + 37. Suppose f*s - 3*s - 29 = u, -4*u = 5*s - 66. Does 4 divide s?
False
Let r(m) = -21*m. Does 9 divide r(-2)?
False
Let f(x) = -6*x + 1 + 3*x - 2*x. Let u = 0 - 3. Is 16 a factor of f(u)?
True
Suppose 2*b = 4, -5*y + b + 12 = 2*b. Suppose -2*x + 7*l - y*l = -15, 4*l - 12 = 0. Is x a multiple of 6?
False
Let i = -136 - -233. Is 25 a factor of i?
False
Let a be (-210)/27 - 6/27. Let b = a - -6. Does 19 divide 19*1*(b - -3)?
True
Let v(p) = p**3 - 7*p**2 + 6*p + 4. Let b be v(6). Suppose b*u = 3*u - 5*t, -2*u + 14 = 3*t. Does 5 divide u?
True
Suppose 0 = -7*k + 4*k + 3. Let o = k + -4. Is 5 a factor of (-5)/(15/(-24)) - o?
False
Suppose -107 = -5*v - 17. Is 6 a factor of v?
True
Let v(o) = -o**3 + 4*o**2 + 5*o + 5. Let z be v(5). Let w(a) = -a**2 + 4*a + 7. Let q be w(z). Suppose -3*d = 5*s - 16, 5*d - 3*s = q*s. Is d even?
True
Let p(w) = 2*w**3 - 8*w**2 - 3*w + 1. Does 4 divide p(5)?
True
Let y(x) = x**2 + 4*x - 3. Suppose -2*v = 9 + 1. Let o be y(v). Suppose -62 = -5*c + 2*c + 5*w, o*c + w - 24 = 0. Is 7 a factor of c?
True
Let b be 9/12 + (-122)/(-8). Let g = -7 + b. Is 9 a factor of g?
True
Suppose -4*d + 30 + 146 = 0. Is 15 a factor of d?
False
Let r(v) = -4*v + 4*v**2 - 2*v**2 - v**2. Let q be r(2). Let d = q + 7. Is d a multiple of 2?
False
Let u(x) = -3*x**3 + 3*x**2 + 2*x + 6. Is 12 a factor of u(-3)?
True
Let f(n) = -2*n - 5. Suppose -2 = -g - 0. Let a be ((-2)/4)/(g/36). Is 8 a factor of f(a)?
False
Let s be (-19)/(-4)*24/6. Let u = 33 - s. Is u a multiple of 4?
False
Let a = 56 - 27. Is a a multiple of 17?
False
Let n = 0 + -3. Let j = n - -10. Does 5 divide j?
False
Let g(x) = -x**2 + x + 2. Let o be g(0). Suppose -25 = -o*b - 7. Suppose 2*c - 3*l = b, -c + l + 2*l = 0. Does 9 divide c?
True
Let j(o) = -4*o**3 + 4*o**2 + 3*o - 5. Let g(q) = 3*q**3 - 3*q**2 - 2*q + 5. Let k(f) = -3*g(f) - 2*j(f). Let l be k(0). Does 6 divide ((-4)/l + 0)*15?
True
Suppose -s - 3*b = 2*b + 13, -2*b + 13 = 3*s. Is s a multiple of 4?
False
Suppose -6*c = -3*c - 42. Let w = c - 10. Suppose w*u - 169 - 19 = 0. Is 21 a factor of u?
False
Let z(u) = 2*u**3 + u**2 + u - 2. Does 15 divide z(2)?
False
Suppose 0 = 5*d - d + 24. Let r(x) = 19*x + 2. Let a(j) = 57*j + 6. Let b(n) = d*a(n) + 17*r(n). Does 12 divide b(-2)?
True
Suppose 3*u = 4*s, 4*s = 2*u - u. Suppose v = -s*v + 44. Does 10 divide v?
False
Let c(f) = f**3 + f + 5. Is c(0) a multiple of 4?
False
Suppose -3*a + t + 1 = 0, -6*a = -a - 2*t. Suppose -y - a = -2*y. Is y a multiple of 2?
True
Suppose 2*v + 3*s + 12 = 0, 4*s + 16 = -5*v - 0*v. Let x be -2 - -2 - (v + -3). Suppose 0 = -o - x*o + 80. Is o a multiple of 6?
False
Suppose -4*a = 5*c - 10, -c = -8*a + 3*a + 27. Let j = c + 11. Is 8 a factor of j?
False
Let n(f) = f. Let x be n(2). Let i = x - -8. Does 6 divide i?
False
Suppose 4 = -a + 1. Suppose 0*v = 5*g - v - 1, -4*g = v + 1. Is 3*((-14)/a + g) a multiple of 7?
True
Suppose 2*s = s + 3. Does 10 divide ((-3)/6)/(s/(-174))?
False
Suppose 2*x = x - 14. Is (-4)/x - (-94)/14 a multiple of 7?
True
Let u = 22 - -10. Let o = -17 + u. Is o a multiple of 5?
True
Suppose 3*l = -0*l. Suppose 68 = 2*r - 0*r + 3*s, l = r + 4*s - 39. Is r a multiple of 11?
False
Let r = 18 - 21. Is 13 a factor of (-2 - r)/((-3)/(-117))?
True
Let k(h) = 8*h**2 - h. Let d be k(-1). Suppose -5*v - 41 = d. Is v/(-3)*6/4 a multiple of 3?
False
Suppose 2*q = -3*q - 55. Let h = 6 - q. Does 7 divide h?
False
Let j(n) = -n**3 + 2. Let a be (-16)/(-9) - (-4)/18.