8. Let u(v) = v**3 + 16*v**2 - 3*v + 13. Let b be u(i). Let p = b + -163. Is 8 a factor of p?
True
Let j = 411 - 335. Suppose -694 - j = -55*z. Does 13 divide z?
False
Suppose -5*o = -1022 - 14698. Is o a multiple of 60?
False
Does 30 divide (-157)/((-101444)/4830 + 21)?
False
Suppose 0 = w - 146 - 1498. Suppose 4*p - 633 + w = 5*j, 3*j - 605 = 4*p. Is 12 a factor of j?
False
Let z(c) = -9*c - 9*c + 21*c + 15. Let s be z(-5). Suppose n - 3*w + w - 133 = 0, -5*n + w + 665 = s. Does 23 divide n?
False
Let z be ((-4)/(-6))/(2 - 66/36). Suppose -2*j + 84 = z*j. Suppose -648 = -j*o + 5*o. Is 9 a factor of o?
True
Let j(u) = -90*u + 13. Let n(a) = 90*a - 12. Let v(i) = -5*j(i) - 4*n(i). Is v(3) a multiple of 21?
False
Suppose -v - 4*m + 21 = 0, -3*m - 5 = -4*v + 3. Suppose -68 = -v*o + 17. Let p = 23 + o. Is 8 a factor of p?
True
Let b be ((-2)/(-5))/((-1)/(-5)). Is 29 a factor of (-4)/(-1) + 146 + 27 + b?
False
Let l(k) = 2*k**3 - 23*k**2 + 12*k - 9. Let a be l(11). Let i be (-8)/10 + (-8760)/(-75). Suppose -h - i = -a*h. Does 23 divide h?
False
Suppose 5*v = 3*v - a + 26, -3*v - 2*a = -38. Let n = v + -12. Suppose -m - 5*b + 81 = 0, 4*b - 5 = n*m - 111. Is 24 a factor of m?
False
Suppose -5*f - 10 = -4*a, -6 = 2*f + 4*a - 6*a. Suppose 0 = -f*k - 3*r + 271, -8*r = -5*k - 5*r + 688. Let g = -77 + k. Is 12 a factor of g?
True
Let n(i) = -i**3 - i**2 + 4*i - 6. Let u be n(-3). Suppose -41*x + 44*x - 96 = u. Does 32 divide x?
True
Let g(v) = -7*v**2 + 5*v + 3. Let b be g(3). Let l = b - -171. Does 7 divide l?
True
Let r be (309/(-2))/((-4)/8 - -1). Let a = 678 + r. Let c = a - 216. Does 14 divide c?
False
Does 2 divide 1331*(-9 + (-444)/(-42) + (-8)/14)?
False
Does 10 divide (-3 - (-112)/(-6))/(13 + 5628/(-432))?
True
Suppose 5*a = p - 20005, -70*p - 2*a = -74*p + 79948. Does 7 divide p?
True
Let i(h) = -13*h**2 + h**3 + 18*h + 4*h - 3*h + 5 + 0*h. Let o be i(9). Let r = -38 - o. Is r a multiple of 22?
True
Let b(u) = -2*u**3 - u**2 - 47*u + 16. Does 4 divide b(-8)?
True
Let h = 279 - 273. Does 22 divide 235 - ((-9)/h + 4/8)?
False
Let m(w) = 97*w - 2. Suppose -2*c + 10 = 2*x, -4*x - 5*c = -6*x - 18. Is 60 a factor of m(x)?
False
Let o(h) = h**3 - 2*h**2 - 9*h + 9. Let g be o(4). Suppose -l + 28 = -g*n, -3*l + 4 = -n + 2*n. Suppose -2*r + 2*m - 61 = -l*r, 10 = 5*m. Does 21 divide r?
False
Suppose 53 = -2*s - 229. Let p = -99 - s. Let w = p - 16. Is w a multiple of 26?
True
Let h = -33 - 138. Is 21 a factor of (-14)/(h/18 - -9)?
False
Let p be (7 + 154/(-21))/(1/12). Let q(u) = 6*u**2 - 10*u + 2. Is 27 a factor of q(p)?
False
Suppose 3*x = -d + 867, 3*d - 2609 = 64*x - 65*x. Suppose -6*f - d = -1440. Does 64 divide f?
False
Let n be (35/(-7))/(-3 - -2). Suppose n = -3*k + 2, 3*k = 3*f - 141. Is f a multiple of 14?
False
Let h = 13742 - 3002. Is 60 a factor of h?
True
Let v(b) = b**2 - 10*b - 17. Let c be v(-4). Is 13/(c/765) - (2 - 3) a multiple of 58?
False
Let u(g) = -32 + 27 - 10*g + 4*g. Let h be u(-1). Is 12 a factor of -1 - -106 - 4/h?
False
Is 126 a factor of (29 - 15) + -13 + (-1 - -8043)?
False
Suppose -33*j + 35*j = -14. Let k(c) = c**3 + c**2 + 10*c + 21. Let b be k(j). Let h = b + 504. Is 23 a factor of h?
True
Let s be 12*(-4)/(-6)*(-18)/(-24). Suppose -s = -5*k + 3*k. Suppose k*a - 61 = -25. Does 8 divide a?
False
Suppose -10*k + 89*k - 6303 = 46*k. Is k a multiple of 2?
False
Suppose 4259 = s + y - 2463, 3*s + 4*y = 20168. Is 64 a factor of s?
True
Suppose 140 = 3*c + 83. Suppose -c*n - 3311 = -26*n. Does 43 divide n?
True
Let h = 295 - 298. Does 32 divide 323 + (0/h - 3)?
True
Let w(j) = -5*j + 59. Let p be w(11). Suppose 3786 = p*c + 466. Is 26 a factor of c?
False
Suppose 2819 = -o + 334. Is 3 a factor of o/(-45) - 4/18?
False
Let d(i) = i - 7. Let r be d(0). Let h(m) = -30 + 116*m**2 + 3*m + 100*m**2 - 214*m**2. Does 6 divide h(r)?
False
Suppose u + 5*r - 5494 = 0, 0 = 477*u - 476*u - 4*r - 5458. Is u a multiple of 7?
True
Let p(i) be the second derivative of 13/6*i**3 - 1/12*i**4 - 11*i + 0 + 3*i**2. Does 7 divide p(11)?
True
Suppose -3*x = -3*u - 0*u - 3, u + 11 = 3*x. Suppose -2*w - x*v = 13, 5*w - 4*v = -0*v - 16. Let f(s) = -44*s + 8. Is 30 a factor of f(w)?
False
Suppose 3*m - m - 2 = 5*y, 2*y - 5*m = -5. Let k = -9547 - -9549. Suppose -4*g - k*j + j = -572, y = j. Is g a multiple of 13?
True
Let i = 59 + -71. Let l(j) = j**3 + 16*j**2 + 22*j - 11. Is 43 a factor of l(i)?
True
Suppose -v + 212 = 86. Let a be (v/10 - 0) + 4/10. Suppose -a = 3*i - 31. Does 2 divide i?
True
Let n be (5/(-10))/(14/8 + -2). Let g = -482 + 811. Suppose -8*w = -4*w - 3*f - g, f - 157 = -n*w. Is 13 a factor of w?
False
Suppose 2*f + 135 = 99. Is (-3)/(f/3)*194 a multiple of 16?
False
Suppose -225 - 127 = -16*c. Suppose -c*l - 294 = -6762. Is l a multiple of 98?
True
Let f = -48680 - -69664. Does 38 divide f?
False
Suppose 3*p - 1 - 21 = -u, 2*u = 8. Suppose 30 = -p*h - 0*h. Does 15 divide 14/10 + (-3)/h + 58?
True
Let v(j) = j**2 - 9*j - 22. Let c be v(11). Let n = 103 + -99. Suppose n*f = i - 88, c = -2*i - 3*f + 58 + 74. Is i a multiple of 9?
True
Suppose w = 2*u - 6*u + 1193, 3*w + 5*u = 3572. Suppose 3*q - w - 3014 = 0. Suppose 9*o - 93 = q. Does 11 divide o?
False
Let c(m) = 6*m**3 + 3*m**2 + 5*m - 1. Suppose 4*b + 63*o - 65*o = 20, 3*b + 5*o = -11. Does 30 divide c(b)?
False
Let d = -10095 - -14655. Is 95 a factor of d?
True
Let o = 138 + -93. Let v = o + -42. Suppose -27 = -0*i - v*i. Is i a multiple of 4?
False
Let b(u) = -u + 5. Let n be b(5). Let q be ((-344)/(-20))/((-8)/(-20)). Suppose 0 = -c - 7 + 2, 2*f + c - q = n. Does 6 divide f?
True
Suppose -o = 3*o - 1256. Let t = -3505 - -3516. Suppose o - 28 = t*x. Does 26 divide x?
True
Suppose 10*m - 33*m - 23 = 0. Let b(s) = -70*s**3 + 3*s + 3. Is b(m) a multiple of 5?
True
Let t be 0/1*(12/(-4) + 2). Let c be (1 - t) + -95 - (-4 - -7). Let k = -1 - c. Is k a multiple of 8?
True
Is (50/(-1))/((-66)/(-44) - (-161)/(-106)) even?
True
Let y be ((-2)/(-6))/(1*(-5)/(-45)). Let v = 9 - y. Suppose 2*z + v*z = 296. Is z a multiple of 20?
False
Let z(a) = a**3 - 15*a**2 + a - 10. Suppose -2*b + 25 + 14 = 3*k, -2*k + 39 = -3*b. Let g be z(k). Suppose -g = 2*l + 3, -4*l + 127 = q. Is q a multiple of 13?
True
Let b = -237 + 236. Let m(d) = -265*d**3 - d**2. Does 22 divide m(b)?
True
Let j = 708 - 635. Suppose -j*p + 64*p + 4185 = 0. Is p a multiple of 15?
True
Suppose 0 = x + 4, 4*o - 4*x = -6 + 34. Suppose -2*k + 2384 = 3*y, o*k + 5 = 2*k. Is y a multiple of 7?
True
Let d be -2*(-54)/4 + (-52)/26. Is 3 a factor of d - 6/(-24)*0?
False
Let k = -311 - -961. Suppose -k - 648 = -11*p. Is 7 a factor of p?
False
Suppose 2*s = -4*z + 120 + 2326, 5*s - 6067 = 2*z. Suppose 15*m = -0*m + s. Is m a multiple of 2?
False
Let u be (2 - 16/4)*-3. Suppose u = t + 3*t - 3*k, 0 = -3*t - 4*k + 17. Suppose -5*q = -t*q - 32. Is q a multiple of 16?
True
Suppose 36 = f - 9. Suppose f*a = 51*a - 180. Does 10 divide a?
True
Let n = -21998 + 35699. Is n a multiple of 115?
False
Let v(a) = -35 + 68*a**2 + 17 + 25 - 23*a. Is v(-3) a multiple of 16?
True
Suppose -z = -5*k + 984316, 3*k + 4*z = 251666 + 338942. Is 14 a factor of k/160 - 4/10?
False
Suppose 7 = -26*l + 27*l. Does 5 divide 60/14*(-2 - (l - 44))?
True
Suppose 4*z = 3*l + 192, -123 = 2*l - z - 0*z. Let g = l + 141. Does 10 divide g?
False
Suppose 0 = 5*l + c - 1297, 3*c + 686 = 2*l + 157. Suppose -l*h + 266*h = 540. Is h a multiple of 10?
True
Is 190/7*(379 + 48) a multiple of 5?
True
Let j be (-12 + 2)*(-1)/(15/5118). Let v = j - 2290. Is 17 a factor of v?
True
Let f(q) = 2*q - 6. Let u be f(7). Let t(r) = 5 - 16 + 2*r + 52*r**2 - 51*r**2. Is 23 a factor of t(u)?
True
Let b(m) = m**2 + 17*m + 79. Let q be b(-10). Suppose -471 = -q*h - 156. Is h a multiple of 2?
False
Suppose 0 = 6*p - p - 15, l + 3*p = 12. Let i(y) = -y**3 + 7*y**2 - 2*y + 2. Does 7 divide i(l)?
False
Suppose 4*c = -i + 26738, 63*c = -5*i + 61*c + 133816. Does 9 divide i?
True
Let b be (2 + -2 + 1)/(7/21). Suppose 146 = x + 6*s - b*s, 410 = 3*x + 2*s. Is 10 a factor of x?
False
Let k(r) = r + 5. Let d be k(-10). Is (6 - 10/d)*20 a multiple of 16?
True
Is (-126)/567 + (-111)/(-135) + 10917/5 a multiple of 104?
True
Let j be 24/132 - 1096/(-22). Let v(d) = -d - 3. Let u be v(22). Let c = j - u. Does 5 