
Suppose -3*i + 3*f + 339 = 0, -4*f = -3*i - 115 + 459. Is 54 a factor of i?
True
Let a = -6 + 0. Let i = 16 + a. Does 10 divide i?
True
Suppose -23 = -4*r + 3*a, 3*r + 0*r = -4*a + 36. Suppose 0 = 3*g - r*g - 40. Let n(l) = -3*l - 2. Is n(g) a multiple of 11?
True
Let w = -8 - -11. Suppose -w*t - 15 = 0, -k = -2*k + 4*t + 19. Is (k - -1)/(-1) + 11 a multiple of 11?
True
Suppose 4*x = -36 + 108. Is x a multiple of 9?
True
Let a = -56 + 100. Suppose -q - a = -0*q. Let h = q - -72. Is 14 a factor of h?
True
Let c(x) = -3*x + 17. Is 14 a factor of c(-13)?
True
Suppose -l = -6*l + 3*f + 174, 2*l - 76 = -2*f. Does 22 divide l?
False
Let v(w) = -w + 11. Let y be v(-9). Suppose 119 = 3*s + y. Does 15 divide s?
False
Suppose -3*m = -3*n - 153, -2*m + 0*n + 117 = n. Is 14 a factor of m?
True
Suppose 0 = -3*i - 5 - 4. Let m(g) = g**2 + 2*g - 5. Let c be m(-4). Does 9 divide i/(((-3)/3)/c)?
True
Suppose -b = 4*y - 10, -12 = -3*y - 0*y - 3*b. Suppose -y*s - s = -33. Is s a multiple of 11?
True
Let w(f) = -f**2 + 22*f + 20. Does 7 divide w(19)?
True
Let u = 142 + -53. Is 22 a factor of u?
False
Let n = 19 - 4. Is n a multiple of 5?
True
Let r(c) be the first derivative of c**4/6 - c**3/2 - 2*c**2 - c + 1. Let m(o) be the first derivative of r(o). Is 20 a factor of m(6)?
False
Let y(m) = -29*m**3 + 5*m**2. Let o(i) = 28*i**3 - 4*i**2. Let p(f) = 4*o(f) + 3*y(f). Is 12 a factor of p(1)?
True
Suppose 1 + 101 = 5*u + 2*s, -81 = -4*u - s. Let f = u - 4. Is 12 a factor of f?
False
Suppose 166 = 4*x + 5*t, -x - 4*t - t = -49. Is 13 a factor of x?
True
Let t(y) = 11*y**3 - 2*y**2 + 1. Let j be t(1). Suppose -5*n + j*n = 70. Let a = 1 + n. Does 8 divide a?
False
Let t(b) = b**2 + 7*b + 5. Does 11 divide t(-11)?
False
Let j = 24 + -16. Let k(m) = 4*m**2 - 7*m + 13. Let l(g) = g**2 + g + 1. Let w(p) = -k(p) + 3*l(p). Is 6 a factor of w(j)?
True
Let w(x) = x - 7. Let j be 11 - (0 + 1)*1. Let s be w(j). Let h = 7 + s. Does 10 divide h?
True
Let r = 0 + 0. Suppose 0 = -r*d + 2*d + 4*z - 206, -4*z = d - 111. Is d a multiple of 25?
False
Suppose 0 = -6*p + 46 + 32. Is p a multiple of 7?
False
Let y = 69 - 45. Is 3 a factor of y?
True
Suppose 0 = -4*d - 5*p + 18, -p = -2*d + p. Is (-1 - 0)/(d/(-38)) a multiple of 8?
False
Let m = 53 - 43. Is 10 a factor of m?
True
Let b = -6 + 8. Suppose -3*z = 2*o - 65, b*z - z - 18 = 3*o. Is z a multiple of 21?
True
Let b(d) = 5*d + 14. Does 9 divide b(6)?
False
Let i(z) be the first derivative of -z**6/360 + z**5/15 + 7*z**4/24 - z**3 + 1. Let a(r) be the third derivative of i(r). Is a(7) a multiple of 12?
False
Suppose q = -2*u + 15 + 85, 2*u = 5*q - 536. Is q a multiple of 10?
False
Let v = -37 - -5. Let f = 76 + v. Is f a multiple of 11?
True
Let f(y) = y - 10. Let b be f(10). Suppose -j - 4*x + 2*x = -50, b = j - x - 35. Is j a multiple of 7?
False
Let z = -165 + 242. Is 16 a factor of z?
False
Let d = -12 - -16. Is 3 a factor of d?
False
Does 10 divide (-106 + 6)*1/(-2)?
True
Suppose 2*q = -4, 148 = 2*i + 2*q - 4*q. Is 8 a factor of i?
True
Let i = 4 + 59. Does 9 divide i?
True
Let r be (-14 - 8) + 4*1. Does 18 divide r/(-3*2/12)?
True
Does 9 divide (-1)/(((-21)/54)/7)?
True
Let y(z) = z + 1. Let o be y(2). Suppose -4*n - o*g + 34 + 29 = 0, 5*g = n - 33. Does 18 divide n?
True
Let f = -27 + 13. Let j = f - -56. Is j a multiple of 16?
False
Let l(x) be the first derivative of 49*x**4/4 - x**3/3 + x**2/2 - x - 1. Let m(n) = -n**3 + n**2 + 2*n + 1. Let b be m(2). Does 16 divide l(b)?
True
Suppose -4*n + 1086 = -50. Does 44 divide n?
False
Let b(u) = -2*u. Suppose 1 = -4*i + 3*i. Let o be b(i). Does 19 divide o/(5/(285/6))?
True
Suppose -5*q + 53 + 27 = 0. Is q a multiple of 3?
False
Suppose -37 = -6*q + 2*q - 3*s, -4*q = -2*s - 22. Does 7 divide q?
True
Suppose 4 = -4*m + 2*m. Let h = 37 - m. Does 14 divide h?
False
Let n(v) = -3*v + 7. Is 7 a factor of n(-6)?
False
Let t(g) = 2*g**3 - 2*g**2 + 7. Let b(j) = -j**3 - j**2. Suppose -3*k = -4*d - 4*k + 8, d = -2*k + 9. Let l(a) = d*t(a) + 3*b(a). Is 2 a factor of l(-5)?
False
Let c = 116 + 2. Is c a multiple of 44?
False
Suppose t = 3*i + 18, 44 = 2*t + 5*i - 14. Suppose -3*f + f - t = 0. Let q = 22 - f. Does 13 divide q?
False
Suppose 3 = -3*o - 3. Is (o - (-1 - 2))*4 a multiple of 2?
True
Let u = 2 + 0. Is (0 + u + 0)*7 a multiple of 5?
False
Let j(d) = -71*d**2 - 2*d - 1. Let k be j(-1). Suppose 5 = -3*w - 1. Is k/(-9) - w/9 a multiple of 4?
True
Let z be 16/(2/6 - 0). Suppose z = 2*t + t. Suppose 0*s - s + t = 0. Is s a multiple of 8?
True
Suppose m - 4*m = -24. Is m a multiple of 2?
True
Suppose -3*j = k - 0*j - 54, 62 = k + 5*j. Is 6 a factor of k?
True
Suppose 10*z - 594 = 56. Does 7 divide z?
False
Let u = 16 - -12. Suppose -k - u = 2*s - 153, 0 = -4*s - 3*k + 249. Is 16 a factor of s?
False
Let x(f) = -4*f + 4. Let d be -5*3/9*3. Is 12 a factor of x(d)?
True
Let f = 153 + -75. Is f a multiple of 26?
True
Let x be 3/(-9)*-3*-15. Does 27 divide ((-5)/x)/(1/81)?
True
Let m(s) = 2*s + 40. Does 10 divide m(21)?
False
Let b(k) = -k + 10. Let n be b(8). Let a(q) = -2*q**3 - 6*q**2 - 7*q - 6. Let d be a(-4). Suppose -n*l = l - d. Does 9 divide l?
True
Suppose 4*y = 6*y - 12. Does 2 divide y?
True
Let j = -166 + 239. Suppose 5*x - 147 = j. Is 22 a factor of x?
True
Let u(g) = -3*g**3 - 5*g**2 - 2*g. Let f be u(-3). Suppose -4 = 2*d + 2*q, 4*d + 4*q + 6 = -q. Is 20 a factor of f + d/2 + 1?
False
Let f = 108 + 24. Suppose 2*g - f = -g. Does 22 divide g?
True
Does 7 divide (35/15)/((-1)/(-12))?
True
Let l = 4 - -5. Suppose 0 = 5*j - l - 71. Is 16 a factor of j?
True
Let f(i) = -3*i**3 + 2*i**2 + 2*i + 1. Let j be f(-1). Let y be j/(-10) - (-44)/10. Suppose y*r = 4*d + 56, r + 0*r = -d + 24. Is r a multiple of 19?
True
Let n be 196/(-10) + (-6)/15. Is 1/(-4) - 405/n a multiple of 12?
False
Suppose -4*k + g + 903 = 0, 0 = k - g + 54 - 282. Is k a multiple of 15?
True
Suppose 5*p - 287 = 2*p - 4*w, 489 = 5*p - 4*w. Is 23 a factor of p?
False
Suppose 3*x - 406 = -5*g, 5*x - 211 + 41 = -2*g. Is 20 a factor of g?
True
Let u(f) = 27*f - 9. Is u(1) a multiple of 9?
True
Let m(k) be the second derivative of k**3/3 - k**2/2 - k. Suppose -3*h - 12 = -6*h. Is 7 a factor of m(h)?
True
Let j = 19 - -130. Suppose -i - 2*i + j = -5*q, 4*q = -4. Is 12 a factor of i?
True
Let k(l) = -l - 2. Let o be k(-6). Let g be (o + 0)*6/(-8). Is (-27)/(-2) + g/(-6) a multiple of 10?
False
Does 33 divide (307/(-4) + 1)*-4?
False
Suppose -4*h = -2*j - 18, j + 0*j - 5*h + 9 = 0. Let f(w) = -w**2 - 14*w + 6. Does 17 divide f(j)?
True
Let s be (-346)/(-10) + 14/35. Suppose -5*h + 3*k - 9 = 39, 0 = 3*k + 12. Let r = s + h. Does 11 divide r?
False
Let u(r) = r**3 - 16*r**2 + 17*r - 14. Is 4 a factor of u(15)?
True
Let d(s) = 5*s**2 + 4*s - 6. Suppose 2*h + 2*h - 36 = 0. Let t(g) = -11*g**2 - 7*g + 11. Let y(i) = h*d(i) + 4*t(i). Is 5 a factor of y(-10)?
True
Does 6 divide (-3 - (-54)/(-4))*-2?
False
Let a(g) = 49*g - 6. Let b(n) = 33*n - 4. Let h(q) = 5*a(q) - 8*b(q). Is h(-2) a multiple of 20?
True
Let n(f) = -f**2 + 3. Let q be n(0). Suppose -q*s + s = -2*w - 10, 1 = 3*w + 5*s. Let g(x) = -x**2 - 3*x + 2. Is g(w) a multiple of 2?
True
Let g(c) = 10*c**2 - c. Let f be g(2). Let y be f/8 - (-3)/12. Suppose -6 - 54 = -y*w. Is 5 a factor of w?
False
Suppose 0 = -4*g - 8, 4*p + g - 126 = 4*g. Does 22 divide (44/5)/(4/p)?
True
Suppose -4*f - 3*m + 17 = 0, -f - f + 1 = -m. Suppose -5*x + 41 = f*t - 35, 4*t = 5*x + 92. Is 14 a factor of t?
True
Let f(s) = -2*s + 10. Suppose -p = 2, -2*g - 2*p - p = 20. Is 14 a factor of f(g)?
False
Let k(s) = -4*s**2 + 4*s - 1. Let y(x) = x + 1. Let g(q) = -k(q) + y(q). Is g(3) a multiple of 29?
True
Let p(b) = b**3 + b**2. Let c be p(-1). Suppose m - 1 = 0, 4*x - m - 2 + 3 = c. Suppose x = -2*w - 3*a + 65, -274 = -5*w + 2*a - 64. Is 20 a factor of w?
True
Suppose 0 = 6*t - t - m - 370, -3*t + m = -224. Does 29 divide t?
False
Let k(t) = 5*t + 2. Let s(n) = -4*n**3 + 2*n + 1. Let j be s(-1). Is k(j) a multiple of 17?
True
Let k = 979 - 489. Is 14 a factor of k?
True
Let p(x) be the first derivative of -2*x + 1 + 2/3*x**3 + 7/2*x**2. Does 13 divide p(-5)?
True
Suppose -3*y + 8*y - 30 = 0. Let w(f) = -f**2 + 9*f - 2. Let c(d) = -d**2 + 10*d - 2. Let l(x) = 4*c(x) - 5*w(x). Does 3 divide l(y)?
Fal