 = -q*h + 4. Suppose v = i - 0. Is i a multiple of 4?
True
Suppose -i - 16 = -4*i + 2*w, -5*i = -2*w - 20. Let h(m) = 5*m - 2 - 6*m**3 - 4*m + 11*m**3 - 81*m**2 + 78*m**2. Does 7 divide h(i)?
True
Suppose 24*s - 20*s = 1020. Does 27 divide s?
False
Let i = -40 - -114. Let w = i + -29. Is w a multiple of 15?
True
Suppose -5*u = 0, 4*m + 3*u + u = 12. Suppose s - 71 = -m*f, -f + 66 = s - 11. Is s a multiple of 22?
False
Suppose 5*l - 12 = -4*x + 28, -4*x + 4*l = -4. Suppose 0 = -4*o - j + 185, 155 = -o + 5*o - x*j. Does 36 divide o/30*184/6?
False
Let b be ((-28)/(-14))/((-2)/32). Let n = 23 + b. Is (-628)/n - 2/(-9) a multiple of 14?
True
Let a = -13 + 15. Suppose -3*w - 5 = -a, -5*q = 5*w - 35. Is q a multiple of 8?
True
Let v = 22 + -19. Let i be v*(4 + (-15)/9). Let p(s) = 2*s. Is 10 a factor of p(i)?
False
Let g be 6 - -4 - 4 - 1. Suppose 88 - 16 = 3*q - g*l, -5*q + 4*l = -133. Is 6 a factor of q?
False
Suppose -34*x - 867 = -31*x. Let h = -160 - x. Does 5 divide h?
False
Let f(h) = -h**2 + 9*h - 5. Let d be f(8). Suppose 0 = n + d*q - 107, 5*q = 3*n - 173 - 134. Is 26 a factor of n?
True
Suppose 5*h = 3*k - 1497, -5*k - h + 407 = -2116. Does 36 divide k?
True
Let x be ((-25)/10)/((3/2)/(-3)). Is 100 - -1 - (0 - x - -4) a multiple of 17?
True
Let p be (-3 + -2)*77/55. Let h(j) = -j**2 - 10*j - 2. Does 15 divide h(p)?
False
Suppose 0 = -2*z - 3*g - 19, -z - 2*g - 3 - 9 = 0. Let x be z/(4 + -2) + 5. Let q(v) = -v**3 + 4*v**2 + 7*v - 6. Is 11 a factor of q(x)?
True
Suppose 4*r - 8871 - 3549 = 0. Is 15 a factor of r?
True
Let x(m) = -360*m**3 + m. Let o be x(-1). Let t = 584 - o. Suppose 36 = -3*k + t. Is k a multiple of 20?
False
Suppose 13*r = -2*p + 9*r + 362, 4*r = -5*p + 875. Is p a multiple of 24?
False
Let s(q) = 3*q + 9. Let h(k) = -2*k - 5. Let f(p) = -11*h(p) - 6*s(p). Let g be f(-1). Is 5 a factor of (1/g)/(4/(-60))?
True
Let a(c) = 7*c - 27. Let u(b) = -3*b + 14. Let k(o) = 4*a(o) + 9*u(o). Suppose 6*x - 56 = 2*x. Is 9 a factor of k(x)?
False
Let f be ((-10)/(-30))/(2/24). Let w be (f - -12)*(1 - -1). Suppose -g = -0*k + k - w, -3*g + 125 = 4*k. Is 12 a factor of k?
False
Let b(f) = -2*f - 29. Let x be b(-16). Suppose -2 = -w, -1 = 2*k + x*w - 5. Is -4 - (-27 - (-3)/k) a multiple of 26?
True
Suppose -w = -1, 4*i - 3*w = -0*i + 349. Let k be (-7 + -2)/((-4)/16). Let f = i - k. Is f a multiple of 17?
False
Let c(r) = 7*r - 3. Let g be c(-7). Let t = g - -3. Let x = t + 82. Is 10 a factor of x?
False
Suppose 65151 = 58*a - 5841. Is 9 a factor of a?
True
Let q = -2 - -1. Let i be (10/6)/(q/57). Let u = i + 138. Is 10 a factor of u?
False
Let v(z) = 6 + 9 + 4*z - 4. Let h be v(-5). Let s(k) = -k**3 - 9*k**2 + 6. Does 6 divide s(h)?
True
Let s = 56 - -599. Suppose 5*m = n + s, -3*m - 2*n + 406 = -0*m. Is m a multiple of 28?
False
Let g be (-4 + (5 - 1))/1. Suppose 3*f = -g*f + 108. Is f a multiple of 9?
True
Let m(r) = 5*r**2 + r - 6. Suppose -8*w = -7*w - 3. Is m(w) a multiple of 7?
True
Is 77 a factor of 8/(-40) + (-2)/((-10)/3081)?
True
Let g(i) = 20*i - 68. Let n(b) = -280*b + 950. Let k(u) = -55*g(u) - 4*n(u). Is 12 a factor of k(6)?
True
Suppose -d = 9 - 3. Let f be -15*(10/d)/5. Suppose 5*z + 5*h = 250, -f*z + 85 = -4*h - 138. Is z a multiple of 16?
False
Suppose 4*v + 1 - 9 = 0. Let z be v*(236/8 - -1). Let h = -41 + z. Does 8 divide h?
False
Suppose 10*y - 1393 = 1147. Let k = -168 + y. Does 21 divide k?
False
Suppose 63*d - 66*d = -2*h - 2378, -5*d - 5*h = -3980. Is d a multiple of 27?
False
Let u be 3 + (-4)/2 + 5 + 10. Suppose -2*a + u + 12 = 2*c, 2*c - 13 = -a. Is a a multiple of 15?
True
Suppose -5*g = -19 - 36. Let q = -21 + g. Does 2 divide (-75)/q - 1/2?
False
Does 18 divide 120/((-32)/24 - 2*-1)?
True
Suppose -t - 3*i + 388 = 0, -2*t - 25*i + 28*i + 812 = 0. Is t a multiple of 25?
True
Suppose -5*c - r = 55, 0 = 3*c + r + 3*r + 50. Let n = -7 - c. Does 14 divide -2*1*(n + -10)?
True
Let l(i) = 2*i**2 - 4*i - 3. Let o be l(3). Suppose -4*x + r = -573, x - o*r - r = 132. Is x a multiple of 9?
True
Let w = 31 - 0. Let k = -9 + w. Let s = 96 - k. Is s a multiple of 37?
True
Suppose -3*s + 14 = -1. Let l = 203 + -218. Does 15 divide 4 - s/(l/144)?
False
Suppose 18*q + 3817 = 9649. Does 10 divide q?
False
Let t be 0 - (-1 + -2) - 3. Suppose 2*x - 4*b - 30 = t, 2*x + b - 45 = -0*x. Suppose 17*z = x*z - 168. Does 21 divide z?
True
Let n be (-3)/(-3)*(-172)/(-4). Suppose 0 = v + 5*b - n - 7, -b = -4*v + 242. Is 30 a factor of v?
True
Let f(n) = -n**3 + 7*n**2 + 3*n + 2. Let s be f(7). Let k be 2/2 + 6 + -4. Suppose -2 - s = -5*u, k*m = 2*u + 107. Does 9 divide m?
False
Let o(n) = n**3 + 13*n**2 + 14*n + 11. Let d be o(-12). Let m = d - -19. Is 114/4 + (-3)/m a multiple of 7?
True
Let d = 771 - 251. Suppose 3*v = d + 215. Let c = v + -170. Is c a multiple of 17?
False
Suppose -2*f + 5*w - 205 = -3*f, -5*f + 969 = -3*w. Does 15 divide f?
True
Does 11 divide 7112/84 + 4/3?
False
Let j = 20 + -12. Let k(w) = -w + 9. Let b be k(j). Let a = b - -29. Is 11 a factor of a?
False
Suppose 7*q - 1455 - 617 = 0. Is q a multiple of 37?
True
Let b = 362 + -49. Is b a multiple of 41?
False
Suppose 6*y = y + 3*l + 27, 3*l = -5*y + 3. Suppose 0 = -y*h - 3*b + 105, -4*h - 18 = 5*b - 163. Is 5 a factor of h?
True
Suppose h + 5*m - 1446 = 0, 7*h + m - 2847 = 5*h. Is 31 a factor of h?
False
Let r be 1*(-2 - 0) + 35. Let v be ((-110)/r)/((-4)/6). Suppose 4*d = 4, v*f = -3*d + d + 402. Is f a multiple of 20?
True
Suppose -4*o = -5*h - 1032, 5*h + 745 = -o - 297. Let q = h - 80. Does 17 divide q/56*(-14)/4?
False
Suppose -2*g = p, -4*p + 7*p - 10 = -g. Suppose n - p*j = 95, n - 210 = -n - 2*j. Does 10 divide n?
False
Let q(a) be the second derivative of -a**5/20 + 2*a**4/3 - a**3 - 3*a**2 - 2*a. Let x be q(7). Does 19 divide 3*x*689/39?
False
Suppose 13*k - 29 - 36 = 0. Suppose -3*z + 1320 = k*z. Is z a multiple of 33?
True
Let x(n) = 3*n**3 - 30*n**2 - 10*n - 7. Does 33 divide x(11)?
False
Suppose -3 = -w + 2*x + 2, -2*w + 2*x = -4. Let z be w/(-4) + 3/4. Is 16 a factor of (-11)/(2/(-10)*z)?
False
Suppose 32*x - 18582 = 3434. Does 16 divide x?
True
Let o = 320 - 88. Let v = o - 131. Does 13 divide v?
False
Is 33 a factor of ((-2)/(-6))/(30/37530)?
False
Suppose 2*t - 837 = -3*t + 3*c, 4*t + 2*c - 652 = 0. Is 55 a factor of t?
True
Let n(y) = -73*y - 5. Let t be 1 + -10 + -6 + 10. Let p be n(t). Suppose -3*f = -8*f + p. Is 24 a factor of f?
True
Suppose -4*i + 0*i + 688 = 0. Let a = -8 - 113. Let g = i + a. Does 24 divide g?
False
Let w(s) = -3*s**2 - 2*s - 2. Let y be w(-1). Let i = -15 + y. Let r(o) = o**2 + 17*o + 4. Does 6 divide r(i)?
False
Let j(g) be the first derivative of -5 - 5/2*g**2 + 2*g + 0*g**3 + 1/4*g**4. Is j(3) a multiple of 10?
False
Let m(y) = y**2 - 5*y + 6. Let b be m(4). Suppose -3*v + 27 = 3*t, -b*t + v - 5*v = -24. Let j = 22 - t. Is j a multiple of 5?
False
Let n be (-2)/(-1) - (31 + -3). Does 6 divide (-50)/(-325) - (542/n + 0)?
False
Suppose 2 = u - 1. Suppose 4*a + 96 = 3*a. Is 1/u + a/(-9) a multiple of 2?
False
Is ((-20)/(-12) - 1) + (-2752)/(-12) a multiple of 29?
False
Let d(l) = l**2 - 5*l - 10. Suppose 44 = 2*b + 2*b. Does 14 divide d(b)?
True
Let b = 67 - 45. Let k = 65 - b. Does 11 divide k?
False
Let w(o) be the third derivative of o**5/4 + o**4/4 - 2*o**3/3 + 74*o**2. Let i = -10 + 7. Does 23 divide w(i)?
False
Suppose 0 = 3*l + u - 7, -2*l + 13 = l - 2*u. Suppose 0 = -4*s + l + 21. Is 12 a factor of 4 + s/3 + 18?
True
Let i = 324 + 140. Does 8 divide i?
True
Suppose -5*r + 5*v = -7*r, -5*v = 3*r. Suppose -4*n = 4*h - 512, r = -6*n + n - 2*h + 655. Does 19 divide n?
True
Let c = -44 - -52. Is 9 a factor of 4/c + 34/4?
True
Suppose -108 = 74*h - 71*h. Suppose 8*u = 3*u - 335. Let y = h - u. Is 10 a factor of y?
False
Let a be (20/(-50) - 8/5) + 21. Suppose -3*j - 2 + a = -o, 4*j - 12 = -4*o. Is j even?
False
Suppose 0*r = 11*r - 396. Suppose -l - r = -143. Is l a multiple of 18?
False
Let v(h) = 12*h**2 - 4*h + 56. Does 9 divide v(8)?
True
Let n(p) be the third derivative of -p**6/120 - 7*p**5/30 - p**4/6 - p**3/3 + p**2 + p. Is n(-14) a multiple of 9?
True
Suppose w + 14 = -5*z, -3*w - 2*w + 2*z - 97 = 0. Let q = 20 + w. Is 6 a factor of q/2 + 166/4?
True
Let j = 27 - -11. Suppose v - j = -5*n, -2*n + 5*n + 3*v