f**2 - 11*f - 11. Let l be v(11). Let u(k) = -k**2 - 11*k + 15. Is u(l) a multiple of 8?
False
Let h(b) be the third derivative of b**6/120 - 7*b**5/20 + 5*b**4/6 + 9*b**3/2 + 3*b**2. Does 9 divide h(20)?
True
Let w = 1231 - 871. Does 24 divide w?
True
Suppose -v + 3*x = -1254, 5*v + 7*x = 6*x + 6334. Is 13 a factor of v?
False
Let l(n) = 5*n - n - 3*n + 20 - 2*n. Is l(13) a multiple of 5?
False
Let l = -429 - -659. Suppose 4*h = -5*x + 366, -2*h - 3*h + l = 3*x. Is 4 a factor of x?
False
Let n(c) be the first derivative of c**3/3 + 9*c**2/2 - 5*c + 5. Does 3 divide n(-11)?
False
Let r(j) = -j**2 + 26*j + 76. Is r(19) a multiple of 3?
False
Let o(f) = 2*f. Let y be o(0). Let i(s) = 0*s + s**2 - 1 + y*s - 3 - 9*s. Does 2 divide i(10)?
True
Suppose 0 = 7*g - 9*g + 102. Is 3 a factor of g?
True
Let w = -42 - -26. Let d = w + 48. Does 8 divide d?
True
Let k(i) = -i**2 + 18*i - 4. Let z be k(18). Suppose -7*f - 2*s = -2*f - 75, 0 = -4*f - s + 57. Let o = z + f. Is 9 a factor of o?
True
Suppose -3*d + 0*q = -q - 53, 94 = 5*d + 4*q. Suppose -2*c = -5*s - 23, 0 = -7*c + 4*c + 4*s + 38. Suppose -d*b + c*b = -112. Is b a multiple of 6?
False
Let x = -79 + 4. Let k = -244 + 386. Let u = x + k. Is 16 a factor of u?
False
Suppose 5*c + 10 = -f, -3*f = -6*f - 2*c + 35. Suppose -5*d + f = -m, -5*d + 6*m = 4*m - 20. Is 13 a factor of (-6)/(-12)*(28 + d)?
False
Let d(s) = -s**3 - 2*s**2 + 6*s + 10. Suppose 2*r + 3 = 4*j - 3, -5*r + 4*j - 21 = 0. Does 11 divide d(r)?
True
Is 4 - (6 - (1 - -13)) a multiple of 4?
True
Suppose -5*y + 480 = 5*b, -6*b = 4*y - b - 384. Is y a multiple of 6?
True
Is ((-766804)/(-159))/((-4)/(-3)) a multiple of 20?
False
Let x(j) = 3*j**2 + 5*j + 10. Let w be x(-3). Suppose 3*t = 5*t - 2*r - 8, 3*t - w = r. Is t a multiple of 2?
False
Suppose -37*c + 47652 = 12132. Is 12 a factor of c?
True
Let k(s) = 11*s**2 + 16*s - 119. Is k(12) a multiple of 5?
False
Let q(r) = -r**3 - 5*r**2 - 4*r - 13. Let s be q(-10). Suppose -703 = -6*b + s. Is b a multiple of 23?
False
Let c(m) = m**2 - 4*m + 4. Let x be c(2). Let n = 4 - x. Suppose n*s = -5*d + 47 + 74, 4*d + 100 = 5*s. Does 10 divide s?
False
Let w(d) = -d**2 - d - 4. Let r be w(3). Is 58 + 7/(28/r) a multiple of 9?
True
Let l = -57 + -483. Is l/9*((-12)/10)/3 a multiple of 24?
True
Let f(h) = -h**3 + 7*h**2 - 3*h - 13. Let c be f(7). Is 32 a factor of (-26)/(-221) - 1152/c?
False
Let p be -18*-57*(-1)/6. Let j = -95 - p. Is j a multiple of 10?
False
Let x(t) = -3*t + 81. Is 25 a factor of x(-16)?
False
Suppose 4 = 5*z - 6. Suppose -2*p = 2*h + z, -5*p + 2 = -4*h - 29. Suppose 236 = p*o - 0*o - y, -o = 5*y - 68. Is o a multiple of 26?
True
Let q(f) = -f**3 + 26*f**2 + 10*f + 221. Is q(25) a multiple of 18?
False
Let v = 544 + -389. Is 36 a factor of v?
False
Let c = 56 - 56. Suppose c = 9*b + 2*b - 1111. Does 15 divide b?
False
Let g = -17 - -19. Suppose 0 = g*p + 4*p. Let z(o) = o**3 - o**2 + o + 80. Is 40 a factor of z(p)?
True
Let y(j) = 25*j + 0*j**3 + j**3 + 35*j**2 - 9 - 6*j - 13*j**2. Is y(-21) a multiple of 3?
True
Let o = -7 - -10. Suppose o*h + 8 = -h. Is (h - (-37 + 0)) + 3 a multiple of 10?
False
Let h be (-604)/4*(-5 + 4). Suppose 2*a - h = -u + 123, 0 = -2*u - 5*a + 545. Let c = u + -184. Is 11 a factor of c?
False
Is (639/142)/((-6)/(-1976)) a multiple of 13?
True
Suppose -14*m = -904 - 1252. Is 11 a factor of m?
True
Let o = 764 + -667. Is o a multiple of 4?
False
Let f(x) = -8*x - 8. Let u be f(3). Let p = 128 + u. Does 16 divide p?
True
Let f be (6/4)/((-1)/((-80)/6)). Let m = f + 10. Does 6 divide m?
True
Let x = -2 + 5. Suppose -x*y - i = -236, 0 = -2*y - 0*i - 4*i + 144. Does 20 divide y?
True
Let g be 60/14 + (-2)/7. Let k = 0 - -5. Suppose -98 = -7*c + g*c - 5*x, -k*x + 129 = 4*c. Is 14 a factor of c?
False
Suppose -3*q + 3*s = 5*s - 2882, 2*s = 8. Does 10 divide q?
False
Suppose 2*r - 5*r + 6 = 0. Suppose r*w + 3*w = 115. Let q = -9 + w. Does 7 divide q?
True
Does 6 divide (-1115)/1*(-24)/60?
False
Suppose 3*v - 875 = 2*f + 1047, -2*v + 4*f = -1284. Suppose -4*r - v = -12*r. Is r a multiple of 16?
True
Let t = 3460 - 2673. Does 5 divide t?
False
Suppose -2*r + 2099 = -9*v + 8*v, 0 = 3*r - 5*v - 3145. Is 7 a factor of 2/(-4) - r/(-12)?
False
Let j be 42/(-70)*(-15)/3. Suppose j*k + 1098 = 9*k. Is k a multiple of 61?
True
Let j be (2/(-2) - 0)*-31. Let g = j + 0. Is g a multiple of 7?
False
Suppose q + 4*g + 136 - 890 = 0, 2*q - 1508 = -5*g. Is q a multiple of 9?
False
Let l = -16 + 31. Let f be l + 2 + 6/2. Let x = 33 - f. Is 4 a factor of x?
False
Suppose -9*f - 1712 = -7*f. Does 14 divide 4/(-5) - f/20?
True
Suppose 0 = 25*d + 7686 - 40761. Does 27 divide d?
True
Let x(r) be the third derivative of -11*r**4/24 + 2*r**3/3 + 30*r**2. Does 14 divide x(-6)?
True
Let v(f) = 12*f**2 + 7*f - 17. Is 27 a factor of v(11)?
True
Let g(k) = k**3 - 4*k**2 - 2*k. Let c be g(4). Let w = c + 11. Does 10 divide 1*(-3)/w*-16?
False
Suppose 7*q - 331 = 467. Is q a multiple of 6?
True
Let c(r) = 30*r - 5. Let z be c(7). Suppose 5*l = -3*m + z, -3*m + m + 34 = l. Let w = -18 + l. Does 13 divide w?
True
Let s(p) = 12*p - 36. Let m be s(8). Suppose -11*k + 467 = m. Does 14 divide k?
False
Let l = 5 - 3. Let f(q) = 3*q. Let r be f(l). Let x = r + -1. Is 3 a factor of x?
False
Is 13 a factor of (-2247)/(-3) - (1 + 2 - 2)?
False
Suppose 8*s - 7550 = 6*s - 5*f, 2*s - 7554 = -3*f. Is s a multiple of 21?
True
Suppose p + 3 = 0, -p - p - 204 = -3*f. Suppose 2*t - 46 = f. Does 14 divide t?
True
Suppose 3*t - 5*t - 114 = -5*k, -4*k + t + 93 = 0. Suppose 0 = k*h - 23*h - 14. Is h a multiple of 3?
False
Let o(k) = 137*k + 44. Is 27 a factor of o(5)?
True
Suppose 6*j = 52 - 16. Suppose 3*c = -u + 9, c - 3*u = -c + j. Is 3 a factor of c?
True
Suppose -206 = 14*p - 3328. Is p a multiple of 2?
False
Let y(q) = -q**2 - q + 2. Let v be y(-2). Suppose w - 3*w + 2*i + 22 = v, -3*i - 19 = -w. Is 4 a factor of 42/w - (-2 - -1)?
False
Suppose -4*k = 5*a + 31, k = 5*k - 2*a + 38. Let x(i) = -14*i - 6. Is 10 a factor of x(k)?
True
Let n(v) = 2*v - 124. Let g be n(0). Let r = g + 248. Is 7 a factor of r?
False
Let p(u) = 694*u**2 + 7*u - 5. Is p(1) a multiple of 24?
True
Suppose 3*o + 2*q = 3833, q = 4*o - 5221 + 125. Is o a multiple of 85?
True
Let f(l) be the second derivative of -9*l - l**3 - 1/10*l**5 - 1/2*l**4 + 0 + 1/2*l**2. Is f(-4) a multiple of 13?
False
Let w(r) = -r**3 + 6*r**2 + 3*r + 23. Let v = 23 + -17. Is 41 a factor of w(v)?
True
Let u(q) = q**3 + 2*q**2 + 2*q. Is u(7) a multiple of 35?
True
Is 16 a factor of (-336)/(-9)*18/7?
True
Suppose -580 = 3*x - 67. Let m = x + 248. Does 16 divide m - (-1)/((-1)/(-3))?
True
Suppose 912 = 34*m - 30*m. Does 15 divide m?
False
Let h(l) = 0 + 15*l + 2 - 9*l. Let t be h(3). Let r = -8 + t. Is 12 a factor of r?
True
Let g(m) = 4*m**2 - 2*m. Let p be g(-3). Let o = 73 - p. Suppose 3*l - o = d, l = d - 0*d + 9. Is l a multiple of 11?
True
Suppose 0 = 2*o - 4, -2*q - o = 3*o - 8. Suppose -14 = 3*n - 5*t, 9 = 4*t - 7. Suppose -n*g + 3 + 1 = q, 3*f + 3*g = 45. Does 9 divide f?
False
Suppose 2*l - 17 = -7. Let x(h) = -1. Let k(o) = 15*o - 4. Let c(a) = l*x(a) - k(a). Is 14 a factor of c(-1)?
True
Let y = -5 + 7. Is (568/(-6))/(2/(-3)) - y a multiple of 10?
True
Suppose -5*x + 18*q = 15*q - 4625, -2*q = 5*x - 4650. Is 16 a factor of x?
True
Suppose 0*z + 5*f + 35 = 2*z, -3*z - 2*f = -5. Suppose l = -z + 50. Does 9 divide l?
True
Let y(p) = -6*p - 151. Is 5 a factor of y(-26)?
True
Let o(c) = -13 - 24 + 30 - 22*c. Does 27 divide o(-4)?
True
Suppose 0 = 49*v - 33*v - 4640. Is 33 a factor of v?
False
Suppose -107*o + 110*o = 1620. Is 15 a factor of o?
True
Let n be (13 + -1)*(-18)/12. Let b = n - -23. Suppose -2*u - 239 = -b*a, -143 = -3*a - 2*u + 3*u. Is a a multiple of 18?
False
Suppose 5*n - 1 = 4*z - 0*z, -2*z - 5*n = 23. Let i(l) = 2*l**2 + l + 3. Does 6 divide i(z)?
False
Suppose 0 = 12*q - 2578 - 8834. Is q a multiple of 12?
False
Let w be 10/(-45) - 762/(-27). Let y be 7/(w/32) - 4. Suppose -8*c + y*c = 16, -2*c = -4*b + 200. Is b a multiple of 12?
True
Suppose -26*c = -30*c + 24. Suppose c*a + 182 = 7*a. Does 14 divide a?
True
Suppose 570*v - 555*v = 31125. Is v a multiple of 25?
True
Let c(z) = 5*z - 7. Let a be c(3). Suppose -o - 2*x + 0*x = -139, -5*x = -