se -4*g - 7*n + 3*n + 20 = 0, -3*n - 5 = -2*g. Suppose -g*i - 172 = -3*h, 0*h - i + 55 = h. Does 9 divide h/3 - (-2)/(-3)?
True
Suppose j = 4*u - 7*u + 6, 5*u - 31 = -4*j. Is 2 a factor of j?
False
Let c = 147 - 96. Does 17 divide c?
True
Let y(o) be the first derivative of 2*o**3/3 - 5*o**2/2 + 6*o + 1. Does 4 divide y(3)?
False
Let f = -194 + 362. Does 13 divide f?
False
Is ((-173)/(-3))/(2*2/24) a multiple of 29?
False
Let r(s) = -s**2 + 6*s - 2. Does 3 divide r(5)?
True
Suppose 3*k - 5*m - 490 = 0, -2*m - 2 = -m. Is 52 a factor of k?
False
Let y(o) = -9*o - 14. Is 10 a factor of y(-6)?
True
Is (-5)/((-2)/16 + 0) a multiple of 8?
True
Suppose 3 = -r - 3. Is (4/6)/(r/(-315)) a multiple of 10?
False
Let d(s) = 2*s**3 + 9*s**2 + s - 2. Let f be d(-7). Is f/(-6) + (-6)/18 a multiple of 14?
True
Suppose 56 = -6*g + 2*g. Let h = 28 + g. Is h a multiple of 4?
False
Suppose 0*w = w + 2. Let z = 10 + w. Is z a multiple of 8?
True
Let q(u) = -4*u - 7. Suppose -2*i + 8 = -6. Let k(w) = -w**3 + 6*w**2 + 7*w - 8. Let l be k(i). Does 9 divide q(l)?
False
Let n = 7 - -58. Is 13 a factor of n?
True
Let u(i) = -i**3 + 8*i**2 + 5. Let v be u(8). Let k = -8 + v. Is 2 a factor of -5*(-1 - k/15)?
True
Is (36/8)/(2/4) a multiple of 2?
False
Suppose f - 20 = c + 4*c, -f - 3*c = -60. Suppose 0 = 3*a - 6*a + f. Is 5 a factor of a?
True
Let b(k) be the third derivative of k**6/120 + k**5/12 - k**4/24 + 3*k**2. Suppose 4*o + 14 = 3*r, -5*o - 21 + 0 = -2*r. Is 3 a factor of b(o)?
False
Suppose 46 = 2*l + 4*g, -4*l + 8*g = 4*g - 80. Is 21 a factor of l?
True
Let f(t) = 3*t**2 + 15*t + 15 - t**3 - 14*t - 2*t**2. Let r be f(0). Is (-32)/(-20)*r/6 a multiple of 4?
True
Let b(w) = -w**3 + 7*w**2 + 2*w + 4. Let a be b(7). Is 4/a - (-466)/9 a multiple of 16?
False
Let u be -1*3*2/(-2). Let o(x) = -u*x**2 + 4 + 2*x**2 + 6*x - 2*x. Is 2 a factor of o(4)?
True
Suppose 2*l - 18 = -2*c - 0*c, -15 = -5*c + 5*l. Is (2 - 1)*c/2 even?
False
Let h(r) = 4*r**3 - 2*r + 1. Let x be h(1). Suppose -x*c + 16 = c. Suppose -2*w + 106 = 3*a - c*w, 0 = -5*w - 10. Is 17 a factor of a?
True
Does 18 divide 322/4 - 5/(-10)?
False
Suppose i + 0*i + 50 = 4*b, 4*i + 5 = b. Is b a multiple of 9?
False
Let s(w) = -w**3 - 7*w**2 - 5*w - 2. Let p be s(-6). Suppose 5*y + 4*q = 80, y + 2*q = -0*y + 22. Let u = y - p. Does 10 divide u?
True
Let z(g) be the first derivative of 4*g**3/3 + 3*g**2/2 - 2*g + 3. Is z(-4) a multiple of 23?
False
Let u(a) = 10*a - 4. Suppose 3*b = 16 + 8. Suppose -5*z - b = -3*w + 2*w, 0 = -w - 5*z - 2. Does 13 divide u(w)?
True
Is -30*(0 + 2)*(-20)/6 a multiple of 27?
False
Suppose 4 = 2*m - 0*g + g, 5*g = 4*m + 20. Suppose m*j - 2*j = -3*v + 123, 0 = -v - 4*j + 27. Is v a multiple of 9?
False
Let o(c) = c**3 - 7*c**2 - 2*c + 10. Is 18 a factor of o(8)?
False
Let g(i) = i - 13. Let v be g(11). Let w be 1 - ((-3 - -2) + v). Suppose -84 = -w*j + 40. Is j a multiple of 15?
False
Let h(u) = -u**2 - 11*u + 13. Let i(c) = c**2 + 12*c - 13. Let x(q) = 3*h(q) + 2*i(q). Let k(o) = -4*o + 6. Let v be k(4). Is 3 a factor of x(v)?
True
Suppose 4*f = 2*q + 76, f + 134 = -3*q - 3*f. Let k = -17 - q. Is 9 a factor of k?
False
Let b = -13 - -8. Let g = b + 12. Is 6 a factor of g?
False
Let a(h) = h**3 + 4*h**2 - 5*h + 2. Let x be a(-5). Let f be 1*-1*x/(-1). Suppose 3*g - 11 = -l + 11, g + f*l - 9 = 0. Is g a multiple of 3?
False
Let u(l) = 3*l**2 + 7*l - 3. Does 15 divide u(-6)?
False
Suppose 21 = 3*x - 3*s, -s + 4*s - 59 = -5*x. Suppose 7*f = 2*f + x. Suppose -f*z + 3*q + 25 = -0*z, -q = -1. Does 7 divide z?
True
Suppose 3*r + 6*z = 3*z + 18, -4*r - 3 = -5*z. Suppose 24 = r*f - 12. Is 6 a factor of f?
True
Let u = -3 - -9. Suppose -5*y - j = -324, j = -2*y + u*j + 135. Does 15 divide y?
False
Suppose -3*m - 3*u = -21, 5*u - 28 = -4*m - 0*u. Suppose 0 = -r + 4, -r + 2 + 3 = a. Let k = a + m. Is k a multiple of 8?
True
Suppose 8*g = -87 + 591. Does 9 divide g?
True
Let b(x) = 3*x - 1. Let s be b(7). Suppose -3*a = a - s. Suppose -152 = y - a*y. Is y a multiple of 19?
True
Suppose -11*j - 427 = -18*j. Is 15 a factor of j?
False
Let y = 5 - -9. Suppose -8 - 34 = -2*b. Let n = b - y. Does 5 divide n?
False
Suppose 5*f + h - 5 = 9, -24 = -4*f - 4*h. Suppose -f*u + 5*u - 2*x - 21 = 0, -x + 30 = 3*u. Does 5 divide u?
False
Let w(j) = -j**2 + 11*j + 7. Let b be w(12). Let x(t) = -t**3 - 5*t**2 - 2*t - 3. Is x(b) even?
False
Is 5 a factor of (-7 + 1)/(3/(-8))?
False
Suppose -3*b + 77 + 29 = 4*w, 5 = 5*w. Let r = 60 - b. Suppose 0 = a - 3*a + r. Does 13 divide a?
True
Let v(g) = -g + 19. Let w be v(10). Suppose -f + w + 27 = 0. Does 12 divide f?
True
Let o = -11 - -14. Suppose o*x - 49 = 68. Is 13 a factor of x?
True
Let f(c) be the second derivative of -2*c - 1/6*c**3 + 1/10*c**5 + 0 + 0*c**4 - c**2. Is 9 a factor of f(2)?
False
Let x = -7 - -7. Let j(v) = -6*v + 2. Let h be j(-5). Suppose n + x*n = h. Is n a multiple of 17?
False
Let u be ((-48)/(-3))/(-4) - -22. Is 10 a factor of 536/u + (-2)/(-9)?
True
Let q = 20 - 21. Is 7 a factor of (6/(-12))/(q/42)?
True
Let b(t) = -13*t - 10. Is b(-3) a multiple of 5?
False
Let u = 4 - 4. Let q be (-1)/2*u/1. Suppose -3*d - 9 = q, 5*d - 6*d - 33 = -r. Is r a multiple of 13?
False
Suppose 4*i - 3*i = 3*o - 4, 0 = -i - o + 8. Suppose i = 2*j - j. Is j a multiple of 5?
True
Suppose 2*q = q + 7. Suppose -q*x + 3*x + 116 = 0. Is x a multiple of 15?
False
Suppose -5*l + 15 = -3*y, -l + 3*y = -y - 3. Let d be 19 + (-3)/(-3)*-1. Suppose -3*j - 6 = -4*j + l*f, -f + d = 3*j. Is 6 a factor of j?
True
Suppose 0 = 3*f + 2 - 14. Suppose -f*y + 5 = -67. Is 9 a factor of y?
True
Let d(z) = -z**3 + 10*z**2 + z - 9. Let v be d(10). Let n be -6*v/(6/(-51)). Let t = -36 + n. Is 15 a factor of t?
True
Let v(c) = c**3 + 7*c**2 + 6*c - 7. Is v(-5) a multiple of 8?
False
Let r(s) = s**2 + 13*s - 9. Let d be r(-14). Suppose -336 = b - d*b. Is b a multiple of 18?
False
Suppose 3*m + 28 = 4*m. Suppose 4*j - 3 = j, 3*l + 4*j = m. Does 3 divide l?
False
Let o(q) = -q**3 - 4*q**2 - 4*q - 3. Let g be o(-3). Let b = 0 - g. Suppose b = 2*t + 2*t - 12. Is t even?
False
Let u(o) = -5*o - 1. Let t be u(-3). Let k = t + 15. Is k a multiple of 12?
False
Let f = 18 - -2. Does 5 divide f?
True
Let v be 5 - 0 - (1 + 0). Suppose -4 - 28 = -v*s. Does 4 divide s?
True
Suppose 477 + 27 = 3*q. Is 24 a factor of q?
True
Let v(q) = q**2 + 179. Let t be v(0). Suppose -3*c = r - t, r - 55 = -c - 4*r. Does 15 divide c?
True
Let d(u) = u - 3. Let s be d(3). Suppose 2*l + 0*l - 2 = 2*g, s = 4*l + 3*g - 4. Is 8 a factor of 0/5 - -10*l?
False
Let u(z) = 2*z**2 + 3*z + 11. Is u(-5) a multiple of 23?
True
Let n = -491 + 857. Is 17 a factor of n?
False
Suppose -k - 5*x = 3*k + 39, -2*k - 4*x - 24 = 0. Let v = k - -8. Let g(p) = 12*p. Does 8 divide g(v)?
True
Suppose -4*i + 4*h - 12 = 0, -3*i - h = -2*h - 1. Let j(x) = -3 - 1 + i*x + 1. Is 2 a factor of j(4)?
False
Let p(l) = l**3 - l + 23. Let y be p(0). Let q = 29 - y. Is 4 a factor of q?
False
Suppose -6*j + 5*j + 9 = 0. Does 9 divide j?
True
Let j(t) = 82*t**2 + 3*t - 74*t**2 - 3 + 3. Does 11 divide j(-2)?
False
Let m = 13 + -14. Is 13 a factor of m/(-8) - 1449/(-56)?
True
Let p be 5/1 + (-2 - 0). Suppose -p*n - 2*n + 20 = 0. Suppose 78 = n*h - h. Does 9 divide h?
False
Suppose 2*p + 5 = -k + 4*p, 0 = -5*k + 2*p + 15. Suppose -8 = -i + k. Does 13 divide i?
True
Let i be (-3)/6 + (-630)/4. Let f = -104 - i. Does 27 divide f?
True
Let n be 2/(-1) - (3 + -6). Let v be -3 + 4 - (n - 2). Suppose 3*y + 4*s - 38 = 0, -2*y + 4*y + v*s - 22 = 0. Is y even?
True
Is 798/56 - (-1)/(-4) a multiple of 14?
True
Suppose t + 3*l = 64, -5*l = -2*t + 172 - 0. Let d = t - 53. Is 10 a factor of d?
False
Let y(v) = 7*v + 3. Let x be y(-4). Let q = 37 + x. Does 6 divide q?
True
Let s(n) = -n**3 + 16. Is 8 a factor of s(0)?
True
Let w(l) = l**3 + 5*l**2 + 3. Let j be w(-5). Let m(g) = -2*g**2 + 4 - 3 + 0 - 2*g**j + 2*g. Does 3 divide m(-2)?
False
Suppose -1 = -2*m + 1, -4*y + 17 = 5*m. Let s(r) = r**2 + 0*r**3 + 3*r - r**y + 3*r**2 + 4. Is 11 a factor of s(3)?
True
Let l = -11 + 15. Let u = 4 - l. Suppose -6*h + 4*v + 48 = -4*h, u = -4*h + 3*v + 76. Is 16 a factor of h?
True
Suppose -4*s = -10*s + 144. Does 11 divide s?
False
Let n(f) = f + 7. Let t be n(-5). Let a be (-160)/3 - t/(-6).