+ 3. Suppose 3*c - 36 = -5*w + 3*w, -o*w + 40 = 4*c. Does 12 divide w?
True
Suppose 2*m - 294 = -30. Is 11 a factor of m?
True
Suppose 4*c - 51 = c. Does 3 divide c?
False
Let u = -28 - -56. Let s = 47 - u. Does 4 divide s?
False
Let s(m) = m**3 - 5*m**2 + 5*m - 1. Let i be s(4). Suppose 0 = -3*f - 15, -13 = -i*u - 4*f + 3. Does 12 divide u?
True
Let j(d) = -12*d - 13. Let f(h) = -13*h - 14. Let b(x) = -5*f(x) + 6*j(x). Does 20 divide b(-12)?
False
Let f(x) be the second derivative of 0*x**2 + 3*x - 1/6*x**3 + 7/2*x**4 + 0. Does 27 divide f(1)?
False
Let f be 24/16*(-4)/3. Is ((-4)/(-6))/(f/(-12)) a multiple of 2?
True
Suppose -2*w + 3*w - 27 = 0. Is w a multiple of 3?
True
Let y be (-194)/(-12) + (-4)/24. Let k = y + -8. Is 4 a factor of k?
True
Suppose -23 = -5*v - 3. Suppose 5*a + v = -1. Is -3 - a - -3*3 a multiple of 5?
False
Suppose -222 = -0*r + 2*r. Let z = r - -180. Is 15 a factor of z?
False
Let a(q) = -9*q + 2*q + 0*q**2 + 4 + 2*q**2. Let v be a(4). Suppose -m = m - v. Is 2 a factor of m?
True
Suppose -3*h + 8 = -h. Suppose z - h*p = 7 + 9, -4*z + p = -34. Is z a multiple of 4?
True
Let b = -52 - -84. Is 8 a factor of b?
True
Suppose v + 0*v + 1 = 2*j, -17 = -4*j - v. Suppose j*i + i - 60 = 0. Is 7 a factor of i?
False
Let b(j) = -j - 6. Let h be b(-8). Let u = h - 1. Let r = 29 - u. Is 10 a factor of r?
False
Let d(f) = 7*f**3 - 2*f**2 - 11*f + 23. Suppose 0 = 5*g - 0*g + 45. Let u(r) = -3*r**3 + r**2 + 5*r - 11. Let k(o) = g*u(o) - 4*d(o). Does 3 divide k(0)?
False
Let x(s) = 2*s - 2. Let r = 8 + -5. Let f be ((-9)/(-6))/(r/4). Does 2 divide x(f)?
True
Let r(d) = -d + 3. Does 3 divide r(0)?
True
Let a(m) = -9*m - 82. Is 5 a factor of a(-13)?
True
Suppose -61 = -g + 3*c + 6, 2*g - 109 = c. Does 8 divide g?
False
Let q be (-6)/(-9) - 1/(-3). Let i be (0/((-2)/q))/1. Suppose -t = i, -r + t + 28 = r. Is 7 a factor of r?
True
Is 13 a factor of (-3)/(27/(-408)) + 12/18?
False
Let w(u) = u**3 - 14*u**2 - 5*u + 78. Is w(15) a multiple of 19?
True
Suppose 0 = -2*b - 2 + 12. Let i(t) = t - 2. Is i(b) a multiple of 2?
False
Let v = 29 + 16. Is v a multiple of 11?
False
Let j be (-2)/(-5) - 8/20. Let c(a) = -a**2 + 5 + 2*a - a**3 + j*a**2 - a. Is 5 a factor of c(0)?
True
Let a be (-30)/4*(-24)/(-18). Let t = a - -18. Is t a multiple of 8?
True
Let o be 220/6 + (-2)/3. Let j = 18 + -13. Suppose -j*k - 4*c + 29 = -17, 4*k + 4*c = o. Is 5 a factor of k?
True
Let y(n) = 2*n**2 - 4*n - 1. Is 3 a factor of y(4)?
True
Let n = 11 - 15. Let u = n + 15. Is u a multiple of 8?
False
Suppose g - 9 = -2*g. Suppose -5*j + 5*b = -j - 54, -g*j + 50 = b. Is j a multiple of 6?
False
Let v(p) = -p + 2. Let q be v(-4). Suppose -4*w + q = 3*i, -3*i + 13 = 5*w + 4. Suppose 3*h - 49 = -w*s + 5*s, -5*h + 5*s = -85. Is 7 a factor of h?
False
Suppose 0 = -k + 74 - 29. Is k a multiple of 15?
True
Let y = -38 - -44. Does 6 divide y?
True
Let i(n) be the first derivative of -n**4/4 - n**3 - 3*n**2/2 + 3*n - 2. Suppose -5*v + 2 - 17 = 0. Does 12 divide i(v)?
True
Is 22 a factor of ((-772)/(-16) - -1) + 1/(-4)?
False
Let w = 9 - 1. Suppose -3*a - z = -4, -2*z + w = -0*a - a. Suppose a = 2*n - 3*n + 26. Is 13 a factor of n?
True
Let i be (2 - 0)/(-2)*7. Let x = i - -13. Suppose -x*p + 92 = -2*p. Is 13 a factor of p?
False
Let d be (2 + -3 + 0)*3. Let n be (68/6)/((-2)/d). Suppose 3*v - 36 = -f, v - 2*f + 4*f = n. Is v a multiple of 11?
True
Suppose 2*i - 3*d - 38 = 85, i - 59 = -d. Is i a multiple of 20?
True
Let g(q) = -2*q - 14. Let h be g(-10). Let k be (h - 0)*4/(-8). Let u = 43 + k. Is u a multiple of 13?
False
Suppose 0 = -4*m + 3*w + 135, -2*m + 3*w = 16 - 85. Is m a multiple of 11?
True
Let h(y) = y**3 + 4*y**2 + 3*y + 1. Let q be h(-2). Suppose 2*u - 33 = -q. Is u a multiple of 15?
True
Suppose -25 = -5*d, 2*m = -2*d - d + 63. Is m a multiple of 8?
True
Let p be 4 + ((-1)/1 - -1). Suppose 12 + 0 = p*q, -18 = -3*r + q. Suppose -b + r + 0 = 0. Is b a multiple of 5?
False
Suppose 29*l - 122 = 27*l. Does 3 divide l?
False
Let q(v) = v**3 + 10*v**2 + 6*v + 3. Is 8 a factor of q(-9)?
False
Suppose 5*z - z - 72 = 0. Does 11 divide z?
False
Let f(r) = 7*r + 6. Let n be f(6). Suppose 0*h + n = h - 5*s, 34 = h + 2*s. Does 14 divide h?
False
Suppose 3*q - 68 = -q. Let s = q - 11. Suppose -z = -k + 20, 109 = 5*k - s*z + 4*z. Does 13 divide k?
False
Let z(j) = -j - 2. Let r be z(6). Let y = 26 + r. Is y a multiple of 18?
True
Is 9 a factor of 2 + (2 - 3) + 35?
True
Let j(m) = 5*m**2 - 9*m + 8. Does 26 divide j(4)?
True
Let a(y) = 115*y - 1. Suppose 14 = 4*l - 4*q - 10, -l + 16 = -3*q. Let n be a(l). Suppose 181 = 5*i - 3*h + 52, 4*i - n = -3*h. Is i a multiple of 10?
False
Let j = -2 + 8. Does 30 divide (292/j)/(2/3)?
False
Let a = 21 - -4. Is 6 a factor of a?
False
Let l(w) be the first derivative of -w**4/4 + 11*w**3/3 - 7*w**2 + 6*w - 5. Is 22 a factor of l(9)?
False
Let z(l) = -3*l**3 + 3*l**2 + l + 9. Let u(q) = -q**3 + 2*q**2 + 4. Let t(m) = 5*u(m) - 2*z(m). Is t(-4) a multiple of 5?
True
Suppose -2*c - d + 642 = 0, -c - 4*c - 4*d + 1611 = 0. Does 11 divide c?
True
Suppose 70 = -5*q + 5. Let n be (-116)/(-6)*(-3)/(-2). Let d = q + n. Does 8 divide d?
True
Does 5 divide 4*(52/(-8))/(-1)?
False
Let b = -11 - -19. Is 4 a factor of b?
True
Suppose -4*i + 121 = -5*c + 10, -2*i = 3*c - 61. Let u(s) = -s**2 + s - 10. Let l be u(0). Let r = i + l. Is 13 a factor of r?
False
Suppose 5 = -5*y + 15. Suppose -5*b + y*b = 174. Does 11 divide (b/4)/(2/(-4))?
False
Suppose 4*l - 2*l - 8 = 0. Suppose 0 = -l*f + 2*f + 8. Suppose 6 = z - f. Is 5 a factor of z?
True
Suppose 4*o + 1 = -3*h - 2*h, h - 4*o - 19 = 0. Suppose -3*r - h*d + 13 = -26, 0 = 2*d - 6. Is r a multiple of 4?
False
Let j = 4 - -17. Suppose -3*s - 6 = -j. Is 5 a factor of s?
True
Let d(r) = 7*r**2 + r - 1. Let w be (4/5)/((-6)/15). Does 25 divide d(w)?
True
Is (-66)/(-4) - (120/(-16) - -6) a multiple of 4?
False
Let f(g) = g**2 + 6*g - 7. Suppose -4*z = -4 - 4. Suppose -z*o - 3 = 13. Does 9 divide f(o)?
True
Does 28 divide 14/(-56) - (2 - 242/8)?
True
Let w(n) = -n**3 + 9*n**2 + 10*n + 13. Suppose -5*q + r + 49 = 0, -3*r + 3 = -0*r. Is w(q) a multiple of 9?
False
Let h be (-3)/((-2 + 4)/(-14)). Suppose 0*d - 4*t - 75 = -5*d, 2*d - 5*t - 47 = 0. Let o = h - d. Does 4 divide o?
False
Let n(h) = h**2 + 3*h + 9. Is n(7) a multiple of 26?
False
Let g be (-3 - -3)*(-2 + 1). Let r = 16 - g. Does 16 divide r?
True
Let f = 0 - -1. Let p(h) = -19*h - 5. Let d(c) = -10*c - 2. Let n(i) = -7*d(i) + 3*p(i). Is n(f) a multiple of 4?
True
Let o be (-17*2 - 2) + -3. Let n = 27 + o. Is 23 a factor of 3/(-12) - 327/n?
False
Let x(s) = 411*s - 2. Is x(1) a multiple of 17?
False
Let c(o) = -o**3 - 7*o**2 - 9*o + 4. Is c(-6) a multiple of 22?
True
Let x = -155 - -277. Is 12 a factor of x?
False
Suppose -5*i - 5*b = -2*i - 73, 4*b = -i + 15. Is i a multiple of 6?
False
Let l(u) = 2. Let i(q) = q - 3. Let h(o) = 2*i(o) + 3*l(o). Let k be h(-1). Is 7 a factor of -2*(-8 + 3) + k?
False
Suppose 0 = 3*g - 8*y + 4*y - 84, 0 = 5*g - 2*y - 140. Is 7 a factor of g?
True
Let k(p) = -p - 6. Let y be k(-10). Suppose -c + y = -0*c. Suppose -56 = 2*i - c*i. Does 9 divide i?
False
Suppose 4 = l - 0. Suppose l*r - 3*r = -3*u + 13, 5*r = u + 1. Suppose m = 3*k + 3, 2*m = u*k + 10 - 2. Is 3 a factor of m?
True
Suppose 30 + 81 = 3*p. Is p a multiple of 37?
True
Suppose 3*j + 3*a = -2 - 22, 0 = -2*a. Let i = 0 - j. Does 8 divide i?
True
Suppose -y - 4*y = -15. Suppose v - 32 = 5*s + 16, 5*s + y*v + 36 = 0. Is (12/(-9))/(1/s) a multiple of 8?
False
Let q be -1 - (-1 - (0 - -25)). Suppose -2*p - 4*n = -10, -n = -5*p - 2*n + q. Does 5 divide p?
True
Let r be (-3 + 2)*3/(-1). Suppose 3*f + r*h - 36 = 0, 3*f - 4*h - 42 = f. Suppose -25 - f = -4*b. Is 4 a factor of b?
False
Suppose 2*f - 4*x - 16 = 0, f + 2*x + 4 = -2*x. Suppose 0 = -f*g + 3*u - 0*u + 87, -g + 27 = u. Let b = -12 + g. Does 6 divide b?
True
Is 42 a factor of (-17745)/(-84) - 3/(-4)?
False
Let d(q) = q + 6. Let y(v) = 1. Let n(g) = d(g) - 4*y(g). Let i be n(4). Let j = 16 - i. Is 10 a factor of j?
True
Let f = -7 - -5. Does 9 divide f*6/4 + 17?
False
Let g be (0 + -4)/((-2)/3). Suppose g*l = 3*l. Suppose l*q - q = -4. Is q a multiple of 2?
True
Suppose -5*g + 243 + 7 = 0. Suppose 3*j = g + 28. Does 7 d