 Is z a multiple of 8?
False
Let k be (1 - -1) + 0 - -3. Suppose 0 = -3*a - 2*a + 3*s + 1237, 0 = -k*a - 2*s + 1242. Suppose 5*u + 33 = -3*p + a, 0 = -4*p + 20. Is u a multiple of 4?
True
Suppose -3*o = 2*z - o - 1848, -4*o = 3*z - 2767. Let w = z - 614. Is w a multiple of 15?
True
Suppose 36*g + 1870 = 111706. Is g a multiple of 27?
True
Let x = 43259 + -32627. Is x a multiple of 12?
True
Let k be 46/(-18) + 148/(-333). Let f = -32 - -56. Let t = f - k. Is t a multiple of 4?
False
Let v(c) = 39*c - 12. Suppose n = -0 + 3. Let u be v(n). Suppose -t - 169 = -5*x - 4*t, 3*x + 3*t - u = 0. Does 16 divide x?
True
Let d = -38 - -60. Let k = 110 - d. Suppose 0 = -4*v + 4*z + k, 5*v = z - 44 + 162. Is 12 a factor of v?
True
Suppose -216524 = -167*b + 145*b. Does 38 divide b?
True
Suppose 17*c - 15*c - 40 = 0. Suppose c*g - 16*g = 2580. Let y = g + -429. Does 12 divide y?
True
Suppose 4*y + 3*a - 283 = 0, y + 281 = 5*y + a. Let p be (-144)/(-54)*(2/(-4) - -2). Suppose 0 = -p*s - 3*l + y, -3*s - l - 22 = -77. Is 8 a factor of s?
False
Let y = -89 - -92. Suppose q + 3*q = -2*v + 46, 18 = v - y*q. Is 3 a factor of v?
True
Let m = -31 + 33. Let j(x) = -2*x + 2 + 19*x - 5 - 2*x**m. Is j(7) a multiple of 18?
True
Let h(l) = 3*l - 40. Let v be h(14). Suppose -2*y - 3*q + 7 = 0, q + v*q + 28 = 5*y. Suppose -d - y*k + 142 = 0, -4*d = -5*d - k + 122. Does 23 divide d?
False
Suppose -5*a - 4188 = 5*y - 50203, 18376 = 2*y + 17*a. Is y a multiple of 79?
False
Let n = 2803 - 2132. Let z = 186 - 593. Let y = n + z. Does 44 divide y?
True
Suppose -9*z = -7 - 2. Suppose -3*b - 5 = -5*f - 2*b, -4*b = f - z. Let t(d) = 19*d**2 + d + 1. Is 12 a factor of t(f)?
False
Suppose 0*q + 4*x = 5*q - 8130, -5*x = -2*q + 3252. Let t = q + -930. Does 58 divide t?
True
Let j = -141 - -135. Let g(w) be the second derivative of w**5/20 + 3*w**4/4 + 4*w**3/3 + 15*w**2/2 + 2*w. Is 21 a factor of g(j)?
False
Suppose 3*c - 5*u = 23 - 66, 3*c + 2*u = -8. Let j = 23 - c. Suppose 144 = j*w - 25*w. Is w a multiple of 4?
True
Suppose -40 = -11*s + 268. Suppose s = 4*b - 11*b. Is (90 - (-2 + 2))*(-3 - b) a multiple of 18?
True
Let u = 570 - 566. Is 63 a factor of (-3150)/(-27)*42/u?
False
Suppose 18418 + 2778 = 2*d - 4*r, -11*d + 3*r + 116616 = 0. Is d a multiple of 19?
True
Let u be ((-680)/(-3))/(-9*8/(-432)). Suppose 38*h - 1380 = -3*k + 35*h, 3*k = 2*h + u. Is 24 a factor of k?
True
Suppose -312 + 927 = -3*o. Let s = o + 207. Is 2 a factor of s?
True
Suppose -16*q + 48254 = 56*q - 17986. Does 8 divide q?
True
Let z be 1 + (-1 + 3 - 7). Let a be ((-2)/z + 1)*(-12)/(-9). Suppose -3*p - a*b = -76, 0 = p - 5*p - 3*b + 102. Does 6 divide p?
True
Let v(s) = -s**2 + 2*s + 12. Let n be v(-2). Suppose 4*g - 8*q - 639 = -3*q, -n*q = -3*g + 478. Is 25 a factor of g?
False
Let s = 26252 - 4366. Does 40 divide s?
False
Let a(z) = -z**3 + 6*z**2 + z - 36. Let w be a(4). Suppose 4*t - 761 = 3*t - 5*j, t + 2*j - 758 = w. Is 23 a factor of t?
False
Let b(a) be the first derivative of -a**2/2 - a - 11. Let h be b(-2). Let g(s) = 72*s. Does 8 divide g(h)?
True
Suppose -377*m = -376*m + 3*a - 3605, 0 = -4*m + a + 14394. Is 61 a factor of m?
True
Suppose 5*h = 4*d - 3598, -591 = -4*d - 2*h + 2993. Is d a multiple of 12?
False
Let f(m) = -18*m**3 - 44*m**2 - 185*m - 10. Does 73 divide f(-11)?
True
Let v(a) = 9*a**2 + 6*a + 5. Let f be v(-2). Let i = f - 30. Is 8 a factor of 0 - -1*(9 - i)?
False
Let n(l) = -46*l - 122. Let y be n(33). Let h = y + 2424. Is h a multiple of 28?
True
Let w(j) = 42*j**3 + 4*j**2 + 18. Is w(6) a multiple of 19?
True
Let x(g) = -g**3 + g**2. Let j(z) = z**3 - 9*z**2 + z - 9. Let q be j(9). Let w be x(q). Suppose -b + 152 = -4*k, w*b + b - 5*k - 154 = 0. Does 18 divide b?
True
Let v(u) = 0 - 9*u + 5*u + u - 21. Let c be v(7). Does 40 divide c/(-14) + 0 + 179?
False
Let r(f) = 63*f - 124*f - f**2 + 59*f + 529. Is r(0) a multiple of 39?
False
Let y be (-2)/(-7) + (5 - 428/28). Let z(c) be the second derivative of 2*c**3/3 + 65*c**2/2 - 21*c. Is 5 a factor of z(y)?
True
Let z be 2/(-1 + 7) - 504/(-189). Suppose 0 = 4*m - z*m - 2*t - 391, m = 3*t + 387. Does 13 divide m?
False
Let n(m) = -12 + 3*m - 10 - 18*m. Let v be n(-12). Suppose -s + 2 = -v. Is s a multiple of 17?
False
Let m be 6/(-6) - 1/(-2)*-20226. Does 8 divide (m/13)/(-4 + 2)?
False
Suppose -14956 - 3272 = -28*x. Is 3 a factor of x?
True
Let t(m) be the first derivative of m**3 - 9*m**2 + 14*m - 93. Is t(7) a multiple of 5?
True
Suppose -4*g + 5*g = 5. Let h(b) = 0 + 4*b**2 + 2 - 21*b - 8 + 17. Is 2 a factor of h(g)?
True
Let d(k) = -3*k - 19. Let v be d(14). Let z = v - -166. Suppose -5*w + 4*a + z = 0, 3*a - 28 - 62 = -3*w. Is 19 a factor of w?
False
Let g = 12180 - 3889. Is 183 a factor of g?
False
Let f(c) be the third derivative of c**5/10 + c**4/24 + c**3/3 - c**2 + 22. Is 2 a factor of f(2)?
True
Let d(t) = -13232*t + 183. Is 120 a factor of d(-1)?
False
Let h(j) = 8*j**2 - 3*j + 4. Let y be h(4). Suppose 891 = 205*i - 194*i. Suppose -79*p = -i*p + y. Is 17 a factor of p?
False
Suppose 81224 = 4777*i - 4766*i. Is i a multiple of 87?
False
Suppose -3*u = 4*l - 7603, 3*u + u - 7*l = 10162. Does 37 divide u?
False
Suppose 3*j = x - 282, 2*x - x + 2*j = 282. Suppose 2*r = -4*k + x, r - 3*k - 112 = 14. Is r a multiple of 5?
True
Let b(r) = 178*r + 6. Let h be b(1). Let u = h + 716. Suppose 13*g + u = 23*g. Is g a multiple of 45?
True
Let p(q) = q**2 + 9*q - 10. Let t be p(-10). Suppose 11*l + 999 - 9 = t. Let z = 134 + l. Is z a multiple of 22?
True
Let t = 31 - 11. Suppose 0*v = 4*n - 4*v - t, 4*n + 4*v = 20. Suppose y - 3*s = 9, n*s = 3*y + s - 27. Is y even?
False
Let x(m) = 92*m**2 - 16*m + 84. Is x(-12) a multiple of 161?
True
Let z(w) = 32*w**2 - 2*w - 2. Let u be z(-1). Let s = -28 + u. Suppose -p - 363 = -3*r + 4*p, r = s*p + 128. Is r a multiple of 14?
False
Let j(z) be the second derivative of -7/2*z**2 + 1/4*z**4 - 7/6*z**3 + 0 - 21*z. Is 13 a factor of j(-6)?
True
Let q(f) = -f**2 + 6*f + 1040. Is 26 a factor of q(0)?
True
Let w(k) = -k**3 + 37*k**2 - 145*k + 65. Is 71 a factor of w(26)?
False
Let h = -11166 + 11566. Is h a multiple of 5?
True
Let i be ((-4)/(-5) + 0)*30. Suppose 3*p = i - 9. Suppose 0 = -5*k - 5*d - p, 13 = 5*k - 0*k - d. Is 2 a factor of k?
True
Let z(l) = -9 - 4 + 39 - 13 + 23*l - 7. Let m(d) = 4*d**2 - 1. Let n be m(1). Is 12 a factor of z(n)?
False
Let f be (24/9)/(6/9). Let v(o) = -o**3 - 11*o**2 - o - 15. Let k be v(-11). Does 15 divide (f - -117 - -5)*(-2)/k?
False
Suppose 68*n - 63*n + 4*k = 118960, -5*n + k + 118935 = 0. Is n a multiple of 21?
False
Suppose -15*y + 2 = 92. Let s be 32/y - (-3)/9. Does 29 divide 262/8 - ((-10)/(-8))/s?
False
Let d = -6666 - -15834. Is d a multiple of 48?
True
Does 9 divide (-35072)/48*(15/20 + -3)?
False
Let h(i) = -30*i**2 - 8*i - 28. Let o(j) = 20*j**2 + 5*j + 18. Let k(m) = -5*h(m) - 7*o(m). Is k(5) a multiple of 4?
False
Let u(l) = -l**2 + l + 3. Let f be u(-6). Let z = f + 38. Is 34 a factor of 168/280 - (z + 1344/(-10))?
True
Suppose -82 = w + 4*u, w + 2*u = 5*u - 117. Let q = -102 - w. Does 67 divide -6*(-78 - q/(-6))?
False
Suppose 46*r - 48*r + 60 = 0. Let w = r + 15. Is 9/w + (134/5 - 0) a multiple of 27?
True
Let j(d) = -d**2 - 4*d + 1. Let t be j(-3). Let p = -116 + 117. Suppose t*h - 2*n = 314, -p = 2*n - 7. Is 20 a factor of h?
True
Suppose -278 = -2*b - a, 3*b + 3*a = 7*b - 536. Let d = 287 - b. Is d a multiple of 17?
False
Suppose 9 = w + 8*w. Does 8 divide -4 + (1 - w) - (14 - 189)?
False
Let c(d) = -d**3 + 7*d**2 - 7*d - 2. Let n be c(5). Let f = -904 - -1986. Suppose n*y - 3734 = -f. Is 12 a factor of y?
True
Let i be (-2 - -34) + 5/1. Suppose 0 = -i*o + 25*o + 1584. Does 4 divide o?
True
Is 75 a factor of (-165 + 169)*(5927 + -2)?
True
Let g(d) = 458*d**3 - 9*d**2 + 28*d + 8. Is g(3) a multiple of 6?
False
Let m = -31002 - -52407. Is m a multiple of 43?
False
Suppose 11 = -4*l + 43. Is 3 a factor of 36/l - 4 - 190/(-4)?
True
Suppose -586 = -3*j - 2*d - 123, j - 165 = 2*d. Is j a multiple of 2?
False
Suppose 7*z - 1359 = 2736. Is z a multiple of 5?
True
Let y = 249 + 805. Does 21 divide y?
False
Suppose -3*k + 4*u = -7 + 19, 2*k = -5*u - 8. Is 23 + ((-16)/k - -1) a multiple of 8?
False
Let w(y) be the second derivative of y**3/6 + 7