-11*b = -1022 - z. Is b a multiple of 16?
False
Let v = 3116 - 1386. Is 10 a factor of v?
True
Suppose 32*l = 31*l + 1. Let z(w) = 193*w + 3. Does 28 divide z(l)?
True
Suppose 13*y - 17*y - 5*r + 4338 = 0, 3*r + 2158 = 2*y. Is 25 a factor of y?
False
Let c be (-88)/14 - 4/(-14). Let n(m) = m**3 + 8*m**2 + 3*m + 7. Does 8 divide n(c)?
False
Is 3 a factor of (-4)/10 + (-2679)/(-285)?
True
Let g(r) be the third derivative of r**6/120 + r**5/5 + 5*r**4/12 + 3*r**3/2 - 13*r**2. Is 36 a factor of g(-10)?
False
Is 12 a factor of (-2)/8 + (-514444)/(-304)?
True
Let d be 38/4 + (-9)/6. Let l be d*(-11)/(44/72). Let c = l + 240. Is c a multiple of 28?
False
Is (-4 + 2)/(3/(-765)) a multiple of 17?
True
Suppose -4*p = -3*y + y + 6, 2*y = -p - 9. Let i be (y - -3)/(2 + -1). Suppose 8 = 2*v - i. Does 3 divide v?
False
Suppose 0 = 25*i - 13*i - 11172. Is 19 a factor of i?
True
Is 56 a factor of (-156)/((-24)/14*(-27)/(-216))?
True
Let u(g) = g**2 - 4*g**2 + 5*g**2 + 6*g**3 - 2*g**3 + g + 7. Let h(y) = -y**3 + y**2 - y. Let x(i) = -3*h(i) - u(i). Does 17 divide x(-6)?
True
Let r be (18/(-27))/(2/39). Let f = -21 - r. Let y(g) = -10*g - 1. Does 24 divide y(f)?
False
Let a be (-792)/(-9) - (2 - 1)*-2. Let i = 191 - a. Does 23 divide i?
False
Is (-10728)/(-42) + 3/(-7) a multiple of 36?
False
Let b be (-1)/((-170)/56 - -3). Suppose -g = 3*g - b. Is 2 a factor of g?
False
Let q = 13 + 22. Let h = q + -20. Suppose -h*l + 11*l + 156 = 0. Is l a multiple of 39?
True
Suppose -17 = -5*m - o, m - o + 4 - 5 = 0. Suppose y = g - 3*g + 15, -m*y = -4*g - 25. Does 5 divide y?
False
Suppose 5*n = 4*n + 24. Suppose 0 = -2*b - 2*b - n. Let f = 36 - b. Does 14 divide f?
True
Is 3 a factor of ((-4)/(-2))/(14/259)?
False
Suppose -3*y = -y - 16. Let r(o) = -y + o + 4 + 3*o. Is 6 a factor of r(4)?
True
Suppose 10*l - 9790 = -2200. Suppose -3*m = -2*s - 456, -m - l = -6*m + 3*s. Is m a multiple of 16?
False
Let d = -802 + 804. Let f be 5*((-14)/(-10) - 1). Suppose -4 = -d*m, -m + f*m = -x + 30. Is x a multiple of 7?
True
Let q be (-1)/(-2)*(-32)/(-2). Let w = 45 + q. Is 15 a factor of w?
False
Let l(u) = -108*u**2 + 11*u + 15. Let i(v) = -54*v**2 + 5*v + 7. Let c(g) = -13*i(g) + 6*l(g). Is c(1) a multiple of 6?
True
Suppose -17*c = -15*c - 140. Is 6 a factor of c?
False
Let p(a) = -4*a**2 + 53*a + 11. Is p(13) a multiple of 12?
True
Does 21 divide -2 + (7 - 9)/((-2)/749)?
False
Suppose 3*c - 2*n - 61 = -0*n, -2*c = 2*n - 24. Is c a multiple of 13?
False
Let p = -73 - -1873. Does 9 divide p?
True
Let h be 1*(-1)/(4/(-12)). Suppose 5*c + h = 28. Suppose 5*y = j - 45, 135 = -3*j + 5*j + c*y. Does 30 divide j?
True
Let l(z) = 3*z**2 - z - 26. Does 11 divide l(5)?
True
Let q be 14 + 7/(28/(-8)). Let z = 16 + -24. Is 3 a factor of 123/q + 2/z?
False
Let k = -57 - -192. Suppose -n - 2*n = -k. Suppose 0*u + u = -4*x + n, -4*x + 41 = -3*u. Is 11 a factor of x?
True
Let d(k) = k - 11. Suppose 2*p = 4*n - 88 + 24, 48 = 3*n - 4*p. Let o be d(n). Suppose 2*i + i + 36 = 2*t, -o*i - 56 = -3*t. Is t even?
True
Let a(n) = -n**3 - 12*n**2 + 13*n - 4. Let b be a(-13). Let t = 10 + b. Is 4/t - 679/(-21) a multiple of 19?
False
Let s(x) = -7*x**3 - 10*x**2 + 5*x - 9. Let v(g) = -4*g**3 - 5*g**2 + 3*g - 5. Let a(n) = -3*s(n) + 5*v(n). Is a(-3) a multiple of 5?
True
Suppose -4*i - 36 + 1428 = 0. Is i a multiple of 58?
True
Suppose 3*z = 3*i, 4*z + 5*i - 17 - 1 = 0. Suppose -3*k = z*k - 225. Does 3 divide k?
True
Let w = 4028 - 2582. Does 18 divide w?
False
Suppose -v - 708 = 11*v. Let q = v + 69. Is q a multiple of 6?
False
Let k(q) = -28*q + 10. Suppose -4*l + 3 + 8 = -3*z, 0 = z - 5*l. Is k(z) a multiple of 25?
True
Suppose 5*q + 379 - 1429 = 0. Let b = -135 + q. Does 15 divide b?
True
Let p(f) = f**2 + 10*f - 13. Let s(i) = -3*i**2 + 3*i + 6. Let j be s(-2). Is p(j) a multiple of 10?
False
Does 8 divide 19/((-76)/72)*(-4 + 0)?
True
Is -4 - (-18 + 6) - -842 a multiple of 32?
False
Let i be (-27)/36 - 6/(-8). Let k(l) = -3*l + 15. Does 2 divide k(i)?
False
Let o = 218 + -16. Does 43 divide o?
False
Let r = 24 + -16. Let w = r - 5. Suppose 3*z + z + w*o - 124 = 0, -93 = -3*z - 3*o. Is z a multiple of 20?
False
Let f be (4 + -4)/(1*2). Suppose 5*u = -0*n + 2*n + 26, f = n - 2. Does 19 divide (228/(-9))/(u/(-9))?
True
Suppose -2*p - 3*x = -120, -9*p = -4*p + 5*x - 295. Is p a multiple of 3?
True
Let y(d) = -d**3 - 7*d**2 + 7*d - 10. Let p = -11 - -3. Let s be y(p). Is 12 a factor of 42 + 3 + s + 2?
False
Let r(j) = -j - 6. Let k be r(-4). Does 3 divide (-282)/(-10) - k/(-10)?
False
Suppose 1364 = 13*p + 168. Is 46 a factor of p?
True
Let f(p) = -22*p**2 - 2*p**3 + 3 - 1 - 25*p + 0*p**3 + p**3. Is f(-21) a multiple of 7?
False
Suppose 0 = 161*v - 163*v + 464. Let g = v - 125. Does 20 divide g?
False
Suppose -5*i - 25 = -z, 0 = 2*z - 4*i - 11 - 9. Suppose -w - 6*w + 35 = z. Suppose w*j - 15 = 5. Is j a multiple of 4?
True
Let g be 20 - (2 + -1 + 1). Is 35 a factor of (-4)/g - (-3745)/45?
False
Let s be 4288/13 + 48/312. Suppose 54*z - s = 49*z. Is z a multiple of 11?
True
Let y(d) be the second derivative of -25*d**3/6 - 11*d**2/2 + 15*d. Is y(-3) a multiple of 14?
False
Let x(t) = -3*t + 11*t**2 - 1 - 10*t**2 + 3 + 0. Let l be x(3). Suppose -z + j + 15 = -4, -4*z - l*j + 52 = 0. Is z a multiple of 10?
False
Let x be -1*3/(-3) + -1. Let l(h) = h + 15. Let m be l(x). Suppose -15 = -2*w + m. Does 10 divide w?
False
Suppose -26 = -t + 8. Let x be t/(-4) - (-24)/16. Let h = 1 - x. Is h a multiple of 4?
True
Is (145 - (-6 - -4)) + -6 a multiple of 9?
False
Let y(o) = -3 + 3*o**2 + 4 - o + 2*o**3 + 0*o**2. Let d(b) = -b**3 + 8*b**2 - 12*b + 2. Let w be d(6). Does 27 divide y(w)?
True
Let i(m) = 32 - 5*m + m**3 + 4*m - 2*m**3. Let n be i(0). Does 5 divide (38/8)/(8/n)?
False
Let k = -13 + -34. Let y = k + 163. Is 18 a factor of y?
False
Suppose 2*n - 21 = 5*h, n + 5*h = 6*n - 60. Suppose 3*i - 83 = n. Is i a multiple of 16?
True
Let i be (20/14)/((-4)/(-14)). Let m(c) = c + 3. Let v be m(3). Let x = i + v. Does 9 divide x?
False
Let r be (0 - -3)*5/3. Suppose 4*m - 58 = 2*q, -4*m + 64 = r*q + 13. Is m a multiple of 9?
False
Suppose x + 2*z + 0 = -6, -3*x = -z + 11. Let f be 78/21 - x/14. Suppose -4*o + 3*t + 84 = 0, t + 52 = 3*o - f*t. Is o a multiple of 24?
True
Let l = 208 + 98. Suppose -3*q = -4*s - 449, -2*q - 4*s = -0*s - l. Is q a multiple of 20?
False
Let d = -11 - 67. Let i = d + 124. Does 7 divide i?
False
Let r(g) = g**3 - 9*g**2 + 14*g - 15. Let l be r(9). Suppose -2*o + 47 = -l. Is o a multiple of 9?
False
Let i = 3 - 10. Let v(o) = -o**3 - 6*o**2 + 5*o - 12. Let k be v(i). Is 4*k/(-20)*-130 a multiple of 20?
False
Let u(h) = -81*h - 169. Does 96 divide u(-29)?
False
Suppose 4*t = 2099 - 11. Does 18 divide t?
True
Let u be 1*3*68 + -4. Suppose 4*r - i - u = 319, 642 = 5*r + i. Suppose -g + k = 4*g - r, -4*k = 5*g - 109. Does 14 divide g?
False
Is 4 a factor of 7/((-7)/(-377)) - 5?
True
Let m = -82 - -4. Let a = 150 + m. Does 16 divide a?
False
Let o(j) = 5*j - 63. Is o(33) a multiple of 17?
True
Suppose q = 2*z - 17 - 13, -z = -5*q - 15. Let f(x) = -x**3 - 4 + z - 6*x - 5*x**2 + 18*x. Is 15 a factor of f(-7)?
False
Let o(n) = -4*n + 22. Let j be o(2). Let x(a) = 2*a. Let v be x(-7). Is 14 a factor of 6/j + (-974)/v?
True
Let w be (-130)/(-11) - (1 + 52/(-44)). Suppose -4*d = -0*d - w. Is d a multiple of 2?
False
Suppose 2*l + 662 = 3*g, 2*g - 267 = -l + 186. Does 28 divide g?
True
Does 11 divide (858/13 + 6)/(1/11)?
True
Suppose 3378 = 4*s + 2*k, -2*k + 1685 = 2*s - 5*k. Is s a multiple of 66?
False
Let y be (-4)/(-30) + 174/45. Let f be y - 2 - 0/5. Suppose -f*w + 212 = 3*h, 6*h - 5*w - 345 = h. Does 35 divide h?
True
Suppose 3*l = 2*o - 126, -l - 302 = -39*o + 34*o. Is o a multiple of 6?
True
Let x(p) = p + 5 - p + 0 + p. Let q be x(0). Suppose 5*v - 50 = -5*r, 3*v - q*r = 1 + 13. Does 3 divide v?
False
Let o be 1*(-1 + 113 + 2). Let v = o - -66. Is v a multiple of 36?
True
Suppose -6*a = -7*a + 3. Let g(b) = -b - 3*b**2 - b + b**2 + a*b**2. Is g(3) even?
False
Suppose -2*c + 3*u = 5, -4*c - 3*u = c + 44. Let t(z) = 2*z**2 + 2*z - 23. Does 12 divide t(c)?
False
Suppose -127*g = -115*g - 900. Is 3 a factor of g?
True
Suppose 6*q - 2*q = f - 83, 0 = -5*q - 10. Suppose -2*u - u = -f. Is 4 a factor o