3. Is 11 a factor of o(0)?
False
Let g(u) = u + 6. Let o be g(-3). Suppose o*z - 82 + 34 = 3*i, -2*i - 70 = -4*z. Is 19 a factor of z?
True
Suppose z - 14 = -44. Is 5 a factor of (-45)/z - (-7)/2?
True
Let z(w) = 2*w**2 + 7*w - 4. Let l be z(-8). Does 17 divide ((-6)/4)/((-3)/l)?
True
Let w = 18 + -13. Suppose -y + 0 = 2, -5*y = w*g - 30. Let p(r) = -r**3 + 7*r**2 + 10*r - 12. Is p(g) even?
True
Let m = -5 - -7. Is ((-7)/m)/(2/(-12)) a multiple of 21?
True
Suppose -3*w - 3 = 0, 0*w - 5 = -2*h - 3*w. Suppose 2*i = -5*m + 101 + 30, h*m + 3*i = 102. Is 13 a factor of m?
False
Suppose 5*h - 16 = 39. Suppose h = 3*l - 292. Suppose 4*a + 33 = l. Is 7 a factor of a?
False
Let z = -5 - 3. Let j(f) = -f**3 - 9*f**2 - 8*f + 8. Does 4 divide j(z)?
True
Let x(m) = -m + 6. Let r be x(6). Suppose r*s = -5*s + 65. Is 13 a factor of s?
True
Suppose 0*y = -y - f + 31, -3*f = -4*y + 96. Suppose 3*j - 3*p + y = 0, 0*j - 3*p - 21 = j. Let b = 25 + j. Is 11 a factor of b?
False
Suppose 0 = i + p - 12, -4*p - 30 = -i + p. Does 8 divide i?
False
Let z = 60 + -3. Does 8 divide z/2 - (-6)/(-4)?
False
Let a be (-8)/36 + (-94)/(-18). Let u be 6/(-9) - a/(-3). Does 15 divide 31 + 0 + (u - 0)?
False
Let b(h) = 2*h**2 + 2*h - 3. Is 9 a factor of b(2)?
True
Let c(s) = s**2 - 6*s + 7. Is 3 a factor of c(6)?
False
Let a = 169 - 81. Is a a multiple of 23?
False
Does 25 divide (695/(-10))/(3/(-12)) - 3?
True
Let k(z) = -z + 11. Suppose 34 = 4*y + n, -3*y - 3*n = -6*y + 33. Let x be k(y). Does 2 divide (-2 - (x - 2))*-2?
True
Let o = -38 - -63. Does 25 divide o?
True
Let d(g) = -6*g**3 + 6*g + 9. Let n(m) = 5*m**3 - 5*m - 8. Let q(i) = -6*d(i) - 7*n(i). Let r be (-1)/(-4) - (-70)/40. Does 6 divide q(r)?
False
Suppose 2*j + 422 = 2*b - 0*b, b + 5*j = 187. Suppose -4*s + b = -s. Suppose -3*m + s = -21. Is m a multiple of 10?
True
Let r(x) be the third derivative of x**5/15 - x**4/24 + x**2. Does 7 divide r(2)?
True
Let x = -6 + 6. Suppose 4*m - 30 - 2 = x. Let k = m + -1. Is k a multiple of 3?
False
Suppose 0 = -t - 4*b + 8, 0*b - 3*b = 2*t - 6. Suppose t = 2*c - 5 - 19. Is c a multiple of 4?
True
Is 25 a factor of ((-110)/(-10))/((-42)/22 - -2)?
False
Is (36/30)/(2/(120/9)) even?
True
Suppose m = 3*m - 6. Suppose m*j - 2*j - 19 = l, -3*l + 41 = 4*j. Is j a multiple of 10?
False
Suppose 2*o - 9 - 3 = 0. Does 3 divide o?
True
Let t(s) = 29*s**2 - 2 - 8*s**2 + 1 + 2. Let i be t(-1). Let l = 50 - i. Is l a multiple of 14?
True
Is 130/4*(-8)/(-10) a multiple of 13?
True
Let i = 81 - -7. Is 22 a factor of i?
True
Suppose -2*q = 10 - 120. Is q a multiple of 15?
False
Let f(g) = 2*g**2 - 9*g + 2. Let q = 2 + 4. Is 10 a factor of f(q)?
True
Let s = -109 + 76. Let j = -18 - -12. Let u = j - s. Does 7 divide u?
False
Let m be 1*3/((-6)/(-4)). Suppose -4*q + m = -10. Suppose -3*i + 12 + 57 = 5*y, -q*i - 6 = 0. Is 9 a factor of y?
False
Let n = -30 - -74. Suppose 2*t + 0*t = n. Let z = -7 + t. Is z a multiple of 7?
False
Let y = -160 + 296. Is 18 a factor of y?
False
Suppose -f + 6*f = 320. Suppose -4*a + f = x, -2*a + 4*a + 5*x - 14 = 0. Is a a multiple of 7?
False
Let u = -14 + -3. Let l = u + 40. Does 16 divide l?
False
Let o be 3/2 + (-4)/(-8). Let x = o - 0. Suppose -3*l + 103 = -x*v, -6*l + 3*v = -3*l - 99. Is l a multiple of 13?
False
Does 12 divide (-18)/(3/4*-2)?
True
Suppose -2*c - 3*a + 3 = -6, 9 = -2*c + 3*a. Suppose g - 136 = -c*g. Suppose 0 = 2*t - 6*t + g. Is t a multiple of 17?
True
Let h = -18 - -33. Does 3 divide h?
True
Suppose -s + r + 14 = -21, 4*s - 141 = 3*r. Is s a multiple of 26?
False
Let r = -16 + 67. Does 6 divide r?
False
Suppose q - 84 = -2*q - 4*m, -2*q - 3*m + 57 = 0. Suppose -t - q = -4*t. Is t a multiple of 8?
True
Suppose -4*l + 156 = -416. Is 13 a factor of l?
True
Suppose 5*l = -4*t + 74, 5*l + 21 = t - 10. Suppose -5*x + 5*q = -140, -4*x = -5*q - 136 + t. Is x a multiple of 22?
False
Suppose 2*y = -3*w + 349, -4*w - 5*y + 0*y = -470. Is 23 a factor of w?
True
Let i(s) = s**3 - 5. Let f be i(0). Let n be 3/(((-30)/16)/f). Suppose 4*p + 2*m = 138, -4*p + n*p - 141 = -m. Does 18 divide p?
True
Suppose 0 = -3*y - 3*p + 609, 4*y = 2*p + 3*p + 803. Is 42 a factor of y?
False
Does 2 divide (0 + -1)/(1/(-3))?
False
Let r(v) = -v**2 - 13*v + 32. Does 2 divide r(-15)?
True
Suppose -4*u + 1120 = 160. Is 12 a factor of u?
True
Suppose -4*n + 23 + 41 = 0. Is n a multiple of 6?
False
Let c(a) be the third derivative of -a**5/60 + 11*a**4/24 + a**3/3 + 3*a**2. Is c(10) a multiple of 6?
True
Let i(x) = -x**2 + 9*x - 7. Is i(6) a multiple of 4?
False
Suppose 3*s = 2*f + 3, f + 1 = -4*s + 5. Let r(z) = -z**2 - z. Let o be r(f). Let x = o - -16. Does 16 divide x?
True
Let t = -50 - -84. Suppose -2*b - 4*f = -56, 3*f = -b + 7*f + t. Is 17 a factor of b?
False
Let o be -23*1 + 2 + -1. Let m = -15 - o. Let b(v) = v + 9. Does 16 divide b(m)?
True
Let u be -1*(27*2 + -2). Let f = 74 + u. Is 22 a factor of f?
True
Let w = 0 + 2. Let r be 2 + (3 - 4)/(-1). Suppose -5*k - u + 10 = r*u, 4*k - 14 = -w*u. Is 5 a factor of k?
False
Suppose 0*u - 3*u + 18 = 0. Suppose k - u*k + 20 = 0. Suppose -k*p - 165 = -9*p. Is p a multiple of 10?
False
Let l be 5*(0 + 8/10). Suppose 3*n = 4*b - l, -5*b - 2*n + 36 = 2*n. Is 4 a factor of b?
True
Suppose -5*y - 15 = 0, -8*d - 5*y + 1560 = -3*d. Does 45 divide d?
True
Let x(s) = -s**3 - 3*s**2 - s + 1. Let b(c) = -c + 1. Let d be b(5). Does 7 divide x(d)?
True
Let y = 85 + -56. Let g = -37 + 20. Let v = y + g. Is 11 a factor of v?
False
Suppose -5*f + 2*z + 190 = 0, -6*z - 200 = -5*f - 2*z. Does 33 divide f?
False
Let j = 152 - 98. Is 6 a factor of j?
True
Let i be (-1)/(-1 + 3 + -3). Is 17 a factor of i/((4/23)/4)?
False
Let k = -10 - -20. Suppose -w - w - 6 = 4*l, -2*w + k = -4*l. Let f(s) = -16*s + 2. Does 17 divide f(l)?
True
Let r be (16/(-10))/((-2)/5). Is 8 a factor of ((-6)/r)/(3/(-36))?
False
Let p = -60 + 64. Does 4 divide p?
True
Suppose -5*y + 10 = 4*u, u - 4 = -4*y + 4. Let w(b) = -6*b + b**2 + 0*b + y*b**2 + 2*b. Is w(-3) a multiple of 17?
False
Suppose -3*h - 2*s = -160, -s - 110 = -2*h + s. Does 18 divide h?
True
Suppose -186 - 122 = 3*a - 4*j, 0 = -j - 1. Is ((-3)/(-6))/((-1)/a) a multiple of 26?
True
Let x(v) = -v**3 + 10*v**2 - 4*v + 14. Does 17 divide x(9)?
False
Let v = 62 - 42. Is 4 a factor of v?
True
Suppose 2*y + 3*y - c = 24, -y - 2*c - 4 = 0. Let d = y + 0. Is d even?
True
Suppose 0 = o - 8 + 26. Let p = o - -3. Let g = 28 + p. Is 13 a factor of g?
True
Suppose 2*f = 22 + 22. Is f a multiple of 3?
False
Let m = 11 - -11. Does 11 divide m?
True
Suppose l - 12 = -6. Suppose 20 = -o + l*o. Suppose o = 3*q - 62. Is q a multiple of 9?
False
Let y = -5 + 9. Let x = y + -4. Suppose 5*a - 220 - 25 = x. Is 18 a factor of a?
False
Suppose -371 = -4*j + 37. Is 17 a factor of j?
True
Let p(o) = o + 1. Let l be p(3). Suppose 4*g - l = -0*g. Suppose 3*c + 5*i - 2 = -g, -5*c + 55 = -5*i. Is 5 a factor of c?
False
Let d = -58 + 118. Suppose -3*v = -0*v - d. Does 10 divide v?
True
Suppose -5*v + 59 + 16 = 0. Does 15 divide v?
True
Suppose -2*c + 8 = -x + 2, x = -3*c + 9. Let f = c + -3. Suppose 3*l + 17 - 56 = f. Does 5 divide l?
False
Suppose 40 = 3*k + 4*x + x, 0 = -2*k - 2*x + 20. Suppose -4*y - 2*r = -k*r - 220, y - 5*r = 72. Is y a multiple of 26?
True
Let s be (-5)/((-15)/36)*-1. Let u = s + 25. Is 9 a factor of u?
False
Is (-10)/(-15)*348/4 a multiple of 29?
True
Suppose 0 = 4*f + 56 - 1028. Is 12 a factor of (f/(-18))/((-3)/8)?
True
Let p be -1*1/((-1)/2). Suppose -p*l = -1 + 9. Let u(v) = -v**3 - v**2 + v - 3. Is u(l) a multiple of 14?
False
Let w(o) = 2*o**2 + 19*o + 12. Is w(-14) a multiple of 31?
False
Let p be -11*((-3 - -2) + -1). Let l(c) = c + 2. Let f be l(1). Suppose h + 4*z - p = 0, -2*z + 6 = -f*h + h. Does 2 divide h?
True
Let n be (0 - -2)/(8/36). Is 3 a factor of 38/n - 6/27?
False
Let i be 48/5 - (-4)/10. Let c be (-36)/10 + (-2)/5. Is 36/10 - c/i a multiple of 4?
True
Suppose 23 = 5*g + 63. Let d be g/(-28) + 766/14. Suppose 3*i = l - 2*l + d, -2*i - 2*l + 34 = 0. Is 5 a factor of i?
False
Suppose 2*w + 3 + 1 = 2*m, 0 = -3*m - 3*w + 30. Is 3 a factor of m?
True
Let t be 0/3 + 0/2. Let x = 4 - t. Suppose -x*c + 107 = 3*z, 2*z + 25 = 3*z + 4*c. Does 18 divide z?
False
Let u(q) = -q**3 - 2*q**2 + 7*q + 5. Let t be 