*4/2 + z**3/3 - z**2/2 - 3*z + 35. Let n(f) be the first derivative of r(f). Does 29 divide n(-4)?
True
Let x be 2248/(-20) + 2/5. Let n = x - -190. Suppose -3*d = -6*d + n. Does 3 divide d?
False
Let h(b) be the first derivative of 5*b**4/12 - 2*b**3/3 + b**2 + b - 36. Let k(c) be the second derivative of h(c). Is 32 a factor of k(10)?
True
Let f be 3 + 0 + -1 + 2. Suppose -a - a = -3*j + f, 0 = -4*a + 5*j - 6. Does 2 divide a - (-1 - (-1)/(-1))?
False
Let p(h) = 70*h**2 - 32*h + 63. Let i be p(2). Suppose j + 6 = -3*b, 0 = b + 4*b + j + 10. Is (b/(-3))/(6/i) a multiple of 13?
False
Let t = -19 - -21. Suppose 3*a = -4*b + 4*a + 5, -3*b - t*a - 10 = 0. Suppose b = -2*j - 3*f + 78, j = -f + 42 - 5. Is j a multiple of 14?
False
Let r = -8645 + 18984. Does 127 divide r?
False
Let h(k) = -k**3 - 3*k**2 + 20*k + 11. Let i be h(-6). Let y be 1/((-1)/(-347)*i). Let c = -217 - y. Is 29 a factor of c?
False
Suppose 37*q - 22*q = 143369 + 65191. Is q a multiple of 79?
True
Let l be (19350/135)/((-1)/3 + 0). Let m = -277 - l. Is 9 a factor of m?
True
Let t(l) = l**2 - 11*l - 40. Let k(q) = -9*q**2 + 45*q - 4. Let g be k(5). Is t(g) a multiple of 2?
True
Let u(k) = -k**3 + 26*k**2 - 46*k - 27. Let v be u(24). Let g = v + 29. Let y = g + -39. Is y a multiple of 4?
False
Let i be 759*((-48)/(-9) + -4). Is i/(-3 - (-2 + -3)) a multiple of 22?
True
Is 16 a factor of (-1561484)/(-238) + 3/21?
False
Suppose 32*i + 629935 = 71*i + 46*i. Is i a multiple of 6?
False
Suppose 0 = -3*l, -z + 4630 = z - 5*l. Is 11 a factor of z?
False
Let u = 261 - -131. Let h be -1 + (-1)/((-5)/25). Suppose 2*o = -2*t + u, -h = -t - 2. Is o a multiple of 19?
False
Suppose -s - 5 = 0, -3*a = 91*s - 89*s - 9428. Does 82 divide a?
False
Let w be 28/6 - -3*(-10)/45. Let n(m) = -m**2 + 6*m + 1. Let h be n(w). Is 1990/15 - 1/(h/6) a multiple of 33?
True
Let v(n) = -6*n**2 - 25*n - 1. Let r be v(-8). Let o = -99 - r. Suppose -5*c + o = 3*t + 7, -3*c + 36 = -2*t. Does 7 divide c?
True
Let j(b) = 413*b**2 + 78*b - 105. Does 37 divide j(-7)?
False
Suppose 5*q - 1176 = -2*y + 4*q, 0 = 5*q + 20. Let b = -488 + y. Does 7 divide b?
False
Suppose -5*g = -3*k - 438, -g + 3*g - 169 = -5*k. Let p = 187 - g. Is p a multiple of 18?
False
Let b(n) be the first derivative of 25*n**4/12 + n**3/2 + 5*n**2/2 - 37*n - 12. Let j(q) be the first derivative of b(q). Is 11 a factor of j(-2)?
True
Suppose -1734*j + 1726*j + 52296 = 0. Is j a multiple of 15?
False
Suppose -14*z = -10*z - 5*n - 28318, -7060 = -z - 2*n. Does 11 divide z?
False
Let g(d) = 2*d**3 + 2*d - 1. Let f be g(-5). Let p be 34*((-4)/6 - (169/39 + -1)). Let j = p - f. Is j a multiple of 25?
True
Suppose 400674 + 711793 = 101*w - 216390. Is w a multiple of 59?
True
Let q(f) = 2*f**3 + 11*f**2 + 10*f. Let o be q(-4). Suppose 0 = 4*c + 11 + 5, 4*d - o = 2*c. Suppose d = -7*a + 2*a + 650. Does 26 divide a?
True
Suppose -16*u - 172 + 5452 = 0. Let y = u + 710. Does 40 divide y?
True
Let h(m) = -15*m - 59. Let d = -48 - -21. Does 15 divide h(d)?
False
Let g = 10287 - 21258. Let t be 1/(-4) + g/(-12). Suppose 0 = -3*f + f - 6, 4*s - t = -2*f. Is 34 a factor of s?
False
Let k be 18/2 + -4 - 3. Is (-1)/6*k + (-271)/(-3) a multiple of 45?
True
Let a = -4503 - -7574. Is 83 a factor of a?
True
Let m be 9/((-18)/(-8)) - -1101. Suppose -m = -4*k + 195. Suppose s - w - 2*w - 61 = 0, 5*s = -5*w + k. Is s a multiple of 32?
True
Let b be 3596/10 - (-114)/285. Is b - ((57 - 46) + -6*1) a multiple of 5?
True
Suppose -b = 3*l - 6, 0 = -0*b - b - 4*l + 6. Suppose 2*s + 2*i = 26 - 8, -2*s + i + b = 0. Suppose -4*w - 215 = -3*j + w, 5*w = -s. Is 10 a factor of j?
True
Let d = -1470 + 2426. Is d a multiple of 9?
False
Suppose 57*p + 49*p = 46605 + 26323. Is p a multiple of 86?
True
Let q(w) = -w**3 - 4*w**2 + 84*w - 203. Is 5 a factor of q(-19)?
False
Suppose -12*g = -7*g + 30. Does 4 divide (-243)/g - 2/4?
True
Let n(w) = 61*w**2 - 5*w - 10. Let v be n(-2). Let r = v + -28. Is r a multiple of 24?
True
Let u(l) be the second derivative of 79*l**5/10 + l**4/12 - 66*l. Does 29 divide u(1)?
False
Let x(k) = 3*k - 9. Let i be x(11). Suppose 106 = 3*a + 5*v - i, -2*a = 2*v - 80. Suppose -29 = -h + a. Is h a multiple of 41?
False
Suppose -40 = -108*h + 112*h. Does 2 divide 22869/165 - 4/h?
False
Suppose -23*c = 12*c - 62739 - 64591. Is 214 a factor of c?
True
Let t = -7 + 18. Let d be ((-32)/36*3 - -2)*-57. Suppose t = -k + d. Does 5 divide k?
False
Does 128 divide (1*337)/(53/159)?
False
Suppose -426*i = -476*i + 83600. Is i a multiple of 38?
True
Let j = 10 + -10. Let d be (-4)/(-12)*j + 3. Suppose 3*c - 54 = -d*r, -4*r + 3*c - 2*c + 87 = 0. Is 5 a factor of r?
False
Let q = 107 + -106. Let f be 720/280 + (-4)/7 + q. Let a(g) = 25*g**2 + 8*g - 25. Is 32 a factor of a(f)?
True
Let o = 53 - 25. Does 67 divide 134/(o/(-8) - -4)?
True
Suppose -8*u - 42 = -22*u. Suppose -u*m = -5*b - 1675, -1117 = -2*m + b + 2*b. Suppose 0*x - m = -10*x. Does 6 divide x?
False
Let g(n) be the first derivative of -n**4/2 - n**3 + 2*n**2 + 2*n + 4. Suppose 20*u = 7*u - 39. Is g(u) a multiple of 9?
False
Let o = -97 + 97. Suppose -g = -3*x - o*g + 190, -4*g - 175 = -3*x. Is x a multiple of 3?
False
Let a(q) = -q**2 + 19*q + 5. Let b be a(19). Suppose b*x - 14 + 9 = 0, 3*g - 284 = x. Is g a multiple of 19?
True
Let x = 2024 - -2266. Is 14 a factor of x?
False
Suppose 0*d = 5*u - d - 19, -3*u + 5*d + 29 = 0. Suppose -4*a + 1066 = r, -r + u*r = -4*a + 1068. Does 14 divide a?
True
Does 70 divide ((-34)/6)/(95/855)*1235/(-3)?
False
Let n(v) = 5*v**2 - 5*v + 5. Let k(a) = -14*a**2 + 14*a - 16. Let t(c) = -4*k(c) - 11*n(c). Let h be t(4). Suppose 0 = -25*g + h*g + 324. Is 27 a factor of g?
True
Let s(o) = -2*o**3 - 79*o**2 - 40*o + 93. Let b be 6 - 9 - (-3 - (1 + -40)). Is 12 a factor of s(b)?
True
Suppose 5*v = -10, -3182 = 4*z + 7*v - 8*v. Let c = 826 + z. Does 15 divide c?
True
Let q be (12/9)/((-2)/(-6)). Suppose q*m + 16 = 2*r, 2*m - 4*r - 4 = -12. Is m/(-8) - 930/(-12) a multiple of 26?
True
Let m(v) = 67*v + 6150. Is 42 a factor of m(-36)?
True
Suppose -189 = -2*o + 57. Suppose -12*f - 4 = 44. Is 9 a factor of (3 + o)*(-2)/f?
True
Suppose -89 + 107 = 6*k. Suppose 4*q - 361 = -k*u + 1574, 4*q - 1945 = -5*u. Is 74 a factor of q?
False
Suppose 118 = y + 2*x, y - 52 = -4*x + 74. Is 11 a factor of y?
True
Let w(c) = -972*c - 15870. Is w(-66) a multiple of 9?
False
Suppose -w = 1, -5*a + 2*w - 2035 = -9647. Is a a multiple of 6?
False
Let k(p) = -p**3 + 40*p**2 + 34*p + 105. Is 19 a factor of k(23)?
True
Suppose -7 = -10*i + 13. Let x be (13 - 9)/(3 - i). Does 7 divide -3 - (-12)/(x - (-90)/(-23))?
False
Is 11 a factor of ((-23)/(1288/30304))/(0 - 4/28)?
False
Let j = 21498 - 11518. Is 20 a factor of j?
True
Let w = -21 - 345. Let i = -317 - w. Is 2 a factor of i?
False
Let f(o) = o + 8. Let c be f(-2). Is ((-4620)/(-90))/(4/c) a multiple of 31?
False
Let u = -373 - -418. Does 3 divide (-10)/u - (-1930)/18?
False
Suppose 0 = -g - 62*a + 66*a + 8992, -5*a + 36010 = 4*g. Does 72 divide g?
True
Suppose -z = -3*z + 76. Let f(v) = 2*v**2 - 33*v - 182. Let k be f(21). Let g = z + k. Does 15 divide g?
True
Suppose -4*t = 3*i - 8349, 3*i - t - 4128 = 4236. Does 3 divide i?
True
Let a(p) = 5*p + 18. Let z be a(-4). Let i(u) = 20*u**2 + u - 1. Let s be i(z). Does 20 divide s + (4 - -1)*-1?
False
Is (12382/302)/((-3)/(-438)) a multiple of 12?
False
Let r be (-15)/(1*9/(-6)). Suppose 22*g - 588 = r*g. Is 7 a factor of g?
True
Let d = 16631 - 15951. Is d a multiple of 170?
True
Suppose -h - 2*h + w = -949, 0 = 2*h - 5*w - 650. Is 8 a factor of -1 + h - 0 - (-1 + 0)?
False
Is 5 a factor of (-1)/(-4)*(16720 - (22 + -14))?
False
Suppose -144*j + 285*j - 4992 = 137*j. Is j a multiple of 16?
True
Suppose -5*j - 4*n = -7*j + 1130, 0 = 3*j - 5*n - 1694. Let v = -422 + j. Is v a multiple of 47?
True
Let k(g) = 3*g**2 - 18*g - 158. Let n be k(18). Does 14 divide (-12902)/(-7) + (-70)/n?
False
Let j = -5870 - -11688. Does 22 divide j?
False
Is 34872/40 - (-2)/10 even?
True
Let z = 793 + 1279. Is 37 a factor of z?
True
Let l(v) = 113*v - 12. Let d be l(2). Suppose x = -d + 232. Is x a multiple of 18?
True
Let v(m) = -4*m**2 - 13*m + 57. Let w be v(5). Is 10 a factor of (-6)/8 - 42633/w?
False
Let p(r) = -r**3 + 15*r**2 + 2