of -v**4/4 - 7*v**3/3 - 2*v**2 + 9*v - 1. Let l = 7815 + -7823. Does 15 divide m(l)?
True
Let k(j) = j**3 - 11*j**2 + 23*j + 30. Let t be k(9). Suppose -5*x = -t - 1780. Is x a multiple of 20?
False
Let a(q) = -q**2 - 2*q + 16. Let n be a(10). Let m = n + 123. Does 7 divide m?
False
Suppose -5*h = c + 12, -2*h + 6*h + 15 = c. Let g be ((-2)/(-1))/(-4)*0. Suppose 12 = -3*r, g = 5*t - c*r + r - 188. Is 6 a factor of t?
True
Let v = -34 - -37. Suppose -4*o = -w - w - 6, o + 6 = v*w. Suppose -w*b = 2*b - 510. Is 15 a factor of b?
False
Let a = 2282 - 1537. Suppose -5249 = -8*j - a. Is 10 a factor of j?
False
Let t be 2*((-669)/(-6) - -4). Let q(g) = g**2 + g - 11. Let v be q(4). Suppose -492 = -4*c + 3*n, t + v = 2*c - 3*n. Is 33 a factor of c?
False
Let o(j) = -2*j + 5. Let h be o(3). Let q(i) = 202*i**2 + 9*i + 10. Does 29 divide q(h)?
True
Let x(f) = -2*f**2 + 14*f + 46. Let d be x(-11). Let w = d + 562. Is w a multiple of 14?
False
Let f be (-9)/6*(8 + 26). Let r = -207 - f. Let s = -92 - r. Is s a multiple of 9?
False
Suppose -3*j - 30 = -13*j. Suppose 5*y = 2*f + 1560, y + j*f = 7*f + 312. Is 26 a factor of y?
True
Let y(l) = l**2 + 125*l + 1419. Is y(-119) a multiple of 17?
False
Let g be (5 - 324/84)/((-4)/(-14)). Suppose 3*i = -g*l + 2569, -3*l = -10*i + 7*i - 1911. Does 8 divide l?
True
Suppose 68*m = 55*m + 10140. Does 12 divide m?
True
Suppose k + 4*f - 4350 = 0, 4*k - 10704 - 6657 = -3*f. Is 18 a factor of k?
True
Let a(s) = 86*s - 26. Let z(n) = 17*n - 5. Let m(i) = -3*a(i) + 16*z(i). Let b be m(4). Suppose b = 3*u - r, -3*r = -9 - 0. Is u a multiple of 2?
False
Suppose -2*s + 286 = 2*f, 651 + 62 = 5*s + 3*f. Let t(z) = 0*z - s + 14*z + 152. Is t(7) a multiple of 35?
False
Let a(c) = 5*c**2 + 17*c + 43. Let m be 6/(((-21)/63)/(1/6)). Does 2 divide a(m)?
False
Let v(x) = 2*x**3 + 60*x**2 + 26*x - 34. Is 118 a factor of v(-24)?
True
Let h(c) = c**2 + 10*c + 25. Let p be h(-5). Suppose 4*b - 9*b + 3055 = p. Suppose 149 = -14*v + b. Does 32 divide v?
False
Let t(z) = 209*z**2 - 4*z - 10. Let j be t(-8). Suppose j = 18*i + 2382. Is 37 a factor of i?
False
Suppose -5*a + 133 = 123, 2*c - 5*a - 14760 = 0. Is c a multiple of 35?
True
Let n(u) = -3*u**3 - 3*u**2 + 7*u + 5. Let s = -327 - -321. Is 18 a factor of n(s)?
False
Let k(w) = -w + 5. Let f be k(2). Suppose -4*r + r = f*r. Does 8 divide (-4)/(-12)*204/(r + 2)?
False
Suppose 11072 = z - 3*m, -3*z = -3*m - 26194 - 7040. Is z a multiple of 21?
False
Let o be 6/(-6) + 0 + 0 - -16. Let c(y) = -y**3 + 16*y**2 - 9*y - 18. Is c(o) a multiple of 15?
False
Let w(s) = 12*s - 22. Suppose 16 = 27*x - 23*x. Is w(x) a multiple of 13?
True
Let m(s) = -68*s - 1 + 62*s - 2*s**2 + 9. Let n be m(-4). Suppose -4*f + 918 = -n*g - 2*g, -5*g = 15. Is 38 a factor of f?
True
Suppose w = -5*w - 4380. Let j = 1486 + w. Is 27 a factor of j?
True
Let o = -12990 + 20440. Is 68 a factor of o?
False
Let y(g) = -7*g + 89. Let l be y(12). Suppose l*t - 6860 = 4*n, 5*t - 5447 = t - 5*n. Is t a multiple of 72?
True
Suppose 0 = 8*j - 1464 - 1904. Let v = j + -967. Does 16 divide (21/63)/((-2)/v)?
False
Let f(b) = -1950*b**3 - 11*b**2 - 36*b - 99. Does 338 divide f(-3)?
False
Let h(u) be the third derivative of 2/15*u**5 + 0 - 7/12*u**4 + 2*u**2 + 4/3*u**3 + 0*u. Is h(5) a multiple of 23?
True
Let h = 1371 + -884. Let u = h - 367. Does 5 divide u?
True
Suppose 1093 = 4*t + 3*m - 1802, 5*t - m - 3633 = 0. Is 3 a factor of t?
True
Let v be (12/(-9))/(5/((-6780)/8)). Suppose i + 106 = -5*m, -2*i - 115 - 127 = 4*m. Let x = i + v. Is x a multiple of 19?
True
Let r = -7 - -17. Suppose i + 4*i = r. Suppose 2*p - i*f = -2 + 26, -4*p + 57 = 5*f. Is 2 a factor of p?
False
Let s(a) = -a**3 - 8*a**2 - 8*a - 2. Let y be s(-7). Suppose z + z - 412 = -3*q, 2*q + y*z - 260 = 0. Is 7 a factor of q/8*(1 + (-1)/(-1))?
True
Let k be -7 + (-140)/(-21) + 26/6. Suppose -5370 = -k*i - i. Suppose i = 5*f + 324. Is 30 a factor of f?
True
Suppose -3*n - 4*n = 14. Let f(t) = -141*t + 18. Is f(n) a multiple of 10?
True
Let g be 4/(-6) - (-238)/42. Suppose g*d - 111 - 109 = 0. Suppose z + d = h, h - 3*z - 36 - 18 = 0. Is h a multiple of 11?
False
Let r = 30924 + -21972. Is r a multiple of 10?
False
Let b(o) = 33*o - 238. Let t be b(22). Suppose 16*a + 104 = t. Is 12 a factor of a?
True
Suppose -48 = 25*y - 28*y. Let w = -133 + y. Is 9 a factor of (-7 - w/(-18))*(-4)/3?
True
Suppose -k - 50 = j - 1325, -3817 = -3*j - k. Does 11 divide j?
False
Let o be (-4)/10 + (-2)/(40/1052). Let z be 2/((-2)/(52/o) - 2). Suppose z = 5*r - 88. Is 7 a factor of r?
True
Suppose -w + 3*w + 100 = 0. Let u be (-20)/w - (-86)/10. Suppose -c + 2 + u = k, -3*k = c - 25. Does 7 divide k?
True
Let w be 2*(1 + -3) + 4. Suppose 0 = -l + 3, w = -3*x + x + 2*l + 56. Suppose -x*b = -32*b + 13. Is b a multiple of 7?
False
Suppose 118*p - 4914 = 109*p. Does 40 divide p?
False
Let z(d) = -3150*d - 8162. Is z(-3) a multiple of 38?
False
Let u be (15/(-20) - -1) + (-83)/(-4). Let y(n) = -3*n - 2. Let d(f) = f + 1. Let w(b) = u*d(b) + 6*y(b). Is w(9) a multiple of 19?
False
Let a = 2798 - 16. Does 33 divide a?
False
Suppose -x = -3*w + 5713, -592 = 4*w + 4*x - 8204. Suppose 0*s - 1428 = -3*s + 4*a, -4*s + w = -2*a. Does 14 divide s?
True
Let v(d) = -d**3 - 25*d**2 + 2*d - 504. Is v(-28) a multiple of 58?
False
Let z(c) = 10*c**3 - 6*c**2 + 4*c + 2. Let u be z(4). Suppose -67 = -3*n - 5*d, 3*n - 8*d = -7*d + 37. Does 14 divide n/(-35) + u/5?
True
Let p(k) = -6*k**2 + k + 2. Let i be p(-2). Let u = i - 237. Let h = u + 479. Does 19 divide h?
False
Let x(u) = 2*u**2 - 8*u - 11. Let o be x(5). Is 15 a factor of 117/39 - 518*o?
False
Let b = -170 - -163. Is 32 a factor of (-12)/(b + 636/92)?
False
Suppose -17*v - 3*b = -19*v + 4, -4*v - 52 = 4*b. Let y(x) = -7*x + 37. Let l(j) = -20*j + 112. Let a(n) = 6*l(n) - 17*y(n). Is a(v) a multiple of 21?
False
Let n be (-1 - (-1 + 0)) + 109. Suppose -22*j + 45 = -2*j - 11*j. Suppose -5*f + n + 39 = -r, j*f - 160 = -5*r. Is 3 a factor of f?
True
Let z(k) be the second derivative of k**5/20 - k**4/2 - k**3/3 + 11*k**2/2 + 13*k. Let n be z(6). Is 14 a factor of (4/8)/(n/(-122))?
False
Let f(k) = -k**3 + 3*k**2 + k - 1. Let g be f(3). Suppose -j + 36 = 4*q, -3*q = -g*j - 5 + 77. Does 10 divide j?
False
Let o = 1176 + 2357. Is 21 a factor of o/11 + (-7)/((-231)/(-6))?
False
Let c = 28561 + -19869. Is 212 a factor of c?
True
Let w be 1314/(-27) - (2/(-3) - 0). Let g = w + 73. Is g a multiple of 4?
False
Let w = -20 + 43. Suppose -7*o = -40 - w. Does 8 divide o?
False
Let t(l) = -l**3 - 19*l**2 + 29*l - 27. Suppose -5*n = -3*k + 99, -7 = 2*k - 3. Is t(n) a multiple of 19?
False
Let o(n) = 38 + 44 - 69 - 3*n - 4*n**2 + 4*n**3. Is 13 a factor of o(4)?
False
Let k = 1067 - -3288. Is 67 a factor of k?
True
Let b(m) = -16*m + 244. Let r be b(15). Suppose -241 + 5745 = 5*q + r*w, 0 = 3*q - 2*w - 3298. Does 55 divide q?
True
Let t = 326 + -194. Let w = t - -310. Is w a multiple of 16?
False
Let o = 52022 - 18362. Is o a multiple of 12?
True
Let n(w) = 4*w**2 + 9*w + 8. Let c(k) = -5*k + 93. Let s be c(20). Is n(s) a multiple of 4?
False
Let s be ((70/245)/((-2)/14))/1. Does 13 divide (-16)/(-4) - -214*s/(-4)?
False
Suppose -5*p = -4*d + 7 + 3, -3*p = -d - 1. Suppose 2*a - 27 - 1 = -4*u, 3*a + p*u = 34. Does 30 divide 1*15/a*60?
True
Let l(f) = -52*f - 62. Does 9 divide l(-32)?
True
Let r(j) = 113*j - 14. Let q be r(3). Suppose -7*s - q = -12*s. Suppose 6*l - 5*l = s. Is 14 a factor of l?
False
Suppose 4*f - 2*h = 8060, -3*f + 0*h + 3*h = -6042. Suppose -9*t + f + 2016 = 0. Is t a multiple of 25?
False
Suppose 7*j - 563 = -185. Let a = 75 - j. Suppose 0 = a*z - 26*z + 180. Is 9 a factor of z?
True
Is 4/(-66) - (-2093886)/594 a multiple of 17?
False
Let y = -17 - 19. Let t = 41 + y. Suppose 2*d - f = 51, -f - 4*f = -t*d + 130. Is 25 a factor of d?
True
Suppose 12*f - 13*f = -6. Let b be (f/(-24) - 14/8) + 5. Suppose -3*k = -b*r - 354, -k - 3*k = -r - 460. Does 10 divide k?
False
Suppose -8 = -2*o, 4*p - 3*o - 11271 - 16661 = 0. Does 11 divide p?
False
Let u = -39925 + 59033. Does 17 divide u?
True
Let y(n) = 119*n**2 + 16*n + 198. Does 47 divide y(-10)?
True
Is (63/(-35))/(-9) - 64919/(-5) a multiple of 24?
True
Is 32 a factor of (-13480)/5*8*((-9)/6 + 1)?
True
Do