n**4/4 + 10*n**3/3 - 8*n**2 - 6*n + 14. Let v be i(-12). Let h = 147 + v. Does 15 divide h?
True
Let r = -376 - -908. Does 76 divide r?
True
Suppose -5 = -4*y + 3. Suppose -18 = -y*z + 10. Suppose 5*i = -2*k + 102, 2*i + 2*k = z + 22. Does 6 divide i?
False
Suppose 4*n - 8756 = -4*l, -3*n - 4*l - 2106 = -8678. Is n a multiple of 26?
True
Let c(l) = 12*l + 10. Let p be c(-4). Let v(w) = w**3 + 16*w**2 + 22*w + 14. Let a be v(-14). Let b = p + a. Does 15 divide b?
True
Suppose 0 = -2*o + 5*f + 101, -3*f + 6 = o - 17. Suppose -2 = -d + o. Is d a multiple of 8?
True
Let n(l) = -l**3 + 7*l**2 - 6*l + 6. Let j be n(6). Is 12 a factor of -3 + 5 + (j - -23)?
False
Suppose -p - 7*p = -2232. Suppose 4*u - p = -87. Is 2 a factor of u?
True
Let z = 40 + -40. Suppose z*t - 4*t - 4*x + 64 = 0, -5*x = -5*t + 30. Does 11 divide t?
True
Is 112 a factor of 1/4 - (-53641)/28?
False
Let s be (1*2)/(8/4). Is (0 + s)*-3 + 9 a multiple of 2?
True
Suppose -3*b + 14 + 10 = 0. Let k(z) = 2*z**2 - 11*z + 26. Is 11 a factor of k(b)?
True
Let u be (1 - 0)*(-2 + 7). Suppose -z = -3*k - 0*k + 192, 2*z + 321 = u*k. Is k a multiple of 12?
False
Suppose 5*y = -5*f + 30, -4*y + 0*f + 28 = 2*f. Let d = -4 + y. Suppose -d = u - 0, 4*u + 21 = v. Is 3 a factor of v?
False
Let r(b) = b**2 - 3*b - 1. Let i be r(-1). Suppose 0 = 3*q + 2*x - 61, 3*q = i*x - 4*x + 59. Does 3 divide q?
False
Let a be 1 + (5 - 6 - (-4 + 2)). Does 21 divide 188 - (a/(-4))/(4/8)?
True
Let d be 2/((42/9)/7). Suppose -3*w - 2*a = 6, 14 - 5 = -3*w - 3*a. Suppose w = -d*v - 2*v + 240. Does 24 divide v?
True
Is (1 - -1001) + (103 - 95) a multiple of 27?
False
Let t = -62 + 809. Is t a multiple of 50?
False
Let x(u) = 228*u - 3. Does 21 divide x(3)?
False
Let l = 1360 - 1300. Does 23 divide l?
False
Let b = -2 - -2. Suppose b = p - 2*p + 41. Let k = p + -25. Does 3 divide k?
False
Suppose -2*d + 102 + 604 = 0. Let x = -183 + d. Does 17 divide x?
True
Let h = 201 - -64. Does 11 divide h?
False
Suppose 10 = 4*i - 3*b, i = -4*b - 5 + 17. Suppose d = -i*z + 41, -2*d + 7*d - 120 = -3*z. Is d a multiple of 7?
True
Let a be 30/40 - (-177)/4. Let z = 32 - a. Let h(j) = 2*j**2 + 15*j - 7. Does 35 divide h(z)?
False
Let k(z) = -73*z + 7. Is k(-5) a multiple of 8?
False
Let o be -15*(-3 + 4)*-1. Let d be 32/(-1 - (-21)/o). Suppose 13*p - 14*p + d = 0. Is 11 a factor of p?
False
Let s(d) = -d**2 + 15*d - 19. Let l be s(13). Let i(u) = -9 + 6 - u**3 - 4 - 9*u**2 + l*u. Is 23 a factor of i(-10)?
True
Let s = -92 - -132. Let o = -26 + s. Suppose 0 = 4*n - 3*y - 245, 4*y - 92 = -2*n + o. Is 21 a factor of n?
False
Let t(g) = g**3 + 34*g**2 + 31*g - 51. Let j be t(-33). Let m be ((-19)/4)/((-1)/(-4)). Let y = j - m. Is y a multiple of 13?
False
Let w(j) = j**2 + 7*j + 5. Let a(l) = -l**2 - 11*l + 52. Let r be a(-15). Is 4 a factor of w(r)?
False
Suppose s + s = -18. Let v = s + 10. Is -2 - -37 - (v + 0) a multiple of 13?
False
Suppose 6*q - q = 1250. Does 19 divide q?
False
Suppose 2*w + 3*g - 6 = 33, 0 = -3*w + 2*g + 26. Does 7 divide (-353)/(-2) - w/8?
True
Suppose 7*y - 40 = 2*y. Suppose -4 = -w - y. Is -12*(-4 + (-4)/w) a multiple of 12?
True
Let w = 29 - 25. Suppose k + 31 = 2*h - h, -3*h + 89 = -w*k. Is h a multiple of 8?
False
Suppose 2*d - 940 = -5*y, -2*y - 4*d = -7*d - 395. Is y a multiple of 6?
False
Let y(n) = -7*n**2 + 3*n + 2. Suppose 2*m = 2*f + 9 + 1, -2*m - 2 = 2*f. Let w be y(f). Does 9 divide w/(-8) + 1/4?
True
Let t(s) = -6*s + 0*s**2 - 4*s**2 - 3 + 4 - 3*s + 7*s + s**3. Suppose 14 = 5*w - 11. Is 8 a factor of t(w)?
True
Suppose 0 = 3*k + u - 8, 4 + 9 = 5*k + 2*u. Suppose k*h - 109 = 4*o, h - 8 = 3*o + 20. Is h a multiple of 4?
False
Let p be 1/(-2) + 281/2. Let j(c) = 8*c + 338. Let l be j(-42). Suppose -l*v + p = 3*v. Is 14 a factor of v?
True
Does 5 divide ((-1498)/112*-10)/((-2)/(-8))?
True
Let z = -24 - -22. Suppose 0 = 5*m + r + 70, -6*m = -2*m - 3*r + 75. Is 11 a factor of (-174)/m - z/5?
False
Let r(a) = -a**2 - 2*a + 108. Let f be r(0). Suppose -4*j + f = -2*j. Is j a multiple of 18?
True
Suppose -c + 2*c = 3. Suppose 4*j - 19 = -p, 0*p - 5 = -p + c*j. Suppose l + p = 48. Does 13 divide l?
False
Let z(n) = 3*n**2 - 17*n - 21. Let m(u) = 7*u**2 - 35*u - 43. Let w(b) = 4*m(b) - 9*z(b). Let k = -63 - -50. Is w(k) a multiple of 16?
False
Let m = -71 - -71. Suppose -2*b - 4*u + 186 = -22, m = -b + 4*u + 92. Does 10 divide b?
True
Let o(s) = 10*s + 2. Let r be o(3). Let j(c) = 5*c - 159. Let k be j(22). Let h = r - k. Is h a multiple of 31?
False
Let j = -29 - -34. Let h be -4 + 5/(j/48). Is (-2 - -1) + -2 + h a multiple of 9?
False
Suppose 3*t - 12 = -t. Suppose -5*s = 5*p - 50, 7*s + t*p = 2*s + 48. Is s a multiple of 4?
False
Let y = -25 + 17. Let v = y - -30. Is v a multiple of 22?
True
Let n = 909 - 639. Suppose 3*a = 2*j - 5*j + n, -4*a - j + 354 = 0. Does 22 divide a?
True
Let r be (-7371)/36 - (-1)/(-4). Let q = -107 - r. Does 24 divide q?
False
Does 41 divide (0 - 5)/1*-146?
False
Let d(j) = -2*j + 14. Let u be d(5). Does 5 divide 1/(u/(-60))*-1?
True
Let l(d) = -d**3 + 4*d**2 + 3*d - 1. Suppose 6*v = v + 15. Let s = 7 - v. Is l(s) a multiple of 11?
True
Suppose 4*x - 6 = x. Is 70/6 - x/3 a multiple of 6?
False
Suppose 3*d + 58 = 1030. Is 20 a factor of d?
False
Let n = -39 + 40. Does 18 divide (n + -3)*34/(5 + -6)?
False
Let j = 14 - 11. Let f(n) = -5 + 50*n**j - 5 - 4*n**2 - 2*n - 49*n**3. Is f(5) a multiple of 5?
True
Suppose -i + 6 = 5*w, 2*i + 0*w = -4*w. Does 22 divide 166/(-1 + (-4)/4)*i?
False
Is 36 a factor of ((1 - 10/5) + -16)*-3?
False
Suppose 4*h + 5*x = 6*h - 183, 330 = 4*h + 2*x. Is h a multiple of 38?
False
Let g(x) = 2*x**3 + 49*x**2 + 14*x + 20. Does 20 divide g(-24)?
True
Let y(o) = o**3 + 2*o**2 - o + 1106. Let h be y(0). Suppose -h = -5*l - 2*l. Is 15 a factor of l?
False
Is 26 a factor of ((-1898)/219)/(1/(-21))?
True
Let y = 3008 - 2522. Is 6 a factor of y?
True
Let i be (-4 + 3)*0/(-1). Let u be -3 - (3 + (i - 6)). Suppose 3*p + 177 = -u*a + 5*a, -p = 4. Is 11 a factor of a?
True
Let w = 3197 + -875. Is 27 a factor of w?
True
Let z = 209 - 134. Suppose -57*w = -62*w + z. Does 3 divide w?
True
Does 20 divide (-18)/(-99) - (-11432)/44?
True
Let g = -19 - -43. Is 267/6 - (-4)/g*-3 a multiple of 22?
True
Let u(o) = o**2 + o + 5. Let n(t) = -t**3 + 1. Let y be n(1). Let d be u(y). Suppose 2*q + d*z - 127 = 0, 4*q = -9*z + 4*z + 239. Is q a multiple of 14?
True
Suppose 44*p + 3620 = 11144. Is p a multiple of 10?
False
Let s = 1255 + -841. Let u = s + -222. Suppose 0*q - 2*q = -u. Is q a multiple of 32?
True
Is -325*55/(-22) - (-2)/(-4) a multiple of 14?
True
Let h(j) be the first derivative of 7*j**2 + 2*j + 22. Is 4 a factor of h(1)?
True
Let l(p) = -p**2 - 4*p. Let w be l(-3). Suppose 7*h = w*h + 144. Is h a multiple of 9?
True
Let d = 74 - -4. Suppose -3*j + d = 4*u + 9, -5*u + 2*j = -92. Is 9 a factor of u?
True
Let k = -307 + 437. Does 13 divide k?
True
Let w(k) = -2*k - 1. Let i be w(-3). Suppose -257 = -i*s - 87. Let f = s - 10. Is f a multiple of 8?
True
Let p be (-63)/18*(-1 - 1). Does 7 divide p/2*(-120)/(-21)?
False
Suppose -13436 = -49*t + 26401. Is t a multiple of 94?
False
Let j = 89 + -59. Let b = 46 - j. Is b a multiple of 4?
True
Let a(f) = 17*f - 38. Let i be a(10). Let w = -74 + i. Does 29 divide w?
True
Suppose 2*n + 470 = 3*c, 5*n = 15 + 10. Is c a multiple of 32?
True
Let k(z) = -6*z - 38. Let u(i) = i**2 + 18*i + 34. Let d be u(-15). Is 6 a factor of k(d)?
False
Let h be 64/6 + (-36)/54. Suppose -9 = -m + h. Is 19 a factor of m?
True
Let b be (3/(-2))/3 + 47/2. Suppose 3*w - 13 = b. Is 6 a factor of w?
True
Suppose -140 = -6*r - 8*r. Suppose 0 = 2*l - 0*l - 6. Suppose -l*z + 230 = -r. Does 13 divide z?
False
Let n(o) = -o + 19. Let b be n(15). Suppose -3*m = -4*f - 43 - 41, b*f - 140 = -5*m. Does 14 divide m?
True
Suppose -4*r - 6 = -9*r - 3*b, 0 = 3*b - 6. Suppose r = -k + 5*k + 80. Is 0 + -1 - (k - 1) a multiple of 14?
False
Suppose 16 = -2*x + 6*x. Suppose 0 = 3*y - 3*t + 57, 71 = -4*y - x*t + 7*t. Let r = 0 - y. Does 4 divide r?
False
Let z(r) = -r**3 + 8*r**2 - 8*r + 7. Let m be z(7). Suppose m = 7*b - 10 - 74. Is 6 a factor of b?
True
Let i(r) = 111*r**2 + 2*r - 1. Let o be -2 + (0 - -3)*1. Is 14 a factor of i(o)?
True
Let y(o) be the second deriv