 d be a(-3). Suppose -d*k = 3*v - 45 - 92, 4*k + 5*v - 277 = 0. Does 13 divide k?
False
Suppose 0*z - 3*z + 6 = 0, 3*z - 8 = 2*a. Suppose -4*f - 20 = -0*f. Is 12 a factor of (f + 6)/(a/(-41))?
False
Suppose -41 - 55 = -3*f - 2*u, 2*u = 0. Is 32 a factor of f?
True
Suppose 133 = 2*h + 11. Does 13 divide h?
False
Suppose -2*x = -0*x - 118. Suppose -4*q = -x - 161. Let j = 84 - q. Is j a multiple of 10?
False
Let m = -7 + 19. Is m a multiple of 12?
True
Let d(z) = -2*z**2 + 9*z. Let u(n) = 2*n**2 - 8*n. Let g(s) = 6*d(s) + 7*u(s). Let k be (9/(-2))/((-12)/16). Is 21 a factor of g(k)?
False
Suppose 11 + 7 = h. Is 17 a factor of 424/7 + h/42?
False
Let f be 10*-3*14/(-12). Let d = f - 10. Does 8 divide d?
False
Let p(f) = -6*f**3 + f**2 + f + 1. Let u be p(-1). Let x = -7 + 7. Let s = u - x. Is 6 a factor of s?
False
Suppose -2*r + 10*r = 872. Does 9 divide r?
False
Let r = -1 + 12. Is 11 a factor of r?
True
Suppose 3*u - 6*u = 2*r - 24, 4 = -2*u. Let o = r + -1. Does 8 divide o?
False
Suppose -5*b + 80 = -k + 3*k, -3*k - 4*b + 113 = 0. Is k a multiple of 8?
False
Suppose -2*s = -s - 95. Is 23 a factor of s + 4 + -3 + -4?
True
Let p(x) = 9*x**2 + 2*x + 7. Let g(z) = 8*z**2 + 3*z + 7. Let l(s) = 7*g(s) - 6*p(s). Let k be l(-6). Suppose 0 = -5*n - k + 115. Does 13 divide n?
False
Suppose 5*s + 23 + 2 = 0. Let h = s + 14. Does 3 divide h?
True
Let v = 330 - 149. Is v a multiple of 46?
False
Suppose -i + 2 = -0*i. Suppose 3*n - 40 = -3*z - i*z, -4*z = -3*n - 5. Suppose 0 = n*v - 0*v - 50. Is 4 a factor of v?
False
Let t be 101/3 - 6/9. Suppose r + 0*n = -5*n + t, n + 195 = 4*r. Is 24 a factor of r?
True
Let s = 232 - 127. Suppose 4*j = 2*m - 60, 4*m + 5*j = -m + s. Is m a multiple of 8?
True
Let b = 116 + -66. Is b a multiple of 10?
True
Suppose -4*g - v = -g - 71, 4*v = 4*g - 84. Is g a multiple of 6?
False
Suppose -k - 901 = 2*b - 5*b, -k - 1501 = -5*b. Does 12 divide b?
True
Let o(y) be the second derivative of -8/3*y**3 + 0 - 1/2*y**2 + 3*y. Is o(-1) a multiple of 5?
True
Let b(a) = -2*a + 3. Let f(i) = -i. Let k(h) = -3*b(h) + 12*f(h). Is k(-6) a multiple of 24?
False
Let n(a) = -30*a - 6. Let b be n(-2). Let t = -16 - 4. Let v = b + t. Does 17 divide v?
True
Suppose 2*w - 4 = -0. Suppose -1 = 2*d - 2*q - 19, 0 = 4*d + w*q - 18. Is 6 a factor of d?
True
Is (256/5)/((-16)/20 + 1) a multiple of 32?
True
Suppose 0*r + 3*u = -4*r + 93, -3*r + 57 = -2*u. Is 9 a factor of r?
False
Let u(a) = a**2 - 9*a - 12. Let o be u(10). Let f(j) = j**3 + 3*j**2 + 4*j + 2. Let k be f(o). Is 2 a factor of (k + (-12)/3)/(-2)?
False
Let i = -3 + 4. Let x be i/(3/9 + 0). Suppose -j = -0*w - 5*w - 22, -x*j + 5*w + 36 = 0. Is 2 a factor of j?
False
Let c(m) be the first derivative of m**4/4 + m**3 - 5*m**2/2 - 5. Is c(-4) a multiple of 3?
False
Suppose 5 - 157 = -2*c. Does 19 divide c?
True
Let l be (1 + 2)*(-7)/1. Let p = l + 38. Does 7 divide p?
False
Let y(t) = -2*t - 3. Let n be y(-2). Is (-1 - -2)*18/n a multiple of 5?
False
Let o be (1/3)/(1/18). Suppose o = q - 7. Is 4 a factor of q?
False
Suppose 0 = 4*u, 2*m + u = -0*u + 40. Let s = m + 45. Is s a multiple of 24?
False
Let l(a) = 13*a - 2. Let i be l(2). Let n = i - 0. Suppose -w = w - n. Is w a multiple of 12?
True
Suppose -2*w - 2*w + 72 = 0. Does 6 divide w?
True
Let i(g) = g**3 + 5*g**2 - 8*g - 4. Let t(c) = c**3 - 7*c**2 - 6. Let a be t(7). Is i(a) a multiple of 4?
True
Suppose 2*c - 7*c = -15. Suppose -c*q = 3, 5*y + 4*q - 53 = 58. Is 10 a factor of y?
False
Suppose 3*w - 2*n - 3*n = 159, 33 = w + 5*n. Does 12 divide w?
True
Suppose 0*z - 68 = -2*z. Does 14 divide z?
False
Suppose -5*d - 15 = 0, -5*d - 22 = -w + 2. Let p = w + -5. Does 2 divide p?
True
Let c = -3 + 5. Let t be (c + (-4)/6)*3. Suppose -2*w + 3*w + 22 = 3*d, t*d - 40 = 4*w. Is d a multiple of 6?
True
Suppose 2*z + 2*z = 40. Suppose 0 = d - 2*d + 3*x + 35, -z = 2*x. Is d a multiple of 10?
True
Suppose -7*v = -9*v + 140. Is (v/2 - 3) + 2 a multiple of 25?
False
Let c(v) = v**3 - 2*v**2 + 2*v - 2. Let g be c(2). Suppose -5*p + 204 = -g*p. Is 4 a factor of p/10 + 4/20?
False
Let s(y) = 5 - 3*y + 0*y + 5*y. Let m be (-40)/12*(-3)/2. Is s(m) a multiple of 13?
False
Suppose 3 + 6 = 3*s, s + 6 = 3*f. Does 6 divide ((-20)/f)/(2/(-6))?
False
Suppose 5*o - 31 = -5*b - 1, -3*b + 4*o + 11 = 0. Let d be (-6)/b*10/(-3). Does 5 divide 28/3 + d/6?
True
Let q = 40 - 31. Does 2 divide q?
False
Suppose 0 = -2*a - k + 29, -4*k = 5*a - 3 - 71. Does 14 divide a?
True
Let w be (-26)/(-12) + (-1)/6. Suppose w*l - 4 = -2*c - 2, -3*l + 19 = -5*c. Does 3 divide l?
True
Let y be 17/(-5) - (-4)/10. Let n(x) be the third derivative of x**6/120 + x**5/15 - x**4/24 - 15*x**2. Is n(y) a multiple of 6?
True
Let x(o) = 5*o**2 + 16*o - 8. Is 11 a factor of x(-7)?
False
Let k = 3 - 7. Let w = k - -8. Suppose 5*n - 2*g = 88, -5*n - w*g + 64 = -0*g. Is 7 a factor of n?
False
Suppose -4*z - 9 + 25 = 0. Suppose z*g + 104 = 4*f - 112, -3*f = -2*g - 162. Is 24 a factor of f?
False
Suppose 0 = 2*x - 143 - 67. Does 33 divide x?
False
Let y = -7 + 11. Let d = y + -1. Suppose -2*n + 2*t = 0, -6 + 3 = -4*n + d*t. Is n a multiple of 3?
True
Does 6 divide 1/2*(2 - -70)?
True
Let t(b) be the second derivative of b**6/180 + b**5/30 + b**4/6 + b**3/6 - 2*b. Let i(d) be the second derivative of t(d). Does 9 divide i(-3)?
False
Let b = 88 - 43. Does 15 divide b?
True
Is 8 a factor of 4/14 + (906/14 - -7)?
True
Let y be 4/(-2 + 3 - 2). Let w(j) = -j**3 - 2*j**2. Does 12 divide w(y)?
False
Suppose 0 = -7*g + 1229 - 312. Suppose -5*o + 29 = -g. Is 32 a factor of o?
True
Is 3 a factor of 16/18*12 - 2/(-6)?
False
Is 43/2 + 1/2 a multiple of 11?
True
Let l be (3/(-3) - -5) + -2. Let d = 7 - l. Suppose 2*z = -0*z - 5*x + 35, 0 = -5*z + d*x. Does 2 divide z?
False
Suppose -s - 2*s = -270. Suppose 9*t + s = 12*t. Is t a multiple of 10?
True
Let l(w) = -9*w - 3. Does 12 divide l(-3)?
True
Suppose 3*q - 25 = -2*q. Let j be -2*(4 + (-55)/10). Suppose -j*h + 22 = -k + 6, 0 = -h + q*k + 24. Is h a multiple of 4?
True
Let p(l) = -6*l + 9. Let t be p(7). Let g = t - -59. Is g a multiple of 26?
True
Let n be (-6)/15*-5 + -2. Suppose n = -2*h + h + 48. Does 19 divide h?
False
Let t be 2*(2 + (-54)/(-2)). Let p = t + -32. Is p a multiple of 11?
False
Suppose c - 30 = 2*l, l = -0*l. Does 10 divide c?
True
Suppose 80 = 3*c - c. Let q be (3/(-2))/(6/c). Let t = 0 - q. Is t a multiple of 5?
True
Suppose 4*h - 2*h + 3*u - 16 = 0, -u + 4 = 0. Suppose 5*j - 23 = h. Is j a multiple of 2?
False
Suppose -j + 140 = -12. Is 40 a factor of j?
False
Let t(j) = -3*j**3 + 4 - 2*j**2 + 2*j**3 - 7*j + 10*j**2. Is 2 a factor of t(7)?
True
Suppose 3*v = 8 + 1. Let s be ((-1)/(-2))/(v/198). Suppose -2*m + s = 5*p, -2*p + 0*p - 59 = -3*m. Is m a multiple of 19?
True
Suppose -23 - 34 = -c. Does 20 divide 0 + c - (7 - 10)?
True
Suppose 0*x + 2*x = 8. Let f = -6 + x. Is 8 a factor of 6 + f/(-2) - -2?
False
Let w(b) = -b**3 + 12*b**2 - 5*b - 2. Let r(j) = -4*j**3 + 49*j**2 - 20*j - 8. Let m(z) = -2*r(z) + 9*w(z). Is 10 a factor of m(9)?
False
Does 15 divide 9/4*(-1000)/(-15)?
True
Let u(m) = 4*m - 2*m - m + 0 + 10. Suppose w = 4*h - 20, -w - 2*h + 5 = -h. Does 5 divide u(w)?
True
Let r(j) = -j**2 - 10*j. Let l be r(-10). Is 17 a factor of 48 + 7 + (l - 4)?
True
Suppose 82 = -4*j + 2*y, 0 = 4*j + 3*y - 8*y + 97. Is 5 a factor of ((-4)/12)/(1/j)?
False
Suppose 2*a + 2 = 3*r - 3*a, -6 = -3*a. Suppose -r*c + 272 = 4*m, 2*c - c - 4*m = 68. Let h = c + -39. Is h a multiple of 15?
False
Let b = 1 - -5. Suppose b = -3*r - 0*r. Does 16 divide 2/2 + r - -17?
True
Suppose -5*s + 40 = 5*k, -k + 2*k - 3*s = -12. Suppose -3*y = w - 28, -2*y - k*w + 13 = -15. Let q = y - -3. Is q a multiple of 11?
True
Does 15 divide (8/(-5))/(18/(-675))?
True
Suppose 41*b - 46*b + 800 = 0. Is 10 a factor of b?
True
Let h be (2/5)/((-1)/(-75)). Let i(r) = -r**3 - 6*r**2 + 8*r - 10. Let z be i(-7). Let t = h + z. Does 12 divide t?
False
Let z(p) = 2*p**2 - 5*p + 6. Let o be z(6). Suppose -4*s - 2*i + o = 2*i, 4*i + 1 = 3*s. Is s a multiple of 3?
False
Let x(n) = -n**3 - 4*n**2 + 6*n + 2. Let d = 2 + -8. Does 17 divide x(d)?
False
Let m = 133 + -89. Does 11 divide m?
True
Let b(u) = -32*u + 1. Let r be b(-1). Suppose 2*s - r = -3*z, 2*z - s = s + 22. Suppose z = 2*t - 1.