m be v(f). Is 2 a factor of 5/(-25) + (-16)/m?
False
Let f be -6*(-2 - (-3)/3). Let m(l) = 3 - f - l + 2*l**2 - l**2. Does 3 divide m(3)?
True
Suppose l - 129 = -2*r, 0 = -2*l + l + 3*r + 109. Suppose 0 = 5*u + 6*d - d - 315, 2*u - l = -3*d. Is u a multiple of 10?
False
Suppose -3*n = -5*n + 92. Is 8 a factor of n?
False
Suppose 3*m = -2*m + 30. Suppose m*h = 7*h - 55. Is h a multiple of 10?
False
Let i(v) = -v**3 - 4*v**2 + v + 4. Let w be i(-4). Suppose 3*d + w*d - 9 = 0. Suppose d*o = -o + 64. Is 9 a factor of o?
False
Is (180/35)/((-6)/(-56)) a multiple of 12?
True
Suppose -3*o = -872 + 266. Is o a multiple of 18?
False
Let g(p) = p**3 + 5*p**2 - 6*p - 2. Let c be g(-6). Let y be ((-2)/(-6))/(c/(-42)). Let w = y + -2. Is 3 a factor of w?
False
Let p be 2/8 - (-46)/8. Let g(m) = -m**3 + 7*m**2 - 5*m + 9. Is g(p) a multiple of 5?
True
Let r(j) = j**3 + 3*j**2 - 5*j - 1. Let v be r(-4). Suppose -2*w + v = 3*s - 23, 2*w = 4*s - 58. Let k = 29 - s. Does 17 divide k?
True
Let f be 1/4 + (-3)/12. Suppose -4*s + 6*s + 2 = 0. Is s - f - 1 - -19 a multiple of 13?
False
Let h(p) = 42*p + 21. Is h(2) a multiple of 15?
True
Let q be -1 + 6*(-2)/(-2). Let n be 40/(-6)*9/(-2). Suppose 3*a + 2*x - n = 2*a, -5*x - 105 = -q*a. Is a a multiple of 15?
False
Let f(y) = y**3 + 8*y**2 + 6*y - 5. Is f(-5) a multiple of 8?
True
Is (-2)/5 - ((-1641)/(-5))/(-3) a multiple of 15?
False
Let l = -105 + 178. Let z be 1/(-2) + (-22)/(-4). Suppose -4*o - z*x = -l + 24, -3*x - 15 = -5*o. Is o a multiple of 6?
True
Suppose 3*s - 12 = s. Suppose -r - s*w + 49 = -4*w, 3*w + 207 = 4*r. Is 17 a factor of r?
True
Is 12 a factor of (8/10)/(14/(-70)) + 93?
False
Suppose 5 = -0*y + 5*y. Let w(r) = 2*r + r - 5 - y. Does 6 divide w(6)?
True
Suppose -3*u = -0*u - 3*h - 45, 2*u - 24 = 4*h. Suppose -5*q = 5*d + 17 + u, -q - 5 = 0. Does 7 divide (1*-12)/(d + 1)?
False
Let m = -38 + 65. Does 13 divide m?
False
Let o be (356/(-6))/(16/(-24)). Suppose 3*b = o + 7. Does 16 divide b?
True
Suppose 4*f - 52 = 48. Suppose f = 2*m - m. Does 20 divide m?
False
Suppose u + 0*o - 50 = -2*o, 2*u - 3*o - 107 = 0. Does 15 divide u?
False
Let l be -31*6 + 0/(-2). Let g = -78 - 50. Let b = g - l. Is b a multiple of 20?
False
Suppose 4*d = 6*d - 58. Let t = d - 6. Does 16 divide t?
False
Let c = -2 - -4. Suppose -c*f + 4 = -f. Suppose 3*l - 5*w = -19 + 54, -3*l - f*w = -53. Does 15 divide l?
True
Let g(z) = -2*z**3 + 3*z**2 - 4*z + 2. Let c be g(2). Let w = 25 + c. Is w a multiple of 15?
True
Suppose 0 = 2*v + 3*v + 3*f - 19, 4*f + 18 = 2*v. Is 2 a factor of v?
False
Let f = -12 - -29. Suppose -25 = -3*n + f. Does 9 divide n?
False
Suppose 0 = 3*b - 394 - 458. Suppose 3*v = -v + b. Suppose -4*w = 0, v = 4*r - w + 3. Is r a multiple of 7?
False
Let b(p) = p**3 - 5*p**2 + 7*p + 1. Let t = 5 - 0. Is b(t) a multiple of 17?
False
Let d = -79 - -98. Does 4 divide d?
False
Let v = -5 - -17. Let t = -6 + v. Let s = 20 - t. Is s a multiple of 14?
True
Let n = -4 - -4. Suppose -m - x = 2*m - 6, 2*m - 3*x - 4 = n. Suppose m*k = -3*k + 65. Is k a multiple of 5?
False
Let m = -12 - -7. Let l be ((-2 - m)*3)/(-1). Let o = l + 36. Is o a multiple of 14?
False
Let z be (16 - -2)*13/2. Suppose -7*v + z = -4*v. Does 20 divide v?
False
Suppose 32 = 5*j - 0*r + r, -26 = -3*j - 4*r. Is 15 a factor of j/8*22*2?
False
Let k(v) = 0*v**3 + 3*v**3 - 5*v**2 - 8 - 4*v**3 + 5*v. Let b be k(-6). Is 12 a factor of -2 + b + 30 + -2?
True
Let w = -7 + 3. Let o = 22 + w. Let l = -12 + o. Is l a multiple of 3?
True
Let p = -12 - -27. Is p a multiple of 5?
True
Let i = 7 + -3. Suppose -i*r - 5*b = -121, b + 81 = 3*r + 14. Is 12 a factor of r?
True
Let m be (-115)/(-25) + (-2)/(-5). Suppose m*c = -0*c + 45. Is 8 a factor of c?
False
Suppose 22*w = 241 + 397. Does 3 divide w?
False
Let d(z) = 122*z**3 + 2*z**2 - z. Is 13 a factor of d(1)?
False
Let t(g) = -g**2 - 11*g + 3. Let y be t(-6). Suppose -y = -l + 24. Is 13 a factor of l?
False
Let z(m) = 2*m**3 + 2*m**2 - m - 1. Let g(i) = -i**3 - 4*i**2 - 4*i - 1. Let o be g(-3). Is z(o) a multiple of 19?
False
Suppose f + 1 = -0. Let z(l) = -26*l. Is 13 a factor of z(f)?
True
Let m be (18/(-15))/(6/(-20)). Suppose 5*h - h = -q + 38, -m*h - 4*q + 32 = 0. Is 10 a factor of h?
True
Let g(q) = -9*q + 18. Let x be g(8). Is 18 a factor of (x/(-8))/((-12)/(-64))?
True
Let r(n) = -n**3 - 3*n**2 + 3*n - 1. Let s be r(-4). Suppose -s*h + 6 = 33. Let w(u) = u**3 + 10*u**2 + 6*u - 2. Is w(h) a multiple of 10?
False
Let v = 7 - 5. Does 5 divide (40/12)/(v/3)?
True
Suppose 0 = a - 71 + 17. Does 18 divide a?
True
Let t(u) = u**3 + 5*u**2 - u + 2. Let y be t(-5). Suppose 9 = 3*m + 3. Is y - ((2 - 6) + m) a multiple of 6?
False
Let j be 6/((-1)/(-1)*2). Suppose 3*n - 24 = -4*f, -f + 3 + j = -3*n. Is f a multiple of 6?
True
Suppose -5*k + r + 38 + 1016 = 0, -4*k - 5*r + 849 = 0. Does 24 divide k?
False
Let c be (9 - -1)/(4 + -2). Let f = 36 + -13. Suppose c*o = f - 3. Is 4 a factor of o?
True
Let k(n) = n**2 + 10*n - 35. Does 24 divide k(-18)?
False
Is 13/1*(1 + 0) a multiple of 5?
False
Suppose -2*i + 5 = 1. Let r be 2 - (-5)/(5/i). Suppose 0 = -f + 2*l + 39, 46 = f + l + r*l. Is 16 a factor of f?
False
Let s = -49 + 69. Suppose 3*w + 3*l + 2*l - 247 = 0, 5*l + s = 0. Is w a multiple of 23?
False
Let j(o) = -o**2 + 15*o + 17. Let g be j(16). Is 4*74/8*g a multiple of 14?
False
Suppose -6 = -3*i - 0*i. Suppose y + i*a - 5*a + 9 = 0, -3*a = y - 9. Suppose y = 4*h + 2*k - 54, -3 = -2*h - 5*k + 28. Is h a multiple of 11?
False
Let d = -262 - -482. Is d a multiple of 20?
True
Suppose 108 = 4*r - 4*d, r + 3*r = 3*d + 111. Is -8 + 7 + r/2 a multiple of 8?
False
Let p = 271 + -2. Is p a multiple of 11?
False
Let u(j) = j. Let c be -2 + 2/(-1) + -1. Let y(a) = 8*a + 5. Let o(l) = c*u(l) + y(l). Does 16 divide o(7)?
False
Let d = 29 + 31. Let q be (5 - -3)*2/4. Is 8 a factor of (q/5)/(3/d)?
True
Let f = 27 + -42. Let g = f - -19. Is g a multiple of 2?
True
Let c be (9*-1)/((-12)/16). Let l be c/8 - (-2)/4. Suppose -7*g + l*g = -45. Does 6 divide g?
False
Let o = 78 + -43. Is o a multiple of 5?
True
Suppose 6*a - 6 = -0*a. Suppose -31 - 21 = -5*m + 3*s, -2*s + 24 = 2*m. Is m + -3 + (-1)/a a multiple of 3?
False
Suppose -627 = 2*x - 5*x. Is x a multiple of 14?
False
Let g(s) = -6*s + 3. Let r(j) = -7*j + 4. Let q(i) = -4*g(i) + 3*r(i). Is q(4) a multiple of 7?
False
Suppose -2 = -2*p - 10. Let u = p - -13. Does 9 divide u?
True
Suppose b + 3*r - 18 = 0, -4*r - 11 + 3 = -4*b. Let l(j) = j**3 - 6*j**2 - j + 7. Let t be l(6). Is 7 a factor of 1 + -1 + t + b?
True
Let o = 8 - 5. Suppose 36 = o*b - 36. Does 24 divide b?
True
Let g = -3 - -6. Let o(i) = 4*i**2 + i**g + 0*i**3 + 5*i + 2 + 2*i**2. Is o(-3) a multiple of 14?
True
Let b = 105 + -69. Is 9 a factor of b?
True
Suppose 7*z - 4*z = 15. Suppose -z*x - 3*u + 256 = 0, 0*x + 2*x + u = 102. Does 21 divide x?
False
Suppose -3*y = 2*y - 20. Suppose -g - 3*g = q - 70, 59 = 3*g + y*q. Is 17 a factor of g?
True
Let f(k) be the first derivative of 3*k**2/2 - 8*k - 3. Does 8 divide f(8)?
True
Suppose 4*t = -4*v + 8, -3*v = 5 - 2. Suppose 5*l - 165 = t*x + x, -l = x - 24. Does 20 divide l?
False
Let z = -21 - -34. Is 9 a factor of z?
False
Let y = -5 + 6. Is 5 a factor of 12*(1 + 1 - y)?
False
Let z = 111 - 78. Let g(d) = -d**2 + 9*d - 3. Let i be g(5). Let n = z - i. Does 8 divide n?
True
Let y(u) be the second derivative of 3*u**3/2 + u**2/2 + u. Let k be -4*2/(-4) + 1. Does 14 divide y(k)?
True
Suppose -6*f + 199 + 65 = 0. Is 11 a factor of f?
True
Suppose 2*m = -2*m + 8. Let s be (8/(-6))/(m/(-6)). Suppose h + s = 39. Is 14 a factor of h?
False
Is (1599/(-26))/(1/(-6)) a multiple of 41?
True
Let r(s) = 5 + s**2 - 2*s**2 + 2*s**2. Let o be (-12)/(-9)*(-6)/(-2). Is r(o) a multiple of 10?
False
Let h(i) = -7*i - 6. Let d(t) = -6*t - 5. Let u(z) = 4*d(z) - 3*h(z). Let s be u(-4). Let m(b) = b**2 - 6*b - 14. Is m(s) a multiple of 23?
False
Suppose 0 = -9*r + 13*r - 68. Is r - (3 - 0)/(-1) a multiple of 10?
True
Let a = 77 - 183. Is (-1)/4 + a/(-8) a multiple of 13?
True
Does 21 divide -2 + (-134)/(-6) - 22/(-33)?
True
Suppose -x - 15 = -36. Is x a multiple of 11?
False
Let l(j) be the second derivative of j**4/6 - 4*j**3/3 - j**2 + j. Does 20 divide l(7)?
True
Let t(l) be the third 