False
Is 56 a factor of (642/(-9))/((-8)/132)?
False
Let h = -772 + 917. Does 2 divide h?
False
Let c = 2861 - 285. Does 8 divide c?
True
Let z(w) = -60*w**3 + 2*w**2 + w - 1. Let r be z(-1). Suppose r*a + 35 = 65*a. Does 7 divide a?
True
Suppose 0 = -2*v + 5*i + 210, 4*v + 238 = 4*i + 634. Does 17 divide v?
False
Let k = 23 - 19. Suppose 22 - 10 = k*g. Is g a multiple of 2?
False
Let p(w) = 4 - 13*w - 1 - 2217*w**2 + 2218*w**2. Does 17 divide p(16)?
True
Suppose -6*j = 5*k - 5*j - 1105, -2*j + 890 = 4*k. Suppose 9*f = -f + k. Is f even?
True
Suppose -5*h + 12 + 8 = 0. Suppose 3*t - 51 = -4*q, -h*q - 4*t + 2 = -6*q. Is 25 a factor of ((-6)/q)/(1/(-81))?
False
Let p(b) = 37*b - 23. Let t be p(4). Suppose 3*s = -3*u - 2*u - 278, 0 = -3*u - 2*s - 167. Let j = u + t. Is j a multiple of 31?
False
Let v = -21 + 25. Suppose -j = 2*k - 5*k + 210, v*k = 3*j + 280. Suppose 4*t + 2*x - k = 0, 0*t = 4*t - 2*x - 90. Is 10 a factor of t?
True
Let n(f) = 4*f**2 - 9*f + 5. Does 31 divide n(11)?
False
Let r = -13 + 36. Suppose -61 = -4*y + r. Is y a multiple of 3?
True
Let q = -48 + 16. Suppose -4*x + x - 21 = 0. Is 2 a factor of (x - q)*2/10?
False
Let l(s) = 6*s + 7*s**2 - 9*s + 4 + s**3 - 2*s**3. Is l(6) a multiple of 15?
False
Suppose 5*g + 20 = -4*i, -3*g + 25 = -2*i - 3*i. Suppose 5*a = -q + 76, 5*q + a = -g*a + 284. Does 5 divide ((-62)/8)/((-14)/q)?
False
Let g(o) = o**2 + 11*o + 12. Let y be g(-5). Let t = y - 7. Does 12 divide (t + -5)*24/(-15)?
True
Suppose -k + 3*u = -116, 4*k = 2*u + 3*u + 457. Let p be (-404)/7 - 8/28. Let m = p + k. Does 13 divide m?
False
Suppose -5*g = -o - 1136, 4*o - 191 = -4*g + 737. Is 57 a factor of g?
True
Let f(g) = -2*g + 5. Let n(q) = -q. Let m be n(-3). Let y be f(m). Does 14 divide (-165)/(-12) - y/4?
True
Let x = 24 + -172. Does 8 divide (x/10)/((-6)/15)?
False
Suppose -2 - 1 = x + r, -5*r - 15 = 4*x. Suppose x = 3*v + 54 + 60. Let m = v + 79. Is 22 a factor of m?
False
Suppose 3*y = -4*s + 9 + 29, -12 = -y - s. Let i(g) = g**3 - 6 + 0*g**3 + y*g + 2*g**2 - 12*g**2. Is i(9) even?
False
Suppose 0 = 3*n - 9, -5*z - 2*n + 75 = -251. Does 22 divide z?
False
Suppose -4*t = 13 + 183. Let d = 52 - t. Is d a multiple of 17?
False
Is 36 a factor of (-6240)/(-117)*(4*14 + -2)?
True
Let g = -462 + 707. Suppose -2*j + 125 + 83 = 4*x, -5*j - g = -5*x. Does 23 divide x?
False
Let g be 9 - (3/(-3) + 0). Let y = -2 + g. Let o = 21 - y. Is 6 a factor of o?
False
Let c be (-3 + 1 + 3)*(2 + 0). Suppose -c*u + l + 957 = 3*u, 0 = -l + 3. Is 24 a factor of u?
True
Let r(m) = m**3 + 7*m**2 - 10*m - 10. Let w be r(-8). Let l(t) = t**2 + 13*t - 1. Is 20 a factor of l(w)?
False
Let j(h) = -10*h**2 - 9 - 2*h - 5*h + 17*h + h**3 + 1. Let a be j(9). Is 13 a factor of a/(3 + (-114)/39)?
True
Let g(a) = a + 13. Let p be g(-7). Suppose -2*z + 0 = -p. Suppose 3*s = -9, z*n + 2*s = -2*s + 180. Does 16 divide n?
True
Suppose 0 = -u + 3*x + 2*x + 97, 4*u + x - 493 = 0. Suppose 4*f + u = 3*d, d + f + 10 = 53. Does 6 divide d?
True
Let j(u) be the third derivative of u**4/24 - u**3/6 - 8*u**2. Let q(g) = 5*g - 6. Let t(c) = -39*j(c) + 6*q(c). Does 19 divide t(-6)?
True
Suppose -27 = 12*h - 99. Does 4 divide h?
False
Suppose -35966 + 2726 = -30*x. Is 14 a factor of x?
False
Let o(x) = -x**2 + 4*x + 1. Let y be o(4). Does 5 divide (-273)/(-14) - y/(-2)?
True
Let y(p) be the first derivative of p**4/4 + 4*p**3 + 12*p + 8. Is y(-12) a multiple of 6?
True
Suppose -3*l + 2 = -4. Suppose -6*w - 12 = -l*w, 0 = 2*y - 3*w - 19. Suppose 2*t + d - 107 = 6*d, -189 = -4*t + y*d. Is t a multiple of 15?
False
Suppose 55 = 5*w - 0*g + 3*g, 2*w + 3*g - 22 = 0. Let l = w - 1. Let u = l + 45. Is 11 a factor of u?
True
Let u(n) = -n**3 + 9*n**2 + 9*n + 4. Let v be (3 - (-8 + 1))/1. Let x be u(v). Does 13 divide (8/(-12))/(x/117)?
True
Let k(f) = -110*f + 2. Is 35 a factor of k(-3)?
False
Suppose 0 = -230*d + 233*d - 9. Suppose -4*w + 5*c = -369, 0*c = -d*w - 2*c + 294. Is w a multiple of 4?
True
Suppose 0 = -37*k + 28*k + 2709. Is k a multiple of 3?
False
Let o(d) = -d**2 - 5*d + 5. Let i be o(-5). Suppose -2*c = 2*c - 860. Suppose i*a - c = -70. Does 11 divide a?
False
Let n = 117 + 45. Suppose 3*o = -5*k + 741, -4*k + 5*o + 453 = -n. Is k a multiple of 30?
True
Let p(m) = 100*m**2 - 8*m + 33. Is p(4) a multiple of 44?
False
Is 42 a factor of 9076/12 + 2/(-6)?
True
Is 10 a factor of ((-455)/39)/((-15)/54)?
False
Let v(w) = -5*w + 43. Let b(y) = -2*y + 14. Let g(m) = -11*b(m) + 4*v(m). Is 20 a factor of g(10)?
False
Suppose -17*f - 9150 = -42*f. Does 21 divide f?
False
Let m = -101 + 86. Is (-5)/m*(-1164)/(-2) a multiple of 40?
False
Let o(w) = -2*w - 22. Let j be o(-11). Does 18 divide j + 56 - (-1 + 1)?
False
Let d = 45 - 37. Suppose -2*b + d = -22. Is 3 a factor of b?
True
Suppose 20*c + 2090 = 58*c. Does 10 divide c?
False
Let g(p) = 57*p**3 + 56*p**3 - 114*p**3 + 7*p - 5*p**2 - 15. Does 8 divide g(-7)?
False
Suppose 5*n + 8 = 143. Suppose -4*t + 7*t + 31 = -q, t = 3*q - n. Does 10 divide (-1141)/(-28) + 9/t?
True
Let w = 12 - 8. Suppose 180 = w*s - 156. Is s a multiple of 14?
True
Suppose -3*b + 12 = 2*s, 8 = b + 2*s - 0*s. Let x(q) = -4*q + 0*q + b - 5 + q. Is x(-9) a multiple of 8?
True
Is -6*4*((-489)/12 + -3) a multiple of 25?
True
Let a(m) = 217*m**2 + 11*m - 1 - 2*m - 8*m. Let g be a(1). Suppose 5*c + 2*u - g = 6*u, 0 = 5*c - u - 208. Is c a multiple of 8?
False
Suppose -2*f + 5*n = -1158 - 392, 10 = -5*n. Suppose -4*w - w + f = 0. Is 14 a factor of w?
True
Let x(b) be the second derivative of 4*b**2 + 1/2*b**4 + 7/6*b**3 - 5*b + 0 - 1/20*b**5. Is 10 a factor of x(6)?
True
Let m(c) = c**3 - 14*c**2 + 24*c - 10. Let a(b) = 2*b**3 - 29*b**2 + 48*b - 21. Let h(l) = -2*a(l) + 5*m(l). Is h(10) a multiple of 20?
False
Let a(c) = 78 + 12*c + 9*c - 22*c. Is 39 a factor of a(0)?
True
Let t be 3/5 + (-2002)/(-55). Does 21 divide t - (-2 + 1) - -4?
True
Let g = -220 + 628. Does 31 divide g?
False
Let g = -318 - -58. Let m = -141 - g. Is m a multiple of 30?
False
Is (2 - -54)*(-80)/(-140) a multiple of 16?
True
Suppose -3828 = -2*n + 4*d, -4*n - 6*d = -d - 7591. Does 56 divide n?
True
Let m(j) = -7*j**3 + 2*j**2 - j. Suppose -5 = -6*d + 1. Let o be m(d). Let k(q) = -q**2 - 11*q - 11. Is k(o) a multiple of 8?
False
Suppose 2*k - 8 = -0*k. Suppose -k*p = p. Suppose p = -4*r + 48 + 32. Is r a multiple of 20?
True
Suppose 0*v + 3*v = 9. Let q(s) = 2*s**2 + v + 2 - 4*s + 2*s. Does 12 divide q(5)?
False
Let o be (-2 + 1)*(-4 + 4)*1. Suppose 2*w + 5 + 35 = 2*i, -i + 4*w + 5 = o. Is i a multiple of 5?
True
Suppose -2*s + 5 = 9. Does 21 divide s/(-5) - 7/(35/(-918))?
False
Let o(j) = -j**2 + 8*j - 9. Let m be o(7). Let k be ((-41)/m)/(2/4). Let t = k - 15. Is t a multiple of 26?
True
Let a(f) = 2*f - 22. Let g be a(13). Suppose g*r - 3*b + 38 = 5*r, -r + 14 = -3*b. Does 5 divide r?
False
Suppose 0 = 5*x + 3*t - 17385, -17*x + 13905 = -13*x + 3*t. Does 41 divide x?
False
Let x be 0 + -7*(-3 + -1). Let m = 84 - x. Suppose 13*p - m = 9*p. Does 8 divide p?
False
Suppose -2*t + 216 = -4*r + 2*r, 5*t - 547 = -2*r. Does 66 divide t?
False
Let t = -281 - -425. Does 4 divide t?
True
Let b(j) = j**3 - 5*j**2 - 4*j - 8. Let t be b(6). Suppose -c + t*c = 0. Suppose c = u - 0 - 3. Is u even?
False
Suppose 199 = 2*p - 221. Does 35 divide p?
True
Suppose 4*o = l - 36, 0*o + 3*o + 16 = -2*l. Is 10 a factor of 2/o - (-41)/4?
True
Is 3 - 4724/(-8) - (-2)/4 a multiple of 27?
True
Let f = -17 - -93. Suppose 0*v - 4*v + f = 0. Suppose 0*a = a - v. Does 5 divide a?
False
Let i(d) = d**2 - d + 1. Let h(o) = -14*o**2 - 5*o + 4. Let t(x) = -h(x) + 5*i(x). Let a be t(-1). Let f = a + -8. Is 4 a factor of f?
True
Suppose -b = 2*q - 66 + 10, -5*b + 244 = q. Is b a multiple of 22?
False
Let i(w) = w + 13. Let h be i(-9). Let o be (-39)/(-26) + (-38)/h. Is (1 + 19)*o/(-10) a multiple of 8?
True
Let c(b) = -b**3 + 12*b**2 + b + 13. Let k be 3/9 - 78/(-9). Let n be c(k). Suppose 5*u = -0*u - 5*g + n, -136 = -2*u + 4*g. Does 26 divide u?
False
Let f = 4 + -10. Let p = f - -9. Suppose -t = -p*h + 121 - 30, 0 = 5*t + 20. Is h a multiple of 9?
False
Suppose -11*g = -13*g + 46. Is 15 a factor of g?
False
Let g(m) = 2*m**2 + 2*m + 3. Let b be g(-9). Suppose -10*f + b = -3*f. Does 8 divide f?
False
Suppose -10384 - 