- 505. Does 11 divide k?
False
Suppose -140*r - 500 = -x - 135*r, 0 = -5*x - 2*r + 2365. Is 5 a factor of x?
True
Suppose -4*p + 42728 = 11*m, 17*m - 2*p - 7766 = 15*m. Is m a multiple of 5?
False
Suppose -24 = -3*m - 2*m - 4*c, -4*c + 12 = 2*m. Let i be 0*((-2)/m - 0). Suppose -2*z + 2*x + 30 = i, 0*z + x = 3*z - 49. Is z a multiple of 5?
False
Let z(r) = 238*r**2 - 5*r + 3. Let k be (14/(-35))/((-2)/10). Let j be z(k). Does 15 divide (6/1)/((-9)/(j/(-6)))?
True
Suppose -4*u = -2*j + 20, -3*u - 10 = 2. Suppose h - 4 = -3*n, -n - j*h - 7 = -0*h. Suppose 0*r + n*r = 4*f - 265, 2*f - 2*r = 134. Does 11 divide f?
False
Let s be (13/7 - 2) + 1600/175. Suppose -5*j + y + 948 = 0, s*j - 14*j - 3*y + 956 = 0. Is j a multiple of 14?
False
Let w = -221 - -496. Let l = -167 + w. Does 4 divide l?
True
Suppose -160 = 7*t + 3*t. Let b be t/8 - (-1 + -4). Suppose 5*c = b*q - 159, 6*c = 3*q + 5*c - 171. Does 16 divide q?
False
Let o(b) = b**3 + 15*b**2 - 18*b - 30. Let l be o(-16). Suppose -3*k + 4*w = -4111 + 1103, l*k + 5*w = 2036. Does 56 divide k?
True
Suppose 4*y = y + 54. Suppose 33 = -y*j + 21*j. Let b = j + 2. Is b a multiple of 2?
False
Suppose 144*n - 147*n = 666. Let f = n + 282. Does 3 divide f?
True
Suppose u = -2*j + 5512, -4*j - 16*u + 11030 = -17*u. Is j a multiple of 19?
False
Let n = -5500 - -8648. Is n a multiple of 6?
False
Let n(f) = -317*f - 12510. Does 14 divide n(-46)?
True
Let u = 41 + -39. Suppose -14 = -s + 4*t + 6, -4 = -3*s - u*t. Suppose m + 4*p = s*m - 57, 4*m - 76 = -5*p. Is 19 a factor of m?
True
Let x(o) = -o**2 - 12*o + 37. Let q be x(-9). Let b = -25 + q. Suppose 2*f + 3*v - b = -0*f, f + 3*v - 15 = 0. Does 8 divide f?
True
Let w(b) = -2*b**3 - 46*b**2 - 118*b - 242. Is 84 a factor of w(-29)?
True
Let t be 6*(4 - 30/9). Suppose 5*s + 697 = 4*l, 4*l - t*s + 5*s - 667 = 0. Suppose -4*p = -p - l. Is p a multiple of 8?
True
Suppose 0 = 2*v + 3*d - 3754, -d - 1421 + 5183 = 2*v. Is 25 a factor of v?
False
Let z(n) = 142*n**3 - 5*n**2 - 4*n - 3. Let t(m) = -143*m**3 + 6*m**2 + 5*m + 4. Let b(p) = -4*t(p) - 5*z(p). Let v = 1513 - 1514. Does 13 divide b(v)?
False
Suppose -25 = 5*l, 152*h + 2*l + 86302 = 156*h. Does 76 divide h?
False
Is (-43)/((-559)/312)*1461 a multiple of 141?
False
Suppose 42*k - 14550 = 37*k - k. Is k even?
False
Does 9 divide 5023 + ((-5)/(-6) - (-21)/126)?
False
Suppose -443394 = 1055*t - 1157*t. Is t a multiple of 189?
True
Suppose -3*r + 7*r = 896. Let n = r - 204. Is 6 a factor of n?
False
Let h be 1*8*(-8)/16. Is 126/(-5 - (h - 2))*2 a multiple of 42?
True
Let s(y) = 810*y**2 + 125*y - 127. Is s(-7) a multiple of 208?
True
Suppose -6*a - 812784 = -71*a + 82071. Does 8 divide a?
False
Suppose -5*m - 26107 = -4*u, -19588 = -39*u + 36*u - 4*m. Is 34 a factor of u?
True
Let y be (2 - -1) + (-1)/(-1). Let c be -2 + ((-8)/(-12))/(1/6). Suppose -c*a = y - 22. Does 9 divide a?
True
Suppose 4*i - 2*n + 7*n - 11959 = 0, -5*i - n + 14975 = 0. Suppose i = 10*o - 2064. Does 46 divide o?
True
Suppose 0 = -3*k - 16*k. Suppose k = 2*j - x - 70, x + 140 = 4*j + 3*x. Is 7 a factor of j?
True
Let a(s) = -9663*s - 2227. Does 22 divide a(-1)?
True
Let u = 51 - 11. Let h = 42 - u. Is (-2 + h + 0 + 1)*51 a multiple of 26?
False
Let j(b) = -b**3 - 28*b**2 + 36*b - 42. Let i be j(-30). Let d = i + -398. Is 7 a factor of d?
True
Let t(b) = 115*b**3 - 7*b**2 + 17*b - 25. Is 13 a factor of t(3)?
True
Let l(a) = -5480*a + 124. Is 4 a factor of l(-1)?
True
Suppose 2*a = -2*b - 64, 6*a + 158 = -5*b + 2*a. Let i be 10/b - 1846/(-3). Is 6 a factor of 6/4 - i/20*-2?
False
Let o = 23 - 23. Suppose -3*z - 310 = -5*r - o*z, 3*r + 2*z - 167 = 0. Suppose 3*p = r + 13. Is 5 a factor of p?
False
Suppose -40*c = -30*c - 71410. Is 17 a factor of c?
False
Let i = 620 - 660. Suppose -2*t + 31 = -9. Let u = t - i. Is u a multiple of 10?
True
Suppose -2*k = -13 + 5, -5*y + 525 = 5*k. Let t = 228 - y. Suppose 5*p = 422 - t. Does 12 divide p?
False
Suppose 10*x + 3*x + 2*x = 0. Suppose x = -163*z + 162*z + 984. Is z a multiple of 12?
True
Let i(r) = 41*r - 431. Let o be i(11). Is 39 a factor of o/6*(-1947)/(-22)?
False
Let v = -772 - -1462. Suppose -30*t + v = -24*t. Is 17 a factor of t?
False
Let h(l) = -368*l**3 + 4*l**2 - 4. Let b be h(1). Let u = -335 - b. Is u a multiple of 33?
True
Let p = 53 + -116. Let s = -53 - p. Suppose -s + 32 = f. Is f a multiple of 8?
False
Suppose 2*f - 12 = 4*f + 2*x, -5*x + 5 = 0. Let b(g) = -g**3 + 9*g**2 + 6*g - 8. Is b(f) a multiple of 18?
False
Suppose 0 = 6*o - 2*o + 228. Let w = o - -59. Suppose -w*t - 45 = -7*t. Is 2 a factor of t?
False
Let i be 0 - (-14 + 4 + (-2 - -3)). Suppose 3*x = -6, -10*u - 3*x = -i*u - 674. Does 16 divide u?
False
Let f(y) = -y**2 - 25*y - 48. Let i be f(-22). Suppose c - 48 = -i. Is c a multiple of 7?
False
Suppose -27*j = -3107 - 2239. Suppose 348 = 6*v - j. Does 12 divide v?
False
Suppose 252*b - 253*b = -400. Does 6 divide b?
False
Let r be 1 + (-10356)/(-10) + (-62)/(-155). Let p = 1499 - r. Is p a multiple of 42?
True
Let p(k) be the third derivative of k**6/120 - k**5/6 + 17*k**4/24 - 5*k**3/3 + 135*k**2. Does 43 divide p(13)?
False
Suppose -q - 1108 = -6*q + 4*d, -5*q = 3*d - 1094. Let v = 475 - q. Does 15 divide v?
True
Let m = 24 - 100. Let o = m - -77. Suppose n = -o, 5*x - 431 = x - n. Is 24 a factor of x?
False
Let n(g) = -g**3 + 14*g**2 - 2*g + 16. Suppose 0 = 2*f - 7*f. Suppose f = -4*p + 5*o + 47, 4*o - 9 + 31 = 2*p. Is 41 a factor of n(p)?
False
Suppose 5*y = q - 507, 30*q = 31*q + y - 531. Is q a multiple of 31?
True
Is 12 a factor of 743/3*((-264)/22 - -15)?
False
Let r be (46 - 0)*(-5 - (-36)/8). Let t be 1*25/5 - r. Does 24 divide (-4036)/(-28) + 3 + (-88)/t?
True
Let h = 140 + 590. Let j = h + -114. Is 11 a factor of j?
True
Let y = 6594 + -5480. Does 27 divide y?
False
Let j(z) = -z**3 - 15*z**2 + 3*z + 18. Let b be j(-15). Let r = b - -29. Suppose 3*q - 221 = k, q = -2*q + r*k + 220. Is 14 a factor of q?
False
Let j(r) = 2 - 2 + 1 + 8*r. Suppose 38*s = 179 - 65. Is 5 a factor of j(s)?
True
Let i be 36 - (-18)/(-24)*8. Suppose -49*s = -51*s + i. Is s a multiple of 4?
False
Suppose 1328 = 7*g + g. Suppose 4*x = 3*x + g. Is 19 a factor of x?
False
Suppose 15*q + 20 = 4*u + 19*q, -5*u = 3*q - 33. Suppose -340 = u*a - 934. Is 4 a factor of a?
False
Let y(o) = o**3 + 72*o**2 + 72*o - 187. Is 16 a factor of y(-69)?
False
Suppose 20*a = -18*a + 18886. Let k = a - 225. Does 16 divide k?
True
Let q(j) = 669*j**3 + 15*j**2 - 35*j + 34. Does 25 divide q(4)?
True
Let w(f) = 77*f**2 + 6*f - 5. Let h be w(2). Suppose 0*m + 315 = 5*b + 2*m, 5*b - 5*m = h. Let z = -51 + b. Is 6 a factor of z?
True
Let z = -322 - 369. Let o = z + 1276. Is 15 a factor of o?
True
Suppose 24105 = 23*s - 867007. Is s a multiple of 116?
True
Let y be (-1)/(-3) + 9/(-27). Let o be (y - -3) + (21 - -4). Is 18 a factor of o + (-3)/((-4)/4)?
False
Let z(k) = -2*k**3 - 3*k**2 + k - 21. Let t be z(-3). Suppose 0 = t*i + 2*d - 463, 358 + 260 = 4*i + 3*d. Does 22 divide i?
False
Suppose 38*j = 975 + 11869. Suppose -j = -4*z - 2*y, -z - 2*y + 172 = z. Is z a multiple of 3?
False
Let s(g) = -g**3 + 12*g**2 + g - 10. Let l be s(11). Suppose -l = -5*d + 198. Is 16 a factor of d?
True
Let j(w) = w**2 + 29*w + 800. Does 28 divide j(-25)?
True
Let q(x) = 2*x**2 - 17*x + 15. Let u be q(8). Suppose 1627 = -2*z + u*z - 4*j, 0 = 2*z + j - 643. Does 17 divide z?
True
Let i(c) = -17*c**3 - 3*c**2 + 9*c - 4. Is i(-5) a multiple of 2?
False
Is 15 a factor of (-168)/(-252) + 268648/12?
False
Suppose -4*a - o = 3*o - 148, a = 4*o + 12. Let j = 31 - a. Is (-1)/j + 28/2 even?
False
Let i be 268 - (0*(-5)/20)/1. Suppose 2*w + i + 726 = 5*u, -2*u - 5*w + 386 = 0. Is 33 a factor of u?
True
Suppose 0 = 13*m - 26389 + 5095. Is m a multiple of 63?
True
Suppose -q = 3*t - 948 - 1701, -q + 3*t = -2607. Is q a multiple of 3?
True
Let r(v) be the first derivative of -43*v**2/2 + 154*v + 111. Does 18 divide r(-14)?
True
Let j be (-16)/64 + 26/8. Let c(k) = 20*k + 5 - 5*k - 10*k + 12*k**2 - 3 + k**j. Is c(-11) a multiple of 7?
False
Let x be (1 + -176)*(-25)/(-25). Let g = -83 - x. Is 9 a factor of g?
False
Let i be 536/56 - (-6)/14. Suppose -4*u - 16 = -2*v - 2*v, 5*v + u = -i. Is (7*v)/(-4 + (-115)/(-30)) a multiple of 5?
False
Let m 