8)) - -43. Let c = q - 18. Is 11 a factor of c?
False
Let l(x) = x**3 + 5*x**2 + 7*x + 6. Let v be l(-4). Is 8*(-1 + (-1 - v)) a multiple of 11?
False
Suppose 0 = n - 2*n + 4. Suppose 5*p - 52 = -2*b + 36, -2*b = n*p - 70. Suppose p + 38 = 2*o. Is 8 a factor of o?
False
Suppose 4*z - 142 - 38 = 0. Let s = z - 9. Is s a multiple of 12?
True
Suppose -7*h = -23*h + 4576. Is h a multiple of 22?
True
Let y(q) = 4*q + 5. Let i(c) = -4*c - 6. Let u(o) = 3*i(o) + 4*y(o). Let m be u(3). Suppose x = m + 12. Is x a multiple of 10?
False
Let y(l) = -l**3 + 7*l**2 - 6*l + 5. Let c be y(6). Suppose -c*m = 5*v + 275, -2*m + 5*m = -3. Is 9 a factor of (2/(-6))/(2/v)?
True
Let b be -1*(9 + (-2)/1). Suppose 3*y - 100 = -2*y. Let w = y + b. Does 7 divide w?
False
Let u = 544 + -348. Let r be ((-4)/5)/((-1)/(-5)). Does 10 divide r/(-10) + u/10?
True
Suppose -141 = -4*t - 0*t + 3*k, -112 = -3*t - 4*k. Is t a multiple of 12?
True
Let l = 2 - -42. Is l a multiple of 11?
True
Suppose -3*b + 142 = -173. Suppose 6*x - b = x. Suppose 4*o - x - 51 = 0. Is 12 a factor of o?
False
Does 6 divide (-4)/10 - (-184)/10?
True
Let i(v) = -v**3 - 9*v**2 + 5*v + 13. Does 26 divide i(-10)?
False
Let s(q) = q**3 + 16*q**2 - 14*q + 8. Does 39 divide s(-16)?
False
Let w = -8 - -12. Suppose h - d = -3*d + 11, -4*d + w = -4*h. Suppose -4*a + h = -3*a. Is a a multiple of 3?
True
Suppose 4*r + x = 367, 2*r - x = -0*r + 179. Does 23 divide r?
False
Let f be 4/(-6) - 52/(-6). Let n(x) = 4*x + 4. Is 12 a factor of n(f)?
True
Suppose -83 = -5*n + 37. Is 8 a factor of n?
True
Suppose 4*m + 0*m + 8 = 0. Let r be -2 - ((0 - m) + -17). Suppose -p - r = -47. Is 14 a factor of p?
False
Does 10 divide (10/6)/(2/12)?
True
Let q(h) = h**2 - 4*h - 2. Suppose 3*s - 4 = 5*s. Let z be -3 + 0/(-3) + s. Does 17 divide q(z)?
False
Suppose 64 = 2*m + 2*l, 4*l - 2 = m - 24. Is 30 a factor of m?
True
Let h(r) = r**3 - 6*r**2 + 2*r - 6. Let l be h(6). Let s be 4/l - 14/(-6). Suppose n + 2*n - 146 = -a, 126 = s*n - 3*a. Is 17 a factor of n?
False
Suppose 0 = 4*d - 9*d + 450. Is d a multiple of 18?
True
Let h be (-8)/(-1)*(3 - 1). Suppose 5*q + h - 86 = 0. Is 6 a factor of q?
False
Let j(n) = n**2 - 4*n - 3. Suppose 5*f - 10 = 4*f. Let c = 18 - f. Is j(c) a multiple of 11?
False
Let i be (2/(-4))/(3/(-216)). Let b = -23 + i. Does 13 divide b?
True
Let b(y) = -y**3 + 11*y**2 - 8*y. Let f be b(10). Is 8 a factor of f/(-6)*120/(-25)?
True
Let u(v) = 2*v**3 - 2*v + 3. Is 5 a factor of u(2)?
True
Let a = -10 + 20. Let x = 70 + 90. Suppose -2*k + a = -7*k, 3*j + k = x. Does 22 divide j?
False
Let z = -13 + 77. Does 16 divide z?
True
Let i = -1 - -6. Suppose -3 = i*w + 2. Is w*(-15)/3 + 3 a multiple of 5?
False
Let w(m) = m**3 + 3*m**2 - 6*m - 4. Is w(-4) a multiple of 3?
False
Suppose -3*g = 3*k - 0*g + 9, 15 = -5*k + 3*g. Let q = k - -3. Suppose 5*d + v - 38 = q, 4*d - 23 = 4*v + 17. Is d a multiple of 8?
True
Is 12 a factor of 10/(-50) - (-601)/5?
True
Suppose -26*f - 28 = -28*f. Is 13 a factor of f?
False
Let x(d) = -7*d - 6. Does 16 divide x(-10)?
True
Suppose -4*j - 2*d + 24 = 0, 4*d = -j + 2*d. Is j/(-3)*(-189)/14 a multiple of 18?
True
Suppose 17 = 5*r - 3. Suppose -3*d + 2 + r = 0. Suppose -4*h = -3*j + 135, 32 = j + h + d*h. Is 15 a factor of j?
False
Let y(a) = a**2 - 5*a + 3. Let j be y(4). Does 17 divide j - 1 - (6 - 42)?
True
Suppose d = -2, 2*d - 6*d - 56 = m. Let v = m + 67. Suppose 2*u + v = 71. Is u a multiple of 13?
True
Let d(u) = -u**2 - 7*u + 1. Does 13 divide d(-3)?
True
Suppose -9*m + 4*m = -15. Suppose -6 = m*z - 4*z. Suppose r = z*r - 30. Does 6 divide r?
True
Let s = -105 - -187. Is s a multiple of 25?
False
Let v = -4 + 22. Suppose 4*o - 78 - v = 0. Does 24 divide o?
True
Suppose y + 1 = -v, 2*v + y + 1 = -3*v. Suppose -t - 3*t + 48 = v. Is 3 a factor of t?
True
Suppose -2*w - 3*w + 50 = 0. Suppose -12 = -s + w. Does 10 divide s?
False
Suppose -r = -5*t, -3*t = 6 - 18. Is r a multiple of 14?
False
Let n be 4*((-26)/(-8) + -1). Suppose n - 1 = -d. Let s = 19 + d. Does 3 divide s?
False
Let b(t) = 5*t**2 + 6*t - 15. Let h be b(6). Suppose -5*y + h = -169. Is y a multiple of 33?
False
Suppose 5*b - 102 - 293 = 0. Does 22 divide b?
False
Let s(u) be the second derivative of 7*u**3/6 - 6*u**2 - 8*u. Let v(l) = -l**3 + 4*l**2 + 6*l + 3. Let t be v(5). Does 12 divide s(t)?
False
Let q = 13 + 16. Let m = -11 + q. Is 5 a factor of m?
False
Let n = -5 + 8. Suppose a + n = 8. Suppose -2*p + a*p - 99 = 0. Is p a multiple of 11?
True
Let y = -5 - -10. Suppose 5*w - 80 = y. Is w a multiple of 7?
False
Suppose 66*o + 102 = 67*o. Does 23 divide o?
False
Let v(k) = 20*k**2 + k. Let s(i) = i**3 + 5*i**2 + 5*i + 5. Let b be s(-4). Let d be v(b). Suppose -3*f + 21 = -d. Is f a multiple of 5?
False
Let d be 1/(-3) + 34/(-6). Let j = 11 - d. Is j a multiple of 11?
False
Let o = 27 - 42. Is 8 a factor of 30/9*(-36)/o?
True
Let t = -13 + 7. Let z = 13 + t. Is z/(7/(-2)) - -26 a multiple of 12?
True
Suppose 2 + 0 = -p. Let s = p + -4. Does 7 divide (-100)/s + (-2)/3?
False
Is 8 a factor of (-408)/(-14) + (-7)/49?
False
Suppose -14*c + 11*c + 201 = 0. Is 43 a factor of c?
False
Let z = -7 - -12. Suppose -1 = 3*o + z. Is (21 - (o + 1)) + -2 a multiple of 10?
True
Let o(n) = 3*n - 8. Let k be o(8). Is 13 a factor of k - (-1)/((-2)/(-4))?
False
Suppose -4*x + 22 = 5*p + 4, 4*x - 2 = 3*p. Suppose -4*c = b - 8, -x*b - 3*b - c = -135. Is b a multiple of 14?
True
Let i be -7 + 6/(-6 - -3). Let a be 17/(-3) - (-3)/i. Let n = a + 16. Is 3 a factor of n?
False
Let f(b) be the third derivative of -7*b**4/12 + b**2. Suppose 5 = 5*a - 4*l - 2, 3*l = -5*a - 14. Is 10 a factor of f(a)?
False
Let o = 39 + 15. Is o a multiple of 9?
True
Let n(j) = 2 + 2*j**3 + 2*j**2 + 4 - 4*j - 3. Is n(2) a multiple of 8?
False
Suppose 67 = 5*k + 12. Is k a multiple of 4?
False
Suppose 3*t + 16 = 7*t. Suppose 0 = 2*w - 4*b - 88, t*w + 27 - 148 = -3*b. Is 8 a factor of w?
False
Suppose -2*l - 5 = -3*l. Suppose -4*o = -2*g + 4, l*o - 3*g + 4*g = 2. Suppose o = -4*x - 5 + 17. Is x a multiple of 2?
False
Suppose 14*l - 864 = -4*l. Is l a multiple of 8?
True
Let z(c) = 0*c**2 + 5*c**2 + 2 - 1 + c**3 - 2*c. Does 4 divide z(-5)?
False
Let f = 33 + -3. Let n = 16 - f. Let m = -2 - n. Does 12 divide m?
True
Let w(r) = -r**3 - r**2 - r + 1. Let s(z) = -9*z**3 - 2*z**2 - 6*z + 3. Let c(m) = -s(m) + 6*w(m). Is c(3) a multiple of 13?
False
Let u = 12 + -1. Let t(r) = -r**3 + 10*r**2 + 14*r - 6. Does 8 divide t(u)?
False
Suppose -4*t + 2*r = -3*r - 110, 4 = -2*r. Is 4 a factor of t?
False
Suppose -1015 = -14*f + 1043. Is 49 a factor of f?
True
Suppose 3*v - 16 = -v. Suppose -g = -0*g - 3*j, 3*g = v*j + 10. Is (9/2)/(g/32) a multiple of 8?
True
Let k(s) = -2 - s - 10*s + 12*s + 7. Suppose -27 = -2*a - a + 3*u, -2*u = a + 3. Is k(a) a multiple of 10?
True
Let b be 1 - ((-1)/(-1) + -57). Let i be 1/(-2)*58*1. Let d = b + i. Is d a multiple of 14?
True
Suppose -4 = -i + l, 2*i - 2*l = -2*i + 20. Let r(q) = q**3 - 4*q**2 + q - 5. Let n be r(i). Let t = n - 39. Is 17 a factor of t?
True
Let u be 1/(-2 - (-9)/4). Suppose 5*s = u*f + 46, -6 = s + 3*f - 0*f. Is s a multiple of 6?
True
Suppose 2*r + 343 = 3*r - 3*o, 0 = 3*r - 3*o - 1029. Let c = 511 - r. Suppose c = 4*f + 3*s, 4*s - 84 = -2*f - 0*s. Is f a multiple of 21?
True
Let n(f) = 0*f**2 + 3*f + 5*f**2 + 3*f**3 + f - 2*f**3 + 4. Suppose 0*t - 8 = 2*t. Is 3 a factor of n(t)?
False
Suppose -239 = 5*w - 779. Is w a multiple of 27?
True
Let g(l) = 3*l**2 - 2*l + 1. Suppose m + 3 = -0*m. Is g(m) a multiple of 17?
True
Suppose w - 54 + 21 = 0. Is 11 a factor of w?
True
Suppose 4*l - 80 = -3*o, 2*l - 28 = 2*o - 2. Suppose s + 0*s - 4*t = l, -2*t = s - 5. Let f = s - -10. Does 7 divide f?
False
Let o = -1 - -3. Let t be o + (-88)/(2/(-1)). Let j = t + -29. Does 7 divide j?
False
Let k be ((-6)/4)/(9/(-156)). Let j = 201 - k. Suppose -b = b + 2*a - 82, 5*a = 5*b - j. Is b a multiple of 19?
True
Suppose 3*h + 78 - 560 = -o, -3*h - 4*o = -497. Is 37 a factor of h?
False
Let f be ((-15)/10)/(1/(-46)). Suppose -f = 5*j - 229. Is 16 a factor of j?
True
Let r = 68 - 43. Does 5 divide r?
True
Let l(z) = -z**3 - z**2 - 3*z - 33. Let a(i) = 5*i**3 + 5*i**2 + 16*i + 165. Let g(t) = -2*a(t) - 11*l(t). Does 9 divide g(0)?
False
Suppos