 - -4)*2/5. Suppose j*w + 0*w = 120. Is w a multiple of 21?
False
Suppose -r = 3*r - 28. Suppose -r*z + 140 = -2*z. Suppose 3*a = z + 5. Is 6 a factor of a?
False
Let s = -4 + 6. Suppose -3*y + 4*v = -28, s*y = -0*y - 3*v + 30. Is 6 a factor of y?
True
Let n(w) = -2*w + 1 - 7*w - w. Suppose 2*r + 1 = -1. Is n(r) a multiple of 11?
True
Let t be (-12)/(-30) + (-42)/5. Is 7 a factor of (34/8)/((-2)/t)?
False
Let y = 4 + -4. Suppose y*a + 5*a - 80 = 0. Is a a multiple of 6?
False
Let a = 131 + -44. Does 29 divide a?
True
Suppose 4*f - 13*s + 9*s = 776, 5*s + 777 = 4*f. Does 7 divide f?
False
Let p = 0 - -4. Let m = -2 + p. Suppose -5*u + 3*n + 115 = 0, 5*u = -n + m*n + 105. Is u a multiple of 11?
False
Let j = 52 - -224. Is 46 a factor of j?
True
Let u(b) be the second derivative of b**6/360 + b**5/20 + b**4/3 - b**3/3 - b. Let r(i) be the second derivative of u(i). Is 3 a factor of r(-6)?
False
Let x(q) = 0 - 3 + 2*q**2 - 3*q + 1. Is 16 a factor of x(5)?
False
Let s(g) = -7*g**2 + g - 9. Let d(h) = -8*h**2 + 2*h - 10. Let j(w) = 5*d(w) - 6*s(w). Let k(o) = -o**3 + o + 5. Let f be k(0). Is j(f) a multiple of 26?
False
Suppose -3*p = p + 24. Let g = p - -21. Is g a multiple of 5?
True
Let q be 2 + ((-3)/3 - 1). Suppose -158 = -3*l - 4*f, q = 2*l + 3*f - 0*f - 107. Does 12 divide l?
False
Suppose -n - 3*l - 1 = 0, -6*l + 2*l - 8 = 0. Suppose -4 + 29 = n*u. Suppose -y = 2*v - 6*y - 2, -4*v = u*y - 64. Is v a multiple of 11?
True
Let s = 72 + -26. Does 46 divide s?
True
Let s = 3 + 2. Suppose 0 = s*l - 2*l - 114. Does 10 divide l?
False
Let d(v) = 2*v**2 + 5*v + 2. Let l be d(-3). Suppose -l*a = -5*m + 70, 4*m - a - a - 46 = 0. Is 7 a factor of m?
False
Let i be ((-4 - 0) + 3)*-5. Suppose -c - 4*c = -85. Suppose q + 4*w = c, -i + 3 = 2*q - 4*w. Is q a multiple of 3?
False
Suppose 0 = i + 2*i - 228. Suppose 0 = 3*k - i - 152. Let c = k - 42. Is 17 a factor of c?
True
Let i = 8 - 11. Let k = i + 14. Is 7 a factor of k?
False
Let p be 8/(-10)*(4 - -31). Let n be (1 - (-2 + 2))*p. Let l = n - -41. Is l a multiple of 11?
False
Let p(m) = -2*m + 1. Let c(q) = q**2 + 5*q + 1. Let s be c(-2). Does 7 divide p(s)?
False
Suppose -17*d + 11*d = -84. Does 8 divide d?
False
Let k(s) = 2*s + 7. Is 15 a factor of k(4)?
True
Suppose 2*k = r + 4, 2*r - 2*k = -4*k - 2. Let a(y) be the third derivative of -y**4/24 + y**3/6 + y**2. Is 2 a factor of a(r)?
False
Suppose 4*b - 6*b + 28 = 0. Let q = -10 + b. Is 2 a factor of q?
True
Let i = 0 + 3. Suppose m - i = 4*x - 14, 12 = -4*m. Is x a multiple of 2?
True
Let s(n) = 6*n**2 - 3. Is 17 a factor of s(-3)?
True
Suppose y + 5*v = 77, -7*y + 4*v + 443 = -2*y. Is y a multiple of 25?
False
Suppose 0 = 2*q + 5 + 3. Does 5 divide q/(18/(-14) - -1)?
False
Suppose 4*o + 3*h - 71 = 0, -4*h = o - h - 29. Does 7 divide o?
True
Let c(v) = -v + 6*v - 2*v - 2. Let m be 3 - 0*(-2)/4. Does 3 divide c(m)?
False
Suppose 7 = 5*o - 13. Let m(r) = r**3 - 5*r**2 - 2*r - 2. Let p be m(o). Let i = p - -43. Does 5 divide i?
False
Suppose 3 = 3*o - 0. Let z(s) = s + 10. Let t be z(0). Is 5 a factor of (t/8)/(o/8)?
True
Let y = 149 + -101. Let p = y - 12. Does 9 divide p?
True
Suppose g = -g + 168. Is g a multiple of 19?
False
Suppose 5*h - 2*h - 102 = 0. Does 34 divide h?
True
Suppose 0*k + 372 = 12*k. Does 11 divide k?
False
Let c(y) be the second derivative of 23*y**4/6 - y**3/3 - y**2/2 - 3*y. Does 17 divide c(-1)?
False
Suppose -3*h + 5*l + 1 = -3, -3*h + 13 = 4*l. Suppose -4*s = 4, 5*o = h*o + 2*s + 12. Is o a multiple of 2?
False
Let h = 39 - 115. Let w = 106 + h. Is w a multiple of 15?
True
Suppose 332 - 137 = 3*z. Is 13 a factor of z?
True
Let c(o) = o**3 + 4*o**2 - 3*o + 2. Let p be c(-5). Let a = -1 - p. Suppose a*z - 95 = 2*z. Does 13 divide z?
False
Suppose -2*r = 4*x - 87 - 3, 3*r = -3*x + 60. Is 12 a factor of x?
False
Let l(h) = -3 + 3*h - 6 + 0 + 0*h. Let u be l(-7). Is 4 a factor of u/(-9) + (-4)/(-6)?
True
Suppose 2*y - 5*a - 37 = 0, 5*a - 27 = -y - y. Is (-63)/(-14)*y/6 a multiple of 10?
False
Suppose 0 = -2*x + 4. Suppose -4*y = x*w - 80, -4*y = -5*w - 37 - 15. Is 9 a factor of y?
True
Let b(j) = j + 68. Does 34 divide b(0)?
True
Is 14 a factor of -3 - (540/2)/(-5)?
False
Let t = 5 + -1. Let h(f) = f**3 - 3*f**2 - 4*f - 4. Let y be h(t). Is -6*(0 + 10/y) a multiple of 6?
False
Suppose 21 = -0*y + 3*y. Suppose -2*q + 8 = -2*c + 28, 3*c + q - 18 = 0. Does 9 divide 2/y + 124/c?
True
Suppose -4 = b, 7*c - 2*b - 140 = 3*c. Does 7 divide c?
False
Suppose 2*o + 5*y - 215 = -2*o, y + 5 = 0. Is o a multiple of 8?
False
Let y(t) = 2 - 6 - 15*t + 5*t. Let a be y(-5). Suppose 3*v + 4*p + p - a = 0, 2*v - 2*p = 52. Is v a multiple of 11?
True
Suppose -6 = 2*j + 2. Does 2 divide (-1)/j + 190/40?
False
Suppose -2*r - 40 = -3*r. Is 9 a factor of r?
False
Suppose 7 = 2*d + 5. Suppose -2*f = -h - 2, 5*f - 26 + d = 0. Is 6 a factor of h?
False
Let u = 2 - 5. Let r = 4 + -13. Is 16 a factor of (-273)/r - 2/u?
False
Let n be 37*(2 - 3)*-1. Suppose 4*p = -3*m + 4*m - n, 0 = -5*m - 3*p + 70. Is 10 a factor of m?
False
Suppose 4*p = 20 + 8. Does 14 divide (-4)/(-2) + 245/p?
False
Suppose -5*r + 503 = 3*m, -6*r = -m - 9*r + 161. Is 8 a factor of m?
True
Suppose -m + 5 - 2 = 0. Suppose 0 = -2*b - 4, m*z = 2*b - b + 14. Suppose 5*f = -z*g + 67, 3*f + 2*f - 69 = -3*g. Is f a multiple of 6?
False
Let l = 1 + -1. Is 3 a factor of (-3 - (l - -4))/(-1)?
False
Let u(b) = 18*b**2 + 1. Is u(1) a multiple of 11?
False
Suppose 3*k = -2*k - y + 20, 5*y = -2*k - 15. Suppose 2*n = -k*w + 44 + 19, -5*w - n = -64. Does 11 divide w?
False
Let j(q) = -q**2 - 9*q + 10. Let m be j(-8). Let i be 626/m + (-12)/(-54). Let f = -9 + i. Is 9 a factor of f?
False
Let q(n) = 17*n - 2. Let i(t) = -t + 1. Let g(s) = -4*i(s) - q(s). Suppose 2*m - y - 1 = 0, -6 = -5*m - 4*y - 36. Does 24 divide g(m)?
True
Let r = -22 + 74. Does 26 divide r?
True
Let n(b) = b**3. Let t(y) = -5*y**3 + y**2 + y + 4. Let a(l) = 6*n(l) + t(l). Let s be a(0). Let f(o) = o**2 - 3*o + 1. Is f(s) a multiple of 5?
True
Suppose -69 = -t + w + 4*w, 210 = 4*t + 2*w. Is t a multiple of 8?
False
Let w(m) = m**3 + 5*m**2 + 5*m + 4. Suppose 8*s + 16 = 4*s. Let v be w(s). Suppose 2*f + v*f - 60 = 0. Does 9 divide f?
False
Let u = -1 + 3. Let n be (u/3)/(8/948). Suppose 2*r = 2*z - 3*z + 16, 0 = 4*z + 3*r - n. Is 8 a factor of z?
False
Let k(u) = -6*u**3 + 3*u**2 - 5*u - 1. Let n be 2/(-8) + 42/8. Let p(d) = -5*d**3 + 3*d**2 - 4*d. Let a(g) = n*p(g) - 4*k(g). Is a(3) a multiple of 4?
True
Let y be 11 + 0 + (-9)/(-3). Suppose 26 = 2*m - y. Is 10 a factor of m?
True
Let q(k) be the second derivative of -k**5/20 - 7*k**4/12 - k**3/3 + 7*k**2/2 + 3*k. Let v be q(-5). Let c = v - -56. Does 10 divide c?
False
Suppose 436 = 2*n + 5*w, 0 = -n + 4*n - 3*w - 696. Is 38 a factor of n?
True
Let d(z) = 0 + 2*z**2 - 1 - 9*z - 1 + 3. Does 15 divide d(7)?
False
Suppose 3*d - 3 = 0, k - 32 = -5*d + 33. Let j = 92 - k. Is 14 a factor of j?
False
Let l(q) = -q**2 + 8*q + 2. Let o be l(8). Suppose 0 = -h - 0*j - 5*j + 11, -o*h - 2*j + 22 = 0. Is 8 a factor of h?
False
Suppose -4*s - 10 = 5*n - 135, 5*s = 0. Is n a multiple of 6?
False
Suppose -4*g = -b - 4 + 2, 5*b = -5*g + 115. Does 14 divide b?
False
Let f = -5 + 9. Suppose q + 27 = f*q. Suppose -5*d - q - 11 = 0, 3*o + 3*d - 78 = 0. Is 10 a factor of o?
True
Let z = 67 + -40. Suppose w = 4*w - z. Does 9 divide w?
True
Let b(h) = -h**2 + 2*h - 1. Let o be b(2). Let n be (24/(-16))/(o/6). Let a(i) = 7*i - 7. Does 18 divide a(n)?
False
Let z = -4 - -8. Suppose 2*f = z*l - 60, 2*f + f - 97 = -5*l. Is 12 a factor of l?
False
Let u(k) be the third derivative of -1/24*k**4 + 0*k + 0 + 1/6*k**3 + 2*k**2 + 1/30*k**5. Is 11 a factor of u(-3)?
True
Let r(u) = 2*u**2 + 22*u + 5. Is r(-15) a multiple of 26?
False
Let p be 3 - -1 - 1 - 0. Suppose 0 = -p*o + 37 + 2. Is o a multiple of 5?
False
Is 9 a factor of (-6)/(-8) - (-4221)/36?
False
Let p(h) = -h**2 + 7*h - 7. Let b be p(5). Suppose 0 = b*a + a + 2*g + 196, a = -g - 48. Let q = 85 + a. Does 18 divide q?
False
Suppose 30 = -w + 4*m + 10, 2*w + m = -85. Let y = w + 74. Does 14 divide y?
False
Let a(k) = k**3 + 1. Let c be a(1). Let g(f) = 37*f. Is 23 a factor of g(c)?
False
Let x(i) = i**2 + 7*i + 3. Let k = -6 - 2. Is x(k) a multiple of 11?
Tr