. Does 4 divide 6*4/j - u?
False
Let h(v) = -v**3 - 18*v**2 - 22*v - 1. Let f = 68 - 85. Is 9 a factor of h(f)?
False
Let m(c) be the second derivative of -c**5/20 + 5*c**4/12 + c**3/6 + 2*c**2 - 6*c. Does 9 divide m(5)?
True
Suppose -2*t = -5*k + 11, -3*t - t = -k + 13. Let l = t + 6. Suppose -w + l*d - d = -92, 2*d + 194 = 2*w. Is 34 a factor of w?
True
Suppose 0 = -4*i - 4*h + 20, 2*i + h = 14 - 4. Suppose -2*q = -i*z + 478, 2*z = -0*z - 5*q + 197. Does 16 divide z?
True
Suppose -20 = -5*o, 208 = y + 5*o - 10*o. Does 12 divide y?
True
Let k(s) = 2*s**2 + 19*s - 4. Suppose -3*t = 5*f + 77, f + 2 = 5*t - 19. Does 12 divide k(f)?
True
Suppose -10*h - 187 = -1087. Is h a multiple of 30?
True
Let i(g) be the first derivative of g**4/2 - g**3 - 5*g**2/2 + 4*g - 2. Let v be i(4). Suppose 0 = y - 5*y + v. Is y a multiple of 8?
True
Let m = -451 + 1104. Does 48 divide m?
False
Let c = 12 + -7. Suppose z = -c + 35. Does 15 divide z?
True
Let l(q) = 0 - 8 + 4 + 4*q. Is l(2) a multiple of 2?
True
Let v be (-4)/6*-1 + (-1550)/(-15). Does 13 divide (3 + 18/(-12))/(3/v)?
True
Suppose 590 = 3*x - 2*z - 15, -3*x = -z - 610. Is x a multiple of 26?
False
Suppose -x - 5 + 9 = 0. Suppose x*g + 2*g = 684. Is g a multiple of 10?
False
Suppose -3*z - 1548 = -8*z - 2*i, 2*i = 3*z - 932. Let b = z + -175. Suppose 3*a + 2*a = b. Is 12 a factor of a?
False
Suppose u + 3*n = 110, -2*u + 324 = -3*n + 104. Is 22 a factor of u?
True
Suppose 2*r - 3*p + 1 = 0, r - 2*p = -r. Suppose 2 = 2*q + 2*l, l - 4 = -2*q + r. Suppose -3*y - 74 = -m, -q*m + 232 = -0*m + 4*y. Does 31 divide m?
True
Does 13 divide ((-18)/12)/(12/(-2056))?
False
Let z(c) = -243*c**3 - 27*c**2 - 57*c - 6. Does 36 divide z(-2)?
True
Let f = 30 + -159. Let q = 269 + f. Is 20 a factor of q?
True
Let k = 63 + 25. Let x(u) = 7*u + 123. Let v be x(-17). Suppose -g - 32 = -h - 5*g, v*h - 4*g = k. Does 8 divide h?
True
Let r = -86 + 380. Is 49 a factor of r?
True
Suppose 12 - 18 = -3*m. Suppose m*q + 45 - 171 = 0. Is q a multiple of 9?
True
Let d(a) = -a**3 + 6*a**2 - 5*a + 2. Suppose 0 = 5*l + 5*v - 5, v + 12 = 4*l + 3*v. Let y be d(l). Suppose -y*c + 20 = 3*c. Is c a multiple of 4?
True
Suppose 0 = -2*y - w + 3 + 15, -y + 5*w = -9. Suppose -6*m = -7*m + y. Is 9 a factor of m?
True
Suppose 2*n + 2*w - 4 = 0, 0*w = n + 5*w - 10. Suppose n = 3*o - 2*t - 195, 289 - 52 = 4*o + 5*t. Is 7 a factor of o?
True
Let r = 116 + -100. Let k(z) = -z**2 + 24*z + 26. Does 13 divide k(r)?
False
Let r = -13 - -10. Let b = r + 7. Let g = b - -15. Does 7 divide g?
False
Let f(b) = b**2 + 15*b - 27. Let p be f(-16). Let d = -1 - p. Does 3 divide d?
False
Let t be 4/6*15/1. Suppose -1 = 3*v - t. Does 4 divide v - ((3 - 3) + -1)?
True
Suppose 1096 = 8*y + 256. Is 5 a factor of y?
True
Let z be (-20)/(-12)*(-1 - -4). Is 3 a factor of 3 + -3 - z*-3?
True
Suppose -5*r + 0*r = 35. Let b(w) = -3*w + 1. Is 22 a factor of b(r)?
True
Suppose -34*k + 17*k + 40970 = 0. Is 10 a factor of k?
True
Suppose 2*r = -0 + 10. Suppose g - 5*o = -2*g + 37, -r*o = 2*g - 33. Does 14 divide g?
True
Suppose -5*h - d = -2749, 80*h + 2212 = 84*h + 4*d. Is h a multiple of 4?
False
Let c(l) = l - 5. Let h be c(5). Suppose h = -5*y - b + 3*b + 28, 3*y + 4*b = 22. Suppose 0 = -7*k + y*k + 11. Does 8 divide k?
False
Let x be (-2)/(-3)*78/4. Let l = 19 - x. Is 6 a factor of l?
True
Suppose 236 = 25*o - 89. Is 3 a factor of o?
False
Let z = -617 + 1054. Does 35 divide z?
False
Let a(o) = -16*o**3 + 4*o**2 + 4*o + 3. Let m be a(-2). Let z = -96 + m. Is 9 a factor of z?
False
Let p(u) = -u**3 - 14*u**2 + u + 18. Let f be p(-14). Suppose -5 = -b + f. Does 2 divide b?
False
Let j = 791 + -609. Is 58 a factor of j?
False
Let s(p) = -p**3 - 10*p**2 - 8*p - 34. Does 30 divide s(-11)?
False
Suppose -5*s - 5*j + 130 = 0, 2*j = 5*j - 6. Does 11 divide (9/4)/(-3) - (-2730)/s?
False
Let a be (6/3 - 3)*0. Suppose -75 + 11 = 2*l + 2*o, a = -3*l - 2*o - 100. Let r = l - -60. Does 4 divide r?
True
Let w(i) = -i**3 - 16*i**2 - 22*i - 21. Let a be w(-15). Let n = 147 - a. Is n a multiple of 21?
True
Let z be (-1450)/(-8) - 1/4. Let p = z - 49. Let o = -90 + p. Is 21 a factor of o?
True
Suppose v + 3*v - 200 = 0. Let y = 115 - v. Is 11 a factor of y?
False
Suppose -16*y + 6620 = -18340. Does 88 divide y?
False
Let m(v) = -v**2 - 23*v + 63. Does 13 divide m(-13)?
False
Let h = -212 - -272. Does 20 divide h?
True
Let p be (2/(-7))/((-11)/154). Suppose t - 259 = -2*n, -140 = -0*n - n - p*t. Does 34 divide n?
False
Suppose 534 = 4*g + 5*i, 5*i + 12 + 240 = 2*g. Is g a multiple of 9?
False
Let q = 701 - -274. Is q a multiple of 13?
True
Suppose 0 = 4*x + 4*n - 120, -3*n + 30 = x + n. Is 15 a factor of x?
True
Let r(j) be the third derivative of j**5/30 + j**4/24 - j**3 - 16*j**2. Suppose 4*u = -5*t - 4, 1 + 7 = 2*t. Is 15 a factor of r(u)?
True
Suppose -5*c = -y + 2*y - 4838, -1932 = -2*c - 2*y. Is c a multiple of 44?
True
Suppose 2*g - 9 = -h, -3*h + 12 = g - 0*h. Suppose 3*p - g*f = -33, 4*f + 1 = 3*f. Let b = 30 + p. Is b a multiple of 6?
True
Let r = 249 + -174. Let i = r + 25. Does 22 divide i?
False
Let u = 42 + 5. Let c = -3 + u. Suppose -3*s = -c - 160. Is 34 a factor of s?
True
Let o be 4 - 0 - (0 - -2). Suppose -12 = -3*s, 0*s - 3*s = -o*m + 16. Suppose m = 5*l + 4. Is 2 a factor of l?
True
Is -13 + 3462/10 + 2/(-10) a multiple of 20?
False
Let x = 245 - 47. Suppose -3*d - 3*o - 18 = -x, 3*d + o - 180 = 0. Let w = d + -18. Is w a multiple of 18?
False
Let o(s) = s**3 - 21*s**2 + 19*s + 47. Is 3 a factor of o(20)?
True
Suppose 4*y = -0*y - 3*j + 41997, 1 = -j. Let n be 2/9 - y/(-135). Let w = n + -30. Is w a multiple of 24?
True
Let j = 9481 + -6523. Does 58 divide j?
True
Let h(v) = 4*v - 8. Let i be 23 + -3 + 0 + -1. Let x = 31 - i. Does 10 divide h(x)?
True
Suppose -5*u = -5*g - 2930, -2*g = 5*u - 829 - 2087. Suppose 5*v + 3*v = u. Does 9 divide v?
False
Suppose -3*z = 2*i + 32, 3*z - 4*i + 5*i + 37 = 0. Let p = -6 - z. Suppose 11 = m - p. Is m a multiple of 9?
False
Let l be 10/2 + (0 - 0). Let a(n) = 12*n + 60. Let t be a(-5). Suppose l*k - 63 - 7 = t. Does 14 divide k?
True
Suppose 2*k - 779 = -3*c, 6*k - 4*c = 4*k + 786. Is 17 a factor of k?
True
Let j = 13 - 8. Let v be j - 3 - 234/(-2). Let i = v - 53. Does 22 divide i?
True
Let p(o) = -o**3 + 19*o**2 - 16*o - 17. Let x be p(16). Suppose 3*k + 6*t - x = t, 2*t = -k + 164. Is k a multiple of 19?
False
Let u(o) = 4*o + 454. Is u(20) a multiple of 20?
False
Does 18 divide ((-230)/115)/((-1)/68)?
False
Suppose -w = -431 - 804. Is 13 a factor of w?
True
Let o(l) = 45*l + 76 - 12*l + 31*l. Let b(s) = -9*s - 11. Let n(u) = -20*b(u) - 3*o(u). Is n(-4) a multiple of 12?
False
Suppose 0 = -13*h + 6*h - 259. Let b = h + 93. Is 14 a factor of b?
True
Suppose 0 = -5*n + 2*c + 3, n = -n - 5*c + 7. Let g be (-4)/n - (1 + -2). Is (2 + g)/(1/(-3)) even?
False
Let c(h) = -15*h - 7. Let k be c(-2). Suppose k*g = 25*g - 64. Is 4 a factor of g?
True
Let k be 6/30 - (-3)/(-15). Let x(v) = 3*v + 66. Let r be x(k). Is 5 a factor of 7/(21/r) + 3?
True
Suppose -8*m + 6*m - 600 = 0. Let v = m - -442. Is 11 a factor of v?
False
Suppose 6*a - 12 = 4*a. Suppose a*v - 3*v = 0. Suppose v = 4*g - 3*g - 4. Does 3 divide g?
False
Let x(b) be the first derivative of b**4/4 + 13*b**3/3 + 11*b**2/2 - 8*b - 2. Let r be x(-12). Suppose f - 3 = 4*f, -f - 125 = -r*y. Is 11 a factor of y?
False
Let a be (-1 + -5)/3 + 11. Let w be 0/(3/(a/6)). Suppose w = x + x - 18. Does 3 divide x?
True
Suppose 0 = -45*a + 19786 + 20894. Does 52 divide a?
False
Let r be (-18)/3*1/(-2). Suppose -h = 3*y - r, 4*h + 0*y - 3*y - 27 = 0. Is h/7*98/21 a multiple of 2?
True
Let k(t) be the first derivative of t**3/3 + 5*t**2 + 20*t - 12. Is 4 a factor of k(-8)?
True
Suppose -12166 = -29*p + 8801. Is p a multiple of 24?
False
Let z(u) = u**3 + 14*u**2 - 25*u - 42. Does 19 divide z(-10)?
True
Suppose -2*a - 9 + 3 = 0, 3*o - 2253 = -3*a. Does 13 divide o?
True
Suppose 0 = -3*b + 214 + 74. Let x = -56 + b. Does 15 divide x?
False
Let s = -28 - -34. Suppose 6 = -0*t - s*t. Does 6 divide (-3 - t) + (15 - -2)?
False
Let z(f) = -3*f**3 + f**2 + 6. Let x be z(2). Let t = x - -43. Is t a multiple of 9?
False
Suppose -3*q = 2*k - 2*q - 7, 2*k + 5*q - 27 = 0. Let g(i) = 2 - 2*i + 23*i**3 - 1 + i*