 = -0*l + l - r. Is 8 a factor of l?
True
Let b = 31 + 7. Is b a multiple of 19?
True
Let a be 1/5 + (-78)/(-10). Let w be 2/(-6) - a/3. Is 16 a factor of 92/3 - (-2)/w?
False
Suppose 3*d - n - 4*n - 100 = 0, 0 = 4*d + 5*n - 110. Is d a multiple of 15?
True
Let t be 6*((-2)/(-4) - 1). Let r = t + 7. Suppose -3*w = -r*a + 25, w + 15 = a + a. Is 10 a factor of a?
True
Suppose -k = 5*v + 4*k - 190, v = -3*k + 42. Suppose 0 = -6*c + 3*c - 3*h + v, 5*h = 10. Is c a multiple of 10?
True
Let k(w) be the third derivative of -w**4/24 + 7*w**3/3 + w**2. Is k(8) a multiple of 3?
True
Let k(o) = 2*o - 4. Let y = 1 + -9. Let r be k(y). Let c = r - -36. Is c a multiple of 16?
True
Let v(j) = 3*j**2 + 4*j - 9. Is v(-6) a multiple of 15?
True
Let m(b) = -10*b**2 + b. Let n be m(-1). Let j(h) = -3*h - 16. Is 16 a factor of j(n)?
False
Suppose -5*h + 1120 = 3*h. Is 20 a factor of h?
True
Suppose -4*p + 89 = -11. Does 5 divide p?
True
Suppose -4*a - 2*d = -42, a - 39 = -a + 5*d. Suppose 144 = 4*s - a. Is 7 a factor of -2*-1*s/6?
False
Let f(d) = 2*d**2 - 10*d - 2. Let x(z) = 7*z. Suppose 0 = c + 3*c - 5*s - 9, -3*c - 4*s - 1 = 0. Let u be x(c). Is 13 a factor of f(u)?
True
Let o = 32 + -27. Let j = o + 10. Is j a multiple of 3?
True
Let r(u) = 8*u**3 + 3*u**2 + 2. Let h(k) = 17*k**3 + 7*k**2 + k + 4. Let v(l) = -2*h(l) + 5*r(l). Does 11 divide v(2)?
False
Suppose 2*m = q + 68, 2*q + 0*q - 95 = -3*m. Is 5 a factor of m?
False
Let x = -159 + 386. Does 12 divide x?
False
Suppose 2*v - s - 8 = -3*s, 0 = -4*v + 3*s + 16. Let t be ((-2)/v)/(1/4). Is 11 a factor of 2/4 - 43/t?
True
Suppose 78*j = 79*j - 13. Does 8 divide j?
False
Suppose k - 5*k - 8 = 0. Let m = k - -7. Is m even?
False
Suppose -3*y - 3*t = -63, 0 = -5*y + t + 3*t + 132. Does 11 divide y?
False
Suppose t + 351 = 4*t. Does 13 divide t?
True
Suppose -2*f + 54 = -4*o, o - 17 - 36 = -3*f. Is 2 a factor of f?
False
Let s(o) = -2*o**3 + 5*o**2 + 2*o - 4. Let b be s(4). Suppose 0 = i - 4*i - 90. Let k = i - b. Is 7 a factor of k?
True
Let q(o) = o**2 - 5*o - 2. Let k be q(4). Suppose 0 = n + 5 + 76. Does 14 divide n/k - (-2)/4?
True
Suppose -2 = a + 3*d, 2*d - 9 = -d. Let x = a - -19. Is x a multiple of 4?
True
Let z(u) = -u + 99. Let w(m) = m**2 + 6*m - 7. Let p be w(-7). Let t be z(p). Let s = t + -71. Is 14 a factor of s?
True
Is 11 a factor of ((-3)/2)/((-6)/756)?
False
Let x be 1 - ((0 - -1) + 3). Let m be ((-18)/x)/3 + 28. Suppose 0*h - m = -5*h. Does 6 divide h?
True
Let a = 140 + 10. Is a a multiple of 10?
True
Suppose -2*q + 116 = 2*d, d + 3*q = q + 56. Is 12 a factor of d?
True
Suppose 2*x - 4 = -0*x. Let j(g) = -g**3 + 3*g**2 - 3*g. Let z be j(x). Is -20*(3 - (-8)/z) a multiple of 10?
True
Let o(k) = -7 - 3*k**2 + 0*k**2 - 8*k + k**3 + 8*k**2. Let i be o(-6). Is 45/i - 2/(-1) a multiple of 7?
False
Suppose 2*f - 5*z = 4 + 4, -f = 5*z - 19. Let g(l) = l**3 - 7*l**2 + 6*l + 5. Let x be g(6). Let u = f + x. Does 14 divide u?
True
Suppose 410 - 58 = 2*j. Suppose r + j = 5*r. Suppose 5*l - 41 - r = 0. Is 17 a factor of l?
True
Suppose 4*o + 3*o = 595. Does 22 divide o?
False
Suppose 5*l - 7*u - 32 = -3*u, 5*l + 3*u - 11 = 0. Let p(z) = 3*z - 4*z - l + 9*z. Is 18 a factor of p(5)?
True
Let u = 90 + -39. Is 19 a factor of u?
False
Let r = -31 - -49. Does 5 divide r?
False
Let d = 1 + -1. Let f = 26 - -10. Does 12 divide 7*(f/21 - d)?
True
Suppose 5 = 5*k - 20. Suppose -n = -k*n. Suppose -2*u = 5*b - 58 - 11, n = 2*u - 4. Is b a multiple of 11?
False
Let m(h) = h + 1. Let v(a) = a**2 + 3*a + 12. Let p(l) = -6*m(l) + v(l). Does 8 divide p(6)?
True
Let b be 3/(6/4) - -263. Suppose -5*r + 0*g = -g - b, 0 = 2*g. Is 14 a factor of r?
False
Let v(f) = 6*f + 81. Is 43 a factor of v(33)?
False
Let y(b) = b**2 - 18*b + 66. Does 9 divide y(19)?
False
Suppose 0*w + 3*w = 0. Suppose -x = -2*v + 44, -5*v + 2*x + 101 + 10 = w. Is 21 a factor of v?
False
Suppose 0 = -5*a - 251 + 1046. Is 16 a factor of a?
False
Let g = -191 - 106. Is 3/12 + g/(-12) a multiple of 8?
False
Let q = -21 - 21. Let t = q + 64. Let g = -13 + t. Is 8 a factor of g?
False
Let f be (-2)/8 + (-411)/(-12). Let j = f - 11. Suppose -n + j = o, -3*n + 6*n = -o + 17. Is o a multiple of 13?
True
Let z = -18 - -74. Does 14 divide z?
True
Let y(n) = 3*n**3 - 2*n**2 - 3*n + 2. Let h be y(2). Suppose 2 = 2*s - z, -s = 9*z - 4*z - h. Suppose 2*u + s*l + 1 = 5, -33 = -4*u + l. Does 5 divide u?
False
Let v be ((-1)/(-2))/((-1)/22). Let k = v + 16. Suppose x + 0*y - 2*y - 25 = 0, y = k*x - 125. Is 24 a factor of x?
False
Suppose -3*z = -6, z - 1 = 2*t + 1. Let q = t + 8. Is q a multiple of 4?
True
Let p(h) = -h**2 - 10*h - 9. Let l be p(-9). Let v = l - -8. Is v a multiple of 5?
False
Let d(g) = -g**2 - 5*g + 3. Let a be d(-5). Suppose m - 5 = -a. Is ((-4)/1)/((-1)/m) a multiple of 4?
True
Let n(u) = -62*u**2 + 2*u. Let m be n(2). Let g be m/6*(3 - 6). Suppose -38 + g = 4*w - v, -2*w = -4*v - 56. Does 10 divide w?
True
Let s = 8 - 2. Let q be (2 - 1)*-2 - s. Let u = -3 - q. Does 2 divide u?
False
Suppose -9*z = -8*z - 95. Does 22 divide z?
False
Suppose -3*j + 22 = -8. Does 10 divide j?
True
Suppose -2*g = -2*k + 154, -4*k - 5*g = -42 - 221. Is 24 a factor of k?
True
Suppose n = -d - 7, -4*d + 3 - 23 = 0. Let y be ((-16)/20)/(n/5). Is 10 a factor of -3*(70/(-6) + y)?
False
Let v = -1 + 8. Let o = 10 + v. Is o a multiple of 8?
False
Let m = 11 - 15. Let a be m*((-87)/(-6) - -2). Let d = -34 - a. Is 16 a factor of d?
True
Suppose -203 = -o - o + 3*d, 3*o - 330 = -4*d. Is o a multiple of 24?
False
Let t(s) = 9*s + 3. Is 10 a factor of t(3)?
True
Suppose -3*x + 355 = 5*g + 2*x, -5*x = 4*g - 287. Let q = -42 + g. Is 7 a factor of q?
False
Let m(p) = 0*p + 6*p + 3*p**3 - 6*p**2 - 11 + 3*p. Let k(s) = -s**3 + 2*s**2 - 3*s + 4. Let l(u) = 8*k(u) + 3*m(u). Does 5 divide l(2)?
True
Suppose -f + 0*g + 86 = g, 4*g + 20 = 0. Is 12 a factor of f?
False
Let g = 7 + -5. Suppose -3*w = 2*a - w - g, -3*w = 2*a. Does 2 divide a?
False
Let m(o) = o**3 + 11*o**2 + o + 16. Let u be m(-11). Suppose -35 = -5*f - u*z - 0, 2*f - z - 11 = 0. Does 5 divide (10*(-3)/f)/(-1)?
True
Suppose 1 = -3*n - 2*d + 50, -3*n - 3*d = -48. Does 7 divide n?
False
Let z be (-4)/18 - 20/(-9). Suppose b = z*b + 4, -3*f + 2*b = -8. Let g(c) = c**3 + c**2 - c + 8. Is 8 a factor of g(f)?
True
Let z = 3 + -2. Let d be (1 + 2)*z/1. Suppose 18 = d*g - 6. Does 8 divide g?
True
Let w = 53 - 11. Suppose -4*m - 2*j = -0*j + 10, 2*j = 5*m - 10. Suppose m = c + 4*b + b - w, c + b = 42. Is 21 a factor of c?
True
Suppose -h - 2*v + 4 = 0, 5*h - 6 - 26 = -4*v. Let b(y) = y**2 - 6*y - 1. Does 6 divide b(h)?
False
Let t(c) = -c**3 - 10*c**2 + 10. Is 5 a factor of t(-11)?
False
Let n = -33 + 75. Does 14 divide n?
True
Let t = 3 - 13. Is t/(-15) - 32/(-6) a multiple of 6?
True
Suppose -22 = -3*h + 26. Let u = -10 + h. Is u a multiple of 2?
True
Suppose 0 = -2*w - 0*w + 6. Is -2 - w/(-3) - -5 a multiple of 3?
False
Let m be (-4 - (-2 + 0)) + 27. Suppose -3*y + 86 = -m. Does 12 divide y?
False
Let j(s) = -s**2 + s + 14. Let d be 0*(5 + -1)/(-8). Does 5 divide j(d)?
False
Let w be 4*(-1 - (-108)/(-16)). Is 16 a factor of w/(-2)*(4 - 2)?
False
Let o = 1412 - 896. Is 19 a factor of 1/(o/171 + -3)?
True
Let f(y) be the second derivative of 1/20*y**5 - 1/2*y**4 - 3*y**2 - 3*y + 0 + 1/3*y**3. Does 6 divide f(6)?
True
Let o(z) = 5*z + z**2 - z - 3 - 5. Let v be (18/8)/((-3)/8). Does 4 divide o(v)?
True
Suppose -274 = 7*s - 862. Is s a multiple of 12?
True
Let l be 0/((0 + -1)/(-1)). Suppose l = -2*c - 0*c - 2*r + 54, 5*r + 57 = c. Is c a multiple of 16?
True
Let u(b) be the first derivative of b**3/3 - 2*b**2 + 4*b - 3. Let r be u(3). Is 16 a factor of r - (-17*2 - -3)?
True
Let m(x) be the second derivative of x**5/20 - x**4/12 - x**3/6 + 13*x**2/2 - x. Does 4 divide m(0)?
False
Let f be (-11466)/(-162) + 2/9. Let t = -36 + f. Is 5 a factor of t?
True
Let d be 9/1 - (-1 - 0). Let l be (-1)/5 + 2/d. Suppose 4*r + 2*m - 40 = l, -3 = -m + 1. Is 8 a factor of r?
True
Suppose -f + 3*f - 318 = 0. Is 15 a factor of 1*f/(2 - -1)?
False
Suppose -11*i + 12*i - 31 = 0. Does 13 divide i?
False
Let j(t) = 0*t**2 + 2*t**2 + 6 - 7 - t**3. Let p(b) = -b + 4. Let g be p(6). Is j(g) a multiple of 9?
False
Let v(k) = 11*k**3 - 13*k**2 + 17*k - 16. 