2 + -3). Is 7 a factor of (-3)/(-1)*(-9)/v?
False
Let n(b) = 24*b**2 + 2*b + 2. Is 8 a factor of n(-1)?
True
Let c be 0/(-3) + 2 - 7. Let y be (2 + c/2)*-8. Suppose -y = -o + 1. Is 5 a factor of o?
True
Suppose 6*x = 17*x - 1584. Does 10 divide x?
False
Suppose -7 + 2 = -5*q. Is (q - (-4)/(-2)) + 55 a multiple of 12?
False
Let c = 18 + 32. Does 3 divide c?
False
Let t be 2/(-9) + 8344/126. Suppose -r + 2 = -1. Suppose -t = -r*y - 0. Is y a multiple of 11?
True
Suppose 97 + 287 = 4*x. Is x a multiple of 8?
True
Let y(h) be the third derivative of h**6/120 - h**5/60 - 5*h**4/24 + 4*h**2. Does 14 divide y(4)?
True
Let o be (-3248)/(-42) - 4/(-6). Let x = o - 29. Is x a multiple of 37?
False
Let f be -2 - 6*(-6)/4. Suppose f*i = 6*i + 13. Is 5 a factor of i?
False
Suppose 208 + 56 = 4*h. Is h a multiple of 22?
True
Let i = -2 - -4. Suppose 0*f = 3*f - 99. Suppose -i*z = z - f. Is 11 a factor of z?
True
Suppose 2*u + 5*r + 21 = -u, -2*u + r = 27. Is (-29)/(-2) + (-6)/u a multiple of 4?
False
Let g = 19 + -13. Is (-77)/(-6) - (-1)/g a multiple of 9?
False
Let d(a) = 9*a**2. Is 9 a factor of d(-1)?
True
Suppose -c - 3*c - 4 = 0. Is 13 a factor of -2 + c/(3/(-84))?
True
Let s = 19 + -13. Is 2*s*6/9 a multiple of 6?
False
Suppose 510 = -5*g + 15*g. Does 11 divide g?
False
Suppose 3*r = 2*u + 5*r, 0 = 5*r + 20. Let z be (4/6)/(u/12). Suppose -4*g = -12, -2*p = z*g + g - 71. Is 13 a factor of p?
False
Let r(y) = 7*y**2 - 6. Is 13 a factor of r(5)?
True
Suppose 0 = -5*y + y + 3*k + 246, 0 = 3*y - 3*k - 186. Does 5 divide y?
True
Suppose 3*i - 4*i = 0. Suppose 5*b + 2*c = -i*c + 246, 0 = 3*b - 5*c - 129. Suppose 3*a + 2*q - 6*q - b = 0, 2*a - 4*q - 36 = 0. Is a a multiple of 5?
False
Suppose -2*i = 3 + 9. Let o(k) = -k**3 - 7*k**2 - 7*k - 5. Let f be o(i). Let n = 13 - f. Does 6 divide n?
True
Suppose 0 = i + i + 30. Let y be (i - 1)*3/(-6). Suppose 0 = 3*u - y - 52. Is u a multiple of 10?
True
Let t be 36/(-30)*(-40)/6. Let n(u) = -10*u - 1. Let p be n(-2). Let q = t + p. Is q a multiple of 10?
False
Suppose -5*g + 5*p + 290 = 0, 2*g = -0*p + 4*p + 126. Let x = g + -17. Is x a multiple of 12?
True
Let u be (-36)/2*(-77)/14. Suppose 3*j = -18 + u. Is j a multiple of 10?
False
Suppose 532 = 4*v - 8. Is 9 a factor of v?
True
Let l = 20 - 7. Let i = 21 + l. Is i a multiple of 11?
False
Let c = 22 - 1. Is 7 a factor of c?
True
Suppose 4*f = 4*p - 12, 5*p = -4*f + p - 4. Is 18 a factor of f/(-5) + (-108)/(-5)?
False
Suppose 2*c = 3*i - 21, -c = 3*i + 4*c. Suppose -i*f + 219 = 39. Is 12 a factor of f?
True
Let a be (-7)/(-14)*(2 - 0). Let j(d) = 0*d + 27*d**2 + 1 + d - 3*d. Is j(a) a multiple of 13?
True
Suppose 0*c - c = -6. Suppose n - c*n = 70. Is (-32)/n + (-4)/14 a multiple of 2?
True
Let x(v) = -8 - v**2 + 8 + 2*v. Let f be x(5). Does 14 divide 5*((-102)/f - 0)?
False
Suppose 5*j = -o + 19, -4*j + 0*o = o - 16. Suppose j*r - 87 = -v - 2*v, -v = -r + 35. Does 16 divide r?
True
Suppose -4*i + 5 = -7. Suppose 2*f - i*n - 39 = 0, 0 = -5*f + n - 5*n + 86. Is 9 a factor of f?
True
Let u(d) = -d**2 + 24*d - 27. Does 27 divide u(15)?
True
Let y(s) = -3*s**3 + s**2 - s - 2. Let h = 4 - 6. Is 12 a factor of y(h)?
False
Let c(a) = a**2 - 3*a - 4. Suppose -4*r = 5*j + 42, -3*j = -r + j - 21. Let z be r/(-2) - 5/(-10). Is 12 a factor of c(z)?
True
Is 3 a factor of 3/2*(-80)/(-12)?
False
Let u(n) = -2 - 5*n - 9*n + 4 + 3. Is 25 a factor of u(-4)?
False
Suppose 11 = 3*j - 31. Let y = j - -26. Does 13 divide y?
False
Suppose -16*q + 48 = -14*q. Is q a multiple of 24?
True
Suppose i - 39 - 12 = 0. Does 4 divide i?
False
Let a(w) be the first derivative of w**5/60 + 7*w**4/24 + 2*w**3/3 + w**2/2 - 1. Let n(j) be the second derivative of a(j). Does 15 divide n(-9)?
False
Let r = 3 + 9. Let h be r*3*(-3)/(-18). Suppose -3*t + 36 = -h. Is 14 a factor of t?
True
Is 7 a factor of (-4 - -3)/(192/196 - 1)?
True
Suppose 0 = -5*z - 23 + 63. Let j = z - -21. Does 10 divide j?
False
Let w(v) = v**3 - 4*v**2 - v - 5. Is w(5) a multiple of 4?
False
Let s = 8 - 4. Suppose j + 0*i = -i + 149, -s*i = -j + 169. Suppose -j = -4*t - 33. Is 11 a factor of t?
False
Suppose 8*j = 7*j + 4. Does 18 divide ((-202)/j)/((-16)/32)?
False
Let p be (-14)/(-63) + 104/18. Let o(l) = -l**3 + 16*l - 3. Let d(z) = 2*z**3 - z**2 - 33*z + 6. Let j(i) = p*d(i) + 13*o(i). Is j(-8) a multiple of 15?
True
Suppose -n - 4 = 2*n - 4*p, -5*n + 5*p - 10 = 0. Let u(s) = 4*s**2 + 9*s - 1. Does 9 divide u(n)?
True
Suppose 5*l - 9*l = -12. Suppose 49 = l*c - 35. Is c a multiple of 13?
False
Let t(n) = -n**3 - 5*n**2 + 4*n - 10. Does 10 divide t(-7)?
True
Suppose -5*b - 45 = -125. Is b a multiple of 8?
True
Suppose -5*l = 26 + 24. Let f be ((-10)/(-4))/((-5)/l). Suppose f*n - 2*j = 39 + 16, 2*n - 1 = 5*j. Is n a multiple of 13?
True
Suppose 0 = -5*k + 4*d - 5, -3*d + 2*d + 4 = -4*k. Does 21 divide (k - 4/(-10))*-45?
False
Let m(y) = -y + 3. Let x be m(-7). Suppose -2*l = -x + 54. Let r = -8 - l. Is 6 a factor of r?
False
Let j(b) = -4*b + 0*b - 2*b + b**2 + 4. Let c be j(5). Is 1/(-1) - (-24 - c) a multiple of 14?
False
Suppose -4*v = -5*w - 560, 0 = 4*v - 0*v - 4*w - 556. Does 9 divide v?
True
Let j(o) = 3*o**3 + o**2 + 2*o. Let a(p) = -2*p - 6. Let q be a(-4). Let w be (-3)/(q/((-8)/6)). Does 16 divide j(w)?
True
Does 5 divide 125/10 - 3 - 3/(-2)?
False
Let r(s) = -s + 2. Let o be r(0). Suppose 2*a = o*n - 34, -n = -5*n - a + 73. Does 9 divide n?
True
Let j(h) = 18*h**2 + 2*h - 1. Does 4 divide j(1)?
False
Suppose -2*i + 90 = -60. Is 15 a factor of i?
True
Let i = 58 + -30. Let f be (-187)/(-4) + (-1)/(-4). Let w = f - i. Does 19 divide w?
True
Let o(d) = 5*d - 7 - 1 - 2*d. Does 3 divide o(6)?
False
Let f = 289 + -169. Suppose -4*s = -j + 9, 3*s + 2*s - f = -5*j. Is 7 a factor of j?
True
Suppose -952 = -3*h - 11*h. Does 21 divide h?
False
Let n be (-6)/(-15) - (-9)/15. Suppose -3*z + n = -m, -2*z = 4*m - 2*m - 14. Suppose 5*j - 32 + z = 0. Is j a multiple of 3?
True
Let y be 1 + 84 + (-2 - -2). Suppose -2*l - 3*l + y = 0. Does 8 divide l?
False
Let l = -3 + 3. Suppose 4*b - 2 = s, 0*s + s - 2 = l. Suppose -b = -h + 5. Is h a multiple of 3?
True
Let d = -10 + -1. Let a(k) = -k**3 - 12*k**2 - 13*k - 4. Does 18 divide a(d)?
True
Let p = -18 + 28. Suppose 13*w = p*w + 78. Is w a multiple of 7?
False
Is 6 a factor of 4 + (-1 - (-11 + 4))?
False
Let y(p) = p + 14. Let q be y(0). Let m be (-8)/2*(-49)/q. Is 86*(m/4 - 3) a multiple of 11?
False
Let i = -16 + 8. Let j = i - -6. Is 11 + (4 + j - 1) a multiple of 9?
False
Let g(f) = f + 5 + 3*f - 6 + 4. Let w be g(-2). Is 16 a factor of ((-26)/w)/(1/5)?
False
Suppose 48 + 40 = 4*h. Let o(r) = 4*r - 3. Let k be o(2). Suppose h = 3*l - 2*z, k*l + z = -3*z. Is l a multiple of 4?
True
Let p = -3 - -3. Suppose o = 2*m + 16, o - m - 15 + 0 = p. Does 8 divide o?
False
Let w be -3 + 4 + -3 - -4. Let d(o) = -o + 1 - 5 - w. Is d(-11) a multiple of 5?
True
Suppose 2*n - 3*g - 14 = -5*g, -5*n - g + 51 = 0. Does 3 divide n?
False
Is -14*(-2)/4*13 a multiple of 5?
False
Let k(m) = m**3 + 5*m**2 - 7*m + 2. Suppose -24 = 7*b - 3*b. Is k(b) a multiple of 7?
False
Suppose -5*v - 2*w + 31 = 0, -2*v = 5*w - 0 - 4. Is (166 - 2)*v/14 a multiple of 24?
False
Suppose 0 = -4*c - t + 97, 15 = -7*t + 2*t. Let u be 24/10 + (-10)/c. Suppose u*k - 19 = 9. Is k a multiple of 7?
True
Suppose 0 = 5*h - 209 + 634. Let o = h - -160. Is o a multiple of 23?
False
Let p(g) = -2 - 2*g**3 + 2 - 4*g**2 + 4*g - 5. Is 11 a factor of p(-4)?
False
Let j(m) = m**2 - m + 1. Let z be 19/(-4) - 1/4. Let b be j(z). Suppose 3*y + 3*v = 3, 7*v - 2*v = y - b. Does 3 divide y?
True
Suppose -2 = -4*s + 2. Is s + -1*(-34 - -2) a multiple of 11?
True
Let y(a) = -a**3 + 6*a**2 - 5*a + 2. Let c(x) = -x**2 + 8*x + 4. Let s be 3/(-6) + (-17)/(-2). Let f be c(s). Is y(f) a multiple of 7?
True
Let s be (-1)/(-2) + (-21)/(-6). Suppose -3*x - 6 = -s*x. Let h(i) = i**3 - 6*i**2 + 5*i - 5. Is h(x) a multiple of 13?
False
Let f(c) be the first derivative of -c**3/3 - 7*c**2 - 9*c + 4. Is f(-8) a multiple of 13?
True
Suppose 5*g - 1 - 6 = 2*a, -g - 3*a + 15 = 0. Suppose 51 = 2*k + 3*k - 2*b, g*b = -k + 17. Is k a multiple of 3?
False
Let b be (-22)/(-8) + (-1)/(-4). Suppose b*q = 12 - 3. Suppose 0 = 2*t - q*d - 17, 0 = -2*t + d - 4*d + 35. Does 