e 0 = f - x - 6. Is 8 a factor of f?
False
Let o = 172 + -121. Is 20 a factor of o?
False
Let k = 12 + -18. Is 11 a factor of k/9 - 35/(-3)?
True
Suppose -4*t - 10 = -2*z, -z + t + 5 = -0*z. Suppose 39 = z*d + 3*p, -1 = -d - 2*p + 11. Does 6 divide d?
True
Let m be (-1)/(-3) + (-113)/(-3). Suppose 4*k - m = -2*n, -5*n + k = 5*k - 119. Does 16 divide n?
False
Suppose 5*c = -0*c + 280. Suppose -4*i - 4*z = -c, 0 = i - 5*z - 3 + 19. Does 4 divide i?
False
Let w(i) be the second derivative of i**3/3 - i**2 + 8*i. Is w(7) a multiple of 8?
False
Let r = 2 + -78. Let o = r - -116. Is o a multiple of 19?
False
Suppose -6*q + 2*q + 5*v = -44, -4*v = -3*q + 34. Is 4 a factor of q?
False
Suppose 3*z - 4 = 8. Suppose -2*w - z = -3*w. Suppose -3*u = -4*s - s + 38, w*u = -s + 3. Is s a multiple of 7?
True
Let x(m) = -3*m - 9. Does 4 divide x(-9)?
False
Let a be ((-8)/12)/(1/(-3)). Let s be (-3)/a + 9/2. Suppose -w + 0*h = h - 23, 2*w = s*h + 31. Is w a multiple of 7?
False
Let s(r) = -3*r - 18. Does 12 divide s(-18)?
True
Let u(o) = o**2 - 3. Let p(h) = -h**2 - 5*h - 2. Let f be p(-3). Is 13 a factor of u(f)?
True
Suppose 5*u - 2*m - 279 = 0, 5*m + 0*m = u - 65. Is u a multiple of 6?
False
Let i(r) = 2*r**2 + 3*r - 8. Does 17 divide i(4)?
False
Suppose -4*z - 4*u = -508, -3*u + 7*u = -2*z + 248. Is 13 a factor of z?
True
Suppose 3*g = 0, 0 = n + 2*g + 2*g - 63. Does 21 divide n?
True
Suppose 4*g - 26 = 3*g. Let s = g + -8. Is s a multiple of 12?
False
Let j = 7 + 21. Is j a multiple of 6?
False
Let m = -27 - -75. Is m a multiple of 16?
True
Suppose -3*u + 33 = 4*i, i + u = 1 + 8. Let l be 2*(-15)/i*-1. Let r = 9 + l. Is 14 a factor of r?
True
Suppose -171 = 7*l - 10*l. Is 10 a factor of l?
False
Suppose 4*z - 3*n - 5 - 3 = 0, -5*n = -z - 15. Is 5 a factor of z?
True
Let x be (-11)/(-4) - 2/(-8). Suppose -d = -6*j + j + 1, -3*d + 15 = x*j. Suppose -2*a = -0*a + d*b - 44, -a = -b - 28. Is 19 a factor of a?
False
Suppose 0 = 4*a - a - 18. Is 6 a factor of a?
True
Let k(o) be the second derivative of 11*o**4/3 + o**3/6 - o**2/2 + 9*o. Let t = 3 - 2. Is 19 a factor of k(t)?
False
Let j(u) be the first derivative of u**3/3 - 3*u**2/2 + 8*u - 5. Suppose -5*d = q - 6 + 9, 0 = -4*q + 4*d + 36. Is j(q) a multiple of 12?
True
Suppose 4*h - p = 609, 2*h - 4*p = 322 - 28. Is 6 a factor of h?
False
Let i be (-2)/5 + (-790)/25. Let o = i + 70. Is 11 a factor of o?
False
Let v(q) = q**3 + 3*q**2 + q. Let i be v(-3). Let f(r) = -13*r - 4. Is 16 a factor of f(i)?
False
Let n(a) = a**3 + 7*a**2 + 2*a. Suppose -1 - 4 = l. Does 20 divide n(l)?
True
Let y = -28 + 37. Is 9 a factor of y?
True
Suppose 5*u = 29 + 131. Is 7 a factor of u?
False
Let y = 30 + -59. Let i = -17 - y. Is i a multiple of 12?
True
Let r(f) = 5*f + 32. Does 6 divide r(8)?
True
Suppose -4*l = -0*l - 280. Does 14 divide l?
True
Let r(i) be the first derivative of i**4/4 + 7*i**3/3 + 2*i**2 - 6*i - 1. Let n(z) = -5*z**3 + z - 1. Let x be n(1). Is 12 a factor of r(x)?
True
Suppose 29*b + 178 = 31*b. Is b a multiple of 35?
False
Let n(l) = -l + 28. Let u be n(0). Let k = u + -12. Does 11 divide k?
False
Let p(z) = 17*z + 1. Let m be p(1). Suppose 4*y + m = 7*y. Is 4 a factor of y?
False
Does 12 divide (-2834)/(-39) + (-2)/3?
True
Suppose 5*y + 35 = 5*a, -5*a - 2*y + 11 = -y. Suppose 3*r + 1 = 16, -u + 18 = a*r. Is 3 a factor of u?
True
Let u(j) = 3*j - 1. Let g be u(2). Suppose -3*t - t = -5*m + 7, -g*t = -m - 7. Suppose k - 7*n + 2*n + 15 = 0, 0 = -5*k + t*n + 17. Does 3 divide k?
False
Suppose 2*c - 5*d = 28 + 4, 0 = 2*c - 4*d - 34. Is 6 a factor of c?
False
Suppose 0 = 7*s - 2*s. Suppose 2*b - 5*b + 180 = s. Suppose 0 = 5*h - h - 5*v - 85, -3*h = -3*v - b. Does 10 divide h?
False
Let k(x) = -3*x + 1. Let i be k(-1). Suppose -2*c - 29 + 112 = -3*t, 0 = 3*c - i*t - 122. Is 11 a factor of c?
False
Let z = -16 - -60. Does 11 divide z?
True
Let y(a) = -a - 7. Let n be y(-5). Let b be n + 3 + (-2)/(-1). Suppose -d = b - 17. Does 4 divide d?
False
Suppose g = -4*v + 5*g + 116, 0 = -4*v + 5*g + 119. Does 6 divide v?
False
Let l(g) = -g**3 - 3*g**2 - 3*g - 1. Let x be l(-2). Is 24 a factor of (-105)/(-2) + x/2?
False
Suppose -2*v + 24 = -4. Let r be ((-8)/v)/(4/(-14)). Suppose -4*w + k + r*k = -92, -8 = -2*k. Does 12 divide w?
False
Is 15 a factor of (-4)/8 - 753/(-6)?
False
Let z(g) = -2*g**3 + 22*g**2 + 8*g - 18. Is z(11) a multiple of 10?
True
Let r(j) = -3*j - 18 + 0*j + 12*j**2 + j**3 - j. Is r(-12) a multiple of 18?
False
Let f = 12 + -7. Is 5 a factor of f?
True
Let x(n) = -n**2 + 74. Let v be x(0). Suppose -6 = -4*l + v. Does 10 divide l?
True
Suppose 249 = -2*a + 5*a. Let u(d) = 28*d**2 + 4*d - 3. Let g be u(2). Let k = g - a. Does 14 divide k?
False
Let a(k) be the first derivative of -k**2/2 + 5*k + 1. Does 5 divide a(-5)?
True
Let m = -8 + 5. Let b = 1 + m. Is 2/b*-36 - 0 a multiple of 18?
True
Let b(z) = 3*z**3 - z**2 + 8*z. Is 13 a factor of b(5)?
True
Let n(j) = 2*j**3 - 6*j**2 + 3*j + 2. Suppose -5*o = -5*u - 30, -4*o + 2*u - 6*u = -8. Does 9 divide n(o)?
False
Is ((-1763)/129)/(((-2)/6)/1) a multiple of 10?
False
Is 4 a factor of (-12)/(-9) + 143/3?
False
Suppose 5*m - m = 0. Suppose m = 6*p - 2*p - 136. Is p a multiple of 7?
False
Suppose 4*b - k = 562, -b = -0*b - 2*k - 137. Is 31 a factor of b?
False
Let p be (1 + (-9)/6)*4. Let w = 3 - p. Let t = 15 + w. Is 20 a factor of t?
True
Suppose 3*p - 12 = p. Let c = 4 - p. Does 7 divide c/(-3) - 40/(-3)?
True
Suppose -4*y + 0*y + 216 = 0. Is y a multiple of 18?
True
Suppose 2*n = -2*m + 10, 0 = n - 0*n - 4*m - 5. Suppose -f - 117 = -3*i, -n*f = -3*i + 149 - 32. Is i a multiple of 13?
True
Suppose 4*c = 3*g + g - 1240, -25 = -5*c. Suppose 0 = q + 4*r - 40, -g = -q - 4*q + 3*r. Is 12 a factor of q?
True
Let i be (-2)/9 + (-68)/18. Does 8 divide (-148)/(-18) + i/18?
True
Let n = 121 - -177. Is n a multiple of 17?
False
Suppose 2*f = -4*z - 24, 2*z + 2*z + 48 = -5*f. Let a = 26 + f. Does 8 divide a?
False
Let s = -1 + 5. Let g(k) = -2*k**2 + 3*k**2 + 6 - k - 2*k. Does 4 divide g(s)?
False
Let l(n) = -n**2 + 6*n + 4. Let c be l(6). Suppose 0 = -m - 7*i + 2*i + 28, 78 = c*m + 3*i. Does 6 divide m?
True
Suppose 20*b = 18*b + 4. Suppose 3*o - 5*s = o + 120, -132 = -b*o - s. Does 17 divide o?
False
Suppose -a - 8 = -5*a - 3*f, 4*a - 3*f - 8 = 0. Let k be (-10)/(-3) + a/(-6). Suppose -k*w = 10 - 52. Is w a multiple of 14?
True
Let k(n) = 11*n - 12. Is 18 a factor of k(6)?
True
Let p be 1/(1/(-10))*-1. Suppose 2*d = -3*d + p. Suppose 2 + 4 = d*m. Is m even?
False
Let o(g) = 6*g**3 - 4*g**3 + 14 - 5 - g + 8*g**2 - g**3. Is 17 a factor of o(-8)?
True
Suppose -4*t - t = -370. Suppose -12 - 63 = -3*b + 3*h, 0 = 3*b - 2*h - t. Is b a multiple of 12?
True
Let c(o) = -o - 1. Let y(r) = r**2 + 10*r + 7. Let p(t) = c(t) - y(t). Let h be p(-9). Suppose m = 5*i + 3*m - 200, -h = -2*m. Is i a multiple of 19?
True
Suppose 0 = 17*w + 3061 - 9623. Is 26 a factor of w?
False
Let b = -9 - -9. Suppose 32 = l - b*l. Does 16 divide l?
True
Let p(v) = -16*v - 1. Let g be p(-4). Suppose -6*m = -5*m. Suppose 3*x - g = -m*x. Is x a multiple of 15?
False
Let t(o) = o + 22. Let a be t(0). Does 4 divide (6/4)/(3/a)?
False
Let w(t) = -t + 1. Is w(-8) a multiple of 3?
True
Let b = -288 - -416. Does 16 divide b?
True
Suppose p = 2*t - 30, 10*p + 65 = 5*t + 5*p. Suppose 4*x + 3*l + l + 36 = 0, 4*x + 18 = 5*l. Let q = x + t. Is q a multiple of 4?
False
Does 11 divide 2/(-4)*264/(-3)?
True
Let f(o) be the first derivative of -o**4/4 + 8*o**3/3 - 3*o**2 + 9*o - 2. Is f(7) a multiple of 16?
True
Suppose -h - 4*k + 17 = 0, 0 = -0*h + 2*h + 4*k - 22. Suppose -215 = -h*b - 5*f, 4*f - 207 = -5*b + 3*f. Let z = b + -29. Does 6 divide z?
True
Suppose f - 3 = -7. Does 22 divide (22/(-5))/(f/60)?
True
Is (3/(-2))/(-3 - 249/(-84)) a multiple of 5?
False
Let p(g) be the third derivative of g**4/24 - 2*g**2. Let o be p(2). Suppose 0*y - 4*j = 4*y - 116, o*y = 2*j + 46. Does 13 divide y?
True
Suppose -3*d - d + 96 = -4*a, -2*d - 2*a + 28 = 0. Let g = d + -5. Is g a multiple of 5?
False
Suppose 0 = 8*o - 5*o - 126. Is o a multiple of 14?
True
Suppose 4*z = 4*a - 24, a - 2*a - 5*z - 18 = 0. Is 7 + a + (0 - -3) a multiple of 4?
True
Suppose -5*f + 207 = -3*n - n, -3*n = 3*f - 108. Is 8 a factor of f?
False
Let