 Is 6 a factor of v?
False
Let r be 546/(2 - 3/(-6)*-2). Is 31 a factor of (-3 - -6)/(9/r)?
False
Suppose 3*k - 12 = 0, 5*k = 6*n - 11*n + 1970. Is 10 a factor of n?
True
Let z be 53/11 - 5 - 4250/(-22). Let s = z - 78. Is s a multiple of 12?
False
Let j(x) be the second derivative of -2*x**3/3 + x**2 + 2*x. Let h be j(-6). Let l = h - 18. Is l a multiple of 8?
True
Let y(m) = 2*m**3 - 34*m**2 + 24*m - 56. Is y(18) a multiple of 23?
False
Suppose -4*v + 48 = 2*o - 148, -334 = -3*o + 2*v. Is 9 a factor of o?
True
Let h(i) = -i**3 + 3*i**2 - 6*i - 2. Let k be h(5). Let g be (-3)/12 + k/(-8). Suppose 5*b = 3*b + g. Does 3 divide b?
False
Is 24 a factor of 53206/111 + -2 + (-8)/(-3)?
True
Let b = 14 - 4. Suppose 3*f = -i + 2, 2*f = 7*i - 2*i - b. Suppose 0 = -i*u + 18. Is u a multiple of 9?
True
Suppose 76 = 4*h + 4*k, 2*k + 0 = -5*h + 95. Suppose 2*q - s - 10 = s, 4*q = 3*s + h. Suppose -3*o - 9 = -q*o. Does 5 divide o?
False
Let f(x) = -x**3 + 11*x**2 - 9*x - 10. Let a be f(10). Suppose a*n + 5*n + 25 = 3*h, 5*n = -3*h + 65. Is h a multiple of 4?
False
Let y be 0/2 - (4/1)/(-4). Is 20 a factor of 127 - (1 + -1 + y)?
False
Let d(g) = g**3 + 4*g**2 - 8*g + 27. Is 27 a factor of d(6)?
False
Let c = -39 + 44. Suppose m = -4*u + 96, -m - 2*m = -c*u + 103. Does 5 divide u?
False
Let d = 3 - 1. Suppose 54 = 3*w - d*w. Suppose -w = -3*s - 6. Is 16 a factor of s?
True
Let o = 134 + -98. Suppose -1 = n + 3*z - 3, -3*n + z + o = 0. Is 10 a factor of n?
False
Suppose 5*w - w = 2*c - 206, 2*w + 309 = 3*c. Suppose 279 = 4*d + c. Is d a multiple of 7?
False
Suppose 83*r - 124*r + 120868 = 0. Is 44 a factor of r?
True
Suppose -20*t = 7*t - 32427. Does 11 divide t?
False
Let t(n) be the first derivative of n**3/6 - 5*n**2 - 7*n - 7. Let j(y) be the first derivative of t(y). Is 7 a factor of j(17)?
True
Suppose 3 = -s + 9. Suppose -5*q + 4 = 4*t + 19, -4*q = -3*t + 12. Suppose t*l = s*l - 96. Is l a multiple of 16?
True
Suppose 3*z - 2443 = 2744. Does 21 divide z?
False
Suppose 4*l - 34 = 50. Let a = l - 5. Let w = 30 - a. Does 4 divide w?
False
Suppose -65 = 11*j + 1. Does 16 divide (-7 + 69)*(-15)/j?
False
Let k(m) = 2*m**2 + 26*m + 90. Let s be k(-12). Suppose -a = -2*a + 4. Suppose a*t - 186 = s. Is 9 a factor of t?
True
Let b(u) = -8*u - 7. Let q be b(-4). Suppose -2*x + 39 + q = 0. Does 8 divide x?
True
Let v = -328 + 496. Let x be (-2)/(-6) - v/(-36). Suppose x*u - 83 = 5*m + 2, -4*m = -2*u + 42. Does 11 divide u?
False
Let a(t) be the first derivative of -t**4/4 + t**3/6 + t**2/2 - 3. Let x(i) be the second derivative of a(i). Is 12 a factor of x(-5)?
False
Suppose 4*l = -5*k + 20 + 25, -2*l = -2*k - 18. Suppose 4*a + 22 - 2 = 2*v, -3*v - 4*a + l = 0. Is 2 - (0 + v*-2) a multiple of 10?
False
Let h = -2949 + 3074. Is 35 a factor of h?
False
Let p = 40 + -42. Does 10 divide 244/24 + p/12?
True
Suppose 4*b = -5*k + 1002 - 47, -4*k = 4. Is b a multiple of 30?
True
Let y(a) = -651*a - 112. Is y(-1) a multiple of 11?
True
Suppose 2*r - 1422 = -7*r. Let l = r + -123. Is l a multiple of 5?
True
Let r = 36 + -36. Suppose r*h = -3*h + 12. Is h even?
True
Suppose -100 = 13*s - 711. Is 9 a factor of s?
False
Does 88 divide 22410/60*(-10)/(-15)?
False
Let w be 4/28 + 40/14. Let t = w + 1. Suppose -r + 0 = -t*n - 39, -3*n - 15 = 0. Does 19 divide r?
True
Suppose -4 = 2*q - 4*q. Let h(x) = -2*x**2 + 2*x + 2. Let r be h(q). Does 16 divide (20/(-50))/(r/160)?
True
Let a = -12 - -42. Suppose -b + 96 = a. Is b a multiple of 11?
True
Let x(a) = -5*a + 1. Let f be x(5). Let v = 40 + f. Does 18 divide 3 - 8/(v/(-30))?
True
Let q(p) = p**3 + p**3 - p**3 + 5*p**2 - 4*p - 4*p. Let b be q(-6). Suppose -48 = -3*j - b. Does 4 divide j?
True
Suppose 0 = -2*d - 5*s - 0 + 25, 0 = -5*d - 3*s + 15. Suppose -3*a - l = 3 - d, -12 = a + 4*l. Is a - (-4 + (-1 - 1)) a multiple of 6?
True
Suppose 2313 + 207 = 3*w. Is w a multiple of 28?
True
Does 19 divide (212 + 0)*140/112?
False
Suppose -3*g = -5 + 29. Let z = g + 7. Is 9 a factor of 1 - z*(36 + 1)?
False
Let t = 148 + 310. Does 18 divide t?
False
Let k = -5 - -31. Let m be -1 - 0 - 5*(8 - 7). Let j = k + m. Is j a multiple of 10?
True
Suppose -2*b = -2*n + 3 + 1, 5*b + 5 = 4*n. Does 2 divide b?
False
Suppose 13*t - 620 = -7*t. Is 12 a factor of t?
False
Suppose -4*x = 3*p - 0*p - 111, -5*x - 2*p + 144 = 0. Suppose r = 4*k - 6*k - 19, 3*k - x = 5*r. Is 4 a factor of r/(3/(-4) + 0)?
True
Let w = 525 + 67. Let q = w + -415. Is 31 a factor of q?
False
Let n(g) = 16*g**3 + g**2 - g. Let p be n(1). Let o be (-1*(-2)/(-4))/(1/(-4)). Suppose -p = -o*h + h. Does 8 divide h?
True
Suppose 4*z + 32 = 2*p, -p + 2*p + 5*z + 19 = 0. Suppose 0 = 3*w - 3*q - p, -4 = w + 5*q + 6. Suppose w = -6*b + 4*b + 38. Is b a multiple of 8?
False
Let t(k) = 2*k**3 - k**2 - 2*k. Suppose 1 = -3*q + 4. Let y be q/(2 - (-12)/(-8)). Does 2 divide t(y)?
True
Let l(q) = -q**2 + 87*q - 80. Does 36 divide l(20)?
True
Let w = 196 + -29. Is w a multiple of 5?
False
Let o(v) be the second derivative of -7*v**3/6 + v**2 + 3*v. Let i(j) = -4*j + 1. Let f(u) = -5*i(u) + 3*o(u). Does 5 divide f(-4)?
True
Suppose -z = -2*z + 2. Let k(g) = -8 + 4*g + z*g - 3*g. Is 5 a factor of k(11)?
True
Let v = 38 - 71. Let i = v + 44. Is i a multiple of 3?
False
Suppose 0 = -4*q + z + 29720 + 8944, 48330 = 5*q - 5*z. Let j be (q/(-45))/((-2)/(-10)). Does 13 divide (-6)/(-14) + j/(-42)?
True
Suppose 0 = -4*k - 0*x + 3*x - 207, 56 = -k + 5*x. Let a = -90 - k. Let j = a + 73. Is 34 a factor of j?
True
Suppose 1538 = 3*i - 5*c, 0 = -2*i + i - c + 502. Is i a multiple of 22?
True
Suppose 2*g + 71 = 5. Let i = 77 + g. Is i a multiple of 16?
False
Let q be (3/12*0)/(-1). Let u be (3 + (q - -3))*1. Suppose u*f + 0 = 204. Does 17 divide f?
True
Let i = 48 + -46. Is 2 + i + (-50)/(-2) a multiple of 12?
False
Let x(q) = -q**2 + 8*q - 4. Let d(u) = -2*u - 5. Let l be d(-6). Let o be x(l). Is (2/4 - o)*-12 a multiple of 15?
True
Let h(z) = -86*z - 3. Let y(c) = 85*c + 3. Let l(g) = -3*h(g) - 4*y(g). Is 25 a factor of l(-1)?
False
Suppose -53*l - 1216 = -61*l. Is 38 a factor of l?
True
Let v(f) = f**3 + 15*f**2 - 15*f - 19. Does 70 divide v(-11)?
True
Suppose 6*q - 265 = q. Suppose 3*c = 214 + q. Does 30 divide c?
False
Suppose 0 = 33*j - 41*j + 16. Suppose 3*q = -2*f + 66, 0 = -4*q + j*q + 3*f + 31. Is 13 a factor of q?
False
Let u(y) = -y**2 + 9*y + 1. Let g be u(5). Let v = -17 + g. Suppose 0 = 5*t - v*j - 98, -4*t + 2*t + 4*j + 32 = 0. Does 18 divide t?
False
Let b(y) be the third derivative of 17*y**5/60 + y**4/24 - y**3/3 + y**2. Let r(j) = 3*j**2 - 6*j + 4. Let p be r(1). Is b(p) a multiple of 7?
False
Suppose -5*x - 3666 = -3*h, -5*h + 34*x - 35*x = -6110. Is 16 a factor of h?
False
Let p(t) = 20*t - 2 + 27*t**3 - 8*t**2 - 27*t**3 + t**3. Is p(5) a multiple of 9?
False
Let k(u) = -u**2 + 13*u + 2. Let o be k(9). Suppose -234 + o = 3*b + l, 273 = -4*b + l. Let y = 95 + b. Is y a multiple of 14?
True
Suppose 4*z - 8 = a, 4*a = -z + 6 - 4. Suppose -v - 5*t + 3 = 0, 3*v + t - z = 7. Is 5 a factor of v/(-6)*-34 + 2?
False
Suppose -13*u = -12*u - 4. Suppose -3*x - 253 = -5*l - 2*x, 2*l = u*x + 112. Is 6 a factor of l?
False
Let r(p) = p**3 - 5*p**2 + 8*p - 3. Suppose -5*y = -5 - 25. Is 27 a factor of r(y)?
True
Suppose -6*i - 3 = -39. Suppose -1515 = -i*n - 615. Is n a multiple of 15?
True
Suppose 0 = -3*p - 3*o, 0 = -2*p + 5*o + 13 + 1. Is 8 a factor of 29 - (1 - p/2)?
False
Let d(z) = -39*z**2 + 174*z**2 + 1 + 3*z + 1 + 124*z**2. Is d(-1) a multiple of 43?
True
Let x = 21 - 28. Let m be (x - -4)*30/(-2). Suppose 0 = 3*j - m. Is 3 a factor of j?
True
Let c be 2 + (4 - 3)*0. Suppose 0 = c*u + 4 - 2. Does 7 divide ((-56)/(2 - -2))/u?
True
Let u = 338 + -166. Let i = u - 28. Is i a multiple of 12?
True
Let s(i) = -3*i + 16. Let d be s(14). Let t = -26 - d. Suppose 6*k - 18 - 60 = t. Is 4 a factor of k?
False
Is 8 a factor of 0 + 0 - (4 - (-1503)/(-9))?
False
Let h be 18/63 - (-152)/7. Let u = h - 11. Is u a multiple of 6?
False
Let z(r) = r**3 - 3*r**2 - r - 7. Suppose -7*g + 5*c = -2*g - 50, 5*c = 4*g - 45. Is 6 a factor of z(g)?
False
Suppose w - t = 801, 45*w = 50*w - 2*t - 3996. Is w a multiple of 14?
True
Suppose -5 = 3*u - 11. Suppose 0*t = u*t - 12. Suppose -5*c + 5*a = -t*c + 5, 5*c + a = 49. Is c a