 + 7. Let m(w) = -5*w + 3*w + w - k - w. Is 10 a factor of m(-6)?
True
Let o = 0 - -11. Is o a multiple of 4?
False
Suppose 14*m - 12*m = 2. Let u(n) = 60*n**2 - n + 1. Does 15 divide u(m)?
True
Let c = -480 - -690. Is c a multiple of 15?
True
Suppose 2*o = -4*z - 18, 3*o = 5*z - 3 - 2. Is 2 a factor of z/(1 - (-15)/(-9))?
False
Suppose f + 3 = 0, 5*f + 15 = -2*y + 3*y. Let v(d) = -d**3 + 5 + y*d - 6*d**2 - 6*d - 7 + 0*d. Does 22 divide v(-6)?
False
Suppose 3*o = -o + 8. Suppose k = -r - r, 0 = -o*k - 3*r. Suppose q + 4*q - 35 = k. Does 4 divide q?
False
Suppose l - 6 = -l. Suppose -261 - 394 = -5*q + 5*m, 5*q = -l*m + 615. Is q a multiple of 33?
False
Is 18 a factor of (3 + (-1)/2)*26?
False
Let p be ((-1)/1)/((-3)/24). Suppose 5*x + 0 = -2*h + 2, 0 = 4*x - p. Is (h/3)/(8/(-60)) a multiple of 10?
True
Suppose 0 = 3*l + o - 61, -5*o = 2*l - 12 - 7. Let i = l + -15. Suppose 3*z = -i + 34. Is z a multiple of 6?
False
Let h be 49 - (-1 - 1)/2. Let c = h + -27. Let j = 42 - c. Does 15 divide j?
False
Suppose -w - 2*i = -117, 0 = w - 5*i - 0*i - 131. Does 24 divide w?
False
Let p(f) = f - 2. Suppose -2*m - 2*m = -5*w - 8, 5*m + 11 = w. Let r be p(w). Let y = 26 + r. Does 15 divide y?
False
Does 7 divide 40 + 4 + (-2)/1?
True
Is 22 a factor of ((-33)/3)/(6/(-24))?
True
Let c(z) = -7*z - 5. Let q(b) = 4*b + 3. Let v(x) = 3*c(x) + 5*q(x). Let h be v(0). Suppose h = 2*d - 25 - 9. Does 7 divide d?
False
Let o be (-180)/(-50) + (-2)/(-5). Suppose 122 = 3*t - 0*s - o*s, t = -4*s + 46. Is t a multiple of 14?
True
Suppose -4*p + 108 = -0*p. Is p a multiple of 9?
True
Suppose 3*r + 5*p - 26 = 0, 0 = -r - 3*r - 4*p + 32. Suppose -k = -2*k + r. Is 2 a factor of k?
False
Suppose -4*h + 6 = -h. Suppose 0 = -3*m - s + h*s + 95, 0 = -4*s + 16. Is 13 a factor of m?
False
Let g = -50 + 58. Is g a multiple of 5?
False
Let b be -1*3/(-6)*2. Suppose -b = a - 12. Does 6 divide a?
False
Let l(g) = 3*g**2 - 7*g - 20. Is 10 a factor of l(-5)?
True
Let y(d) = -2*d - 2. Does 18 divide y(-10)?
True
Suppose 0 = 3*d - 4*d + 20. Suppose d = -3*m + 77. Does 11 divide m?
False
Suppose 0 = -2*q - q + 24. Does 6 divide q?
False
Let g(h) be the third derivative of 7/24*h**4 + 4/3*h**3 - 3*h**2 - 1/60*h**5 + 0*h + 0. Is 8 a factor of g(7)?
True
Suppose 3*x = 3*i - 15, -i - 5*x = -1 - 22. Suppose -8 = 4*b, 20 = 2*g - 3*b + 6. Suppose -i*o + g*o = -68. Does 7 divide o?
False
Let o = 6 + 6. Let j be o/(-6) + (1 - 17). Does 3 divide j/(-4)*4/3?
True
Let f(z) = -4*z**3 - z**2. Let t be 3/(-5) - (-2)/(-5). Let h be f(t). Is 7 a factor of (-10)/(-1)*(-2 + h)?
False
Let r(d) = 2*d**2 + 7*d + 7. Is r(-5) a multiple of 11?
True
Suppose -29 = -5*p - 3*t, -t + 1 = p - 2*t. Is 3 a factor of p?
False
Let k be (-85)/(-3)*3*1. Suppose -4*p + 385 = -5*r, -p = -0*p + r - k. Suppose 0*m + 3*m = p. Does 15 divide m?
True
Suppose -4*y + y + 130 = 4*o, 0 = -3*o + 3. Let r = y - 26. Does 6 divide r?
False
Let d(r) = -r - 9. Let g be d(-7). Suppose 5*l - 2*l = 0. Is 51/(l + (-3)/g) a multiple of 17?
True
Let m(f) = 5*f**2 - 2*f - 1. Let t be m(3). Let h = 74 - t. Does 18 divide h?
True
Let w(s) = -s**3 + 3*s**2 - 3*s + 2. Let y be w(4). Let r(b) = -64*b**2 + b + 1. Let u be r(-1). Let d = y - u. Is 19 a factor of d?
True
Let o be 4*((-3)/(-1) - 12). Let s = o + 62. Does 17 divide s?
False
Suppose 6 = -5*z + 26. Suppose -3*t = -2*h - 36, t - 36 = -2*t - z*h. Is t a multiple of 12?
True
Let f = -9 + 14. Suppose -5*g - 17 = 2*c, 0 = -f*c + g + 3*g + 40. Suppose 0 = -y - 0*y, 3*i = c*y + 66. Does 11 divide i?
True
Does 4 divide (1 + 26)*(-2)/(-6)?
False
Suppose -147 = j - 4*j. Let f(m) = m**2 + 14*m + 15. Let z be f(-7). Let k = z + j. Is 15 a factor of k?
True
Let d(u) = 3*u**2 - 5*u + 4. Let n be d(2). Suppose -n - 2 = -v. Does 3 divide v?
False
Let g = 0 - -2. Let m be 30/(-25)*(-5)/g. Suppose 39 = m*z - o, -3*z + 60 = z - 4*o. Is z a multiple of 6?
True
Suppose -5*h + 4*z - 5*z = -1233, 0 = 4*h + 3*z - 993. Is 41 a factor of h?
True
Is (-2)/(-6)*(148 + 2) a multiple of 6?
False
Suppose -y + 4*y - 270 = 0. Let m = y + -49. Is m a multiple of 12?
False
Let x(y) = 3*y**2 + 3*y + 2. Is x(4) a multiple of 32?
False
Suppose -2*b + 4 = -5*b - c, 0 = -4*b + 4*c - 16. Let p(o) = -24*o - 1. Is 9 a factor of p(b)?
False
Suppose -y = m + 4*y + 27, 3*y + 5 = 5*m. Let l = 2 - m. Suppose 0 = -x - 3*c + c + 35, l*x - 105 = -c. Is 12 a factor of x?
False
Let v(a) = a**3 - 5*a**2 - 4*a + 6. Let m be v(6). Suppose 5*i - 2 = m. Suppose -2*r + i = -2. Does 3 divide r?
True
Let x be 4 + (-3)/(-1 + 4). Suppose -16 = p + x*p. Is (-95)/p - (-1)/4 a multiple of 12?
True
Let r(s) = s**3 + 7*s**2 - 8*s + 2. Let f be r(-8). Let g(y) = y**2 - y**3 + 0*y + f + 6*y**2 + y. Is 5 a factor of g(7)?
False
Suppose -4*o - 6 = -5*o. Does 7 divide (-573)/(-27) + o/(-27)?
True
Suppose -3*q + 6*q - 12 = 0. Let r(n) = -n**2 + 6*n - 3. Let f be r(q). Suppose 0 = l + 2*l + 6, -4*l - 98 = -f*t. Is 6 a factor of t?
True
Does 3 divide 7/((-140)/36)*-5?
True
Is 1 + (-1 - -2)*89 a multiple of 15?
True
Let n(l) = l**3 + 11*l**2 + 3*l - 11. Is 10 a factor of n(-10)?
False
Let q(r) = r**3 + 2*r**2 - 2. Let s be q(2). Suppose 3*x + 20 = -x. Let l = s + x. Is 7 a factor of l?
False
Let j(r) = 2*r - 14. Is 6 a factor of j(16)?
True
Let m be 0 - 0 - -23 - -1. Does 11 divide 0 + (m - -4 - 0)?
False
Is 11 a factor of (-4 + 7 - -1 - -90) + 1?
False
Suppose c - p = 107 + 68, 2*p - 163 = -c. Does 9 divide c?
True
Let v = -16 + 18. Let k be 4 - 2/(2/2). Suppose k*p - 144 = -v*p. Is 18 a factor of p?
True
Let t be 2 + -2 - (-2 + 28). Is 13 a factor of t/(-3)*3/2?
True
Let j = -1 - -1. Suppose 3*b + 0*b - 144 = j. Is 12 a factor of b?
True
Suppose -54 = -4*f + y, 15 = f - y - 0*y. Suppose -2*t + 7 = -f. Let a = t - 6. Does 4 divide a?
True
Let n(w) be the second derivative of -w**4/12 - 5*w**3/3 - 4*w**2 - 2*w. Let o be n(-6). Does 16 divide (o/(-20))/(2/(-115))?
False
Suppose -38 = -5*b + 17. Suppose 2*m + 2*m - 5*i = b, 15 = 5*m - 5*i. Suppose 0 = 2*a - m*a + 6. Is a a multiple of 3?
True
Let f(l) = l**2 - 13*l + 9. Let x be f(11). Let u(t) = -t - 1. Does 3 divide u(x)?
True
Let a(l) = -l**3 - 13*l**2 - 2*l - 10. Let v be a(-13). Suppose 5*p = p - 4. Let i = v - p. Does 8 divide i?
False
Let d(b) be the second derivative of 17*b**3/6 - b**2/2 - b. Let j be d(4). Suppose -40 = -3*h - 4*p, 4*h + 2*p = j + 3. Is 10 a factor of h?
True
Let o = 0 - -2. Suppose o = 4*v + 2*i, 5*v + 1 = 2*i + 17. Suppose -v*t + t + 5 = 0. Is 5 a factor of t?
True
Let g(u) = u**2 - 2*u - 10. Let r(c) = c - 1. Let l = -1 - -2. Let a(z) = l*g(z) - 3*r(z). Is 7 a factor of a(7)?
True
Suppose 2*t + 7 = 3*r + 61, -r = -2*t + 14. Let z be (24/20)/((-6)/r). Suppose 2*w - z*w = -38. Is 12 a factor of w?
False
Suppose -4*v + 230 = 2*q, -5*q + v + 500 = -4*v. Is 35 a factor of q?
True
Suppose -9*x = 2*x - 858. Is 13 a factor of x?
True
Let k(y) = -26*y - 1. Suppose 5 = -3*i + 2. Is 25 a factor of k(i)?
True
Let z(m) be the third derivative of 1/24*m**4 + 0*m + 0*m**3 + 0 + 13/60*m**5 - 4*m**2. Is 12 a factor of z(-1)?
True
Let r = -6 - -16. Is (24/(-14))/(r/(-35)) a multiple of 5?
False
Suppose 2*z + 198 = 5*o, 0*z + 2*z + 8 = 0. Is o a multiple of 19?
True
Suppose -61 = j - 199. Is j a multiple of 26?
False
Suppose -5*s + 135 = 5*u, -s + 3*s - 150 = -5*u. Suppose 1 = -3*o + 4, -4*h + 2*o + 70 = 0. Let k = u - h. Does 12 divide k?
False
Does 28 divide 224*-6*4/(-48)?
True
Let n(z) = -8*z + 3. Is 25 a factor of n(-6)?
False
Let a(w) = w**2 - 3*w + 5. Is 14 a factor of a(6)?
False
Let s = -87 - -387. Is s a multiple of 50?
True
Let t = 4 + -11. Let u(b) = 7 - b + b + 2*b - 4*b. Is u(t) a multiple of 9?
False
Let q(y) = y**3 + 10*y**2 + 10*y + 6. Let u be q(-9). Does 3 divide 7 - u/(-6)*2?
True
Is 8 a factor of (78/(-24))/(3/(-12))?
False
Let r be -18 + (-5 - -2)/3. Is 0 + 3 - r*1 a multiple of 11?
True
Let i = -8 + 19. Does 8 divide i?
False
Let y be 5 + 0*1/2. Suppose 414 = 4*u + 14. Suppose -5*t + u = 5*r, -4*t - 22 = 3*r - y*r. Is 17 a factor of r?
True
Let c(q) = q + 7. Let r be c(-7). Let h = r - -15. Is h a multiple of 15?
True
Let g = -5 - -12. Does 7 divide g?
True
Let h = -147 - -258. Does 27 divide h?
False
Let p = -3 - -5. Let x(m) = 2 - m + 2*m + 0*m**p + m**2. Is 14 a factor of x(-4)?
Tru