b = -0*b - j*k + 36. Is b a multiple of 8?
True
Let x(j) = 10*j + 10. Let g be x(7). Let h = g + -52. Is h a multiple of 19?
False
Let c be (-7)/(-42) + 2/(-12). Suppose -h = -4*l - 31, c = -0*h + 3*h - 4*l - 53. Suppose -j - h = -q + 17, 5*q = -4*j + 131. Is q a multiple of 20?
False
Let r = 22 + -12. Let g be 35/r - 2/4. Suppose -14 = g*a - 59. Is 5 a factor of a?
True
Let h(o) = 2*o**2 + 6*o + 4. Let v be h(-4). Let a = 18 - v. Is 4/a + (-25)/(-3) a multiple of 9?
True
Let r = -6 - -4. Is (2/4)/(r/(-100)) a multiple of 17?
False
Let b(o) = 8*o + 3. Let x be b(6). Suppose 0 = -5*r + x - 401. Is r/(-3) - 2/(-3) a multiple of 14?
False
Let h(k) = -k + 5. Let j be h(-4). Is 14 a factor of -21*((-21)/j - -1)?
True
Let q(c) be the second derivative of 5*c**3/2 - c. Is q(2) a multiple of 15?
True
Suppose 4*n - 5*n + 35 = 0. Suppose 0 = -4*l + n + 137. Let s = -24 + l. Is 10 a factor of s?
False
Suppose 0 = 2*k + 2*k, -5*k = -5*j + 325. Does 5 divide j?
True
Suppose f + 139 = 2*j, -2*f + 4 = 2*f. Is 7 a factor of j?
True
Let j = 57 - 41. Does 6 divide j?
False
Let p be 2 + -2 + 3 + -2. Let b = 1 - p. Is 0 + b - (1 + -4) a multiple of 3?
True
Is -1 + 7 + -2 + 41 a multiple of 9?
True
Let d(s) = 2*s + 18. Let n(a) = a + 9. Let m(z) = -6*d(z) + 13*n(z). Let l be m(-7). Is 0 - (l + -1) - -23 a multiple of 11?
True
Let n = 24 - -22. Let p = n + -19. Let i = -8 + p. Does 12 divide i?
False
Let c(l) = l - 7. Let w be c(7). Suppose -z - z + 86 = w. Is z a multiple of 19?
False
Let s(v) be the third derivative of -v**5/60 - 13*v**4/24 - 7*v**3/3 - 8*v**2. Suppose -71 = 5*z - 21. Does 8 divide s(z)?
True
Is (-10189)/(-138) + (-1)/(-6) a multiple of 22?
False
Let q be 2/4 + 1/(-2). Suppose -2*t - 6 = 5*k - q, -4*t = 3*k + 12. Suppose -8 = -2*y - k*y. Does 2 divide y?
True
Let m(w) = -w**3 - w**2 + 2*w + 5. Let i be m(0). Let c = 13 + i. Is c a multiple of 17?
False
Let y(b) = -6*b**3 + 2*b**2 - 6*b - 3. Let x(k) = -5*k**3 + k**2 - 5*k - 3. Let i(j) = -7*x(j) + 6*y(j). Is i(3) a multiple of 9?
True
Let w be (-8 + 0)/((-2)/3). Suppose 5*o - 13 = -2*j, 3*o - 2*j - j - w = 0. Suppose 4*l - a - 4 = o*l, l + 2*a = 4. Is 2 a factor of l?
True
Let m be 2/(-1 - -3) + 15. Let i be (m/(-24))/(2/3). Is 14 a factor of (-40)/i - 0 - 0?
False
Is 28 a factor of 6/(-1)*(-506)/33?
False
Let u(v) = v**2 - 14*v + 10. Let w be u(8). Let o = 84 + w. Does 23 divide o?
True
Let b be (-44)/(-10) + 8/(-20). Suppose -5*p + 2*c = -2*p - 154, -b*p + 204 = -3*c. Does 14 divide p?
False
Suppose 0 = 3*u + 10 - 19. Does 3 divide u?
True
Let p(n) = -2*n - 3. Let u be p(-6). Let b be (-785)/u + (-2)/(-9). Let j = -55 - b. Is j a multiple of 15?
False
Suppose -2*s + 20 = -62. Does 12 divide s?
False
Let y = -5 + 12. Let l(k) = -k**3 + 10*k**2 - 6*k - 7. Let p be l(y). Let w = p - 59. Does 10 divide w?
False
Let y(c) be the third derivative of -c**6/120 + c**3/6 + 2*c**2. Let d(x) = -4*x**3 + 7*x**2 + 3*x + 8. Let m(s) = d(s) - 5*y(s). Is m(-6) a multiple of 10?
False
Let x = 146 - 82. Is x a multiple of 16?
True
Suppose 4*y = -0*y + 44. Suppose 5*n + v = 39, -n + 5*n - 36 = -2*v. Suppose x - y = n. Is 9 a factor of x?
True
Suppose 2*j - 39 = 33. Is (-2)/9 - (-296)/j a multiple of 8?
True
Suppose -4*x + 2*i + 102 = 0, -i - 10 = -3*x + 69. Does 18 divide x?
False
Let y = 115 + -39. Is y a multiple of 8?
False
Suppose -5*j + 20 = 0, 2*o - 4*j - 50 = j. Let n = 28 + o. Is 21 a factor of n?
True
Let s(l) = -2*l - 5. Let b be s(-4). Let r be 53/b - 2/3. Suppose -4*u + 27 = -r. Is 11 a factor of u?
True
Suppose -6*k + 1850 = -490. Is k a multiple of 25?
False
Suppose 3*o + 28 = -5*h + 10, 26 = -h + 5*o. Let x(p) = -p**3 - 6*p**2 - 6*p + 4. Does 8 divide x(h)?
True
Let u be ((-30)/(-8))/(9/24). Does 5 divide (8/u)/((-8)/(-100))?
True
Let q(p) = -13*p**3 - p**3 - 7*p**3 + 2*p**3 - p**2 - p. Is q(-1) a multiple of 5?
False
Suppose 2*u = h + 12, -h - 3*u + 11 = 3. Let n be 4/(-6) + h/(-6). Suppose n = 5*j - 118 - 52. Is 16 a factor of j?
False
Let m(u) = -u**3 - 2*u**2 + 8*u. Is m(-6) a multiple of 32?
True
Does 10 divide (-8)/12 - 632/(-12)?
False
Let z(v) = v**3 + 6*v**2 + 3*v + 5. Let d be (-2)/9 + (-86)/18. Is 7 a factor of z(d)?
False
Let d = -6 - -16. Is d a multiple of 10?
True
Let z = 5 - 3. Let t(d) = 2*d**2 - d**z + 4 + 3*d - 6*d. Is 4 a factor of t(3)?
True
Let x(f) = f**2 - 3*f + 3. Let c be x(3). Let w(n) = n**3 - 2*n**2 - 3*n. Let z be w(c). Suppose -m + z*m = -4. Is m even?
True
Let b = 95 - 49. Suppose 3*g + 7 = b. Does 6 divide g?
False
Suppose 0 = -4*f - 5*u - 19, -6 = 2*f - u + 7. Let b be f/(0 + -2 + 0). Suppose 0 = -b*i + 11 + 7. Does 5 divide i?
False
Suppose k = -q + 8, 5*k - 3*q - 22 = q. Suppose 0 = w + 4*f - 36, -f + 18 = w - k. Is w a multiple of 9?
False
Let x(b) = b - 1. Let y be x(7). Is ((-3)/2)/(y/(-16)) a multiple of 3?
False
Suppose 2*q + 3 = 25. Is 11 a factor of q?
True
Suppose -2*p + 115 = -g, -2*p - 2*g + 310 = 3*p. Is p a multiple of 36?
False
Let y be (-2)/2*(-1 + -4). Suppose 3*x - 128 = -y*v, -x + 46 = v - 0*v. Is 11 a factor of x?
False
Suppose x - 5*x = -80. Let p = 43 - x. Is 16 a factor of p?
False
Let v(s) = -14*s + 1. Is v(-2) a multiple of 7?
False
Suppose 0*p - 4*p = 8. Is 15/((p - -3) + 0) a multiple of 9?
False
Let y be (-51)/(-3) + 2 + -2. Does 6 divide 1 + y/(4 - 3)?
True
Let f(d) = d**3 - 6*d**2 - 6*d - 9. Let k be f(8). Let a = -31 + k. Suppose -6*r + a = -4*r. Is 20 a factor of r?
True
Let w(d) = d**2 - 2*d + 2. Let v be w(2). Suppose -4*s = 4*c + c - 153, -v*c - 183 = -5*s. Does 16 divide s?
False
Is 10 a factor of (-2)/4 - (-303)/6?
True
Suppose -r - 4*r = 0. Is 17 - (-2 - (1 - r)) a multiple of 18?
False
Suppose 0 = -2*t + 86 + 14. Does 10 divide t?
True
Suppose -3*c + 0*w + 28 = w, 4*c + 5*w - 52 = 0. Is c a multiple of 5?
False
Suppose -2*d - 3*d = 3*u - 12, -2*d = -4*u + 42. Suppose 2*w = 5*w - u. Suppose -2*n + 3*n + w*c = 0, 5*c - 21 = -4*n. Is 9 a factor of n?
True
Let x(w) = 3*w**2 + 5*w + 5. Let k(g) = -g**2 - 3*g - 2. Let i(t) = 5*k(t) + 2*x(t). Let y = 12 + -6. Is i(y) a multiple of 5?
False
Let v = 130 - 85. Is 15 a factor of v?
True
Suppose 1 - 3 = f. Let b = 3 - f. Suppose -b*q + 28 = s - 0*q, 5*s + 3*q - 96 = 0. Does 13 divide s?
False
Let c(g) = -g**3 - 2*g - 2. Let i be c(-2). Let k be -3*3/(-9) + i. Suppose 7*a - k = 6*a. Is 5 a factor of a?
False
Let u = 33 - 10. Does 4 divide u?
False
Suppose 0*t + 25 = 5*t, -5*t + 10 = -3*o. Suppose 3*m - o*q = 23, 5*m - 5*q = -2*q + 17. Does 4 divide (-22)/(-6) - m/(-3)?
True
Suppose -2*c + 44 = -c - 4*q, 3*q + 241 = 4*c. Suppose -3*d - g + 6 + c = 0, -4*g - 80 = -3*d. Does 12 divide d?
True
Let x = 8 - 3. Suppose -2*d - 24 = -x*d. Is 5 a factor of d?
False
Let y = -1 - -39. Is 38 a factor of y?
True
Let g be (-1 - 18/4)*-2. Suppose n = -y + g, -2*y - n + 22 = -0*y. Suppose 0 = -4*s + 3*s + y. Is s a multiple of 5?
False
Let v be (11 + -55)/(0 - 2). Let g be (v/(-6))/(8/(-24)). Suppose -2*s = -5*b + 2 + g, -s + 4*b - 14 = 0. Does 2 divide s?
True
Let n be (-2)/(-1)*(-35)/(-10). Let k(y) = y**2 - y + 8. Is k(n) a multiple of 17?
False
Suppose 2*w - 127 = h - 4*h, 4*w + 5*h - 249 = 0. Does 6 divide w?
False
Let k = 7 + 6. Suppose 3*g + 2 = 11. Suppose -g*l + 38 = b, -4*b = l - k - 18. Is 11 a factor of l?
True
Suppose -5 - 1 = 2*o. Let z = 7 + o. Suppose z*m - 32 = 2*m. Is 8 a factor of m?
True
Let o = -145 + 185. Does 8 divide o?
True
Suppose 0*m = -i + 2*m, 3*i - 4*m - 4 = 0. Let p = 8 - i. Suppose x = p*l + 58, 0*l - 2*l = x - 46. Does 25 divide x?
True
Suppose h + 6 = 2. Is (-332)/(-12) - h/12 a multiple of 6?
False
Let m = -115 - -138. Is m a multiple of 16?
False
Let d(w) = -w**2 + 9*w - 5. Is 2 a factor of d(8)?
False
Suppose 31 - 3 = 4*j. Let b be 2745/21 + 2/j. Suppose 5*v - b = 5*y - 21, -5*y - 58 = -3*v. Does 13 divide v?
True
Suppose 200 = t + 15. Suppose 5*s = t - 5. Does 12 divide s?
True
Suppose -2 = t - 6. Suppose -4*u + 0*n + t*n = -100, 4*u - 95 = 3*n. Is u a multiple of 10?
True
Suppose 4*d = z + 80, 2*z + 100 = 4*d + 6*z. Is d a multiple of 15?
False
Suppose k + 0*b = -b - 1, -3*k - 4*b - 4 = 0. Suppose -510 = 3*q - 6*q. Suppose -2*a - 3*a + q = k. Is 15 a factor of a?
False
Let c(g) = -2*g + 1. Let m(p) = -2*p**2 + 3*p - 1. Let a be m(2). Let q be c(a). Let y = 1 + q. 