 + 2193. Does 7 divide n?
True
Suppose 97*h = -49*h + 674812. Is 6 a factor of h?
False
Let d(h) be the third derivative of h**6/20 - 2*h**5/15 + 10*h**3/3 + 75*h**2 + 3. Does 39 divide d(5)?
False
Let h be 22/6 + (-2)/3. Let v(x) = 2*x**3 - 17*x**2 - 13*x + 263. Let m be v(8). Suppose h*t = -20 + m. Is t a multiple of 8?
False
Let s(j) = -15*j**3 - 2*j**2 + 7*j + 11. Let w be s(-5). Let n = w + -811. Is n a multiple of 66?
True
Let f(s) = s**3 + 6*s**2 - 9*s + 2. Let z(p) = p - 1. Let y(k) = f(k) + 2*z(k). Is y(-5) a multiple of 6?
True
Does 10 divide ((-6)/12)/((115/(-72790))/23)?
False
Is 18 a factor of 128/(-576) + 356588/36?
False
Suppose 1164046 = 75*m - 636329. Does 71 divide m?
False
Let o(q) = -191*q - 8. Let m be o(-4). Is 13 a factor of (-26)/(-2 - m/(-385))?
True
Let c(n) be the second derivative of n**5/20 - 7*n**4/12 - 3*n**3 - 10*n**2 - 37*n. Let v be c(10). Is (-60)/v - 948/(-5) a multiple of 11?
False
Suppose -1616 = 12*q + 4*q. Let m = q + 98. Is 7 a factor of 3 + m/(-6)*8?
True
Suppose 0*x + 59*x - 863379 = -22*x. Is 51 a factor of x?
True
Let w(r) be the second derivative of 107*r**4/6 + r**3 - 2*r**2 - 19*r. Suppose 9 = 8*x + 1. Does 21 divide w(x)?
False
Let o(i) = -695*i + 49. Is 23 a factor of o(-2)?
False
Suppose -4*s - 5*o + 41 = 0, -3*s = -6*o + o - 57. Let b = -11 + s. Does 37 divide (347/b)/((-10)/(-30))?
False
Suppose -18*r - 3550 = -17068. Is 13 a factor of r - ((-12)/8)/((-4)/(-8))?
True
Let l = 407 + -411. Let q(u) = 34*u**2 - u + 2. Is q(l) a multiple of 83?
False
Let o = -29 - -35. Suppose -4*z = -4*p, 0 = -0*p - 3*p + o. Suppose -b - 5*a + 8 = -a, -z*b = -5*a - 42. Does 16 divide b?
True
Suppose 6*b = 15*b + 17*b - 194350. Is b a multiple of 58?
False
Suppose -4*x + 4*h + 40 = 0, -4*x - 3*h + h + 64 = 0. Let z = x + -12. Does 4 divide 0 - (z + -110)/3?
True
Let l = 728 + -275. Suppose 450*x + 615 = l*x. Is 41 a factor of x?
True
Let g = 1630 + -2320. Let a = 1158 + g. Is 14 a factor of a?
False
Let k = -40 - -43. Suppose 4*i + 5*h = 159, -2*h = k*i - 4*h - 125. Let g = i - 18. Is 7 a factor of g?
False
Suppose -6*h = -7*h + 2*t + 493, 3*h - 4*t = 1487. Suppose -2*j - 5*v + 441 = 0, -2*j + h = -2*v + 95. Is 12 a factor of j?
False
Suppose -13*u + 51*u = 6612. Is (u - -5) + (0 - 5/(-5)) a multiple of 36?
True
Let o be 2 + (-1 - -3) - -1. Let f be 656 - 42 - 2/(-1). Suppose -f = -o*m - 76. Is 36 a factor of m?
True
Let w(z) = -z**3 - 6*z**2 + 35*z + 38. Let x be w(-16). Suppose -5*m = 4*n - x, -n - 3*m + 6*m = -501. Is 80 a factor of n?
False
Let k(j) = 40*j**3 - 2*j**2 + 381*j - 3357. Does 153 divide k(9)?
True
Let o(y) be the third derivative of 5*y**4/24 - 19*y**3/3 + 2*y**2. Let r be o(10). Suppose 46 = 2*f - 4*t, -4*t + t = -r. Is 6 a factor of f?
False
Let m(r) = 11*r - 29. Let v be m(14). Let q = v + -79. Is q a multiple of 4?
False
Let a(x) = 100 - 1 - 19 - x**2. Is 18 a factor of a(0)?
False
Let k = 3386 + -2337. Suppose 3*g - 92 = -4*a + 539, 5*g + 4*a - k = 0. Is g a multiple of 11?
True
Suppose 0*z + 2*w = -z - 77, 2*w + 314 = -4*z. Let n = 83 + z. Let r = 20 - n. Is r a multiple of 4?
True
Suppose 150*t - 159*t - 4959 = 0. Let q = t + 656. Is 3 a factor of q?
True
Suppose -3*j - 2*z - 218 = 0, -6 - 4 = -5*z. Let b = j - -723. Does 59 divide b?
True
Let k be 2*10 - (-8)/4. Suppose 27*l - 15 = k*l. Is 13 a factor of (l/(-6))/1*-554?
False
Let s(k) = k - 5. Let u be s(7). Suppose u*p - 2 = -22. Is 3 a factor of 20*1*(-6)/p?
True
Let j = 22910 + -15377. Is 93 a factor of j?
True
Let l be 9 + 20/(-8)*(-40)/(-25). Let r = l - 3. Is 4 a factor of r + (-1 + 31 - 0)?
True
Suppose 0 + 0 = 7*v. Suppose 89*q - 92*q + 1110 = v. Is q a multiple of 14?
False
Suppose 0 = 12*n - 138*n + 7*n + 595357. Is n a multiple of 28?
False
Suppose -5*c - 108 = -9*c. Suppose 0 = -25*h - c*h + 6760. Is 5 a factor of h?
True
Let w be (-818)/(-2) - (8 - 11). Does 23 divide w/6 - (-7)/21?
True
Let h = -208 + 6101. Is h a multiple of 8?
False
Suppose 0 = -25*t + 14148 + 3527. Does 7 divide t?
True
Let n = -181 + 172. Does 19 divide (-743)/(-5) - ((-235)/25 - n)?
False
Suppose -17*y = -84 + 16. Suppose 1527 = 5*d + 5*w - 2423, 0 = 4*d - y*w - 3152. Is 34 a factor of d?
False
Suppose 1884*c = 1882*c - 4*p + 59056, 147706 = 5*c - p. Is c a multiple of 28?
True
Let t(u) be the second derivative of u**5/20 - 19*u**4/12 + 49*u**3/6 + 9*u**2/2 + 4*u. Let l(f) = -7*f - 26. Let x be l(-6). Does 7 divide t(x)?
False
Let v be 4 - 9 - (-6 - -2). Let a be 2*((-9)/(-6)*-1)/3. Does 31 divide (v/a + 5)/(14/434)?
True
Suppose m + 3*f - 1 = 5*f, -4*m + 4*f = -24. Suppose -7*n + 1817 - m = 0. Let a = -148 + n. Is a a multiple of 11?
True
Suppose q + 6487 = 3*y, y - 3*y + 5*q + 4303 = 0. Suppose -228*a - y = -232*a. Is 38 a factor of a?
False
Suppose 216*g - 135253 - 87011 = 0. Is g a multiple of 6?
False
Suppose -17*t = -21*t + n + 39203, -3*n = -t + 9798. Is 11 a factor of t?
True
Let g(d) = -d**2 - 15*d + 19. Let t = 9 - 16. Let f = -20 - t. Is g(f) a multiple of 15?
True
Let m be 10/20 - (-2 - (-1)/(-2)). Suppose -385 = 2*d + m*d. Let x = 53 - d. Does 23 divide x?
False
Suppose 8*j - 6*j = 52. Suppose -4*i = 2*w, i - 3 = -4. Suppose -o - w = -j. Is o a multiple of 24?
True
Is 6 a factor of (14 - 6928)/((-12)/18)?
False
Let s(p) = 5*p**3 - 142*p**2 + 37*p + 120. Let q(n) = -n**3 + 35*n**2 - 9*n - 30. Let j(b) = 9*q(b) + 2*s(b). Is 17 a factor of j(-31)?
True
Let r = 13 + -10. Let u(q) = -14*q**3 + r*q - 3 - q**2 + 9*q - 14*q. Is u(-2) a multiple of 33?
False
Let o(y) be the second derivative of y**4/3 - 11*y**3/6 + 19*y**2/2 + y. Let b = 196 + -189. Is 23 a factor of o(b)?
True
Let p(x) = -5*x - 42. Let l be p(-11). Is 8 a factor of 68/(l/2 + -6)?
True
Suppose 18*b - 9700 = 7778. Is 36 a factor of b?
False
Suppose -2*m - 35 = 73. Let f be (-5)/(25/m)*15. Let o = f - 104. Is o a multiple of 6?
False
Is 21 a factor of 13 - -2839 - ((-23)/6 + 34/(-204))?
True
Let v(g) = -2*g**2 - 47*g - 53. Let d be v(-34). Let u = -678 - d. Is u a multiple of 3?
False
Let k(y) = -y**2 - 3*y - 52. Let s be k(0). Let c = s + 236. Is 24 a factor of c?
False
Suppose 5 = -5*m + 15. Let r(z) = 25*z**2 + 14 - z**2 - 32*z + z**3 - 2*z**m. Is r(-23) a multiple of 17?
True
Let t = 4691 - 3150. Suppose 12*z - t - 8443 = 0. Is 32 a factor of z?
True
Is 8 a factor of (-2*(-1)/(-4))/(101/(-155338))?
False
Let w(v) = 5*v**2 - 2. Let p be w(1). Suppose 0 = -4*k + 4*r + 2652, 217 = -2*k - p*r + 1543. Is k a multiple of 13?
True
Let h be 619/(-2) + (-6)/(-12). Let x = h + 333. Does 6 divide x?
True
Is 5 a factor of 431709/151 + (6/15 - 66/15)?
True
Let g = 611 + -1005. Let d = g - -762. Is d a multiple of 46?
True
Let j be ((-126)/(-48))/7*8. Suppose 0 = 5*p - 5, j*x + 2*p - 301 = 61. Does 15 divide x?
True
Let w be 3/(-9) - (-2 - 5/(-3)). Suppose w = -3*b - z + 123, 0 = 3*b + z + 2*z - 129. Let g = -10 + b. Does 10 divide g?
True
Suppose -4*i + 24*i + 13*i = 517770. Is i a multiple of 15?
True
Suppose 13*z = 9*z + 32. Suppose -z*u = -5*u - 2*k - 662, 5*u = 2*k + 1106. Does 6 divide u?
True
Suppose 3*a = -0*a + 31*a - 767228. Does 47 divide a?
True
Suppose o - 125 = -4*d - 25, -o + 4*d = -132. Suppose -8*q + 35 = -5. Suppose -o = -q*s + 244. Is 9 a factor of s?
True
Suppose -211 = -4*p + 3*p + 4*o, 449 = 2*p + o. Let k = 772 - p. Is k a multiple of 22?
False
Let y = 24075 - 4671. Is 252 a factor of y?
True
Let u be 3/(-1 + 4/6). Let w(q) = -q**2 - 10*q - 8. Let v be w(u). Does 15 divide 4/10 + v/((-15)/(-1749))?
False
Let r be 22872/9*12/8. Suppose -36*u = -r - 2128. Is 45 a factor of u?
False
Let f(d) = 17*d**3 - d**2 - 3*d - 4. Let t(c) = 2*c**3 + 2*c - 1. Let v(r) = f(r) + 2*t(r). Is v(2) a multiple of 80?
True
Let n(s) = -9*s**3 - 43*s**2 + 31*s + 79. Let m(b) = -5*b**3 - 22*b**2 + 16*b + 40. Let o(k) = 11*m(k) - 6*n(k). Is o(14) a multiple of 11?
False
Suppose -5*y + 3*r - 2104 - 86 = 0, 3*y = -4*r - 1285. Suppose 3*n = 3*v + 9, -5*v - 13*n = -16*n + 19. Does 19 divide (4 + v)/(3/y)?
False
Suppose 0 = -414*c + 428*c - 106624. Is 28 a factor of c?
True
Let u be 8/(-20) - (-2786)/(-35). Does 5 divide (-5)/u*172*4?
False
Let f(r) = 137*r + 1123. Does 2 divide f(2)?
False
Let h = -1866 - -9224. Does 13 divide h?
True
Suppose 2 = -5*p + 42. Let z(n) = -2*n + 14. Let c be z(p). Le