 59. Is 10 a factor of h/(-36) + 4/v?
False
Let w(b) = -b**2 - 6*b - 1. Let r be w(-5). Suppose 2*z - 4 = r. Suppose -z*u = -0*u + 20, 4*g + u = 51. Does 11 divide g?
False
Let v(l) = 2*l**2 + 16. Is v(0) a multiple of 8?
True
Let h(f) = 10*f**3 + 27*f**2 - 27*f + 19. Let p(m) = 7*m**3 + 18*m**2 - 18*m + 13. Let r(l) = -5*h(l) + 7*p(l). Is 2 a factor of r(-10)?
True
Let s(m) = -m**2 + 9*m - 6. Suppose -4*z = 2*h - 3*z - 4, -5*h = -2*z - 19. Suppose h*a - 14 = 7. Does 8 divide s(a)?
True
Let y = -48 - -9. Does 11 divide 2 + (1 - y) + -2?
False
Let j be (6/(-8))/((-4)/(-16)). Is j - (1 - 3) - -31 a multiple of 11?
False
Let a be 4/(-6)*(-3)/2. Let z = 84 - 81. Suppose 26 + a = z*w. Is 7 a factor of w?
False
Suppose 4*o - 17 = 99. Does 9 divide o?
False
Suppose -4*k - 35 = -9*k. Suppose 4*w - 119 = -k. Is w a multiple of 15?
False
Suppose -268 - 33 = -7*r. Is r a multiple of 28?
False
Let h = 18 + 3. Does 5 divide h?
False
Suppose 0*f + 2*f + 12 = 0. Does 6 divide f/(-8) - (-231)/12?
False
Let k(z) = 2*z + 5. Let l be k(-5). Let n = 32 - 30. Is 12 a factor of (l/(-5))/(n/78)?
False
Let z(l) = -72*l**3 - l**2 + l. Let m be z(1). Let r be m/(-5) - (-4)/(-10). Is 0 + 2 + 0 + r a multiple of 16?
True
Is (-2)/15 + (3814/(-15))/(-2) a multiple of 35?
False
Let o = 100 + -56. Is o a multiple of 22?
True
Suppose -204 = -4*v - v + 4*l, -v + 43 = -3*l. Suppose v = -4*h + 9*h. Does 2 divide h?
True
Suppose -6*a = -a + 30. Let d be 2 + a/4*-2. Suppose b + 4 = 0, -d*p = -p + 4*b + 4. Is 2 a factor of p?
False
Suppose 0 = 3*m - 2*t - 1336, 4*m - 6*m + t + 891 = 0. Suppose 93 = -5*s + 2*n + m, -n = -s + 70. Does 25 divide s?
False
Let c be -17 - -6 - (-5 + 2). Is 16 a factor of (c/(-3) - 0)*18?
True
Suppose -3*t - 2*t = -110. Let w = 1 - -3. Does 21 divide 10/w*t - -1?
False
Let s(k) = k + 2. Let q(o) = -o - 1. Let x(n) = 6*q(n) + 7*s(n). Let m be x(-6). Let h(y) = 13*y + 2. Is h(m) a multiple of 14?
True
Is ((-228)/(-6 + 2))/1 a multiple of 16?
False
Is 19 a factor of ((-8)/12)/(3/((-513)/2))?
True
Is -1 + (13 + -4)*11 a multiple of 14?
True
Suppose 2*t - 154 = -w - 47, 0 = -2*w - 5*t + 219. Let l = w + -45. Is l a multiple of 26?
True
Let i(v) = -105*v - 1. Is i(-2) a multiple of 47?
False
Let o = -1 - -1. Let p be 14*(5/2 + o). Suppose -2*h + 7*h - p = 0. Is 3 a factor of h?
False
Let x be (-2)/(-8) + (-30)/(-8). Suppose -x*p + 88 = -0*p. Let t = -13 + p. Does 9 divide t?
True
Suppose 2*k - 4*u = -8, 5*k - u + 5 = -33. Does 12 divide (-6 - k) + -1 + 11?
True
Suppose 2*b + 3*b - 25 = 0. Suppose b*x + 3*q = -10, -q = 4*x + q + 6. Suppose -5*a = -9 - x, -3*a = -2*p + 36. Does 21 divide p?
True
Suppose 2*r = 2*i - 64, 2*i = 4*r + 55 + 15. Is 16 a factor of i?
False
Let z(t) = t. Let l be z(4). Suppose 2*c = 4*c + 5*o - 92, o = l*c - 140. Does 15 divide c?
False
Suppose -3*a + 6 = -0*a. Does 4 divide 612/84 + a/(-7)?
False
Let x(q) = -q**3 - 7*q**2 + 5*q - 1. Is x(-8) a multiple of 9?
False
Suppose 2*y - 183 = -3*n, n + n = 2*y + 132. Does 21 divide n?
True
Let z be 55/(-25) + 1/5. Is z*6*(-3)/2 a multiple of 9?
True
Suppose 39*r + 142 = 41*r. Is r a multiple of 29?
False
Let o = 200 + -62. Does 54 divide o?
False
Suppose 2*q - 4 + 1 = y, 5*y + 3 = 4*q. Is 2 a factor of q?
True
Let d be -5 + ((-6)/(-2) - 2). Let f(c) = -c**3 + 7*c**2 + 10*c - 6. Let u be f(9). Does 5 divide u/d*4/6?
False
Suppose 2 + 6 = 4*t, -4*t + 121 = -v. Let a = v - -158. Is a a multiple of 15?
True
Suppose 2*i = 93 + 69. Suppose 0 = 3*q - i - 33. Is q a multiple of 19?
True
Let r be ((-4)/(-8))/((-2)/(-4)). Let v = r - -71. Does 24 divide v?
True
Suppose 15 = -3*x + 4*x + 5*a, -2 = -a. Let p = 2 + x. Does 6 divide 0 + (2*p)/1?
False
Let w(n) = n**3 - 7*n**2 - 9*n + 5. Let z be w(6). Let x = z - -215. Is (x/25)/(1/5) a multiple of 12?
False
Suppose 223 - 13 = 5*k. Does 13 divide k?
False
Is 7 a factor of (-288)/18*(1 + -2)?
False
Let v be 2 - (-21*22)/3. Suppose -5*w = -w - v. Does 14 divide w?
False
Let x be 512/24 + (-2)/(-3). Let a be (-794)/(-11) - 4/x. Suppose -3*f - a = -7*f. Does 6 divide f?
True
Let z(o) = 48*o**3 + 11*o**2 - 11*o - 5. Let b(j) = -32*j**3 - 7*j**2 + 7*j + 3. Let l(p) = -8*b(p) - 5*z(p). Does 17 divide l(1)?
True
Suppose 3*v + 72 = 4*c, 28 = -4*v + 2*v - 4*c. Let d be (44/(-55))/(2/(-85)). Let g = d + v. Does 7 divide g?
True
Suppose -100 = -7*m + 2*m. Suppose 2*r + m = -r + 4*g, 2*r + 25 = 5*g. Suppose 2*h - 41 - 1 = r. Is h a multiple of 21?
True
Let c(y) = -y**2 + 6*y - 4. Let x be c(5). Let l be (-4)/(x/(3/(-6))). Suppose -4*m = -l*k + 4*k - 18, -5*m = -2*k + 36. Does 8 divide k?
False
Let r(s) be the second derivative of -4*s**2 - 5/12*s**4 + 1/3*s**3 + 0 + 3*s - 1/20*s**5. Does 8 divide r(-6)?
True
Let o(j) = -j**2 - 8*j + 7. Suppose 6 = -3*w - 15. Does 13 divide o(w)?
False
Let r(c) = -16*c - 40. Is r(-12) a multiple of 38?
True
Let z(p) = -6*p**2 - 10*p - 11. Let q(w) = 11*w**2 + 19*w + 21. Let i(r) = 4*q(r) + 7*z(r). Let g be i(-5). Let x = g + 4. Is 9 a factor of x?
False
Does 29 divide -29*(-3)/(-6)*-6?
True
Suppose -4 = -3*r + 2. Let j be ((1 - r) + 3)*-6. Is 14 a factor of (-70)/(-3) - 8/j?
False
Let w = -61 + 130. Suppose 4*l = 3*c - 11 + w, 0 = -4*l - c + 66. Suppose -z + l = -3. Is z a multiple of 8?
False
Let y = -9 - -6. Let u = y - -7. Is 2 a factor of u?
True
Is 27 a factor of (-120)/16*36/(-5)?
True
Let n(v) = 10*v - 25. Is 10 a factor of n(5)?
False
Let o(v) = -2*v**2 + v + 57*v**3 + 2*v**2 - v**2. Does 19 divide o(1)?
True
Let h(o) be the second derivative of o**6/180 - o**5/20 + o**4/6 + o**3/3 + 2*o. Let q(g) be the second derivative of h(g). Is 14 a factor of q(6)?
False
Let v = 0 - 11. Let h = 28 + v. Is 11 a factor of h?
False
Let k(j) = -2*j - 13. Let l(b) = -2*b + 9 - 3*b + 6*b. Let u(a) = 5*k(a) + 7*l(a). Does 5 divide u(-4)?
True
Let m = 15 - -23. Is 19 a factor of m?
True
Let r(p) = -42*p**3 + 2*p**2 + p. Let g be r(-1). Suppose 2*c + o = 29, 4*o + o = -4*c + g. Is 6 a factor of c?
False
Let v = 1 - -7. Is 13 a factor of 3 - (2 + -7)*v?
False
Let p be 0*2/(-6) + -36. Does 10 divide (-279)/p*(3 + 1)?
False
Let j = 111 + -50. Is j a multiple of 10?
False
Let v(t) = -t**2 + 7*t + 8. Is 20 a factor of v(4)?
True
Suppose 0*m = 3*m - x + 17, 3*m + 19 = -x. Let l(p) = -p**3 - 6*p**2 - 2*p + 7. Is 19 a factor of l(m)?
True
Let y(x) = -55*x**3 - 2*x**2 - 2*x - 1. Let s(m) = m - 5. Let r be s(4). Let g be y(r). Suppose g = 3*z + 2*h, -2*z + 4*z - 2*h = 36. Is z a multiple of 6?
True
Let i(q) = q**2 - 4*q - 1. Let m be i(5). Suppose -3*w - 21 = m*u, 0 = 4*w - 2*u - 2*u. Is 9 a factor of (-9)/((6/4)/w)?
True
Let c = 18 + -13. Let i be (-1 - -1)/(-1*2). Suppose -5*n + 17 = -c*b + 102, -4*b - 4*n + 84 = i. Is b a multiple of 9?
False
Suppose -5*c + 10 = -2*p + p, -p - 5*c + 10 = 0. Suppose 2*h - 7*h + 45 = p. Does 2 divide h?
False
Let b(k) = -13*k**3 - k**2 - k. Let c = 1 - -8. Suppose -2*o - 8 = 0, o = v + 3*o + c. Does 10 divide b(v)?
False
Let f = -4 - 2. Let u(c) be the second derivative of -c**5/20 - 5*c**4/12 + c**3/3 + 7*c**2/2 - 14*c. Does 9 divide u(f)?
False
Let h = 271 + -179. Is 26 a factor of h?
False
Suppose -4*r - 2 = 30. Let t(g) = -g**3 - 8*g**2 - 3*g - 5. Is 18 a factor of t(r)?
False
Suppose -3*b + 111 = 12. Does 14 divide b?
False
Let y(s) be the third derivative of s**4/24 + 3*s**2. Let r be y(-2). Is 3 a factor of 6/5*(-5)/r?
True
Suppose 2*i - i - 444 = 0. Suppose 3*m - i = -3*m. Is 16 a factor of m?
False
Let y(k) = 3*k + 2. Let j be y(5). Suppose -5*z + 13 = -4*w - 6, -4*z - 31 = w. Let s = j + w. Does 6 divide s?
True
Let q = 115 + -73. Is q a multiple of 21?
True
Suppose -4 = -3*l + 2*l. Suppose 2*z - 20 = -p, -5*z - 11 = -p - l*z. Is p a multiple of 14?
True
Suppose -36 = -2*c + 4*v, v = -4*c - 0*v + 36. Is c a multiple of 4?
False
Let k(b) = -b + 18. Let x be k(14). Suppose x*j + 0*r - 97 = 3*r, -4*r = -j + 8. Is j a multiple of 7?
True
Let a be ((-4)/8)/((-2)/8). Suppose 0*y + a*y + 3*c - 51 = 0, -2*c + 2 = 0. Is y a multiple of 12?
True
Suppose -3*j = -2*j - 107. Suppose 73 = 4*z - j. Is 22 a factor of z?
False
Is 20 a factor of (3 - -1)*(4 + 16)?
True
Let s be -6*(8 + 1) + 0. Is (0 - s) + 3 + -2 a multiple of 23?
False
Let n = -10 + 6. Let s be ((-25)/4)/(-5)*n. Let v = s + 11. Is 6 a factor of v?
True
Let z = 2