 8*v - 20 = 3*v - 5*f. Let o(n) = -n**3 + 8*n**2 + 4*n - 8. Is o(v) a multiple of 24?
True
Suppose 4*o = -118 + 462. Does 14 divide o?
False
Let d(v) = -v**3 + 8*v**2 + 2*v - 5. Suppose b - 6*b = -40. Does 5 divide d(b)?
False
Suppose -2*r - 86 = -4*c, 6*c - 5*c = 3*r + 19. Is 11 a factor of c?
True
Let g = 6 - 5. Let b(m) = -2 + 1 + 2*m**2 + 2. Is b(g) a multiple of 3?
True
Suppose -12 = -m + 3*k, -5*m + 0*k = -4*k - 27. Suppose 0 = 4*d - 3*c + 171 - 506, -m*c - 252 = -3*d. Is 30 a factor of d?
False
Suppose -3*v = w + 28, w + 0*v = -5*v - 32. Does 8 divide 12/(-3) - (w + 2)?
True
Let h(d) = 3*d - 6. Let a = 13 - 9. Let y be 285/55 - a/22. Does 7 divide h(y)?
False
Let k = 45 + -24. Is k even?
False
Suppose 51 = -3*c + 183. Does 33 divide c?
False
Let u(r) = r**3 + 18*r**2 + 25*r + 12. Is u(-16) a multiple of 31?
True
Let p(q) = -14*q - 18. Is 40 a factor of p(-7)?
True
Suppose 0*x - 4*x + 284 = 0. Is 11 a factor of x?
False
Suppose 5*m + 110 = 265. Is m a multiple of 2?
False
Let a = -14 - -11. Is -1 + ((-132)/a - -1) a multiple of 9?
False
Suppose -12*o + 8*o + 96 = 0. Is o a multiple of 8?
True
Let z = 21 - -10. Does 6 divide z?
False
Let d(m) = m + 5. Let j be d(0). Suppose 4*u + j*k = 203, 91 = 2*u - 3*k + 2*k. Does 22 divide u?
False
Let a(h) = h**3 - 3*h**2 + h. Let x be a(4). Suppose 2*n - x = -3*n. Suppose -w - 36 = -n*w. Does 6 divide w?
True
Suppose 0 = -a + 5 + 11. Is 11 a factor of 10/(a/12 + -1)?
False
Suppose -2*h = -11 - 39. Suppose -5*y + f + 22 = 0, -2*f = 4*y - y - 8. Suppose -y*o = -15 - h. Does 5 divide o?
True
Suppose -2*b = -11 - 1. Suppose -2*t - 4*i - b = -t, 4*i = -2*t + 4. Does 7 divide t?
False
Let k(a) = a**3 + 8. Suppose -3*f = -5*f. Is k(f) a multiple of 8?
True
Let t(b) = 5*b - 7. Let u be t(6). Let l(a) = a**3 + 7*a**2 - 7*a + 10. Let f be l(-8). Is (-1)/f - u/(-2) a multiple of 11?
True
Let u(c) = -3*c**3 - 2*c**2 + c - 1. Let i be u(-2). Suppose 2*y = g - i, g - 5*g + y = -59. Does 4 divide ((-10)/g)/(1/(-12))?
True
Let k(o) = -o**3 - 4*o**2 + 4*o - 8. Is k(-6) a multiple of 10?
True
Let q(b) = 4*b**2 + 14*b + 6. Is q(-6) a multiple of 12?
False
Let p(z) = -z + 8. Let l be p(8). Let k be (-2 - l)/((-4)/(-54)). Let n = 57 + k. Is 14 a factor of n?
False
Suppose 2*b - 8 = -2, -4*f = -b - 1. Let n = 2 - f. Is ((-2)/(-4))/(n/28) a multiple of 7?
True
Does 16 divide 3*-1*194/(-6)?
False
Let g = 9 + -6. Let a = g - 6. Does 10 divide (0 - a/9)*30?
True
Suppose -h = -4*u - 46, -4*h + 2*u - 23 = -151. Is 10 a factor of h?
True
Let y be (-222)/(-5) + 2/(-5). Suppose -4*k + 108 = b, 5*k - 2*b = 3*k + y. Does 13 divide k?
True
Let s(i) be the third derivative of 5*i**4/24 + i**3 + 3*i**2. Let x be s(7). Let c = x - 21. Is c a multiple of 7?
False
Let l = -76 + 116. Is l a multiple of 10?
True
Let c(i) be the first derivative of -7*i**4/4 + i**2/2 + 1. Let z be c(-1). Let r(g) = g**2 - g + 4. Is r(z) a multiple of 17?
True
Let r be 17/(1/3*3). Let m be 2/(r/(-5) + 3). Let l = 8 + m. Is 3 a factor of l?
True
Suppose -2*a - 2*a = -112. Suppose 5*b - 12 = a. Is (-1 - -2) + b + -1 a multiple of 8?
True
Suppose -33 = -5*c - 8. Let j = 7 - c. Suppose 0*k - 15 = -k + i, j*i = 4*k - 58. Is k a multiple of 6?
False
Suppose 4*f = 2*p + 4, 5 = f - 2*p + 4. Let o(r) = 33*r**2 + r. Is 17 a factor of o(f)?
True
Let c(o) = -9*o - 4. Let f be c(-10). Is (-6)/(-4)*f/3 a multiple of 11?
False
Suppose -2*h + 0*h + 60 = 0. Is 5 a factor of h?
True
Let z = -9 + 14. Suppose z*n = q + 128, 2*n - 63 = -n - 4*q. Is 7 a factor of n?
False
Let d(g) = g**2 + g + 35. Is d(6) a multiple of 11?
True
Let h be ((-15)/(-4))/(5/20). Let f = h + 38. Is f a multiple of 8?
False
Let f(w) = w**2 + w + 1. Let u(k) = -2*k**2 + 9*k + 2. Let x(d) = -f(d) - u(d). Is x(11) a multiple of 4?
True
Let f(g) = -g**3 + 10*g**2 + 29*g - 8. Is f(12) a multiple of 4?
True
Does 15 divide -5 + 2 + 1*77?
False
Let x(z) = z**2 - 5*z + 12. Is x(-6) a multiple of 26?
True
Suppose 2*s = -s + 3. Let l = s - -2. Suppose -l*y + 25 = b - y, -3*y - 36 = -2*b. Is b a multiple of 7?
True
Suppose -2*w + 172 = 5*l, w + 2 - 82 = -4*l. Suppose n = -3*n - w. Let v = 40 + n. Does 16 divide v?
True
Let x(o) = -o**3 + 3*o**2 - 2. Let g be x(3). Is (-3)/(-6)*(30 + g) a multiple of 14?
True
Let a(u) = -u**3 - 2*u**2 - u + 1. Let o be a(-2). Let z = o + -5. Let n = z + 17. Does 11 divide n?
False
Is 832/12 - (-2)/3 a multiple of 14?
True
Let i = -87 - -410. Suppose 20 = r - 6*r, 2*r = 5*k - i. Is 21 a factor of k?
True
Suppose -3*m + 90 = 2*v, -2*m + 29 = -4*v - 31. Does 10 divide m?
True
Let d = -20 - -217. Suppose 2*j + 3*h - d = -2*j, 199 = 4*j + h. Is 10 a factor of j?
True
Suppose 3*n - 9 = -n + r, -4*r = -4*n. Is 18 a factor of n/2*1*12?
True
Let k = 0 + 53. Is k a multiple of 8?
False
Suppose 0 = -2*n + n. Let a be 6/(n + (3 - 1)). Suppose a*f - 26 = -2*f - 4*k, k + 2 = 3*f. Does 2 divide f?
True
Suppose 40 = -0*t + t. Does 14 divide t?
False
Let i be 12 - (-1 - (3 - 3)). Suppose s - i = 12. Does 25 divide s?
True
Suppose 2*k = 0, -4*q + 27 = -4*k + 123. Let g = q + 42. Does 7 divide g?
False
Let x = -160 + 280. Is x a multiple of 24?
True
Suppose -2*j = -3*j + 4. Suppose -j*n = -5*w - 358, -4*n - n + 443 = -4*w. Suppose n = 5*q - 28. Is q a multiple of 14?
False
Let g = 0 - -1. Let b be g*3 + (-14)/(-2). Let o = 18 - b. Is 8 a factor of o?
True
Let n be -1 + -1 + 1 + -104. Let y be (-2 - 0)/6*n. Let a = y - 21. Is 14 a factor of a?
True
Let t(y) be the third derivative of y**4/12 + y**3/3 + 2*y**2. Let i be t(-2). Let j = 13 + i. Does 5 divide j?
False
Let n(m) = m**2 + 9*m. Let d be n(-9). Suppose -122 = 5*x - 2*h - 476, x + 5*h - 60 = d. Is x a multiple of 14?
True
Let b = 58 - 31. Suppose -4*j - b = -r - 5*j, 23 = r + 2*j. Does 18 divide r?
False
Let a(u) = u**3 + 4*u**2 + u + 3. Let j be a(-5). Let y = 42 + j. Is y a multiple of 7?
False
Suppose 0 = -3*w - 0*w + 6. Suppose -3*m + 3 = -w*m. Suppose 2*k + m*k = -2*b - 5, -2*k - 10 = 0. Is b a multiple of 6?
False
Let p = 123 + -78. Let f(r) = -4*r + p + 3*r + 2*r. Does 15 divide f(0)?
True
Suppose 0*i + 9 = 3*i. Suppose -3*q - i + 28 = 5*c, -c + 5 = -2*q. Suppose -m = -15 - c. Is m a multiple of 10?
True
Let j(i) = -68*i + 11. Let h be j(-8). Let z be (-6)/8 - h/(-20). Suppose -5*q + z = 3*p - 38, -4*q - 4*p = -44. Is 9 a factor of q?
False
Suppose -m = -3*v + m + 212, 0 = 4*m + 4. Is 16 a factor of v?
False
Let y(n) = -n**2 + 9*n + 4. Let j be (-36)/(-3) + 1 + -4. Let l be y(j). Suppose -p - p - 4*a = -38, 0 = -l*p + a + 112. Does 14 divide p?
False
Suppose -3*a + 468 = 5*p, -p = -6*p + 5*a + 500. Does 16 divide p?
True
Suppose z - 3*l = 22, 6 = z + 3*l - 4. Does 15 divide z?
False
Suppose -4*q - 230 = -9*q. Suppose q = 3*j - 4*l, 5*j - 70 = 2*l + 2. Does 11 divide j?
False
Let t be (-53)/(-4) - 4/16. Let p = t - 6. Is p a multiple of 4?
False
Let s = 18 + -11. Suppose -5*o + s = -4*o. Is o a multiple of 4?
False
Suppose 126 - 1068 = 2*l. Let u = 291 + l. Is (-10)/(-35) + u/(-7) a multiple of 14?
False
Let o = -24 - -16. Is ((-61)/4)/(2/o) a multiple of 17?
False
Let k(p) be the second derivative of -1/20*p**5 + 0 - 3*p**2 + 7/6*p**3 - 1/3*p**4 - p. Is 10 a factor of k(-6)?
False
Let v(g) = 4*g**2 + 4*g - 2. Let w(p) = -p**2 - 3*p - 4. Let j be w(-3). Is 12 a factor of v(j)?
False
Let j(w) = w**3 + w**2 + 24. Suppose 0*v = -4*v. Does 7 divide j(v)?
False
Let q = 81 - 130. Let w = q + 71. Does 11 divide w?
True
Let v = -14 - -20. Let j(h) = h + 0 + 0*h + v + h**2. Does 12 divide j(5)?
True
Suppose -n = 3*n + 4*f + 64, 2*n - f + 26 = 0. Let c = n + 26. Does 4 divide c?
True
Let q = 7 - 3. Suppose -q*z + 3 = -3*z. Suppose -15 = z*l, -3*l = -5*n + l + 60. Is n a multiple of 4?
True
Suppose -4*j - 8 = -20. Suppose -205 = -4*v + 5*n, 2*n + 17 - 165 = -j*v. Suppose 0 = 7*k - 2*k - v. Does 5 divide k?
True
Let c be (-14)/(-4) + 14/(-28). Suppose c*y - 60 = 99. Is y a multiple of 12?
False
Let k(g) = 44*g**2 - 2*g + 2. Is k(1) a multiple of 11?
True
Let r = -91 - -105. Is 2 a factor of r?
True
Let z(w) = w**2 - 5*w + 4. Let s be z(5). Let y be (-161)/(-6) + (-7)/(-42). Is y/(-6)*s/(-3) a multiple of 5?
False
Let x(i) be the first derivative of i**4/4 - 4*i**3/3 + i**2 - 4*i - 3. Let c be x(4). Suppose 20 = c*r, 2*r + 11 = 2*t - r. Does 8 div