2 divide m(8)?
False
Let i(h) be the first derivative of 5*h**4/4 + h**2 + h + 5. Let l be i(-1). Is 3 a factor of (l/(1 - -1))/(-1)?
True
Let x be 0 + (-28 - -2) + 2. Let q be (-42)/(-252) + 125/6. Let y = q - x. Is 15 a factor of y?
True
Suppose -4*i - 5*a + 177 = 0, 8*i + 4*a - 36 = 7*i. Is 8 a factor of i?
True
Let n(x) = -x - 1. Let d be -1 + -2 + -5 + 6. Let o be n(d). Suppose 2*a = 2*s + 4*a - 46, -s = -5*a + o. Is 7 a factor of s?
False
Suppose -4*o + 20 = 0, 5*o - 5 = -2*j + 2*o. Let g be 1 - -2 - (3 + j). Suppose -25 + g = -2*c. Does 5 divide c?
True
Let i be (6/(-10) + 3/(-45))*-57. Let o = -12 + i. Is o a multiple of 6?
False
Let z(m) = 0 + 2 + 0 + 3*m - 8. Does 11 divide z(8)?
False
Let i = 31 + -26. Suppose -i*s = -8*s + 66. Is s a multiple of 3?
False
Suppose -2*c = -6*c + 24. Does 30 divide 1520/14 - 0 - c/(-14)?
False
Let m = -2 - -7. Suppose 335 = 3*f + 3*n - m*n, 0 = 3*f + 2*n - 319. Suppose 4*y = 35 + f. Is 12 a factor of y?
True
Let f(d) = d + 25. Suppose 4*w = -5*r + 2*r - 44, -2*w - 28 = 3*r. Is 17 a factor of f(w)?
True
Let d(u) = -27*u + 2. Let l = -20 + 24. Let q be -5 + (l*-4)/(-4). Is d(q) a multiple of 20?
False
Let j be (-5)/(-1) + 0 + 1. Let o(k) = 2*k**2 + 1. Let m be o(1). Does 6 divide 10*m/j*3?
False
Let g(x) = -x**3 + 9*x**2 - 7*x - 4. Let y be g(8). Suppose h - y*k - 12 = 0, -2*h = -2*k - 43 + 1. Is h a multiple of 8?
True
Let r be 27 + -30 - (1 - 31). Suppose 25 - 5 = -5*o, t - r = o. Is t a multiple of 5?
False
Let r(l) = l**3 + 9*l**2 - 12*l + 7. Let g be r(-6). Suppose -5 + g = z. Is 14 a factor of z?
True
Suppose -6*l + 1024 = -1010. Suppose -3*a - l = -3*x, 335 = 3*x + 4*a - 3*a. Does 7 divide x?
True
Suppose 4*y + 4*f = 1412, 4*f - 1047 = -3*y + 7*f. Does 39 divide y?
True
Let s(g) = 5*g**2 + 4*g. Does 23 divide s(4)?
False
Let v be 334*((-10)/4 - -2). Let r = v + 272. Is 15 a factor of r?
True
Let c be (3/(-6))/(2/(-4)). Let m be ((2 - c) + 2)*2. Suppose 0 = m*z - 4*z - 122. Is 14 a factor of z?
False
Suppose -a + 8 - 4 = 0. Suppose 0 = -2*k + 3*i - 274, -3*k + 428 = -6*k - a*i. Is 19 a factor of k*((-3)/6 - 0)?
False
Suppose -t - 740 + 791 = 0. Is 17 a factor of t?
True
Suppose 0 = -3*p - p + 32. Let j(n) = 7*n + 3. Let v be j(p). Suppose 2*x + x - 4*r - v = 0, 2*r = -5*x + 55. Does 4 divide x?
False
Let q(j) = -3*j - 30. Let z be q(-10). Suppose z = -t + 3*r + 60, 0*r + r + 2 = 0. Is 18 a factor of t?
True
Let w(y) = -15*y - 2. Is 11 a factor of w(-17)?
True
Let j(k) be the second derivative of k**4/12 + 15*k**2 - 6*k. Does 15 divide j(0)?
True
Let i = 79 + -52. Does 9 divide i?
True
Let y(a) = -45*a**3 + a**2 + 6*a + 6. Let c be y(-3). Suppose 7*b = b + c. Is 26 a factor of b?
False
Let r = 47 - 49. Is 3 a factor of (3/r - 0)/((-3)/16)?
False
Suppose -21*f = -16*f - 1255. Let o = f - 151. Is 25 a factor of o?
True
Let c = 0 + -1. Let h(b) be the third derivative of 17*b**5/20 + 3*b**2. Does 11 divide h(c)?
False
Is 50 a factor of 20/(774/(-195) - -4)?
True
Let f(d) = 58*d**3 + 4*d**2 - 5*d. Is 94 a factor of f(2)?
True
Suppose 2*w + 9 = 5*w. Suppose -4*m = -5*m + 5*n + w, 5*n = 4*m + 18. Is 10 a factor of (14/(-3))/m*75?
True
Let j(h) = h**3. Let s be j(-1). Let o be (-5)/((-4)/(-4))*s. Suppose 119 = n + 3*g, 5*n + g = o*g + 500. Is n a multiple of 33?
False
Let l(b) = b**3 + 6*b**2 + 3*b - 7. Let w be l(-5). Let r be (-202)/(-17) + (-14)/(-119). Suppose r + w = u. Is u a multiple of 13?
False
Let b(c) = -2*c + 1. Let x be b(-2). Let h = -4 - x. Let f = h + 29. Does 10 divide f?
True
Let n = -3996 + 5652. Does 17 divide 16/(-6)*(3 - n/16)?
False
Let y = -21 + 54. Let m(g) = 41*g + 167. Let d be m(-4). Suppose -2*b - d = -y. Is 4 a factor of b?
False
Let g = 126 - 53. Suppose g = 3*o + 5*d - 0*d, -2*d + 25 = o. Let a = 47 - o. Is a a multiple of 13?
True
Let q = -22 + 22. Suppose -3*t + t + 106 = q. Is 13 a factor of t?
False
Suppose -100*h = -5*o - 95*h + 4320, 4*o - 3432 = -4*h. Is o a multiple of 41?
True
Suppose 6*j - 27 = 3. Suppose -2*b - j*c = -109, c = 2*b - 6*b + 173. Let r = 66 - b. Does 24 divide r?
True
Let v(k) = -k**3 - 12 + 12*k + 8 + 11*k**2 - 3*k**2. Is v(8) a multiple of 46?
True
Let v(z) = -133*z**3 - 2*z**2 + 1. Let b be v(-1). Suppose 3*g = 4*g - 93. Let m = b - g. Is 11 a factor of m?
False
Let k(o) = o**3 - 3*o**2 - 4*o + 3. Let y be k(4). Let q(h) = -18*h - 12 - y + 22*h + 4. Is q(6) a multiple of 5?
False
Suppose 3*t - 7*t - 5*k = 347, 2*k = -2*t - 172. Let p = t + 128. Suppose 3*c + 0 = p. Does 5 divide c?
True
Suppose 16*f - 14*f = 296. Is 4 a factor of f?
True
Let l = 4432 + -2558. Does 11 divide l?
False
Let h(n) = 4*n + 1 - 4 - n**2 - n**3 + 2. Is 12 a factor of h(-4)?
False
Suppose 2*v - 5*t - 10 = 0, 2*t = -4*v + 7*t + 20. Let p be (v + -6)/((-2)/14). Let y = 1 + p. Does 3 divide y?
False
Let j be -1 + (-3 - -5) + 4. Suppose -j*v + 4*f + 73 = 0, 5*v = 4*v + 3*f + 8. Let b = 30 - v. Is 8 a factor of b?
False
Suppose 4*u - f + 0*f + 5 = 0, 20 = -3*u + 4*f. Let p be u + -1 - 6/1. Let a(b) = b**2 + 7*b + 10. Is 7 a factor of a(p)?
False
Suppose -4*w + 11 = 31. Let l(p) = -p**3 - p**2 + 8*p + 4. Is 16 a factor of l(w)?
True
Let a(q) = -q + 5. Let m be a(2). Suppose -181 = -o - 5*d, 0 = 3*o - 5*o - m*d + 334. Does 23 divide o?
True
Let d(p) = 165*p - 30. Is d(2) a multiple of 3?
True
Suppose -8*x + 3 = 3. Suppose -h + 2*h - 69 = x. Does 9 divide h?
False
Suppose -2*g + 340 = -w - 308, -4*w + 1594 = 5*g. Suppose -3*s = 5*a - 318, 5*a + 0*a + 2*s = g. Does 11 divide a?
True
Let f(s) be the third derivative of -s**6/120 - s**5/20 + s**2. Let g be 2/(-4) - 6/(36/21). Is 8 a factor of f(g)?
True
Suppose -3*t = p - 660, -5*p + 3300 = -14*t + 10*t. Does 20 divide p?
True
Suppose -5*s + 249 + 81 = 0. Does 11 divide s?
True
Let o = 18 + -13. Let d(k) = 7*k + 19. Is 9 a factor of d(o)?
True
Let p = 11 + -4. Let v(m) = 9*m**2 + 3*m**3 + 5*m - 1 - 2*m**3 + p. Does 22 divide v(-4)?
True
Let r = -3291 + 2163. Is 1/(2/r*-3) a multiple of 26?
False
Let x(p) = -2*p - 2. Does 6 divide x(-12)?
False
Is 37 a factor of 3/12 - (38316/(-16) + 8)?
False
Is 89390/49 + -4 + 4/(-14) a multiple of 65?
True
Suppose -g = 3*p - 10, 8*p - g - 6 = 3*p. Suppose 0 = -3*o + o + 5*w + 3, -3*o + 21 = -p*w. Suppose 2*r = -2*n + 12, 2*n - r = -2*n + o. Does 3 divide n?
True
Suppose 0 = -3*u + 4*p + 290, -3*u = -5*p - 71 - 224. Let j = -92 - -33. Let y = u + j. Is y a multiple of 10?
False
Suppose -d - 5*z + 27 = 0, 3*d + 4*z = 8 + 18. Suppose y + y - 232 = -3*h, 0 = 4*h - d*y - 328. Does 5 divide h?
True
Let b(n) = 11*n + 581. Is b(12) a multiple of 5?
False
Let q be (-5073)/(-38) - 1/(-2). Suppose -3*x - q = -479. Is x a multiple of 5?
True
Is (-171 - -1)*(-57)/38 a multiple of 17?
True
Let c = 23 - 46. Let p = c + 72. Does 13 divide p?
False
Let d(r) = -90*r**3 + 3*r - 5. Let x(a) = -91*a**3 + a**2 + 3*a - 6. Let u(l) = -4*d(l) + 3*x(l). Is 39 a factor of u(1)?
False
Suppose -3*m - 12 = -0. Is 13 a factor of (-2 - 0 - m) + 141?
True
Suppose 0 = -23*o + 13144 + 1323. Is 17 a factor of o?
True
Suppose -a - 3*a + u = 47, -4*a - 5*u = 77. Suppose 4 = -4*q + 2*q. Is 8 a factor of 1 - ((-2)/q + a)?
False
Let r(y) = 133*y**2 - 26*y + 55. Let u(n) = 44*n**2 - 9*n + 18. Let f(v) = -2*r(v) + 7*u(v). Is f(2) a multiple of 27?
True
Suppose 0 = -v + 7 - 4. Suppose -v*m - m = 4*b + 104, -100 = 4*b + 3*m. Let g = 0 - b. Is g a multiple of 11?
True
Suppose 197*m = 212*m - 10230. Is 15 a factor of m?
False
Let z(m) = m**2 + 16*m - 422. Is z(32) a multiple of 6?
False
Suppose -336 = x - 3*x. Suppose 3*l + k - x = 0, 4*k - 56 = 2*l - 3*l. Is l a multiple of 20?
False
Suppose 7*c = 40 - 5. Is 3 a factor of 3*c/60 - 75/(-4)?
False
Let l(d) = -181*d + 53. Does 14 divide l(-3)?
False
Let i(g) = g**2 + 5. Let w be i(-6). Let x = w - 10. Let n = x + -14. Is 9 a factor of n?
False
Let m(j) = -10 - 1294*j + 2 + 1319*j. Does 8 divide m(2)?
False
Let m(h) = -2*h + 432. Is 2 a factor of m(36)?
True
Let x = 3127 - 2022. Does 17 divide x?
True
Suppose 0 = -3*z - 4*f + 1389, 0 = 5*z + 4*f - 617 - 1698. Suppose -5*a - 8 + z = 0. Is a a multiple of 13?
True
Let w = -93 - -96. Does 30 divide (-48)/(3/5 + w + -4)?
True
Let m(k) be the third derivative of -k**5/60 + 11*k**4/24 - 19*k**3/6 + 9*k**2. Let n be m(9). Does 20 divide n*-3*9 + 4?
F