 = -18 + 13, -5*s - 18 = 3*z. Is 74 a factor of (-5 - z) + (-1216)/(-24)*3?
True
Let n(t) be the second derivative of 13*t**4/8 + 14*t**2 + 24*t. Let u(s) be the first derivative of n(s). Is 13 a factor of u(2)?
True
Suppose -9*q - 9 = -12*q. Let h(u) = 3*u**3 - 3*u**2 + u - 3. Let p be h(q). Let f = p - -114. Is 16 a factor of f?
False
Let v(n) = 11*n**2 + 3*n - 16. Let t(o) = -5*o**2 - 2*o + 8. Let u(z) = 13*t(z) + 6*v(z). Let b be u(6). Is ((-23)/b)/((-16)/(-192)) a multiple of 21?
False
Let j be (-40)/(-4)*(-1)/2*-2. Let r be (-6 - (-212)/j) + (-1)/5. Is 12 a factor of 768/60*r/2?
True
Does 89 divide (-136)/(-170)*13751*(-15)/(-6)?
False
Let u = 31486 - 22297. Is u a multiple of 79?
False
Suppose 0 = -719*v + 755*v - 299628. Is 21 a factor of v?
False
Let k(l) = -2*l**3 + 42*l**2 + 44*l + 5. Let h be k(22). Suppose 0*o = -h*t + o + 59, o - 29 = -3*t. Does 11 divide t?
True
Suppose 0 = 4*k + 3*i - 9463 - 20078, 0 = -3*k + 5*i + 22105. Is 82 a factor of k?
True
Let o = 922 - 523. Is 27 a factor of (39 - o)*(18/(-5))/3?
True
Suppose -5*v - 2576 = -4*i, -3*i + 2162 = -4*v + 229. Suppose i + 426 = 3*h + z, -1420 = -4*h - 4*z. Does 68 divide h?
False
Does 8 divide (2 - 60)*24060/(-120)?
False
Suppose -14*h = 116 - 88. Is (24/(-90)*-5)/(h/(-6)) a multiple of 3?
False
Suppose 0 = 3*j - 5*s - 15005, -2*j - 111*s = -115*s - 10004. Is 10 a factor of j?
True
Is 22 a factor of -54*(-6)/(-9 - (-2025)/220)?
True
Let l = 3318 + -962. Let s = l + -438. Is s a multiple of 55?
False
Let g = 4391 + 847. Is 40 a factor of g?
False
Let u = -9 - -19. Suppose u*o - 3828 = -o. Suppose o = 19*p - 17*p. Does 17 divide p?
False
Let c = 32 + 39. Let q = c + 111. Does 14 divide q?
True
Is 5 a factor of (36432/414)/(1 - (-4)/(-5))?
True
Suppose 2*m - 6 = -5*x + 13, 3*m - 4*x = -29. Let h = m - -6. Suppose -2*s = -h*j + 74, 0 = 2*j - 7*s + 2*s - 64. Is j a multiple of 11?
True
Suppose -5*b + 16 = 3*b. Suppose -b*o = 2*l - 6*l - 120, 3*o - 174 = 4*l. Is o a multiple of 2?
True
Suppose 481*z - 14448 = 478*z. Suppose -15*o = -z + 1. Does 24 divide o?
False
Let i(r) = -45 + 18 - 45 - 44 + 5*r. Does 4 divide i(32)?
True
Suppose -5*y + 3*c + 53 = 7, 5*y - c = 42. Does 31 divide 10*((-1408)/(-20) - (y + -2))?
False
Suppose t + 18427 = 2*u, 3*u - 12567 = 2*t + 15075. Does 14 divide u?
True
Let q = 11497 + -3604. Does 24 divide q?
False
Let r(b) = 47*b**2 + 1159*b - 26. Is 90 a factor of r(-37)?
False
Let q(u) = -39*u + 360. Let s(i) = -2*i. Let c(z) = q(z) - 18*s(z). Does 15 divide c(-35)?
True
Let i(h) = -3*h**3 - 50*h**2 + 36*h + 226. Is i(-25) a multiple of 101?
False
Suppose 2*g - 20414 - 15786 = -3*g. Is 8 a factor of g?
True
Let n(k) = -72 + 6*k**2 + 9*k**2 + k**3 + 4*k + 34 - 3*k**2. Is 3 a factor of n(-11)?
True
Suppose -5*x = -4*m - 103, -x - 2*m - 17 = -2*x. Let f = -9 - -11. Suppose -f*u = x - 59. Is 3 a factor of u?
True
Let z be (-2 + 1 - 0) + (0 - -59). Suppose 2*c = -4*i + 544, -i + 3*c + 71 = -z. Suppose -f + 43 = -3*w, -3*f - w + i = 26. Is f a multiple of 18?
False
Let u = -428 + 835. Is 3 a factor of u?
False
Suppose 4*h - 2*i = 3*i - 10, 0 = -5*h - 5*i - 35. Let j be -1 - (-1 - -1)*1 - h. Let y(q) = 4*q + 4. Is 8 a factor of y(j)?
False
Suppose -3*b = s - 4*s - 11067, -4*b = -2*s - 14762. Does 26 divide b?
True
Let q(a) = 12*a + 176. Suppose 2*c = 44 + 28. Is q(c) a multiple of 76?
True
Suppose -4*a - 84 + 348 = 0. Let m be 15564/a - (-2)/11. Suppose 0 = -5*o + 7*o - m. Is 11 a factor of o?
False
Let c(w) = 16*w - 33. Suppose 0 = 3*p - x - 54, 90 = 5*p + 3*x + x. Let i be c(p). Suppose -4*z = 20, 4*h - i = -h - 5*z. Is 14 a factor of h?
True
Let n(b) = -b + 6. Let a be n(5). Let i(v) be the third derivative of v**6/6 + v**5/60 - v**4/24 + v**3/6 + 64*v**2. Is i(a) a multiple of 3?
True
Suppose -938277 = -62*a + 7223. Is a a multiple of 160?
False
Let w(h) = -7*h - 346 - 14*h - 31*h + 14*h. Is 10 a factor of w(-12)?
True
Suppose 0 = -l + 2*q - 6, 0 = 2*l + l - q + 18. Is 5 a factor of l - (-5 - 0) - -11?
True
Suppose 0 = 211*g - 205*g - 3216. Is (-24)/16*g/(-3) a multiple of 25?
False
Suppose -30*o - 7060 + 29140 = 0. Is 32 a factor of o?
True
Let p(z) = -19*z - 29. Suppose 11*n = 8*n - 30. Is 23 a factor of p(n)?
True
Suppose 0 = -5*x + z + 19, 2*x = 11*z - 9*z + 6. Suppose -l - t + 113 = 0, x*l - 177 = -3*t + 272. Does 11 divide l?
True
Let x(l) = 85*l + 194. Is 30 a factor of x(1)?
False
Suppose 211*r + 2776 = 215*r. Suppose 3*i - r = 2*k, 4*i - 694 - 235 = -k. Does 13 divide i?
False
Let x = 34 - 42. Let c(k) = -k**2 - 10*k - 11. Let o be c(x). Suppose -3*p + 67 + o = 0. Is p a multiple of 7?
False
Let o(z) = 107 + 200 + 6*z - 70. Is 10 a factor of o(38)?
False
Let r = -194 - -274. Let o(g) = -119*g - 1886. Let q be o(-18). Suppose q + r = 3*l. Is 19 a factor of l?
False
Let k be 126/8 + 93/(-124). Let i = 349 + k. Does 30 divide i?
False
Let w(g) = g**3 + 3*g**2 + 3*g. Let r be w(-3). Let f(s) be the first derivative of s**2/2 + 19*s + 69. Is 3 a factor of f(r)?
False
Let w(d) = 29*d**2 - 32*d + 390. Is w(10) a multiple of 110?
True
Suppose -5*m = -4*v + 33, 5*m = -4*v - 10 - 7. Suppose -s + 174 = v*a + 41, 597 = 4*s - 5*a. Is s a multiple of 10?
False
Let q = 78 - 38. Is q*((-2)/(-12) + 111/36) a multiple of 26?
True
Suppose 2*l + 20 = -2*l. Let p(m) = -7*m + 0*m + 2*m - 19 - 6*m. Is p(l) a multiple of 18?
True
Suppose 118 = 6*v - 8. Suppose 0 = -i - 2*i + 5*x + v, 3 = -x. Suppose 5*b = f + 661, i*b + 130 = 3*b + 2*f. Does 12 divide b?
True
Suppose 13*z - 23756 - 27048 = 0. Is 141 a factor of z?
False
Suppose -4*x + 84408 = -125*s + 129*s, 5*x - 42222 = -2*s. Is 72 a factor of s?
True
Let c(j) be the first derivative of -6*j**2 + 10*j + 13. Let w be c(-7). Suppose 0 = 2*l + 5*q - 56 - w, -3*q = -l + 86. Is 24 a factor of l?
False
Let g be (-5990)/(-28) + (-1)/(-14). Suppose -g = -2*b - 4*h, -3*h - 8 = -3*b + 277. Is b a multiple of 8?
False
Let a(b) = 30*b - 178. Let h be a(6). Is ((-3)/h)/(159/(-11342)) a multiple of 5?
False
Suppose 4*w = 9*w - 95. Suppose w*v = 11*v + 1784. Is 12 a factor of v?
False
Let s(f) = 43*f - 54 + 3*f**2 + 173 + 112. Does 3 divide s(-6)?
True
Suppose 24*q - 29*q - 58504 = -3*h, 0 = 5*q - 5. Is 11 a factor of h?
True
Suppose 5*v + 10886 = -5*c - 42514, v = -5. Is 29 a factor of 5/(-6) + (c/(-30) - 7)?
True
Let a = 74 - -2319. Suppose 0*z = -4*z + 3*j + a, 4*z - 2*j - 2394 = 0. Is z a multiple of 14?
False
Suppose -29 = -6*j - 17. Suppose 5*d = j*g - 17, g = -3*d + d + 31. Is 3 a factor of g?
True
Let b = -27 + -5. Let s be 1*(40/b)/((-2)/8). Let d(j) = 3*j**2 + 13*j - 3. Is d(s) a multiple of 22?
False
Suppose 0 = -95*p + 8359 + 356441. Is p a multiple of 20?
True
Suppose -5*b + 55 = 15. Is (-2178)/(-8) - (b + 279/(-36)) a multiple of 16?
True
Let k = 106 + -102. Suppose 64 = f + k*m - 52, -4*f + 479 = m. Is 4 a factor of f?
True
Suppose -10*q + 164 = -8*q. Suppose -76*c = -q*c + 672. Is c a multiple of 55?
False
Let c(u) = -u**3 - 57*u**2 - 122*u - 207. Is c(-55) a multiple of 5?
False
Let r(y) be the second derivative of -743*y**3/6 - 53*y**2/2 + 2*y - 3. Is 67 a factor of r(-1)?
False
Suppose 58*b = 93*b - 1491175 - 903490. Is b a multiple of 277?
True
Let f = -1216 - -2143. Is 9 a factor of f?
True
Let n = -66 + 89. Let u = 106 + n. Suppose -u = 5*c - 419. Is c a multiple of 10?
False
Suppose -13*o + 36657 = 40*o - 161086. Does 7 divide o?
True
Let i = 11098 - 9694. Is i a multiple of 27?
True
Suppose 3*v - 39636 = -4*c + 338, 0 = -2*v + 12. Is c a multiple of 9?
False
Let i = -45 - -51. Let l be 11/3 - (-2)/i. Is 15 a factor of (l + -8 - -2) + 148?
False
Let h(u) = -14*u**2 + 7*u + 15. Let t(a) = 7*a**2 - 4*a - 8. Let j(l) = -3*h(l) - 5*t(l). Let d be (-2 - -1 - 1)/(-9*(-48)/648). Is 12 a factor of j(d)?
False
Let h = 17 - 14. Suppose -2*f - 2*f + 8 = -2*u, h*f + 3*u = -12. Suppose -3*d = 2*t - 14, -6 = -d - 2*t - f*t. Is 3 a factor of d?
False
Suppose -4*f = -7*f + k + 331, 4*f = 2*k + 440. Suppose 4*q - f = -115. Is 11 a factor of (-9)/3*(-2 - 10 - q)?
True
Suppose 3*v = -3*j + 153, -126 - 72 = -4*v - 2*j. Suppose 6*u + 402 = 1638. Let l = u - v. Does 21 divide l?
False
Suppose -10 = -y - 1. Suppose 15 = 3*z + y. Suppose 0 = -z*u - 3*l + 213, -u + 2*l + 129 = -l. Does 26 divide u?
False
Let t = 202 + -138. Let z = 