-29*w, -2028 = -6*k - 3*w. Is k a multiple of 3?
False
Let t(u) be the first derivative of -33*u**4/8 + u**3/6 - 7*u**2/2 + 13. Let o(n) be the second derivative of t(n). Does 25 divide o(-1)?
True
Suppose -111*j + 56*j + 2973240 = 161*j. Is j a multiple of 83?
False
Is (-9)/(-48)*(24034 + 2) - 32/(-128) a multiple of 63?
False
Let q(x) = -11*x**2 + 35*x**2 - 9 + 5*x**2 - 14*x**2 + 6*x. Let a be q(2). Let v = 72 - a. Does 3 divide v?
True
Suppose 2*s + s + 11*s = 0. Suppose 13*d - 3509 - 1639 = s. Is d a multiple of 22?
True
Let y(w) = 7*w - 60. Let u be y(9). Suppose 0 = 3*h + u, -t = -5*h - 108 - 69. Does 5 divide t?
False
Let z = -81 - -82. Suppose 3*u - 3 = 3*s, -2*u + 3*u = 3*s + z. Suppose s*c + 49 = c. Does 12 divide c?
False
Let s(u) = 36*u**3 - 2*u**2 + 2*u. Suppose -39 + 21 = -a. Let q = 19 - a. Does 3 divide s(q)?
True
Let f = 230 - 230. Suppose f = -3*l + 1002 - 330. Is 19 a factor of l?
False
Is (2325150/(-40))/(-15) + (-18)/(-24) a multiple of 102?
True
Let d(t) = -69*t - 1. Let l(n) = 35*n. Let j(o) = 3*d(o) + 5*l(o). Let v be j(6). Let a = v + 282. Is 18 a factor of a?
False
Let r = 105 - 103. Suppose -9*j = -u - 4*j + 232, -425 = -r*u - 3*j. Let n = u + -127. Is 15 a factor of n?
True
Suppose -104*o + 72 = -42*o - 114. Suppose -35 + 9 = -2*i. Is o - 150/(-8)*(i + -5) a multiple of 9?
True
Let j = 457 + -387. Suppose 0 = h - 8 - 2. Let u = j + h. Is u a multiple of 5?
True
Let o(q) be the third derivative of q**4/6 - 7*q**3/6 + 3*q**2. Let w = 238 - 214. Is 17 a factor of o(w)?
False
Suppose -3*c = -13*l + 356082, 4*l = -5*c + 31491 + 78049. Does 66 divide l?
True
Let w(k) = 3*k + 12. Let l be w(-3). Suppose 6*g - 132 = l*g. Does 22 divide g?
True
Let b = -4 - -2. Suppose 4*g - 19 = g - 5*f, -g + 10 = -2*f. Is 5 a factor of 1089/44 - b/g?
True
Let i(u) = -2*u**3 + 65*u**2 + 78*u + 20. Is 4 a factor of i(33)?
False
Let n(y) = -15*y + 116. Suppose 0 = v + 3*w + 8, 4*v = 3*w - 74 - 18. Is 52 a factor of n(v)?
True
Suppose -1107 - 35588 = -4*a + 5*f, -4*a + 36745 = 5*f. Is 204 a factor of a?
True
Let i(y) = 55*y**2 - 23*y + 4. Does 15 divide i(11)?
False
Is 23 a factor of 8/2 + (-87468)/(-6)?
True
Suppose -4*z + 20 = 0, z - 117 = y - 8. Let r be 1660/(-18) - 2/(-9). Let u = r - y. Does 12 divide u?
True
Is 80 a factor of 7121 + ((-180)/120)/((-6)/(-4))?
True
Let q be (2/4)/(2 + (-237)/120). Suppose -q*v = -14*v - 684. Does 5 divide v?
False
Suppose 0 = -2*i + 2*o + 1206, -6*i - 2442 = -10*i - 2*o. Suppose 48*j = 52*j - i. Is 4 a factor of j?
True
Let c(k) = -k**3 - 58*k**2 + 56*k + 302. Is c(-60) a multiple of 109?
True
Let q(x) = -x**2 - 3*x - 12. Let s = -33 + 23. Let j be q(s). Let b = -61 - j. Does 7 divide b?
True
Suppose -2*j + 3*j = 3. Let o(v) = 29*v**2 - 9*v + 7. Let s be o(j). Suppose -13*n + 2333 = -s. Is 31 a factor of n?
False
Suppose 0 = 2*r - 11 + 61. Let p = -24 - r. Does 8 divide (3 + p - -4)*7?
True
Let w be (369/18)/((-1)/(-6)). Let f = -120 + w. Does 7 divide 5 + -10 + 36 - f?
True
Let b = 3742 + -849. Is 10 a factor of b?
False
Suppose h + 2 + 0 = 0, 2*m + 4*h = 1622. Let a = -383 + m. Does 24 divide a?
True
Let u(w) be the third derivative of w**5/30 + 5*w**4/6 + 47*w**3/3 - 3*w**2 + 2. Does 4 divide u(-11)?
True
Let g(o) = 16*o - 14. Let i = 361 + -355. Is g(i) even?
True
Let g be 0 + (-3 + 4 - 1). Let u be ((g - 3) + -5)*185/10. Let i = 260 + u. Is 28 a factor of i?
True
Let o(g) = -g**3 - 13*g**2 + 27*g. Let u be o(-15). Suppose -11*x = -8*x - u. Is (2/5 - 0) + 1014/x a multiple of 34?
True
Let f(d) = d**2 - 7*d - 6. Let k be f(8). Suppose -k*x - 4*x - 20160 = 0. Is 17 a factor of 14/77 - x/33?
True
Let s be (476/(-85))/((-4)/1910). Suppose 19*r - s = 2798. Does 48 divide r?
True
Let j(u) = -96*u + 8. Let s(v) = -v**2 + 13*v - 24. Let k be s(11). Does 40 divide j(k)?
True
Let v(m) = -m**2 - 17*m - 3. Suppose 4*q + 155 - 27 = 0. Let x be 1 + 0 + q/2. Does 3 divide v(x)?
True
Suppose -114 = -a - 215*x + 214*x, 4*x = -2*a + 232. Is a a multiple of 7?
True
Let y(b) = -2*b**3 - 229*b**2 + 86*b + 155. Does 11 divide y(-115)?
False
Suppose -j + 167 = -3*w, 84 + 733 = 5*j + 3*w. Suppose 154*v = j*v - 4210. Is v a multiple of 24?
False
Suppose 8*y - 1792 = -6*y. Suppose 2*v - 2*q = 96 - 30, 4*v = 3*q + y. Does 29 divide v?
True
Suppose -5*k + 19 = p, -5*k = 5*p - 33 - 2. Suppose p*x - 121 = 5*a, 4*x + a - 113 = -2*a. Suppose -5*m + 0*s = 3*s - x, -2*m = 2*s - 14. Is m a multiple of 2?
True
Suppose -8*m = -2*m - 54. Suppose -l - 2*c = -m, -l + 4*c = 4*l - 3. Suppose 0 = -l*k + 149 + 13. Is 41 a factor of k?
False
Suppose -9*l - 9*l + 56837 = -43351. Is 46 a factor of l?
True
Suppose -3*h + a - 281 = 0, h + 2*h + 256 = -4*a. Let m = -207 - h. Let w = m + 396. Does 40 divide w?
False
Does 94 divide 367 + -378 + 21161/1?
True
Let i(z) = 2*z**3 - 3*z - 5. Let d be i(4). Let f = d - -164. Is f a multiple of 5?
True
Let j = 1050 + -134. Suppose -v + 220 = -10*m + 5*m, -4*v = -2*m - j. Does 10 divide v?
True
Let o(k) be the second derivative of k**3/3 - 31*k**2/2 - 15*k. Let h be o(20). Suppose h*i - 6*i - 261 = 0. Is 8 a factor of i?
False
Let m(j) = 2*j**2 - 3*j + 3. Let n be m(2). Let k be -1*(n - 4 - 0). Is (-260)/(-20)*(2 + k) a multiple of 3?
False
Suppose 31*w - 16153 - 140366 = 0. Is 33 a factor of w?
True
Suppose -51*u + 14040 = -42*u. Does 6 divide u?
True
Suppose 0*t = 9*t + 18*t - 358263. Is t a multiple of 6?
False
Does 32 divide (-2 + -2865 - 7)/(-3)?
False
Let k(u) = -12*u - 172. Let x be k(-15). Does 8 divide (-6)/24 - (-1898)/x?
False
Suppose 2*l - 5*a = 5*l - 27, a - 19 = -4*l. Suppose -8*i = -12 - l. Suppose -2*p + 5*p - 3*s = 399, i = s. Does 27 divide p?
True
Let r = 45618 - 8376. Is 15 a factor of r?
False
Let i be (66/3)/(9/((-1053)/(-6))). Let t = -208 + i. Is 14 a factor of t?
False
Suppose -35*a + 12326 - 2001 = 0. Is 30 a factor of a?
False
Suppose 12*f = 13*f + 2*x, -5*f - x + 9 = 0. Does 59 divide (f/(-6))/(((-1)/(-1239))/(-1))?
True
Let z(k) = -k**3 - 97*k**2 - 128*k - 1266. Is 10 a factor of z(-97)?
True
Let t = -24802 - -27196. Does 119 divide t?
False
Suppose 33*x - 35*x + 11*a + 4658 = 0, -3*x = -2*a - 7016. Is x a multiple of 4?
True
Suppose 15*a - 11*a + 5*s = 14678, -4*a = s - 14702. Does 2 divide a?
False
Let y(c) = -45*c - 38. Let n be y(-15). Suppose -25*o = -18*o - n. Let x = o - 6. Is x a multiple of 17?
True
Suppose 0 = -2*j + 4*j - 4*c - 14, -4*c = 3*j - 41. Suppose 3*o = -b + j, -4*o + 18 = b + b. Is o/4 - (3 + 444/(-8)) a multiple of 12?
False
Let j(y) = 4768*y - 1322. Does 125 divide j(4)?
True
Let l(p) = p**3 - 6*p**2 + 12*p - 18. Let t be l(6). Suppose -2*d = -u + 78, 0 = d - 2*u + 19 + 23. Let n = t + d. Is n a multiple of 8?
True
Suppose 32*q = 404 - 84. Suppose q*o = -9*o + 8968. Is 8 a factor of o?
True
Suppose 0 = -15*u + 21*u - 876. Let n = -100 + u. Suppose 2 = 2*a - n. Is 3 a factor of a?
True
Let k = -2 + 4. Suppose 805 = 9*v - 851. Suppose 4*z - 304 = -3*x, -4*x - k*z + 238 = -v. Is x a multiple of 27?
True
Suppose 0 = 15*o - 59636 + 15836. Is o a multiple of 3?
False
Let q(l) = 281*l + 216. Does 10 divide q(24)?
True
Suppose 0*c + 5*c = 4040. Suppose -20*d + c = 128. Is 34 a factor of d?
True
Let s(j) = -17228*j + 29. Is s(-1) a multiple of 93?
False
Suppose 0 = 4*g - p - 25, -p = g - 6*g + 30. Suppose 4*z - 3*o = 319, 2*z + g*o - 72 = 107. Is 9 a factor of z?
False
Suppose -3*g = d - 2226, 103*g + 2966 = 107*g + d. Does 10 divide g?
True
Suppose -1 + 3 = 2*n. Let c be ((0 - -1) + 2)*n. Suppose -j - c*a = -168, -j + 672 = 3*j - 3*a. Is 24 a factor of j?
True
Let m(c) = -687*c - 40. Let w be m(-1). Suppose 28*i - 2629 = w. Is i a multiple of 2?
False
Let j(x) = -x**2 + 12*x - 17. Let u be (1/4)/((-5)/(-1260)*9). Is j(u) a multiple of 6?
True
Let q(m) = -m**3 - m**2 - 3*m + 108. Let l be q(0). Let n = -36 + l. Is n a multiple of 3?
True
Let n = 144 - 119. Suppose n*f - 50*f = -1750. Is f a multiple of 8?
False
Suppose 84 = 4*m - 156. Let q = 14 + m. Is 9 a factor of q?
False
Let z = 87 + -137. Let y = 60 + z. Is 5 a factor of y?
True
Let v = -15739 + 28595. Does 36 divide v?
False
Suppose -57 = -4*q - 13. Let k = 24 - q. Is 24 a factor of 2/k + (-9350)/(-65)?
True
Let j = -8 - -8. Suppose q - 5*o = 43, 0 = 5*q + 2*o - j*o - 107. Let n = 83 - q. Does 15 divide n?