or of w?
False
Let i(f) = 4*f + 1518. Is 8 a factor of i(-20)?
False
Suppose 30*j = 2*g + 35*j + 14, -5*g + 35 = -5*j. Suppose g*n = -v + 2616, -3*n - 5*v + 239 = -2389. Is 8 a factor of n?
False
Is 216 a factor of (-33)/(-55)*(0 + (-30040)/(-12))?
False
Suppose -3500 = -n + 5*g, -5*n + 14000 = -n + 4*g. Does 70 divide n?
True
Let l(x) be the third derivative of x**5/60 + x**4/4 + 23*x**3/3 + 7*x**2. Let t be 2*1/((-6)/39). Does 7 divide l(t)?
False
Suppose 2*g - 274 = -5*m + 101, m = -4*g + 705. Is 24 a factor of (-6)/14 + 12675/g?
True
Let h be ((-3)/(-9) - 40/(-24)) + 2. Suppose 3*c - h*p - 286 = 2*c, 632 = 2*c + 4*p. Does 34 divide c?
True
Suppose d - 2*m + 1415 = 5197, 0 = d + m - 3779. Is d a multiple of 20?
True
Let c = -2919 + 3667. Is 22 a factor of c?
True
Suppose 4*r - 9 = r. Suppose 0 = -5*k + 8*f - 4*f + 1045, -4*f + 659 = r*k. Is 19 a factor of k?
False
Suppose 2*v + 0*i - 2473 = -5*i, 0 = v - 4*i - 1204. Suppose 7*b = 946 + v. Is 36 a factor of b?
False
Suppose -8*l + 6432 = 5*l - 9*l. Does 24 divide l?
True
Let i(r) = 2*r**3 + 74*r**2 - 17*r + 368. Does 139 divide i(-26)?
False
Suppose -4179 = -7*k + 700. Is 52 a factor of k?
False
Let x be 9 - (-582)/66 - 6/(-33). Suppose -39*o = -x*o - 6300. Is 30 a factor of o?
True
Let u = -35 + 41. Does 9 divide (-11 - -13)*63/u?
False
Suppose -2*g + 56 = 4*u - u, 0 = -2*u - 2*g + 40. Let k(m) be the third derivative of m**5/30 - m**4 + 3*m**3/2 + 166*m**2 + 2*m + 3. Does 25 divide k(u)?
False
Let n(s) = 71*s + 936. Is n(57) a multiple of 14?
False
Suppose 76619 = 5*k + 4*z + 11435, -k + 13024 = 4*z. Is k a multiple of 15?
False
Let l(w) be the first derivative of 66*w**2 + 11*w + 65. Is 11 a factor of l(2)?
True
Let y be (70/(-21))/(2/3). Let m(d) = d**3 - 3*d**2 + 6*d - 2. Let a be m(y). Let l = -114 - a. Is 46 a factor of l?
False
Let c(m) = -294*m + 350. Is c(-2) a multiple of 17?
False
Let v be (15 - 14)*(0 - -160). Let w be (5/4)/(11/44). Suppose 6*i + v = w*k + 2*i, -k = 2*i - 18. Does 5 divide k?
False
Let k be (1 - 0 - -111)/(9/9). Let j = k - 153. Let d = j - -81. Is d a multiple of 6?
False
Let x = -139 + 301. Let m = -83 + x. Suppose 281 = 6*l - m. Does 14 divide l?
False
Suppose -2*t = -8539 - 70995. Does 13 divide t?
True
Let j = -15 - -17. Suppose 275 = 6*k - 271. Suppose -j*n - 400 = -4*v, -3*n - k = -v - 7*n. Is v a multiple of 23?
False
Suppose -38 = -4*x - 2*f, -5*x + 3*f = -46 - 7. Let o = x + -7. Let a(l) = 4*l**2 + 5*l + 3. Is 19 a factor of a(o)?
False
Is 3 a factor of 1/2 + -10*(-873)/180?
False
Suppose -k - 2*k + 192 = 0. Suppose -4*f = 3*i - k, 2*i = -f + 4*f + 20. Suppose 12*b - i*b = -32. Does 8 divide b?
True
Let w = -5791 - -9582. Is w a multiple of 21?
False
Let f(z) = 18*z - 348. Let p be f(21). Suppose 0 = -p*u + 2130 + 42900. Does 100 divide u?
False
Suppose -13 = 3*m - t + 1, -m = -5*t. Let g be (-12 - -11)*(2 + m). Suppose -k - f = -44, k - 41 = 4*f + g. Is k a multiple of 7?
False
Let c(w) = -2*w**3 + 52*w**2 - 48*w - 5. Let g be c(25). Let u(k) = k + 117. Let s be u(0). Suppose -s - g = -9*h. Does 6 divide h?
True
Suppose -1982 = -6*q - 596. Suppose -q*r = -230*r - 210. Does 10 divide r?
True
Suppose -3*l - 4*t + 4295 = 0, 4*l + 4*t - 6422 = -698. Is 81 a factor of l?
False
Let s(k) = -8 - 16 - 11 - k**2 - 14*k - 3. Is s(-5) a multiple of 2?
False
Suppose 4*g + 4*i = g + 18, -5*g + 13 = i. Suppose -w + 4*w = -3*m + 573, 2 = -g*m. Does 6 divide w?
True
Let o = -935 - -935. Suppose o = 174*r - 175*r + 109. Is r a multiple of 11?
False
Let r be ((-64)/(-6))/(34/51). Suppose r*o = 23*o - 70. Let z(v) = v**3 - 7*v**2 - 8*v + 12. Is 12 a factor of z(o)?
False
Suppose -557*c = -543*c - 65786. Is c a multiple of 49?
False
Does 130 divide (-7)/2*(-47)/((-7238)/(-57200))?
True
Let v = -351 - -280. Let p = 67 - v. Does 5 divide p?
False
Suppose -127*c - 500888 = -185*c. Is c a multiple of 29?
False
Let p be (16/56 - (-4)/35)*20. Suppose 23 = 3*c + p. Suppose -2*b + c*q = -6*b + 725, 5*q - 25 = 0. Is b a multiple of 35?
True
Let h = 679 - -17277. Is h a multiple of 4?
True
Suppose 5*a - 360 = -2240. Let v be 223294/388 + 1*2/4. Let u = a + v. Is u a multiple of 25?
True
Let f = -63 - -93. Suppose -p = f - 54. Suppose -v = -72 + p. Is v a multiple of 8?
True
Let w(c) = 757*c - 2704. Does 85 divide w(6)?
False
Let n be (2/(-4))/(3/18). Is 2973/12 + n/(-12) a multiple of 23?
False
Suppose 0 = -g - 0*g + o, -3*o = 0. Suppose -2*p + 3*p - 11 = g. Let b(m) = 8*m - 17. Does 7 divide b(p)?
False
Let f = -16 + 10. Let a be (-1862)/(-42) - (1 - (-10)/f). Suppose 166 - a = y. Does 11 divide y?
True
Let q = -2415 - 406. Let a = -1606 - q. Does 45 divide a?
True
Let r = 305 - 318. Is 13 a factor of r/(-3)*(2 + 10)?
True
Let z(a) = -a**3 + 17*a**2 + 4*a - 57. Let s(b) = b**3 - 16*b**2 - 3*b + 56. Let q(j) = 5*s(j) + 4*z(j). Is q(12) a multiple of 32?
True
Let d = -18755 + 27404. Is d a multiple of 31?
True
Let r = -576 - -5953. Is r a multiple of 11?
False
Let u(i) be the second derivative of i**4/12 - 7*i**3/3 - 3*i**2/2 + i - 16. Is u(15) a multiple of 12?
True
Suppose -5*c - 5*i = -15, 3 = -c - 6*i + 3*i. Suppose 0 = 7*n - c*n - 324. Suppose -n = -7*g + 4*g. Is g a multiple of 36?
True
Let f(p) = -17*p**2 + 15*p - 18*p**2 + 23 + 36*p**2. Let z be f(-13). Is 13 a factor of (-16)/((-148)/(-52) + z)?
True
Suppose 6*g = 3961 + 4127. Let c = g - 978. Is c a multiple of 23?
False
Let g(n) = -n**3 - 64*n**2 + 199*n + 262. Is 3 a factor of g(-67)?
True
Let r(a) = 2404*a**3 + 11*a**2 - 18*a + 6. Is r(1) even?
False
Suppose 36 - 3 = 3*g. Let k(a) = -38*a - 135. Let c(t) = -13*t - 45. Let r(b) = g*c(b) - 4*k(b). Is r(17) a multiple of 22?
True
Suppose 4*v + 6253 = 3*t - 30765, -2*v - 12338 = -t. Is 51 a factor of t?
True
Let t be (1/(-1))/(7/(-3192)). Let a(x) = 9*x + 22. Let w be a(-2). Suppose -5*c + p + t = -2*p, -w*c - 4*p + 384 = 0. Is c a multiple of 10?
False
Suppose 0 = 7*u + 381 + 1600. Let p = u + 445. Suppose 3*i + 3*y = p, -2*y = i - 0*i - 55. Is 11 a factor of i?
False
Let z(o) = 14*o**2 - 52*o + 943. Does 25 divide z(21)?
True
Let x = 25 + -22. Suppose 3*s + 2*o = 277, -x*o + 5*o = 3*s - 257. Suppose 4*v + 2*m - m = s, -m + 1 = 0. Is v a multiple of 9?
False
Let x = 8 - 2. Let q be (-52)/x + (-4 - (-33)/9). Is 10 a factor of q/(-6) - 882/(-12)?
False
Let c = 169 - -7991. Does 204 divide c?
True
Let h be 38/(-6) - 5/(-15). Let u be (3/h)/((-1)/(-1400)). Is 11 a factor of 1 + (-1 - 1/(4/u))?
False
Suppose 80 = -4*a - 244. Let n = a + 106. Suppose -n*h = -26*h + 178. Is 11 a factor of h?
False
Is 55 a factor of 14/(-12) + (-171223)/(-78)?
False
Let c = 36 + -32. Suppose -2*h + 2 + 4 = -y, -y = -c*h + 14. Suppose y*z = 2*g - 88, 0*z - 3*z - 9 = 0. Does 19 divide g?
False
Let i(v) = -6 + v**3 + 5 - 2*v**2 - 27*v + 8*v + 8*v**2 - 9. Is i(-6) a multiple of 4?
True
Let g = -266 + 538. Is 8 a factor of g?
True
Suppose u + 17 - 12 = 0, -4*u = 4*h + 28. Let l = 36 - h. Is l a multiple of 9?
False
Suppose -146*o - 755 = -151*o. Let d = o + 134. Is 19 a factor of d?
True
Let b(h) = 260*h**2 - 208*h + 1929. Is b(9) a multiple of 16?
False
Suppose -60 = 11*s + 9*s. Does 14 divide (-3993)/(-15) - (-1)/15*s?
True
Suppose -t + 3*t = -r - 278, -4*r - 1139 = -t. Let y = r + 556. Does 34 divide y?
True
Let a(m) = 100 + 182*m + 205*m - 403*m. Is 13 a factor of a(-10)?
True
Suppose 75729 - 2729 = 10*x. Is 145 a factor of x?
False
Is 69 a factor of 296/(-666) - 88190/(-18)?
True
Let n = -4118 - -7495. Is 10 a factor of n?
False
Let f = 9613 - 2404. Does 5 divide f?
False
Let m be (2 - 0 - (-6)/(-2))*-3. Let w(l) = 10*l - 15*l**2 - 16 + 4*l**2 - 12*l - 16*l + l**m. Does 11 divide w(13)?
True
Suppose -2*m + 4*h = -39938, 0 = 4*m - 12*h + 14*h - 79906. Is m a multiple of 17?
True
Let g(w) = -219 + 163 + 432*w - 85*w. Is 38 a factor of g(2)?
False
Let n(r) = -11*r + 5. Let g be n(1). Let s be (24/20)/(g/15). Is 14 a factor of ((-84)/4)/s*26?
True
Let p = -45 - -49. Let k(h) = 16*h**3 - 3*h**2 - h. Let w be k(p). Does 18 divide w/24*(-32)/(-6)?
True
Let n(g) = g**3 - 12*g**2 + 13*g - 2. Let d be n(1). Suppose d = -4*m - 3*z + 300, 3*m - z - z - 225 = 0. Is m a multiple of 2?
False
Suppose -15*n - 44 = -119. Suppose -n + 16 = u. Is u a multiple of 6?
False
Suppose -3*s + 4*s - 7746 = -j, -3*j + s