 4*z = 5*b - 7. Suppose b*y = -2*l + 68, -2*l + 2*y + 2*y = -54. Is l a multiple of 9?
False
Does 22 divide 5/6 - 870/(-36)?
False
Let k(m) = -m**2 + m + 18. Let s be k(0). Let v = s + 0. Is 16 a factor of v?
False
Let d be (-4)/6 - (-14)/3. Suppose 139 = d*w - 57. Let u = -24 + w. Is 11 a factor of u?
False
Suppose -2*g + 3 + 1 = 0. Suppose -33 + 7 = -g*t. Is t a multiple of 13?
True
Let m(v) = 26*v**3 + v**2 - 1. Suppose -l - 5*b = -2*l + 1, -l + 1 = 2*b. Is 14 a factor of m(l)?
False
Let p = 246 - 174. Is p a multiple of 10?
False
Suppose 7*h + 21 = 4*h. Does 3 divide (h/3)/((-3)/9)?
False
Let k be -3*1/(-3)*2. Let w be 939/21 + k/7. Suppose w = 5*m - 0*m. Does 5 divide m?
False
Is 0 + 0 - 22/(-1) a multiple of 5?
False
Let z(o) = o**2 - o. Suppose -6 = -f - 4. Suppose 2*r = -4*n + 18, n = 5 - f. Is 3 a factor of z(r)?
True
Let j be 14*(1 - 2)/(-1). Suppose 0*u = u - j. Is u a multiple of 9?
False
Let o(p) = 5*p**3 + 2*p**2 - p - 6. Does 36 divide o(3)?
True
Suppose -3*w + 1 - 10 = d, 4*d - 3*w - 24 = 0. Let q be d - (-3 - -3)/2. Suppose -26 = -t - 2*t + 5*z, -q*t - 2*z = -61. Does 10 divide t?
False
Suppose 5*v - 3*m - 96 = 0, -3*v - 2*m + 28 + 22 = 0. Does 9 divide v?
True
Suppose 36*v + 336 = 40*v. Is v a multiple of 16?
False
Let y = -11 - 5. Let r = y - -40. Is r a multiple of 8?
True
Suppose 0 = -y - 4*d + 3, 3*y - 2*y = 3*d + 10. Let j = 1 + y. Is j a multiple of 8?
True
Let u = -5 + 13. Is 138/u + (-5)/20 a multiple of 9?
False
Let q(b) = -b**3 + 12*b**2 - 3*b - 14. Does 37 divide q(11)?
True
Suppose -1393 - 322 = -5*f. Suppose -5*d - 93 + f = 0. Is d a multiple of 28?
False
Suppose -9*r - 28 = -7*r. Let c = -1 - r. Is 13 a factor of c?
True
Let t = 86 + -66. Is t a multiple of 9?
False
Suppose 5 = -0*w + w. Suppose 0 = 5*c - c - 4*u + 12, -2*u = -w*c - 18. Is 9 a factor of (10 - 2)*(-14)/c?
False
Let h(q) = q**3 - 11*q**2 + 11*q - 2. Let i be h(10). Let c = -22 - i. Is 7 a factor of (c + 0)*(-3)/6?
False
Let o = 1 + 4. Let x(s) = -s**2 - 12*s + 4. Let n be x(-12). Suppose o + n = 3*v. Is 3 a factor of v?
True
Let n(r) be the first derivative of 3*r**4/4 - r**3/3 + r**2/2 - 37. Let m(l) = -l. Let p be m(-2). Does 11 divide n(p)?
True
Let r(f) = -f**2 - 55. Let a be r(0). Let h = a + 97. Does 14 divide h?
True
Suppose 2*x + 2*x + 5*l = -32, 7 = -x - l. Let n(z) = z**3 + 4*z**2 - 2*z - 3. Is n(x) a multiple of 3?
True
Let y(r) = -r**3 - 13*r**2 - 3*r - 1. Let z be y(-13). Suppose -138 = -4*s - z. Does 14 divide s?
False
Let d = 1039 - 2117. Let b = -618 - d. Is 11 a factor of b/15 + (-1)/(-3)?
False
Is 9 a factor of (-1 - 70/(-25))*5?
True
Suppose 2*q + 14 = 3*q. Suppose -4*z = 3*y - q, 32 = 5*y - 5*z + 3*z. Is y a multiple of 5?
False
Let v(q) = -4*q**3 + q**2 - q - 1. Is v(-1) a multiple of 5?
True
Let p(k) = -4*k + 39*k**2 - 49*k**2 + 2*k - 2*k**3 - 6 + k**3. Is p(-10) a multiple of 8?
False
Let g(z) = z**3 + 6*z**2 - 8*z - 3. Is g(-5) a multiple of 18?
False
Let i(l) = l. Let c(h) = 2*h**2 - 9*h - 5. Let m(q) = c(q) + 5*i(q). Let g = -6 + 11. Does 15 divide m(g)?
False
Suppose 2*z + q - 48 = 1, 0 = 4*q + 4. Is z a multiple of 7?
False
Suppose -9 = -4*q - 2*w + 3, 3*q = -w + 10. Let f(v) = -3*v**2 - 2*v**3 + v**2 + 3*v**3 - 5*v. Is f(q) a multiple of 5?
False
Let m = 414 + -231. Is m a multiple of 14?
False
Let w(s) be the first derivative of -65*s**2/2 + s - 3. Let a be w(-1). Let d = -46 + a. Does 20 divide d?
True
Does 12 divide (-621)/(-15) + 4/(-10)?
False
Let a(u) be the first derivative of u**3/3 + u**2/2 - 5*u + 6. Is 10 a factor of a(-6)?
False
Let w = -1 + 1. Suppose 3*c - 24 = -2*c - 4*t, -4*c - 2*t + 18 = 0. Let o = c - w. Is 4 a factor of o?
True
Suppose 44 = -2*a + 10. Let c = a - -26. Does 2 divide 20/c + (-14)/63?
True
Let l be 1 + (2 - 3) + 2. Suppose 0 = v - b - 21, -6*v + l*v = 5*b - 84. Does 7 divide v?
True
Suppose 3*l = -0 - 3. Let o(y) = y**2 + 3*y - 2. Let x(u) = u + 1. Let z(v) = l*o(v) - 6*x(v). Is 14 a factor of z(-6)?
True
Let i = 3 + -1. Suppose -5*p + 36 = -m - i*m, m = 2*p - 14. Is 6 a factor of p?
True
Let j(v) = -v**3 + 5*v**2 + 7*v - 3. Let h be j(6). Suppose 0*x - 156 = -3*x. Suppose 4*t + 4*w - x = 0, h*t - 4*w - 60 = -0*w. Is 8 a factor of t?
True
Let c be 5/(-3) + 12/18. Does 13 divide (0 + (-1)/c)*26?
True
Let f(r) = 7*r + 37. Is f(6) a multiple of 23?
False
Suppose 0 = -5*u + u. Suppose -5*w + 42 + 12 = 3*h, 3*w = u. Is 10 a factor of h?
False
Let q(c) = -c**3 + 3*c**2 + 7*c - 5. Let o be q(4). Suppose 0 = -6*i + 47 + o. Is i a multiple of 3?
True
Is (-26312)/(-99) - 4/(-18) a multiple of 13?
False
Let c = -150 - -489. Does 64 divide c?
False
Let k be ((-2)/6)/(3/(-18)). Suppose 2*s - 3*s - 2*t = 5, k*s = t + 15. Suppose 4*w - 4*b = 75 - 7, s*b - 50 = -4*w. Is 6 a factor of w?
False
Suppose 16*p = 14*p + 68. Is 17 a factor of p?
True
Suppose -3*x + 0*x = -2*w - 21, 2*w = -x - 33. Let j = w - -47. Is j a multiple of 13?
False
Suppose -1 = -o + 45. Is 8 a factor of o?
False
Let j(z) = -z**2 - 8*z + 1 - 2*z - 6. Let c(p) = p**2 - 7*p + 1. Let d be c(6). Is j(d) a multiple of 10?
True
Let l = -1 + 1. Let y = 1 + l. Does 10 divide 8/3*y*9?
False
Suppose 4*a - 74 - 118 = 0. Is a a multiple of 6?
True
Let w = 5 - 3. Let u = 12 - 8. Suppose 26 = u*p - w*p. Does 13 divide p?
True
Let i = -20 + 11. Let k be (-33)/i + (-2)/(-6). Suppose -24 + 136 = k*n. Does 8 divide n?
False
Let n(m) = 24*m**2 - 2*m - 3. Is n(-1) a multiple of 2?
False
Let o(d) = -d - 5. Suppose -5*w - f - 43 = 0, -1 = -w - f - 8. Let q be o(w). Suppose 88 = 4*l + q*n, 11 = 2*l - 5*n - 47. Does 14 divide l?
False
Suppose -2*o = d - 25, 2*d + 3*o + 57 = 4*d. Is 10 a factor of d?
False
Suppose -n - 34 = 3*x, -2*x - n - 34 + 11 = 0. Suppose 23 = 5*m - 82. Let z = m + x. Is z a multiple of 10?
True
Let z be (5 - 1)/(3 - 1). Let g be -2 + z + 1 + -1. Is 14 a factor of 38 + ((-4)/(-2) - g)?
False
Suppose -2*o + 55 - 9 = 0. Is 10 a factor of o?
False
Let t(v) = v**3 - v**2 + v - 1. Let r(x) = 4*x**3 - 4*x**2 + 5*x + 4. Let s(g) = r(g) - 5*t(g). Let u = -1 + 1. Does 4 divide s(u)?
False
Let z = -24 + 42. Does 6 divide z?
True
Let p = 172 - 1. Is 19 a factor of p?
True
Suppose -4*x - 2*i = 10, -20 = -3*x + 6*x + 4*i. Suppose x = 2*b - 13 - 11. Does 12 divide b?
True
Suppose 0 = -5*o + 20, 30 = n + 3*o + 7. Is n a multiple of 2?
False
Let y(f) = f - 8. Let o be y(6). Let j = o + 2. Suppose 5*r + j*r = 95. Does 12 divide r?
False
Suppose -5 = k + 4*y, -26 = 5*k + 4*y - 1. Let h = k - -20. Does 6 divide h?
False
Suppose 2*o - 93 = -5*v, o = 4*v - 2*v - 39. Is v a multiple of 15?
False
Suppose 5*p + 0*h - 2*h - 171 = 0, -h + 107 = 3*p. Suppose 2*b - p = o, o = 5*b + 6*o - 125. Is 5 a factor of b?
True
Let d = -254 - -355. Is 24 a factor of d?
False
Suppose 4 = 2*t - t. Let b(s) = -4*s - 2. Let a be b(t). Let u = 40 + a. Does 12 divide u?
False
Let d(m) = -m**2 - 22*m - 10. Does 62 divide d(-18)?
True
Suppose -3*h = -h - 10. Let f(a) = -a - a + h + 4*a. Is 15 a factor of f(6)?
False
Let z(i) = i + 9. Is z(14) a multiple of 6?
False
Suppose -4*z - z - 4*x = -130, 0 = -3*z + 4*x + 46. Does 18 divide z?
False
Suppose 0 = 3*w + 2*w - 410. Let h be (-26)/(-5)*(-20)/(-2). Let l = w - h. Does 15 divide l?
True
Let z(t) = t**3 - 2*t**2 - 7*t + 5. Let r be z(4). Suppose -5*w + 6 + r = 0. Suppose -w*i = -27 - 3. Is 4 a factor of i?
False
Let d = -57 - 85. Let v = -7 + 25. Is d/(-9) + 4/v a multiple of 8?
True
Suppose 0*u = 2*u. Suppose -2*x - 2*x + 16 = u. Is x a multiple of 2?
True
Let j = 18 - 5. Does 13 divide j?
True
Suppose 128 = -5*v + 8. Is 12 a factor of 11/((-22)/v)*2?
True
Let c = -399 - -594. Is c a multiple of 46?
False
Let j(y) = 2*y**2 + y + 1. Let w be j(-1). Suppose 5*s - w = l - 48, 3*l + 2*s - 104 = 0. Suppose 4*h - 2*h = l. Does 9 divide h?
True
Let z = -15 + 6. Let r be 57*(24/z)/(-4). Let o = r - 11. Is o a multiple of 12?
False
Let h(d) = -15*d - 3. Let y = -81 + 46. Let f be 77/y - 2/(-10). Is 11 a factor of h(f)?
False
Suppose 0*w - 4*w - 3*r = -256, 2*r - 320 = -5*w. Is w a multiple of 8?
True
Let m = 1 + -1. Suppose -t = -m + 4. Is 30*t*3/(-30) a multiple of 12?
True
Let a be (-3*1 - -2) + 12. Let t be (a/(-2))/((-1)/(-10)). Let o = 91 + t. Is 13 a factor of o?
False
Let j be (86/4)/(2/4). Suppose -37 - j = -5*t. Is 4 a factor o