z) = 8 - 2*z**2 - 2*z**3 - 3 + 4*z + 3. Let x(r) = -d(r) + g(r). Does 14 divide x(-5)?
True
Suppose 23*w - 25*w = 136. Suppose -5*b = -b - 3*j - 371, 2*j = b - 89. Let d = b + w. Is 9 a factor of d?
True
Suppose -4*n = -2*u - 8*n + 1232, 0 = -2*n + 4. Is u a multiple of 17?
True
Suppose -3*n = 9*i - 4*i - 2214, 0 = 5*i. Is n a multiple of 6?
True
Let x = 880 + -265. Is x a multiple of 15?
True
Let w = -55 + 134. Is 7 a factor of w?
False
Let u(o) = -34*o - 250. Is u(-12) a multiple of 24?
False
Let h = -9 - -5. Is 9 a factor of 23 - (1/5 - h/5)?
False
Suppose 178*r - 884 = 174*r. Is 4 a factor of r?
False
Suppose 0 = 20*t - 29*t + 1530. Does 4 divide t?
False
Let d be (-36)/(-15)*(4 - (-3)/(-2)). Let y(j) = j**2 - 4*j + 3. Let k(r) = -r - 1. Let i(c) = -2*k(c) + y(c). Does 12 divide i(d)?
False
Suppose 0 = 5*i - 12*i + 315. Does 33 divide (-10)/i - (-857)/9?
False
Let p(y) = -9*y + 4. Let c(a) = -6*a**2 + 5*a + 4. Let t be c(-2). Let l = 27 + t. Does 8 divide p(l)?
False
Let t(o) = 788*o**2 + o + 2. Is t(-1) a multiple of 98?
False
Let s be (-3 + (-8)/(-2 - 2))/1. Suppose -u - 14 = -k - 3*u, -5*k + u + 37 = 0. Is 4 a factor of k*s/(-1) - 0?
True
Let s(a) = -7*a + 9. Let m = 8 - 11. Let u(h) = 2*h - 1. Let l be u(m). Is s(l) a multiple of 18?
False
Suppose 3*y - 396 = -0*y. Suppose 7*z + 264 = 824. Let v = y - z. Does 13 divide v?
True
Let j be (-51)/(-15) + (36/10)/6. Does 12 divide ((-14)/(-7))/j - 406/(-4)?
False
Let y(u) = 2*u**2 + u + 37. Is y(-4) a multiple of 4?
False
Let h(j) = j**2 + 10*j + 4. Let s(p) = -11*p**2 + 3*p - 2. Let c be s(1). Let w be h(c). Suppose -w*q + 0*q + 348 = 0. Is 24 a factor of q?
False
Suppose -3*d = 2*n - 516, 0 = -4*d + 3*n - 4*n + 683. Let y = d + -97. Is 7 a factor of y?
False
Suppose 43 = -5*y + m, 2*y + 3*m - 4*m = -19. Let q = y - -34. Suppose -2 = -a + q. Is 14 a factor of a?
True
Suppose -27*x = -25*x - 2360. Does 48 divide x?
False
Let w be (10 - 1) + ((-8)/2)/2. Suppose -345 - 19 = -w*s. Does 13 divide s?
True
Let b = 91 + -22. Let d = b - -22. Is 6 a factor of d?
False
Let j be -9*(2 - 3)*(5 - -2). Suppose -133 - j = -4*z. Is z a multiple of 20?
False
Let j(t) = 20*t**2 - 6*t - 38. Is j(6) a multiple of 6?
False
Let l = 154 + -115. Does 3 divide l?
True
Let o(v) = 3*v**2 - 7*v + 53. Is o(8) a multiple of 27?
True
Suppose 0 = -2*x + 2*a + 450, 4*a + a = -3*x + 635. Is x a multiple of 44?
True
Let i be 18/(-81) - (-184)/18. Is 20 a factor of 4/i - (-792)/20?
True
Suppose 14*z - 26240 = 2754. Is z a multiple of 16?
False
Suppose 2*v + 5*m - 51 = 0, 2*v - 110 = -2*v - 2*m. Let i = v + -28. Suppose 5*j + 4*o - 24 = i, -2*j + 0*j + o + 20 = 0. Is j a multiple of 8?
True
Let d = 203 + -37. Let p = d - 98. Is p a multiple of 13?
False
Let i = -21 + 21. Suppose i = -13*v + 11*v + 32. Let k = 31 - v. Does 3 divide k?
True
Does 26 divide (-29 - -81)/(4/34)?
True
Let b = 530 + -339. Does 14 divide b?
False
Suppose 3*f = 4*g + 446, 478 = 3*f + 5*g - g. Is f a multiple of 14?
True
Does 29 divide 76/3*-1*2877/(-28)?
False
Let h = -172 + 137. Let s be -58 + 2*(3 - 2). Does 12 divide (s/h)/(3/105)?
False
Let m be (135/20)/((-3)/(-8)). Let v(k) = 10*k - 33. Does 7 divide v(m)?
True
Let p(j) = 2*j**3 - 3. Let c = 4 + -1. Let o be p(c). Let w = 77 - o. Does 14 divide w?
False
Let s = -40 + 40. Suppose -x + 4*x - 127 = -2*w, s = -4*x - 12. Does 17 divide w?
True
Suppose -2*n + 5*h + 1 = 6*h, 0 = 5*n + 3*h - 1. Let f(m) = 101*m - 6. Is f(n) a multiple of 49?
True
Let v(s) = -s**3 - 3*s**2 + 3*s - 2. Let q be v(-4). Let d be (-4 - (-7 + q))*-1. Is 23 a factor of (-4 - d) + 47 + -4?
False
Let u(b) = -b**3 - 5*b**2 - 6*b + 14. Let g be u(-6). Suppose a - 225 = -4*i, 0 = -i - 0*i - 4*a + 60. Let v = g - i. Is 15 a factor of v?
True
Let s(f) = f**2 + 8*f + 24. Let g be (7/2)/((-22)/44). Is 12 a factor of s(g)?
False
Let h(n) = n**2 - 31*n + 311. Is h(13) a multiple of 5?
False
Let y = -118 - -118. Is y - -1 - (-21 - 182) a multiple of 17?
True
Let n be (-48)/21 + 2 - 44/(-7). Does 20 divide (97 - 1) + (-6)/n?
False
Let v(j) = -54*j - 5. Let s(n) = 53*n + 4. Let z(u) = -5*s(u) - 4*v(u). Is 8 a factor of z(-1)?
False
Let j(n) = -6*n - 4. Let h be j(4). Let r(p) = -53*p - 1. Let c be r(-1). Let x = c + h. Does 9 divide x?
False
Let o = -1660 + 1837. Is o a multiple of 7?
False
Let m(j) = -j**3 - 12*j**2 - j - 16. Let x be m(-12). Let n(l) = -l - 5. Let s be n(x). Does 7 divide 1 + 3 + 11 + s?
True
Let g(v) = v**2 - 12*v - 1. Let s(z) = z**3 - 2*z**2 - 7. Let f be s(3). Suppose 0 = -4*p - d + 54, -d + f*d - 12 = -p. Is g(p) a multiple of 27?
True
Suppose -3*u - 4*c - 52 = 0, 5*u - 2*u + 5*c + 50 = 0. Let f = u - -35. Is 12/f*(0 - -55) a multiple of 13?
False
Let y be 15/(-30) + (-253)/(-2). Let c = -80 + y. Is c a multiple of 8?
False
Let i(u) = -8*u**3 - 3*u**2 - 2*u - 2. Let h be i(-2). Suppose 3*x - h = -0. Let m = x - -4. Is 5 a factor of m?
False
Suppose -5*a = 15, 5*q - 12 - 1 = a. Suppose y = c + 6, q*c = 3*y - 4 - 13. Is (-9 + c)/(1/(-2)) a multiple of 10?
True
Does 13 divide (-20)/(-45) - 7/(126/(-17884))?
False
Suppose -a = -0*s + 2*s - 547, 550 = 2*s + 4*a. Is s a multiple of 8?
False
Let w = 77 - 6. Does 15 divide w?
False
Let a(o) = -2*o**2 + 11 - 9*o**2 + 12*o + 13 - 7 - o**3. Let y = -32 - -20. Does 6 divide a(y)?
False
Is 14 a factor of 391 - (-5 + (7 - 3))?
True
Suppose j - 119 = 79. Is j a multiple of 22?
True
Suppose -4*k + u + 2168 = 0, -5*k + 5*u - 10*u = -2710. Does 31 divide k?
False
Suppose 2*s = -5*l + 23016 - 6023, 3*s = -3*l + 10194. Is 13 a factor of l?
False
Is 68 a factor of (-15)/20 - 265275/(-100)?
True
Suppose -8 = -5*q + 12. Suppose 2*t = -5*h + 2*h + 26, -q*t + h + 66 = 0. Is 3 a factor of t?
False
Let t(n) = -n**3 + 14*n**2 - 4*n - 8. Let g(v) = -v**3 + 15*v**2 - 3*v - 9. Let k(u) = 6*g(u) - 7*t(u). Is 2 a factor of k(7)?
False
Suppose -3*s - 2*j + 67 = 0, 5*s - 7*j = -2*j + 95. Is 10 a factor of 10/(-4 - s/(-5))?
True
Let l(d) = -30*d - 31. Suppose 108*y - 24 = 112*y. Does 41 divide l(y)?
False
Suppose -3*l + 22 = -3*w - 11, 4*w - 28 = -5*l. Let d = 28 - l. Is 442/10 - 4/d a multiple of 16?
False
Let t be ((-6)/(-5))/(1/30). Let j(w) = 26*w + 104. Let c be j(-4). Suppose c*u = -2*u + t. Is 3 a factor of u?
True
Let o = 181 + -148. Is o a multiple of 3?
True
Suppose -1 = 2*m + 11. Let f be (-2)/m + (-200)/6. Is 9 a factor of -2 + 5 + f/(-1)?
True
Let o be 8/1 + (-6 - -2). Suppose -o*b + 404 - 116 = 0. Does 18 divide b?
True
Let l = -28 + 31. Suppose -4*a + 294 = -a + 3*g, 4*a - 392 = l*g. Does 14 divide a?
True
Let a(v) = -v**2 + 6*v. Let l be a(2). Suppose l*i - 3*i = 25. Is ((-50)/(-8))/(i/20) a multiple of 9?
False
Suppose -4*y + 128 = 5*r, 3*y + 5*r - 87 = 14. Does 4 divide 33/44 + (-1)/(-4) + y?
True
Let i = -353 - -593. Is i a multiple of 24?
True
Let h be ((9 - 1) + -2)/2. Does 6 divide (-3)/h + 3 - -58?
True
Let s = -664 + 1072. Is 3 a factor of s?
True
Let o(u) = u**2 - 2*u + 3. Let c be o(2). Suppose 15 = -5*m - g, -3*g - 9 + 0 = c*m. Let f = m - -29. Is 24 a factor of f?
False
Suppose -500*v - 40 = -495*v. Let c be 4/(-6) - 1040/6. Does 22 divide 7/28 + c/v?
True
Let m(x) = -3*x**2 - x. Let c be m(2). Is 23 a factor of (-4)/((-8)/(-17))*c?
False
Let r(g) = -g**3 - 5*g**2 - g - 3. Let a be r(-5). Let f(o) = o - 6. Let s be f(6). Suppose -5*v = a*j - 20, s = -6*v + 2*v + 5*j + 16. Is v a multiple of 4?
True
Suppose 37*f + 585 = 46*f. Is f a multiple of 3?
False
Let w(r) be the second derivative of r**4/12 - r**3/6 - 15*r**2/2 - 5*r. Is w(-9) a multiple of 25?
True
Does 106 divide 9*(479 + (-6 - 5))?
False
Let x = 1366 - 1306. Suppose -3*s - 4*d = -43 - 43, -s - 5*d = -25. Suppose 29*w = s*w - x. Is 15 a factor of w?
True
Is 5 a factor of (-142)/((-9)/3 - -1)?
False
Let b = -120 + 264. Is 48 a factor of b?
True
Let n = 2 + -2. Suppose n = 2*x + 41 - 5. Does 10 divide (-1)/(-3) - 354/x?
True
Does 12 divide ((-70)/(-25) + -2)/((-4)/(-1010))?
False
Let v(z) = 3*z**3 - 5*z**2 - z + 6. Let p(m) = 4*m**3 - 4*m**2 + 6. Let t(i) = -4*p(i) + 5*v(i). Let u be t(-7). Is 8 a factor of u*(28/(-12) - -2)?
False
Is 18 a factor of (-3 - (-24 - -15)) + 4*41?
False
Suppose 5*y - 5*s = 40, -2*y + 7*s + 28 = 2*s. Suppose -27 = -5*b - 4*a, -3*b - y*a + 6 = -5*b. Suppose -33 = -b*q + 15. Does 8 divide q?