e -w*h + 1782 = 8*h. Is 9 a factor of h?
True
Let y be 207/2 + 7/14. Let v be (-5)/((-5)/y) + 2. Suppose 0 = 5*h - s - v, s = 2*h - 0*s - 43. Does 21 divide h?
True
Suppose n + 2*n = 9. Let m be (-1 - n)/(5 + -6). Suppose 4 = -b, 0*i - 92 = -m*i - 5*b. Does 6 divide i?
False
Let c = -7 - -12. Suppose 3*q - c*q + 40 = 0. Suppose 3*i + 2*t = 5*t + 111, -5*t = q. Is 11 a factor of i?
True
Let y = -8 + 96. Is y a multiple of 8?
True
Let v = -39 + 66. Suppose 3*g - v = 2*g. Suppose g + 33 = p. Is p a multiple of 20?
True
Let t = 801 + 590. Is 75 a factor of t?
False
Suppose 5*l + 4*s = -381 - 24, 4*s = -3*l - 235. Let h = l + 131. Is 10 a factor of h?
False
Suppose -3*f + 2486 = -5*i, 15*f - 4*i = 20*f - 4205. Is 8 a factor of f?
False
Suppose 0 = m + 4*o - 2932, -19431 = -5*m - 5*o - 4846. Does 104 divide m?
True
Suppose n = -2*p - 57 - 2, 3*p - 3*n + 93 = 0. Let b = -36 + 75. Let k = p + b. Does 4 divide k?
False
Let j(l) = l**3 - 4*l**2 - 3*l + 2. Let m(x) = -x - 4. Let g be m(-7). Suppose 25 = g*d + 2*d. Is j(d) a multiple of 6?
True
Let s = 40 - 25. Let a = s + -7. Suppose 0*w + 192 = a*w. Does 6 divide w?
True
Suppose 900 = -66*g + 72*g. Is g a multiple of 50?
True
Suppose 0 = g - 6 + 28. Suppose 2*a - 64 = -3*f, 2*a + 5*f - 34 = 30. Let k = a + g. Is k a multiple of 10?
True
Suppose -839*w + 826*w + 12402 = 0. Is 9 a factor of w?
True
Is 14 a factor of 6 + (-4)/1 + 28?
False
Suppose 2*w + o = -1, -3 = -w + o + 4. Suppose n - 3 = -1, -3*y + 4*n - w = 0. Does 9 divide 28 + -1 + (y - -3)?
False
Suppose -10 = -4*y - 2*o, 3*y - 3*o - 7 = 5. Suppose -4*p - 16 + 132 = 0. Suppose y*d = -0*w - w + p, -2*d + 8 = -5*w. Is 9 a factor of d?
True
Suppose -5*j - 4*t = -3798, -2*j - 5*t = -0*t - 1509. Is j a multiple of 25?
False
Does 17 divide (-1 + 907)/(93/124)?
False
Let l = -1276 - -2026. Does 10 divide l?
True
Let z = -67 + 65. Is -1 + z*((-2187)/6)/9 a multiple of 8?
True
Let x = 3585 + -1476. Is 103 a factor of x?
False
Suppose -5*w - 32 - 58 = 0. Let a = -13 - w. Suppose -2*q - 23 = -0*j - a*j, 0 = -3*j - 5*q + 20. Is 3 a factor of j?
False
Let z be (-122)/10 + (-9)/(-45). Let k = z - -2. Is 142/2 - 40/k a multiple of 25?
True
Suppose -6 = -i - 2*i. Suppose -532 = -2*l + 2*w, i*l + w - 794 = -l. Does 53 divide l?
True
Suppose -3*s - 36 + 117 = 0. Suppose 4*h - 9 = 5*i - s, -4*h = 4*i. Suppose -i*m = -3*o + 48, 3*o - 27 = 5*m + 21. Does 8 divide o?
True
Suppose y = 5*n - 1057, -4*n + 5*y + 205 = -628. Does 4 divide n?
True
Let c be (-3 + -4 + -1)/(-2). Suppose 5*k = 4*r + 10, -12 + 4 = 3*r - c*k. Let s(d) = -d**3 - d**2 + d + 21. Is 7 a factor of s(r)?
True
Let h be (0 + 15)/(6/10). Let o = h + -66. Is 14 a factor of (1 + -2)*(-1 + o)?
True
Suppose 1730 = 3*a - a. Suppose 3*k - a = -97. Suppose 3*y + z - 205 = 0, -3*y - 31 = -3*z - k. Is y a multiple of 16?
False
Let l = -2 + 4. Let c = l - -18. Suppose -y - c = -3*y. Does 10 divide y?
True
Suppose 7 = 30*a - 31*a. Let f(z) = -z**3 - 6*z**2 + 8*z + 15. Let r be f(a). Does 11 divide 4*(116/r + -4)?
False
Suppose -4*w + 868 = -4*z, -5*w - 5*z = -9*z - 1083. Is w a multiple of 38?
False
Let a(t) = -t + 2. Let v be a(2). Suppose v*c = 3*c - 276. Is 20 a factor of c?
False
Let w(i) = -i**3 + 6*i**2 - 7*i - 7 + 3*i**2 - i**2. Is w(6) a multiple of 19?
False
Let g(q) = -q**2 + 7*q - 4. Let u be g(6). Suppose -u*n = 4*n - 162. Does 4 divide n?
False
Let i be (-8)/3*(-3)/2. Suppose -h - 7 = -i*l + 69, 0 = 5*l + 4*h - 95. Does 9 divide l?
False
Let v(n) = 2*n**2 + 4*n - 50. Does 54 divide v(-18)?
False
Suppose -x - 5*x + 780 = 0. Let c = 226 - x. Is 24 a factor of c?
True
Suppose -4*a - 39 = -3*h, h = -a - 3*a - 19. Let b be a/15 + (-77)/(-5). Does 34 divide (-6)/b*-5*34?
True
Suppose -21*t = -74325 + 23526. Is 55 a factor of t?
False
Let j(g) = g + 2. Let l be j(1). Suppose -34 = 5*k + l*f, 0*k + 5*k - 4*f = -13. Let t = k - -11. Is t a multiple of 6?
True
Suppose 6355 = 4*l + 3*h, 2*l - 3*h - 648 = 2543. Does 43 divide l?
True
Suppose 2*u - 1 = -5*m, -u + 4*m + 3 = 9. Is 18 a factor of (u/(-2))/(-6 - (-3245)/540)?
True
Suppose 0 = -4*r - i + 4357, r - 3*r - 4*i + 2182 = 0. Is r a multiple of 11?
True
Let q(f) = -2*f + 9. Suppose 4*u = -3*p + 130, -p + 5*u - 1 = -19. Suppose 0*i + 5*x = i + p, 20 = 4*x. Is 8 a factor of q(i)?
False
Suppose -3*l - 1 = -31. Let h = l + -8. Suppose h*p = -v - 1, 3*p = -4*v - p + 12. Is 3 a factor of v?
False
Suppose 2*l + 4*w - 3304 = 0, -6*w = -4*l - 8*w + 6578. Is l a multiple of 5?
False
Let v be 1 - 4/(12/(-27)). Let d = -119 - v. Is 2/(-4) + d/(-2) a multiple of 32?
True
Is (-6)/4*(-14554)/57 a multiple of 11?
False
Let y(s) = s**3 + 14*s**2 - 10*s + 24. Does 54 divide y(-12)?
True
Let a(s) = -s**3 - 11*s**2 - 10*s - 1. Is 28 a factor of a(-13)?
False
Let r = -82 + 168. Let c = -48 + r. Is 13 a factor of c?
False
Suppose 3*m - 6 = 0, 6*m + 2062 = -2*a + m. Let p be a/(-21) + (-4)/(-6). Suppose -z - 2*r = -p, z - 48 = -0*z - 4*r. Is 31 a factor of z?
False
Let u(v) = 2*v**2 - 10*v - 48. Let f be u(8). Suppose 2*m = -2*m + 20. Suppose f*j + m*j - 535 = 0. Is j a multiple of 22?
False
Is ((-17)/(-51))/(1/(-3)) - -60 a multiple of 7?
False
Let y(u) = -5*u**3 + 57*u**2 - 24*u + 20. Is y(9) a multiple of 3?
False
Let x = 2 - -3. Suppose 2*u + 2 = 2*r - u, -2*r + x*u = -10. Does 4 divide 25/2 + r/10?
True
Let t = 942 + -478. Is t a multiple of 29?
True
Suppose 37*v - 28578 + 384 = 0. Does 57 divide v?
False
Suppose 3*o - 220 = 4*x, 0*o + 4*x = -2*o + 160. Is o a multiple of 2?
True
Suppose -86 + 74 = -4*g. Does 9 divide (-3)/3 + 74/6*g?
True
Suppose -y + 2*w = 7*w - 8, 4*y - 4*w + 64 = 0. Let f(v) = -v**2 - 12*v + 3. Let h be f(y). Suppose -9 = -h*r + 2*r. Does 3 divide r?
True
Let w = -948 - -1095. Does 49 divide w?
True
Let x be -2 + 1 - -6*(-5)/(-10). Suppose 3*t = -x*c + 274, -5*t - 11 = c - 162. Does 22 divide c?
False
Let c = -912 - -1382. Let w = 674 - c. Does 12 divide w?
True
Suppose 1839 = 36*s - 4317. Does 12 divide s?
False
Let h be ((-1)/(-2))/(9/5598). Let b = -217 + h. Does 12 divide b?
False
Let g = -4 - -6. Let u = 44 - -74. Suppose -4*v + u = -g*y - 0*y, v - 37 = -2*y. Is v a multiple of 31?
True
Suppose -5*w = 3*r - 83, -2*r + 27 = -2*w - 7. Let z be r*(-1 + -3 + 6). Is 14 a factor of 564/z + 4/7?
True
Suppose -243 = -7*r + 240. Let c = r + -37. Is c a multiple of 11?
False
Let f(a) = -22*a**3 - 10*a**2 - 22*a - 16. Does 22 divide f(-4)?
True
Let b(p) = 10*p**2 + 2*p - 1. Let w be b(2). Suppose w = o - 200. Suppose o = 5*z + 78. Is z a multiple of 19?
False
Suppose 0 = -4*r - 3*v + 29, -2*r + 2*v - 3*v + 13 = 0. Suppose -19 - 791 = -r*w. Is 18 a factor of w?
True
Suppose i + 2*s + 940 = 3*i, -s = -4*i + 1886. Is i a multiple of 19?
False
Let f(k) = -k**2 - 9*k + 9. Let g be f(-5). Let z = g + -22. Is z a multiple of 2?
False
Suppose -4*c + 1 - 55 = -2*x, 0 = 4*x - 5*c - 105. Let n be (1 + 0)*1 + -18. Let r = x - n. Is r a multiple of 14?
True
Suppose m = -m - 18. Let y be 2 - -1*m/(-1). Let s = y - -6. Is 17 a factor of s?
True
Let z = 118 - 115. Let s = 8 - -5. Suppose -t + 1 + s = -4*i, -z*t = -5*i - 35. Does 10 divide t?
True
Suppose 17*g - 22*g + l + 1304 = 0, 3*g + 5*l - 788 = 0. Is g a multiple of 87?
True
Suppose 0 = -5*a + 2*h + 6209, -3*a + 7*a - 3*h = 4963. Is 18 a factor of a?
False
Let m be 3 - (3 - (1 - -2)). Let b(d) = d**2 + 4*d + 4. Let w be b(-4). Suppose 8*f = 5*f + w*o + 118, 155 = 4*f - m*o. Is f a multiple of 17?
False
Let t be 1746/4 + 3/(-2). Suppose 12*o + t = 17*o. Is o a multiple of 15?
False
Suppose 1 - 44 = -y - 4*g, -5*g + 40 = y. Suppose 3*l = y + 2. Let c = 2 + l. Is c a multiple of 7?
True
Let x = 56 + -20. Let a = x - 33. Suppose -a*z - 3*n = -4*n - 360, 2*z = -3*n + 229. Does 17 divide z?
True
Suppose 33*i = 17*i + 1152. Does 31 divide i?
False
Let y be (-1)/(428/(-144) + 3). Let n = -15 - y. Is n a multiple of 5?
False
Let g(c) = -4*c + 3. Let n be g(-11). Suppose -k = -n - 67. Does 10 divide k?
False
Let n(p) be the third derivative of 0*p**3 + 1/30*p**5 - 1/8*p**4 - 7*p**2 + 0 + 0*p. Is 20 a factor of n(4)?
True
Let m(o) = o**3 + o**2 - o + 209. Let k be m(0). Suppose -3*l - k = -5*v - 60, 0 = -3*v - 4*l + 101. Is 31 a factor of v?
True
Let s = -184 + 118. Let i = -46 - s. Does 18 divide i?
False
Let g(i) = i**2 + 9*i +