True
Suppose -5*g + 20 = -0*g. Let y(r) = 2*r**2 + 6*r - 4. Is 26 a factor of y(g)?
True
Let f = -12 - -72. Is 39 a factor of f?
False
Let r(j) be the second derivative of j**4/12 - j**2/2 + 2*j. Let i be r(-1). Suppose -4*b + 24 + 0 = i. Is b a multiple of 6?
True
Suppose -87 + 18 = -3*k. Let i = 111 + -76. Let q = i - k. Is q a multiple of 6?
True
Let o = -5 - -9. Is 3 a factor of o - (-1 + 3 - 4)?
True
Let d(i) = -i**3 - 10*i**2 + 10*i - 9. Let r be d(-11). Suppose r*h = 18 + 22. Does 7 divide h?
False
Let m = -63 + 174. Suppose -5*k + m = -2*k. Let h = 53 - k. Is h a multiple of 8?
True
Let c(m) be the first derivative of -m**4/4 - m**3 - 3*m**2/2 + 4*m - 6. Does 13 divide c(-3)?
True
Suppose 60 = 2*l + 3*t, 2*l = -t - t + 64. Does 11 divide l?
False
Let q be (-1)/(-3*3/(-18)). Let j be 23/5 + q/(-5). Suppose -5*w - 5 = -j*g, 0 = 3*w + g + 3*g - 32. Does 4 divide w?
True
Let u be (-90)/27*(-9)/(-2). Is 3 a factor of u/(-2)*(-36)/(-45)?
True
Suppose 0 = -7*c + 11*c - 128. Does 14 divide c?
False
Let o(y) = y**3 - 3*y**2 + 10*y + 5. Let d be o(8). Suppose -3*n + d = 2*n. Is 27 a factor of n?
True
Let k(b) = -b**3 - b**2 + 2. Let r = -15 - -12. Is k(r) a multiple of 5?
True
Let z(w) = w - 1. Let n be z(1). Suppose 0*j + 4*m = -5*j + 119, n = j + m - 23. Is 10 a factor of j?
False
Let l = 607 + -384. Let r = -103 + l. Suppose r = 3*z + z. Does 16 divide z?
False
Let x(i) = 2*i**2 + 5*i + 2. Is x(4) a multiple of 9?
True
Suppose 5*r - 14 = 3*r - 2*m, -59 = -5*r + 3*m. Is 10 a factor of r?
True
Let h = 20 + -83. Suppose 5*w - 6 + 201 = 0. Let q = w - h. Is 12 a factor of q?
True
Let p(x) be the first derivative of x**2/2 - 5*x + 2. Let z be p(7). Suppose 2*u + 2*q = 28, 0 = z*q + 2*q - 16. Does 9 divide u?
False
Let p be 9/(-3)*4/(-6). Suppose p*f - f = 3. Suppose -f*h + 10 = -h. Does 2 divide h?
False
Let h = 220 - 181. Is 8 a factor of h?
False
Does 13 divide -3 + (-285)/(-3) - 1?
True
Suppose -4*m - y + 85 = 0, -5*y + 28 = -5*m + 128. Suppose p - 26 - m = 0. Does 18 divide p?
False
Let k(m) = m**2 - 2*m - 1. Let u be k(-1). Suppose 5*r = 2*j + j + 21, u*r + 4*j = -2. Is r even?
False
Let n(p) = -2*p + 1. Let u be 11/(-9) + 12/54. Let j be (-2 - 1) + (u - 1). Is n(j) a multiple of 11?
True
Let a(t) = 18 - 29 + t**2 + 5*t + 2*t**2 - 2*t**2. Let m be a(9). Suppose 4*n + m = 9*n. Is n a multiple of 14?
False
Let j(c) = 16*c + 17. Is j(3) a multiple of 20?
False
Suppose -2*l = -a - 4*a - 24, -5*a = 20. Suppose 0 = f - 3*j, l*j + 0 = 4*f + 20. Is f/15*(-62 + -3) a multiple of 14?
False
Suppose -4*o = -8, -5*c = -3*c + 2*o. Is 16 - (0 - (c + 1)) a multiple of 15?
True
Suppose -2*b - 5*w + 100 = 0, 5*w = -3*b + 16 + 134. Suppose -b = -2*f + r, 0 = f + 4*r + 7 - 41. Is f a multiple of 13?
True
Let k = -1 - -4. Suppose 140 = -7*t + k*t. Does 14 divide 3/9*t*-3?
False
Suppose -5*w + 209 = -11. Let j be 6*(2 - 52/(-3)). Suppose j - w = 2*d. Is 14 a factor of d?
False
Let d = 7 + -5. Suppose -32 = -2*f - 5*h, f - 5*h - d = -16. Is f a multiple of 5?
False
Let p = -62 + 94. Is p a multiple of 16?
True
Let z(a) = -a**2 + 7*a + 8. Suppose 0*o - 14 = -4*b + 5*o, 2*b = -4*o + 20. Is z(b) a multiple of 4?
False
Suppose 0 = 4*y - 8*y - 56. Let b = y + 50. Is 18 a factor of b?
True
Let s = -6 + 9. Suppose b = 3*z + 11, 4*b = -s*z + 1 + 13. Is 2 a factor of b?
False
Suppose 0*s + s = 29. Suppose r = d - 5*d + s, -r = -d - 4. Does 9 divide r?
True
Let c(u) = -u**3 - 3*u**2 - 2*u. Let o be c(-3). Suppose -5*s + 56 = w - o, 5*w = 5*s + 370. Suppose x + x = w. Is 18 a factor of x?
True
Suppose 3*y - 3*a - 2*a = 31, -5*y + 77 = -2*a. Is y a multiple of 17?
True
Let a be (9 + 0)/(-3) - -33. Let m be (0 - 1)*-1*3. Suppose m*v - v = a. Is v a multiple of 7?
False
Is 13 a factor of -1 + 1021/6 + 2/(-12)?
True
Does 11 divide -16*((-126)/28 + -1 + 0)?
True
Let l(c) = 6*c + 1 - 2 + 3*c**2 - 5. Let w be l(-5). Suppose 0 = 4*b + 2*f - 84, -b - 5*f + w = -0*b. Is b a multiple of 8?
False
Let a = -3 + 15. Is 6 a factor of a?
True
Is -3*(-2)/(-10)*(-1 - 4) even?
False
Suppose -5*t + 3*u = -6, 0 = 4*u - 5 - 7. Is t a multiple of 3?
True
Is 14 a factor of (4/8)/((6/280)/3)?
True
Let f(v) = v + 4. Let q be f(0). Is 17 a factor of -1 - (-31 + (q - 2))?
False
Let r = 379 + -193. Is r a multiple of 31?
True
Let q(d) be the third derivative of -d**7/840 - d**6/90 - d**5/30 - d**3/6 - 2*d**2. Let m(o) be the first derivative of q(o). Is 16 a factor of m(-4)?
True
Let t be (-8)/(-12) + (-56)/12. Let h(o) = -2*o**3 - 5*o**2 - 2*o. Is h(t) a multiple of 24?
False
Does 3 divide (-845)/26*8/(-5)?
False
Suppose -9*q + 30 = -4*q. Suppose g + q = -5*z + 38, 0 = -4*g + 8. Let s(u) = -u**3 + 7*u**2 + u. Is 13 a factor of s(z)?
False
Suppose m + 12 = -4*n, -n + 2*m + 6 = -0*n. Let o be 3*n*(-2)/6. Suppose 0 = 5*v + o*u - 26, -5*v - 24 = -3*u - 60. Is v a multiple of 3?
True
Let s(b) = b**3 - 6*b**2 + 2*b - 13. Let j be s(6). Is 5 a factor of j/((-2)/(-4)) + 12?
True
Let c(t) = t + 5. Let z be c(-5). Suppose -s - s = z. Suppose 5*w - 3*w - 30 = s. Is w a multiple of 7?
False
Suppose 3*w - 478 = 89. Is 47 a factor of w?
False
Suppose 4*a - 164 = -x, 3*a + 2*x - 185 = -62. Is 3 a factor of a?
False
Suppose 19*q - 23*q = -96. Does 24 divide q?
True
Suppose -h + 8 = -5*h. Let d(j) = -j**3 - 3*j**2 - 4*j - 2. Let k be d(h). Suppose -2*c - 5*g = -5, k*c - 3*c + 5*g = -25. Is c a multiple of 8?
False
Suppose 3*s - 8 = 7. Suppose -4*g = g - 3*w - 184, 4*w = -s*g + 163. Suppose a + g = 6*a. Does 7 divide a?
True
Let s(c) = -2*c - 13. Let w be s(-9). Suppose -5*k + 20 + 100 = 0. Suppose -w*o + k = -2*o. Is 5 a factor of o?
False
Suppose 0*i - i - 3 = 0. Is 20 a factor of 2 + (-5 + i)*-6?
False
Suppose -2*a + a = -14. Is 12 a factor of a?
False
Let o(m) = -m**2 - m + 1. Let n(c) = -c**3 + c**2 + 2*c + 1. Let p(x) = n(x) + 2*o(x). Let r be p(0). Suppose 3*k - r*g = 15, 1 = 4*g - 3*g. Is 6 a factor of k?
True
Is (8 - 2) + (1 - 2) a multiple of 2?
False
Let k be 0/((8/2)/2). Let z(o) = -4*o**3 - 4*o**2 - 4*o - 19. Let c(w) = -3*w**3 - 3*w**2 - 3*w - 18. Let y(j) = -3*c(j) + 2*z(j). Does 16 divide y(k)?
True
Suppose 0*u - u + 116 = 0. Is 29 a factor of u?
True
Let k(g) = 2*g + 5. Let b be k(-4). Let r(a) = -a**3 - 2*a**2 + 3*a + 3. Let d be r(b). Suppose 1 = i - d. Does 3 divide i?
False
Suppose 5*h - h = -8. Let j be (0 - h)/(-2) - -4. Suppose 0 = -3*a - j*s + 21, -5*a = -5*s - 17 - 58. Is a a multiple of 3?
False
Does 4 divide 2 + 2 - (4 + -5)?
False
Suppose l + 132 = 5*l. Suppose 3*s - s - 92 = 0. Let z = s - l. Is z a multiple of 13?
True
Let h(u) = -u**2 + 20*u + 15. Is 22 a factor of h(17)?
True
Let g = 15 - 13. Is g even?
True
Suppose s = 4*v + 3*s - 1306, 4*v - 2*s = 1294. Is v a multiple of 13?
True
Let t(v) = 3*v**3 + v**2 - 3*v + 1. Let g be t(1). Suppose 68 = 2*i + g*i. Does 6 divide i?
False
Does 5 divide 1 + (-6)/2 + 35?
False
Let l(q) = -q**2 + 2. Let s be l(2). Let j(x) = -3*x + 2 - 2*x + x. Does 3 divide j(s)?
False
Is 29 a factor of (3/8 + (-50)/48)*-87?
True
Let s(b) = b**2 + 5*b + 2. Let h be s(-3). Let f(i) = i**3 + 4*i**2 - i + 4. Does 3 divide f(h)?
False
Suppose 0 = 5*r + 5*z - 4 - 11, -3*r + z = -1. Let c(x) = x + 10. Let h be c(-7). Let a = r + h. Is a a multiple of 4?
True
Suppose 3*p - 123 + 14 = -2*w, 2*w - 107 = -p. Does 9 divide w?
False
Suppose -4*f = 12, 7*f - 2*f + 4 = w. Let d(l) = 7*l + 2. Let v(a) = 13*a + 4. Let o(b) = w*d(b) + 6*v(b). Is 2 a factor of o(2)?
True
Let a(w) = -2*w + 3. Suppose 4*k + 18 = k. Does 5 divide a(k)?
True
Let f = 20 - 0. Suppose 0 = 2*r - f. Does 6 divide r?
False
Let g = -4 - -8. Suppose 0 = -g*v - l - l + 8, 10 = 5*v + 4*l. Does 2 divide v?
True
Suppose -8*p - 750 = -14*p. Does 25 divide p?
True
Suppose 3*q - 2*q = 3. Suppose -q*m + 545 = -8*m. Let d = -75 - m. Is 16 a factor of d?
False
Let u(h) = h - 7. Let m be u(5). Let i be (3 - (m + 6))*-43. Suppose -3*c - 5*v = -i, 0*v = 3*c + 4*v - 41. Is c a multiple of 11?
True
Let f(k) = -2*k - 1. Let a be f(-1). Is 15 a factor of -7 - -5 - a*-23?
False
Let l(z) = 4*z - 8. Let f be l(8). Suppose -5*x - 4 = -f. Does 7 divide 23/3 + x/(-6)?
True
Let l = 39 + -11. Does 9 divide (l*-1)/(2*-1)?
False
Let n = -111 - -173. Is n a multiple of 23?
False
Let c be 2 - -2*(1 + -2). Suppose c = -7*u + 4*u. Let r(f)