a) = -68*a + 65. Let d(v) = -2*t(v) + 7*x(v). Is 13 a factor of d(-5)?
True
Suppose w = -3*h + 17764, 37*h - w = 36*h + 5924. Is h a multiple of 94?
True
Let f(j) be the second derivative of -j**5/10 - j**4/6 + 5*j**3/3 + 9*j**2 - 2*j - 12. Is f(-5) a multiple of 61?
False
Let t(w) = -8*w**3 + 4*w**2 + w. Suppose 7*c - 20 = 2*c. Let r be t(c). Let d = -231 - r. Is 40 a factor of d?
False
Let d be (-2)/(-10) - (-55752)/40. Let h = d - 610. Does 28 divide h?
True
Is 11 a factor of 8/(-108) + (-49900)/(-54)?
True
Let u be 1 + 2 - (46 + -28 + -15). Suppose -2*k = -6*k + 440. Suppose -3*s + k + 64 = u. Is s a multiple of 20?
False
Suppose 0 = -6*f + 4*g + 38512 - 2046, -5*f + 5*g = -30395. Is 81 a factor of f?
True
Let s = -66 - -69. Suppose -q = -4*k - 10, -2*k - s = -q + 1. Is 12 a factor of -141*(-1)/(-2)*q?
False
Does 3 divide ((-4347)/1035)/((-48064)/16020 + 4 + -1)?
True
Let j(g) = -780*g + 1101. Is j(-10) a multiple of 69?
True
Let m be (1766/(-6) + 1)/((-1)/3). Suppose 0*i = -4*q - 2*i + m, -2*i - 210 = -q. Is q a multiple of 16?
False
Let n(l) = 80*l**2 - 4*l + 10. Let i be n(2). Suppose 2372 = m + i. Does 41 divide m?
True
Let h be (12/18)/((-1)/(-618)). Suppose 5*f + 0*a - h = a, -256 = -3*f + 5*a. Does 9 divide f?
False
Let g be (-23)/(-5) + 28/20 + -1. Suppose g*z + 9 = 8*z. Suppose 9*l + 181 = 3*a + 4*l, 5*l = -z*a + 191. Is a a multiple of 31?
True
Let j = -168 - -701. Let s = 467 + j. Does 102 divide s?
False
Suppose -15*h - 365 = -20*h. Suppose -127*k + 126*k = -h. Does 15 divide k?
False
Let u = 10 - 5. Suppose 2*g - u*k - 87 = 155, 2*k - 325 = -3*g. Does 4 divide g?
False
Let a(b) = -b**3 + 70*b**2 + 159*b - 976. Is a(72) a multiple of 14?
False
Let z(c) be the third derivative of c**5/60 + c**4/4 + 8*c**3/3 + 6*c**2. Let j be z(-11). Suppose -3*a + j = 11. Is a a multiple of 5?
True
Let i(w) = 7*w**2 + 2 + 10 - 4*w**2 + 3*w**2 + 32*w. Is i(-8) a multiple of 5?
True
Let r(o) = 323*o**2 + 340*o + 3873. Does 16 divide r(-11)?
True
Is (30/9*-3)/(9670/1935 + -5) a multiple of 6?
True
Suppose -6*f + 7*f = -s + 268, 0 = f - 2*s - 253. Is f a multiple of 38?
False
Let y be (-62453)/133 - (-3)/(-7). Let b = -142 - y. Is 41 a factor of b?
True
Suppose -5*x = 5*b + 1480, -27 = 4*x - 7. Let l = 439 + b. Suppose l = n - 17. Is n a multiple of 38?
False
Does 10 divide 40 + -51 + (0 - -31861)?
True
Suppose k + 583 = 5*n, -5*n = -2*k - k - 589. Suppose 4*u - u = -4*m + 210, 2*m = 4*u + n. Suppose 6*c - 182 = -3*b + 2*c, 0 = b + 3*c - m. Does 13 divide b?
False
Let u(n) = -n + 8. Let i be u(5). Let s(q) be the third derivative of q**5/60 + q**4/24 - q**3/6 - 66*q**2. Is 11 a factor of s(i)?
True
Let n be (-426)/10 + 2/(-5). Suppose -3*m - j = -22, 5*m + 127*j - 123*j = 46. Let s = m - n. Is s a multiple of 8?
False
Let s be 4*(3 + -4)*(-5)/4. Suppose h - s*h = -2*w + 594, -3*w = 4*h - 921. Is w a multiple of 14?
False
Let a(k) = 9*k - 45. Let v be a(5). Suppose v = 131*q - 137*q + 534. Does 22 divide q?
False
Let i = 732 + -293. Is i a multiple of 5?
False
Let r = 1050 - 574. Does 7 divide r?
True
Suppose -92*w + 84*w + 536 = 0. Let c = -19 + w. Does 12 divide c?
True
Suppose 0 = d + 3*d + 8. Let k(g) = 6*g + 30. Let b be k(-3). Is 12 a factor of 13*b/(-1 + 4 + d)?
True
Suppose v = 5*g - 2*g - 420, 1225 = -3*v + 2*g. Let h = v - -769. Is 14 a factor of h?
True
Suppose 0 = -22*s + 17*s + 5*j + 305, -3*s = 3*j - 195. Suppose -5*a - 2 = -6*a. Suppose -5*u = -4*m - s, -2 = a*m - m. Is u a multiple of 8?
False
Suppose 856*z = 879*z - 280140. Is 21 a factor of z?
True
Let h(i) = i**2 - 2*i - 6. Let t be h(0). Let a be ((-64)/t)/8*9/6. Suppose -4*o + 5*f = -475, 0*o + 3*o + a*f - 339 = 0. Is o a multiple of 8?
False
Does 6 divide 24196 + (-8 + -4)*((-65)/(-10) - 7)?
False
Let t = 22635 - 21814. Does 5 divide t?
False
Suppose -3*w - 4*m = -0*w + 14, 4*m = -w - 10. Let v be (1/(4/258))/(1/w). Let j = -95 - v. Is 18 a factor of j?
False
Let o(y) be the first derivative of 3*y**5/20 + y**4/6 - 2*y**3/3 + y**2/2 + 2*y - 28. Let m(z) be the first derivative of o(z). Is m(2) a multiple of 5?
True
Let s(a) be the third derivative of 5*a**4/24 + 45*a**3 + 4*a**2 + 13. Is 15 a factor of s(0)?
True
Suppose -1331*z = -1327*z - 28556. Is 12 a factor of z?
False
Let t(y) = 53*y + 213. Let p be t(18). Suppose 924 = 3*u - p. Is 6 a factor of u?
False
Let p = 206 + -206. Suppose 14*k - 1464 - 622 = p. Is 25 a factor of k?
False
Let a(y) = 26*y**2 - 207*y + 7258. Is 71 a factor of a(32)?
False
Let q = 36 + -32. Suppose -3*o - q*z - 1480 = -5*o, 5*o - 4*z - 3694 = 0. Is 18 a factor of o?
True
Let s(y) = -658*y + 18. Let z be s(-3). Suppose 7*b - z = -396. Is 19 a factor of b?
True
Is 26 a factor of ((-312)/(-60))/((-8)/(-3960))?
True
Let s be 126293/285 - (-4)/(-30). Let u = s - 109. Is u a multiple of 16?
False
Suppose 4*v - 3*v - 132 = 0. Let a be (-3 + 2)/((-4)/8 + 0). Suppose -44 = -a*m + v. Is 11 a factor of m?
True
Let v(r) = -18*r + 28. Let t be v(-8). Suppose t = 13*w - 673. Does 12 divide w?
False
Let w(p) = 3*p**3 + 4*p - 2. Let o be w(2). Suppose -o = -2*i - i. Suppose 0 = 2*r + i, 489 = a + 3*a + 3*r. Does 41 divide a?
False
Suppose 4*v - 33125 = 5*s - 10667, -3*s = -v + 5611. Is v a multiple of 85?
False
Suppose 5*w = -2*x - 0*x - 315, 2*w - 715 = 5*x. Is 27 a factor of 4/(-2) - x - (-9 - -12)?
False
Is 14 a factor of 14698*(63/(-84) - (-28)/16)?
False
Let w(u) = 1279*u - 2221. Is w(18) a multiple of 76?
False
Let o(f) = -f + 1. Let a be o(-5). Let x be -9*(2/3)/(a/(-9)). Suppose -x = -3*c + 15. Does 2 divide c?
True
Suppose -4*j = -2*d - 22, 3*j + 2*d = 33 + 1. Let i(t) = -t + 9. Let w be i(j). Is (w - -1)/((35/300)/7) a multiple of 12?
True
Let z(w) = -1. Let f(r) = r - 10. Let o(m) = -f(m) + 2*z(m). Let k be o(5). Is 10 a factor of (-26)/(-2*k/24)?
False
Is 18 a factor of (3 + -2)*4391 - (-8 + 8)?
False
Suppose -379 = -10*s + 131. Let q = s + 177. Is q a multiple of 12?
True
Let l(g) = -15*g**3 + 3*g**2 - 2*g - 1. Let a be l(3). Suppose 4*w - 3*m + 23 = 48, -5*w = -5*m - 35. Is (a/(-44))/(1/w + 0) a multiple of 12?
False
Let x = -23 - -13. Let b be 375/x*2 + -2. Let c = -29 - b. Does 22 divide c?
False
Let a = 293 + -443. Let k = a - -329. Suppose -91 = -6*v + k. Is v a multiple of 12?
False
Does 102 divide -24356*((-297)/36 + 8)?
False
Suppose 3*a = -2*c - 7486 + 41245, -16877 = -c - a. Does 114 divide c?
True
Suppose -4*q - 156 = 74*q. Let g(x) = -263*x - 3. Is g(q) a multiple of 17?
False
Suppose 5*y = -4*u + 6*u + 214, 2*y - 97 = -3*u. Suppose 47*g - 1054 = 30*g. Let c = g - y. Is 9 a factor of c?
True
Does 52 divide (12 + 3)/(19/13661)?
False
Let u = -75 - -21. Let l = u + 177. Does 11 divide l/9 + 2/(-3)?
False
Let x(z) = -582*z**2 - 3*z - 1. Let b(k) = -2329*k**2 - 12*k - 3. Let i(u) = 2*b(u) - 9*x(u). Is i(-1) a multiple of 20?
True
Let i be (-6 - -24) + 2 + -1. Let k = 14 - i. Let y(m) = -10*m - 8. Is y(k) a multiple of 14?
True
Is (-1998516)/(-460) - 9/15 a multiple of 31?
False
Suppose -2*m - 5*m = 63. Let v(t) = -t**3 - 5*t**2 - 3*t - 20. Let c be v(m). Suppose c = 10*s - 229. Is s a multiple of 14?
True
Suppose 62 = 4*x - 2. Let q(j) = x*j + 2 - 9*j - 8*j. Does 5 divide q(-13)?
True
Let s(j) = -j**3 + 5*j**2 + 2*j + 4. Let x be s(7). Suppose -2*f + 452 = 5*i, i + 3*f - 13 = 80. Let t = i - x. Does 34 divide t?
True
Suppose 0 = 15*z - 148 + 13. Suppose -3643 = -z*o + 6680. Does 12 divide o?
False
Suppose -783 = -7*i + 862. Suppose a - 2*p = p + 90, 0 = 3*a - 2*p - i. Does 18 divide a?
False
Let y = 3167 - 3145. Let d = 58 + -32. Let c = y + d. Does 16 divide c?
True
Let u be (-3 - 1)*(-9 - -5). Suppose -4*f + 4*b + u + 12 = 0, -3*f - b + 17 = 0. Suppose 12*y - 1662 = f*y. Is y a multiple of 48?
False
Suppose 4*q - 7*b = -8*b + 32374, -2*q + 16178 = -4*b. Is q a multiple of 31?
False
Let v = 1496 - 716. Does 30 divide v?
True
Let a = -2074 - -6159. Does 107 divide a?
False
Let w be 1/(-3) - 84/(-9). Suppose 292 = w*l - 284. Is 4 a factor of l?
True
Suppose 31*u - 27*u + 1356 = 0. Let x = 862 + u. Is 36 a factor of x?
False
Suppose 9*f + 3759 = 11*f + 3*h, -5*f - 2*h = -9381. Let r = -886 + f. Is 8 a factor of r?
False
Let x be ((-242)/(-33)*6/4)/1. Suppose -5*k + 17 = -2*z, 7*k = 5*k - 4*z + 2. Let h = k + x. Does 14 divide h?
True
Suppose