 77*h**3 + 15*h + 7. Does 37 divide j(4)?
True
Let h(v) be the first derivative of v**6/120 - v**5/20 - v**4/12 + 17*v**3/3 + 4. Let i(x) be the third derivative of h(x). Does 14 divide i(6)?
True
Is 37 a factor of 4/(-1)*(-7336)/(-140)*-20?
False
Let z(s) = -s**2 - 22*s - 58. Let w be z(-17). Is -9*(-1 + 24/w) + 806 a multiple of 7?
False
Suppose -5*u - 12*u = -240361 - 686343. Is 26 a factor of u?
False
Suppose 0 = -7*d + 199 + 67. Let h = d - 20. Let c(i) = 2*i - 12. Is c(h) a multiple of 6?
True
Let m(p) = 3*p**2. Let j be m(-4). Let n = j - 42. Is (n/(-4))/((-15)/1150) a multiple of 23?
True
Suppose -4*q + 15 = 2*c + 33, 15 = -3*c. Does 16 divide 1227*2/q*(-20)/60?
False
Suppose -9*i - 2 + 47 = 0. Let j(c) be the third derivative of -c**6/120 + 7*c**5/60 - c**4/4 + 2*c**3/3 + 2*c**2. Does 20 divide j(i)?
False
Suppose 2*k = 4*k + 12. Suppose 2*b = 4*g + 14 + 20, 2*g + 3*b - 3 = 0. Does 22 divide (-658)/k + g/(-18)?
True
Let i = -8477 + 14066. Is 8 a factor of i?
False
Let k(l) be the second derivative of l**4/2 - 3*l**3/2 + 8*l**2 + 30*l. Let q be k(5). Let y = 216 - q. Is y a multiple of 13?
False
Suppose -17 = 2*g - 23. Suppose -8*h + 4*h = g*s - 70, 0 = -3*s - 2*h + 62. Does 4 divide s?
False
Is (3/(-3) - -2) + 889884/76 a multiple of 97?
False
Is ((-5)/(-15))/((-3852)/(-11555) + (-2)/6) a multiple of 51?
False
Let l(y) = -136*y + 403. Let i(r) = 45*r - 124. Let p(m) = 13*i(m) + 4*l(m). Suppose 4*w - 12 = -0*w. Does 9 divide p(w)?
False
Suppose -679146 = -24*a + 195486. Is 17 a factor of a?
False
Let s = -16 - -17. Let b(u) = 4 + 54*u**2 - 4*u + u + 0*u - 8*u**2. Does 18 divide b(s)?
False
Let k(m) = 3*m**2 + m**3 - 8*m**2 + 19*m - 20 + 26*m**2. Let v be k(-20). Suppose v = -p + 4*j - 12, 5*p - 5 = j + 30. Does 8 divide p?
True
Let h = -7453 - -12843. Is 55 a factor of h?
True
Let c be 5*(1 + 7/(-5)). Is (252/8 + c)*2 a multiple of 3?
False
Suppose -2*g - 5*l = -2825 + 436, -3*g + l = -3575. Does 8 divide g?
True
Suppose c + 3*c - 1678 = -2*m, 5*c - m = 2108. Is 5 a factor of c?
False
Suppose 60713 + 18135 = 176*i. Does 8 divide i?
True
Suppose -2*g - 2*g = -16. Let d be (95 + -5)/(g/(-18)). Let a = -183 - d. Is a a multiple of 21?
False
Let b(h) = 2*h**2 + 4*h - 15. Let f be b(-5). Does 13 divide (-5 + 2 + (-125)/f)*-15?
False
Suppose 2416*r - 2314*r - 452166 = 0. Is 13 a factor of r?
True
Suppose -2*h + 6 = 2*w, 8*w + 5*h = 5*w + 7. Let z(t) = -1. Let a(y) = 4*y - 14. Let i(c) = w*a(c) - 36*z(c). Is 17 a factor of i(5)?
False
Let a(n) = -n**3 + 31*n**2 - 27*n + 44. Let z be a(30). Let t = z + -324. Is (1*(-8)/10)/(4/t) a multiple of 3?
False
Let i(k) = 31*k**2 + 26*k + 242. Does 46 divide i(-10)?
True
Suppose 3*c - 126 = 33. Suppose -10*p = -11*p + 3. Suppose p*d + c = 269. Is 18 a factor of d?
True
Let g(x) = x**3 + 31*x**2 - 4*x + 75. Is 24 a factor of g(-30)?
False
Let o be 4/(-2)*(2 + 0 - 4). Suppose i = 6 - 11, o*g - i = -703. Let v = g - -251. Is 25 a factor of v?
False
Suppose -3399 = -o + 4*i, 59*o - 55*o - 13648 = 3*i. Is o a multiple of 12?
False
Suppose 255 = 3*b - 0*b. Suppose 0 = -b*h + 84*h + 203. Does 12 divide h?
False
Is 33 a factor of (7/21*-3)/((-8)/33608)?
False
Let n = 889 + 581. Does 75 divide n?
False
Suppose u + 26 = 5*t, 3 - 25 = -t - 4*u. Suppose 416 - 1556 = -t*x. Does 19 divide x?
True
Suppose -m + 51 + 29 = 2*d, 3*d - 5*m - 133 = 0. Suppose 42*c - 630 = d*c. Is 18 a factor of c?
True
Let y be 954/72*(9 + -1). Let i be (-3)/1*(-1)/6*y. Suppose -8*m + 373 - i = 0. Does 12 divide m?
False
Let y = 22660 - 14096. Is 18 a factor of y?
False
Let w be 4560 - 0/(-2 + 8). Suppose 0*i = 15*i - w. Does 16 divide i?
True
Suppose 5*j - 29235 = -5*s, 17551 = 3*s + 554*j - 553*j. Is 4 a factor of s?
True
Suppose 12472 - 752 = 8*d. Is d a multiple of 33?
False
Does 6 divide (1445/(-10))/(-17)*(-48)/(-1)?
True
Suppose -5078 = -20*x - 15238. Let m = -476 - x. Is m a multiple of 3?
False
Let d(k) be the second derivative of k**6/180 - k**5/30 + k**4/4 - k. Let u(s) be the third derivative of d(s). Is u(8) a multiple of 3?
False
Suppose 4*c - 5*y - 615 = -c, 4*c = -4*y + 500. Is c a multiple of 17?
False
Let p(u) = 28*u + 2015. Does 25 divide p(119)?
False
Let s(c) = -23*c - 139. Let r be s(-6). Is (177 - 0) + (-8 - -14) + r a multiple of 5?
False
Let g(a) = -a**3 + 13*a + 8. Let u = 114 - 72. Suppose -9*n = -2*n + u. Is 18 a factor of g(n)?
False
Let k(c) = c**3 - 7*c**2 + 5*c + 12. Let y be 4/(-6) - 40/(-6). Let x be k(y). Suppose -x*l = -134 - 394. Does 13 divide l?
False
Let g(m) = 4*m**3 - m**2 + m - 1. Let v be g(1). Let d(b) = 2*b**2 + 4*b**3 + 6*b**3 + 4 - b**3 + 3*b - 3*b**3. Does 22 divide d(v)?
False
Suppose 0 = 4*z - 5*v - 9412, 262*z - 266*z + v = -9428. Does 15 divide z?
False
Suppose -22*w - 434 = 28. Is 27 a factor of 353 + 7/(w/6)?
True
Does 9 divide 1248/(-80)*1*(-1 + 4 + -723)?
True
Let c = -150 + 206. Suppose -1016 = -8*t - c. Does 20 divide t?
True
Suppose 8545 = c + 2*g, -33*c = -29*c - 4*g - 34120. Does 15 divide c?
True
Let k = 31887 + -26583. Is 34 a factor of k?
True
Let u be (-2182)/(-5) + 6/(-15). Suppose 9*o + u = 5*o. Let n = -53 - o. Is 14 a factor of n?
True
Let b(l) = -5*l**3 - 3*l**2 - l - 37. Let z(c) = -10*c**3 - 5*c**2 - c - 75. Let d(j) = 5*b(j) - 2*z(j). Does 49 divide d(-5)?
False
Suppose 112*r = -5*l + 109*r + 1907, 5*r - 20 = 0. Does 10 divide l?
False
Let z be (-7)/56 + (-9675)/40. Let b = -160 - z. Does 2 divide b?
True
Suppose 10 = -3*i - 2*j, -i + 4*i - 5*j = 25. Suppose 2*s - 5*v - 249 = i, 2*s - 123 = s + 2*v. Suppose s - 3 = 6*f. Is 11 a factor of f?
False
Suppose 0 = -5*x + 25, 4*n + 41 = x + 4*x. Is 4*((-58)/n - 2) a multiple of 13?
False
Let l = -1609 - -2411. Suppose l = 21*t - 3734. Is 6 a factor of t?
True
Let k = 2523 + 1554. Is k a multiple of 115?
False
Let u(a) = -2*a**3 + 16*a**2 - 3*a + 29. Let s be u(8). Let v be (20/6)/(2/114). Suppose 126 = 3*t - 4*i + i, v = s*t + 5*i. Is t a multiple of 8?
True
Let o(g) = -23446*g - 426. Does 20 divide o(-1)?
True
Let l(s) = -s**2 - 25*s + 70. Let x be l(-16). Suppose -2*w + 2*z + 162 = -x, -5*z = 5*w - 950. Is w a multiple of 63?
True
Let y(v) be the third derivative of v**4/12 - 3*v**3 + 5*v**2. Let q be y(9). Suppose -43*f + 44*f - 30 = q. Is 8 a factor of f?
False
Suppose -2*v + 8223 = -q, 3*q - 20596 = -2*v - 3*v. Is v even?
False
Is (5 - (-8)/(40/(-15)))*31 a multiple of 62?
True
Let f(j) = 282*j + 2078. Is f(6) a multiple of 4?
False
Let v = -8754 - -15438. Is 45 a factor of v?
False
Suppose 362250 = 130*d - 20914 - 112916. Does 36 divide d?
True
Let x(h) = -h**2 + 10*h + 21. Let t(c) = 2*c**2 - 19*c - 41. Let s(i) = -3*t(i) - 5*x(i). Let p be s(8). Suppose -2*l - 1792 = -p*l. Is 16 a factor of l?
True
Suppose -y + 3 = 0, 205 = 28*a - 27*a + 3*y. Let u = -236 - -336. Let t = a - u. Is 6 a factor of t?
True
Let b = -1525 + 1746. Does 15 divide b?
False
Is 20 a factor of (-267440)/(-35) + 120/(-105)?
True
Let g = 3597 + -1979. Let u = 2710 - g. Is 21 a factor of u?
True
Let g(q) = 20*q**2 + 12*q + 41. Let u be g(-3). Suppose -m + 9*a = 14*a - u, a - 1 = 0. Does 36 divide m?
True
Let d be -33 - (-8 + (-20)/(-5)). Let s = -25 - d. Suppose -2*w = -3*r - 54, -s*r + 3 = -5. Is 15 a factor of w?
True
Let y be 40/5 - (4 - 1). Suppose n - 438 = -y*x, -22*n + 25*n - x = 1266. Is 89 a factor of n?
False
Let s = 3675 - 3655. Let x be (-2)/(-1) + 0 + 13. Suppose s*f - x*f = 100. Does 4 divide f?
True
Let z(a) = -7*a**2 + a + 13. Suppose 13*c - 51 = 14. Let b be z(c). Let d = -78 - b. Does 14 divide d?
False
Suppose 42*a + 16*a = -11*a + 5897154. Does 31 divide a?
False
Let r(v) = -v**3 - 11*v**2 - 24*v + 3. Suppose 0 = 2*q + 2*h + 6, -2*q - 26 = -2*h. Let t be r(q). Suppose -g + 1 = 0, -2*g = t*d + 9 - 68. Does 7 divide d?
False
Suppose 586 + 96 = v - y, 2*y = -v + 670. Does 18 divide v?
False
Is 7 a factor of (-21)/((-12)/(-4)) + (-5005)/(-7)?
False
Let k = 41 - 24. Let s(g) = g**3 - 17*g**2 - 3*g - 8. Let v be s(k). Let b = -18 - v. Is 22 a factor of b?
False
Let t(f) be the first derivative of 3/2*f**2 + 34 + 5/3*f**3 + 20*f. Is 20 a factor of t(5)?
True
Let i = -20700 - -25320. Is 11 a factor of i?
True
Let y = -248 + 488. Let k(a) = -a**2 - 8*a - 12. Let v be k(-5). Suppose -v*i + y = i. Does 20 divide i?
True
Let b(q) = -5*