135389 = 5*z + 8*w - 202265, -w + 3 = 0. Is z/95 + (-4)/5 a multiple of 38?
False
Let x(u) be the second derivative of -8*u**3/3 - 21*u**2 - 6*u. Let n be x(-12). Let c = n - 94. Is 14 a factor of c?
True
Let w(v) = 41*v**2 + 41*v + 8. Does 40 divide w(-9)?
True
Suppose 3 - 163 = -4*s. Let a be s + -6 + 3 + -2. Let r = a + 13. Does 24 divide r?
True
Let g(w) = -w**3 - 7*w**2 - 9*w - 2. Let b be g(-7). Suppose -9*d + 490 = -4*d. Let c = d - b. Is c a multiple of 26?
False
Let l(y) be the first derivative of -y**4/4 + 5*y**3/3 - 3*y**2 + 2*y - 10. Let a be l(3). Is 464/6 + a/(-6) a multiple of 18?
False
Let y = -114 + 117. Suppose y*j - 2996 = -5*q, 0*q + j = -2*q + 1199. Does 24 divide q?
False
Let h(r) = -2*r + 22. Suppose -2*v + 10 = -0*v. Suppose -37 = 2*j - v. Is 9 a factor of h(j)?
True
Let p(x) = 2*x**3 + 36*x**2 + 20*x + 383. Is 72 a factor of p(-17)?
False
Is 11 a factor of (7/(-2) - -18)*16?
False
Let v be (-1)/(-2 + 4/(868/433)). Let s = v + -107. Suppose -8*c + 7*c = -s. Is 11 a factor of c?
True
Let n be ((-1)/(-1)*-1)/(2/6). Is 1/n - ((-90970)/(-33))/(-5) a multiple of 9?
False
Suppose 1235 = -5*t + 5*s, -24*t - s - 749 = -21*t. Let r = -14 + 10. Is 17 a factor of t/(-15) - r/10?
True
Let v(p) be the third derivative of -23*p**4/24 + 9*p**3/2 + 4*p**2 + 12. Is 13 a factor of v(-2)?
False
Suppose 6*x + 128 = -112. Let o be (-96)/x - (-1 - 21/(-15)). Suppose -8*j + 108 = -o*j. Is j a multiple of 3?
True
Let q = -2952 - -4691. Is 37 a factor of q?
True
Let t be ((-1)/(-5) + -2)*80/(-48). Suppose t*v - 71 = 70. Does 3 divide v?
False
Let r = 1 + 1. Suppose -16*k = -4*k - 3264. Suppose -r*z + 4*p = -120, -5*z + k = 7*p - 3*p. Is z a multiple of 14?
True
Let w = 7931 + -1547. Is w a multiple of 152?
True
Let n(f) = -3*f**2 - 122*f - 14. Is 11 a factor of n(-30)?
True
Let v(s) = -s**2 + 9*s + 2. Let f be v(9). Suppose -10 + 0 = f*g. Does 11 divide g*(228/(-15) + 2)?
True
Let n(s) = s**3 + 107*s**2 + 67*s - 503. Is 53 a factor of n(-101)?
False
Let v(z) be the second derivative of z**5/4 - z**4/2 - z**3/2 - z**2/2 + 6*z - 3. Is 17 a factor of v(5)?
True
Let g be 777/(-7)*(-2)/6. Let h = g + -34. Suppose -4*s + 424 = h*u, -2*s + 701 = 5*u - s. Is u a multiple of 9?
False
Suppose -3*x + l = -2141, 0 = -3*l - 162 + 165. Does 34 divide x?
True
Suppose 68*b - 2761873 = -732481. Is 12 a factor of b?
True
Let i = 13946 - 11423. Does 89 divide i?
False
Suppose c - 32 = -0*c. Let f = -33 + c. Does 16 divide -4 - -5 - (0/f - 137)?
False
Let h(n) = -2*n**3 + 19*n**2 + 9*n + 24. Let b be h(14). Does 31 divide (b/(-12) - 4)*4?
False
Let b(d) = -d**3 + 37*d**2 + 132*d - 246. Let h be b(40). Let p = 28 - -336. Let g = p - h. Is g a multiple of 26?
True
Let y(a) = 2*a**3 - 2*a**2 + 2. Let p be y(-2). Let v = -72 - p. Does 4 divide 3/15 + 5/(v/(-188))?
False
Suppose 4*d = -4*m + 44, -3*d + 2*m = -2*m - 54. Suppose -2 + 0 = -2*c, -2*s = 4*c - d. Suppose -3*h + 94 = h + s*r, 0 = -2*r + 4. Is h a multiple of 6?
False
Does 12 divide -393*15*(-16)/6*990/1100?
True
Let y be 4 - -1 - (-5 + -1 - -5). Is (-1404)/(-65)*200/y a multiple of 45?
True
Let z be 4 + -2 + -2*(3 - 2). Is 89 + z + -5 - 2 a multiple of 5?
False
Let u(a) be the third derivative of a**4/8 - 13*a**3/6 - 102*a**2 - a. Let y be 2*(-1 - -1 - -3). Is 4 a factor of u(y)?
False
Let q = -25528 + 38129. Is 44 a factor of q?
False
Suppose -4*m - 32 = 3*j, -3*j = 2*m - 3*m + 37. Suppose -4 + 6 = 2*u. Let a = u - j. Does 6 divide a?
False
Let p(h) = h**2 + 4*h + 20. Let u(v) = 2*v**2 + 9*v + 41. Let a be 28/7 - (-1)/(-2)*-2. Let q(w) = a*p(w) - 2*u(w). Is 14 a factor of q(8)?
True
Let h(d) = -d**3 + 2*d**2 - 3*d - 5. Let t be h(4). Suppose -11*v + 386 = -154 - 1110. Let a = v + t. Is 11 a factor of a?
False
Let t = -346 - -614. Suppose 2*j - 646 = -5*x, -17*j = -2*x - 21*j + t. Is x a multiple of 17?
False
Let j(i) = 4*i**2 - 251 + 258 - i - 3*i**2. Suppose t = 3*t + 4*g + 28, 5*t = 4*g - 14. Is 7 a factor of j(t)?
True
Let s be (-16)/(-12) + 104320/6. Is (-1)/((-39)/s) + (-24)/(-156) a multiple of 36?
False
Let m be (12/(-9))/((-2)/3). Suppose -14*y + 236 = 2*y + 1388. Does 25 divide (76/12)/((-1)/y*m)?
False
Let h be 15*4/(-12) + 11. Let n(y) = 2*y**3 - 13*y**2 + 91*y - 11. Does 20 divide n(h)?
False
Does 31 divide (-17)/102 + 6596326/132?
True
Suppose -32 = -4*c - 3*m, -3*m - 2*m = c - 8. Suppose -5*s + 27 = c*g - 11*g, s + 2*g + 5 = 0. Suppose s*h = t - 171, -5*t + 6*h - 8*h = -940. Does 31 divide t?
True
Let p(r) = -13*r**2 - 14*r + 46. Let s be p(-8). Let a = s + 1168. Is 38 a factor of a?
True
Let g be 6/(-39) - (-22248)/117. Suppose 3*l - 2*v = 515, -2*l + g = -l + 3*v. Let d = -11 + l. Does 41 divide d?
True
Let h = 9752 + 8547. Is h a multiple of 71?
False
Let d(r) = r**3 - 125*r**2 + 2770*r + 60. Is 15 a factor of d(25)?
True
Let t = -527 + 525. Is 38 a factor of ((-99)/t)/((-2)/(-4))?
False
Suppose -5*k + 1425 + 615 = 0. Let f = 0 + k. Does 68 divide f?
True
Let u be ((-6)/(-8))/((-4)/272). Let a = u + 55. Suppose 4*h = -2*g + 206, -4*g - a*h + 8*h + 364 = 0. Is 18 a factor of g?
False
Suppose 3*q + 9*q - 52402 = 10*q. Is q a multiple of 86?
False
Let p be 24*(2 - 9/12). Suppose -5*k + 10 = -p. Suppose -2*z = -2*i - 406, -k*i + 4*i + 213 = z. Is z a multiple of 11?
False
Suppose 0 = 4*n - 4*l - 2894 - 3906, -2*n = 5*l - 3407. Suppose -6*a = n - 4827. Is a a multiple of 52?
False
Let z(w) = w**2 + 16*w + 39. Let j be z(-13). Suppose -18*x + 21*x - 1350 = j. Is 75 a factor of x?
True
Let u = 61 - 89. Let d be -3 + u/(-12) - (-53)/3. Suppose d*m - 10*m - 42 = 0. Does 3 divide m?
True
Suppose f + 7013 = 2*o + 36383, -o + 29370 = f. Does 89 divide f?
True
Suppose 2*v = -t + 6 + 3, -v - t + 2 = 0. Is 26 a factor of (-2)/v - (10470/14)/(-3)?
False
Let u = -2886 - -6182. Let k = 4744 - u. Does 52 divide k?
False
Does 104 divide (-2)/6 + (5757609/792 - 3/8)?
False
Suppose -4*k = 4, 3546 - 16834 = -m + 4*k. Is m a multiple of 108?
True
Let o be ((-15)/(-9))/((-1)/(-30)). Suppose 3*x + 7*x - o = 0. Suppose 36 = -3*w + x*w. Does 9 divide w?
True
Suppose 48*d + 122*d - 6394550 = 0. Is d a multiple of 10?
False
Suppose m + 8 + 28 = 0. Let p be ((-5)/2)/(3/m). Suppose -3*c + p = -21. Is 17 a factor of c?
True
Let z(d) = -5*d**2 - 1. Let s be z(1). Let y(f) = -f - 14. Let b be y(s). Let h(a) = -8*a - 34. Is h(b) a multiple of 27?
False
Does 38 divide 3*((-28)/(-11 - -7) + 212892/18)?
False
Let r = 460 + -472. Does 72 divide (-20155)/(-20) - 3/r?
True
Suppose 18456 = 49*l - 605. Is 58 a factor of l?
False
Suppose 2*q - 3*z - 5 = q, 0 = q - 2*z - 5. Suppose r + 916 = 5*g - 0*r, -2*r = -q*g + 912. Is g a multiple of 59?
False
Suppose 4*y = -3*q + 27, -5*y = -11*q + 9*q - 5. Suppose -q = -16*m - 37. Let t(r) = -r**3 + 2*r**2 - 2. Is 7 a factor of t(m)?
True
Let h(i) be the second derivative of 55*i**3/6 + 5*i**2/2 - i. Suppose 0 = 203*z - 102 - 101. Does 10 divide h(z)?
True
Is 30585/7 - (-13 - (-372)/28) a multiple of 26?
False
Let w(p) = -2*p + 10. Let x be w(4). Suppose -3*f - 3*r = 12, 4*r + 0*r - x = -f. Let g(k) = -13*k - 4. Is 24 a factor of g(f)?
False
Let y = -68 + 72. Suppose -g - y*g = 345. Let k = 85 + g. Is 4 a factor of k?
True
Suppose 2*f - 6 = 3*x, -2*x - x + 12 = 0. Suppose 10 = -2*g + 24. Suppose -f*s + g*s = -150. Does 9 divide s?
False
Let z = -7619 + 11419. Does 50 divide z?
True
Let j(t) = t**3 + 15*t**2 - 2*t + 1. Let o be j(-15). Let a = o + -29. Let w(s) = 5*s**3 + 2*s**2 - 5*s + 1. Does 9 divide w(a)?
False
Let u(r) be the first derivative of r**4/4 + 14*r**3/3 + 5*r**2/2 + 16*r - 36. Is u(-13) a multiple of 12?
True
Let f = 341 + -977. Let i = f + 691. Is i a multiple of 21?
False
Let d(a) = -4*a + 52. Let u be d(21). Let r be (4 - 7)*1 - u. Let i = 3 + r. Does 32 divide i?
True
Let y = -43 - -955. Is (3/4)/(4/y) a multiple of 81?
False
Let t = -1641 - -608. Let u = -661 - t. Does 19 divide u?
False
Let r(p) = 7783*p + 656. Does 222 divide r(5)?
False
Let f(v) = -v**3 - 8*v**2 - 11*v. Let s be f(-6). Let q = s - -9. Suppose 52 = 2*h + q*h - 4*l, -4*l = h - 20. Is h a multiple of 3?
True
Let d(x) = -x**3 - 16*x**2 - 13*x + 30. Let a be d(-15). Let t be a/(-1) - (-139)/1. Suppose -t = -2*v + 245. Does 24 divide v?
True
Let w(d) = -d**3 - 9*d**2 - 6*d + 30. Let t be w(-10). Suppose -64