
False
Suppose 0 = 2*p - 4*p + 40. Let g be (-15)/p - 1/4. Let i = 2 - g. Is 3 a factor of i?
True
Suppose 4*r + p - 147 = 0, 2*r = -p - 0*p + 73. Is 14 a factor of r?
False
Let n(a) = -8*a**3 + 2*a**2 + a. Suppose -2*r - 22 = -4*u + 20, -5*r + 21 = 4*u. Let z(v) = v**3 - 10*v**2 + 8*v + 8. Let d be z(u). Is 9 a factor of n(d)?
True
Let p(h) = 5*h**3 + h + 2. Let a be p(2). Let s = a + -14. Let f = s + -4. Is 13 a factor of f?
True
Suppose -8 + 2 = -2*h. Suppose q = -h*b + 5*b - 59, -5*b = -2*q - 149. Is b a multiple of 9?
False
Suppose 0 = -5*y - 4*m + 129, 2*y - y + 4*m = 29. Let v = y - 15. Is 9 a factor of v?
False
Let r = -1 + 2. Let n(b) = 17*b. Is n(r) a multiple of 11?
False
Let j = 25 - 7. Let u be (2*-4)/(j/(-9)). Suppose -39 = -5*f - u*p + 6, -3*f + 5*p = -64. Is f a multiple of 13?
True
Suppose 2*v + v - 129 = 0. Does 20 divide v?
False
Suppose 36 = -l + 4*l. Suppose -4*v + l = -0*v. Is v a multiple of 3?
True
Let m(z) = 4 + 12*z + 3 - 6. Does 27 divide m(4)?
False
Let i(j) = -j**3 - 10*j**2 - 10*j - 1. Let b be i(-9). Suppose 0 = -2*s + b + 54. Is s a multiple of 15?
False
Suppose -220 + 70 = -5*k. Is k a multiple of 10?
True
Suppose 0 = -5*s - 5*q + 885, 4*s - s - 503 = 4*q. Suppose c - 172 = -3*c - 4*r, -4*c - 3*r = -s. Is 18 a factor of c?
False
Let p = 2 - -114. Is p a multiple of 29?
True
Let x be 2/2*(-2 + -4). Let u be (-597)/x - 2/(-4). Suppose r - 5*r = -u. Does 9 divide r?
False
Suppose k - 4*h = -2*k + 40, -2*h = 3*k - 34. Is k/66 + 130/11 a multiple of 6?
True
Is 108/10*((-39)/(-3) - 3) a multiple of 17?
False
Let s = -1 + 3. Let b(x) = -6*x + 10 - 3 + s*x. Is b(-5) a multiple of 17?
False
Is 8 a factor of (12/10)/((-36)/(-480))?
True
Is 26 a factor of 2 + 0 + (6 - -120) + 2?
True
Let d be (-147)/(-14)*(-4)/6. Let y(c) = c**3 + 7*c**2 - 5*c - 11. Does 12 divide y(d)?
True
Let w(z) = 5*z**2 + 13*z - 16. Does 58 divide w(5)?
True
Suppose -4*u + u - 5 = c, 0 = -4*c + u + 6. Let x = -1 + c. Suppose g + z = -z + 30, 5*g - 5*z - 225 = x. Does 18 divide g?
False
Let j = -31 + 79. Suppose 2*r + 0*r = j. Is r a multiple of 8?
True
Let y = -90 - -363. Is y a multiple of 13?
True
Suppose 417 = -4*g + z, -289 = 4*g - g + 4*z. Let i = g - -71. Does 16 divide 1*(1 + 0) - i?
False
Let c = 5 + -7. Is 12*(1 - c/6) a multiple of 4?
True
Suppose 5*s - 3 - 17 = 0. Suppose -s*a - 87 = -a. Let r = -11 - a. Is 9 a factor of r?
True
Let l be (2/5)/((-5)/(-25)). Suppose -m = -5*s - 55, -s + 0*s + 66 = l*m. Let r = m + -15. Is 10 a factor of r?
True
Suppose 2*r - 2*i = 296, -2*r + 261 = 5*i - 0*i. Does 18 divide r?
False
Suppose 9*o - 10*o + 6 = 0. Suppose 3*m = m + 5*w, -3*w = -o. Is m a multiple of 5?
True
Does 11 divide 0 - (3 + -140) - 5?
True
Let m = -7 - -7. Suppose m = 2*l - 0 - 6. Suppose 2*k + 8 = l*k + 3*x, 5*k - 97 = 4*x. Is k a multiple of 7?
False
Is 6 a factor of (-9)/(-1 + 1 - 1)?
False
Does 4 divide (5 - 2)/((-6)/4)*-5?
False
Suppose 3*y - 5 = 2*y. Suppose 0 = y*g + 1 + 4. Is 25 + (-4)/(-2)*g a multiple of 8?
False
Let q be (-64)/(-2) + -1 + 0. Let t be ((1 - 0) + 0)*-1. Let s = t + q. Is 13 a factor of s?
False
Let r(v) be the third derivative of v**6/120 - v**5/60 - v**4/6 + v**3/6 + 2*v**2. Let a be r(3). Suppose -4*u + a = -37. Is 4 a factor of u?
False
Let p be 2*2/8*8. Suppose m + 5*q = -9, 5*m - p*q + 23 = -7*q. Let k(s) = -s**3 - 4*s**2 - 3*s + 5. Is 5 a factor of k(m)?
False
Suppose 0 = 2*p + 3*l - 57, 3*p + l + l = 88. Is 5 a factor of p?
True
Suppose 10*z + 42 = 11*z. Let b = -9 + z. Is b a multiple of 11?
True
Let n(d) = -d**3 - 12*d**2 + 3*d - 10. Does 38 divide n(-13)?
False
Suppose 0*v + v - 2 = j, -2*v = 5*j + 10. Suppose v = -4*h + 14 + 18. Is h a multiple of 3?
False
Let h(w) = -36*w - 1. Is h(-1) a multiple of 7?
True
Suppose -6*s + 25 = -s. Let d = s - 1. Suppose 105 = d*a + a. Does 15 divide a?
False
Let c be (2 - 1)/((-4)/(-20)). Let h(l) = l**2 - 3*l + 1. Does 9 divide h(c)?
False
Let t = -6 - -10. Let h be (-2)/t - 65/2. Let b = h - -55. Is b a multiple of 11?
True
Suppose -6*r + 485 + 979 = 0. Is r a multiple of 24?
False
Suppose -5*j + 161 = 4*h - 547, 4*j - 876 = -5*h. Does 43 divide h?
True
Let d be (2 - (2 - 0))/(-2). Suppose k = -d*k. Suppose k = -j + 5 + 24. Does 16 divide j?
False
Let z(l) = -l**3 + 15*l**2 + 2*l - 6. Does 32 divide z(14)?
False
Let s(v) = v**2 + 12*v - 24. Does 33 divide s(9)?
True
Let p(d) = 18*d + 30. Is p(6) a multiple of 17?
False
Does 18 divide 5/(-20) - (-346)/8?
False
Suppose 6*r - 15 = r. Suppose -5*l - r*a + 2*a + 236 = 0, -4*l - 5*a = -172. Suppose s - h - l = 3*h, 102 = 4*s + 2*h. Is s a multiple of 14?
True
Let s = 185 + -32. Does 36 divide s?
False
Let u = 73 + 71. Is 24 a factor of u?
True
Let h be 8/(-5)*5/(-2). Suppose -z + 344 = 5*a - 0*a, 5*z + 281 = h*a. Is (-1)/(-2 - (-135)/a) a multiple of 19?
False
Let d = -18 - -13. Does 9 divide d/15 - (-73)/3?
False
Let v(y) = y + 11. Let p = 26 + -9. Suppose 3*h + p = 2. Is 3 a factor of v(h)?
True
Let c(m) be the third derivative of m**6/120 - m**5/60 - m**4/6 + m**3/6 + 6*m**2. Is 4 a factor of c(3)?
False
Let t(o) = o**3 + 15*o**2 - 24*o - 16. Is 14 a factor of t(-16)?
True
Let f(c) = -c**2 + 5*c + 2. Let b be f(4). Let u(j) = -j**3 + 7*j**2 - j - 6. Is 8 a factor of u(b)?
True
Is (-8 + 86)*(-4)/(-6) a multiple of 13?
True
Let m = 7 + -3. Suppose 4*s + 120 = -f + m*f, -4*s = 5*f - 200. Suppose b = 5*b - f. Is 5 a factor of b?
True
Suppose 13 - 3 = 2*j. Suppose 0 = j*z + 10, -q + 0*q - 2*z + 32 = 0. Does 9 divide q?
True
Suppose 2*l = 6*l + 24. Suppose 0 = -0*s - 2*s + 3*f + 24, -f + 2 = s. Is 4 a factor of l/4*(-32)/s?
True
Suppose 242 = 2*z - 112. Let x = 3 - 1. Suppose 0 = 2*b + x*b + g - z, 4*b - 175 = g. Is b a multiple of 22?
True
Let m = -8 + 14. Let x = m + -5. Does 9 divide (-7 + x - -3) + 32?
False
Let i(u) = 40*u**3 + 2*u**2 + u. Let m be i(-1). Suppose -3*k = 2*k - 355. Let j = k + m. Is j a multiple of 16?
True
Let x = -2 - -3. Let u(g) = -2 + g - 3*g + 3*g**2 - x. Is 8 a factor of u(3)?
False
Let v be 2 - 0/(-1 + 2). Suppose -v*s + 110 = 3*s. Is 15 a factor of s?
False
Let n(x) = 21*x**2 + 1. Let v be n(-1). Suppose l - 3*t - v + 6 = 0, -5*t + 5 = 0. Is l a multiple of 9?
False
Suppose 7*i - 2*i = -5*h + 20, 0 = -3*i + 5*h + 44. Is 3 a factor of i?
False
Let v(t) = 9*t**3 + 2*t**2 - 1. Is 5 a factor of v(1)?
True
Suppose d - 23 - 43 = 0. Does 8 divide d?
False
Let q(h) = -h**3 + 2*h**2 - h - 2. Let m be q(-1). Suppose -2*a + 3*u = -m*u - 99, 0 = 2*a - u - 119. Does 16 divide a?
False
Let n be (2 - 1)*-1*114. Is n/(-7) + 4/(-14) a multiple of 8?
True
Suppose 0*z - 102 = -z. Does 12 divide z?
False
Suppose -33 = -5*y - 2*j, -2*y + 2*j = j - 6. Suppose -13 = 4*c - y*c. Is c a multiple of 3?
False
Let i be (1*7)/((-3)/(-63)). Suppose 3*l - i = -0*l. Suppose 0 = -5*m - 4*q + l, -m - 2*m - q = -35. Is 13 a factor of m?
True
Let c(d) = 3*d. Let y(m) = -m**2 - m + 1. Let j be y(0). Does 3 divide c(j)?
True
Let l(n) = -n**3 + 5*n**2 + 2. Let i be 1/(0 + 1/5). Let x be l(i). Suppose 14 = 2*u + k, -6*k + 2 = x*u - 2*k. Is u a multiple of 6?
False
Suppose -3*b + 550 = -8*b. Let j = 194 + b. Is 28 a factor of j?
True
Let o = -14 - -41. Is 9 a factor of o?
True
Suppose 0 = 5*i - 23 - 2. Let x(t) = -2 + t + 2*t**2 - t**2 + 0*t**2. Is 14 a factor of x(i)?
True
Let y(o) = -o**3 + o**2 + o + 1. Let w(v) = -4*v**3 + 5*v**2 + 5*v - 1. Let u(j) = -w(j) + 2*y(j). Does 16 divide u(3)?
False
Let f(p) = 5*p**3 + p**2 - 9*p + 1. Let a(w) = -5*w**3 - w**2 + 8*w - 1. Let h(k) = 7*a(k) + 6*f(k). Is h(-2) a multiple of 12?
False
Is 6 - 2/(5/(-5)) a multiple of 3?
False
Suppose 3*b - 3*j - 87 = 0, 9*b - 3*j - 145 = 4*b. Let o = b + -20. Is o a multiple of 4?
False
Suppose -3*h = 18 - 81. Suppose 0 + 3 = 2*k - o, 4*k - h = -o. Let t = 3 + k. Is t even?
False
Let s = 57 - -160. Is s a multiple of 31?
True
Let s be (-1 + 3)/((-2)/(-8)). Suppose -s*n + 3*n = -40. Is n a multiple of 3?
False
Suppose 3*x - x = 42. Let r = x + 2. Is r a multiple of 23?
True
Let j be -4 + 6 + (0 - 0). Let r = 7 + j. Does 4 divide 9 - (r/(-3))/(-3)?
True
Let p(d) = 9*d**2 - 5. Let x be p(5). Let z = 311 - x. Let j = z - 51. Is 20 a factor of j?
True
Let a(k) = -6*k**2 - 4*k + 3. Let t be a(2). Is t/(-1)*(2 + -1) a multiple of 6?
False
Let y(r) be the first