-59. Let f(z) = z**3 + 5*z**2 + 2*z - 8. Let y be f(-6). Is 5 a factor of (u/8 - -1)*y/(-2)?
True
Suppose 0 = -4*x - 3*x - 588. Let n = 31 + x. Let s = n - -114. Is 15 a factor of s?
False
Suppose 336 = -3*u + 45. Let r = u - -1657. Suppose -s = -11*s + r. Is 24 a factor of s?
False
Let w be (1 + 1*-2)/(19/(-171)). Suppose 7*m + 140 = w*m. Suppose -2*k + 7*k - m = 0. Is 14 a factor of k?
True
Let z(t) = t**3 - 11*t**2 + 14*t - 8. Suppose -11 = -o + 4*n, -o - o + 4 = n. Suppose 37 = 4*c - o*k, 0 = -5*c - 4*k - 25 + 79. Is z(c) a multiple of 4?
True
Let y(z) = z**2 - 8*z + 12. Let d be y(8). Let m be -9 + 8 + (-34)/(-3)*d. Suppose c - f - 120 = 0, -4*f + m = -0*c + c. Is c a multiple of 28?
False
Let w = 560 - 482. Suppose -5*g + 200 = c + w, -4*c = -2*g + 40. Is g even?
True
Let m = 23210 - 13694. Is 78 a factor of m?
True
Let y be (-52)/(-3 + 1 - -7 - 3). Let d(o) = 37*o. Let m be d(-1). Let j = y - m. Is 2 a factor of j?
False
Let w(f) = f**3 - 28*f**2 + 34*f - 27. Let j be w(28). Suppose 6237 = 8*g + j. Is g a multiple of 24?
False
Let t = 1472 + -986. Let h = t + -54. Is 8 a factor of h?
True
Suppose 3*a + 2*k - 9574 = 0, -298*k - 9572 = -3*a - 299*k. Is 29 a factor of a?
True
Suppose -202*w = -194*w - 138992. Is 22 a factor of w?
False
Let y(q) be the second derivative of 59*q**3/6 + 65*q**2/2 - 72*q. Is 18 a factor of y(5)?
True
Suppose 0 = -4*d - y + 29952, 7*y - 37440 = -5*d + 12*y. Does 96 divide d?
True
Let z = 3 + -15. Let l(x) = -7*x + 2. Does 43 divide l(z)?
True
Let z(g) = g**3 - 11*g**2 - 20*g - 8. Let k be z(13). Suppose -3*m - 8*o = -11*o - 219, 0 = m + 2*o - k. Is m a multiple of 24?
True
Let z(t) = 13*t**3 - 3*t**3 - 3 + 4*t + 6*t**3. Let d(q) = -55*q + 332. Let w be d(6). Does 11 divide z(w)?
False
Suppose -3*h + d + 25 = -2*h, -4*h + 116 = 4*d. Suppose 3*l = -5*b + 306, -b - h - 358 = -4*l. Does 4 divide l?
False
Let i(f) be the second derivative of -f**4/12 + 8*f**3/3 - 18*f**2 + 10*f. Let w be i(13). Suppose 0 = 3*c - 3, -2*c + 581 = 3*y + w*c. Is y a multiple of 12?
True
Suppose -l = -f + 24, -4*f + 2*l = -0*l - 106. Let x be 2 + 5/(10/(-4)). Suppose x = f*i - 23*i - 180. Is i a multiple of 7?
False
Suppose 3*x - 18 = -4*v - 25, -2*v - 21 = 5*x. Suppose 440 = v*n - 4*c, 4*n - 198 = 3*c + 702. Is n a multiple of 12?
True
Let p(o) = 22*o**2 - 6*o - 12. Let g(k) = 88*k**2 - 25*k - 49. Let b(r) = -2*g(r) + 9*p(r). Let v be b(-3). Let t = 326 - v. Is 18 a factor of t?
True
Let y = -6644 - -7010. Does 3 divide y?
True
Let m be (-105)/(-24) + 3/(-8). Suppose 0 = m*x - 12, -1 = -2*f - 4*x + 3. Is 5 a factor of (-174)/12*(0 + f)?
False
Suppose -5*n = -98 + 63. Suppose -n*b + 386 = -76. Does 6 divide b?
True
Let g = -3686 - -7586. Is 100 a factor of g?
True
Let c = -10178 + 14668. Does 10 divide c?
True
Suppose 3*c - 43343 = 178*l - 179*l, c + 2*l - 14446 = 0. Does 33 divide c?
False
Is 117 a factor of (((-221375)/140)/25)/(1/(-1088))?
False
Suppose t = -3*m + 113946, -133*m + 151871 = -129*m - 5*t. Is 40 a factor of m?
False
Let o = -34 + 20. Let x be ((-29)/2)/((-7)/o). Let c = 37 + x. Is 8 a factor of c?
True
Let t = -37 + 84. Let p = -23 + t. Does 13 divide 9/(-24) - (-465)/p?
False
Suppose 0 = -5*m + 3*i + 9940, 3*i - 712 - 3285 = -2*m. Does 7 divide m?
False
Suppose 5*s - 703 = 3*d, 2*d - 151 = -37*s + 36*s. Does 26 divide s - ((-15)/(-6) - (-4)/8)?
False
Let o be (545 - 2) + (1 - (2 - -1)). Suppose -3*j = 3*p - j - o, 2*j + 740 = 4*p. Let z = p - 143. Does 40 divide z?
True
Is 1/(33/(-18)) - 280683/(-66)*2 a multiple of 9?
True
Let i = 12 - 3. Suppose -3*s + 31 = -3*l - 2*l, 2*s = l + i. Let w(c) = 3*c**3 - 3*c**2 + 2*c - 1. Is w(s) a multiple of 6?
False
Is 8 a factor of (-576)/63 + -1 + 10 - (-9326)/14?
False
Suppose 2*c + 9306 = 10*c - 2*c. Does 154 divide c?
False
Suppose 0 = -4*f - 2 - 2, 3*m = -5*f + 13. Let u = -540 - -544. Is 1122/u*m/9 a multiple of 16?
False
Let c = 38 + -34. Suppose -c*y + 5*z = -25, -4*z = y - 0*z - 1. Suppose -30 = -7*d + y. Is d a multiple of 2?
False
Let b(t) = -21*t + 15. Suppose 0 = -6*u - 6*u - 0*u. Does 3 divide b(u)?
True
Suppose 0 = 2*v + 12, 2*u - 4*u + 2*v + 28016 = 0. Is 8 a factor of u?
False
Suppose 3*b - 8*b = 4*w - 1755, 3*w - 1750 = -5*b. Let q = b - -184. Is 16 a factor of q?
False
Is 139 a factor of 9 + 29444 + (-23 - -18)?
False
Let y(n) = -185*n + 93. Suppose 0 = 8*m + 2 + 30. Is y(m) a multiple of 17?
True
Suppose -17*r + 2878 + 3072 = 0. Is 10 a factor of r?
True
Let p(x) = -716*x + 242. Let m be p(-14). Suppose -1116 = -7*r + m. Is 91 a factor of r?
False
Let t = -306 + 516. Suppose 5*a - 2*a = t. Does 3 divide a?
False
Suppose 24165 = 2*q - 5*o, -2*q + 48305 = 2*q - 5*o. Is 7 a factor of q?
False
Suppose 4*b - 23028 = 5*q, 2*b + 423*q - 11532 = 421*q. Does 86 divide b?
True
Suppose 213*h - 85470 = 198*h. Is h a multiple of 12?
False
Let p = 3 - -30. Suppose 3*y + p = 3*t - 129, 4*y + 2*t = -222. Does 13 divide 2/11 + (-1585)/y?
False
Suppose 123*o = 125*o - 4, -1374 = -j + o. Is 4 a factor of j?
True
Let o be 2 + 2 - (0 + 0). Let w(s) = -5*s**2 - 48*s - 22. Let g be w(-9). Suppose -g*j = 5*u - 545, 2*u + 328 = 5*u + o*j. Is 12 a factor of u?
True
Let m(v) = -13*v - 15. Let l be m(-3). Suppose l*d - 13636 = -4*d. Does 37 divide d?
False
Suppose 4*x - 1078 = -q, 67*q = -x + 66*q + 268. Is x a multiple of 5?
True
Suppose -3*f = 2722 - 2728, 0 = 2*w + 4*f - 14624. Does 6 divide w?
True
Let h(t) = 3*t**2. Let j be h(5). Let q be -2 - 5/((-3)/3*1). Suppose q*n = -2*g - j + 352, 3*n - 274 = -5*g. Does 31 divide n?
True
Suppose 531 = -5*a - 4*a. Suppose -8*v + 917 = -v. Let z = a + v. Is 8 a factor of z?
True
Suppose 13*d - 32 = -3*d. Is 18 a factor of 52/6*102/d?
False
Is (4 - 5/5)*496/(-36)*-1572 a multiple of 31?
True
Suppose -71*u - 3*u + 17*u + 238374 = 0. Is u a multiple of 82?
True
Suppose 810 = 8*y - 1622. Let h = y + -140. Is h a multiple of 24?
False
Let w = 101 - 100. Let q be (w + 133)/(-6 - -8) - 3. Let h = q + 20. Is h a multiple of 7?
True
Let s be 0 + 3370/5 + 2. Suppose 5*w - 3*f - s = 0, -w + 120 = -f - 14. Is w a multiple of 6?
False
Is (127/(18669/4032))/((-4)/(-1358)) a multiple of 11?
False
Let p(j) = -51*j**3 - 4*j**2 - j + 42. Is p(-4) a multiple of 6?
True
Let f = -70 - -68. Let g(k) = -4*k - 7. Let t be g(f). Is 24 a factor of (-51)/102*(0 - t)*82?
False
Let m be 40/18 - -5*(-6)/135. Let n be 2/(4/m) - 3. Is 6 a factor of 4 - n/3*48?
True
Let i be 784/(-42)*(-9)/6. Suppose -i*c + 714 = -25*c. Is c a multiple of 8?
False
Is 10 a factor of (-9)/(-15)*(-1246205)/(-47)?
False
Let w = 3088 + -727. Does 12 divide w?
False
Suppose 5*a = -0*a + 4*o + 513, -a = -5*o - 111. Suppose -4*x + 1241 = a. Does 21 divide x?
False
Let w(j) = 2*j**2 + 10*j - 3. Let m be w(-13). Suppose -11*a = -1063 + m. Let b = a + 34. Does 14 divide b?
True
Let c(p) = p**3 + 5*p**2 - 2*p + 11. Let b be c(-5). Suppose w = -2*s + 236, 3*s + 5*w = b + 340. Is s a multiple of 9?
True
Suppose s - 4*v - 32 = -7, 0 = 2*v + 10. Let f(b) = 2*b**3 - 9*b**2 - b + 2. Let j be f(s). Suppose j = w - 34. Is w a multiple of 11?
False
Let n(c) = 8*c**2 + 46*c - 14. Let m be n(-7). Suppose -4*s + o = -1322 - m, -s + 2*o + 341 = 0. Is 5 a factor of s?
True
Let x = -13241 - -15017. Is 6 a factor of x?
True
Let r(o) = 5 - 8*o - 2 - 20. Let x be r(-10). Suppose 2*d - 7*d - 2*s = -x, 3*s - 62 = -5*d. Does 13 divide d?
True
Let m be (2 - 2)/(-6 - -4) - 5. Does 61 divide 488/(((-30)/m)/6)?
True
Suppose -t + 4*a + 54 = 2*a, -4*t + 4*a + 208 = 0. Suppose t*i - 34*i - 4208 = 0. Does 63 divide i?
False
Let b be (4/10)/(-1*4/(-80)). Suppose -b*l - 35 = -5*h - 3*l, 5*l + 19 = h. Suppose 2*v + h*n = 537 - 133, 4*n = -20. Does 28 divide v?
False
Suppose 5*k - 3235 = -5*q, 5*q - 3124 = 6*k + 122. Does 24 divide q?
True
Let u = 13554 - 7338. Does 74 divide u?
True
Let j = 502 + -229. Suppose j*p = 278*p - 2465. Is 29 a factor of p?
True
Let c = -49 - -29. Is (3 - 5)/(5/c) a multiple of 8?
True
Let d be 2 - 1*11/(-1). Suppose 4*i = d + 7. Is (4 - 3 - i) + 39 a multiple of 20?
False
Is 145*7*(-20)/(-7) a multiple of 62?
False
Let d(u) = u**2 - 20*u + 66. Let m(f) = 21*f**2 - 2. Let n be m(1). Is d(n) a multiple of 15?
False
Suppose -84 = -2*w - q + 4*q, -5*w = -q - 223. Let n = 97 + w. Is n - 9/6*8/(-6) a multiple of 3