*k + 66*k + 5*o, 0 = 5*k + o - 123193. Does 181 divide k?
False
Let s(w) = -4*w**3 - 4*w**2 + 16*w - 26. Let i be s(-8). Suppose -3*t - 336 = -i. Is t a multiple of 14?
True
Let f(m) = m - 32. Let d(a) = 5*a - 127. Let b(h) = 2*d(h) - 9*f(h). Let j be (12/(-7))/((-9)/((-1323)/14)). Is b(j) a multiple of 4?
True
Suppose -5*n - 45545 = -7*n - s, -2*n - 3*s + 45539 = 0. Is 118 a factor of n?
True
Let h = -54 + 225. Suppose 0 = 3*u - 4*c + 330, 0 = -4*u - c + 5*c - 436. Let r = u + h. Is 13 a factor of r?
True
Suppose 2*f - 13314 = c, 6 = -35*c + 32*c. Does 13 divide f?
True
Let v = 181 - 176. Suppose 5*d - 1207 + 67 = v*x, -2*x - 230 = -d. Is d a multiple of 10?
False
Suppose -20*m + 14*m + 86736 = 0. Is m a multiple of 26?
True
Let f(a) = 16*a - 151. Let w be f(12). Let h(r) = -r**2 + 56*r + 90. Is 47 a factor of h(w)?
True
Let j be 2/17 - (-22896)/(-408). Does 27 divide 37/(((-60)/j)/15)?
False
Let c be 130/156 + 2/12 + 0. Does 25 divide 4/8 - (1898/(-4))/c?
True
Does 4 divide 8/32*4*(-13)/((-39)/1368)?
True
Let o(g) = 11*g + 332. Does 17 divide o(44)?
True
Suppose -3*p - 10 = 5*o, 12*o - 4*p = 7*o - 10. Does 20 divide ((-2177)/(-28) - o) + 1/4?
True
Let z be 120/(-36)*(17/(-2) + -2). Is (-1*71 + 0)/(z/(-420)) a multiple of 94?
False
Let l(f) be the third derivative of f**6/30 + f**5/60 + f**4/24 - f**3 + 21*f**2 + 4. Is l(3) a multiple of 4?
False
Let c(y) = 52*y**2 - 59*y + 228. Does 9 divide c(6)?
True
Let n(b) be the third derivative of -b**6/120 + b**5/12 + 41*b**4/24 - 5*b**3/6 - 24*b**2 - 1. Is n(-6) a multiple of 27?
False
Let s = 43 - 41. Suppose 5*f + 6 = -4, 5*f = -2*o + s. Suppose -4*v + 42 = -o. Is v a multiple of 5?
False
Suppose -43*j + 3727694 = 169*j + 736374. Is 166 a factor of j?
True
Let l be 458208/518 + (6/7)/2. Let m = -779 + l. Is m a multiple of 3?
False
Let b(s) = s**2 - 7*s + 33. Let x be b(24). Let a = -213 + x. Is a a multiple of 3?
True
Let n = 10554 + -2679. Does 75 divide n?
True
Let g(m) = 695*m**2 + 81*m - 240. Is g(3) a multiple of 21?
True
Let z be ((-10)/(-1))/((-95)/(-1482)). Suppose -3*n = 3*k + k + 278, 0 = 3*n + 2*k + 274. Let r = n + z. Does 33 divide r?
True
Suppose -5*s + 13025 = 4*t + 2251, 5*s - 3*t = 10732. Does 25 divide s?
True
Is (-5)/(-15)*-3 + (-19)/((-38)/11700) a multiple of 12?
False
Suppose 2*s - 20 = 4*i, 0 = -s + i + 9 - 1. Is 94 a factor of -1745*((-203)/(-35) - s)?
False
Suppose -2*u + 4*u + 1338 = 0. Let j = -1223 - u. Is 31 a factor of (-10)/(-45) + j/(-18)?
True
Let u = 414 + -404. Suppose -3*h = -u*h + 567. Is h a multiple of 2?
False
Let v(i) = i**3 + 3*i - 4*i**3 + i**3 + 0*i**3. Is v(-4) a multiple of 29?
True
Let f(m) = m**3 - 26*m**2 - 9*m + 334. Is f(26) a multiple of 9?
False
Suppose 1917*t + 12870 = 1950*t. Is 30 a factor of t?
True
Suppose 704*b - 705*b = -24076. Is b a multiple of 13?
True
Let t(v) = 21*v**2 - 210*v + 7. Is t(-6) a multiple of 17?
True
Suppose 0 = -5*v - z + 39, -4*v - z = -3*z - 34. Let f be v/(-18) - (-246)/(-54). Does 22 divide (-2)/(-11) + f + (-722)/(-22)?
False
Let f = 7114 + -5607. Does 11 divide f?
True
Suppose 52*n + 124*n - 47*n = 965952. Does 32 divide n?
True
Suppose 9 - 5 = 2*c. Let u be (c + (-10)/8)*56/21. Suppose u*k + 48 = 5*k. Is k a multiple of 16?
True
Suppose 0 = 9*v - 12*v + 108. Let s(x) = 2*x**3 - 71*x**2 - 28*x. Is 9 a factor of s(v)?
True
Let b(o) = -2*o**2 + 23*o + 13. Let n be b(11). Let v be n/(-40) + ((-14)/10 - -1). Is -4 + v - -4 - -51 a multiple of 10?
True
Let b(d) = 5*d + 64. Let p be b(-7). Suppose 3*l - p*i = -25*i + 318, -9 = -3*i. Is l a multiple of 11?
True
Let w(s) = 34*s**2 + 53*s + 897. Is 57 a factor of w(-15)?
True
Suppose 2*p = -4*r + 3 - 121, -5*r - 5*p = 145. Suppose -6*w = -w + 300. Let u = r - w. Does 6 divide u?
True
Suppose -a + 35 = 2*y - 1, 4*a = -4*y + 132. Suppose -a*v + 5936 = -23*v. Is 18 a factor of v?
False
Let f be ((-1)/(-3))/(15/(-23715)). Let s = f + 672. Is 25 a factor of s?
False
Let j be 2/4 - (63/(-6) + 9). Suppose -92 = -2*t + 4*a, -j*a = 9*t - 4*t - 290. Does 2 divide t?
True
Suppose 3*c - 17451 = 3*h, 4*h = -38*c + 34*c + 23292. Is c a multiple of 97?
True
Is 60 a factor of (190/475)/((-1)/32100*-2)?
True
Suppose f + 81 = 5*u - 78, 4*u - 126 = 2*f. Let o be 1/(-4) - (280/u + -9). Suppose o = -5*g + 172 + 358. Is 9 a factor of g?
False
Let d(i) = -i**3 + 17*i**2 - 10*i + 64. Let h be d(19). Let l = -428 - h. Is l a multiple of 28?
True
Let l = 13678 + -11962. Does 44 divide l?
True
Suppose 4*g = i + 23, -4*i = 4*g - 7 - 21. Suppose -104 = 7*t + g*t. Is 17 a factor of (-20)/t*272/10?
True
Let p be 4/(-14) + (-924)/(-147). Suppose -v = p*v - 4592. Does 21 divide v?
False
Let g(n) = -2770*n - 9584. Does 6 divide g(-5)?
True
Suppose 0 = -2*l + 5*d + 5927, -5*l - 5*d - 6201 = -21106. Suppose p + 2*n - 657 = 339, -3*n = 3*p - l. Is p a multiple of 76?
True
Suppose -3*k = -o + 6203, -2*k + 7260 + 5138 = 2*o. Is 31 a factor of o?
True
Let q(t) = 4*t - 10. Let l be q(12). Let r(m) = l + 6 + 41*m - 130*m**2 + 132*m**2. Is 13 a factor of r(-21)?
True
Let j be (34 - 18)/((2 - 3)/(-1)). Let y(l) = 24*l - 90. Does 76 divide y(j)?
False
Suppose -1746*x + 1748*x - 26810 = 2*m, -25 = 5*m. Does 199 divide x?
False
Let c(q) = 68*q**3 - 7*q**2 + 7*q + 3. Suppose 0 = -5*w + 3*v - 2 + 3, 3*w + 3*v - 15 = 0. Is 65 a factor of c(w)?
False
Let f = -317 + 390. Suppose -4*t - 829 = -i - f, -4*i - 5*t + 3024 = 0. Does 8 divide i?
False
Let m(x) = -2*x**2 + 1126*x - 2*x**3 + 0*x**3 + 3*x**3 - 2 - 1117*x. Let o be (3/4)/((-3)/(-12)). Is 17 a factor of m(o)?
True
Let c be (-830)/(-25) - (-1)/(-5). Let q = 37 - c. Is 25 a factor of q + 29 + -4 + -4?
True
Let o be 572/2 - (-3 - 14/(-7)). Let m = 430 - o. Is m a multiple of 8?
False
Let k = 213 - 67. Suppose k = -6*t + 668. Does 6 divide t?
False
Let s be 6 - (-1 + 7 - 623). Let z = s + 174. Is z a multiple of 73?
False
Let c(u) = -6*u**3 - 16*u**2 - 4*u + 27. Let g(t) = -t**3 - t + 1. Let k(w) = c(w) - 5*g(w). Let j be k(-16). Let x = j - -6. Is 2 a factor of x?
True
Let y(n) = 5*n + 31. Let w be y(-6). Let l = w + -14. Does 37 divide 185/15*(-1 - 0 - l)?
True
Does 5 divide ((-361)/(-57))/(((-33)/(-306))/11)?
False
Suppose -3*r + 841 = -4*t, -3*t - 1546 = -5*r - 137. Let o = r - -89. Is o a multiple of 27?
False
Suppose 0 = -7*j + 2*j. Let x(u) = -9*u - 240. Let k be x(-43). Suppose 3*m - k = -j*m. Does 11 divide m?
False
Let r = 9910 - 2824. Is 24 a factor of r?
False
Let f = 17 - 15. Is 65 a factor of 656/f - (240/10)/8?
True
Let u be 2/(1 + 0)*(-11)/22. Let q(t) be the third derivative of -11*t**6/60 - t**5/60 - t**4/24 - t**2. Is q(u) a multiple of 22?
True
Let j = 3810 - -168. Is 153 a factor of j?
True
Let k(r) be the first derivative of r**4/2 - r**3/3 + 3*r**2/2 + 82*r - 17. Is 41 a factor of k(0)?
True
Let n = 17867 - 12512. Is 21 a factor of n?
True
Let i(u) = 11*u - 9. Let c be i(1). Suppose c*f = -16 + 152. Is f a multiple of 17?
True
Suppose 4*h - 2*b - 2770 = 0, 25*b - 24*b + 693 = h. Is h a multiple of 2?
True
Let j(f) = 289 + 211 - 12*f - 4*f - 84. Is j(10) a multiple of 8?
True
Suppose -12*l + 143 - 143 = 0. Is 7 a factor of (1000/50)/(l - (-2)/79)?
False
Is 127 a factor of (369982/(-174))/(-1 - (-2)/3)?
False
Let z(w) = 3*w**2 + 5*w + 2. Let m be 0 + -2 + (5 - -1) + -4. Let h be ((-2)/(-4) - m)/(1/(-14)). Does 19 divide z(h)?
True
Suppose 152*j = 148*j + 3*s + 11867, 3*j - 5*s - 8903 = 0. Is 36 a factor of j?
False
Suppose 4*d + 5*s - 11 = 0, -5*d + 4*s + 43 = -22. Suppose -d*a + 9155 = -5290. Does 39 divide a/9 + -4 - (-1)/(-3)?
False
Is (-6)/72 + (-121736)/(-96) a multiple of 19?
False
Let s = 30 + -30. Suppose -m + 128 = -s*d + 2*d, 2 = -d. Is 4 a factor of m?
True
Let l(m) = -m**3 + 9*m**2 - 7*m - 4. Let y = -14 + 22. Let c be l(y). Suppose 0 = 2*z + a - 159, -c*z = a - 0*a - 313. Does 11 divide z?
True
Suppose -3*f + 169 = 460. Let c = 316 + f. Does 36 divide c?
False
Let q(g) be the third derivative of -23*g**4/24 - 13*g**3/2 + g**2. Let y be 8/(-14) + (-531)/63. Is q(y) a multiple of 42?
True
Let p(t) = 176*t + 1902. Is p(-8) a multiple of 247?
True
Let i(g) = 15*g**2 + 11*g + 5. Let j be (-14)/(-77) - (954/33)/(-6). Is i(j) a multiple of 15?
True
Suppose -6*m = -13*m + 84. Suppose -m*o + 16*o = -8. Does 33 divide 3 + -3 + 90 + (o - -3)?
F