 - v)). Let j = -404 - f. Is j a multiple of 22?
False
Let r(f) be the first derivative of 73*f**2/2 - 20*f - 36. Does 4 divide r(3)?
False
Let z be (24/(-30))/(4/7570). Let x be (z/(-4))/(1/(-2)). Does 21 divide 6/96*-4 + x/(-4)?
True
Let n(i) = -18*i - 39. Let p be n(-4). Suppose 22*u + 5995 = p*u. Is u a multiple of 10?
False
Suppose -2*q = 3*q - 40. Let v be q/(-16)*(0 - 0). Suppose 4*z + 12 = v, 5*t + 4*z - 788 = -115. Is 28 a factor of t?
False
Suppose 5*b + 5*s - 59300 = 0, 69*b + 59291 = 74*b + 2*s. Is 58 a factor of b?
False
Let d(p) = -5*p**3 - 13*p**2 + 25*p - 83. Let s(m) = -m**3 + m**2 + 3. Let i(o) = -d(o) + 4*s(o). Is i(-17) a multiple of 45?
False
Let z(f) = 77*f + 173. Let h(i) = -238*i - 518. Let k(g) = -2*h(g) - 7*z(g). Is k(-3) a multiple of 12?
False
Let y(s) = 7*s**2 - 21*s + 2. Let j be y(3). Does 62 divide 6/(-12)*j + 2 + 991?
True
Let i(u) = -131*u + 107. Let l be i(-16). Suppose 10*f = -103 + l. Is 6 a factor of f?
True
Let r = -1964 + 940. Is 34 a factor of (24/30)/(r/(-340) - 3)?
True
Let p = 120 - 120. Let f be (p - 1)*(4 - 13). Let r = f + 26. Does 2 divide r?
False
Let r(j) = -21*j**2 - 20 + 184*j**3 + 28*j - 62*j**3 - 63*j**3 - 58*j**3. Let c be (-88)/(-4) - 2*1. Is r(c) a multiple of 24?
False
Suppose 80*u = 7*u - 6*u + 1387872. Is u a multiple of 96?
True
Let w(a) be the third derivative of -5/12*a**6 + 0 - 29*a**2 - 1/6*a**3 - 1/30*a**5 + 0*a - 1/24*a**4. Does 17 divide w(-1)?
False
Let w = -57 - -55. Let s(v) = v. Let a be s(w). Is 28 a factor of 99 + (-1 - a) + 4 + -5?
False
Let n = -727 - -1036. Let p be 2/(-2)*(-7 + 2). Suppose 3*q - n = -7*a + 4*a, p*a - 3*q = 491. Is 50 a factor of a?
True
Suppose 4*i - 17*i = 47*i - 456960. Does 272 divide i?
True
Let y = -41033 + 60251. Is y a multiple of 29?
False
Let i(l) = -635*l + 4907. Is 34 a factor of i(-35)?
True
Let o(i) = -22*i**3 + 16*i**2 - 41*i - 254. Is o(-12) a multiple of 91?
False
Let j(i) = -37*i + 2207. Is j(-27) a multiple of 25?
False
Let w = 202 - 226. Is -6*(w/(-12) + 206/(-6)) a multiple of 3?
False
Let b be (1/(-3))/(2/(-882)). Let t be (-107 - 0) + (3 - -1). Let u = b + t. Is 22 a factor of u?
True
Suppose 2*j - 5*m + 45 = 0, -j + 5*j + 129 = -3*m. Let p = 182 + -191. Let g = p - j. Is g a multiple of 6?
False
Let i(u) = -4*u + 122. Let t be i(28). Suppose -221 = -5*h - 9*r + t*r, -3*h + 136 = -4*r. Does 11 divide h?
True
Suppose -c + 2*w + 3 = 5*w, 0 = -3*c - 4*w + 24. Suppose -3 = -3*f + c. Suppose 129 = f*i - 0*l + 4*l, 0 = 3*l + 12. Is i a multiple of 29?
True
Suppose -6*u + u - 655 = 0. Let y = u - -125. Is 27 a factor of ((-162)/y*1)/1?
True
Is 43 a factor of ((-4343)/5)/((-49)/490)?
True
Let t be (1 - 3) + 2 + 6. Suppose -3*l - t*l + 684 = 0. Is 7 a factor of l?
False
Suppose -16 = -3*q + q + 2*d, 0 = q + d. Suppose -3*h + q*h = 53. Suppose 0 = -s - 2*b + h, 57 = 2*s + b - 52. Is s a multiple of 5?
True
Let t = 1461 + 78. Does 57 divide t?
True
Let z be 58*10/8 + 44/88. Is 18/24 + z/4 a multiple of 19?
True
Let h(r) = 2*r**3 - r + 274. Let n = -874 - -874. Does 16 divide h(n)?
False
Let v = -1629 + 1937. Is v a multiple of 49?
False
Let r(m) = m**2 - 2*m - 6. Let i(v) = -1 - 3 + 2 + 1. Let p(j) = 3*i(j) + r(j). Is p(-9) a multiple of 45?
True
Let k(y) = -53*y - 1 + 5 + 4 + 9*y**2 + 40*y. Does 5 divide k(2)?
False
Suppose -o = 5*b - 7, 25*o - 21*o + 4*b - 44 = 0. Let i = 2 + -2. Suppose 0 = -i*l + o*l - 312. Is 3 a factor of l?
False
Is (-299925)/(-150) + 2/4 a multiple of 10?
True
Let b(c) = 3*c**2 - c. Suppose -4*r = 2*a - 14, 0 = 2*r + 2*a - 0*a - 12. Let k be b(r). Is (51/k)/((-4)/((-16)/3)) a multiple of 33?
False
Suppose 5*z + 66 = 2*z. Suppose -61 = 26*f - 2635. Let n = f + z. Is n a multiple of 18?
False
Is (-56)/(-9)*21*(10 - -44) a multiple of 126?
True
Let v be -2*(-10)/(-5)*130/(-8). Let r = 65 - v. Suppose -5*x + 680 = -r*x. Is 17 a factor of x?
True
Suppose -5*j - 124*m + 38928 = -123*m, j - 5*m - 7822 = 0. Is j a multiple of 6?
False
Let n = 60337 - 41195. Is n a multiple of 17?
True
Let o(a) = a - 14. Let r be (8/(-8))/(1/(-17)). Let n be o(r). Suppose -3*x = n*j - 531, 702 = 3*x + x + j. Is 29 a factor of x?
False
Let p = -204 + 2754. Is p a multiple of 34?
True
Suppose 5*y + 2*w - 69289 = 0, 38*y - 40*y + 27718 = 2*w. Is 10 a factor of y?
False
Let j(w) = -4 + 5*w + 0*w + 694*w**2 - 697*w**2 + w**3. Let k be j(2). Suppose 3*s - 44 = k*u + 60, 0 = s - 5*u - 39. Does 8 divide s?
False
Suppose -32*t + 20*t = 672. Is 634/18 - t/(-252) a multiple of 6?
False
Suppose q + 10 = 2*n, 15*q - n = 12*q - 5. Let k(i) = -19*i - 1. Let d be k(1). Does 14 divide (q + d/25)/((-4)/70)?
True
Let t(w) = w**3 + 36*w**2 - 13*w - 8. Let d be t(-21). Suppose 63*i - 15800 - d = 0. Does 4 divide i?
True
Suppose 115 = 4*f + 15. Is 21 a factor of 315/(4 - f/10)?
True
Suppose -11*z = 1541 + 2 - 125766. Is z a multiple of 18?
False
Let d be ((-6)/(-18))/(-1 + 1520/1524). Let k = 11 - d. Is 17 a factor of k?
False
Let b(g) = 4*g**2 - g - 2. Let s be b(-2). Let y = s - 24. Is 11 a factor of y/(-10)*330/12?
True
Let o(j) be the second derivative of -j**6/120 - j**5/15 - 7*j**4/24 - 3*j**2/2 + 21*j. Let c(z) be the first derivative of o(z). Is c(-5) a multiple of 12?
True
Suppose 12*y - 84 = -2*y. Suppose -2*o = 3*p - 364, -y*p + 7*p = 5*o + 144. Is 14 a factor of p?
False
Suppose 0 = 6*f - 2*f - 12. Does 23 divide (-3914)/(-10) - (f - 117/45)?
True
Suppose -25*a - 2 = -27*a. Let m be 81324/252 + a*4/14. Suppose 1411 = 8*v + m. Does 21 divide v?
False
Suppose -91*c + 94*c = 5*a + 138661, -c + 46225 = 3*a. Is 242 a factor of c?
True
Suppose -16*j = -528 - 6288. Suppose j = 3*k + 57. Is 4 a factor of k?
False
Suppose 0 = 6*z + 4 - 4. Suppose z = -6*i + 24. Suppose 0 = 4*n + i, 3*r + r + n - 307 = 0. Does 17 divide r?
False
Let y(m) be the second derivative of -3*m**5/10 + 5*m**4/12 - 5*m**3/6 + 3*m**2/2 + 10*m. Let a be y(3). Is (a/9)/((-5)/30) a multiple of 18?
False
Let h = -32081 - -61531. Is 192 a factor of h?
False
Let h be (2/4 + -1)*(25 - 25). Suppose -41 = -b + 3*c + 2, 5*b + 2*c - 130 = h. Is b a multiple of 19?
False
Let p = -3 + -16. Let d = -675 + 762. Let v = d - p. Does 9 divide v?
False
Suppose 5*x + z = -274, 5*x = 3*x + 2*z - 100. Let c = x + 98. Suppose -79 = -2*n + a + c, 2*a = -2*n + 132. Is 7 a factor of n?
True
Let s(r) be the first derivative of -r**4/4 + 10*r**3 - 13*r**2/2 - 5. Let g(p) be the second derivative of s(p). Does 19 divide g(-10)?
False
Let j(r) = 393*r + 319. Let d be j(-1). Let u(v) = 36*v**2 + 2*v. Let p be u(3). Let g = p + d. Is g a multiple of 14?
False
Let u(y) be the second derivative of -2*y**3/3 - 8*y**2 - 106*y. Is u(-14) a multiple of 4?
True
Let k(a) = 3*a - 66. Let r be k(20). Let t(l) = -6*l + 4. Let i be t(r). Suppose o - 3*y - 150 + i = 0, 5*o - 630 = -y. Does 25 divide o?
True
Let n(q) = -q**3 - 6*q**2 + 3*q - 19. Let x be n(-7). Let a(r) = 50*r + 5 + x - 20*r. Is 10 a factor of a(6)?
False
Does 6 divide 130*((-16)/(-72) + (-43)/(-9))?
False
Let g be (-14)/(4 - (-137)/(-34)). Suppose 4*d - 4*i = 2*d + g, -i = -5*d + 1208. Is d a multiple of 22?
True
Let g(c) = -13*c + 1. Let u be g(-1). Let x be 1026 - ((-11)/77 + (-40)/u). Suppose -3*m - 2*m - 3*d = -x, 2*m - 396 = 4*d. Is 22 a factor of m?
False
Let z = -1342 + 1932. Let h = z - 183. Is h a multiple of 11?
True
Is 97 a factor of 12 - (4/(-10) + (-1745442)/45)?
True
Let r = 70 + 299. Let t = 1262 - r. Does 34 divide t?
False
Is (-9 + (-59466)/44)/(3/(-50)) a multiple of 33?
False
Suppose -30*q + 3*f = -31*q, 0 = q - 4*f. Suppose q - 119 = -v. Is 2 a factor of v?
False
Suppose 3*q + 3915 = 2*n, 20*n - 9730 = 15*n - 4*q. Is 6 a factor of n?
True
Let w = -207 + 204. Is (-15)/w + (0 - -303) a multiple of 28?
True
Let c = -879 + 1603. Let d = -426 + c. Is 13 a factor of d?
False
Suppose -2*j + 5*u - 808 = 0, -4*j - 1592 = 23*u - 21*u. Does 6 divide 5/(6/16*(-28)/j)?
False
Let a(k) be the second derivative of -29*k**3/6 + 3*k**2/2 - 3*k + 16. Does 3 divide a(-1)?
False
Let p(k) = -2*k**2 - 52*k - 45. Let r be p(-25). Suppose -2*c + 1430 = r*n - 226, 3*c = n - 321. Does 30 divide n?
True
Let f be 960/68 - (-2)/(-17). Let d(z) = -11 - 3*z - 12*z - 13 + f. Is 14 a factor of d(-9)?
False
Let n(q) = -2*q - 11. Let i be n(-7). Suppose o - 3*o = -10, -4*w =