. Let j(g) = 5*g**3 + 2*g**2 - g + 6. Let i(w) = -5*j(w) + 2*z(w). Let v be i(2). Let y = -22 - v. Is 2 a factor of y?
True
Let i(a) = -a**3 - 12 + 0*a**3 - 6*a**2 + 13*a**2 - 5*a. Let o be 3 - (0/2 + (-92)/46). Does 4 divide i(o)?
False
Let z be 6/10 + 1918/70. Is (12*1)/(z/1932) a multiple of 18?
True
Let d(f) be the third derivative of f**5/20 - 3*f**4/4 - 11*f**3/6 + f**2 + 43. Does 37 divide d(8)?
True
Does 12 divide -27*5272/(-24) + -2 + 2/(-2)?
True
Is (72786/(-6))/(250/20 + -13) a multiple of 14?
True
Does 3 divide (-5 - -5) + 16 + 3371?
True
Let z(f) = 363*f**3 + 4*f**2 + 4*f - 12. Is z(3) a multiple of 8?
False
Suppose -7*h = -940 - 670. Let r = h - 105. Suppose -g + 4*g - r = 2*z, -49 = -g - 3*z. Is 8 a factor of g?
False
Suppose 46*h - 45*h = f + 1649, -4*h + f + 6599 = 0. Is 18 a factor of h?
False
Suppose 0 = 2*x + 3*l, x - 2*l = -0*l. Suppose x = 5*i - 4*r - 4680, r = -i - 4*i + 4655. Is i a multiple of 20?
False
Let u = 1406 - 1004. Is (-4 + u/24)*16 a multiple of 12?
True
Suppose -4*n - 4*h = 404, -2*n + 3*n = 2*h - 86. Let s = 58 - n. Suppose -d - s = -3*v - 3*d, 0 = -4*v - 3*d + 206. Is 5 a factor of v?
True
Is 26 a factor of -9*27/(54/(-4558))?
False
Suppose 0 = -5*j + 3*o - 9 - 0, -15 = 5*j - 5*o. Suppose 5*x + 4*x - 648 = j. Is x a multiple of 24?
True
Let f(r) = 17787*r + 29. Is f(1) a multiple of 236?
False
Suppose 4*p = 2*b + 16024, 268*b - 12007 = -3*p + 264*b. Is 6 a factor of p?
False
Suppose -13*t + 10*t = -22911. Let n be (-2)/(-8) - (t/(-28) - -3). Suppose a - 204 = -3*a - 4*p, 5*a + 2*p = n. Does 3 divide a?
False
Suppose f - 20 + 7 = 0. Suppose -f = -8*m + 315. Let n = m + -13. Is n a multiple of 11?
False
Suppose -16*c + 51*c - 140227 = -40582. Is 39 a factor of c?
True
Let u = 48 + -36. Let z be u/(9/2 + -3). Suppose k + w - 4 = 0, 3*k + 4*w - z + 1 = 0. Is 7 a factor of k?
False
Suppose c + 4*c = -70. Let t be 14/49 + (-24)/c. Is 12 a factor of (15 + 59)*t/4?
False
Let h be 1/(3*(-2)/2 + 4). Suppose -y + h = -2. Suppose y*d - 8*d + 135 = 0. Is 9 a factor of d?
True
Let i = -54 + 59. Let o(c) = 15*c + 12*c**2 - 54*c**3 + 55*c**3 + 0*c**2 - i - 7*c. Does 14 divide o(-11)?
True
Let z(a) be the third derivative of a**6/120 + 13*a**5/30 - 17*a**4/24 + 17*a**3/3 - a**2 - 43*a. Is 46 a factor of z(-26)?
False
Let q(j) = -4*j - 6*j**2 + 14*j**2 - 2 - j**2 + 8. Is 25 a factor of q(11)?
False
Suppose 0 = -m - 2, f - 3*m - 4 = 2*f. Suppose 4*s + 4 = 0, -f*r = 3*s + 63 - 140. Does 23 divide r?
False
Suppose 3 = -4*x + 11. Let t be (190/(-8))/((-245)/1176). Is (t - 0)/3*x a multiple of 19?
True
Suppose 43398 = u + 3*i, u - 9901*i = -9903*i + 43396. Is u a multiple of 350?
False
Let m(d) = d + 26. Let i be m(-18). Let u be ((-15)/(-4) + -3)/(2/i). Suppose -5*j - 98 = -4*w, 4*w - 118 = u*j - 8*j. Is 11 a factor of w?
False
Let a(b) be the first derivative of b**4/4 - 10*b**3/3 - 3*b**2 - 20*b - 3035. Let z(f) = f**2 - 4*f + 6. Let g be z(5). Does 21 divide a(g)?
False
Let v(d) = -217*d - 13. Let h be v(-13). Is ((-2)/3)/((-12)/h) a multiple of 39?
True
Suppose 3*g = -3*h + 15, -g - 3*g - h + 17 = 0. Suppose 3*j + 5*m = -g, 0 + 4 = 4*j + 2*m. Is 2 a factor of j?
True
Let v(c) = -12*c + 123. Let s be v(11). Does 3 divide (2/s)/2 - (-11152)/738?
True
Let k(u) = -7*u + 2. Suppose -4*a + 9*a = -25. Let w be (-60)/24*(-18)/a. Is k(w) a multiple of 7?
False
Suppose z = 2*j - 22, 48 + 58 = -4*z + 2*j. Suppose 2*w - 170 = 42. Let c = z + w. Is 15 a factor of c?
False
Let c = 86457 - 58117. Does 211 divide c?
False
Let m(q) = 9*q**3 - q**2 - 9*q + 70. Does 25 divide m(5)?
True
Let c be (-2)/(876/(-884) + 1) + 1. Let v = 746 + c. Is v a multiple of 8?
False
Let s(k) = 141*k + 17. Let h(r) = -704*r - 84. Let l(d) = 2*h(d) + 11*s(d). Let w be l(3). Is 5/(-2)*w/(-70) a multiple of 3?
False
Suppose -5*k - 5*x = -5215, -1872 - 3351 = -5*k - 3*x. Is (-3)/(-7) + -1*k/(-7) a multiple of 6?
True
Suppose 20 = -6*g + 50. Suppose 2*t - 7*t + 5 = -l, 5 = 2*l + g*t. Suppose l = -4*s + 85 + 227. Is s a multiple of 26?
True
Suppose z - 4 = 0, -5*z - 16520 = -936*w + 935*w. Does 115 divide w?
False
Let b = 39974 + -23246. Is b a multiple of 51?
True
Let k(l) = -l**2 - l. Let a(c) = c**2 - 23*c + 40. Let p be a(21). Let g(b) = 3*b**2 + 26*b - 33. Let q(n) = p*k(n) - g(n). Does 8 divide q(-25)?
True
Suppose 34*w + 4710 + 17190 = 39*w. Does 20 divide w?
True
Let j = -13 + 13. Suppose j = -16*r + 17*r - 3. Suppose -r*v - 79 = -4*v. Is v a multiple of 12?
False
Suppose -w + 852 = -2*f + 5*f, 5*w = -3*f + 4284. Let i = w - 1208. Is (24/10)/((-5)/i*2) a multiple of 12?
True
Let s(j) = -j + 7. Let g be s(5). Let k be ((-63)/12 - 4/(-16))*g. Let c(m) = -8*m - 29. Is c(k) a multiple of 6?
False
Suppose -15*v - 9*v + 47163 - 10347 = 0. Is 13 a factor of v?
True
Let k(i) = 2*i - 13. Let j be k(-3). Let p = 22 + j. Suppose 7 = p*w - 14. Does 4 divide w?
False
Suppose -11353 = z + 5*z - 7*z. Does 67 divide z?
False
Suppose -123*a + 125*a = 4. Suppose a*n + 0*u = -u + 264, 3*n - 398 = -2*u. Suppose -4*t + n = -l, -7*l + 41 = t - 3*l. Is t a multiple of 11?
True
Suppose 46982 = 11*j - c - 33209, 3*j = -c + 21869. Does 18 divide j?
True
Let f(p) = 1442*p**2 - 1335*p + 7. Is f(2) a multiple of 69?
True
Let w(u) = -u**3 - 8*u**2 + 9*u + 4. Let o be w(-9). Let q(j) = j**3 - 4*j**2 - 2*j + 12. Let p be q(o). Suppose 888 - 284 = p*d. Is d a multiple of 29?
False
Let a be 7 + -6 + 0 + 142/(-1). Let u = a - -141. Suppose 14*d - 30*d + 592 = u. Is 9 a factor of d?
False
Let r = -11295 - -23887. Does 39 divide r?
False
Suppose v = -3*s - 19, 6 = 2*v - 5*s - 0. Let z be (-5 - 1)/(2 + v/3). Suppose -32*j = -33*j + z. Does 3 divide j?
True
Suppose 0 = -l - r + 7, 4*l - 8 = r - 0. Suppose -3*s - 4*g + 271 = 0, -l*g - 105 - 104 = -2*s. Is 7 a factor of s?
False
Let j(b) = 2*b**2 - b - 118. Let q be j(16). Suppose 25*h + q = 31*h. Is h a multiple of 21?
True
Does 49 divide 41126/20 - ((-12)/(-14))/(4800/1680)?
False
Let d(x) = 3*x + 79. Let r(y) = -2*y - 40. Let n(c) = -4*d(c) - 9*r(c). Is n(16) a multiple of 28?
True
Let y(g) = 3*g**2 + 3*g - 59. Let c be y(11). Let b = c + 111. Is b a multiple of 64?
True
Suppose 5*u + x = 48639, u - 73*x = -69*x + 9753. Is u a multiple of 15?
False
Let y = 9856 + 5456. Is 64 a factor of y?
False
Let n(k) = 15*k**2 + 33*k + 71. Let a(q) = -7*q**2 - 17*q - 36. Let m(r) = 13*a(r) + 6*n(r). Is 6 a factor of m(-20)?
True
Suppose 65 = -8*q + 97. Suppose 0*w - 3*k - 1987 = -q*w, -5*w = k - 2479. Is 8 a factor of w?
True
Suppose 0 = 8320*g - 8299*g - 327873. Does 60 divide g?
False
Suppose 5*o + 400 = 5*c, 3*c = 7*o - 2*o + 240. Let s be (-3)/3 + (-54)/(-2). Let t = c - s. Does 5 divide t?
False
Let i(b) = 3*b**2 - 94*b - 753. Does 4 divide i(-9)?
True
Suppose 0 = -7*s + 621 - 4989. Let h = s - -954. Is 30 a factor of h?
True
Let j(w) = 20*w + 5. Let r(g) = 1. Let v(a) = -4*j(a) + 28*r(a). Does 14 divide v(-2)?
True
Suppose 0 = 3*o - 39*m + 37*m + 3286, -2*o = 3*m + 2195. Let s = o + 2370. Does 88 divide s?
False
Suppose 20*j = -72 + 272. Suppose -4*o = 4*q - 1760, j*q = 8*q - 4*o + 876. Is q a multiple of 8?
False
Let g = 481 - -474. Let n = g + -525. Does 10 divide n?
True
Let o = -212 + 326. Let p = 116 - o. Does 16 divide 2170/15*3/p?
False
Let l(o) be the third derivative of 13*o**4/24 + 3*o**3 - 25*o**2. Let g be l(-8). Let x = g - -167. Is x a multiple of 10?
False
Let y(m) be the second derivative of m**4/12 - 5*m**2/2 + 22*m. Let g be y(2). Is 11 a factor of g/(18/(-1750)) - 4/18?
False
Is 12 a factor of (0 + 1 + 28283)/(-22 - (-21 + -2))?
True
Suppose -8254 + 110050 = 2*a + l, 5*l = a - 50942. Is 31 a factor of a?
True
Let f be (12/(-9))/(16/8664). Let j = -432 - f. Is 29 a factor of j?
True
Let j be (8 + 128/(-24))/((-2)/(-738)). Suppose 2*v + j + 1886 = 5*s, 0 = -4*s + 4*v + 2284. Is 23 a factor of s?
False
Let h(v) be the second derivative of v**7/2520 - v**6/720 - 13*v**5/120 - v**4/4 + 7*v. Let q(o) be the third derivative of h(o). Is q(-6) a multiple of 3?
False
Suppose 0 = -d + 1 + 45. Let g = d - -54. Is g a multiple of 6?
False
Suppose -4*h + 3*f = 8, -13 = h + 4*f - 2*f. Let t(s) = 23*s**2 + 16*s + 11. Is 23 a factor of t(h)?
True
Let l(t) = t**3 + 2*t**2 - 10*t - 20. Let f be l(-2). Suppose -4*n - g + 2*g + 41 = f, 5*g = -3*n +