?
True
Let a(f) = f**3 - 10*f**2 - 9*f - 16. Is 6 a factor of a(11)?
True
Let a(r) = 0*r**2 - 1 - 10 + r**2 + 63. Is 26 a factor of a(0)?
True
Suppose -i - 1 = 2*s + 3*s, i = 3*s + 23. Does 7 divide i?
True
Let d = -5 - -2. Is 20 a factor of (40/(-2))/(d/6)?
True
Let m = 0 - -3. Suppose -3*k + 4*i = -k - 30, -5*k + m*i + 40 = 0. Suppose -5*w = k*x - 190, 4*w - 47 = 3*x + 119. Does 19 divide w?
False
Is (-450)/(-9) - 1*2 a multiple of 8?
True
Let c(h) = -16*h**3 + h**2 + h + 1. Suppose -2 = 4*d + 2. Is c(d) a multiple of 10?
False
Suppose t + 5*o - 45 = 0, 135 = 3*t + 2*o - 13. Is 10 a factor of t - (1 + 0)/1?
False
Let y be (-684)/(-8) + (-1)/2. Suppose -m - 2*v + 16 = -6*v, -4*m - 5*v + y = 0. Is m a multiple of 5?
True
Let f(u) = -4*u**3 + u**2 + u. Let b be f(-1). Suppose -5*q = -3*c + 19, -2*c - 4*q = q + b. Suppose x - 2*x - c*m - 3 = 0, -27 = -5*x - m. Is 3 a factor of x?
True
Let p be (-4)/6*(-36)/8. Suppose z = -4*j + 4, p = 4*z + j - 28. Does 2 divide z?
True
Suppose -2*i + 16 = -5*x, -2*i + x + 24 = -0*i. Is 9 a factor of i?
False
Is 39 a factor of (5/(-50)*-52)/(2/60)?
True
Does 10 divide ((-3)/(-2))/((-36)/(-1272))?
False
Let m be -1 - (-5 + 2 - -2). Suppose 5 = -m*o + o. Does 3 divide o?
False
Let k = 58 + -103. Let v = k - -75. Is 15 a factor of v?
True
Suppose -2*u - 1 = -z, -z - 3*u = u - 13. Does 2 divide z?
False
Let p(l) = -5*l**3 - l**2. Let c be p(-1). Suppose -5*q + 16 = -c*q. Is 8 a factor of q?
True
Let s = -10 + 15. Suppose -s*h + 10 = -50. Is 10 a factor of h?
False
Let t = -2 + 2. Suppose -2*c + 3*o + 108 = t, 42 = c - o - 10. Suppose -4*h + 2*u = -86, h = 4*h + 4*u - c. Is h a multiple of 10?
True
Let g = -9 - -21. Let t be -4*(-7)/((-7)/2). Let o = t + g. Is o even?
True
Let x(z) = z**3 - 8*z**2 + 8*z - 5. Let w be x(7). Suppose 7*f - w*f = 10. Suppose 19 = f*u - 3. Is u a multiple of 11?
True
Let k(r) = r - 5. Let c be k(5). Suppose 50 = 3*w + 2*u, 8*u - 4*u - 4 = c. Suppose 4*j - 3*j = w. Is j a multiple of 8?
True
Let b = -4 + 6. Suppose -x = b*x - 54. Suppose -3*c + 0*c + x = 0. Is c a multiple of 6?
True
Let a be (-6)/(-2) - 26/1. Let p = a - -32. Is p a multiple of 4?
False
Let p(r) = r**3 + 13*r**2 + 9*r - 2. Let u be p(-12). Let l be (-3)/9 - 2/(-6). Suppose 0*c - c + u = l. Is c a multiple of 14?
False
Suppose -2*s + 4*g = -0*g - 202, -3*g - 309 = -3*s. Suppose -h = 4*h - s. Suppose -h - 67 = -4*w. Is 11 a factor of w?
True
Let q = -13 + 18. Let u(a) = a**2 - 3*a - 5. Let j be u(q). Suppose -5*i = -w - 17, -3*i - 15 = -j*w + 10. Is w a multiple of 4?
True
Let j be ((-963)/12)/((-3)/8). Suppose 0*g - 4*g = i - j, 0 = -2*g - i + 108. Is 17 a factor of g?
False
Let n = 66 - 16. Is 14 a factor of n?
False
Let l = -47 - -143. Is l a multiple of 24?
True
Is 24*(12/(-3) - -5) a multiple of 4?
True
Suppose 18*o = 19*o - 28. Does 11 divide o?
False
Let x = 12 + 28. Does 9 divide x?
False
Does 13 divide ((-64)/(-3))/(30/135)?
False
Suppose 2*g - 112 = -38. Suppose 2*p - 5*p = -63. Let u = g - p. Is 8 a factor of u?
True
Suppose 0*k + 3*k - 66 = -5*v, -5*k + 3*v + 76 = 0. Let y = -8 + k. Is 34*(4 + y/(-3)) a multiple of 12?
False
Let l be 32/12*(-18)/(-8). Let o(n) = -n + 8. Let t be o(l). Suppose -t*k + 54 = -3*r, 0 = r - 2 - 0. Does 20 divide k?
False
Does 13 divide (15/(-20))/(5/(-260))?
True
Is 273 - (-4 + 4) - 3 a multiple of 45?
True
Let s(w) = -2*w - 1. Let r = -11 + 8. Let v be s(r). Suppose 3*a + 5*q = -0*q + 56, 120 = v*a - 5*q. Does 13 divide a?
False
Let l(d) = d**3 + 16*d**2 - 2*d - 12. Does 20 divide l(-16)?
True
Is -3 - (-2)/(6/93) a multiple of 12?
False
Let g be 0 + (-3)/3 + 3. Suppose -g*n + 224 = 4*q + 58, -2*n = -4*q + 170. Is q a multiple of 14?
True
Let x(m) = m**2 - 1. Let p(c) = 4*c**2 - 2*c - 5. Let t(h) = p(h) - 3*x(h). Does 10 divide t(-3)?
False
Let y(f) be the third derivative of f**6/120 + f**5/12 - f**4/6 + f**3/6 + 4*f**2. Does 7 divide y(-5)?
True
Let x = -1 + 7. Does 8 divide -18*1*(-4)/x?
False
Suppose 2*f - 6 = 2. Suppose -f = -9*t + 8*t. Is t a multiple of 4?
True
Suppose -w = 3*j - 33, -2*w + 3*j + 11 = -10. Does 5 divide w?
False
Is 3 a factor of (-76)/(6/(9/(-3)))?
False
Let j(q) = -q**3 + 10*q**2 - 8*q - 9. Let t be j(9). Suppose t = 4*d - d - 3. Suppose -4*u = -y - 36, 3*u - y + d = 27. Does 10 divide u?
True
Let s(c) be the second derivative of c**5/20 + c**4/4 - c**3/3 + c**2 - c. Suppose 0 = 2*k + w + 11, 0 = k - 3*w + 4*w + 8. Is s(k) a multiple of 8?
True
Let k be -2*6*(-4)/(-2). Let x = 8 + -7. Is 18 a factor of (k/(-28))/(x/42)?
True
Let t be -2 + -1 - (-91 - 2). Let h = t - 52. Is 14 a factor of h?
False
Let w(v) = v**2 - v + 3. Let h be w(3). Let c = h + -56. Let i = -25 - c. Is i a multiple of 11?
True
Let c = -152 - -361. Does 11 divide c?
True
Let p be (-5259)/(-15) + (-10)/(-25). Suppose 0 = -4*w - w - g + p, 5*g = w - 65. Does 14 divide w?
True
Suppose 5*k - h = 104, 0*k - 5*k - 5*h = -80. Suppose -2*t - 5*j = t + 14, -5*j = k. Is t a multiple of 2?
True
Suppose -x = -5*a - 28, 2*x = -4*a - 23 + 79. Is 2 a factor of 4/(-14) - (-64)/x?
True
Suppose 2 = -p + 7. Suppose -2*g - 68 = -3*g + 4*b, 4*g + p*b - 167 = 0. Is 24 a factor of g?
True
Suppose 5*i = -4*c - 31, 0*c - 2*c = 3*i + 19. Let h = -3 - i. Does 4 divide h?
True
Let k = 58 + -56. Let q(t) = t**3 + t**2 - t + 29. Let y be q(0). Is 10 a factor of (0 - k) + 0 + y?
False
Let q be (0 + 2)/((-3)/(-231)). Suppose 0 = -z - z + q. Suppose -2*c - 5*v + z = -0*c, -4*c = 5*v - 129. Is 13 a factor of c?
True
Let w(r) = -r**2 - 3*r + 3. Let z be w(-3). Suppose 0*a + 5*a = 3*d + 33, -2*a + z*d + 6 = 0. Is 15/a + 1/3 even?
True
Suppose 27 = -2*m - h, -2*m = -h + 15 + 2. Let x = m - -16. Suppose x*c - 22 = -2. Is c even?
True
Let g(a) = a**3 - 6*a**2 + a + 1. Suppose 0 = 3*i + 12. Let n be i/22 + (-136)/(-22). Is g(n) a multiple of 4?
False
Is -1 + 3 + 22*1 a multiple of 8?
True
Let s(w) = -2*w + 22. Does 3 divide s(3)?
False
Let i(z) = -3*z**3 + 3*z**2 + 7. Is i(-3) a multiple of 17?
False
Suppose 3*g - 5*g + 4 = 0. Suppose -4*j = i - 48, g*j - 4*j = -4*i - 6. Is j a multiple of 3?
False
Suppose -g - 4*g = -3*l + 60, -2*g - 13 = l. Let s = 32 + g. Is s a multiple of 16?
False
Let a(b) = b**2 + 18*b - 40. Is a(-22) a multiple of 12?
True
Suppose -10*t + 16 = -6*t. Does 3 divide t?
False
Suppose 0 = -3*s + 5*i + 245, 3*s - 6*s - 5*i = -295. Is 8 a factor of s?
False
Let x be ((-28)/8 - -3)*-14. Suppose 0*g = 5*g - 40. Suppose -g = -5*w + x. Does 3 divide w?
True
Let f be (-120)/2*8/(-20). Suppose -a - 11 = -f. Is 6 a factor of a?
False
Suppose -2*y - 4 - 8 = 0. Let o(l) be the third derivative of -l**4/24 + 2*l**3/3 + l**2. Does 10 divide o(y)?
True
Suppose -10 = c + 2*y + y, 5*y + 30 = 5*c. Let k be c/(-4)*-1*110. Let i = k - 22. Is 20 a factor of i?
False
Let u(r) = r + 1. Let n be u(3). Suppose 5*l = 3*a - 8, l - n*a = 5*l. Does 11 divide 15*(l + 0)*-1?
False
Suppose -4*q + 3*m + 303 = 0, 2*m = 5*q - 348 - 36. Is 19 a factor of q?
False
Suppose k = -k - 12. Let i = k - -12. Does 3 divide i?
True
Is 1516/18 + 6/(-27) a multiple of 21?
True
Let u(h) = -4*h**3 + 5*h**3 + 3 + 5. Is u(0) a multiple of 4?
True
Let x(o) = 3*o - 13. Let g be x(9). Let d = 35 - g. Is 10 a factor of 804/d - 4/14?
False
Let l be ((-6)/(-3) - 0) + -15. Let m = 20 + l. Suppose m*n = 2*n + 75. Is n a multiple of 10?
False
Let k(x) = 5*x**2 - 7. Let z be k(-7). Suppose 4*j - 3*j - 59 = v, 2*v + z = 4*j. Does 30 divide j?
True
Suppose 0*g = 3*g - 9. Is 3 a factor of 7 - (-3 + -1 + g)?
False
Let t = -48 - -68. Let l be 8/t - (-23)/5. Suppose 109 - 19 = l*o. Is o a multiple of 6?
True
Suppose s = -3*s + 88. Suppose 2 = -a, -s - 7 = -3*m + 4*a. Is m a multiple of 4?
False
Let w(f) = -14*f - 26. Let j(r) = 13*r + 25. Let k(i) = 3*j(i) + 2*w(i). Let y(g) = 4*g + 8. Let v(z) = 6*k(z) - 17*y(z). Does 12 divide v(-6)?
False
Does 9 divide 30 + (-4 + -1 - -2)?
True
Suppose -2*s - s + 30 = 0. Let k be ((-58)/3)/(2/(-6)). Suppose 4*c - s = k. Is c a multiple of 17?
True
Let b = 143 + -83. Is b a multiple of 12?
True
Let f = -1 - -2. Suppose -a = -4 + f. Is 7 a factor of ((-10)/a)/(2/(-9))?
False
Let h = -8 - -14. Let i = 35 - h. Is i a multiple of 12?
False
Let w = 381 - 225. Does 52 divide w?
True
Let v(g) = -g**3 + 4*g**2 + 2*g + 5. Let a be v(4). Let u = 