+ 7 + (7 - 9). Let i be (-1)/f - (-74)/8. Does 10 divide i - (-1 - (3 + -2))?
False
Is 27 a factor of 81/1*13/39?
True
Suppose -41 = -l - 2*d - 2*d, -4*d - 64 = -4*l. Is 7 a factor of l?
True
Let r(n) = 2*n + 10. Let l(y) = 8*y + 39. Let h(x) = 2*l(x) - 9*r(x). Is 4 a factor of h(-10)?
True
Suppose -k + 3*g - 43 = 0, -3*k - 3*g = -0*g + 81. Suppose -2*x = x + 198. Let s = k - x. Is 20 a factor of s?
False
Does 15 divide 62 + (-2 - 1 - (-1)/1)?
True
Suppose 4*c - b - 701 = 0, 4*b = 3*c - c - 368. Does 8 divide c?
False
Let k(q) = 3*q + q**2 - 3*q - 6*q - 4. Let r be k(7). Is 18 a factor of (-340)/(-15) - 2/r?
False
Let u be 3*(4/3 - 1). Let f = u + 3. Does 2 divide f?
True
Does 11 divide (24/(-16))/(3/(-38))?
False
Suppose 2*w - 6*d = -2*d + 168, 2*w = -3*d + 168. Is w a multiple of 6?
True
Suppose 5*j = -0*j - 2*r - 12, 0 = -5*j + r - 9. Does 5 divide (-3 + 5)/(j/(-13))?
False
Let u(b) = -b**3 + 9*b**2 - 9*b - 1. Let n(z) = -z**3 + 2*z**2 + 2. Let p be n(2). Suppose -2*m - 3*v = -20, -p*m - 3*v = -v - 18. Is 19 a factor of u(m)?
False
Let r(w) = w**3 + 5*w**2 - 3*w - 5. Let l be r(-5). Let z be 4/(-3)*(-15)/l. Does 14 divide z + 13 - (2 - 1)?
True
Suppose -2*o + 7*o = 0. Suppose -j + 4 = -p, 2*p + 15 = 3*j - o*j. Is 4 a factor of j?
False
Let x = 110 - 168. Let z = x + 86. Is 11 a factor of z?
False
Let d be -2*(15/(-2))/5. Let u(t) = 4*t - d*t + 10 - 3*t. Is u(-8) a multiple of 13?
True
Let g = -83 + 118. Let r = g + -10. Is r a multiple of 25?
True
Suppose 5*q = -0*q + 10. Suppose q*w - 4 = -0. Is 2 a factor of w?
True
Let a(t) = -5*t - 3. Let j be a(-4). Suppose 1 - j = -2*v. Is 4 a factor of v?
True
Is (8/16)/(2/312) a multiple of 26?
True
Let a = 205 + -34. Is 19 a factor of a?
True
Let s be (-8)/20 - (-237)/5. Let q(b) = b - 3. Let o be q(4). Suppose -o - s = -3*k. Is k a multiple of 6?
False
Let g(i) = i**3 - 3*i**2 - 4*i + 5. Let z be g(4). Suppose z*d = 2*d + 18. Is d a multiple of 3?
True
Let y(b) be the third derivative of -b**6/120 - b**5/12 - b**4/8 + 5*b**3/6 + 4*b**2. Is y(-5) a multiple of 18?
False
Suppose 4*v = 3*f - 7, 2*f + 2 = 2*v + 8. Is 11 a factor of (-25)/(-1) - (1 + v)?
True
Let p be 5 + 3 - (1 + 2). Suppose 0 = p*d - 10, -d = z - 4*z + 31. Is z a multiple of 6?
False
Let y(k) = k**2 + k + 2. Let v = 1 + 1. Let m be y(v). Suppose 20 = 4*s + m. Is 3 a factor of s?
True
Let k = 7 + 4. Let i = 15 - k. Is 4 a factor of i?
True
Suppose 5*k - 20 = -0*k. Suppose 0 = -4*v, -4*v - 90 = -k*l + l. Is l a multiple of 7?
False
Let s = 0 - -5. Let c(z) be the second derivative of -z**5/20 + 7*z**4/12 - 2*z**3/3 - z. Is 10 a factor of c(s)?
True
Suppose 0 = -t - 0 - 2. Let a be (t/3)/(8/12). Let o = a - -31. Is o a multiple of 13?
False
Let i(s) = 3*s**2 - 10*s + 4. Let t(u) = -4*u**2 + 10*u - 4. Let j(l) = 3*i(l) + 2*t(l). Suppose -2*g = -2*x - x - 32, 0 = -g - 2*x + 2. Does 4 divide j(g)?
True
Let w be (2 + -3 + 1)/2. Suppose 3*x - 78 = -w*x. Does 11 divide x?
False
Is 4 a factor of 2/(((-6)/16)/((-126)/12))?
True
Let o(y) = -y**3 + 2. Let i be o(-2). Let n(z) = -z**2 + 11*z - 10. Let v be n(i). Suppose v = 5*k - 87 - 23. Is 11 a factor of k?
True
Let w(v) = v**3 + 10*v**2 - v + 8. Does 17 divide w(-9)?
False
Let q = 1 + -3. Suppose 3*z = z + 3*a - 13, -16 = 2*z - 4*a. Is 3 a factor of -2 + (-6)/q - z?
True
Suppose 0*h = -4*b - h + 51, 2*b - 3*h = 15. Let a = b - -13. Is a a multiple of 10?
False
Let b(w) = -w**3 + 3*w**2 - w + 1. Let o be b(2). Suppose -2 = -o*g + 10, 3*d = g + 50. Is 9 a factor of d?
True
Suppose 7*m - 2*m - 60 = 0. Is m a multiple of 8?
False
Let v = 9 + -14. Let s = -8 - v. Let u = 13 + s. Is 10 a factor of u?
True
Suppose -4*s + 9 = 3*d - 2*s, 26 = 4*d - 2*s. Suppose x + 4 = 3*z - 3, 7 = 5*x - z. Suppose w + 3*w + 12 = x*a, -d*a = -4*w - 42. Is a a multiple of 10?
True
Let q(w) be the first derivative of -w**2/2 + 4. Let c be q(-1). Is (c - -3)/((-8)/(-12)) a multiple of 3?
True
Let k(q) be the first derivative of -q + 37/2*q**2 - 3. Does 12 divide k(1)?
True
Let l(n) = n**2 + 9*n - 8. Let k be l(-10). Is 19 a factor of 67 + 2/4*k?
False
Let d be (-1)/(-2) - (-14)/4. Suppose 5*n - 7 = 3, 4*n - d = 4*c. Is 8/(-2)*(-2 + c) a multiple of 2?
True
Let f(k) = 1 + 61*k**2 + 4*k**3 - 2*k - 60*k**2 + 3*k**3 + 10*k**3. Suppose 2*y + 8 = 0, 0 = 2*c - 4*y - 18. Is 17 a factor of f(c)?
True
Let h be (-2)/(6/9*-1). Suppose -5*l = 0, -51 = -3*o + h*l - 4*l. Is 14 a factor of o?
False
Suppose -2*f - 124 + 498 = 0. Let u = -24 - -29. Suppose 5*k - u*r = -4*r + 239, 4*k = 5*r + f. Does 24 divide k?
True
Suppose 5*d - 10 = 3*d. Suppose o - 255 = -d*c, 7*o - 2*o - 183 = -4*c. Suppose c = -y + 3*y. Is y a multiple of 8?
False
Let i = 4 - 2. Suppose -4*o = -i*t - 2*t - 8, -2 = t + 4*o. Is t/(-9) - 266/(-18) a multiple of 13?
False
Let c(s) = s**2 - 8*s + 6. Let v be c(5). Let r(q) = -q**2 - 13*q - 7. Is 11 a factor of r(v)?
False
Does 37 divide -3*(10/(-9))/(8/372)?
False
Let f = 837 + -597. Is 12 a factor of f?
True
Is 19 a factor of 1 + 2 - -4*12?
False
Let o be ((-2)/8)/((-1)/28). Let n be 20/(-6) + (-2)/(-6). Does 7 divide (o/2 + n)*16?
False
Let v(n) = 6*n**2 + 18*n + 2. Let q(o) = -5*o**2 - 17*o - 3. Let f(i) = 5*q(i) + 4*v(i). Does 8 divide f(-11)?
False
Let q(l) = -l**3 + 8*l**2 - 6*l - 8. Suppose -n = -2*n + 6. Is 14 a factor of q(n)?
True
Let c(j) = -12*j - 30. Is c(-19) a multiple of 9?
True
Suppose -4 = 3*d - 2*d. Let c = d - 5. Is 6 a factor of 1/(-3)*2*c?
True
Is 29 a factor of -2 + 61 + 2/(-2)?
True
Suppose 5*f + 960 = 5*j, -3*j - 6*f + 573 = -10*f. Is j a multiple of 27?
False
Let l(p) = p**3 + 7*p**2 + 7*p + 8. Is 2 a factor of l(-6)?
True
Is 11 a factor of (2/(-8))/((-8)/352)?
True
Suppose -8*r - 4*d + 200 = -6*r, d = 4*r - 418. Is r a multiple of 10?
False
Suppose 0 = r, 0 = 4*x - 3*x - 5*r - 120. Does 30 divide x?
True
Is 8 a factor of 19 + 1/(-2)*-6?
False
Let v = -12 + 32. Is 4 a factor of v?
True
Suppose -24 = 3*l + l. Does 8 divide (l/(-15))/((-1)/(-20))?
True
Let i(s) be the second derivative of -s**6/360 + 3*s**5/40 - s**4/12 - s**3/6 + 3*s. Let w(a) be the second derivative of i(a). Does 5 divide w(7)?
False
Let a(r) = -5*r**2 + 4*r - 2. Let l be a(5). Let x = 154 + l. Does 29 divide x?
False
Let f be -1 + 5 - (0 + -1). Suppose f*i - 99 = -0*q + 2*q, -80 = -4*i + 2*q. Is i a multiple of 7?
False
Let s(a) = 2*a**2 - 6*a + 5. Is s(5) a multiple of 6?
False
Let f = -105 + 213. Does 27 divide f?
True
Suppose -q = 2, 3*m = 5*q - q + 206. Is 27 a factor of m?
False
Let t = -5 + 6. Is 13 a factor of ((-1)/3)/(t/(-99))?
False
Suppose 3*k + 70 = -4*a + 477, -3*a - k + 309 = 0. Is a a multiple of 6?
False
Suppose 5*i - 4*u + u = 21, -4*u + 1 = 3*i. Suppose i*a - 56 = 5*a. Is (a/(-10))/((-1)/(-5)) a multiple of 14?
True
Is (104 - -1) + (6 - 1 - 2) a multiple of 36?
True
Suppose -6 = -2*v + 2. Suppose v*i = -0*i + 152. Suppose 8 = -2*p - 2*o + i, 0 = p - o - 7. Is 11 a factor of p?
True
Is 11 a factor of 52 + 2 + -2 + 1?
False
Suppose 120 = v + v. Is v a multiple of 15?
True
Let s be -6*(9/3)/(-3). Suppose -2*c + 77 = s*n - n, -3*c + 110 = 2*n. Is 18 a factor of c?
True
Let x(q) = 3 - 3*q**2 - 9*q + 11 + 2*q**2. Is x(-10) a multiple of 4?
True
Suppose 0 = -3*b - 3*c + 3, 7*b = 2*b + 4*c + 50. Let j(r) = 11*r - 14. Let p(m) = -5*m + 7. Let l(v) = 6*j(v) + 13*p(v). Does 5 divide l(b)?
False
Suppose -2*l - 2*l = -20. Let t = -11 + 15. Suppose k - l - t = 0. Is k a multiple of 9?
True
Let u(a) be the third derivative of -a**6/120 + a**5/12 + a**4/24 + a**3/3 + 4*a**2. Is u(3) a multiple of 6?
False
Suppose -17 = -5*r - 2. Let a be (-24)/(-6) + -1 + r. Does 3 divide 5/((-15)/6) + a?
False
Is 26 a factor of 19/((-16)/48*2/(-6))?
False
Let i(v) be the second derivative of 0 + 0*v**2 - v - 2/3*v**3. Does 8 divide i(-2)?
True
Is 8/(-20) + (-1026)/(-15) a multiple of 6?
False
Suppose 0 = 5*p + v - 2704, p + 5*v - 1100 = -p. Suppose 2*i - p = 3*u, -3*i - 6*u = -2*u - 776. Suppose -4*m - 60 = -o, -m = -5*o + m + i. Is 22 a factor of o?
False
Let l = 15 + -25. Let n = l + 53. Is n a multiple of 15?
False
Let g = 47 - 42. Does 3 divide g?
False
Let z(b) = 4*b - 20. Is z(12) a multiple of 7?
True
Suppose 7*o = 2*o - 10. Let d = 3 - o. Is 4 a factor of d?
False
Suppose 14 = 2*v - 4. Suppose -5*i + v = -6. Suppose i*b - 99 = -0