e 114 = -5*n - 726. Let f = -44 - n. Is 31 a factor of f?
True
Suppose 0*v = -7*v + 3003. Let c = v - 209. Is 10 a factor of c?
True
Is 798/(-14)*(-8)/3 a multiple of 40?
False
Suppose -4*i + 7976 = -4*v, 2*i = -3*v + 4008 - 0. Does 111 divide i?
True
Let b(s) = -2*s + 59. Is b(10) even?
False
Let h = -26 + 27. Suppose -3*t + 8 + h = 0. Suppose 47 = t*z - 2*u, -5*u = -4*z + 3*z + 20. Does 7 divide z?
False
Suppose 0 = -t - 3*q + 32, 4*q = -6 - 6. Is 3 a factor of t?
False
Let m = 2618 - 1433. Does 12 divide 2/((-10)/m*-3)?
False
Suppose 12 = -8*a + 12*a. Suppose 135 = a*d + 3*f, 4*d - f - f = 186. Is d a multiple of 18?
False
Let r(u) = u**3 + u**2 + u + 20. Suppose 0 = -3*m + 7*m. Is r(m) a multiple of 5?
True
Suppose 12*p + s = 9*p + 1184, -3*s = -4*p + 1583. Is 13 a factor of p?
False
Suppose 4*i - 15 + 63 = 4*t, t = 3. Let g be i + -7 + (3 - 1). Let d = g + 17. Does 2 divide d?
False
Suppose 3*m - 12 = 6*m. Is 10 a factor of (76/19)/(m/(-30))?
True
Suppose 5*t + 25 = -5*n, 10*n = 2*t + 5*n + 3. Let d = 5 - t. Is 9 a factor of d?
True
Let r be 5 - 2 - 1/1. Suppose -28 = -4*a + r*a. Does 4 divide a?
False
Is (6/(-4))/((-2)/1492) a multiple of 22?
False
Let t(y) = -y**2 - 19*y - 17. Let s be t(-18). Is 15 a factor of (-2 + s)/(3/(-150))?
False
Let q(t) be the second derivative of t**7/2520 - t**6/120 - 11*t**5/120 - 5*t**4/6 - 6*t. Let k(w) be the third derivative of q(w). Is 29 a factor of k(13)?
False
Let i(j) = 12*j - 13. Suppose 33 = 2*y + o, y - 4*y + 5*o + 17 = 0. Is i(y) a multiple of 27?
False
Let z = 73 - 66. Is 8 a factor of 40*((-3)/z + (-43)/(-35))?
True
Let c(z) = 2*z**2 + 34*z + 190. Is 20 a factor of c(-13)?
False
Suppose 0 = -a + 238 + 34. Suppose -3*i + 6*i - a = -t, -2*i + 188 = -t. Does 4 divide i?
True
Suppose 0 = -2*q + v + 4258, -6828 - 1688 = -4*q - v. Is 18 a factor of q?
False
Let x(r) be the third derivative of 1/60*r**5 - 1/6*r**3 + 0 - 3*r**2 - 1/12*r**4 + 0*r. Is 17 a factor of x(-5)?
True
Suppose 3*h - 670 - 965 = -3*b, -4*b + 4*h + 2172 = 0. Does 34 divide (b/6 - -4)*(-6)/(-4)?
False
Let h = -258 + 558. Is h a multiple of 11?
False
Let n be 612/42 + 6/14. Let y be ((-9)/(-6))/(n/20). Suppose 152 - y = 5*c. Is c a multiple of 15?
True
Let d(w) = -6*w + 1. Let l be d(-11). Let n = l + -8. Is n a multiple of 13?
False
Let l = 1 - -80. Suppose -144 = -21*w + 192. Suppose 13*x - w*x = -l. Is x a multiple of 14?
False
Let t = -35 + 40. Suppose -c = t*w - 2*w - 63, 0 = -c - w + 57. Does 45 divide c?
False
Suppose -15 = -2*j - 1. Is (-7)/((-8)/j + -3 + 4) a multiple of 7?
True
Suppose 2*p = -1 - 19. Let o be p/20 + (-133)/(-2). Does 33 divide -3*2/(-12)*o?
True
Suppose -28*c + 2*r = -30*c + 458, -c - 4*r = -244. Is c a multiple of 28?
True
Let k = -96 - -159. Let z = 87 - k. Is z a multiple of 15?
False
Suppose 9 = k + 3*p, 2*k - 3*k - 5*p = -9. Does 3 divide k?
True
Suppose i - 4 = -23. Let k = i - -55. Is k a multiple of 9?
True
Suppose 0 = -9*q + 7*q + 20. Suppose -q + 4 = -a. Let i = a + 23. Is 25 a factor of i?
False
Suppose 4*z = -5*t + 2048 + 1395, 0 = -3*z + 3*t + 2616. Does 23 divide z?
False
Let c be 9/(4 - (-575)/(-140)). Let l = 172 + c. Suppose 2*p + l = 4*p. Is p a multiple of 22?
True
Let h = 54 - 54. Suppose 3*m = -h*m - 2*l + 111, -m = 4*l - 47. Is 35 a factor of m?
True
Suppose 2*j = -40 - 282. Let x = j + 317. Is 3/(-2) - x/(-8) a multiple of 12?
False
Let r(z) = -z**3 - 4*z**2 + 8*z + 8. Let u be r(-5). Let x(m) = -15*m + 3. Is 12 a factor of x(u)?
True
Suppose -5698 = -12*m + 14. Is 14 a factor of m?
True
Let t(d) = -d**2 - 14*d - 16. Let o be t(-9). Let i = 35 + o. Does 11 divide i?
False
Let j(f) = -15*f + 4. Let r be j(-5). Suppose -3*w + r = w + t, -23 = -2*w + 5*t. Let o = 34 - w. Is o a multiple of 4?
False
Let t(n) = -80*n**3 + 4*n**2 - 3*n - 11. Is t(-2) a multiple of 31?
True
Let l(m) = -6*m - 3. Let v be l(-1). Suppose -p + 4*x = -7, -31 = -3*p + v*x + 17. Does 9 divide p?
False
Let r = 12 + -15. Let t be -2 + -2 + r + 16. Let z = -5 + t. Does 2 divide z?
True
Suppose 4*x - m - 204 = -3*m, 3*x - 3*m = 153. Suppose 0 = 5*b - 34 - 171. Suppose -4*t + b = -x. Does 13 divide t?
False
Suppose -3*m = -3*v - 4*m + 130, 0 = -5*m + 20. Is 2 a factor of v?
True
Let h = 0 + -1. Is h + 2112/56 - (-2)/7 a multiple of 3?
False
Suppose 3*z = -s + 4 - 24, 3*s - 5*z + 46 = 0. Is 10 a factor of s + 35 - (1*-2)/2?
False
Let h(q) = 3*q**2 - 5*q - 10. Let s(f) = f + 17. Let n be s(-7). Is 30 a factor of h(n)?
True
Suppose 0 = -2*r, 3*a - 2*r - 18 = 2*r. Let b(z) = z**2 - 7. Is b(a) a multiple of 4?
False
Suppose -3*k + 5*j + 40 = 0, 0 = -4*k + 2*k - 2*j. Suppose -k*c + c + 36 = 0. Suppose -9*r + c = -8*r. Is r a multiple of 3?
True
Let x = 597 + -336. Is x a multiple of 29?
True
Is 4/(-54) - 4727*(-8)/216 a multiple of 7?
True
Let r = -253 + 549. Is 2 a factor of r?
True
Let w = -435 + 1326. Is 45 a factor of w?
False
Suppose y + 56 = -r - 0*y, y = 3*r + 184. Is (4 - 1 - r)*2 - -1 a multiple of 29?
False
Let o(s) = -13*s - 26. Does 11 divide o(-13)?
True
Let a(s) = -1 + s - 25*s**3 + 5*s**3 - s**2 + 13*s**3 + 47*s**3. Let c(y) = -2*y - 3. Let m be c(-2). Is a(m) a multiple of 13?
True
Suppose 27 = 6*k - 21. Suppose 9 = -k*f + 5*f. Let m(t) = -7*t - 9. Is 6 a factor of m(f)?
True
Let p(i) be the second derivative of 3*i**3 + 3*i**2 + 16*i. Is p(15) a multiple of 12?
True
Let s(h) = -2*h**3 + 3*h**2 + h - 2. Let o be s(2). Let d(m) be the third derivative of -5*m**4/24 + 13*m**3/6 + 7*m**2. Is 6 a factor of d(o)?
False
Let d(a) = -7*a**2 - a - 3*a + 0*a**2 + 7*a + 3. Let g be d(-3). Let f = 106 + g. Is f a multiple of 7?
False
Let i = -163 + 671. Is 4 a factor of i?
True
Suppose 4*l + 4 = 4*w, -4*w + 8 = 4*l - 4. Let m(f) = -4*f**w - 24 - 2*f + 11 + 14 + 18*f**2. Does 13 divide m(1)?
True
Let p(w) = -1. Let o(a) = -9*a - 5. Let s(q) = o(q) + 6*p(q). Is s(-19) a multiple of 20?
True
Suppose -4*z = -5*t - z + 84, 2*z + 21 = t. Suppose -3*a + t = -9. Suppose j = 4 + a. Is 12 a factor of j?
True
Suppose 0 = -9*h + 2*h + 14. Is (-22)/11*(-165)/h a multiple of 12?
False
Suppose 0 = -5*p + r - 5*r + 334, 5*p - 4*r - 366 = 0. Suppose -4*k - 26 = p. Let q = 13 - k. Is q a multiple of 10?
False
Suppose -4*j + 35 = -0*j + 3*c, 4*c = 4*j. Suppose -9*f = -j*f - 16. Suppose 2*m - 2*p = 66, f*p - 41 = -m + p. Is 14 a factor of m?
False
Let x be (-1 - 221/3)*(-98 + 95). Let v = -141 + x. Is v a multiple of 35?
False
Suppose 7*n + 44 = 8*n. Suppose -h - 2*x = -n, -6*h + 2*x = -h - 196. Is h a multiple of 5?
True
Suppose 0 = 3*y + 3 + 3. Let m be (14 - 2/y) + -3. Is 7 a factor of (-2)/(-4) + 246/m?
True
Suppose 7*n - 3*n = -132. Let t = n + 67. Is t a multiple of 8?
False
Let z be 2*55/2*(-3)/(-15). Suppose 7*n + 360 = z*n. Is 24 a factor of n?
False
Suppose 0 = 17*l - 130 - 23. Let q = l - -208. Is 9 a factor of q?
False
Let z = 26 - 25. Is (820/2)/5 - z a multiple of 27?
True
Let k = 5 - -22. Let t = k - -26. Is t a multiple of 6?
False
Does 61 divide (-8058)/(30/(-5)) - 5?
False
Let x be -3 + -3*4/(-6). Let p be (0/x)/(5 - 8). Suppose p*q - 4*q = 3*h - 100, 3*q - 4*h = 50. Does 12 divide q?
False
Let k be (-2)/8 + 3825/(-60). Let y = k + 107. Let p = y - 25. Is p a multiple of 9?
True
Suppose 6*a - 3*g = 2*a - 296, 4*a - 2*g = -300. Let v = -376 - -246. Let o = a - v. Is o a multiple of 26?
False
Let x(w) = -w**3 + 6*w**2 + 7*w + 3. Let q be x(7). Suppose -2*h + q*b = -147, 5*h = -b - 0*b + 325. Does 10 divide h?
False
Let y(m) = 5*m - 2 + 0 - 27*m + 5. Let v be y(1). Does 9 divide 2/v + 12144/209?
False
Let b = 32 + -32. Let p = b + 87. Is 19 a factor of p?
False
Let x(c) = 4*c**2 - 10*c + 113. Does 7 divide x(7)?
False
Suppose 0 = 2*q + 4*h - 308, 625 = 4*q + h - 2*h. Suppose q*l + 1292 = 160*l. Is l a multiple of 16?
False
Suppose -3*a + a - 3*q + 391 = 0, -4*q + 589 = 3*a. Is a a multiple of 21?
False
Let p(i) = 7*i**2 - 8*i - 6. Let l be ((-66)/24 - -1)*-4. Is p(l) a multiple of 16?
False
Let i = -29 - -36. Let q(d) = d**2 - 6*d + 12. Is q(i) a multiple of 7?
False
Suppose -34*f = -23092 - 3496. Is f a multiple of 17?
True
Let x = -1258 - -1798. Is x a multiple of 39?
False
Let j(f) = -7*f - 94. Let w be j(-15). Suppose -12*t + 115 = -w*t. Is 23 a factor of t?
True
Suppose 0 = t + 3*t. Suppose 0 = -3*i - 4*c + 14, -i