(6)?
False
Suppose -5*f = 2*g - 0*g - 59, 5*f - 65 = -5*g. Is 6 a factor of f?
False
Let r(a) = 7*a**2 + 5*a + 9. Let u(b) = -14*b**2 - 11*b - 19. Let t(q) = 9*r(q) + 4*u(q). Is 18 a factor of t(-3)?
False
Let y(u) = -u**3 - 7*u**2 - 4*u + 9. Is y(-7) a multiple of 9?
False
Suppose -4*o + 8*o = -2*s + 180, 5*s = -5*o + 435. Is 14 a factor of s?
True
Suppose -3*q - 10 = -4*z - 5*q, 0 = 5*z - 5*q - 50. Let l = z + 55. Suppose -l = -5*k + 85. Does 11 divide k?
False
Let p = 52 + 3. Suppose 0 = -h + 2*z - 7*z + 44, -5*h = z - 196. Let c = p - h. Does 13 divide c?
False
Suppose -260 = -0*p - 5*p - 5*z, -4*p + 5*z + 253 = 0. Let b = -21 + p. Suppose -2*c = -v + 4 + 5, b = 2*v + 2*c. Is v a multiple of 15?
True
Suppose -1012 = -16*u - 7*u. Does 23 divide u?
False
Let f(m) = -9*m - 7. Is 19 a factor of f(-6)?
False
Let a be (96/(-9) - -4)*-15. Suppose 3*t + 2*q = 186 - 31, -2*t - 2*q = -a. Does 11 divide t?
True
Let f(m) = m**3 + 8*m**2 + 4*m - 1. Let n be f(-7). Is 24 a factor of (n/12 + -3)*-36?
True
Suppose 2*l + 526 = 3*y + l, -879 = -5*y + 4*l. Suppose -67 = 6*p - y. Is 6 a factor of p?
True
Let w(g) = 4*g - 2 - 5*g + 5 - 8*g. Does 15 divide w(-3)?
True
Let l(u) = -u**3 - 10*u**2 + 11*u + 15. Is l(-11) a multiple of 4?
False
Let t(j) = -j**3 - 8*j**2 - 5*j + 11. Is 17 a factor of t(-8)?
True
Let z be 6*2/4 + -1. Suppose 3*t - 187 = 5*y, -3*t - 50 = z*y - 202. Let m = 93 - t. Does 19 divide m?
False
Let x be (-1)/(2/(-8)*-2). Let s = x - 10. Let g = 28 + s. Is g a multiple of 12?
False
Suppose 0*c = 5*c - 25. Suppose 1 = a - c. Is a a multiple of 6?
True
Suppose 0*w - 5*w - 18 = -2*q, -18 = -3*q + 3*w. Suppose 12 = 20*d - 17*d. Suppose d*b - 3*u - 200 = 0, 2*b + 200 = 6*b - q*u. Does 16 divide b?
False
Let j(s) = -s**2 + 3*s + 3. Suppose 4*n = -1 + 13. Let p be j(n). Suppose 0 = -5*k + 3*d + 40, -p*k - 2*d = -28 + 4. Is 4 a factor of k?
True
Suppose -2*a - 3 = 3. Let n be (-1 - 1)*a/2. Suppose -2*v - n*v = -220. Is v a multiple of 10?
False
Let a be ((-33)/6)/(1/(-14)). Let q = 131 - a. Suppose 3*w + 4*x = 35, -2*x - q = 2*w - 6*w. Is w a multiple of 13?
True
Let n(f) be the third derivative of f**5/60 + f**4/6 + 3*f**3/2 - 6*f**2. Is n(-7) a multiple of 10?
True
Suppose 2*g + 3 = g. Suppose -9 = -2*v + 5*k + 17, 3*k = 5*v - 84. Let j = g + v. Is 15 a factor of j?
True
Let z(n) be the second derivative of -n**5/20 - 5*n**4/12 - n**3/2 + 4*n**2 - 4*n. Is 31 a factor of z(-6)?
True
Let h(x) = -x - 1. Let y(i) = -i**2 + 5*i - 1. Let d be y(5). Let g be h(d). Suppose -2*c - 4*b + 28 = g, -4*b - 43 - 1 = -c. Is 12 a factor of c?
True
Let h = 9 + -3. Suppose -5*f = 4*a - 98 + h, -f = 4*a - 108. Let p = a - 3. Is 19 a factor of p?
False
Suppose 3*y - 48 = 12. Is 19 a factor of y?
False
Let i be (-6)/(-8) + (-294)/(-24). Let o = i - 1. Is 7 a factor of o?
False
Let s = 8 - 7. Let n(j) = 10*j**2 + 2*j - 1. Is n(s) a multiple of 11?
True
Suppose -x + 898 = 6*u - 2*u, -4*u = -x - 894. Is u a multiple of 14?
True
Let t = -4 + 15. Does 6 divide t?
False
Let w(a) = a + 2. Let x be w(-12). Is 22 a factor of ((-168)/x)/((-3)/(-10))?
False
Does 6 divide (18/10)/((-2)/(-20))?
True
Let s = -202 - -358. Is s a multiple of 43?
False
Let r = 4 - 0. Suppose r*j + j - 50 = 0. Suppose 2*k - k - j = 0. Is k a multiple of 5?
True
Let b = -3 - -9. Let o = 20 - b. Is 14 a factor of o?
True
Let o(q) = q**3 - 19*q**2 + 25*q + 14. Does 14 divide o(18)?
True
Let y be (-1)/((-3)/6) - 8. Let n = y - -10. Suppose -44 = -n*w + 8. Is w a multiple of 6?
False
Let j be (-13 - -5)/((-2)/(-4)). Let f = j - -27. Suppose 3*u - 16 - f = 0. Is u a multiple of 9?
True
Let f = -9 - -7. Let v = f + 49. Is 13 a factor of v?
False
Suppose 152 + 58 = 2*i. Suppose -4*w + w = -i. Suppose -3*d + 40 = 2*n + 3*n, 4*n + 3*d = w. Is n a multiple of 5?
True
Let p(a) = a**3 + 5*a**2 + a + 1. Let q be 24/(-3) + 3 + 1. Does 10 divide p(q)?
False
Let z be 2*(-26)/(-4) + -1. Suppose 3*b - z = -0*b. Is b a multiple of 4?
True
Let x = 7 + 5. Let c(h) = 3*h**3 - h**2 - h + 1. Let n be c(1). Is x*12/9 + n a multiple of 9?
True
Suppose 0 = v - 5*v - 12. Is 22/1*v/(-6) a multiple of 9?
False
Suppose z - 3*z = 8. Let b be 2/z*(3 + -5). Is 16 a factor of b*19 + -11 + 9?
False
Let q be (-4)/(-14) - (-33)/7. Suppose h = q*h - 8. Does 4 divide 13 + 1/(h/(-4))?
False
Let s(g) = 6*g - 3. Let y = 36 + -15. Suppose 0*c + 3*c = y. Is 15 a factor of s(c)?
False
Suppose -3*u - 26 = -212. Does 10 divide u?
False
Let k = 131 - 71. Suppose -2*b + k = 3*r, -4*r + 40 = -2*r + 5*b. Let y = 12 + r. Does 16 divide y?
True
Let a be 6*1*(-6)/(-9). Suppose -5*o = 3*k - 118, -a*k = 2*o - 4*o + 68. Is 21 a factor of o?
False
Let t(p) = -p**2 + 28*p - 28. Does 2 divide t(26)?
True
Suppose 0 = r + 5, 0 = 2*x - x + 4*r - 2. Is 19 a factor of x?
False
Let a = 25 + 92. Is a a multiple of 31?
False
Suppose -3*y - 64 = 5*o - 210, y - 3*o = 72. Suppose 2*h = y - 165. Is 20/6*h/(-15) a multiple of 12?
True
Let d = 121 + 14. Suppose 0 = -5*o - 20 + d. Is o a multiple of 6?
False
Let r(y) = -y**3 + 2*y + 1. Is r(-4) a multiple of 15?
False
Let d = 59 - 29. Let q be (3 - -2)*(-54)/(-5). Let o = q - d. Does 12 divide o?
True
Suppose 32 = 2*b + 6*b. Is b a multiple of 4?
True
Suppose -o + 5*t = o - 72, -o - t = -29. Is o a multiple of 25?
False
Let z = -6 - -4. Suppose -7*d = -6*d + 32. Does 12 divide 2 + z + 1 - d?
False
Let z(a) = -a**2 - 2*a + 2. Let h be z(-2). Suppose -3*j = -4*j + h*x - 7, 2*x = 4*j + 34. Let o(y) = -y**3 - 10*y**2 - 13*y - 11. Is o(j) a multiple of 10?
False
Let d(c) = -13*c + 5. Let a(f) = f**3 - 8*f**2 - f + 4. Let b be a(8). Let l be d(b). Suppose 7 = 2*w - l. Is w a multiple of 16?
True
Suppose -3*t + 2*q - 50 = 0, 0 = q - 2*q - 2. Let s = -10 - t. Suppose 0 = -5*k - 4*z + 52, -3*k = -2*k + 2*z - s. Does 5 divide k?
False
Suppose -3*l + 156 = 2*z, -4*l - 3*z - 208 = -8*l. Let s = l + 4. Let k = -16 + s. Is k a multiple of 17?
False
Suppose -137 = 5*j - 602. Is 24 a factor of j?
False
Does 6 divide 9/24*2*140?
False
Let x = 7 + -4. Suppose t + 4*y = 32, 2*t - 4*y = -t + 16. Suppose -4*l + l = m - 16, -x*m = -t. Does 3 divide l?
False
Suppose 4*m - m - 84 = 0. Suppose 5*z - m = 3*s, -4*z + 3*s - 4 = -27. Suppose -z*n + 150 = -0*n. Is n a multiple of 12?
False
Let y = 2 - -3. Suppose -y*p = -2*o - 26, 3*p + 5*o + 4 = 1. Is p a multiple of 3?
False
Let z(n) = 6*n**2. Let a(h) = -h**2 - 4*h + 7. Suppose f - 10 = 3*f. Let y be a(f). Is 12 a factor of z(y)?
True
Let m = -10 + 19. Let o = m - 4. Suppose h = o*h - 32. Is h a multiple of 8?
True
Let u be ((-24)/(-20))/(2/5). Let o be -3*1*(u - 0). Does 6 divide 2 + (2 - (o - -1))?
True
Let u(f) = 167*f + 3. Is 32 a factor of u(1)?
False
Let d = 71 - 31. Suppose -5*l + 0*l - 55 = -2*w, -d = -4*w - 4*l. Is 15 a factor of w?
True
Let r be ((-68)/8)/((-2)/(-4)). Let m(v) = -3*v + 2. Let s be m(-9). Let g = s + r. Does 12 divide g?
True
Suppose 0 = 2*g - 7 + 1. Suppose l = g + 2. Is 5 a factor of l?
True
Suppose -40 = -2*c + w, w - 2*w = -5*c + 103. Does 5 divide c?
False
Suppose d - 6 = -d. Is 26/6*d + 1 a multiple of 9?
False
Let h = -3 + 4. Is 6 a factor of (3/h)/6*14?
False
Let g(d) = 10*d - 5*d + d - 4. Let h(s) = s**3 - 7*s**2 + 6*s + 5. Let k be h(6). Does 17 divide g(k)?
False
Let r(y) = -y**3 + 7*y**2 + 38*y - 10. Does 35 divide r(10)?
True
Suppose 0 = t - 3*h + 6*h + 10, h - 1 = 4*t. Let o be t/(-4)*(4 + 0). Is 10 a factor of (o - 8)*(-24)/14?
False
Let h(m) = 4*m - 38. Does 3 divide h(14)?
True
Suppose 5*k - 651 - 584 = 0. Does 13 divide k?
True
Suppose 0*j + j + 5 = 0, -5*j + 11 = 3*f. Suppose -7*b + f = -4*b. Is 19 - 2/b*6 a multiple of 16?
True
Suppose 5*i - 54 = v - 5*v, -3*i = 3*v - 42. Suppose 0*y + v = y. Is 10 a factor of y?
False
Let d(w) = 3*w - 7. Let o be d(5). Let z(r) = -r**3 + 7*r**2 + 8*r + 6. Is 2 a factor of z(o)?
True
Let i = -3 + 35. Is 16 a factor of i?
True
Suppose 4*t - 9*t = -265. Suppose -2*f + t = -1. Is f a multiple of 17?
False
Suppose -8 = 4*s - 16. Is 25 a factor of 75/(-3 - -6 - s)?
True
Let w(s) = 2*s + 6*s - 4*s. Let k be w(3). Is 6 a factor of (k/(-10))/((-6)/45)?
False
Suppose 12 = -3*f - 6*o + 3*o, 4*f + 2*o = -10. Let a be 2 - f*5*8. Let n = a - 1. Is n a multiple of 17?
False
Let n(v) = -2*v - 5 - 3 - 4. Let z be n(-9). Let h(q) = -q**2 + 