 -j**2 - 13*j + 4. Let z be k(-15). Let i(h) = -h**2 - 37*h - 27. Let o be i(z). Let f = o - 177. Does 8 divide f?
False
Suppose -2*j = m + 52 + 35, -3*j - 4*m - 128 = 0. Let g = j + 76. Suppose 5*x + g - 522 = 0. Is x a multiple of 7?
True
Let n = 6 - 3. Let b(v) = -84*v + 16. Let o(u) = -43*u + 8. Let q(a) = 3*b(a) - 7*o(a). Is q(n) a multiple of 28?
False
Suppose 5*t + 0*t - 25 = -3*k, 5*t + 2*k = 20. Let z be (-4)/t + (-86)/(-2). Let a = 7 + z. Does 12 divide a?
True
Suppose 61*t = 83*t - 277794. Suppose 0 = -13*w - 48*w + t. Does 23 divide w?
True
Suppose -4*a = -3*g + 2793, -4*g + 3717 = 11*a - 14*a. Is g a multiple of 3?
True
Suppose -32*m - 20*m = -61*m + 15768. Is m a multiple of 62?
False
Let l be (-18)/9 + (-6)/(2 - 4). Let t(p) = 441*p**2 - 4*p + 3. Is 25 a factor of t(l)?
False
Let a(z) = 28*z**2 - 3*z + 294. Is a(-18) a multiple of 60?
True
Let j = 57 + -52. Suppose -j*y - 1 = -11. Suppose -t - y*h + 28 = -7, -23 = -t + h. Does 9 divide t?
True
Let x be 386/(-4) + 8/(-16). Let u = x + 169. Suppose 2*c = -4*b - 2*c + u, -c + 90 = 5*b. Is 3 a factor of b?
True
Let l = 421 + -391. Suppose 8*p + 2706 = l*p. Is 10 a factor of p?
False
Let l(f) be the third derivative of -f**7/504 + f**6/90 - 11*f**5/60 - 20*f**2. Let b(v) be the third derivative of l(v). Does 4 divide b(-2)?
True
Let t be (-1)/(-2) - (9 - 7875/14). Let v = t + -122. Is v a multiple of 54?
True
Let t = 4911 + -3485. Is t a multiple of 23?
True
Let q(r) = 0*r - 15 - 7 + r + 5. Let a be q(12). Does 4 divide 2*-8*(-2 - a/4)?
True
Let x be (-6)/(-9) + (208/6)/8. Let z(w) = 24*w**2 - 10*w - 14. Is z(x) a multiple of 6?
False
Let k(g) = 14*g**2 + 5*g + 18. Let a be (-6)/(3/9*3). Let p be k(a). Suppose -68 = -5*z - 2*o + p, 4*z = -5*o + 431. Does 22 divide z?
False
Suppose 0 = -r - 2*f - 33, -r + f = 15 + 18. Let v = -557 + 534. Let y = v - r. Does 5 divide y?
True
Let v(u) = -6*u + 287. Let t be v(30). Let l = 321 + t. Is 8 a factor of l?
False
Let z(y) = 135*y + 36. Let r be 12/32 + 6/((-96)/(-58)). Is z(r) a multiple of 72?
True
Let m = -189 + 184. Is 6 a factor of (28/70 - 1248/m) + -4?
True
Let i(g) = -7*g - 27. Let a be i(4). Is 2 a factor of (a/25 + 2)/(4/(-460))?
False
Let d(n) be the second derivative of -1/6*n**3 + 0 - 21/20*n**5 - 26*n + 1/6*n**4 - n**2. Is 22 a factor of d(-2)?
True
Suppose -6*a + 775 = -341. Is (-28)/(-1)*a/7 a multiple of 20?
False
Suppose -11*o + 36 = -2*o. Let w be 1*(o + -4) - 9. Is (w/(-4))/(2/8) a multiple of 3?
True
Let s(q) = 187*q**3 - 17*q**2 + 18*q - 16. Is s(6) a multiple of 32?
True
Let z(l) = 150*l + 2. Let i be z(3). Suppose -3*a + i = -k, -5*a + 4*k + k = -750. Suppose 2 = d - a. Is 21 a factor of d?
False
Let a(m) = 131*m**2. Let v be a(-1). Suppose -2*n = -4, v + 7 = 2*z + 2*n. Suppose t - 2*y - 33 = 0, 3*t - 4*y - 36 = z. Is t a multiple of 37?
True
Let n be 1/2*3312/(-9). Let s = 356 + n. Let v = -77 + s. Does 19 divide v?
True
Let i be 13/(-130) + 3591/(-90). Suppose -6 = -5*d - 331. Let f = i - d. Is 18 a factor of f?
False
Let k be -2 - ((-3 - -2) + -149). Let s = -549 - -554. Suppose -k = -4*t + 2*v, -3 = s*v + 17. Is t a multiple of 8?
False
Let u(y) = 3*y**3 - 8*y**2 - 3*y - 11. Let t be u(4). Suppose 40*n = t*n - 676. Is 13 a factor of n?
True
Is 35 a factor of (-32)/5 + 6 + (-6080968)/(-170)?
True
Let p(i) = 106*i**2 + 54*i - 206. Is p(4) a multiple of 4?
False
Let h(r) = 7*r**3 - 13*r**2 + r - 17. Let a(v) = 19*v**3 - 38*v**2 + 4*v - 50. Let m(t) = -4*a(t) + 11*h(t). Is m(-7) a multiple of 2?
True
Suppose 2*d + 5*q - 7 = -80, -4*q - 116 = 4*d. Let l(v) = -2*v - 36. Does 10 divide l(d)?
False
Let b be ((-2)/4)/(25/(-57100)). Suppose 678 = 13*w - b. Is 8 a factor of w?
False
Suppose 7*y + 2*k = 3*y + 30, 10 = -y + 3*k. Suppose 3*t = 4*n + 1, -y*t = 6*n - 7*n - 13. Suppose 4*j - 64 = -2*i, n*i - 3*i = 0. Is 8 a factor of j?
True
Let g(d) be the first derivative of d**4/4 + 8*d**3/3 - 4*d**2 + 9*d - 119. Does 3 divide g(-7)?
True
Is -104*(-3444)/448 - 11/2 a multiple of 156?
False
Let c(y) be the first derivative of y**4/2 - 4*y**3 + 6*y**2 - 57*y + 101. Does 2 divide c(6)?
False
Suppose -4*m - 4 = 0, 3*r = -2*r - 2*m + 33. Let x(p) = -2*p**2 + 16*p - 25. Let b(i) = -i**2 + i - 1. Let z(w) = -b(w) + x(w). Is z(r) a multiple of 4?
True
Let u be 5/25*(2 + 8). Suppose 0 = -4*d + 3*n + 1635, 7*n - u*n = -5*d + 2035. Is d a multiple of 17?
True
Is 0 - -655 - (-2 - (5 - 3)) a multiple of 8?
False
Let q be (-2176)/(-10)*(-2115)/(-94). Suppose -3*b = 31*b - q. Is b a multiple of 10?
False
Suppose -190 = -11*c + 16*c. Let q = 62 + c. Let m = q - 13. Does 5 divide m?
False
Let q be 15510/(-75) + 10 + 12/(-10). Let z = q + 992. Does 64 divide z?
False
Suppose 7*j + 10*j = 7956. Does 78 divide j?
True
Let d be (-42152)/(-154) + (-4)/(-14). Suppose -d = 4*u - 410. Is 21 a factor of u?
False
Suppose -2*p - 67 = -0*p - q, -4*p - 4*q = 116. Let u = p + 142. Does 5 divide u?
True
Let r be 0*(4 - 2)/(-2). Suppose -4*t - 12 + 32 = r. Suppose -g - 4*g + 10 = t*z, 4*g + 7 = z. Is 3 a factor of z?
True
Let h(s) = 10*s**2 + 50*s + 130. Does 20 divide h(-21)?
False
Let b(k) = 9*k**2 - 11*k - 14. Suppose -5*j - 2 - 34 = 3*c, -19 = c + 4*j. Is 63 a factor of b(c)?
True
Let x = -52 + 59. Suppose x*z = 120 + 769. Is z a multiple of 22?
False
Suppose 0 = -j - 2*g + 9, -4*g = -7*g + 9. Suppose j*p + 968 = -2*s + 4*s, -5*s + 2410 = -5*p. Is s a multiple of 32?
False
Suppose -7682 = -3*y - 20*y. Suppose -15*q + 251 = -y. Is 22 a factor of q?
False
Let n be ((-75)/10 + 3)*-6. Suppose -5*x = 0, 4*b = n*x - 32*x + 2636. Is b a multiple of 10?
False
Suppose -5*r + 13590 + 20520 = 0. Does 39 divide r?
False
Let a(f) = -4*f**2 - 14*f + 3. Let g(w) = 2*w**2 + 7*w - 2. Let d(o) = 3*a(o) + 5*g(o). Let s be d(-3). Suppose -s*p = 3*p - 155. Does 7 divide p?
False
Let b(w) = -w**3 - 34*w**2 + 2*w - 131. Is b(-37) a multiple of 36?
False
Let i(g) = g**3 + g**2 + g + 2. Let h be i(0). Suppose -311 = -4*z + 5*p, h*z + 6*p - 157 = 7*p. Is z a multiple of 75?
False
Let t(v) = v + 9. Let o be t(4). Let b(y) = 7*y**2 + 48*y - 13. Let g(z) = -4*z**2 - 24*z + 7. Let p(m) = -6*b(m) - 11*g(m). Does 3 divide p(o)?
True
Let w = 14241 + -4116. Does 75 divide w?
True
Does 16 divide 1/((11/(-82027))/(-8 + 7 + -2))?
False
Suppose -11*h + 1323 = -18*h. Is 24 a factor of 6/(-63) - 9090/h?
True
Let v(s) = -s**3 - s**2 - 18*s - 6. Let b be v(-7). Suppose b + 290 = 8*h. Is h a multiple of 8?
True
Let d = 8538 + -4820. Is d a multiple of 22?
True
Is ((-10)/(-25))/(18/15) + 12138/9 a multiple of 12?
False
Suppose 103109 = -73*j + 100237 + 929096. Is 26 a factor of j?
True
Suppose 4*p + 3*s - 236 = 0, 0 = 4*p - 4*s + 3 - 239. Let t = -449 + 487. Let f = p - t. Is 21 a factor of f?
True
Suppose -83*g + 325608 = 70715. Does 19 divide g?
False
Suppose -33*x + 34*x = 4. Suppose 0 = 6*m - x*m - 8. Does 24 divide (115 - m)*(-1)/(9/(-6))?
False
Suppose -11*l + 8*l + 18 = 0. Suppose -5*h - l*h + 726 = 0. Let j = -32 + h. Does 19 divide j?
False
Let u(h) = 2*h**3 - 38*h**2 - 24*h - 1. Let s(m) = -5*m + 171. Let i be s(30). Is 17 a factor of u(i)?
False
Suppose -l + 1 = 3*y, -2*y = 2*l - y - 7. Let v(j) = -98 + 5*j + 0*j + 102. Does 8 divide v(l)?
True
Suppose 0 = 7*c + 73 - 31. Does 25 divide (65/(-3))/(c/90)?
True
Suppose -3*g = -3 - 39. Let p be ((-6)/(-10))/(g/210). Is ((-3)/(-1))/(p/216) a multiple of 9?
True
Let w(o) be the first derivative of o**3/3 + 2*o**2 + 150*o + 35. Is 6 a factor of w(0)?
True
Let f = 35179 + -28038. Is 56 a factor of f?
False
Let q(g) = -325*g - 2341. Does 11 divide q(-18)?
True
Suppose -21*a + 105*a = 268800. Does 100 divide a?
True
Suppose 36 = 6*j - 42. Suppose -j*v + 7416 = 1085. Is v a multiple of 49?
False
Let t(h) = -350 + 3*h + 3*h + 34*h + 8*h + 7*h. Does 10 divide t(26)?
True
Let d be 2 + 117 + 1 - (1 - 0). Let b = d + 71. Is 19 a factor of b?
True
Let h = 0 - -11. Suppose j + 8 = -5*w, h = j + w - 1. Is j a multiple of 9?
False
Let s(j) = -9*j**2 - 10*j - 3. Let p be s(-7). Let g = p - -836. Is g a multiple of 26?
False
Let d = -2268 - -2914. Is d a multiple of 11?
False
Suppose 5*u - k - 997 = 0, -k - 4 = -2. Suppose -14*s + u = -25. Is 5 a factor of s?
False
Let d = 4571 - 2075. Suppose -7*j + 1144 = -d. Does 26 divide j?
True
Does 14 divide (-42)/((-