8. Let k = 6 + y. Does 5 divide k?
False
Let q(l) = -l. Let w(p) = p**2 + 3*p - 4. Let h be w(-3). Let y be q(h). Suppose -25 = -y*r - 1. Is r a multiple of 3?
True
Let f be 2/8 + 552/(-32). Is 0 + 2 - f*3 a multiple of 19?
False
Let z = 419 - 113. Is z a multiple of 18?
True
Suppose 0*w + w - 150 = -5*t, 0 = t + 3*w - 44. Let i = -18 + t. Is i a multiple of 4?
False
Let d(k) = -k**2 - 2*k. Let c be d(-2). Suppose 3*s - 17 + 2 = c. Is 4 a factor of s?
False
Suppose 5*h = 3*b + 66, 23 = 2*h + 3*b - 16. Does 7 divide h?
False
Let q = 0 + 4. Suppose 0 = -s + 3*n - 2*n + 20, -s + q*n + 17 = 0. Is 21 a factor of s?
True
Let f = -42 + 96. Is 18 a factor of f?
True
Let w = -7 + 11. Suppose -w*m - 3*h + 2*h = -1, 4*h - 24 = 4*m. Let i = 5 - m. Is 4 a factor of i?
False
Let u be (-132)/8*2 - -1. Let k = u + 65. Is k a multiple of 20?
False
Suppose -34 = 3*z + 2*z + 2*l, l + 2 = 0. Let d(q) = -q**3 - 6*q**2 - q + 2. Let u be d(z). Suppose -2*k + 5*k = 3*y + 30, -5*y = -2*k + u. Is 7 a factor of k?
True
Is (30 + -6)*(-1 + 2) a multiple of 24?
True
Let k(v) = -23*v + 2. Is k(-1) a multiple of 6?
False
Let p(n) = n**2 + 4*n + 2. Let r(v) = -v**2 - 5*v + 2. Let j be r(-6). Let s be p(j). Suppose 3*b = 0, -1 + 23 = s*t - 5*b. Is t a multiple of 4?
False
Suppose 0*u + 5*h - 21 = u, 0 = 2*h - 6. Let t = u - -11. Is t a multiple of 5?
True
Suppose 0 = 10*x - 291 - 969. Is 20 a factor of x?
False
Let a be (-1 + -1)*25/(-10). Suppose 6*z - 2*z = 4*o + 124, -4*z = a*o - 115. Is 10 a factor of z?
True
Let h(l) = -l**2 + 10*l - 9. Let i be h(8). Suppose -5*v - 2*u = -154, -2*u - 3 = -i. Is 10 a factor of v?
True
Let x(w) = -2*w + 289. Is x(0) a multiple of 15?
False
Let g(w) = w**3 - 8*w**2 + 7*w + 2. Let t be g(7). Suppose -7*y = -t*y - 25. Does 5 divide y?
True
Let u(b) = -2*b**2 + 6*b**2 - 3*b + 4 - 2*b**2. Let j(a) = -a**3 + 5*a**2 - 2*a - 5. Let d be j(4). Does 5 divide u(d)?
False
Let f(l) = 4*l**3 - 2*l**2 + 8*l - 12. Is f(3) a multiple of 34?
True
Let v = 14 + -9. Let u(r) = 9*r - 7. Is u(v) a multiple of 19?
True
Is 53 + 2 - (-1 - -4) a multiple of 11?
False
Suppose 4*f + 4 = 28. Suppose -n = -f*n. Suppose 3*b - 31 + 7 = n. Is b a multiple of 3?
False
Suppose -5 = d - 4*d + 2*b, b = 3*d - 10. Is d a multiple of 5?
True
Let i = -53 + 98. Does 9 divide i?
True
Let a be ((-2)/7)/(2/(-14)). Suppose -74 = -3*u + n, -a*n = u - 4*n - 18. Does 13 divide u?
True
Let w = -11 + 20. Suppose -h - 36 = -3*v, w = 3*v + 5*h - 9. Let q(s) = s**2 - 8*s - 2. Does 12 divide q(v)?
False
Let b(t) = t**2 + 4*t + 7. Let c(q) = q**2 - 7*q + 5. Let k be c(4). Does 10 divide b(k)?
False
Let h = -7 + 26. Is 10 a factor of h?
False
Suppose 0*m + 4*s + 10 = 5*m, 9 = 4*m - 3*s. Does 20 divide (50/15)/(1/m)?
True
Suppose 0 = 4*q + 1 - 5. Suppose 35 = 3*v - q. Is 6 a factor of v?
True
Let y(x) = x**3 + 4*x**2 + 2*x - 3. Let a be y(-3). Suppose 2*i + 5*c + 9 + 0 = a, 5*i = c - 9. Does 10 divide (i + 16 - 2) + 2?
False
Let u(a) be the third derivative of a**6/40 + a**3/3 - 6*a**2. Is u(2) a multiple of 13?
True
Let t(n) = -n**2 + 13*n + 2. Is t(6) a multiple of 22?
True
Let n be 1/(((-2)/3)/(-2)). Suppose -2*j = -6, -j + 1054 = 5*o - n*j. Suppose -f - o = -4*h + 3*f, -2*f = 0. Is 18 a factor of h?
False
Let a = -8 - -18. Suppose c - a - 18 = 0. Is c a multiple of 21?
False
Let b = 327 + -201. Is b a multiple of 42?
True
Let j be 1/(-3) - (-381)/9. Suppose -3*x - 2*i + j = -x, 3*x - 63 = 4*i. Is x a multiple of 21?
True
Suppose -4*o - 3*d + 7 = -2*d, 0 = 2*o - 5*d - 9. Let l(v) = 6*v**2. Let g be l(-2). Suppose o*b = -0*b + g. Is b a multiple of 7?
False
Let l(m) be the first derivative of -m**4/4 + 4*m**3 + 13*m**2/2 + 7*m - 7. Is l(13) a multiple of 7?
True
Let a(w) be the second derivative of w**4/12 - w**3/6 - 2*w**2 - 2*w. Does 19 divide a(7)?
True
Suppose -4*t + 4 = 5*y, -5*t - 3*y + 5 = -0. Let g = -8 - 4. Is 3 - (t - g/(-2)) a multiple of 4?
True
Let f(x) = -13*x**3 + 2*x + 15. Let u(a) = 7*a**3 - a - 8. Let o(n) = -6*f(n) - 11*u(n). Let d be o(-3). Let z = d - -47. Does 17 divide z?
False
Suppose -2*n = -7 + 1. Does 28 divide (52 - 10)*2/n?
True
Let c = 6 - 9. Let j be (-2)/c + 6/(-9). Let a = j + 13. Is 9 a factor of a?
False
Let b = 108 + -25. Let j = -22 + b. Is 17 a factor of j?
False
Suppose -4*o = -4*j - 3*o + 21, -4 = 4*o. Let z(d) = d**2 - 4*d + 1. Is 6 a factor of z(j)?
True
Let d = 8 + -5. Suppose d*a - 5*o - 21 = 0, 4*a - 5*o = -3*o + 42. Does 5 divide a?
False
Let b(j) = -4*j - 3*j - 3 + 3*j**2 + 2*j. Let g be b(4). Is 10 a factor of (1 - g)*(-2)/2?
False
Let b(f) = -f**3 + 7*f**2 - 6*f + 5. Let o be b(6). Suppose 3*n + m - 37 = 0, m + 63 = o*n + 3*m. Is n a multiple of 7?
False
Let q(n) be the second derivative of n**4/4 - 11*n**3/6 + 7*n**2 + 2*n. Is 14 a factor of q(7)?
True
Let c = -2 - -28. Let a = c + -18. Does 8 divide a?
True
Suppose -f - 45 = -4*f. Is 5 a factor of f?
True
Let t(r) = 7*r - 2. Let n be t(6). Let v = 86 - n. Is 17 a factor of v?
False
Let b(v) = v**3 + 4*v**2 + 2*v - 2. Let q be b(-3). Let d be (-2 + q)/((-3)/3). Let x = d + 23. Is 12 a factor of x?
True
Suppose 2*i + 3*i + 2*t = 37, -2*i + 16 = 2*t. Let r(g) = 16*g - 7. Let c be r(5). Suppose -6*z - 16 = -i*z + q, 5*z + 2*q - c = 0. Is z a multiple of 14?
False
Let p be 8/(-28)*(1 + -8). Is 18 a factor of 244/6 - p/3?
False
Let g = 15 + -9. Let l(m) = m**2 + m - 2. Does 20 divide l(g)?
True
Let r(q) be the first derivative of -q**7/210 + q**6/360 - q**4/24 - q**3 + 3. Let o(c) be the third derivative of r(c). Does 12 divide o(-2)?
False
Suppose 0 = -12*m + 1969 + 791. Does 41 divide m?
False
Suppose 4*y = 3*y. Suppose y*u = -2*u. Suppose -5*o - 4*z = -49, -3*o + u*z = -z - 43. Does 13 divide o?
True
Let h = -78 + 44. Is (-3)/(-1 + -2) - h a multiple of 21?
False
Let h = 4 - 2. Let z be h/4 + (-348)/8. Let m = -31 - z. Is 6 a factor of m?
True
Suppose -3*o + 12 = -4*z, 2*o - 3 - 5 = 0. Suppose z = -4*h - 5*v - 9, 4*v = -3*h + 8*v - 30. Let a = h + 16. Does 10 divide a?
True
Suppose 6*n - n + 20 = 0. Let g be ((-45)/2)/(n/8). Suppose 4*r - 5 = 3*z, -2*z - 4*r = 3*z - g. Does 2 divide z?
False
Suppose 0 = -5*o - 4*m - 0*m - 9, 4*o - 1 = 5*m. Let c be 1/o - (-4)/4. Suppose c = 4*v + 21 - 85. Does 16 divide v?
True
Suppose 0 = -y - 2*u + 26, 6*u - 3*u = -2*y + 52. Suppose 2*g = -3*i - 237, -g - 266 = 3*i - y. Does 12 divide (i/(-6))/1*2?
False
Let w(c) = c**3 + 4*c**2 - 6*c - 7. Let r = -1 + -4. Let t be w(r). Does 11 divide ((-11)/t)/((-1)/(-2))?
True
Let c be 5 + ((-3)/3)/1. Let h be -2*122/c*1. Let u = -32 - h. Is u a multiple of 14?
False
Let a(m) be the first derivative of -1/2*m**2 - m - 2. Is a(-9) a multiple of 5?
False
Suppose 2*r + 34 - 130 = 0. Does 12 divide r?
True
Let d = 9 - 5. Suppose -d*u + 3*i + 40 = 9, 3*i = -u + 19. Is u a multiple of 8?
False
Let g = 121 + -67. Is g a multiple of 6?
True
Let f = 2 - -10. Suppose 5*h = f + 38. Is 10 a factor of h?
True
Suppose 18 = -v - 2*v. Does 14 divide -22*(63/v)/3?
False
Let p = -42 - -66. Is 24 a factor of p?
True
Let r = -33 + 21. Does 6 divide (-9)/(9/r*1)?
True
Suppose 5*d - 4*i - 6 = 6*d, 2*i - 4 = -4*d. Suppose d*z + z = -4*f + 57, 90 = 5*z + 5*f. Does 15 divide z?
True
Suppose 0 = -4*t + 4*k + 676, -t - k + 16 + 145 = 0. Is 33 a factor of t?
True
Let d(r) = r**3 + 19*r**2 - 24*r + 31. Is 34 a factor of d(-19)?
False
Let f = -7 - -7. Suppose f = -4*y + 19 - 7. Does 6 divide -9*y/((-27)/12)?
True
Let t = 2 - 0. Suppose -106 = -t*u + 6. Is 14 a factor of u?
True
Let j be (-1)/(-3 + (-240)/(-81)). Suppose q - k - 6 = 0, 0*k - j = -5*q + 4*k. Is 3 a factor of q?
True
Let i(b) be the first derivative of -b**4/4 - 5*b**3 - 2*b**2 + 12*b + 5. Does 18 divide i(-15)?
True
Let g(o) = -o + 1. Let n be g(3). Is n/(-9) - 1144/(-36) a multiple of 16?
True
Suppose 12*q - 1229 = 2047. Is q a multiple of 21?
True
Let u = -5 + 5. Suppose -3*r + 5*l - 10 = 2*r, 3*r + 5*l - 34 = u. Suppose -r*w - 2*w = -45. Is 5 a factor of w?
False
Let w(j) = -j**3 - j**2 + 2*j - 3. Let m be w(-4). Suppose -m = -2*t + 11. Suppose 0 = -3*f + 5*f - t. Is f a multiple of 6?
True
Let t(f) = -f**2 - 7*f + 2. Let i be t(-7). Suppose i*x = -0*x + 240. Suppose 4*g - x - 16 = -5*q, -2*g - 30 = -q. Is 14 a factor of q?
True
Let c = 50 - 40. Is 5 a factor of c?
True
Suppose 2 + 4