. Let v = h + -37. Is v a multiple of 20?
False
Does 9 divide 6/(-24) - (-255)/12?
False
Let q be (-2)/(-7) - (-51)/(-7). Let c = q - -25. Is c a multiple of 6?
True
Suppose -2*c + 0*a + 5*a + 27 = 0, -2*a - 16 = -c. Is c a multiple of 12?
False
Let d = -53 - -79. Suppose 5*c + 4*k = 69, 0 = 4*c + 4*k + d - 82. Is c a multiple of 13?
True
Let h = 129 - 25. Does 35 divide h?
False
Suppose -28*s - 330 = -30*s. Does 14 divide s?
False
Let g be ((-9)/(-6))/((-3)/(-6)). Suppose 48 = 7*s - g*s. Does 6 divide s?
True
Let a = -5 - -10. Suppose 0*v - v = -4*i - 42, -a*i = -10. Does 20 divide v?
False
Let r be (-14)/(-4) - 3/6. Let d(y) = 22*y**2 - 5*y + 13. Let v(p) = 15*p**2 - 3*p + 9. Let z(s) = 5*d(s) - 7*v(s). Does 18 divide z(r)?
False
Suppose -5*z = -8*z + 57. Does 5 divide z?
False
Is 5 a factor of 28/5 - (-12)/(-20)?
True
Suppose -h + 4*h - 64 = -w, -4*h + 4*w + 80 = 0. Does 3 divide h?
True
Let j be (-2)/(6/(-99)*3). Let v = j - -7. Is 18 a factor of v?
True
Let h(k) = k**2 + 21*k + 38. Does 4 divide h(-20)?
False
Let k(o) be the second derivative of -o**3/3 + o**2/2 - o. Suppose -3*i + j = 13, -6*j = -3*i - j - 29. Is k(i) a multiple of 2?
False
Let w(h) = 3*h**2 + 31*h + 17. Is 30 a factor of w(-16)?
False
Suppose 4*q + 14 = 5*q. Is q a multiple of 6?
False
Suppose -5*r = -3*n - 6 - 23, 3*r = -4*n. Let f(b) = b**2 - b. Let k(a) = a**2 - 6*a + 2. Let w(l) = r*f(l) - k(l). Is 14 a factor of w(2)?
True
Let r(a) = -4 - 2 - 1 + 4*a. Is 9 a factor of r(9)?
False
Let r = 28 + 21. Let c = r - 28. Is 21 a factor of c?
True
Let g(k) = -k**3 + 4*k**2 + 4*k - 1. Does 8 divide g(3)?
False
Suppose -b + 2 = 5*w, 2*b - 4*b - 3*w = -39. Is 13 a factor of (-3)/(-3) + -2 + b?
True
Let k = 208 - 144. Is k a multiple of 24?
False
Let k(n) = n**2 - 9*n - 10. Is 33 a factor of k(-8)?
False
Let t(f) = -6*f - 2. Does 8 divide t(-5)?
False
Let y = -2 + 32. Let o = 3 + y. Let g = -19 + o. Is g a multiple of 11?
False
Let b(j) be the third derivative of -j**6/15 - j**5/30 + j**3/6 + j**2. Is 4 a factor of b(-1)?
False
Let s(u) = -u**3 - 7*u**2 - 5*u - 3. Let g(y) = y - 8 + 1 + 1 - 8. Let d be g(7). Is s(d) a multiple of 16?
True
Suppose -3*c - 3*g = -7 + 4, 32 = 2*c - 4*g. Let w(v) = -v**3 + 7*v**2 - 7*v + 3. Let l be w(c). Is (l - -35) + 6/2 a multiple of 12?
False
Suppose -4*m - 3*h = -0*h - 31, 0 = 2*h - 10. Suppose i - 4 = -2*l, -2*i + 1 - 3 = -l. Suppose 0 = r + l*b - m - 6, -r = -b - 19. Does 14 divide r?
False
Suppose -v + 225 = -3*l + 2*v, 5*v = -l - 57. Let b = 110 + l. Does 13 divide b?
False
Let d(f) = 3*f - 3*f + 4*f**2. Let j be d(-1). Suppose -8 = -v + 2*w, 0 = 2*v - v + j*w - 14. Is 6 a factor of v?
False
Let i(h) = h**2 - h. Let x(f) = -4*f**2 - f - 10. Let o(v) = -3*i(v) - x(v). Let p be o(-8). Suppose n = -n + p. Does 10 divide n?
False
Suppose 1 = 2*t - i + 12, 4*i - 8 = -4*t. Let c be 3 + (-1)/(2 + t). Does 15 divide c/22 - (-984)/33?
True
Let t(b) = -b**2 + 5*b - 2. Let j be t(3). Suppose -3*c = c + s - 116, 2*s = j*c - 128. Is c a multiple of 8?
False
Suppose -3*y - 23 + 92 = 2*f, 2*y = -6. Is 7 a factor of f?
False
Is 14 a factor of (-22)/(-55) - (-566)/10?
False
Suppose -j + 54 = 3*n - n, 4*n + 3*j = 110. Suppose -4*m + 38 = -n. Is m a multiple of 8?
True
Suppose -u + 0*m = 2*m - 18, -u = -3*m - 18. Suppose -q + u = -7. Does 9 divide q?
False
Suppose 0 = f + 4*f - 330. Is 11 a factor of f?
True
Let v = -531 - -763. Does 45 divide v?
False
Let j(n) = n**2 - 6*n - 3. Let r be j(7). Let l(c) = -6 - c**2 - 3*c**2 + 11*c + 3*c**2. Is 14 a factor of l(r)?
False
Suppose 120 = 3*h - r, 5*h - 3*r - 219 + 19 = 0. Is 20 a factor of h?
True
Let w = 12 + 22. Is w a multiple of 17?
True
Let n(x) = -8*x + 1. Let o be ((-3)/6)/(1/2). Is n(o) a multiple of 9?
True
Let i(q) = -3 - 8 + 0*q + 5*q. Let c(h) = -6*h + 12. Let s(m) = 6*c(m) + 7*i(m). Does 2 divide s(-8)?
False
Let l(f) = 1 - 3*f**2 + 73*f**3 + 0 + f**2 + f**2. Let q be l(1). Let d = 112 - q. Does 16 divide d?
False
Let y be (-4)/(((-2)/6)/1). Does 4 divide -5*4/(-30)*y?
True
Suppose -2*j + 0*j + 4*g + 176 = 0, 78 = j + 3*g. Is 28 a factor of j?
True
Let w(q) = -q**2 + 3*q + 3. Let f be w(4). Is 8 a factor of 14 - (6/(-2) - f)?
True
Let x(g) = -g**3 + 5*g**2 - 5*g + 3. Let k be x(3). Let l be (-63)/(-13) + k/39. Does 4 divide 16/l*(-10)/(-4)?
True
Does 27 divide ((-3)/5)/(2*(-3)/810)?
True
Let z be 2/3 + 8/(-12). Suppose z = x - 6*x + 35. Is x a multiple of 7?
True
Suppose 2 = 2*t - 3*k + 9, 0 = -4*t + 5*k - 13. Let n(r) = 7*r + 7. Let w(g) = -3*g - 3. Let b(q) = 4*n(q) + 10*w(q). Is b(t) even?
True
Does 14 divide (45/(-20))/((-6)/112)?
True
Let a(s) = s**2 - 4*s. Let g(b) = b**2 - 6*b + 6. Let w be g(6). Is a(w) a multiple of 6?
True
Suppose -27 = -5*y + 23. Is 5 a factor of y?
True
Let t(q) = 4*q**2 - q**2 - 5 + q - q**2 - 5*q. Is 25 a factor of t(-3)?
True
Suppose -4 + 2 = -w. Suppose b - 207 = -w*b. Is b a multiple of 23?
True
Let t be 3/4 + (-3)/4. Suppose -5*h + 5*p + 120 = t, 30 = -4*h - 5*p + 144. Is h a multiple of 13?
True
Suppose -2*x + 6 = 3*w - 3*x, -6 = -3*w - 4*x. Suppose -12 = w*o - 4*o. Does 2 divide o?
True
Suppose -59 = -3*r + 67. Does 14 divide r?
True
Suppose -2*o + 5*t - 72 = -187, -4*o - 3*t = -165. Is o a multiple of 5?
True
Suppose -1 = -2*i + 21. Is (1 - i)*98/(-35) a multiple of 16?
False
Let u(n) = n. Let b be u(-4). Let m be (6 + b)*(1 - -7). Let q = m - 11. Is q even?
False
Let z(k) = k + 28. Let o be z(0). Suppose 0 = -2*r - 5*w + 4, 2*r - w = -r - o. Does 4 divide r/10*(1 - 6)?
True
Let w = -5 - -8. Let k(f) be the second derivative of f**4/4 + 2*f**2 + 2*f. Is 12 a factor of k(w)?
False
Suppose x - 3*h = -6*h - 6, x = -2*h - 3. Let w be x/12 - 2/8. Suppose 5*s - 3*k - 14 = 0, w = 2*k - 5 + 1. Is 4 a factor of s?
True
Let k(b) be the first derivative of -b**4/4 - 7*b**3/3 - 3*b**2 + 8*b + 5. Is 5 a factor of k(-6)?
False
Suppose -4*d + 3*f = -28, -3*d + 0*f = f - 8. Suppose -d*c = -6*c - 40. Let l = c + 46. Does 13 divide l?
True
Let x = 1 + 1. Let m be x*1 + 4 + -4. Suppose 0 = j + m*j - 24. Is j a multiple of 8?
True
Let b be -1 - -3*(3 - 2). Let v be (2 + -1 - b) + 24. Let y = 6 + v. Is 18 a factor of y?
False
Let l(z) = -35*z - 1. Suppose 2 = -3*u - 1. Let c be l(u). Let f = 4 + c. Is 19 a factor of f?
True
Suppose -3*s + 2*m + 37 = -3*m, -28 = -4*s - 4*m. Let i = s - 5. Suppose -2*v - 37 = -2*p - 5*v, -p = i*v - 16. Is p a multiple of 10?
True
Let r(f) = 6 - f + 0*f - 3*f. Let u be r(6). Is 4 a factor of (-212)/u + (-14)/(-63)?
True
Let g(t) = t**2 - 14*t + 8. Let l be g(16). Let d = -15 + l. Does 25 divide d?
True
Let q = -14 - -59. Is q a multiple of 24?
False
Suppose h - 135 = -2*h. Is 8 a factor of 370/h + 4/(-18)?
True
Let l = -26 - 4. Let m = -13 - l. Is 11 a factor of m?
False
Let j(p) = 5*p**2 - 11*p + 16. Is j(6) a multiple of 26?
True
Let f = -29 + 44. Does 9 divide f?
False
Let o(g) = -g**3 - 10*g**2 - 2*g + 3. Is 37 a factor of o(-11)?
False
Suppose -4*g - 7*g + 187 = 0. Does 17 divide g?
True
Let o be (-4)/(-12) + (-10)/(-6). Suppose -3*z + 81 = -5*v, -5*z - o*v + 109 = 5. Is z a multiple of 13?
False
Suppose -r + 0 = 1, 2*r + 14 = -2*q. Does 14 divide ((-42)/15)/(q/60)?
True
Suppose 0 = 4*r - 3*y - 2, -r + 4*y - 5*y - 3 = 0. Let o = 5 + r. Suppose -o = -d - 0*v - 4*v, -4*v + 40 = 4*d. Does 12 divide d?
True
Suppose -5*l - 58 = -3*l. Let b = -9 - l. Is b a multiple of 20?
True
Suppose 0 = -3*y - 0*y - 21. Let x = 67 + y. Is x a multiple of 14?
False
Let p(b) = 4*b**2 - 7 - 3*b**2 - 23*b + 21*b. Is p(5) a multiple of 3?
False
Let o be 2/4 + 14/4. Let i be (18/o)/(5/10). Does 8 divide (i - 1)*(0 - -1)?
True
Let g(c) = c**3 - 4*c**2 + 1. Let s be g(3). Let h = s - -30. Does 11 divide h?
True
Let n(s) = -2*s**3 - 4*s**2 + 9*s + 7. Is 5 a factor of n(-4)?
True
Let b(c) = 7*c - 1. Let t = -1 - -11. Is 22 a factor of b(t)?
False
Let g be 6 + 0/3*1. Let m(s) = s**2 - 2*s - 5. Is m(g) a multiple of 13?
False
Let n be (-308)/(-35) - (-2)/10. Is (-6)/(-27) - (-160)/n a multiple of 18?
True
Let b = 115 + -54. Is b a multiple of 8?
False
Let z = 93 + -62. Let y = z - 63. Let m = 46 + y. Does 14 divide m?
True
Let k = -5 - -23. Suppose -4*c + 21 = 4*s + s, -3*s - k = -c. Is c a multiple of 9?
True
Let u be (-2)/8 - 45/(-20). Suppose -u*f = -2*m - m - 27, f + m = 