0. Suppose -4*v + 3*t - t = 2, -t = 4*v - l. Is 704/6 - v/3 a multiple of 9?
True
Suppose 0 = 12*u + 19 - 55. Suppose u*a - 7*a = -1776. Is 54 a factor of a?
False
Does 9 divide 9244/18 + (-5)/(-45)*4?
False
Let w(z) be the second derivative of 8*z**3/3 + z**2 - 2*z. Let q(p) = p + 5. Let s be q(-4). Does 7 divide w(s)?
False
Let u be 9*9 + 16/(-4). Suppose 5*r - 5 = 0, -78*b = -u*b - 2*r - 628. Does 45 divide b?
True
Let p(c) = -114*c - 13. Let o be p(-1). Suppose -o*m + 644 = -99*m. Does 23 divide m?
True
Let s be 2 - (1 - 0)*2. Let z(r) = 18*r - 124. Let o be z(7). Suppose -2*h + o*d + s*d + 352 = 0, 0 = -5*d - 25. Does 34 divide h?
False
Let j be -4*((-2)/(-4) + -1). Let b(r) = 29881*r**2 + 15*r - 29873*r**2 - 25 - 3*r. Is b(j) a multiple of 4?
False
Let z(d) = d**2 - 16*d - 49. Let r(t) = 2*t**2 - 24*t - 73. Let p(m) = 5*r(m) - 8*z(m). Let h be p(-5). Let s = h + 28. Does 17 divide s?
False
Suppose 30*v = 19012 - 7473 + 68381. Is v a multiple of 6?
True
Is 37115*(2 - (6 + -5)) + 5 a multiple of 105?
False
Let t = 70 + -49. Let l be (-2)/1 + t + (4 - 2). Suppose 15*k = l*k - 1512. Does 21 divide k?
True
Let f(b) be the first derivative of 2*b**2 - 4*b + 40. Let m be (11/(-2))/(3/(-6)). Is f(m) a multiple of 8?
True
Let f = 32931 - 22071. Is 10 a factor of f?
True
Is 60 a factor of (-9)/(-12) - (-4100)/16?
False
Suppose -6*r = -1137 - 1569. Suppose 0 = -20*w + 1429 + r. Is 10 a factor of w?
False
Let r(a) = -1731*a - 5651. Is 121 a factor of r(-35)?
True
Suppose -4140 = -r + 5*r. Let w be ((-7)/3)/((-15)/r). Is 4 a factor of 4/14 - 4945/w?
False
Let l(z) = -805*z + 6813. Is l(5) a multiple of 17?
True
Is 130 a factor of 3/6 - 499180/(-40)?
True
Suppose 7*z = 3*z + 2220. Suppose 3*r + z = 5*x, -r - x = r + 370. Let o = r + 265. Does 8 divide o?
True
Is 90 a factor of ((-104144292)/266)/(-18) - (3 - (-55)/(-19))?
False
Let w(y) = -y. Let n(v) = -v**3 + 13*v**2 + 9*v - 8. Let q(c) = n(c) - 5*w(c). Is 12 a factor of q(10)?
True
Suppose -3*x + 12*b = 8*b - 35690, 2*x + b - 23775 = 0. Is x a multiple of 29?
True
Suppose 2*l - 50 - 74 = 0. Suppose -333 = -9*g + 4*g - 3*q, -327 = -5*g + 3*q. Suppose 2*v + g = 5*k, 4*k + 0*v + 3*v = l. Does 14 divide k?
True
Let u = 15591 - -4964. Is 12 a factor of u?
False
Suppose 3*o = 5*u - 5382, 4804 - 454 = 4*u + 5*o. Does 120 divide u?
True
Suppose z = -1, -1621*h + 1622*h = 5*z + 69931. Does 62 divide h?
False
Let q(k) = k**3 + 10*k**2 - 33*k - 357. Is 35 a factor of q(-8)?
True
Suppose 510*x - 141245 - 30542905 = 0. Is x a multiple of 18?
False
Let s = -90 + 93. Suppose 3*w - s*n = 600, -3*w = -8*w - 3*n + 1032. Does 10 divide w?
False
Let c(i) = i - 4. Let t = 1 - -1. Let u be c(t). Does 6 divide ((62 - -4) + u)/2?
False
Let i = -2886 + 3282. Is i a multiple of 4?
True
Suppose 5*r - 205 = -4*z, -3*z + 172 - 21 = r. Suppose -k = z - 2. Let c = 96 + k. Does 14 divide c?
False
Let a be 55/((3 + -2)*1) - -4. Suppose 2*b - a = 2*o + 9, -b + 34 = 3*o. Is 8 a factor of b?
False
Let d be (-1)/((-2)/(-2))*-3. Suppose -40 + 52 = -4*b. Is ((d - -1) + -6)*b a multiple of 6?
True
Let m = 160 - 202. Does 14 divide m/(-5)*(16 - 1)?
True
Let b(a) = -a + 1. Let v(c) = -2*c + 2. Suppose -f - 3*x = 4*f + 7, 5*x - 9 = 2*f. Let l(g) = f*v(g) + 6*b(g). Is 12 a factor of l(-5)?
True
Let k = -31 - -48. Suppose -m + 19 - k = 0. Suppose 2*g = -5*x + 169, m*x - 5*g = -g + 58. Is x a multiple of 26?
False
Let p(d) be the second derivative of -d**5/20 + 2*d**4/3 - d**3/6 - 4*d**2 + 168*d - 3. Suppose -t + 2 = -2. Is p(t) a multiple of 13?
True
Let w = 6874 - 5690. Does 8 divide w?
True
Let d(l) = l**3 - l**2 + 2*l + 13. Suppose -6*g = -11*g. Suppose 5*j - 3*f = 2*f + 30, -3*f = g. Is 41 a factor of d(j)?
True
Suppose 0 = 25*f - 17*f + 1648. Let x = 622 + f. Is x a multiple of 52?
True
Suppose 0 = 65*t - 957641 - 1105849. Does 22 divide t?
True
Suppose -2*h + 0*h - 195 = -5*g, -3*h + 59 = 2*g. Let r(x) = 35*x + 26. Let k be r(-2). Let z = g - k. Does 28 divide z?
False
Let u = 3 + -18. Let j = 19 + u. Suppose j*g + 44 = 528. Is g a multiple of 23?
False
Let s(f) = 9*f**2 + 47*f + 75. Let b(j) = -4*j**2 - 23*j - 38. Let m(n) = -5*b(n) - 2*s(n). Is m(-13) a multiple of 35?
True
Suppose 2*u - 4*p = 7680, -15372 = -94*u + 90*u + 5*p. Is 6 a factor of u?
False
Suppose 436*m = 16054886 - 4698830. Is m a multiple of 48?
False
Suppose -23*r + 225 = -26*r. Let o = -119 - r. Does 32 divide 76/(-1)*66/o?
False
Suppose -3*j = -t - 82247, -5*j - 4*t + 191537 - 54504 = 0. Is j a multiple of 8?
False
Suppose -2*g = -3*g + 64. Let b = g + -61. Suppose -5*v + 2*s - b*s = -235, 143 = 3*v + s. Is 12 a factor of v?
False
Let k(j) = 23*j + 14. Let n(d) = 23*d + 14. Let z(g) = 3*k(g) - 2*n(g). Let q be z(8). Suppose -3*r - 4*l = -4*r + 72, -4*r + q = 2*l. Is 13 a factor of r?
True
Is (-2)/14*(-927136)/32 a multiple of 70?
False
Let g(p) = p**2 + 12*p - 18. Let h(z) = -2*z**2 - 11*z + 19. Let l(v) = 3*g(v) + 2*h(v). Let d be l(15). Let c = 15 - d. Does 20 divide c?
False
Let h = 12735 + -6719. Does 32 divide h?
True
Let t(c) = 414*c**2 - 76*c + 2. Is t(-3) a multiple of 46?
True
Is 19 a factor of ((-6)/9)/(-8 - (-777470)/97185)?
True
Let s = -2963 - -4331. Suppose 170*k = 168*k + s. Is 19 a factor of k?
True
Suppose -3*a = 5*t - 2 - 4, -5*t = -a + 2. Suppose 22 = b + a*s - 101, -3*b + 5*s = -336. Is b a multiple of 49?
False
Let p(m) = 668*m + 3170. Is 107 a factor of p(8)?
False
Let g(r) be the first derivative of -r**4/4 + 5*r**3/3 + 6*r**2 - 6*r - 86. Is g(5) a multiple of 18?
True
Suppose -810 = -4*o + 890. Let t = o + -5. Is 20 a factor of t?
True
Suppose -d + o = -6454, -o + 6454 = -27*d + 28*d. Is 54 a factor of d?
False
Suppose 0 = -o - 5, q + 1867*o - 1862*o = 12055. Does 40 divide q?
True
Let y be (-6)/(-15) - 315/(-25). Does 2 divide y - -1 - -3*(3 + -4)?
False
Let n(c) = -22*c + 17. Let l be 6/(-45)*-3 + (-228)/(-30). Let q be n(l). Is 39 a factor of q/(-2)*4/3?
False
Let w(g) = 3*g + 35. Let o be w(-10). Suppose 3*m - 2242 = -o*d - m, -5*d + 3*m + 2256 = 0. Does 9 divide d?
True
Suppose 2*o - 4*o - 210 = 0. Let t = -84 - o. Is t a multiple of 5?
False
Let o = 91 - 86. Suppose -o*p + a = -720, -2*a = -4*p - a + 576. Is 24 a factor of p?
True
Suppose 193*s - 174*s = 235125. Is 8 a factor of s?
False
Suppose 167 = 7*o + 20. Suppose -24*f + 27 = -o*f. Suppose 0 = f*j - 6*j - 156. Does 13 divide j?
True
Let c(p) = 3*p**2 - 2*p**2 + 107 - p - 23. Suppose 0 = 2*f + 3*z - 8*z - 10, 2*z + 4 = -2*f. Is 16 a factor of c(f)?
False
Suppose -2928 = 4*u - 4*j, -4*u = u - 4*j + 3658. Let n be u/(-6) - (-2)/(-3). Suppose -a + n - 18 = 2*d, 4*a = d + 412. Is a a multiple of 14?
False
Let b = -33121 - -51210. Does 5 divide b?
False
Suppose 44266 = 2*f + 5*w, -4*w - 109906 + 21402 = -4*f. Is 48 a factor of f?
True
Suppose -3*b - 2*u - 4 = 0, 38*b - 35*b - 3*u - 21 = 0. Suppose 2*h - f = 524 + 1083, -b*h - 3*f = -1619. Is h a multiple of 23?
True
Suppose 0 = 3*f + 4*q - 834, 0 = 2*f - 3*q - 329 - 210. Is f a multiple of 7?
False
Let b = 24746 - 16552. Is b a multiple of 34?
True
Let n(k) = 7*k + 11. Suppose -5*v = 20, -l + 3*v = -0*v - 14. Let f be n(l). Is 125/f - (-70 + 1) a multiple of 10?
False
Let d(i) = i**2 - 3*i - 14. Let c be d(6). Let j(k) be the third derivative of k**5/12 + k**4/24 - 5*k**3/6 - 20*k**2. Is 15 a factor of j(c)?
False
Let l = -6654 - -32939. Is l a multiple of 20?
False
Let n = 7948 + -4400. Is 8 a factor of n?
False
Let j(b) = 9*b + 4. Let d be (-2 - -9)*1 + (1 - 4). Let l be j(d). Let y = -25 + l. Is 4 a factor of y?
False
Let p(x) = -4*x + 5. Let a be p(-3). Suppose 54 = a*z - 14*z. Is 17 a factor of z?
False
Suppose q + t + 3*t - 2788 = 0, 5*t = q - 2752. Does 22 divide q?
True
Suppose 0*q + 4*x = -3*q + 17, -4*q = -x - 10. Suppose 2*j - q*l - 4 + 12 = 0, 4*l = j + 14. Is 19 a factor of (1 - -1)/((-231)/(-114) - j)?
True
Let b be (4 - 5)*-4 + 20. Let a be 574/6 + b/(-36). Suppose 0 = -7*l - a + 270. Does 25 divide l?
True
Let j(a) = 623*a**2 - 30*a + 303. Is j(9) a multiple of 16?
True
Suppose 2*l - 13 = -7. Suppose l*y + 3*z - 1024 = 7*z, y - 4*z - 336 = 0. Does 8 divide y?
True
Let y(o) = o**3 - 29*o**2 + 51*o - 190. Is y(30) a multiple of 8?
True
Let t(x) = -2*x**3 + 217*x**2 - 84*x - 725. Is 11 a factor of t(108)?
False
Suppose