80. Is k(9) a multiple of 8?
False
Suppose 4*x + 268 = -3*w + 5*w, -321 = 5*x + w. Suppose 260*l - 264*l - 488 = 0. Let f = x - l. Is f a multiple of 19?
True
Let t be 7/4 + (-1)/(-4). Suppose 2 = 2*i - t. Suppose z - 3*v - v = 40, -i*v = 4*z - 70. Is z a multiple of 5?
True
Let k be (-14 - -12) + (-52)/1. Is 23 a factor of 9/k + 278/12?
True
Let s(o) = o + 8. Let i be s(-6). Suppose 23 = 3*h + i. Suppose -h*l + 2*l + 30 = c, 0 = -4*l + 8. Is 10 a factor of c?
True
Suppose -10 = -h - 4*s, -2*s - 5 = -3. Suppose 4*g = h - 6. Does 23 divide 3/(g/(-4 + 50))?
True
Let b = 134 - 115. Suppose -456 = 7*c - b*c. Does 25 divide c?
False
Suppose 4*v + 4*p = 6*p - 62, p = -5. Let x = v + 2. Is 72/x*(-1 + -1) even?
False
Let u(w) = w**2 + 21*w + 3. Let y be u(-21). Suppose 0 = -y*z + k - 5*k + 138, -z + 3*k + 33 = 0. Does 6 divide z?
True
Suppose 0 = 4*u + 5*c - 6179, 2*c + 8332 - 567 = 5*u. Is 71 a factor of u?
False
Suppose -2*f + 47 + 37 = 0. Suppose f = -q + 5*c, -2*c - 53 = 4*q + c. Let k = 22 - q. Is k a multiple of 14?
False
Let g(i) = i**3 + 10*i**2 - 9*i + 22. Let s be g(-11). Let n(u) = -u + 81. Does 27 divide n(s)?
True
Suppose v - 144 = 46. Is v a multiple of 19?
True
Let m = -298 + 813. Is m a multiple of 19?
False
Let a be 304/14 + (-10)/(-35). Suppose a = 5*t + 2. Is 4 a factor of t?
True
Let y(b) = 128*b + 451. Does 12 divide y(12)?
False
Let u(y) = -1 + 20*y - 53*y - 16*y. Let l(k) = -2*k - 11. Let t be l(-5). Is u(t) a multiple of 22?
False
Let i = -471 - -971. Is 13 a factor of i?
False
Suppose -4*p + 211 = i, 2*i - 452 = -0*i + 2*p. Suppose -3*j - 4*x = -i, x + 310 = -j + 5*j. Suppose -4*f - 12 = -o + 8, -3*o - 5*f = -j. Does 12 divide o?
True
Let g = 194 + -11. Is 23 a factor of g?
False
Suppose 2*n = -3*g + n + 8, -3*g - 3*n + 12 = 0. Suppose 2*l - 3 = 7. Suppose 3*c - 63 = l*f, 75 = 3*c - g*f + 3. Is 26 a factor of c?
True
Let u = -20 - -27. Suppose -159 + u = -g. Is g a multiple of 19?
True
Suppose -5*y + 3*x + 563 = 0, -244 - 314 = -5*y - 2*x. Is 82 a factor of y?
False
Let d = -86 + 74. Let j = 91 + d. Is 8 a factor of j?
False
Let c(a) = -3*a - 9. Let j be 44/(-33)*(-9)/(-2). Does 9 divide c(j)?
True
Let s be (-2)/(-3)*(1 - 15/6). Let c(n) = -23*n**3 - 1. Does 21 divide c(s)?
False
Let c be 116*(15/(-12) + 2). Is 6 + -6 + 1*c a multiple of 25?
False
Suppose 0 = -4*k + 3*k - 3*r + 123, 4 = -r. Does 4 divide k?
False
Let t(v) = v**2 - v - 1. Let r(l) = l**3 + l**2 + l + 6. Let o(q) = r(q) + 4*t(q). Is 5 a factor of o(-4)?
True
Let q(r) = r**3 - 11*r**2 + 12*r - 4. Let a be q(10). Suppose 0 = a*y - 2101 - 619. Is 20 a factor of y?
False
Let z(o) = o**2 + 18*o - 379. Is z(-37) a multiple of 12?
True
Let w = 565 - 402. Suppose -3*y + 4*p + 284 = 0, 3*p = -y - 64 + w. Is y a multiple of 16?
True
Let w(m) = -m**3 + 26*m**2 - 56*m + 32. Does 20 divide w(23)?
False
Let o(w) = -w**3 - 6*w**2 - 3*w - 3. Suppose i - 10 = 3*b - i, -10 = b + i. Let k be o(b). Let q = -12 + k. Is q even?
False
Let a = 212 + -300. Let k(x) = -x**3 - 10*x**2 + 2*x + 8. Let t be k(-10). Does 23 divide 3*(a/t + 3)?
False
Suppose -2458 = -3*n + 422. Is n a multiple of 48?
True
Let c(n) = n**2 + 13*n + 0 - 14 + 3. Let u be c(-14). Suppose 7*i - 432 = u*i. Is i a multiple of 35?
False
Let f(p) = -p**3 - 3*p**2 - 4*p + 1. Let t be f(-2). Suppose 0 = 5*y + t*y - 2640. Is 44 a factor of y?
True
Is -3 - -3 - 17136/(-9) a multiple of 56?
True
Let o be (-6)/15 - (-4)/10. Is 34 a factor of (34/3 - o)/(13/195)?
True
Let k = 7000 - 3174. Is 13 a factor of k?
False
Suppose 0 = -4*g - 2*w + 2574, 0*g + g = 5*w + 671. Is 18 a factor of g/10 + (-6)/(-15)?
False
Suppose -17*q = 8298 - 37878. Does 12 divide q?
True
Let d(b) be the second derivative of -5/6*b**3 + 0 - 1/20*b**5 - 1/3*b**4 - 4*b**2 + 9*b. Is d(-5) a multiple of 14?
True
Let h = 2382 - 2235. Is 19 a factor of h?
False
Suppose 17 - 5 = 6*w. Suppose 0 = 5*t - 4*z - 680, t - 3*z + w*z = 135. Is t a multiple of 14?
True
Let b(h) = 99*h**2 - 5*h + 26. Does 11 divide b(3)?
True
Let o(x) be the second derivative of x**6/90 - x**5/120 - x**4/6 + 6*x. Let v(r) be the third derivative of o(r). Does 5 divide v(2)?
True
Suppose d + 7 = -h - d, -5*h - 5*d = 10. Suppose h*f = 243 - 63. Does 6 divide f?
True
Let c = 469 + -115. Let f be (c/18)/((-1)/(-18)). Suppose 0 = -2*q - 3*o + 147, -5*q + 0*o - 3*o + f = 0. Is 23 a factor of q?
True
Let g(h) = -19*h + 51. Let s be g(-16). Let j = s + -205. Is 30 a factor of j?
True
Suppose 0 = -2*w + 17 - 7. Suppose -4*f + 109 = -3*h, 3*f + h = w*f - 53. Is 9 a factor of f?
False
Let h = 885 + -531. Does 7 divide h?
False
Let u(q) = -q**3 - 5*q**2 - 6*q - 94. Does 17 divide u(-12)?
True
Let f(w) = -w**2 + 14*w. Let n be f(17). Let q = 98 + n. Is 20 a factor of q?
False
Let d(w) = -w**3 + 10*w**2 - 11*w + 5. Let u be d(10). Is 18 a factor of u/2*(-48)/28?
True
Let g(j) = 5*j - 17. Suppose 2*d = -4*n + 26, -4*d + 7*d = -9. Is 3 a factor of g(n)?
False
Suppose 7*w = 10*w - 450. Is w a multiple of 25?
True
Let m(c) = 2*c**2 + 6*c + 8. Let x be m(-7). Suppose -3*g + h - 7 + 46 = 0, -2*h = -5*g + x. Is g a multiple of 7?
True
Suppose 5*s - 2*b = -b - 46, b + 35 = -4*s. Does 8 divide 5104/198 - 2/s?
False
Does 81 divide 11424/2 + -5 - (-8)/(-4)?
False
Let b(d) be the second derivative of -1/20*d**5 + 0 + 1/6*d**3 - 3/2*d**2 + 2*d + 1/12*d**4. Is 10 a factor of b(-3)?
True
Suppose 0 = -s - 3 + 1. Let r(z) = 2*z**3 - 11*z**2 - 9*z + 14. Let i be r(6). Is i/s - (-8 + 5) a multiple of 2?
False
Does 8 divide 24*((-280)/12)/(-7)?
True
Does 9 divide 220*(-6)/(-12) - (-2)/(-1)?
True
Let p(c) = -15*c + 14. Let g be p(-8). Let l = 194 - g. Is l a multiple of 20?
True
Let a(g) = g**2 + 34*g + 107. Is 113 a factor of a(25)?
True
Let i be 342/(-66) + 5 - (-42)/(-11). Let w = 22 - i. Does 6 divide w?
False
Let i(q) = q**2 - 9*q - 8. Let b be i(10). Let c(j) = 2*j**b - 2*j**2 - 6 + 5 + 6*j**3 + 2*j**2. Is 4 a factor of c(1)?
False
Suppose -2*z = -n + 423, 1301 + 790 = 5*n - 4*z. Does 40 divide n?
False
Let r = -1357 + 3182. Is r a multiple of 10?
False
Let b be 9/(-24) + (1554/(-16))/21. Let d(l) be the third derivative of l**4/12 + 17*l**3/6 - l**2. Is 2 a factor of d(b)?
False
Let u(f) = 27*f**2 - 11*f + 106. Is 11 a factor of u(6)?
True
Suppose 3*r + 2*r = 0. Suppose r = -3*p + 31 - 184. Let h = p - -85. Is h a multiple of 22?
False
Let z = 99 + -55. Is z + (4*(-3)/(-12) - 3) a multiple of 7?
True
Let l = 17 + -17. Suppose 5*v - 55 = -2*u + 331, l = -5*v - 4*u + 382. Does 13 divide v?
True
Suppose 4*r - 17 = r + 4*q, -q = -5*r + 17. Suppose r*i - 3 = -4*b - 4, 2*b = -8. Suppose 0 = i*c - 7*c + 206. Is c a multiple of 20?
False
Let a(u) = u**2 - 9*u - 18. Let b(x) = -x**2 + 14*x + 27. Let l(v) = 8*a(v) + 5*b(v). Suppose -i + 5 = 1. Is l(i) a multiple of 8?
False
Let t(s) = -9*s**2 + 129*s - 32. Is 2 a factor of t(14)?
True
Suppose 0 = 2*b - 28 + 36. Let y(r) = -3*r + 7. Is y(b) a multiple of 11?
False
Suppose -5*r + 0*d = -d - 352, -r + 86 = 5*d. Suppose r = 4*i + 5*g, 5*i = 2*g + 64 + 33. Suppose -5*l - y + i = -4*l, 4*y - 93 = -5*l. Is 17 a factor of l?
True
Suppose 41*u - 39*u - 690 = 0. Is 11 a factor of u?
False
Suppose 3*i - 4*h + 109 = -2*i, -i = h + 20. Let t = -24 - i. Is 2 a factor of (-11)/((-4)/(-2) + t)?
False
Let x = 190 - -10. Suppose 7*i + i - x = 0. Let c = -1 + i. Is c a multiple of 4?
True
Let j(s) = 6*s**3 - 4*s**2 + 12*s + 12. Let l(c) = 7*c**3 - 5*c**2 + 13*c + 13. Let m(k) = -5*j(k) + 4*l(k). Does 10 divide m(-3)?
True
Let b be (-26)/10 + (-4)/10. Suppose -j = -4 - 13. Let n = b + j. Is 4 a factor of n?
False
Let c be (-7)/(14/(-636)) + 3. Suppose 5*d - c = 4. Is 13 a factor of d?
True
Suppose -2*c + 3*x + 1311 = 0, -5*c = -4*c - 3*x - 651. Is c a multiple of 55?
True
Let g(p) = p**3 - 6*p**2 + p + 6. Let s be g(6). Suppose s + 0 = t. Suppose 0*i + i = -5*h + t, -36 = -3*i + 2*h. Is 5 a factor of i?
False
Let c be (0 - -10) + 1 + -1. Let t be (c/8)/((-11)/(-88)). Is (2*t)/(3 + -2) a multiple of 10?
True
Let s be (6/4 + -2)*(10 - 1316). Suppose -53 = 5*w - s. Is w a multiple of 20?
True
Suppose -a - 571 = -4*p, 3*a + 710 = 5*p + a. Suppose 3*g + 120 = -p. Let x = g - -160. Is x a multiple of 19?
False
Suppose 2*z = -z - 45. Let s be ((-8)/(-3))/((-5)/z). Is 16/5*20/s a multiple of 8?
Tru