49*m + 8. Is h(8) a multiple of 19?
True
Suppose -4*w + 287 = b, w = 4*w + 2*b - 214. Let g = w + 2. Is g a multiple of 37?
True
Let n(d) = 7*d - 2*d**2 - 14 + 5*d**2 - d**3 + 2*d**2 + 4. Is 5 a factor of n(5)?
True
Suppose 0 = -2*t - t - 21. Is (20/(-2 - t))/1 a multiple of 2?
True
Suppose -4*p - 7*y = -2*y, -3*y - 2 = 2*p. Suppose p*a = -k + 17, -a + 4*a + 47 = 2*k. Does 11 divide k?
True
Suppose -6*w + 27 + 3 = 0. Suppose w*s + 13 = 38. Suppose x = -5*j + 21, -s*x + 2*j = -2*j - 221. Is x a multiple of 9?
False
Let s(g) be the third derivative of g**6/120 - 2*g**5/15 + 5*g**4/12 - 13*g**3/6 + g**2. Let j be s(6). Let x = 41 + j. Is 16 a factor of x?
True
Suppose -h + 5*r = -1429, -4*h + 161 + 5450 = r. Is 39 a factor of h?
True
Suppose -f - 3*f + 3*m = 1110, 4*f = 5*m - 1106. Let o = -405 - f. Is 2 a factor of 3/5 + o/(-15)?
False
Let t(u) = 4*u - 8. Let r(z) = -5*z + 9. Let h(f) = 5*r(f) + 6*t(f). Let w be h(-9). Does 12 divide ((-62)/4)/(w/(-12))?
False
Let v(p) = 5*p**2 + 116*p - 6. Is v(-29) a multiple of 29?
False
Let b be (-7 - 0)*(3 - 6). Let a = b + -18. Is 4 a factor of 40/(-30)*a/(-1)?
True
Let q(f) = f - 3. Let x be q(6). Suppose 10 = -v - x*v + 2*d, d = -2*v + 5. Suppose 2*g + 33 = 2*a - 19, -3*a - 4*g + 64 = v. Is 8 a factor of a?
True
Let z be ((-2)/3)/(1/(-207)). Suppose n + w - 39 = -6, 4*n + w = z. Does 10 divide n?
False
Let s(h) = -126*h**2 - 2*h - 1. Let g be s(-1). Let k = -82 - g. Let u = 36 + k. Is u a multiple of 23?
False
Let r = -410 + 1227. Is r a multiple of 90?
False
Let l = 386 + -134. Is 21 a factor of l?
True
Let z(m) = -m**2 - 7*m + 3. Let q be z(-6). Let h = 13 - q. Suppose -25 = -3*p - h*r, -3*r + 16 + 8 = 3*p. Is p a multiple of 3?
False
Is 23 a factor of 1*(-2)/13 + (-45765)/(-117)?
True
Let c(v) = v**2 - 2*v - 2. Let a be c(4). Let o = a - 2. Suppose -o*h = h - 65. Is h a multiple of 11?
False
Let x = 24 - 19. Let h = x + 18. Suppose 65 = 5*i - 3*u, -h = -i - u - 2. Is i a multiple of 16?
True
Suppose -3*r + 0*r + 11 = 2*p, 2*r = -2. Suppose -4*g = -p*g + 90. Is g a multiple of 10?
True
Let g(m) = 3*m - 19. Let u be g(8). Is 12 a factor of (u/(-4))/(1 + 49/(-48))?
True
Let t(r) = r - 2. Let b be t(14). Let d be (-1)/(3/b*-2). Is 11 a factor of 43 + d/(1 - 0)?
False
Let m = -106 - -111. Suppose 2*q + q - m*y = 160, -124 = -2*q - y. Does 30 divide q?
True
Is 21 a factor of (180/80)/((-21)/(-9016))?
True
Let j(c) = c**3 - 2*c**2 + c. Let q be j(2). Suppose -v + 31 = q. Suppose 3*s - 10 - 17 = -3*b, 3*s = 5*b - v. Does 5 divide b?
False
Suppose l = -0*l + 2*h + 8, 4*l + 2*h = -8. Let u(s) = s**3 + s**2 - 2*s + 13. Does 5 divide u(l)?
False
Let a = -199 + 709. Suppose 5*l + 2*z = -2*z + 510, 0 = -5*l - 2*z + a. Suppose l = 2*v - 2. Is 15 a factor of v?
False
Let v be ((-20)/(-14))/(4/28). Let p(t) = -9*t - v - t**2 + 3 + 5. Is p(-8) a multiple of 2?
True
Suppose a + 0 = 5*i + 15, -22 = i - 4*a. Is (36/63)/(1*i/(-7)) even?
True
Suppose 2*t + 374 = v - 0*t, 0 = -4*v - 3*t + 1496. Does 22 divide v?
True
Is 10 a factor of (-74 + 16/4)*-2?
True
Suppose -4*j = 36 + 84. Let s be 20/j + 106/6. Let o = -10 + s. Is 3 a factor of o?
False
Let n = -40 - -42. Is -4*n/(-12)*18 a multiple of 4?
True
Let s = 12 + -15. Let i = s - -30. Is i a multiple of 5?
False
Let i be -1 + (102/(-85))/(2/(-5)). Suppose -4*v = w - 217, 4*w + i*v = 445 + 451. Is w a multiple of 32?
False
Suppose 320 = k - 94. Does 46 divide k?
True
Let u be 16/(-8)*(-489)/6. Suppose -533 = -3*o - 2*q, 4*q = o + q - u. Is 25 a factor of o?
True
Suppose -5*z - 10 = 5*j, -j - 10 = 3*z - 0*z. Let n(i) = 2*i**3 + 3*i**2 - 3*i + 5. Let f be n(j). Let s = f - 9. Is s a multiple of 9?
True
Let u = 579 - 480. Is u a multiple of 9?
True
Suppose 5*h - 5 - 7 = -3*v, 5*v - 4 = -3*h. Is 11 a factor of v*17/(-3)*6?
False
Let h be 0 + (0/(-1))/(-1). Suppose 3*m - 2*w - 328 = h, 3*m = -w + 218 + 113. Does 28 divide m?
False
Let r be 22*(-2)/(-4) - -1. Suppose -3*y = -c + r, -5*c + 4*y + 100 = -y. Let q = c - 2. Is 8 a factor of q?
False
Let k(z) = 140*z + 22. Does 5 divide k(4)?
False
Let n(l) = -5*l**3 + 1643 - 1643 - 3*l**2. Suppose -k - 3 = 5*o + 24, -2*k = 5*o + 29. Does 18 divide n(k)?
False
Let d = -71 + 175. Is 4 a factor of d?
True
Let i(b) = -b**3 - 4*b**2 + 2. Let n be i(-4). Suppose -n*q + 56 = -q. Suppose -s + q = 17. Does 13 divide s?
True
Let b(h) = -2*h**3 + 25*h**2 - 4*h + 1. Let o be b(12). Let k = o - 88. Is k a multiple of 3?
True
Let f(o) = o**3 - 2*o**2 - 8*o - 8. Does 13 divide f(8)?
True
Suppose -13*g - 5990 = -17*g + 5*i, 4*i = -4*g + 6008. Does 12 divide g?
True
Suppose 2*s + 0*s - 12 = q, 0 = 4*q + 8. Suppose -63 = -s*x + 5*t + 7, -x - t = -8. Does 11 divide x?
True
Let h(j) = j + 9. Let s be h(-7). Is s/5 + 866/10 a multiple of 23?
False
Let i be (-5)/(1/2 + -1). Let r(j) = j - 4. Let o be r(6). Suppose -5 = -2*t + 3*z + i, -o*t + 17 = -z. Is t a multiple of 9?
True
Let f be -2 - (-49 + (3 - 0)). Let s be (-2)/(-11) + (-8)/f. Let i(j) = -j + 46. Does 23 divide i(s)?
True
Let c(s) = -2*s + 2*s**2 - 5*s - 4*s + 4*s - 14. Is 13 a factor of c(7)?
False
Let y(q) = -6*q + 75. Let o(j) = 5*j - 74. Let i(d) = -3*o(d) - 2*y(d). Is i(0) a multiple of 18?
True
Let a be 13/(13/(-232)) + (-6)/(-2). Let f = -128 - a. Is f a multiple of 14?
False
Is 29 a factor of (-1624)/(-6)*-2*18/(-12)?
True
Let f(u) = 22*u**2 - 15*u + 56. Is f(3) a multiple of 10?
False
Suppose a - 111 = -c, 2*a + 3*c - 4*c - 231 = 0. Is a a multiple of 57?
True
Suppose 0 = 6*a - 0*a - 18. Suppose a*r + 65 = 272. Suppose 2*t + t + r = 5*w, 0 = -5*w - 4*t + 83. Is w a multiple of 11?
False
Let i = 50 + -80. Let g be 1/2*i/(-3). Suppose 34 - g = h. Does 14 divide h?
False
Suppose -6*r + o + 55 = -4*r, -5*r - 4*o = -118. Let j = r - 16. Is 2 a factor of j?
True
Does 6 divide 3475/50 + (5/(-2))/(-5)?
False
Suppose -2*v - 78 = -88. Let z be (-154)/(-8) - 6/(-8). Suppose 5*n = -z, -v*a + 11 = -n - 58. Is 13 a factor of a?
True
Suppose 5*y - 2*b = 8 + 10, 2 = -5*y - 3*b. Suppose y*m + 15 = -m. Let v = 15 + m. Is v a multiple of 3?
False
Suppose -4*s = -8*s + 432. Is s a multiple of 6?
True
Let z be (-3)/(-15)*(-90)/(-6). Does 20 divide 0 + z - 1 - -89?
False
Let w be 2 + (0 - (4 + -5)). Is 430/15*w - (-1 - -1) a multiple of 36?
False
Let u = -30 + 19. Let j be (-2 - u)*(-8)/12. Does 16 divide 49 - 1 - (j - -6)?
True
Let j(w) = -44*w**3 - w**2 + 5*w + 2. Is 17 a factor of j(-2)?
True
Suppose -2*h - 5*p + 1 = 0, 2*p + 3 = 1. Let r be (h + -7)*-1 - -27. Suppose -x = -39 - r. Is x a multiple of 14?
True
Does 6 divide (72/14)/((-56)/(-1568))?
True
Let i be ((-3)/(-2))/(3/10). Does 3 divide i + 1/(5/85)?
False
Suppose -10*y = -1625 - 2625. Is 33 a factor of y?
False
Let d(h) = -49*h**2 + 4*h - 11. Let m(y) = -146*y**2 + 11*y - 32. Let q(l) = 17*d(l) - 6*m(l). Is q(-2) a multiple of 13?
False
Suppose 0 = 16*x - 44*x + 5208. Is 4 a factor of x?
False
Let d = -119 + 246. Suppose -4*q - 7 + d = 0. Does 20 divide (36/15)/(3/q)?
False
Let o = -87 - -61. Let b = 11 - o. Is b a multiple of 9?
False
Suppose l - 413 = -5*h, -796 = -2*l + 9*h - 13*h. Does 2 divide l?
True
Let c(q) = -2*q**2 + q + 2. Let u be c(-2). Suppose -4*x - 16 - 54 = -2*j, 2*x + j + 29 = 0. Let b = u - x. Does 4 divide b?
True
Suppose 3*u = 9, -3*h = -3*u + u + 246. Let k = h - -86. Is k even?
True
Does 63 divide (-12)/66 - (-5876)/11?
False
Let f be ((-3)/1)/((-20)/100). Does 10 divide (58 - -1) + (f - 14)?
True
Suppose 12 = -4*k, -2*k + 535 = 5*n - 659. Is 16 a factor of n?
True
Let n = -97 + 49. Let s = 119 + n. Is 30 a factor of s?
False
Let o(d) = 21*d + 4. Let x be o(-5). Let t = -176 - x. Does 21 divide -2*(t/6 - -2)?
True
Let z(o) = -o - 4. Let k be z(3). Let j = k + 13. Suppose 5*f - 26 = -2*d, 2*d + 0*f = 3*f - j. Is d even?
False
Let w(k) = -165*k + 232. Is 73 a factor of w(-7)?
True
Let a = 35 - 23. Is (-569)/(-3) - ((-28)/a - -3) a multiple of 21?
True
Suppose 0 = 17*d - 11*d - 36. Let w be -25 + 0 + 1*-2. Let g = d - w. Does 33 divide g?
True
Let d(n) be the third derivative of -n**6/120 - 3*n**5/10 - n**4/6 - 4*n**3 + 8*n**2. Is 4 a factor of d(-18)?
True
Suppose 0 = -4*y - 0*y + 56. Suppose 9*i - y*i = -45. Is i a multiple of 9?
True
Suppose 2*s - 621 = -s. Let b = s + -144. Is 21 a factor of b?
True
Let w(u) = u**2 + 8*