93. Does 21 divide i?
False
Let j be ((-4)/(-5))/((-1)/(-205)). Suppose z - j = -3*z. Is z a multiple of 12?
False
Let z be 7 + 2*3/6. Suppose 0*d = -d + 2*b - 6, -2*d + 3*b = z. Does 4 divide (0 + 2)/(d/5)?
False
Suppose -3 = 2*w - 9. Suppose -w*i + 0*i + 15 = 0. Suppose -125 = -i*d + 55. Is 18 a factor of d?
True
Let h(q) = -q**3 + 4*q**2 - 3*q + 3. Let z be h(3). Suppose -4*o + z*o = -7. Does 2 divide o?
False
Suppose -3*y - q = 2, q - 5*q = 2*y + 8. Let g = 13 + y. Is g a multiple of 13?
True
Let b = 6 - 2. Let f be 2/4 + 10/b. Suppose -z - 3*z + f*v + 92 = 0, 5*v = -z. Is z a multiple of 10?
True
Let r be 8/6*3/(-2). Let j = r - -17. Suppose 72 - j = 3*c. Does 15 divide c?
False
Suppose -t - 120 = 4*t. Let h = t - -82. Suppose 5*p = -2*b + 4*p + h, b = -3*p + 34. Does 14 divide b?
True
Suppose -3*c + 15 = 0, 0 = -m + 3*c - 3 - 10. Suppose 6*s - s = -y - 4, -4*s = -m*y + 20. Is 70/y + 2/(-3) a multiple of 11?
True
Let g be 21/9 + 1/(-3). Suppose -2*t = -t - 90. Suppose -g*l = l - t. Is 15 a factor of l?
True
Suppose -w - x + 85 = -0*w, 0 = 2*w - 5*x - 191. Suppose 4*t - 2*t - w = 0. Does 22 divide t?
True
Suppose -s - 5*x = -13, -x + 26 = 5*s - 3*s. Suppose 3*a = -y - 3*y + 23, 3*a + 2*y = s. Is a/(-3)*(-31 - 2) a multiple of 11?
True
Let d = -21 - -70. Is d a multiple of 19?
False
Suppose 0*f + 36 = 3*f. Is 6 a factor of f?
True
Let s(q) be the third derivative of q**6/120 - q**5/60 + q**4/6 - q**3/2 - 3*q**2. Is s(3) a multiple of 7?
False
Let b = -215 - -367. Let n = 295 - b. Let u = n - 97. Is 16 a factor of u?
False
Let p be 4 - (-268 - -1 - -3). Suppose 4*n - 347 = -5*o, -o - p = -3*n + 3*o. Does 18 divide n?
False
Let y(v) = -v**3 + 5*v**2 + v + 7. Does 4 divide y(5)?
True
Let x be 165/2*(-2)/(-1). Suppose x = -o + 4*o. Is o a multiple of 23?
False
Let o(y) = y - 2. Let c be o(5). Suppose -2*b + 3*t + 165 = 0, -2*b + 118 + 27 = t. Suppose -c*l - b = -8*l. Does 7 divide l?
False
Let p(r) = 0 - 12*r + 4*r + 4 + 1. Is p(-5) a multiple of 14?
False
Suppose -2*o - 5 = 5*j - 4*j, 5*o = -4*j - 8. Let p(x) = -x**2. Let m be p(0). Suppose m = j*a + a - 40. Does 6 divide a?
False
Let m be (-2)/(-3) + (-2490)/9. Does 9 divide 2/(-3)*m/8?
False
Suppose 9*i = -85 + 436. Is i a multiple of 5?
False
Suppose -316 = -2*q + u - 15, 444 = 3*q - 3*u. Suppose -2*w + 39 = i, 3*w + q = 5*i - w. Is i a multiple of 11?
True
Let k(o) = -o**2 + 8*o - 5. Let g(f) = -f**3 - 2*f**2 - 3*f. Suppose -u = 3*i - 8*i - 10, -i - u = 2. Let q be g(i). Does 3 divide k(q)?
False
Suppose 5*o - 9 - 116 = 0. Let w(g) = -g**3 + 4*g**2 - 3*g - 2. Let f be w(4). Let q = o + f. Is q a multiple of 7?
False
Let j = -15 + 17. Let g(o) = 2*o**3 - 2*o**2 + 3*o - 1. Does 3 divide g(j)?
False
Suppose -5*u + 2*u - 4*q + 102 = 0, -3*q + 39 = u. Suppose 3*g - 3*h - 66 - 6 = 0, h - u = -g. Is g a multiple of 7?
False
Let h(y) = y**2 - 4. Let c(j) = 23*j**3 + 2*j**2 - 1. Let n be c(1). Let l be (-8)/n + 16/3. Does 8 divide h(l)?
False
Suppose 0 = -3*a - a. Suppose 0*h + 4*h - 60 = a. Is h a multiple of 8?
False
Let a = 3 - -1. Suppose a*b - 25 = -3*n, 4*n = 3*n - 4*b + 11. Is n a multiple of 5?
False
Let f be ((-10)/(-20))/((-2)/(-200)). Suppose 61 = 3*o - f. Does 11 divide o?
False
Let o = -8 - 8. Let n = o - -30. Is 5 a factor of n?
False
Suppose -7*y = -2*y - 105. Suppose 2*g - 5*j - y = 2, 0 = 3*g + 5*j - 47. Does 7 divide g?
True
Let k(w) = 5*w**2 + 4*w - 5. Let b be k(-4). Let p = b + -26. Is p a multiple of 11?
True
Let t be 10/(-4)*(-6)/5. Suppose 5*f = -3*w + 35, 4*f + 42 = t*w - 38. Is w a multiple of 20?
True
Let z = 2 + -2. Let o = z + 5. Suppose 0 = -o*s - 87 + 257. Is 17 a factor of s?
True
Let d = -13 + 18. Suppose -l - 2*l = d*i - 15, 0 = -4*l. Suppose -2*p - 6 = 0, 5*p - i*p - 54 = -5*k. Is k a multiple of 5?
False
Let a = -3 - -7. Suppose 0*c - 57 = -2*c + 5*k, c + 3*k = 12. Suppose -t + c + a = 0. Does 14 divide t?
False
Let f(m) = -m + 5. Let x be f(-5). Let w = x - -1. Is w a multiple of 11?
True
Let j(m) = -m**2 + 5*m - 3. Let x be j(5). Let u = 29 + x. Suppose 4*o - 3*i - u = 0, -3*i - 2 = -2*o + 8. Does 5 divide o?
False
Let w(o) = -o**3 + 6*o**2 + 5*o - 5. Does 16 divide w(5)?
False
Suppose -3*k - 2*x + 80 = 3*x, 4*k - 5*x - 165 = 0. Let m = k + 6. Is m a multiple of 8?
False
Does 5 divide (-5)/10 - (-51)/2?
True
Suppose 0*o + 105 = 3*o. Suppose 3*y + 27 = 6*y + 3*k, 5*k = 5*y - o. Does 8 divide y?
True
Suppose 0 = 3*l + l - 16. Suppose -4*g - l = -2*g. Is 3 a factor of (-4)/6*21/g?
False
Let u(n) = n**3 - n**2 + 3*n - 4. Let t be u(3). Let z = t - 13. Suppose 0 = y + 3*r + z - 2, 5*r + 46 = 3*y. Is 7 a factor of y?
True
Suppose 0 = -3*x + 4*s + 10, s - 3 = -x - 2. Suppose -m - x*m + 45 = 0. Is 8 a factor of m?
False
Let j(p) = 9*p**2 - 2*p - 3. Suppose 1 = -4*d - 7. Does 37 divide j(d)?
True
Is (-2)/1 - 2 - 178/(-2) a multiple of 17?
True
Suppose -22 = -2*m + m + q, -5*q = 5*m - 90. Does 4 divide m?
True
Let s(c) be the first derivative of 3*c**6/40 - c**5/30 + c**4/12 - c**3/6 - c**2 + 3. Let i(z) be the second derivative of s(z). Is 5 a factor of i(1)?
False
Let p = 28 - 22. Is 2 a factor of p?
True
Suppose 155 = 2*v - m, v + m + 0*m - 70 = 0. Is 15 a factor of v?
True
Let u be (-2)/(-9) + (-22)/18. Is (78/(-18))/(u/6) a multiple of 11?
False
Suppose 0 = -p - 4*q + 7, -2*q - 9 - 1 = -4*p. Let g be 10/p*(-18)/(-5). Is 4 a factor of (g/10)/(6/40)?
True
Let w(q) = -q**3 - 3*q**2 + 6*q - 6. Let x be w(-5). Suppose -5*r + l = -x, -4*r + 2*l = 10 - 26. Is 10 a factor of -1 + 27 + 0 + r?
False
Let p(r) = 2*r**2 + 4*r + 26. Does 39 divide p(-10)?
False
Suppose -2*i = r - 15 - 23, 5*i - 4*r = 108. Is 8 a factor of i?
False
Let x(b) = b - 1. Let j be x(-6). Let k be 8/28 + (-19)/j. Suppose p + 97 = k*g + 6*p, 5*g - 95 = 5*p. Does 8 divide g?
True
Let w = 69 - 47. Is w a multiple of 22?
True
Let o(i) = -i**3 - 5*i**2 - i - 11. Let x be o(-6). Is 6 a factor of x/((-2 - 2) + 5)?
False
Suppose 4*b - 32 = -m, -5*b + 0*b + 100 = 5*m. Is 16 a factor of m?
True
Suppose o + 2*o + 4*p - 268 = 0, 5*p = -5*o + 440. Is 21 a factor of o?
True
Let g = 17 + -9. Let n(p) = 5*p - p + 7 - 3*p. Does 7 divide n(g)?
False
Let x(j) = j**3 + 8*j**2 + 4. Suppose -3*s = s + 32. Is x(s) a multiple of 2?
True
Let v be 6/(-2) - (1 + -1). Let a be 10/(-2) - 9/v. Let d(y) = -22*y. Is 15 a factor of d(a)?
False
Suppose 0 = 2*a + 2*a - s - 896, -5*a = 3*s - 1120. Is 11 a factor of a?
False
Suppose 4*y + 2 + 10 = -2*w, -4*y - 26 = -5*w. Suppose 31 = w*g + 5*u, -6*u - 20 = -2*u. Is g a multiple of 12?
False
Let q be 5*(4 + 1 + -1). Let b = q - 13. Does 7 divide b?
True
Is 28 a factor of -1*(-1 + 22*45/(-6))?
False
Let m(y) be the second derivative of 4*y + 7/6*y**4 + 11/2*y**2 - 1/20*y**5 + 0 - 13/6*y**3. Is m(13) a multiple of 11?
True
Let y(v) = -v**3 - 8*v**2 - 6*v + 8. Let j be y(-7). Suppose 2 = c + j. Let b = 6 - c. Is b a multiple of 2?
False
Suppose i + 4*i - 210 = 0. Suppose -i = -2*v - v. Does 7 divide v?
True
Suppose -v + 43 - 2 = 0. Suppose -2*n - 28 = -4*n + r, 2*r + v = 3*n. Does 5 divide n?
True
Suppose -10*f + 8*f = -44. Is f a multiple of 3?
False
Does 7 divide -4 + (-964)/(-12) + 2/3?
True
Let o be ((-4)/(-6))/((-4)/12). Let a = o + 7. Is 2 a factor of a?
False
Let y(m) = m + 21. Let k be y(-9). Is 18 a factor of (k + -1)*4 + -2?
False
Let n be 1/(-4)*(1 + -21). Suppose -3*j - n = 7, 0 = -2*o + 5*j + 228. Is 26 a factor of o?
True
Suppose 0*i - 13 = -i. Let r = i - 18. Is 24/(-9)*(2 + r) a multiple of 7?
False
Let r(s) = -11*s + 2. Let g be r(-6). Suppose -48 = -4*w + g. Is 11 a factor of w?
False
Let m = 7 - 5. Suppose -m*q + 3*o + 17 = -0, 5*q - 17 = -o. Is q a multiple of 4?
True
Does 8 divide (-2 + -1 - -1)*-20?
True
Suppose 4*s = 4, 3*q + 43 - 216 = s. Suppose 0 = 5*w - w - 20. Suppose 145 = 5*x + w*m, -3*x + x = -m - q. Is x a multiple of 17?
False
Let p(r) = -r - 3. Is p(-15) a multiple of 6?
True
Let m(f) = -f**3 + 10*f**2 - 8*f - 1. Suppose 5*p - 15 = 5*a - 4*a, 0 = 2*a - 10. Let h(n) = 2*n + 1. Let z be h(p). Is 6 a factor of m(z)?
False
Let z(a) = 16*a + 12. Does 6 divide z(2)?
False
Suppose 181 = 3*s + 28. Is 7 a factor of s?
False
Suppose -45 = 4*b - 17. Let v(o) = o**2 - 6*o - 6. Let n(l) = -l**2 + 1. Let d(s) = -3*n(s) - v(s). Is 21 a factor of d(b)?
False
Let m be -2 -