d**3 - 3*d**2 + 34. Does 6 divide i(8)?
True
Let x = 13 + -17. Let u = -2 - x. Suppose -3*o + 4*j = u*j - 196, -5*j = 2*o - 156. Is o a multiple of 17?
True
Let m(a) = 5*a**2 + 8*a - 5. Let l be m(-4). Let j = -9 + l. Is j a multiple of 7?
False
Suppose 2*r = -2*r + 12. Suppose 2*n - 16 = -2*c, -r*n - 1 = c + n. Suppose 51 = 2*b - c. Is 15 a factor of b?
False
Suppose 0 = -3*a - 20 - 64. Let v = a - -39. Is v a multiple of 8?
False
Let h(u) = 10*u**2 - 6*u - 916. Is 34 a factor of h(-26)?
False
Let a be 2 - (-24)/15 - 18/30. Let d(b) = 4*b**2 + 2*b - 7. Is 5 a factor of d(a)?
True
Suppose 4*q = 1 + 7. Suppose q*g - 16 = -6. Is -5*((-12)/g - 2) a multiple of 15?
False
Let y = -31 + 56. Suppose 0 = -4*o + 261 - y. Is 9 a factor of o?
False
Let r be (-153)/(-21) - 6/21. Suppose r*a - 400 = 3*a. Does 33 divide a?
False
Suppose 10 = 4*k - 10. Let a(h) be the first derivative of 2*h**3/3 + 10*h + 1. Is 16 a factor of a(k)?
False
Let o be (-1 + 3 + 3)*1. Suppose o = w, -4*y + 65 = -w - 22. Let j = y + 3. Does 7 divide j?
False
Let d = 10 - 20. Does 6 divide ((-94)/d + -2)*(-15 + 20)?
False
Suppose -4*j + 33 = 3*d, -18 = -5*d + j + 37. Let f = -6 + d. Suppose -v = 5*p - f, -5*v + 43 = -3*p - 10. Is 3 a factor of v?
False
Suppose 0 = -h + 2*h + 5*b + 10, 2*h = 2*b + 16. Suppose 11*u + h = 10*u. Let i(f) = -f**2 - 12*f + 7. Does 9 divide i(u)?
False
Let t(x) = -78*x - 306. Is 19 a factor of t(-47)?
False
Suppose -7*d - 50 = -2*d. Let h(z) = -6*z + 30. Is 12 a factor of h(d)?
False
Let x be (-7)/(1/(-9) + 0). Let s = x + -27. Does 12 divide s?
True
Let x(a) = 2*a**2 - 15*a + 2. Suppose -32 = -3*r - q, -4*r + 40 = -2*r - 4*q. Is 27 a factor of x(r)?
False
Let i(y) = -y**3 - 34*y**2 - 26*y - 133. Does 43 divide i(-34)?
False
Let c(r) = 4*r**2 - 4*r - 4. Let i be c(3). Let s = 214 + i. Does 26 divide s?
True
Let k(j) = j - 7. Suppose 0 = m + 4*m - 30. Let u be k(m). Does 19 divide ((u - -4) + -2)*19?
True
Suppose -39*r - 735 = -44*r. Is r a multiple of 7?
True
Let m = -27 - -31. Does 20 divide ((-66)/m)/(3/(-8))?
False
Suppose 1424 = 24*a - 22*a. Is a a multiple of 26?
False
Is (0 - -80)*15/(150/185) a multiple of 8?
True
Suppose -a - r + 43 = 3*a, a + 5 = 5*r. Let k be (-334)/7 - a/35. Let h = -27 - k. Is h a multiple of 8?
False
Let g be (-1260)/(-18) - -1*1. Suppose -73*c = -g*c - 132. Does 32 divide c?
False
Let q(n) be the second derivative of -n**4/12 - 2*n**3 - n**2 + 2*n. Let d be (-2)/(((-1)/4)/(5/(-4))). Is q(d) a multiple of 6?
True
Let s(m) = -6*m + 6. Let d be s(7). Let q be d/(-15) - 6/15. Suppose -q*a - a = -57. Is 6 a factor of a?
False
Let h(y) be the third derivative of 3*y**4/8 + y**3 + 7*y**2. Let z be h(17). Suppose 2*w - 5*s = 59, 2*w - s = -3*w + z. Is 27 a factor of w?
False
Let l = 32 + -29. Suppose t = 2*w - 178 + 26, 0 = l*w + 3*t - 246. Is w a multiple of 16?
False
Let n(g) be the second derivative of -17*g**4/4 - g**3/3 - g**2/2 + 3*g. Let b be n(-1). Let z = b - -99. Is 14 a factor of z?
False
Let o(p) = -p**2 - 11*p - 19. Let t be o(-3). Let s(q) = -q**3 + 10*q**2 + 9*q + 7. Let j be s(9). Suppose j = t*l - n + 2, -4*n = -5*l + 158. Does 7 divide l?
False
Let g(m) = m**3 + 6*m**2 - 9*m - 9. Let i be g(-6). Let h = i + 3. Is h a multiple of 48?
True
Suppose -4*i - 30 = -5*d + i, -5*i - 24 = -3*d. Suppose o - 2*k - 18 = -0*k, d*o + 3*k - 63 = 0. Let r = o + 28. Is r a multiple of 12?
True
Suppose -2*c = -3*c + 4. Suppose 34 = 3*l - c*p, 65 = 5*l - 0*p - 5*p. Let z(o) = o**2 - 18*o + 15. Is 6 a factor of z(l)?
False
Let z = 1145 + -797. Is 12 a factor of z?
True
Let j be 36/14*14/(-2). Let w be 60/(-8)*-14*-1. Let o = j - w. Does 29 divide o?
True
Let o(c) = 2*c**2 - 9*c - 20. Is o(-9) a multiple of 17?
False
Let v(g) = 20*g**3 + 2*g**2 - 1. Let c be v(1). Let s = -17 + c. Suppose 2*m + 22 = 2*r - 2*m, -s*m - 37 = -3*r. Does 8 divide r?
False
Let g = -20 - -70. Let w = g + -34. Is 2 a factor of w?
True
Let i(f) = -11*f + 2. Let y be i(-6). Let j(u) = 6*u - 40. Let w be j(9). Let s = y - w. Is s a multiple of 18?
True
Suppose 0 = -2*h + 3 + 3. Suppose -h*w - 84 = -0*w. Is 3 a factor of (-3)/(w/(-20) - 2)?
False
Let d(n) = 24*n**2 + n + 2. Let a = -50 - -48. Does 48 divide d(a)?
True
Let h(u) = u**2 - 9*u + 12. Let t(p) = -2*p**2 + 18*p - 24. Let c(l) = 5*h(l) + 3*t(l). Let g be c(7). Suppose -68 = -4*r + g*r. Is r a multiple of 10?
False
Suppose -1140 = 3*i + 5*r + 29, -4*i = -3*r + 1520. Let f = 692 + i. Does 43 divide f?
False
Suppose -4*n + 8 = -4*g + 448, 3*g - 362 = -5*n. Is g a multiple of 21?
False
Let q = -54 - -57. Is -4 - -114 - (-12)/q a multiple of 9?
False
Is 43 a factor of 10 + (-6 - 29412)/(-6)?
False
Let t(s) = 4*s - 27. Let c be t(9). Is 12 a factor of -108*(3/c - 1)?
True
Suppose g = -2*x - 13, 3*g + x + 8 + 16 = 0. Let h(l) = l + 1. Let q(w) = w + 1. Let a(u) = -3*h(u) - 6*q(u). Does 18 divide a(g)?
True
Let n = -7 + 9. Suppose -5*j - 28 = 2*k, n*j - 3*k = -2*j - 4. Is j/(-8)*38 - -2 a multiple of 7?
True
Does 40 divide 8/(7*(-8)/(-3080))?
True
Let p = 657 + -485. Is p a multiple of 30?
False
Suppose -8*u + 5 = -139. Let h be -1 - (1 - (3 - 1)). Let g = u - h. Is g a multiple of 10?
False
Let s = -2958 - -4155. Does 19 divide s?
True
Does 20 divide (-35)/14 - (-30300)/24?
True
Suppose -33742 = -15*r + 15653. Does 95 divide r?
False
Suppose 2*t = 1 - 897. Let b = 640 + t. Does 27 divide b?
False
Let i = 78 - 71. Suppose i*x - 376 = 177. Does 18 divide x?
False
Suppose -131 = -5*z + 3*a, 2*z + 2*a - 146 = -3*z. Does 7 divide z?
True
Suppose 0 = 2*b - 3*g - 24, 3*b + 4*g + g - 17 = 0. Suppose -b*n + 424 = -n. Is 8 a factor of n?
False
Suppose -9*r = 8*r - 102. Does 52 divide 26/(-1 - r/(-4))?
True
Let n = -19 - -25. Let y be n/14 - (-6)/(-14). Does 5 divide (y + -34)/(1 + -3)?
False
Let j(q) be the first derivative of q**2 - 12*q + 14. Is 2 a factor of j(10)?
True
Let k(w) = 2*w + 2. Let j be k(-1). Suppose 14 = d - 4*r, j - 2 = 2*d + 2*r. Suppose -4*t + 196 = -d*t. Is t a multiple of 26?
False
Let c be ((-13)/3)/(13/(-234)). Suppose 0 = z - 4*z + c. Is 4 a factor of z?
False
Suppose -23*q + 80 = -31*q. Does 2 divide q/(-5) - 42*-1?
True
Let t = 37 + 71. Suppose 5*p + p = t. Is p a multiple of 6?
True
Let d = -49 + 33. Let r be 0/(d/(-4) - 3). Suppose -6 = 3*p, 2*m + r*p = -5*p - 2. Is 4 a factor of m?
True
Let w be (-24)/(-84) - (-38)/14. Suppose -w*j + 183 - 48 = 0. Is j a multiple of 32?
False
Does 7 divide ((-24)/(-20)*1)/((-15)/(-400))?
False
Let t = -727 - -1040. Is 22 a factor of t?
False
Suppose 4*x + x = 4*c - 40, -3*c + 27 = -3*x. Suppose c*a - 1464 = -3*a. Is 34 a factor of a?
False
Let y = 2538 - 1113. Does 75 divide y?
True
Let x = 176 - -520. Is x a multiple of 16?
False
Is 36 a factor of 2 + (-4 - (3 + -2 - 1155))?
True
Suppose -t + 3*t + 4*f = 88, 0 = -3*t + f + 160. Is t a multiple of 26?
True
Suppose 2*k + 9 = 5*z - 22, 4*z - 12 = 0. Is 4 a factor of (-338)/(-5) - 9/(180/k)?
True
Let y = 464 + -424. Does 40 divide y?
True
Let p = 189 - 18. Suppose j - 56 = p. Is j a multiple of 37?
False
Suppose 5*y + 2235 = 5*l - l, -y - 3 = 0. Is l a multiple of 5?
True
Suppose k + 3*k = 60. Let f(v) = -v**2 + 17*v - 15. Let i be f(k). Let w = i + -4. Is 11 a factor of w?
True
Is 34 a factor of (1530/360)/((-1)/(-80))?
True
Suppose 4 = 3*p + 34. Let u be (-1 - -2) + (p - -61). Let k = u - -34. Is k a multiple of 19?
False
Let a be (28/(-12))/(-7)*255. Suppose 3*u - 122 - a = 0. Suppose -z - 25 = -p + 2*z, -3*p + 3*z + u = 0. Does 18 divide p?
False
Is 27 a factor of (5/(80/36))/((-4)/(-96))?
True
Let n(k) = -402*k - 274. Is n(-4) a multiple of 46?
True
Suppose 3*x + 0*n + 90 = 3*n, -5*n = -x - 30. Let r = x - -53. Does 3 divide r?
False
Suppose -4*w - 3*n = 30, -5*n = -3*w - 5 - 3. Is 37 a factor of (-136)/6*w - 3?
False
Suppose 9*d + 196 = 1951. Does 19 divide d?
False
Suppose 0 = 2*k + k - 135. Is 3 a factor of (-85)/(-2)*36/k?
False
Suppose 58 - 216 = b. Let l = -113 - b. Does 9 divide l?
True
Suppose -5*y - 54 = -2*k, 3*y = 5*k - 82 - 15. Suppose 7 = 4*o - k. Is o a multiple of 4?
False
Let t(w) = w**3 - 7*w**2 - 12*w + 7. Let a be (-8)/40 + 46/5. Let d be t(a). Suppose -j - 2*r = -5*r - 16, -3*j - 4*r + d = 0. Does 5 divide j?
False
Suppose 128 = 29*v - 25*v. Suppose 2*h - 12 = v. Is h a multiple of 11