2 - 5*v - 5. Let w be 2 + -3 + (0 - -1). Suppose w = f + 1 - 7. Does 18 divide x(f)?
False
Let u = -5 - -15. Is 10 a factor of u?
True
Suppose -35 - 5 = -4*x. Let t(g) = -3*g**2 + 11 + 2*g**2 - 2 + 10*g. Does 9 divide t(x)?
True
Suppose -4*n + 3*j = 5*j - 186, 3*j - 59 = -n. Suppose -4*m + n + 12 = 0. Is 4 a factor of m?
False
Let y be 671/4 - 4/(-16). Suppose 4*g - 153 = -c, 2*g + 4*c = -2*g + y. Is g a multiple of 15?
False
Suppose 2*t + 125 = 3*c, 5 - 1 = -4*t. Does 41 divide c?
True
Let x(g) = -g**2 + g + 1. Let l(o) = -7*o**2 + 12*o - 1. Let s(v) = -v**3 + v**2 + 2*v - 1. Let k be s(2). Let b(u) = k*l(u) + 6*x(u). Does 2 divide b(5)?
True
Let n(q) be the first derivative of q**4/4 - 2*q**3 + 5*q**2/2 - 2*q - 4. Does 16 divide n(6)?
False
Let z be (-128)/22 - 14/77. Suppose 3 = v + 4. Let j = v - z. Is j a multiple of 5?
True
Suppose -u = -106 - 18. Let b = -60 + u. Suppose x - 5*w = 22, b + 20 = 5*x + w. Is 7 a factor of x?
False
Suppose 4*n - 42 = 50. Does 23 divide n?
True
Is 4 a factor of (17/(-2))/((-7)/14)?
False
Suppose -3*r - 3*u + 918 = 0, 3*r - 4*u - 624 = r. Is 22 a factor of r?
True
Let s be ((-4)/(-10))/(5/75). Suppose s*v - 230 = v. Is 23 a factor of v?
True
Let t(z) be the second derivative of z**4/12 - 5*z**3/6 + z**2/2 + z. Is t(6) a multiple of 7?
True
Let q be 1 + -1 + 3*1. Suppose 3*k + 32 = 5*l, 2*l - 3*k - 8 = q*l. Is 3 a factor of l?
False
Let i(k) = k**3 - 5*k**2 - 7*k + 6. Let n be i(6). Let s be 2*((-14)/4 - n). Let w = -2 - s. Is w a multiple of 4?
False
Let y(n) = n**3 - 5*n**2 + 3*n - 5. Let d be y(4). Suppose 4*o = o + 60. Let q = d + o. Does 11 divide q?
True
Is 36/(-2)*(-35)/10 a multiple of 21?
True
Let f(m) = -m**3 - 13*m**2 - 5. Let z be f(-13). Does 16 divide 56 + z/((-5)/3)?
False
Let u(h) = -64*h - 1. Let x be u(-1). Let q be (2/3)/(7/x). Suppose -q*p + 40 = -p. Is p a multiple of 5?
False
Suppose 1 + 3 = w. Suppose 2*k = 16 - w. Does 6 divide k?
True
Suppose -5*r - 4*x + 88 = 0, 5*r = 3*r + 4*x + 24. Does 16 divide r?
True
Suppose 2*h + 4*m + 4 = 0, -2*m + 3*m = -3. Suppose 2*d + 2*p - 62 = -0*d, -3*p + 119 = h*d. Is d a multiple of 20?
False
Let d(h) = 8*h**2 + 1. Let z be d(1). Is 31 a factor of ((-190)/(-6))/(z/27)?
False
Suppose 4*f - 167 = 57. Is f a multiple of 14?
True
Let i(x) = x**2 + x - 7. Is 9 a factor of i(-5)?
False
Let m(w) = w**3 - 4*w**2 + 2*w + 4. Let q be m(3). Let t be 0*q/(4/(-2)). Suppose 5*s - 165 = -5*j, -4*s + 3*j + 167 = -t*j. Is 13 a factor of s?
False
Suppose 2*x + 3*n = -2*n - 19, 0 = -x - 4*n - 17. Suppose 3*q = -x*b, 4*q = -0 - 8. Suppose -13 = r + 4*d, -3*d - 19 = -2*r - b*d. Is 3 a factor of r?
False
Suppose 0 = h + 2*h - 177. Suppose l - 3*l = -5*a + 385, -a + h = -4*l. Is 20 a factor of a?
False
Let f(o) = -o**3 - 8*o**2 - 8*o + 3. Does 5 divide f(-7)?
True
Let i be (6 + -7)/(2/(-12)). Let x = -4 + i. Is 12 a factor of ((-8)/10)/(x/(-40))?
False
Suppose x + 5*w + 12 = 55, 4*w = 0. Let o = -7 + x. Is o a multiple of 18?
True
Suppose -3 = -t - 1. Suppose t*x - x - 3 = 0. Suppose -2*b = -2*l - 18, x*b - 19 = 4*l + 7. Is b a multiple of 10?
True
Suppose a - 5 - 50 = 0. Let x = 77 - a. Is x a multiple of 11?
True
Let g = 9 - -11. Suppose m - 4 = 0, -3*f + 5*m = -20 - g. Is f a multiple of 5?
True
Let i(f) = -f**2 - 9*f + 4. Does 3 divide i(-8)?
True
Suppose 5*j = 2*j + 156. Does 13 divide j?
True
Suppose -4 + 2 = 2*q + 2*i, 5*i + 15 = 0. Does 2 divide q?
True
Suppose -3*c - 4 = 5. Let a = c + 6. Suppose 0 = a*l - 151 + 43. Is l a multiple of 10?
False
Let m(t) = -t + 4. Let s be m(-8). Suppose 2*h + s = a - 1, 5*h + 15 = 0. Is 3 a factor of a?
False
Let s(t) be the first derivative of t**2 - 6*t + 1. Let z be s(5). Suppose -g + 5*g = 2*l - 22, -31 = -z*l - 5*g. Is 6 a factor of l?
False
Let o be 1/((-49)/(-24) - 2). Suppose -28 = 2*b - 7*b - 2*f, -4*b - 2*f = -o. Suppose -40 + 16 = -b*w. Does 6 divide w?
True
Let c(l) = -l. Let x(j) = -j**3 + 7*j**2 + j - 5. Let v be x(7). Let b be c(v). Is 7 a factor of (b - -2) + 0 + 8?
False
Let r = -89 + 304. Is r a multiple of 28?
False
Let x(l) = -8*l - l**2 + 2*l**2 - 18 - 9*l + 6*l. Is x(14) a multiple of 12?
True
Suppose 455 = 3*t - 2*j, -606 = -4*t - 9*j + 12*j. Is t a multiple of 9?
True
Let p = -15 + 35. Does 5 divide p?
True
Let u(g) = -20*g**3 - g**2 + g + 4. Let z be u(-2). Let v = 221 - z. Is 18 a factor of v?
False
Let s be -1 + 0 + (-7 - -164). Let o = 4 - 1. Suppose -4*t = -o*p + 117, p + 3*p = t + s. Is 21 a factor of p?
False
Suppose 2*f = -3*f - 40. Let q(l) = -2*l - 2. Does 14 divide q(f)?
True
Let a = 17 + -5. Is a a multiple of 9?
False
Suppose 4*o + 5*j - 385 = 0, o + 4*j = -43 + 153. Is 15 a factor of o?
True
Let s(k) = 4*k + 14*k + 3 - 4. Let i be s(-1). Let x = i + 33. Is x a multiple of 6?
False
Let a(k) = -k - 3*k - 8*k + 3*k - 9. Is a(-4) a multiple of 21?
False
Let h be -17*(2 - 3)*-2. Let m = 58 + h. Does 12 divide m?
True
Suppose -2*i + 37 = -3*w - 9, -i + 2*w + 22 = 0. Let r = -38 + i. Does 9 divide r*(1 - 0)*-2?
False
Let t = -9 + -18. Let v = t + 19. Is 6 a factor of 63/(-14)*v/3?
True
Suppose -m + 420 = 4*m. Is 17 a factor of m?
False
Let l be (-2)/5*(-10 - 0). Is 6 a factor of 169/9 + l/18?
False
Let j(b) = 9*b**2 + 4*b + 5. Let k be j(4). Suppose 0*i = -5*i + k. Is i a multiple of 14?
False
Let u = -91 - -129. Does 10 divide u?
False
Let r(x) be the second derivative of x**3/6 + 5*x**2/2 - x. Let y be r(-5). Suppose h - 34 = -2*c, -c + 26 = -y*c - 4*h. Does 9 divide c?
True
Let d = -44 + 83. Is (2 + d/(-4))*-4 a multiple of 11?
False
Suppose 3*j = 2*j + 5. Suppose -5*r - 4*n = -55 - 20, -4*n = -j*r + 35. Is r a multiple of 5?
False
Suppose -4*k + p = -1399, 4*k - 5*p - 1220 = 175. Is k a multiple of 44?
False
Is 3*(-16)/6*-1 a multiple of 8?
True
Let j(a) = 5*a**3 + 4*a**2 - 21*a + 10. Let n(o) = -o**3 - o**2 + 4*o - 2. Let g(w) = -2*j(w) - 11*n(w). Let f be g(-3). Suppose f = z + 3. Is 3 a factor of z?
False
Suppose d = -2*d - 27. Let j be ((-24)/d)/((-4)/(-6)). Suppose 2*v - 5 = 3*r - j*r, 5*r - 53 = 4*v. Is r a multiple of 3?
True
Let c(d) = d**3 - 16*d**2 - 15*d + 1. Is c(17) a multiple of 6?
False
Let z(s) = -s**3 + 5*s**2 - 4*s - 2. Let j be z(4). Let d = 23 - j. Is d a multiple of 10?
False
Suppose -i = 4*w - 268, 2*w + 3*i + 42 = 176. Is w a multiple of 7?
False
Does 29 divide -4*(182/(-8) - -1)?
True
Let g(n) be the third derivative of n**5/60 + n**4/24 - 5*n**3/6 - 2*n**2. Let f be g(-7). Suppose 2*w - b - 28 = f, 25 = -5*b. Is 15 a factor of w?
True
Suppose -5*p + 754 = 21*p. Is 2 a factor of p?
False
Suppose -524 = -5*k + 4*v, -5*k - v + 520 = -6*v. Is 36 a factor of k?
True
Let x = -12 + 6. Is (-4)/(4 - (-27)/x) a multiple of 8?
True
Let k(b) be the third derivative of -b**5/60 - b**4/4 - 2*b**3/3 + 5*b**2. Does 2 divide k(-4)?
True
Let u = 1 + 1. Suppose -s - 14 = -u. Does 3 divide 2/(-8) + (-75)/s?
True
Let u(h) = -h. Let n(z) = -6*z + 11. Let c(x) = n(x) - 5*u(x). Suppose -4*w - 4*y = -32, 2*y - 1 - 1 = 0. Is c(w) a multiple of 2?
True
Let t(d) = -3*d**3 + 10*d**2 - 4*d - 8. Let x(w) = 4*w**3 - 11*w**2 + 5*w + 7. Let k(b) = 5*t(b) + 4*x(b). Does 13 divide k(-5)?
True
Let z = 57 + 14. Let u = z - 11. Is u a multiple of 22?
False
Let g(c) = c. Let t be g(1). Does 5 divide -15*t*(-3)/9?
True
Let q(r) be the third derivative of -r**6/60 - 7*r**5/60 - r**4/4 - r**3 + 2*r**2. Does 17 divide q(-4)?
True
Let a(j) = j**3 + j**2 + j + 4. Let i be a(0). Suppose g - 2 = 0, -u + i*g = -6*u + 228. Suppose -4*c = -16 - u. Is c a multiple of 15?
True
Let z = -9 + 9. Suppose -3*y + 13 + 17 = z. Is 5 a factor of y?
True
Suppose -l - l = 2*h + 8, -8 = h + 2*l. Let o(c) = c + 7 + 7 - 5. Is 9 a factor of o(h)?
True
Suppose 3*f - 30 = -2*x - 0*f, -76 = -4*x + 2*f. Does 4 divide x?
False
Let j = 25 - -55. Is 8 a factor of j?
True
Let c(i) = 2*i**2 - 6*i + 3. Is 7 a factor of c(5)?
False
Suppose 2 = -s - 0. Let y = s - -6. Suppose y*m = 5*a + 60, 0 = a + 1 - 5. Is 20 a factor of m?
True
Suppose -5*p + 1235 - 455 = 0. Is 32 a factor of p?
False
Let w = 19 - 13. Does 16 divide (w - 0)/((-21)/(-154))?
False
Suppose 0*x = -x + 3*g - 142, g + 406 = -3*x. Suppose -5*q = -2*d - d + 18, 4*q = 2*d - 14. Does 12 divide d/(-5) - x/5?
False
Let x be (-13)/(-4) - 3/12. Suppose 2*a + 0*z - 2*z - 102 = 0, 135 = x*a 