?
False
Suppose -9*c + 11*c - 2 = 0. Is 18 a factor of (-6)/(-12)*42/c?
False
Let d be -2 + 4/(4 + -2). Let h(t) = t**3 + t**2 - t + 3*t - 3*t + 8. Is h(d) a multiple of 4?
True
Suppose 2*k + v = -k + 12, -5*k + 20 = v. Suppose 5*r = -5*h + 15, -k*r - 4*h - h = -9. Let c(w) = -w**3 + 7*w**2 - w - 7. Does 16 divide c(r)?
False
Let s be ((-6)/2 - -2)*0. Does 26 divide 1*(2 - s) + 79?
False
Let u = 3 + -6. Let k(d) = 2*d**2 - d - 4. Is k(u) a multiple of 6?
False
Let q be (-6)/9*-3 - 1. Let w be 4/((-1)/q*1). Let u(v) = -3*v + 1. Does 6 divide u(w)?
False
Let o(d) = -d + 1 + 2*d + 0. Let a be o(2). Is 14 a factor of 42/(-4)*(-4)/a?
True
Let i(t) = -t**3 + 3*t**2 + 2*t + 6. Let x(j) = -j - 1. Let f(u) = -i(u) - 5*x(u). Is 3 a factor of f(3)?
False
Let t(v) = -9*v - 3. Let f(z) = -10*z - 4. Let q(i) = -4*f(i) + 5*t(i). Does 13 divide q(-6)?
False
Let v(i) = -75*i + 5. Is 12 a factor of v(-3)?
False
Let r = -3 - -11. Suppose r*i - 6*i - 14 = 0. Is 5 a factor of i?
False
Let m be 0/(0 + 2 - 0). Suppose m = c - 0*n + 5*n - 29, -4*n + 24 = c. Suppose -c*s = -s - 54. Does 5 divide s?
False
Let l(a) = a**3 - a**2 - a + 2. Let r be 2 - (1 - -1) - 0. Is l(r) even?
True
Let h = 57 - 16. Suppose -3*j - 37 = -5*j + n, -5*n - h = -j. Does 16 divide j?
True
Suppose 6*k = 3*k. Suppose x - 44 - 10 = k. Let f = x + -21. Is f a multiple of 13?
False
Suppose 5*p + 3*i = -5 + 42, 2*p - 2*i - 2 = 0. Does 2 divide p?
False
Let h(o) = -3 + 6*o**2 - 2*o**2 - 7*o + o**2 - 3*o**2. Let m(g) = g**3 - 2*g**2 - 2*g + 4. Let u be m(3). Is 17 a factor of h(u)?
False
Suppose 23 = 3*y - 16. Does 13 divide y?
True
Suppose -2*x = 3*w - 3, w = -x - 2*x + 8. Suppose 2*k = x*k - 17. Is 17 a factor of k?
True
Let m(d) = 4*d**2 + 4*d - 4. Let p be m(4). Let s = -1 + 4. Suppose 13 = -s*u + p. Is 10 a factor of u?
False
Suppose -2*m - m + 4*z + 14 = 0, 4*m = -3*z + 2. Suppose -m*l + 3*l - 7 = 0. Let t(n) = n**3 - 5*n**2 - 10*n + 4. Is 18 a factor of t(l)?
False
Let w = 4 - 4. Let z be (3 - (-1 + 1)) + w. Suppose -z*y + 50 + 4 = 0. Does 9 divide y?
True
Suppose 0 = -2*g + 6, -g + 6 = -2*y + 35. Is 10 a factor of y - -7 - (0 - 1)?
False
Suppose -4*b = 0, -384 - 88 = -4*w - b. Suppose 5*n + 5*u = 2*u + w, -u = 3*n - 70. Is 20 a factor of n?
False
Suppose 106 = 3*o - 17. Let u = -47 + 39. Let a = u + o. Is 19 a factor of a?
False
Suppose -2*f - 84 = -4*z, -3*z + 47 = -5*f - 9. Does 11 divide z?
True
Suppose r - 63 = 2*v, -3*r - v + 190 = -27. Does 19 divide r?
False
Suppose 5*p + 3*o + 383 = 0, -5*p + o = 72 + 327. Let k = -39 - p. Is k a multiple of 20?
True
Let f(o) = -o**2 - 7*o + 4. Let n be f(-7). Let w(p) = p**3 + p**2 - 2. Let c be w(-2). Is (n/6)/(c/(-45)) a multiple of 3?
False
Let y(l) = l + 4. Let z be y(5). Let r be (-2)/(-4) + (-9)/(-2). Suppose -r*i + 5 - 12 = -3*m, 2*m - z = -i. Does 3 divide m?
False
Let f(h) = -h**3 + 3*h**2 - 2*h - 10. Is 13 a factor of f(-4)?
False
Suppose 0 = -6*y - 15 + 189. Is 16 a factor of y?
False
Let c = 11 + -11. Suppose 3*k + c*k - 30 = 5*o, k - 10 = -4*o. Is 10 a factor of k?
True
Let i(l) = -l**2 - 12*l - 28. Does 3 divide i(-8)?
False
Suppose -15 = -c - 2*c. Suppose t + 60 = c*t. Is t a multiple of 15?
True
Let s be (1/(-2))/(10/(-60)). Suppose -4*a = -s*a - 57. Does 10 divide a?
False
Let b be -2 - -2 - 0/2. Suppose -5*h + 100 - 20 = b. Is 4 a factor of h?
True
Let h(p) = p**3 + 7. Let q be h(0). Let j(y) = y**2 - 4*y - 5. Is 8 a factor of j(q)?
True
Let n = 0 + 3. Suppose 4*o = -4*w + 80, -n*w - 3*o = -4*o - 72. Is w a multiple of 23?
True
Is 5 a factor of ((-14)/8)/(6/(-24))?
False
Suppose 2*a + 65 = -209. Let y = -92 - a. Is y a multiple of 26?
False
Suppose 3*g = -11 - 4. Let m(x) be the first derivative of -7*x**2/2 - 4*x - 3. Is m(g) a multiple of 20?
False
Let i be (-16)/(-56) + (-128)/7. Is 6 a factor of (-4)/i - 156/(-27)?
True
Let l be -3*(-6)/9 - 0. Suppose 5*j - 17 = 3*a - 65, -a = l*j - 16. Does 13 divide a?
False
Let r be (-1)/1 - (0 - 1). Suppose r*g = g - 11. Is 11 a factor of g?
True
Suppose -12*f + 17*f - 360 = 0. Is 15 a factor of f?
False
Suppose 10*w = 5*w. Suppose 2*o + r = 99, w*o + 5*o - 231 = 3*r. Does 14 divide o?
False
Let a(o) = o + 7*o**2 + 5*o**2 - 5*o + 3*o. Does 10 divide a(-2)?
True
Suppose -2*t + 4 = 0, 42 = m + 5*t - 23. Suppose -m = 3*i - 8*i. Is i a multiple of 2?
False
Suppose 2*u - 42 = 4. Is u a multiple of 23?
True
Let z(x) = 2*x**3 + 3*x**2 - 3*x - 7. Let a(q) = -5*q**3 - 10*q**2 + 8*q + 20. Let b(h) = -3*a(h) - 8*z(h). Is b(5) a multiple of 10?
False
Let d(a) = -a**3 - a**2 + 17. Let t be d(0). Suppose i - t = 6. Does 13 divide i?
False
Let c(q) = 16*q**2 - q - 1. Let y = -4 + 3. Is 13 a factor of c(y)?
False
Let p(c) = 6*c + 3. Is p(2) a multiple of 11?
False
Let j(q) = -q**3 + 2*q. Let a be j(-2). Suppose -n = x - 2, -x + 22 = 4*n - a*x. Is 3 a factor of n?
False
Let r(l) = 9*l**2 - 1. Let q(u) = -18*u**2 + 2. Let v(s) = 2*q(s) + 5*r(s). Suppose 0 = 5*j + m - 2, -5*j + 9 + 8 = -4*m. Is 4 a factor of v(j)?
True
Let m = -59 - -314. Is 51 a factor of m?
True
Let b(c) = -3*c - 4. Let f be b(-3). Suppose -f*z - 7 - 3 = -y, -2*z - 60 = -2*y. Is 7 a factor of y?
True
Let q(k) = -k**3 - 5*k**2. Suppose -3*u - 3*c - 19 = 5, 3*u - c + 24 = 0. Let w(h) = -h**2 - 8*h - 6. Let o be w(u). Is q(o) a multiple of 18?
True
Let w(q) = -q**2 + 11*q. Let x be w(9). Suppose g - 4*g = -x. Does 5 divide g?
False
Suppose 5*s - 2 = -2*j, 0*s = -3*s + 2*j + 14. Suppose -2*i + 0*g = -5*g - 43, 5*i - 64 = -s*g. Does 6 divide i?
False
Let b(x) = -x**3 + 10*x**2 - 2*x + 15. Let u be b(10). Suppose y = 3*y - 30. Let w = u + y. Is w a multiple of 5?
True
Suppose 53 = k + 3*q, -4*q + 29 = -4*k + 161. Let u(t) = -2*t**2 + 2*t + 2. Let m be u(4). Let v = m + k. Does 8 divide v?
True
Let h(a) = -a - a - 8*a + 2*a + 4. Is 20 a factor of h(-7)?
True
Let p(w) = w**3 + 3*w**2 - 4*w. Let l be p(-4). Is (-13)/(-1)*(1 - l) a multiple of 13?
True
Let z be (-10)/(-2)*4/5. Let w = z + 9. Does 9 divide w?
False
Is (-4966)/(-91) + 4/(-7) a multiple of 18?
True
Let t(u) be the first derivative of u**4/4 - 2*u**3 + u**2 + 7*u - 2. Let g be t(6). Suppose -4*b + 14 + 22 = 4*d, b - d - g = 0. Is b a multiple of 9?
False
Suppose 4*t = 246 + 906. Let n be (-2)/(-7) + t/(-28). Is (6 + -1)/((-5)/n) a multiple of 6?
False
Let t(l) = -13*l**2 + 13*l + 27. Let i(p) = 7*p**2 - 7*p - 14. Let v(g) = 11*i(g) + 6*t(g). Suppose 0 = -5*a - 0*a. Does 5 divide v(a)?
False
Let a(t) = 6*t**2 - t + 1. Does 17 divide a(-2)?
False
Let d(b) = -b - 10. Let p be d(-9). Let s = 24 - p. Does 9 divide s?
False
Suppose -5*k = -k - 8. Suppose 5*p = 5*c + 2*p - 98, k*p = 8. Suppose c = 2*x - x. Does 11 divide x?
True
Let g be 317/9 - 4/18. Suppose -s + g = 14. Does 6 divide s?
False
Suppose -5*p = 4*i - 162, -5*p + 185 - 47 = -4*i. Is p a multiple of 15?
True
Let c(x) = 3*x**2 - 16*x - 18. Let n be (2 - 1)/(2/(-16)). Let m(d) = -d**2 + 5*d + 6. Let k(y) = n*m(y) - 3*c(y). Is k(8) a multiple of 6?
True
Suppose n = -5*s + 111, 0*s = -n - s + 123. Is n a multiple of 21?
True
Suppose 25 = -3*v + 8*v. Suppose v*c = 4*w + 74 + 108, -3*c + 2*w = -108. Is 17 a factor of c?
True
Let l = 10 + -5. Suppose 76 = 4*b - 3*p, -l*p - 8 - 12 = 0. Is 11 a factor of b?
False
Let r(i) = 10*i. Is r(7) a multiple of 12?
False
Suppose -a - 15 - 1 = -5*q, 0 = 4*q + 5*a - 36. Suppose 43 = q*r - 9. Is r a multiple of 13?
True
Let n be (-1)/(-5) - 72/(-15). Suppose -1 + n = 2*y. Suppose -y*g + 3*u = -86, -3*u + 15 = -g + 61. Is g a multiple of 20?
True
Is -2 + (0 + -3 - -16) a multiple of 3?
False
Let u(t) = -t + t - 3*t + 4*t**2 + t. Does 6 divide u(-2)?
False
Suppose 4*r - 45 = r. Is 41 - 1 - (r + -16) a multiple of 21?
False
Suppose a - 174 = -2*a + 3*n, 0 = -3*n - 12. Is 6 a factor of a?
True
Suppose -2*n = -5*b + 157 - 19, 2*b + 2*n - 58 = 0. Is 6 a factor of b?
False
Let m(l) = -l**2 + 5*l + 2. Let h be m(4). Suppose 3*d + 72 = h*d. Let x = 59 - d. Is 9 a factor of x?
False
Let p(z) = -z**3 + 9*z**2 - 3*z - 8. Does 32 divide p(5)?
False
Let x = -10 - -125. Does 11 divide x?
False
Let b be 6*1 - (2 + -3). Let w(u) = -u**3 - u - 1. Let g(x) = 2*x**3 - 8*x**2 + 7*x - 8. Let r(p) = -g(p) - w(p). Is r(b) a multiple of 16?
True
Let q be 1/(-4) + 324/(-48). Is (-4)/(q/(70/4)) a multiple of 3?
False
Let x(g)