8307 = 280380 - 71687. Does 8 divide v?
False
Is 29 a factor of 2646 - (-11 + 41)/(-10)?
False
Is (2256/(-14))/((-462)/1617) a multiple of 6?
True
Let t(i) = i**3 - 8*i**2 + 18*i - 120. Let u be t(14). Let k = -340 + u. Does 44 divide k?
True
Suppose 0 = k + 3*j - 4679, 111*k = 112*k - 4*j - 4630. Does 11 divide k?
False
Suppose -4*k = -16, -2*f + 4*k = -2792 - 3660. Is 33 a factor of f?
True
Suppose m - 83 = c + c, 3*c - 4*m + 132 = 0. Let g = c - -47. Suppose -468 = -g*v - 5*v. Is v a multiple of 13?
True
Let n(v) = -v**3 + 9*v**2 + 9. Let d be n(9). Let c = -6 + d. Does 36 divide 56/(3 - 2)*c/2?
False
Let v = 4 + 12. Suppose -225 = -v*w + 13*w. Does 15 divide w/(-3)*15/(-25)?
True
Let r = 42 + -39. Suppose 4*i - n - 4*n = 63, 0 = -r*i - 4*n + 24. Is 9 a factor of (-53 - 1)/(i/(-16))?
True
Let t be ((-9)/51)/((-3)/51). Suppose -3*d + 556 = 4*b - 7*d, 0 = -4*b - 3*d + 591. Suppose -w = t*w - b. Does 18 divide w?
True
Does 208 divide 486/5103 - (-966670)/21?
False
Let j(a) = 4*a**2 + 13*a - 25. Let z be j(-12). Suppose -5*q + 4*q = 3*c + z, 0 = -3*c + 5*q - 419. Let f = c + 257. Is 15 a factor of f?
False
Suppose 33*g = 6*g - g - 3920. Suppose -2*j - 4*f - 444 = 0, 5*j + 5*f = -415 - 670. Let s = g - j. Does 28 divide s?
False
Let s = 41 - 37. Suppose -j = -r + 3*j - 13, -27 = -r - s*j. Suppose 0 = -0*m + r*m - 889. Is m a multiple of 30?
False
Let r(c) = -23*c**3 - 8*c**2 - 20*c - 62. Is 17 a factor of r(-10)?
True
Let t = -1 + 18. Let j = -12 - -51. Suppose -q = -j + t. Is 6 a factor of q?
False
Let q be 2/(-4)*0/(-2*(-1 + 2)). Suppose -4*d - 59 = -3*u, 0 = 2*u + 2*u - 3*d - 67. Suppose q = u*b - 438 - 329. Is 10 a factor of b?
False
Let d(j) = -j**3 - 12*j**2 - 10*j + 48. Does 145 divide d(-14)?
True
Let g = 17651 - 11289. Is g even?
True
Let q be (4/(-2))/((-7)/14). Suppose q*g - 43 = -27. Suppose 280 = -0*o + g*o. Is 14 a factor of o?
True
Suppose -5 - 21 = -u. Let v be 4/38 - 8/76. Suppose v = 29*n - u*n - 36. Is n a multiple of 7?
False
Let x(l) = 10*l + 9. Let b(k) = -21*k - 19. Let n(r) = -3*b(r) - 7*x(r). Let q be n(-14). Let p = 67 + q. Is p a multiple of 25?
False
Let o(f) = 34*f**2 + 129*f - 1. Is 20 a factor of o(-9)?
False
Let g be (-4)/(6 + -2)*(-1738)/(-2). Let u = 1471 + g. Is u a multiple of 18?
False
Suppose -280*g + 230*g = -76500. Is 10 a factor of g?
True
Let f = -47 + 49. Let c(l) = -90 + 4*l + 66 + 2*l**2 + 3*l - l**f. Is c(7) a multiple of 20?
False
Suppose 11*b + 8*b = 80598. Suppose -842 = 20*d - b. Is d a multiple of 48?
False
Suppose 0 = 1945*s - 1948*s + 2*y + 53802, 0 = 3*s - 4*y - 53820. Is s a multiple of 18?
True
Let m = 349 - 110. Let u = m - 335. Let j = 226 + u. Is j a multiple of 13?
True
Let v(s) = 26*s**2 + 70*s + 266. Is 46 a factor of v(-10)?
False
Let b = -3548 + 3580. Is b a multiple of 31?
False
Suppose -4*d + 11000 - 73237 = -5*f, -5*d - 24888 = -2*f. Is f a multiple of 59?
True
Does 52 divide (-31 + 15)*((-154146)/44 + 24/(-132))?
True
Suppose 3*n - 8204 = -11*n. Let s = n + -434. Is s a multiple of 19?
True
Let v be (-18)/(-4) - (-3)/(-2). Suppose 0 = -z + k + 32, 5*k - 80 = -v*z - 0*z. Is 25 a factor of (-1)/(-5) - (-1644)/z?
False
Let p = -670 + 672. Let n be (-15)/(-10)*20/6. Suppose k = p*k, -k + 360 = n*a. Does 18 divide a?
True
Let n(c) = -158*c + 1634. Is 20 a factor of n(-47)?
True
Suppose b - 4*b + 2809 = -3890. Does 183 divide b?
False
Let q be (-126)/1323 - 14158/(-42). Suppose 0 = q*i - 328*i - 17343. Is 41 a factor of i?
True
Let b(w) = 29*w + 864. Is b(-12) a multiple of 43?
True
Suppose -g = -2*y + 816, 4*y - 2*g = 2*y + 818. Let c = -121 + y. Is c a multiple of 26?
True
Let u(t) = -2*t**3 - 38*t**2 + 30*t - 276. Is u(-29) a multiple of 14?
False
Let s(g) be the third derivative of -g**5/30 - 5*g**4/24 - 5*g**3/6 + 18*g**2 - 2*g. Let t be s(-3). Does 46 divide 1/(-3) - ((-2900)/15 + t)?
False
Suppose -3*m - 654 = m - 2*y, 0 = -5*m + y - 819. Let s = -318 - -611. Let t = s + m. Is 11 a factor of t?
False
Suppose -117 = -3*h - 3*d, 0 = h - 5*d - 79 + 28. Let b = 62 - h. Suppose 51 - b = 5*u. Does 3 divide u?
True
Let c = -11 + 29. Suppose -27*h = -c*h - 342. Is 38 a factor of h?
True
Let w = -13554 + 21438. Is w a multiple of 18?
True
Does 74 divide 783 + -5*(-6)/(-10)?
False
Let d be (-7)/4 + 2 + (-449163)/(-132). Suppose 0 = 4*w + 683 - d. Is w a multiple of 57?
False
Let y = 177 - 177. Suppose -p + n + y*n + 45 = 0, 3*p - 114 = -4*n. Is p a multiple of 14?
True
Let k = 3006 + -2663. Suppose 3*j + 5*m + 330 = 901, -2*j + 4*m = -410. Suppose -j = -4*t + k. Does 15 divide t?
True
Let j be -8 - 2/4*-2. Suppose -105*f = -55*f - 50. Is (j + f)*(114/9)/(-1) a multiple of 19?
True
Suppose 0 = 10*x + 6 + 44. Does 3 divide x + (-128)/24*(-78)/4?
True
Let f be 3/(-6)*-10 - (-1 - -3). Suppose 2214 = f*c + s, -1476 = -3*c + c - 5*s. Does 71 divide c?
False
Is (4/5)/((-197)/(-1698140)) a multiple of 43?
False
Suppose -2*v - 2*v + 19 = s, -3*s + 9 = 0. Let i be (v + (-15)/6)*10/(-3). Is 18 a factor of ((3 - 7) + i)*-8?
True
Let f(n) = -214*n + 92. Let d be f(7). Does 12 divide (20 - 22) + (-1 + 1 - d)?
True
Suppose -9*a = 2*r - 4*a + 4, -2*r - 3*a - 4 = 0. Does 59 divide 768 + (r - (-3 - -2))?
True
Suppose 11*c - 42 = 14*c. Let y(h) = h**2 - 17*h - 6. Let w be y(c). Let r = w + -268. Is 17 a factor of r?
False
Suppose -3*s + 38 = -13. Let w(v) = 3*v**3 - 56*v**2 - 51*v + 44. Let z(p) = p**3 - 19*p**2 - 17*p + 15. Let k(t) = s*z(t) - 6*w(t). Is 11 a factor of k(14)?
True
Let i(t) = 20*t**2 + 80*t - 1439. Is 42 a factor of i(23)?
False
Let b = 100 + -162. Let j(x) = -192*x**2 + 3*x + 1. Let a be j(1). Let r = b - a. Does 42 divide r?
True
Let q = -18 - -38. Let u(v) = -107*v + 2 - q - 2 + 140*v. Is u(7) a multiple of 38?
False
Suppose -1481*u + 1624*u - 3618329 = 0. Is 41 a factor of u?
False
Suppose 3*m + 4*v - 2322 = 0, -527 = 5*m + 3*v - 4386. Suppose 60*n - 55*n - m = 0. Is n a multiple of 16?
False
Suppose -42 = -v + 4*v. Let q(i) = -i**3 - 16*i**2 - 23*i + 4. Let p be q(v). Is 7 a factor of 11656/341 - 3/(p/(-4))?
False
Is 5 a factor of (-5)/((70/15806)/(-5))?
True
Let b be 18/8*8/6. Suppose -2*h = 3*o + 3*h + 3, -5*o = -b*h - 29. Suppose -5*i + o + 766 = 0. Is 14 a factor of i?
True
Let j be ((-6)/(-15))/((-26)/(-130)). Suppose j*q + 2*t + 28 - 658 = 0, -3*t - 645 = -2*q. Does 17 divide q?
False
Suppose -5*z + 4*x + 31 = x, 10 = -5*x. Suppose -5*b = -m - 905, 0*m = -z*b + 4*m + 890. Is b a multiple of 14?
True
Let n be 48/120 + (-28693)/(-5). Suppose 25*p - n = 4236. Is 37 a factor of p?
False
Let c be (40/(-3) - 3)*-228. Suppose 0 = 4*h + 228 + c. Does 19 divide (3/(-2))/(39/h)?
True
Suppose -1272984 = -34*g - 28*g. Is 16 a factor of g?
False
Suppose 676 = 2*j - 2*x, -3*x - 1354 = -4*j - x. Let y = 547 - j. Does 13 divide y?
True
Suppose -4*c - 13 = 5*s, c - 11*s + 12*s + 2 = 0. Does 6 divide 3/(-9) + 352/c?
False
Let i(a) = -a**3 - 16*a**2 - 67*a + 143. Is i(-18) a multiple of 11?
False
Suppose 21 = 7*l - 14. Suppose l*v - 2*p = -9 - 6, -5*p + 22 = 3*v. Let t = 10 - v. Does 11 divide t?
True
Suppose 3*y - 845 - 1792 = 0. Suppose 5*p + y = -3*t, -2*p = -0*p - 2*t + 342. Let w = p + 312. Is w a multiple of 23?
True
Let d(b) = 30*b + 212. Let v be d(-7). Suppose -5*y = -v*c - 3*c + 305, 2*c - 3*y = 126. Is c a multiple of 49?
False
Suppose -x = -5*w + 29609, -x - 698 = -2*w + 11142. Is 51 a factor of w?
False
Let t = -2382 - -4070. Suppose j + 8 = 4, -5*i + t = -2*j. Is 14 a factor of i?
True
Let g(n) = -n**2 - 26 - 4*n + 22*n**3 - 3*n - 34*n**3 - 14*n**3. Does 43 divide g(-3)?
True
Suppose -2*n - 2383 = 5*t + 11747, 0 = -3*n. Is t/(-15) + (-34)/85 a multiple of 48?
False
Suppose -23*o = 3*o - 76024. Is (o/102)/(1/21) a multiple of 6?
False
Let q(n) = 25*n**3 + 9*n**2 + 5*n - 9. Let o(k) = -38*k**3 - 13*k**2 - 7*k + 13. Suppose 7*y + 25 = 2*y. Let i(a) = y*o(a) - 7*q(a). Is i(2) a multiple of 18?
True
Suppose 5*c - 21*h = -20*h + 5596, 5*c - 3*h - 5588 = 0. Is c a multiple of 5?
True
Suppose 2*a = -4*r + 135 + 133, 3*r + 5*a - 215 = 0. Is 2 - (1457/(-5) + (-39)/r) a multiple of 21?
True
Let k(r) = -2*r**3 - 4*r**2 - 3*r - 3. Let c = -48 + 44. Let p be k(c). Let y = 172 - p. Does 13 divide y?
False
Let z(j) = 3*j**2 + 17*j - 9. Let x(f) be the second derivative of -f**4/12 + f**3/2 + f*