32. Let a(t) = -2*t + 3*t - 8*t - 14. Is a(n) a multiple of 8?
False
Suppose 82*l = -40*l - 60*l + 306488. Is l a multiple of 13?
False
Let g be (-4)/22 + (-1260)/(-396). Let l(n) = n**3 + n**2 + 3*n + 3. Does 6 divide l(g)?
True
Let a(o) = -o**2 + 1. Let p(v) = -2*v**3 - 4*v**2 + 4*v + 3. Let u(d) = a(d) + p(d). Is u(-4) a multiple of 6?
True
Let g(o) = 455*o + 954. Is g(20) a multiple of 22?
True
Let o(v) = 2*v**2 + 30*v - 4. Let w be o(-15). Is 440*(28/24 + w/6) a multiple of 20?
True
Let a = -42 + 53. Let p = a - 7. Is 2 a factor of p/((-8)/(-1))*14?
False
Let b(h) = 4*h**2 - 14*h - 24. Let g(x) = -4*x**2 + 13*x + 24. Let u(y) = 4*b(y) + 5*g(y). Let c be u(-4). Let m = 196 + c. Does 11 divide m?
False
Let h = -641 + 643. Is 37 a factor of 145/1 - (-5 + h/1)?
True
Suppose 7*g + 2415 - 154 = 0. Is 19 a factor of (3 + (-24)/4)*g/3?
True
Let s be 5 - (-2 + 3) - -3. Let h(z) = z**2 + 9*z - 29. Let n be h(s). Suppose 5*x - 383 = -n. Is 20 a factor of x?
True
Let j be (6/(-4))/(27/(-36)). Let b be 4 - (j/2 + 0). Suppose -5*f - 50 = -r, r - b*f + 61 = 3*r. Does 9 divide r?
False
Suppose 9*h - 7*h - 8 = 0. Let t be (-2)/h - (-45)/10. Suppose -t*c = p - 139, 4*c + 3*p = -p + 124. Does 18 divide c?
True
Suppose 0 = -11*l + 6*l. Let b = l - -9. Does 9 divide b?
True
Let u(c) = 27*c**2 - 62*c - 9. Is 165 a factor of u(-21)?
True
Let z = 6 + -6. Suppose z = l + 2*l - 9. Does 5 divide (l + -3 + 1)*34?
False
Let m = -39 + 42. Suppose -2*h - 4*j - 2 = -m*h, 2*h - 4 = -j. Is 2 a factor of h - -2 - 156/(-12)?
False
Suppose -5*s + 6 = m, s + 0*s - 10 = 2*m. Suppose v + 3*h = -s*v + 6, 3*v + h = 0. Is 9 a factor of 72*4/4 - (-1 - v)?
True
Let f(g) = -3*g**2 - g - 6. Let c be f(3). Let n(d) = -6*d**2 - 5*d + 3. Let v be n(3). Let y = c - v. Is y a multiple of 15?
True
Let r = 39396 - 2481. Is 23 a factor of r?
True
Suppose 19*h = 22*h + 63. Let a be (-448)/h*9/6. Suppose -q + 67 = -3*i - a, -89 = -q + i. Is q a multiple of 17?
False
Let q(g) be the third derivative of g**6/360 + g**5/120 - 31*g**4/24 + 8*g**2. Let d(c) be the second derivative of q(c). Is 5 a factor of d(7)?
True
Suppose 0 = 14*t - 19*t + 310. Let r = t + 133. Is r a multiple of 26?
False
Let o = -56 - -62. Let s(c) = 5*c**3 - 24*c**2 - c + 20. Let y(m) = -4*m**3 + 23*m**2 - 21. Let w(q) = o*y(q) + 5*s(q). Does 16 divide w(-18)?
True
Suppose 29059 = 31*z - 36*z + 3*u + 81979, u = 0. Does 189 divide z?
True
Let j = 78342 - 28146. Is 188 a factor of j?
True
Suppose 5*b + 0*b + 69 = 3*q, 0 = 5*b. Let k be -1*q - 1*(-5)/5. Let s = -9 - k. Is s a multiple of 2?
False
Let z = 961 - -10178. Does 79 divide z?
True
Suppose -2*k = 2*r - 5178, 35*r - 4*k = 33*r + 5178. Does 10 divide r?
False
Suppose -5*q + 1152 = 4*c, 288 = -0*c + c + 5*q. Let k(s) = -s**3 + 4*s**2 + 3*s + 2. Let p be k(3). Suppose -c = -p*d + 14*d. Is 9 a factor of d?
False
Suppose 2*z - 3*q + 18 = 0, -3 = -4*z - 5*q - 17. Let b(l) = 3*l**2 + 11*l - 22. Does 2 divide b(z)?
True
Suppose f = -9 - 2. Let q = f - -16. Suppose m - 311 = -3*m + 3*b, q = -5*b. Is 13 a factor of m?
False
Let g(v) = -v + 12. Let h be g(10). Suppose 3*r - 57 = 3*j, -3*r + 12 = -h*j - 44. Is r a multiple of 5?
False
Let v(k) = 5*k**2 - 9*k + 9. Let w(f) = f**3 - 1. Let n(p) = -v(p) + w(p). Let q be n(4). Is (-120)/50*(0 - q) a multiple of 12?
True
Let k = 471 + -456. Suppose 13*q = 16*q + k, 3*u = 5*q + 1159. Is 54 a factor of u?
True
Let g(s) = s**3 + 15*s**2 + 5*s + 5. Let w = 186 - 190. Is g(w) a multiple of 23?
True
Suppose 7856 = 4*o + r, 4*r = -5*o + 1513 + 8318. Is 31 a factor of o?
False
Let i(x) = 17*x - 185. Let d be i(11). Suppose 5*c - k = 167, d*c - 33 - 37 = 2*k. Does 3 divide c?
True
Let c be (-63)/(-6)*17/(153/294). Let k = 629 - c. Does 8 divide k?
False
Let t = -28 - -23. Is (-433 + t)*(1 + -3) a multiple of 51?
False
Let o(t) = -2623*t + 123. Does 32 divide o(-2)?
False
Let w be 1/(5/(-20)*-2). Suppose -w*l - 5*s = -l + 17, -5*l + 2*s = 4. Is ((-4)/8)/(l/36) a multiple of 2?
False
Let z = 43347 + -28971. Does 53 divide z?
False
Let m(k) be the first derivative of k**5/40 + k**4/8 + 49*k**3/3 - 2. Let t(g) be the third derivative of m(g). Is 2 a factor of t(4)?
False
Suppose 3*a + 5 = 11. Let g(x) = a*x**2 + 10*x - 10*x - 1. Does 6 divide g(-4)?
False
Suppose -3*a + 12 = 3*d, 2*a + 17 = 7*a + 2*d. Let k(w) = 19*w - 10. Let s be k(a). Let m = 62 - s. Is 15 a factor of m?
True
Let p = -6222 - -9282. Does 30 divide p?
True
Suppose 5*p - 20098 = -4*k + 2557, -35 = -5*p. Is 97 a factor of k?
False
Let k be (16/(-28))/(((-6)/63)/1). Let i(x) = -3*x - 3*x + 17 + x**2 + 6*x + k*x. Is 3 a factor of i(-5)?
True
Suppose -68*p + 256982 = 25*p - 606430. Is p a multiple of 21?
False
Suppose -59*z = -20480 + 4550. Let n = -24 + -154. Let a = z + n. Is a a multiple of 15?
False
Let o be (-1)/(5/1935) - 1. Let i = -361 - o. Is i a multiple of 4?
False
Suppose 4*y = -5*l + 3*y + 21, 4*y - 12 = -2*l. Let w = 1210 + -1212. Is (158 - w) + l + 0 a multiple of 41?
True
Let y = 242 + -236. Suppose 1599 = y*o + 87. Is 12 a factor of o?
True
Suppose -12*v + 27 = 3. Suppose v*f - 6298 = -3*f - k, -f + 2*k + 1264 = 0. Does 42 divide f?
True
Suppose -5*m + 3*i + 25 = 0, m - 1 + 9 = -2*i. Let h(o) = 12*o**2 + o + 2*o + 3 - 4*o - 2*o. Is h(m) a multiple of 15?
True
Suppose -30 = 8*a + 1314. Let f = 392 + a. Is 8 a factor of f?
True
Does 140 divide (-14415)/(-2) + (1 - (-14)/(-4))?
False
Suppose 3*v + 2 = -2*d, 4*d - 3 + 25 = 3*v. Suppose 4*t - 555 - 685 = -v*h, 0 = 3*t + 2*h - 928. Is 52 a factor of t?
True
Suppose -4 = 71*y - 72*y. Suppose -2851 - 2322 = -y*c + l, -2*c = -5*l - 2609. Does 17 divide c?
True
Let g(u) = u**2 + 7*u - 28. Let q = 170 - 166. Is 16 a factor of g(q)?
True
Let k(c) = -c**3 + 6*c**2 + 4*c - 3. Let n be k(7). Let p = 8342 - 8346. Does 11 divide n/(-18)*(-198)/p?
True
Let o be 180/(-80)*(-4)/3. Suppose 541 = n + o*a + 160, -1805 = -5*n + 5*a. Is 22 a factor of n?
False
Suppose -41*m = -20256 - 15332. Does 62 divide m?
True
Let h = -6268 + 15871. Is h a multiple of 99?
True
Let p(k) = 25*k - 9. Let h be p(-5). Let f = -26 - h. Is 12 a factor of f?
True
Let h(d) be the second derivative of d**5/5 + d**4/12 + 5*d**3/6 - 7*d**2/2 + 399*d. Let w(l) = -l + 10. Let g be w(7). Is 25 a factor of h(g)?
True
Suppose 0 = -x - 2*k - 19, -3*x - 53 = -7*k + 12*k. Is (-2)/((22/408)/x) a multiple of 51?
True
Suppose -4*w = -3 - 5. Let r be w/4*-2 - 820/5. Does 11 divide 16/((-3)/(r/5))?
True
Does 169 divide 59/((-1121)/(-456)) + 18228?
True
Suppose 0 = -0*m - m + 5. Suppose 2*b + 1064 = m*u, -u - 3*b - 633 = -4*u. Let z = u - -4. Is 32 a factor of z?
False
Let s(x) be the first derivative of 4*x**3/3 - 44*x**2 + 40*x - 70. Is 8 a factor of s(24)?
True
Suppose -3*m + 6456 = -4*k - 2219, -3*k + 8703 = 3*m. Does 13 divide m?
False
Suppose 7*z = -4*w + 6*z + 34087, 4*z - 17068 = -2*w. Does 15 divide w?
True
Let i be (3/(-2))/((-21)/42). Suppose 0 = -0*f - 2*f + 5*a + 125, -171 = -i*f + 2*a. Does 7 divide f?
False
Let c be (-507)/(-13) + 17 + 4. Let v(w) = -w**3 - 5*w**2 + 7*w + 5. Let t be v(-5). Let d = c + t. Does 11 divide d?
False
Let j = -48 - -47. Let y(h) = -6*h**2 + h + 1. Let a be y(j). Let q(b) = -7*b - 14. Is 2 a factor of q(a)?
True
Let u = -800 - -710. Let t = -147 + 70. Let n = t - u. Is 10 a factor of n?
False
Suppose -48 = -5*j - j. Suppose h + 3*u - 77 = 91, 4*u - j = 0. Is h a multiple of 27?
True
Let v = 21862 - 537. Does 163 divide v?
False
Suppose t = 3*y + 13513, 5*t - 27034 = 3*t - 2*y. Is t a multiple of 135?
False
Suppose -3*w - 5*f - 829 = 0, -102 = -w + f - 389. Let q = w + 543. Is 52 a factor of q?
True
Suppose 6*t = t + 3*s - 1842, -4*t = 5*s + 1444. Let b = t + 650. Does 4 divide b?
True
Suppose h - 3445 = -0*h + 4*x, 3*h = 2*x + 10345. Does 86 divide h?
False
Let x be -4 - (2/(-4))/(2/4). Is 40 a factor of (-7 - x)/(4 + (-706)/176)?
False
Let i(m) = 3*m. Let k be i(1). Suppose 18955 = -106*g + 14436 + 83807. Suppose -c + 459 = k*z, 6*c = 5*z + 2*c - g. Is 16 a factor of z?
False
Let s(w) = -2*w - 42. Let j be s(-31). Does 4 divide ((-24)/j)/(37/40 - 1)?
True
Suppose 4*j - 119 = -j - 2*g, 4*j = 3*g + 86. Let t = 23 - j. Is t/2 + 9 - 0 a multiple of 2?
False
Let c = -93 + 77. Does 5 divide (2 - -20) + 3/((-12)/c)?
False
Suppose 2*y = -8, 4*q