se 0 = 3*s + 11 - 5. Let i(c) = 10*c**2 + 2*c. Is i(s) a multiple of 6?
True
Let y(s) be the first derivative of -s**2/2 - 7*s + 3. Let k be y(-7). Suppose k = 2*t - 0*t - 86. Does 16 divide t?
False
Let t(f) = -f**3 + 15*f**2 + 18*f + 27. Is t(16) a multiple of 4?
False
Suppose q - 427 = 3*j + 5*q, -4*j - 568 = 4*q. Let r = -20 - j. Is r a multiple of 41?
False
Suppose 0 = 3*c - 18 + 3. Suppose -4*a = c*i - 4, 3*i - 2 = -a - 1. Suppose 2*o - 92 = -i*o. Does 9 divide o?
False
Suppose 4*x - 23 = -3*j, 2*j + 2*x - 19 = -j. Suppose j*y - 4*y - 3 = 0. Suppose 0 = y*l - 2*l - 22. Does 6 divide l?
False
Suppose -10 - 15 = -5*i. Suppose r + 0*q = -i*q + 49, -77 = -r + 2*q. Is r a multiple of 14?
False
Suppose 4*l - 51 = -p, -4*p + 71 = -2*l - 151. Is 2 a factor of p?
False
Suppose 6 = 3*z - 9. Suppose -5*j + 5 = z*a, 3*a + 0 + 12 = 2*j. Suppose -4*p = -j*c - 89, 2*p - 6*c - 42 = -4*c. Is 7 a factor of p?
False
Suppose -5*t - 1 + 11 = 0. Let a be (t/4)/((-1)/22). Let k = 35 + a. Does 8 divide k?
True
Let l = 8 - 3. Suppose 11 = m - l. Suppose u + m = 3*u. Does 4 divide u?
True
Does 18 divide (-22094)/(-18) + 236/(-531)?
False
Suppose 0 = 3*n - 3*t - 12, -8 = n - 5*t - 4. Suppose -180 = c - n*c. Is c a multiple of 15?
False
Suppose 15*d - 12612 = -1062. Does 14 divide d?
True
Let r = -189 + 285. Is r a multiple of 32?
True
Let b(u) = -u**3 + 7*u**2 + u - 13. Is b(6) even?
False
Let s(i) = i**3 - 7*i**2 + 7*i - 2. Let b be s(6). Does 18 divide (16/b)/(-5*(-8)/660)?
False
Let i(a) = 146*a + 1. Suppose 3*d - 4*j + 3 - 2 = 0, j - 3 = -2*d. Does 21 divide i(d)?
True
Is 26 a factor of ((-3)/(15/(-26)))/((-12)/(-2640))?
True
Let p be 14 - (7 + 12/(-3)). Suppose -51 = -h - p. Is h a multiple of 37?
False
Suppose -3*a + 18*g + 6277 = 17*g, 4*a - 8366 = 3*g. Is 40 a factor of a?
False
Let p = -9 - -9. Let i be ((-1 - -2) + p)*25. Suppose -i = -4*y + 15. Does 10 divide y?
True
Suppose 2*o + 0 - 6 = 0. Suppose 128 = 4*u - 3*g - g, -4*u + 142 = o*g. Is u a multiple of 9?
False
Suppose 16*i + 60 = 4*i. Does 6 divide (8/(-100)*i)/(1/175)?
False
Let u(t) = -t**2 + 5*t. Let o(h) = -h**3 + 13*h**2 - 11*h - 7. Let i be o(12). Suppose 13 = 2*k + i. Is 2 a factor of u(k)?
True
Let a(v) = v**3 + 14*v**2 - 34*v + 18. Is 17 a factor of a(-16)?
False
Let y(x) be the first derivative of x**3/3 - x**2/2 + 41*x - 21. Is 7 a factor of y(0)?
False
Let o(a) be the first derivative of 105*a**3 + 42*a + 12. Let c(k) = 37*k**2 + 5. Let m(g) = -42*c(g) + 5*o(g). Is 21 a factor of m(2)?
True
Let n = -3542 - -5447. Is n a multiple of 86?
False
Suppose 0*v + 6 = 2*v. Let c(s) = 5*s**2 - s - 6. Let q be c(v). Suppose r = -4*h + q, 0 = -2*r - 2*r - h + 99. Is r a multiple of 6?
True
Let d be (-5)/(-25) + (-4377)/(-15). Let b = 541 - d. Is 14 a factor of b?
False
Let y = 18 - 12. Is 39 a factor of y/96*-4 + (-1250)/(-8)?
True
Suppose 0 = -4*h - 4, 3*g + 7*h - 10*h - 168 = 0. Is g a multiple of 18?
False
Let j = 129 - -763. Is 49 a factor of j?
False
Let s = 2086 - 1361. Is s a multiple of 25?
True
Let h(z) = -4*z**2 + 127*z + 25. Is 35 a factor of h(18)?
True
Suppose -11 = 7*z + 31. Is 9 a factor of ((-4)/z)/(-5 - 380/(-75))?
False
Is 61 a factor of ((-122)/(-3))/(6/36)?
True
Let y(a) = a**2 + a + 4. Suppose -4*l = 2*k - 3*l - 5, -5*l = 3*k - 11. Let b be 3/6 + (-9)/k. Is y(b) a multiple of 4?
True
Let x(d) = -d**3 - 8*d**2 - 24*d + 60. Does 44 divide x(-12)?
True
Let i(y) = y**2 - 16*y - 8. Let h(o) = 3*o**2 - 47*o - 24. Let l(c) = 4*h(c) - 11*i(c). Is l(13) a multiple of 5?
True
Is 10 a factor of (-3928)/(-14) - (-40)/(-70)?
True
Suppose 4*n = 2*j - 21 - 27, 4*n - 16 = -2*j. Suppose 4*d + 2*z = -32, -3*z - 12 = 4*d + j. Let b = -5 - d. Is b even?
False
Let y(o) = -48*o + 8. Let q be y(-8). Let s be 2/6 + q/(-6). Is (3 - -5)*s/(-20) a multiple of 13?
True
Suppose 9*f = 6160 + 743. Is f/3 + (-20)/(-15) a multiple of 45?
False
Suppose 1 + 43 = 4*k. Let h(v) = v + 12. Is 20 a factor of h(k)?
False
Suppose -3*x = -2*c - 2, x = 5*c + 2*x - 12. Suppose 0*n + 47 = c*h + 3*n, 69 = 3*h + 5*n. Does 7 divide h?
True
Let w(b) = b**2 + 9*b + 4. Let s be w(-9). Suppose -2*p - c + 142 = 0, 3*p - 202 = -0*p + s*c. Is 10 a factor of p?
True
Suppose 0 = -4*m - 3*h + 597, 0 = 2*m - 0*m + 3*h - 303. Is m a multiple of 3?
True
Let p(w) be the third derivative of -w**8/20160 + w**7/360 + w**6/60 - w**5/10 + 2*w**2. Let a(t) be the third derivative of p(t). Is 6 a factor of a(14)?
True
Let c = 1277 + 691. Is c a multiple of 41?
True
Let o = -248 + 440. Is o a multiple of 20?
False
Let f = -45 - -45. Let b(k) = k**2 - 4*k + 70. Is b(f) a multiple of 10?
True
Let l be -72 - (4 + (0 - 3)). Let o = -52 - l. Is o a multiple of 7?
True
Is 62 a factor of (-22)/(-99) - (-21756)/27?
True
Suppose 5*n + 2*x = 870, 0*n - x = n - 171. Suppose 64 + n = 6*d. Is 25 a factor of d?
False
Let i(q) = 6*q**2 + q + 3. Let r be i(-2). Suppose -r*l + 45 = -22*l. Is 3 a factor of l?
True
Let p = -1445 - -2999. Does 9 divide 5/((-50)/8) - p/(-30)?
False
Let p(j) = j**2 + 7*j + 1. Let k be p(-2). Let q be 2/3 + (-3)/k. Let d(b) = 9*b**2 - b + 1. Does 7 divide d(q)?
False
Let j(g) = 4*g**2 + 2*g - 1. Let w be j(-1). Suppose 5*b + 2*x - 19 = x, -5*b + 3 = -3*x. Is 14 a factor of -25*(w + (-6)/b)?
False
Let s(o) = o**2 + 5*o + 10. Let w = 23 - 26. Is s(w) a multiple of 4?
True
Let z be (4 - (-4)/2) + -2. Suppose 7 - 1 = k + z*n, 0 = -k + 2*n. Suppose 0 = -3*a + g + 182, k*g - g = -3*a + 172. Is a a multiple of 17?
False
Let v(u) = -u - 20. Let k be (-3 - 2)*(-1 + 0). Let i(x) = 19. Let g(l) = k*v(l) + 6*i(l). Does 18 divide g(-10)?
False
Suppose -k + k - 5*k = 0. Suppose 15*i - 16*i + 180 = k. Is 18 a factor of i?
True
Is 8 a factor of (-128)/4*(3 - (-102)/(-12))?
True
Let y be 5 + -3 + 0 + 60. Suppose 0 = -2*p + y + 22. Suppose 2*v = -v + p. Does 7 divide v?
True
Let v = 78 - -11. Let z = 148 - v. Is z a multiple of 10?
False
Let z(s) = 7*s - 12. Let x be (8/(-6))/((-1)/(-6)). Let b be z(x). Let u = 26 - b. Is u a multiple of 19?
False
Let y(z) = -3*z - 2*z + 10*z**3 - 7*z**2 + 3 - 8 + 1. Let h(b) = -b**2 - b - 1. Let q(o) = -5*h(o) + y(o). Is q(1) a multiple of 5?
False
Let n = 31 - 97. Let p(v) = 15*v + 30. Let t be p(-4). Let h = t - n. Is h a multiple of 12?
True
Let x = 311 + -223. Does 11 divide x?
True
Let t be 25/10 - 2/4. Suppose -5*i + 3*o + 18 = 0, -t*i + 2*o - 5*o + 24 = 0. Is 5 a factor of i?
False
Let q(s) = -10*s**3 - 37*s**2 - 13*s - 24. Let t(i) = 3*i**3 + 12*i**2 + 4*i + 8. Let m(n) = -2*q(n) - 7*t(n). Is 6 a factor of m(-10)?
True
Suppose -12 - 148 = -4*y. Suppose -4*d - 37 = 2*f - d, 0 = -3*d + 15. Let v = y + f. Is v a multiple of 14?
True
Suppose 0 = -7*w + 5*w + 188. Does 43 divide w?
False
Let t be (7 + 264/(-40))/((-1)/(-25)). Suppose 0 = 12*i - t*i - 154. Does 7 divide i?
True
Let r(q) = 2 - q - 36*q**2 + 64*q**2 - 2*q. Does 18 divide r(2)?
True
Suppose 0 = -2*q + 2*u + 4, -3*q + 4*u = -5 - 0. Let o(i) = i**3 + i**2 - 1. Is 9 a factor of o(q)?
False
Suppose 12*c - 3777 + 2097 = 0. Does 10 divide c?
True
Let i(f) = -8*f + 26. Let y be i(-12). Suppose -c - y = -g + c, 2*c - 646 = -5*g. Is g a multiple of 32?
True
Suppose -2*m = n + 746, -4*n - 15 - 1 = 0. Let w = m + 605. Suppose 3*u - x - 143 = 0, -5*u + 4 = -2*x - w. Does 31 divide u?
False
Suppose 26*b = 28*b + 100. Let z = b - -154. Is z a multiple of 10?
False
Suppose -5*f - 9 = 3*g, -4*g - 15 = 3*f + g. Suppose f = 5*j - 4*j - 45. Is 15 a factor of j?
True
Suppose i = -4 + 22. Suppose 5*u + 0*u + 2 = -2*f, 0 = -u + 3*f + 3. Suppose -3*g = -0*p + 5*p - i, p = u. Does 6 divide g?
True
Let r be ((-8)/(-10) - 1) + (-1012)/(-460). Let k(q) = 0 + 1 + 0 + 4*q**2. Does 5 divide k(r)?
False
Let x(u) = 75*u**3 + 4*u**2 - 3*u + 4. Is 42 a factor of x(2)?
False
Suppose -5*j = 3*z - 17828, 2*j = -0*j - 3*z + 7124. Let r = 5269 - j. Is r/36 + (-2)/8 a multiple of 15?
False
Let u be (-222)/((-3 + 1)*1). Let i = -66 + u. Is i a multiple of 10?
False
Suppose -33*q = -31369 - 14897. Is 16 a factor of q?
False
Let o(f) = f + 38. Is 4 a factor of o(-14)?
True
Let w = 849 + -138. Let u = w - 375. Is u a multiple of 12?
True
Let h = 4019 - 239. Is h a multiple of 140?
True
Suppose -4*h + 13*t - 10*t = -8118, 3*h - 3*t - 6090 = 0. Is 13 a factor of h?
True
Let q = -4 + 6. Suppose 