 l**7/840 + l**6/240 + 3*l**5/40 - 31*l**4/12 + 13*l. Let j(c) be the third derivative of x(c). Is j(-6) a multiple of 20?
False
Let s = 3434 + -3342. Is 3 a factor of s?
False
Suppose -29 + 71 = 3*p. Let c be 60/9*(-168)/(-20). Suppose -c = -p*n + 12*n. Is 7 a factor of n?
True
Suppose 0 = 5*v - 5*d - 3 - 2, 0 = 2*v + d + 1. Suppose -5*b = -11 + 26, -5*t + b + 3863 = v. Is 15 a factor of t?
False
Suppose -80*z + 76*z = 116. Let k = 409 + z. Is k a multiple of 17?
False
Let q = 705 + 1209. Does 49 divide q?
False
Is 205 - (7 + -8) - -10 a multiple of 27?
True
Let g(m) = 5*m**3 + 15*m**2 + 15*m + 243. Does 43 divide g(21)?
False
Suppose 300 = -220*v + 232*v. Let l(p) = -p**3 + 25*p**2 + 7*p - 5. Does 17 divide l(v)?
True
Suppose 5*x - 54730 = y, -75*y = -78*y. Is x a multiple of 209?
False
Suppose 0 = 18*v - 7819 - 416621. Does 6 divide v?
True
Suppose 172154 + 383690 = 45*g - 526316. Is 144 a factor of g?
True
Suppose 288*l + 41*l - 4987328 = -194*l. Does 32 divide l?
True
Let v be (-16)/(-4) - 2 - -22. Suppose -2362 - 1886 = -v*k. Does 5 divide k?
False
Suppose -y = 5*v - 136, 0 = 3*y - 14*v + 13*v - 408. Is 68 a factor of y?
True
Let f(i) be the third derivative of 0*i + 11/24*i**4 + 18*i**2 - 5/3*i**3 + 0. Is f(5) a multiple of 9?
True
Let n = -43 + 53. Let c(o) = 1 - 1 - 5*o - n*o + 4. Is 8 a factor of c(-4)?
True
Suppose -7*r + 8*r = 8*b - 50739, 5*r + 12699 = 2*b. Does 151 divide b?
True
Let v be 1 - (5 + 9 + -1). Is ((-261)/v)/(4*9/384) a multiple of 8?
True
Is 17 a factor of 9 - ((12 - (9269 - -2)) + 3)?
True
Let g(f) = f**3 - 18*f**2 - 4*f + 226. Does 14 divide g(18)?
True
Let c be 2 + 0 - (2 - 4). Suppose 0 = c*p - 2*k - 1924, -3 = 4*k + 5. Is p a multiple of 10?
True
Let d = -58590 + 112117. Is d a multiple of 22?
False
Let k = -324 + 76. Let w = 698 + k. Is w a multiple of 15?
True
Suppose -v = 3*r - 18592, -v - 4428 + 23025 = 4*r. Does 187 divide v?
False
Let k = 98 - 92. Suppose 0 = -k*h + 110 + 46. Suppose -h + 86 = y. Is y a multiple of 15?
True
Let u(i) = -i**3 - 42*i**2 - 70*i + 80. Let h be u(-41). Suppose -11*s = -5177 - h. Does 26 divide s?
False
Let y(s) = 6*s - 6 + 7*s**2 - 15*s**2 + 9*s + 9*s**2. Let p be y(-19). Let g = p + -13. Does 27 divide g?
False
Suppose -4*x + 3*a + 39 = 0, -x - 19 = -0*x + 5*a. Suppose x*h - 5 = h, 2*h - 4 = -r. Suppose -l + r*l = 3*c - 92, 4*c - 2*l = 124. Is c a multiple of 10?
True
Let x = 108 - 120. Let c = 10 + x. Does 4 divide 12 + (1 - c) + 1 + -8?
True
Let m(w) = -4*w - 44. Let z be m(-14). Does 30 divide (203/7 - 4)*z?
True
Suppose 2*l = -4, -l = k - 0*l - 63. Let v = k + -48. Let z(x) = -x + 33. Is z(v) a multiple of 4?
True
Suppose k - 5*c - 6 = 0, -9*k + 3*c + 42 = -6*k. Suppose -4*a + 12*a = k. Suppose 2*z + 2*n - 301 = 7*n, 153 = z - a*n. Is 20 a factor of z?
False
Let p be 3/(3/6*3). Suppose 12*s - 6 = 18. Suppose q - 114 = -3*c - p*q, 61 = s*c - q. Is c a multiple of 6?
False
Let v(f) = 12883*f**2 - 187*f + 189. Is v(1) a multiple of 11?
False
Does 207 divide -16 + (-1617)/(-105) + (-117646)/(-10)?
False
Let t = -31 + 6. Let r be ((-3890)/t)/((-16)/10 - -2). Suppose 5*b - r = -69. Does 6 divide b?
False
Let b(r) = -15*r - 144. Let o be b(-9). Let s(c) = -c**3 + 3*c**2 + 10*c - 23. Is s(o) a multiple of 74?
False
Suppose 0 = -14*x - 4*x + 48438. Is 12 a factor of (x/156)/(1/16)?
True
Let r(n) = 9*n + 25. Let z(t) = t**3 + t**2 - 2*t. Let y be 9/4 - 14/56. Let q be z(y). Is r(q) a multiple of 23?
False
Let t(m) = -m**3 + 14*m**2 + 12*m + 25. Let w be t(15). Let r be 30/w - (-15)/2. Suppose r*o - 8 = 1342. Is 32 a factor of o?
False
Let g(w) = -182*w - 8. Does 5 divide g(-7)?
False
Let f = 76 - 320. Let r = -180 - f. Is r a multiple of 8?
True
Suppose 9*v + 65*v - 101010 = -4*v. Is v a multiple of 44?
False
Suppose -k - 2 = 0, 5*s - 2*k = -0*k + 104. Suppose n - 46 = s. Does 22 divide n?
True
Let n(f) = 3*f**3 + 30361*f - 2*f**2 - f**3 - 30358*f + 13. Does 17 divide n(6)?
True
Let v = -8886 + 13190. Is v even?
True
Let f = -317 - -232. Suppose v - 4*r - 194 = 0, 6*v - v = 5*r + 1045. Let q = f + v. Is q a multiple of 12?
False
Let o(u) = 8*u**3 + 2*u**2 - 5*u - 1. Let l be o(5). Let h(g) = g**3 + 14*g**2 - 24*g + 25. Let f be h(-11). Let t = l - f. Is t a multiple of 49?
False
Let h(n) = n + 29. Let u be (-6 - (1 + -4))*1. Let f(k) = -30. Let t(w) = u*f(w) - 4*h(w). Is 13 a factor of t(-13)?
True
Let j(q) = q**2 + 6*q + 5. Let d be j(-5). Let i be 5/(15/12) + (5 - 4). Suppose d = -i*x, 3*g + g = 5*x + 1200. Is g a multiple of 16?
False
Suppose 2*m - 24 = -5*g, m = -3*m + 2*g. Suppose 3 = r + m. Is 33 a factor of 40/(-10) + (r - -137)?
False
Let y be (-12)/9 + 44/(-12) + 1. Does 77 divide (18/27)/(y/(-1956))?
False
Let h = 253 + -124. Suppose -3*t = -102 - h. Does 11 divide t?
True
Suppose 73*p - 75*p - 199422 = -4*f, -149528 = -3*f - 4*p. Is f a multiple of 58?
False
Let b be 0 - 0 - (52 + -55). Let s(x) = 47*x + 1. Let o(g) = -31*g - 1. Let q(p) = 7*o(p) + 5*s(p). Is 11 a factor of q(b)?
False
Let l = 2 - -2. Suppose -l*c + 1075 = -725. Does 18 divide c?
True
Let f = -4577 + 7181. Does 31 divide ((-1)/(-2)*93)/(279/f)?
True
Let b(x) = 15*x**2 + 5*x + 4. Let m be b(-3). Let n(i) = 129*i + 4133. Let p be n(-32). Suppose -p*l + m = 4. Is 24 a factor of l?
True
Let d = -9 - -11. Suppose -u + 3*u + 2*m = 16, -8 = d*u - 4*m. Suppose 0 = -4*a + u*t + 152, a - 33 = -4*t + 25. Does 15 divide a?
False
Let y = -55 + 60. Let u be ((-1056)/(-20))/6 + 1/y. Suppose 0 = -2*b + a + 268, b - 140 = -10*a + u*a. Is b a multiple of 17?
True
Does 132 divide (5699/278)/((-2)/(-164))?
False
Suppose 0 = -5*j - 4*s, 4*j - 5*s - 44 + 3 = 0. Let q be (-36)/(-7) + (4/(-7))/j. Suppose 2*l + 134 + 10 = q*y, 5*y - 165 = -5*l. Does 8 divide y?
False
Let k(w) = -29249*w - 750. Is k(-1) a multiple of 67?
False
Let g(p) = p**3 - 35*p**2 - 35*p - 139. Let t be g(36). Let u = t - -276. Is 59 a factor of u?
False
Suppose 100 + 209 = 3*g. Suppose 561 = 5*j - 3*h, -5*h - 430 + g = -3*j. Is 6 a factor of j?
True
Suppose 135 = -5*r + 4*x, -2*r - 105 = 3*r + 2*x. Let i = -849 + 1009. Let q = r + i. Is q a multiple of 30?
False
Let o = -50 - -86. Let j(d) = -16*d + 62 - o - 36. Is 15 a factor of j(-10)?
True
Let l be 115 - (-1 - -4) - (0 + 3). Suppose 3*z - 5*u + 3*u = -161, -u = -2*z - l. Let f = z + 112. Is f a multiple of 11?
True
Suppose 0*h = 8*h - 40. Suppose -23 - 31 = 4*x - 3*r, h*x = -2*r - 79. Is 15 a factor of 3/x + 2253/15?
True
Let n(y) be the third derivative of y**5/20 + 5*y**4/12 - 41*y**3/6 + 9*y**2. Let w be n(18). Suppose -13*r + 2*r = -w. Is 17 a factor of r?
False
Let a(h) = -h**3 + 11*h**2 + 5*h - 35. Let z be a(10). Suppose -122 = -x + z. Is 3 a factor of x?
True
Let c = 3906 - 2976. Is c a multiple of 30?
True
Suppose -16 = 27*c - 11*c. Does 6 divide c + (-2)/(165/57 - 3)?
True
Let q = 25 + 125. Suppose -q = -s + 81. Does 11 divide s?
True
Let w(f) = -f**2 + 34. Suppose q = -3*q + 5*b + 5, 4 = 3*q - 4*b. Is w(q) a multiple of 17?
True
Suppose -4*j = -24 - 8. Let h(u) = 24*u**2 - 51*u + 24. Is 32 a factor of h(j)?
True
Let f be (0 - 3)/(6/(-2)) - -77. Suppose x = 5*c - f - 818, c = -5*x + 200. Is c a multiple of 9?
True
Let h(p) = 19*p**2 - 2*p - 3. Let a be h(3). Suppose 319*z - 320*z = 2*f + 3, -4*f = 3*z + 9. Suppose f = 6*n - 0*n - a. Does 5 divide n?
False
Suppose -2*r = -2*t - 554, 4*r + 64*t = 67*t + 1102. Does 3 divide r?
False
Let y(g) = 6*g - 2. Let x(o) = -8*o + 3. Let d(z) = 4*x(z) + 6*y(z). Let i be d(0). Is (-3 + 7)*((-4)/(-2) + i) a multiple of 4?
True
Let m(s) = 922*s - 4678. Does 58 divide m(13)?
True
Suppose 13452 + 21660 = 14*v. Is v a multiple of 33?
True
Let g(o) = 301*o + 28. Let a be g(2). Suppose -4*i - i = -a. Is i a multiple of 7?
True
Suppose -19*h - 331231 = -1026194. Is 316 a factor of h?
False
Let f = -107 - -108. Let h(m) = 28*m**3 + 5*m**2 + 3*m - 8. Let w(a) = 27*a**3 + 4*a**2 + 3*a - 7. Let s(q) = -5*h(q) + 6*w(q). Is s(f) a multiple of 17?
False
Suppose 16*m - 57 - 39 = 0. Let s = -4684 - -1648. Is 38 a factor of -1 + m/5 + s/(-20)?
True
Suppose 4*o - 25 = -k + 6*k, 3*o - k - 27 = 0. Let j(w) = -w**3 + 7*w**2 + 37*w - 22. Is 3 a factor of j(o)?
True
Let i(d) = -d**3 + 14*d**2 + 10*d + 4. Let a be (21/(-2))/(((-5)/(-10))/(-1)). Let u = -7 + a. Does 31 divide i(u)?