le of 8?
False
Let o(k) = -k**3 - k**2 - 2*k - 5. Let w be o(-5). Suppose 120 + w = 3*b. Is 21 a factor of b?
False
Suppose 0 = 3*j + 2*j - 20. Let x(p) = -p**2 + 4*p - 5. Let r be x(j). Let z(s) = -s**3 - 5*s**2 - 2*s - 5. Is z(r) a multiple of 2?
False
Let x(s) = 5*s**2 + 2*s + 5. Let l be x(-5). Suppose -2*z - 3*z = -l. Is 12 a factor of z?
True
Let o(c) = -c**2 + 7*c - 6. Let x be o(5). Suppose -96 = f - x*f. Is f a multiple of 15?
False
Suppose -445 + 77 = 4*h. Let j = -59 - h. Is j a multiple of 11?
True
Let i(b) = 2*b**2 + b + 3. Let w be i(-4). Suppose -2*x + 5*l = 52, -4*l = -x + l - w. Let f = 20 - x. Does 14 divide f?
False
Suppose 0 = -3*c - 3*s + 492, -22 = 5*s - 2. Is c a multiple of 7?
True
Suppose 25 = -2*d + 5. Let q be d/(-25) + (-18)/(-5). Suppose -q*v - 20 = 0, x + 2*v = -x + 24. Is 12 a factor of x?
False
Let t(q) = 7*q - 2. Let r be t(1). Does 14 divide 27 - (1 - (-3 + r))?
True
Suppose 0*j + 2 = j. Suppose 328 = 4*s + 4*i, 0 = 2*s - 2*i - i - 149. Suppose u + 2*h - 22 = 0, -j*h - 3 = 4*u - s. Is u a multiple of 10?
False
Suppose -2 = 2*u + 2. Let q = u - -30. Is 13 a factor of q?
False
Is 6/8*(14 + -6) a multiple of 4?
False
Suppose 13*o - 20 = 8*o. Is o a multiple of 3?
False
Suppose -11 = 2*y - 37. Does 13 divide y?
True
Is (-64)/(-2) - (5 - (3 + 3)) a multiple of 6?
False
Suppose 6*m + 35 = 179. Is 8 a factor of m?
True
Let y(n) = 4*n**2 - 3*n. Let h be y(2). Suppose 0 = -0*g - 5*g - h. Let u = 22 - g. Is 10 a factor of u?
False
Suppose 0 = -3*t + 2 + 1. Let i(r) = -19*r**2 - r - 4. Let l(c) = -37*c**2 - c - 7. Let q(a) = 5*i(a) - 3*l(a). Is 15 a factor of q(t)?
True
Suppose -3*z + 8 = -1. Is z a multiple of 3?
True
Suppose -2*q + 4*w = -0*q - 108, 0 = -w - 1. Is 19 a factor of q?
False
Let v(k) = 3*k - 11. Does 12 divide v(16)?
False
Let r = -5 + 7. Suppose r*c + c = 3, 2*z - 2*c + 108 = 0. Let f = -29 - z. Is f a multiple of 15?
False
Let d(k) = 10*k**2. Let y be d(2). Let c be (-10)/(-3) - (-3)/(-9). Does 13 divide -2 + c + -2 + y?
True
Let c = 1 - -19. Suppose -4*n + 2*h = -3*h - 40, 0 = -5*h + c. Does 6 divide n?
False
Let x = -113 + 206. Let z(m) = 44*m**2 - 2*m + 1. Let c be z(1). Let r = x - c. Is r a multiple of 22?
False
Let n(a) = a**3 + 8*a**2 + 2*a + 1. Let v be -4 - (3 + -1 - -1). Does 12 divide n(v)?
True
Suppose 2*y = 5*k + 186, -y - 4*y + 2*k + 507 = 0. Does 34 divide y?
False
Let x be -1 + 3 + 39*2. Suppose 0 = 2*u + 4*d - 3*d - x, 5*u = -3*d + 200. Is u a multiple of 20?
True
Suppose -7 = -2*q + 1. Suppose q*c - 2*f + 4*f = 162, -c - f + 41 = 0. Does 10 divide c?
True
Suppose -w + 104 = 4*s, -4*s + 3*w + 14 = -74. Is 7 a factor of s?
False
Suppose u = -3*p, -2*p + 4*u = 3*p. Does 4 divide (1 - -8)/(1 - p)?
False
Let m be (-1)/2*(0 + -6). Is 7 a factor of (m - (-40)/(-12))*-30?
False
Suppose 0 = -2*w - 3*w. Is -5 - -12 - w/1 a multiple of 7?
True
Let y(k) = k**2 + 3*k + 3. Let f be y(-3). Suppose 66 = f*z - 90. Is z a multiple of 13?
True
Let p(q) = 23*q - 13. Does 39 divide p(6)?
False
Let p = 32 - 16. Let f be 9/(-2)*p/(-24). Suppose -3*u = -d - 71, -4*d - 11 = f*u - 87. Does 24 divide u?
True
Let s = 28 - 9. Let m = s + 1. Is m a multiple of 6?
False
Let d = 254 + -110. Does 26 divide d?
False
Let x be -3 - (3 + -12*4). Let a(o) = o**2 - 5*o - 2. Let z be a(-8). Suppose z = 4*j + 3*q, j + j - 3*q - x = 0. Is 12 a factor of j?
True
Let w = -3 + 21. Is 8 a factor of (w/(-12))/((-1)/14)?
False
Suppose 0 = -w - 4*y + 80, 0 = -3*w + 2*y + 174 + 80. Is 12 a factor of w?
True
Suppose 0 = 2*w - 5*w + 6. Suppose -4*y = -5*f - 2, -4*f + y + 2 - 8 = 0. Is w*3/f + 14 a multiple of 10?
False
Let a = 101 + -78. Does 4 divide a?
False
Suppose 0 = -h + 12 + 52. Let i be (0 + -2 - -2) + -36. Let q = i + h. Does 14 divide q?
True
Let j(f) = f - 4. Let q be j(4). Let v = q + 7. Is 7 a factor of v?
True
Suppose 3*j + 781 = 5*k, -4*k - 5*j + 455 = -k. Suppose -2*z + 6*z - 16 = 0, k = 5*c + 5*z. Is c a multiple of 7?
False
Let u be 2 + 0 + 1 + -4. Let i(t) = -11*t**3 + 2*t + 1. Let p be i(u). Is 15 a factor of ((-84)/15)/((-2)/p)?
False
Let v = 79 + -51. Suppose 4*h + 2*m - 4*m - 56 = 0, 0 = -2*h + 5*m + v. Does 12 divide h?
False
Suppose 3*c = 4*c - 100. Suppose -c = -7*l + 3*l. Is 11 a factor of l?
False
Let l(c) = c - 4. Let b(k) = -3*k + 7. Let h(y) = 2*b(y) + 5*l(y). Let a be h(12). Is 5 a factor of 30/a*(-12)/2?
True
Suppose z + h = 2*z - 180, -2*z = 4*h - 330. Suppose -z = -5*r - c, 6*c + 159 = 4*r + 3*c. Suppose 4*i = i + r. Does 5 divide i?
False
Suppose -6*p + 45 = -15. Is 5 a factor of p?
True
Suppose -2*w + 4*i = i - 40, w = -2*i + 20. Is 17 a factor of w?
False
Let v(i) be the third derivative of i**6/60 + i**5/30 + i**3/6 - 2*i**2. Is 10 a factor of v(2)?
False
Suppose 5*x - 2*h + 4*h = 285, -2*h = 3*x - 167. Suppose 61 + x = 5*k. Is k a multiple of 12?
True
Suppose -3*n - 22 = -5*d, 2 - 6 = -4*d - n. Let o(l) = 3*l**2 - l**2 - 3*l**d + 14. Does 7 divide o(0)?
True
Let a(w) be the third derivative of w**4/24 + w**3/2 + 4*w**2. Is a(7) a multiple of 10?
True
Let u(v) = -v**3 + 11*v**2 - 4*v. Is u(10) a multiple of 15?
True
Let k = -11 - -3. Let l = k - -30. Is l a multiple of 11?
True
Let k(z) = -2*z - 17. Let b be k(-12). Let r(v) = v**2 - 5*v - 4. Let o be r(b). Suppose -3*n = 2*y - 85, -159 = 5*n - o*n + y. Is n a multiple of 11?
False
Suppose -3*t - 5*x - 25 = 0, t + 2*t - 10 = 2*x. Suppose q - 15 = -t*q. Is q a multiple of 7?
False
Let g(x) = -2*x**3 + x**2 + 7*x. Let s(i) = 3*i**3 - 2*i**2 - 13*i. Let k(b) = 5*g(b) + 3*s(b). Is 15 a factor of k(-3)?
True
Let b(n) be the third derivative of n**6/120 - 11*n**5/60 + 5*n**3/3 - n**2. Does 10 divide b(11)?
True
Suppose y + 0 = -2. Let m be (2*-1)/(-1 - y). Is 0 + ((-4)/m - -2) a multiple of 4?
True
Suppose 3*l + 2*l - 15 = 0. Suppose l*b + 3 = 2*b. Does 3 divide b/((-1)/2 - 0)?
True
Let f = 19 + 25. Suppose 0 = -w - 3*w + f. Is 6 a factor of w?
False
Suppose 5*b + 15 = 0, 5*f - 2*f - 3*b = 18. Is 4 a factor of 1/f*192/4?
True
Let r be ((-84)/8)/((-6)/8). Let w = r - 3. Is w a multiple of 8?
False
Suppose 2*x = -2*x - 20. Let f(p) = -p**2 + 6*p + 7. Let i be f(x). Let s = -15 - i. Is s a multiple of 23?
False
Suppose 5*w = 14 + 31. Is w a multiple of 9?
True
Let k = -85 - -241. Suppose 0 = 4*w - 376 + k. Is w a multiple of 16?
False
Let p be -2 - -2*(-74)/(-4). Let c = p - 21. Suppose 2*t + 4*i = 6, -5*i - c = -2*t - i. Is 5 a factor of t?
True
Let j(s) = s**3 + 5*s**2 - 4*s + 2. Suppose 0 = -3*w - 16 - 2. Let m be j(w). Is 20 a factor of (8/(-1))/(4/m)?
True
Let v = 1 + 19. Does 4 divide (-5)/v - (-122)/8?
False
Suppose 84 = 2*t + 12. Is 9 a factor of t?
True
Suppose 0 = -2*u + j + 123, 7*j + 132 = 2*u + 3*j. Let s(x) = 10*x**2 - 3*x + 2. Let o be s(2). Suppose -6*i + u = -i + 5*w, o = 4*i + w. Does 4 divide i?
True
Let d be (1 + -5)*(-1)/2. Suppose 7*x = 2*x - 3*l + 135, 0 = d*x + 5*l - 54. Is x a multiple of 8?
False
Let y(v) = -v**3 + 12*v**2 + 15*v - 8. Let w be y(13). Suppose 0 = 4*u - 2*n - 12, 2*u + 3*n = -u + w. Is u a multiple of 4?
True
Let k be (-9)/12 - (-498)/(-8). Let m = -38 - k. Is 7 a factor of m?
False
Does 13 divide (-7)/((-14)/8) + 125?
False
Let l = -15 - -30. Does 11 divide l?
False
Let k = 8 - 6. Suppose j = -5*g + 29, -k*j + g + 37 = 4*g. Does 13 divide j?
False
Let r = -8 - -35. Suppose -9 = 5*t + 3*m - 63, -2*t - 3*m + r = 0. Is t a multiple of 4?
False
Suppose -2*g = -5*v - 633, 0*v + 4*g = 2*v + 250. Let z = -90 - v. Is z a multiple of 14?
False
Let g be (-2)/5 + (-34)/(-10). Suppose g*c - 67 = 65. Does 12 divide c?
False
Suppose 2*b - 44 = 22. Let h = -21 + b. Does 12 divide h?
True
Is 12 a factor of (-12)/30 - 574/(-10)?
False
Let i(f) = 3*f**3 - 11*f**2 - 6*f + 2. Is i(7) a multiple of 45?
True
Let q = 1 + 2. Let k(y) = 5*y - 2. Is 7 a factor of k(q)?
False
Suppose 0 = -5*k - t - 179 - 11, -4*k + t - 152 = 0. Suppose 4*v + 53 = -5*q, -82 = 5*v + 2*q - q. Let w = v - k. Does 8 divide w?
False
Let r(x) = 12*x + 10. Let c be r(9). Is 19 a factor of c/3 + (-11)/33?
False
Let k(m) = m**2 + 2*m + 1. Let g be k(8). Suppose -3*p + g + 30 = 0. Does 9 divide p?
False
Suppose -8 = -6*c - 2. Let m(q) = -16*q**2 + 4*q + 1. Let y(p) = -32*p**2 + 9*p + 3. Let a(v) = -5*m(v) + 2*y(v). Is a(c) a multiple of 8?
False
Suppose 3*a - 5*a - 