et v(n) = 5*i(n) + 6*t(n). Let w be v(-6). Suppose w*z - 173 = -37. Does 8 divide z?
False
Suppose 26*f + 530 - 18236 = 0. Does 59 divide f?
False
Let k(c) = -c**2 + 7*c + 8. Let n be k(7). Suppose -n = -3*v - 3*i + 13, 0 = 3*i - 12. Suppose v*z = -78 + 195. Is z a multiple of 13?
True
Let x be (-2 + 2)/2 + 9. Does 8 divide -4 - (-12)/x*21?
True
Let g(d) = 20*d**2 + 8*d + 16. Does 86 divide g(-6)?
True
Suppose 2*q = q + 8. Let m be -2 + -2 + q - 0. Suppose 2*a + 5*v + 69 = m*a, 3*a + 3*v = 72. Does 14 divide a?
False
Suppose -3*w - w = -u - 799, w = -2*u + 193. Suppose -71 - w = -5*z. Is z a multiple of 16?
False
Suppose 678 = -n + 3*n. Let q = -102 + n. Does 17 divide (q/15)/(2/10)?
False
Does 54 divide ((-3540)/8 + 3)*48/(-72)?
False
Suppose 10*u + 2354 = -636. Let f = u - -442. Is f a multiple of 25?
False
Let o be 1838/4*(2 - 0). Suppose 4*s = -o + 2539. Suppose 5*r - s = -0*r. Does 23 divide r?
False
Let t be (1 - -654 - 1) + 2. Let c = 80 + -70. Is 22 a factor of t/c - 8/(-20)?
True
Let t(w) = -w**2 - 11*w + 5. Let l(g) = -2*g**2 - 22*g + 9. Let n(v) = -6*l(v) + 13*t(v). Let j be n(-12). Is 30 a factor of j/(-2 + 59/30)?
True
Let l(a) = -427*a - 29. Does 7 divide l(-1)?
False
Let x = 20 - 17. Suppose w - x = -2*w. Let i(m) = 23*m**3 + m**2 - 2*m + 1. Does 14 divide i(w)?
False
Let j = -337 + 459. Is 10 a factor of j?
False
Suppose -1013 = -2*u + m, 3*u - 4*m = 4*u - 511. Does 39 divide u?
True
Let a(x) = x**2 - 2*x - 3. Let g be a(-5). Suppose -t + g = -12. Suppose -112 = -4*m + t. Is 12 a factor of m?
False
Let n be (-3)/(-6) + 82/(-4) + 4. Let u = 1 + -19. Let q = n - u. Is q even?
True
Let v(t) = 61*t + 5. Does 8 divide v(2)?
False
Suppose 6*l = -4*l - 2830. Let t = -132 - l. Does 22 divide t?
False
Suppose 31*a = 33*a - 1294. Is a a multiple of 21?
False
Suppose -6 = -3*c + 6. Suppose 5*j - 3*w - 57 - 168 = 0, -c*w - 172 = -4*j. Is 12 a factor of j?
True
Let a = -288 + 412. Suppose -5*y + 567 - a = 2*u, -3*y + 4*u = -271. Is 12 a factor of y?
False
Let n(y) = -y + 6. Let z be n(4). Let i be z + (4 - 6) + 29. Let w = i - 23. Is 2 a factor of w?
True
Let u be (-2)/(-2)*(2 + 1). Suppose i + 5*q = -u*i - 9, 4*q = 2*i - 28. Is 1 + (1 - i) + 12 a multiple of 5?
True
Let y(x) = x + 21. Let o be y(-12). Let d be o/(-63) + (-1514)/(-14). Suppose -5*p + d = 3*a - 41, -5*a - 3*p + 259 = 0. Is a a multiple of 15?
False
Let t(g) = -54*g - 1. Let v = -47 - -46. Is t(v) a multiple of 9?
False
Suppose 0 = -4*n + n - 66. Let b = 8 - n. Does 15 divide b?
True
Suppose -5*o - 2*x + 63 = -3*x, -2*o = 4*x - 34. Let m be o/26 - 9/(-2). Suppose -g = -m*g + c + 338, 2*g - 166 = 2*c. Does 32 divide g?
False
Suppose -5*w + u + 248 = 16, 3*u + 6 = 0. Is w a multiple of 28?
False
Let j be (1/1)/((-9)/45). Let r(w) = -w**3 + 4*w + 2. Let f be r(-4). Let h = j + f. Does 15 divide h?
True
Suppose 2*n = -3*v + 13, -5*v - n = -2*n. Is 2*v/(-6) - (-28)/3 a multiple of 9?
True
Let m(x) = 7*x**2 - 7*x - 11. Is m(7) a multiple of 11?
False
Let u be (12/1)/((-11)/11). Let i(x) be the first derivative of x**4/4 + 4*x**3 - 2*x**2 - 11*x + 3. Does 12 divide i(u)?
False
Let h(k) = 2*k**3 + k**2 - 2*k + 4. Suppose 7*c = 2*c - 2*r - 21, 2*c + 3 = r. Let u be h(c). Does 13 divide (2 - -5)*(-250)/u?
False
Suppose -6*a + 2*a = -16. Suppose r + 246 = a*r - 3*o, -o - 322 = -4*r. Does 20 divide r?
True
Suppose 3*t = -9*t - 2928. Let k = 425 + t. Does 17 divide k?
False
Let i(j) = 21*j + 26. Is i(14) a multiple of 12?
False
Suppose 1 = -2*c + 3. Let n(v) = -6*v + 4*v**2 + c - 4 - 3 - 2*v**2. Does 4 divide n(5)?
False
Let r = 53 + -24. Let n = 49 - r. Is 6 a factor of n?
False
Let d(r) = 14*r - 2. Suppose 0 - 15 = 3*g. Let t(l) = l. Let u(z) = g*t(z) - d(z). Is 17 a factor of u(-3)?
False
Let y(w) = 3*w**3 + w - 1. Let t be y(1). Suppose -3*h - 99 = -t*k, k + 4*h = -3*k + 132. Does 9 divide (k/(-12))/(1/(-8))?
False
Suppose -2*s = 4*z + 28, -4*z = 5*s + 35 - 13. Let w(f) = f**3 + 8*f**2 - 13*f - 15. Does 41 divide w(z)?
False
Suppose -3*k - 22 - 14 = 0. Let c = k - -17. Suppose 0 = 4*d - w - 24 - 19, -c*d + 65 = w. Does 10 divide d?
False
Let o = 745 + -498. Does 8 divide o?
False
Let k = -1619 + 3130. Does 13 divide k?
False
Suppose -v + 24 = -0*v. Is v a multiple of 24?
True
Let f(j) be the second derivative of 9*j**5/10 - j**4/12 + j**2/2 + 3*j. Let b be f(1). Suppose 21*c - b*c = 177. Does 20 divide c?
False
Let w(b) = 2*b - 23. Let z be w(0). Let p = -3 - z. Is 9 a factor of p?
False
Let j be 5/(-10) - 90/(-4). Suppose -j + 82 = -4*f. Is (36/f)/(3/(-10)) a multiple of 7?
False
Let c = -59 + 32. Is 294/(-63)*c/2 a multiple of 9?
True
Let l = 8 + 68. Let m = -16 + l. Is 6 a factor of m?
True
Let s(d) = -38*d**3 + 1. Let a be -1 + 1 + 7 + -8. Let i be s(a). Suppose 0 = -6*w + 3*w - q + i, 4*w - 2*q - 52 = 0. Is 8 a factor of w?
False
Suppose 30*p - 35*p - 165 = 0. Is 21/(-35)*(p + -2) a multiple of 21?
True
Let i(y) be the second derivative of y**4/12 + y**3/3 + 69*y**2/2 + y. Let g = -780 + 780. Does 23 divide i(g)?
True
Suppose 0 = -29*z - z + 4500. Is 2 a factor of z?
True
Suppose -17*d = -13*d - 180. Let h = -32 + d. Does 2 divide h?
False
Suppose -11048 + 30808 = 13*z. Is z a multiple of 57?
False
Suppose t = 3, 3*y - 12 = 8*y - 4*t. Suppose -4*p = 4*k - 164, y = -3*p + 3*k + 76 + 77. Is p a multiple of 7?
False
Let k(v) = v**3 - 5*v**2 - 6*v + 12. Let n(b) = -b - 1. Let w be n(-7). Is 4 a factor of k(w)?
True
Let v = 98 - 25. Suppose 2*j - v = -4*y + 51, 31 = y + 2*j. Does 31 divide y?
True
Let x = -8 + 13. Suppose a - 3*k + 9 = 2*a, -2*a + 15 = x*k. Suppose 2*j - j - 6 = a. Is 2 a factor of j?
True
Suppose -5*r + 1690 = 3*z, 4*r = -z + 27 + 541. Suppose 5*a - z = -215. Is 12 a factor of a?
False
Let u(i) = -i**3 + 36*i**2 + 73*i + 105. Does 28 divide u(37)?
False
Suppose 17 = 2*w - 1. Let i(h) = 3*h**3 + 18*h**2 + 11*h - 21. Let j(a) = -4*a**3 - 27*a**2 - 16*a + 32. Let y(v) = -7*i(v) - 5*j(v). Is 9 a factor of y(w)?
False
Let i(k) = -k**3 + 3*k**2 + 36*k + 16. Does 28 divide i(7)?
False
Let g(x) = 49*x**3 - 6*x**2 - 7*x. Let l(n) = -98*n**3 + 13*n**2 + 15*n. Let d(o) = 13*g(o) + 6*l(o). Let t be d(1). Is 16 a factor of 2 + -1 + t + -1?
True
Suppose -19 = -5*t - 2*d, -3*d + 2*d + 2 = 0. Suppose -156 = -t*g + 345. Is 25 a factor of g?
False
Suppose 14*d - 21*d + 49 = 0. Is 4 a factor of d?
False
Let z = 65 + -41. Suppose 4*m = 2*m + z. Is (-304)/m*6/(-4) a multiple of 13?
False
Let z = 429 + -374. Is z a multiple of 2?
False
Let b(q) = 2*q + 10. Let x be b(-6). Let c = x - -25. Is 2 a factor of c?
False
Let j = 2582 - 1790. Is j a multiple of 31?
False
Let c(o) = o**2 - 9*o + 8. Suppose -4*k = 2*a + 34, -5*k - 20 = -3*a - 2*a. Does 6 divide c(k)?
True
Suppose -4*c - k = -53 - 5550, 0 = c + 4*k - 1412. Is c a multiple of 70?
True
Let f(n) = -n**3 + 5*n**2 + 16*n + 10. Let j be f(8). Let d = 108 + j. Is d even?
True
Let g(p) = -2*p**3 - 5*p**2 - 3*p - 3. Let r be g(-3). Let i be ((-28)/(-12) + -2)*r. Suppose -y = -8*u + i*u + 13, 25 = 3*u + 5*y. Does 3 divide u?
False
Suppose 5*r + 2*r - 777 = 0. Suppose -r = -4*l - 3*u, 5*u + 21 = 6. Is 2 a factor of l?
True
Suppose 7876 = 4*b - 4*p, 5*b - 36*p - 9841 = -35*p. Does 16 divide b?
True
Suppose 2310 = 6*q + 9*q. Does 14 divide q?
True
Suppose 0 = 3*k + c - 11, 0*c = 5*k + 2*c - 19. Let v be 18/(2/6*k). Suppose -r - 4*l + v = 0, -3 = -2*r + l + 60. Does 15 divide r?
True
Suppose 40 = -5*w + 10. Let a be (-4 - (25 + 2))*w. Let i = a - 96. Does 18 divide i?
True
Let r(s) = -s**2 + s + 38. Let n be r(0). Suppose -n - 42 = -8*k. Is 10 a factor of k?
True
Let g = 7 + -9. Let a be (3/(-6))/((-1)/g). Does 22 divide a/(2 - (-177)/(-87))?
False
Suppose 22*i - 14*i - 1504 = 0. Is 14 a factor of i?
False
Let b(a) = 1 - 1 + 11*a + 1 + 4*a. Is 14 a factor of b(5)?
False
Let q(v) = 4*v**2 - 10. Let m = -81 + 76. Is q(m) a multiple of 10?
True
Is 20 a factor of (-1 + 3201)/(-2)*108/(-135)?
True
Let d be 2/(-9) - 1124/(-36). Let g(u) = 7*u - 1. Let o be g(-1). Let n = d + o. Does 12 divide n?
False
Let h be 1/(-1 - (-15)/14). Suppose 0*l + 4*l = 2*g - 16, 5*l = g - h. Does 5 divide 82/5 - l/(-5)?
False
Let m(k) = -6*k + 18. Does 6 divide m(-10)?
True
Let z(t) = -t**3 - 10*t**2 + 17*t - 6. Does 2 divide z(-12)?
True
Let o = -432 - -306. Let b = 