3. Suppose 2*g = 5*m - 126, 4*g + 17 = -5*m + i. Is 13 a factor of m?
True
Let i(d) = -d**3 + 7*d**2 - d - 4. Is i(6) a multiple of 7?
False
Let n be (-14)/(-4) - (-4)/8. Let j = 158 - 89. Suppose k = 5*x - j, x + n*k - 23 = -2*x. Is 13 a factor of x?
True
Suppose 2*x - r = -2*r + 4, x = -2*r - 4. Suppose 20 = -x*z + 5*g + 223, 5*z = -5*g + 220. Does 15 divide z?
False
Let i = -252 - -418. Suppose -2*d + 3*q = -180, -i = -4*d - 5*q + 238. Suppose 4*t = t + d. Is t a multiple of 16?
True
Suppose -33*p = -32*p - 53. Is p a multiple of 19?
False
Suppose 21*y - 340 = 20*y. Does 34 divide y?
True
Suppose 4*y - 3*x = 219, -116 - 52 = -3*y + x. Let a be (y - (-2 - -1))*-1. Does 15 divide (-1)/(1*2/a)?
False
Let v(t) = 2 + 0 + 5*t + 8 - 3. Does 14 divide v(3)?
False
Suppose -5*u - 44 = -4*t + 157, -4*u = 3*t - 174. Does 8 divide t?
False
Suppose 0 = -2*u + 10, -4*v - 4*u + 5*u + 51 = 0. Suppose d - 31 = -3*m, -2*m + 0*d = -d - v. Is m a multiple of 3?
True
Let u(l) = 8*l - 4. Is u(7) a multiple of 6?
False
Let b(w) = w**3 - 9*w**2 + 8. Let s be b(9). Let y = 12 + s. Is 13 a factor of y?
False
Suppose -2*x = -17 - 33. Suppose 4*k = -4*n - 3 + 31, 0 = -5*n + 5*k + x. Let j = 5 + n. Does 10 divide j?
False
Let o = -13 + 27. Let z = o + -4. Is 6 a factor of z?
False
Suppose 11*b + 80 = 13*b. Does 5 divide b?
True
Let h = -30 + 66. Is 18 a factor of h?
True
Suppose -5*n + 27 = 4*b - 113, 3*b = 2*n - 79. Is 8 a factor of n?
True
Let z(k) = -4*k**3 - 3*k**2 - 2*k - 2. Let a be z(-2). Let v = a - 18. Is v a multiple of 4?
True
Suppose 5*r + 85 = 6*r. Suppose -8 + r = n. Is n a multiple of 20?
False
Let q(b) be the first derivative of -b**2 + 3*b + 5. Does 22 divide q(-12)?
False
Let z(d) = -3*d**3 + 3 - 3 - 4*d**2 - 3*d. Suppose -2*k = 8, 0*q + 3*k = -4*q - 20. Is 7 a factor of z(q)?
True
Suppose -3*n + 28 = m - 111, -5*m = n - 51. Is n a multiple of 23?
True
Suppose 10 = 2*o, 0 = -5*m - 9*o + 4*o + 445. Is 12 a factor of m?
True
Is 8 a factor of -3 - -5 - (-61 - 1)?
True
Let t = -1 + 6. Suppose -t*o = -14 - 1. Suppose o*y - y - 42 = 0. Does 11 divide y?
False
Let o(a) = -13*a**3 + 1. Does 2 divide o(-1)?
True
Suppose 0 = 4*x - 2*x - 48. Is x a multiple of 24?
True
Let f(w) = 3*w**2 - 5*w + 3. Is 7 a factor of f(4)?
False
Suppose 3*m = -7 + 37. Let p = m + 20. Is p a multiple of 15?
True
Let q(o) = -21*o**3 - 2*o**2 + 4*o - 2. Let f(m) = -m**3 - m**2 + m - 1. Let b(v) = -3*f(v) + q(v). Does 7 divide b(-1)?
False
Is -1 + -1 - (-10 + -204 + -5) a multiple of 31?
True
Let z(x) = x - 11. Let u be z(9). Let t = u - -2. Suppose -s + 2*c = -25, -3*s + 50 = -t*c - c. Is 12 a factor of s?
False
Let t(r) = -11*r**3 + r**2. Let o be t(-1). Suppose -o*l + 7*l + 85 = 0. Is l a multiple of 17?
True
Let u(h) be the first derivative of 3*h**4/2 - h**3/3 + 4. Is u(2) a multiple of 11?
True
Suppose -5*b + 137 + 178 = 3*j, 0 = 4*j. Is 9 a factor of b?
True
Let p(y) = -y**2 - 11*y - 6. Let v(g) = g**2 - 9. Let k be v(0). Let o be (-24)/k*3/(-2). Is 11 a factor of p(o)?
True
Let r(g) = 3*g**2 + 4*g + 6. Is r(4) a multiple of 19?
False
Suppose 0 = -v - 2*v + 12. Let i(j) = j**2 + j + 2. Is i(v) a multiple of 11?
True
Let d be (11 + -5)*(-4)/(-6). Suppose 4 + 4 = d*q. Suppose o - 23 = -4*k, -3*o = -q*k - 55 - 28. Is o a multiple of 9?
True
Let i(x) = -x**2 - 6*x. Let g be i(-6). Suppose 0 = -h - g*h. Suppose -n + h = -14. Is n a multiple of 9?
False
Suppose -2*s + 2*r + 6 = 0, 5*s + r = -9 + 36. Does 2 divide s?
False
Let w = 15 + -23. Let u = w - -24. Is u a multiple of 8?
True
Let d(s) = -s + 2. Let j be d(0). Suppose 0 = -2*m - j*m + 16. Suppose m*z + 0*z - 80 = 0. Is z a multiple of 10?
True
Let x(d) = 2*d + 3. Let z be (-4)/(-10) + (-23)/(-5). Is 12 a factor of x(z)?
False
Suppose -4*h + 479 = 5*x, 2*x - 70 = 4*h + 116. Is x a multiple of 19?
True
Let d(o) = o**3 + o**2 + o + 1. Let v(h) = -3*h**3 - 7*h**2 - 9*h - 3. Let f(z) = 4*d(z) + v(z). Is f(5) a multiple of 13?
True
Let v be -1 + -1 + -3 + 2. Let c be (-1)/v + (-3)/9. Suppose c = -2*b - 2*i + 54, -2*b + 4*i = -b - 2. Is b a multiple of 11?
True
Let i(o) = -o**2 - 16*o - 18. Let t be i(-12). Suppose -t = -m - m. Does 15 divide m?
True
Suppose 4*f - 2*h - 7 = -1, -f + 9 = -3*h. Let j = -2 + 19. Is j + (-2 - -1) + f a multiple of 10?
False
Let r(d) = -d**3 - 2*d**2 + 3*d - 4. Let z be r(-3). Let g be 1/(-2) + z/(-8). Is 8 a factor of 16 - (-2 + (g - -2))?
True
Let x(i) = i + 4. Suppose 5*s - 11 = 2*k, -k - 18 = -5*s - 5. Let w be x(s). Let g = 24 - w. Is g a multiple of 13?
False
Let a(z) = 2*z + 2. Let g be a(4). Let p = 1 + g. Is 11 a factor of p?
True
Let j(g) = -g**3 - 4*g**2 + 6*g + 2. Let h be j(-5). Let s = h + 24. Is s a multiple of 7?
True
Let j = -142 + 99. Let t = j - -68. Is t a multiple of 8?
False
Suppose 3*z - 50 = -2*p - 3*p, 4*p = z + 23. Let b = p + 16. Suppose -2*h + j + 45 = 0, 3*h + b = 4*h - j. Does 11 divide h?
True
Let t(p) = -p**3 + 8*p**2 - 6*p + 6. Is t(6) a multiple of 21?
True
Suppose -5*t + 217 = 3*v, 64 = 2*v - 3*t - 49. Does 16 divide v?
True
Suppose -o = -1, -3*z = -6*z + 5*o + 28. Let m(j) = 10 + 6 - j + 2*j + z*j**2 + j**3. Does 3 divide m(-11)?
False
Suppose 5*s - 88 = 3*r, r - 2*r = -2*s + 36. Is 9 a factor of s?
False
Suppose 3*y - 5*h = 17, -h + 25 = 5*y - 6*h. Is -4*((-42)/y - 1) a multiple of 10?
False
Let x = 10 + -4. Is 17 - 4/x*-3 a multiple of 5?
False
Does 4 divide (-133)/(-3) + (-9)/27?
True
Let g = -6 + 11. Suppose -71 = -v - v + 5*u, g*v + 3*u = 100. Is v a multiple of 16?
False
Suppose 0 = 2*d + 2 + 2. Let m be 50/(-18) - d/(-9). Let w = m - -5. Is 2 a factor of w?
True
Let l(s) = s + 9. Is 14 a factor of l(5)?
True
Suppose -2*x - 9 = -135. Suppose 3*v - x = 63. Is v a multiple of 21?
True
Suppose -4*w - w = 75. Does 15 divide 2*w*(-15)/10?
True
Suppose 1 = -5*o - 19. Let s be ((-22)/o)/(1/14). Let j = s - 41. Does 14 divide j?
False
Let k(m) = 4*m - 13. Let p be 42/4 - (-2)/(-4). Let n be k(p). Is 11 a factor of 6/27 - (-804)/n?
False
Suppose 3*n - 129 = 3*g, -g = 4*n - 117 - 50. Is n a multiple of 7?
True
Suppose -d + 0*d = -3*s + 15, 2*d = -s + 5. Suppose d*n - n + 6 = 0. Does 16 divide 1/(-6) - (-139)/n?
False
Let o = -89 - -137. Is 15 a factor of o?
False
Let b(d) = -2*d**2 + 3*d - 3. Let c be b(-3). Is (-642)/c + (-2)/5 a multiple of 11?
False
Suppose 0 = 13*v - 14*v + 28. Does 3 divide v?
False
Let b(m) = m**3 - 19*m**2 + 5*m + 1. Is b(19) a multiple of 6?
True
Let a = 0 + 2. Suppose k = -a*k + 5*s + 19, 5*s = -4*k - 33. Does 9 divide ((-18)/5)/(k/10)?
True
Let b(f) = -f + 4. Is 7 a factor of b(-6)?
False
Suppose 7 = -r + 26. Suppose 2*q + 9 = q. Let b = r + q. Is 5 a factor of b?
True
Suppose -43 = -y + 2*t, -4*y = 5*t - 87 - 59. Is 13 a factor of y?
True
Suppose 2*s = n - 5, 3*n + 7 = -2*s - 2. Let f = 4 + n. Suppose -f*d = 3 - 27. Does 3 divide d?
False
Let o(i) = 3 - 1 - 2 - 3*i. Let h be o(-2). Suppose 2*p = 2*l - 0*p, 3*p - h = 0. Is l a multiple of 2?
True
Suppose 0*f = -3*q + 5*f + 239, 5*q = -3*f + 353. Is 24 a factor of q?
False
Suppose -4 - 17 = -3*i + 4*f, -4*i - f + 9 = 0. Is 3 a factor of 8/i*30/8?
False
Let s be (-48 - 1) + 2/1. Let q = -29 - s. Is 17 a factor of q?
False
Let a = -381 - -678. Suppose -133 = -5*r + a. Suppose 0 = 5*y - 39 - r. Is y a multiple of 15?
False
Let m(h) = 2*h**3 - 5*h**2 - 4 + 5*h - 1 - 3*h**3. Let q be m(-6). Let u(k) = 17*k. Is 17 a factor of u(q)?
True
Suppose -3*t - 3 + 36 = 0. Suppose -c + 2*m = -t - 5, -3*c = -3*m - 48. Does 16 divide c?
True
Suppose -7 - 9 = 2*o. Is (o*1)/(2/(-3)) a multiple of 12?
True
Let m(r) = r**3 + 12*r**2 + 9*r - 14. Let l = 8 + -19. Is 8 a factor of m(l)?
True
Suppose u - 23 - 17 = 0. Does 27 divide u?
False
Let a = -203 - -346. Is 11 a factor of a?
True
Let a(c) be the third derivative of c**6/8 + c**5/60 - c**4/24 + c**3/6 - 2*c**2. Let s be (1/(-1))/(2 - 3). Is 16 a factor of a(s)?
True
Let m(l) = -l**3 - 6*l**2 + l + 3. Let o be m(-6). Let i be o/(-6)*(96 - 0). Suppose t = -2*t + i. Does 8 divide t?
True
Suppose 3*g = 2*a - 32, 2*a - 4*g - 30 = -2*g. Is a a multiple of 5?
False
Suppose 0 = 2*b + 2*b. Suppose l = -b*l + 62. Suppose -3 = 4*p - 11, p = -5*g + l. Is 12 a factor of g?
True
Suppose 3*u - 5 - 37 = 0. Does 14 divide u?
True
Let b = 33 + -10. Let o = b + -10. Is 7 a factor of o