 o be 1/(-4) - 1/(-4). Suppose 8*j = -3*j + 1210. Suppose -5*y + 0*y + j = o. Is 11 a factor of y?
True
Suppose -34*k + 32*k + 2*c + 6870 = 0, 10310 = 3*k - 2*c. Is 99 a factor of k?
False
Suppose 4*b = -8*b. Suppose -2*r - 4*p = -10, b*r = 4*r + 5*p - 32. Is 11 a factor of r?
False
Suppose 3*l + 2 = -6*q + 2*q, -2*l + 2*q + 8 = 0. Suppose 5*j - 4*i - 39 = -l*i, 0 = 5*j - i - 37. Is 4 a factor of j?
False
Let f(v) = 34*v - 74. Let n be f(15). Suppose d - 4*s = 216, 5*s + n = 2*d + s. Is d a multiple of 17?
False
Let b = 1251 + -585. Is b a multiple of 22?
False
Let a = 368 - 88. Is 8 a factor of a?
True
Let b = 33 - 53. Let c be 1006/10 + 12/b. Suppose m = -d + 14, 5*m - 10 - c = 5*d. Is 5 a factor of m?
False
Let s(c) be the second derivative of 13*c**5/30 + c**4/24 - c**3/6 - 3*c**2 - 3*c. Let z(k) be the first derivative of s(k). Is 13 a factor of z(1)?
True
Suppose 0 = -11*c + 1719 + 12438. Does 5 divide c?
False
Is 0 - (-414)/(0 - -3) a multiple of 6?
True
Let v(x) = -x**3 - 5*x**2 + 8*x + 5. Let m be v(-6). Let w(t) = 77*t - 4. Let f(s) = -38*s + 2. Let n(u) = m*f(u) - 4*w(u). Does 43 divide n(-1)?
False
Let g be (-2)/4 - 666/36. Let r = 25 + g. Is (-31)/(4/(-2*r)) a multiple of 14?
False
Let y = -3 + 3. Suppose y*l - l + 20 = a, -3*a + 78 = -3*l. Is 3 a factor of a?
False
Suppose 4*k - 475 = -83. Let z be (-3)/((-9)/(-10))*3. Let c = k - z. Is 27 a factor of c?
True
Let m(n) = 4*n + 10. Let a(r) = -3*r - 10. Let w(u) = -6*a(u) - 5*m(u). Let y be w(8). Is (-8)/(-6)*(-261)/y a multiple of 29?
True
Suppose 5 = 2*w - 3. Suppose s + 2 - w = 0, 3*i = -3*s + 117. Does 3 divide i?
False
Suppose s = 3*q - 44 - 4, -3*q + 60 = 3*s. Suppose q = 2*c - 3*t - 2, 39 = 2*c + t. Is c a multiple of 8?
False
Suppose 0*j + c = -5*j + 320, -4*j = 4*c - 272. Let d be (-14)/j - 33/(-27). Suppose p = -d + 4. Does 2 divide p?
False
Let i(w) = 3*w + 6. Suppose 7*m = 3*m - 24. Let t be i(m). Let g = t - -19. Is 3 a factor of g?
False
Let g = -852 - -1424. Is 21 a factor of g?
False
Suppose 3*w - 615 - 204 = 0. Is 39 a factor of w?
True
Let n(f) = -2*f + 3. Let c be n(-2). Suppose y - 5*s + 20 = 0, 5*s - c = 3. Does 26 divide 4056/120 - 2/y?
False
Let w = 40 + -38. Let q = w + 8. Is 5 a factor of q?
True
Suppose 88*j - 90*j + 198 = 0. Does 17 divide j?
False
Let k = 2999 + -2163. Is 19 a factor of k?
True
Is 4 a factor of ((-35)/(-10) + -4)*(-186 - -2)?
True
Suppose 12 = -30*n + 31*n. Suppose 20 = 2*c - n. Is 16 a factor of c?
True
Suppose -4*f = -3*y + 952, 3*f - 573 = -2*y + 73. Is y a multiple of 10?
True
Suppose 2*v - 3610 = 740. Is v a multiple of 87?
True
Let s(b) = 4*b**2 + b + 1. Let x be s(-1). Suppose -4*t + 304 = -0*h + x*h, 3*t + 4*h = 226. Is 6 a factor of t?
True
Suppose -z - 4*o + 149 = -77, -4*z - o + 874 = 0. Let w = -133 + z. Is w a multiple of 25?
False
Suppose -3*i - 2*i = -h - 5, -i + 15 = -3*h. Suppose -2*s = 4*n - 4, i = -4*n + 4*s - s + 24. Suppose 2*a + 35 = p, n*a + 160 = 3*p + 8*a. Is 15 a factor of p?
True
Suppose -5*c + 459 = 4*s + 75, c - 76 = -s. Is 2 a factor of c?
True
Let m be (-221)/(-104) - (-2)/(-16). Suppose m*g = -3*b + 19, -g = -5*b - 0*g + 10. Suppose -3*y - 3*w = -48, b*y - 3*w - 12 = 2*y. Is y a multiple of 5?
True
Is 11 a factor of (-88)/6*21024/(-192)?
True
Suppose -5*c - 4 = -19. Suppose -11 = -c*w + 94. Is w a multiple of 7?
True
Let h be -2*(1 - (-4)/(-2)). Suppose -2*s = h*s - 16. Suppose -5*l + 54 = s. Is 10 a factor of l?
True
Let f = -465 - -975. Is f a multiple of 15?
True
Let t(u) = 3*u**3 - 4*u**2 + 69*u - 7. Is t(7) a multiple of 119?
True
Let x be -13*((1 - 7) + 7). Let i(m) = -2 + 5*m + 1 - 7 + m**2. Is i(x) a multiple of 19?
False
Let r = -10 - -5. Is 4 a factor of (4/3)/(r/(-105))?
True
Suppose 15*s = 14*s + 4. Let g be (-2 + 1)*(7 - s). Does 8 divide 6*28/(-24)*g?
False
Does 11 divide (-6)/(-15) + 13/5 - -91?
False
Let t(k) = 82*k - 808. Does 21 divide t(13)?
False
Is (-241 - 3)/((1/(-2))/1) a multiple of 16?
False
Is 109 a factor of ((-2)/3)/(10/(-6540))?
True
Let q(x) = 2*x**2 - 14*x + 409. Does 22 divide q(20)?
False
Let l(r) = r**3 - 4*r**2 + 18*r + 22. Does 11 divide l(11)?
True
Let r(g) = g + 7. Let y be r(-5). Suppose -3*c = y*a - 20, -4*c + 0*c = -5*a + 4. Suppose 34 = c*w - 42. Does 13 divide w?
False
Let h(v) be the third derivative of -v**6/30 - v**5/6 + v**4/12 - 5*v**3/6 + 26*v**2. Does 47 divide h(-5)?
True
Suppose v + 2*k = -75, 4*v - 3*k + 245 = -0*k. Let m be -1 - v - (-36)/(-9). Is 11 a factor of (7/(-4))/((-3)/m)?
False
Let w = 137 - 139. Is (-9 - -9) + 95 + 3 + w a multiple of 11?
False
Let u be 1/(4/(10 + 2)). Is (1124/(-4))/(2 - u) a multiple of 46?
False
Suppose -5*c + 28 = -c. Let w(d) = -2*d - 8. Let o be w(6). Does 13 divide (-8)/o*c*10?
False
Let v(t) = t**2 - 13*t + 5. Let l be v(13). Suppose 2*h + 151 = 3*y, 0 = 4*y + y - l*h - 255. Suppose 0 = 3*s - 23 - y. Does 12 divide s?
True
Suppose 8104 = 14*k - 4510. Is 10 a factor of k?
False
Let x(n) = 2*n**3 + 5*n**2 - 7*n + 2. Let f be x(-5). Let h = 187 + f. Let r = h - 57. Is r a multiple of 20?
False
Suppose 2*n = -2*o - 6, -3*o - 6 = 2*n + 2. Let h be (-2 + (-20)/(-8))*o. Does 6 divide -3 + 11 - h/(-1)?
False
Let z be (2 + 4*-1)/2 - 3. Is z/((-8)/(-6)) + (-7 - -14) a multiple of 2?
True
Suppose -2*m + 1662 = 342. Is 7 a factor of (-3)/(-4) + m/16?
True
Suppose 0 = 4*v - m - 336, 0 = -9*v + 11*v - 3*m - 158. Does 5 divide v?
True
Let t(c) = 22*c - 72. Is 4 a factor of t(5)?
False
Suppose 2*m - 5*x + 10*x - 4550 = 0, -4*m = 3*x - 9100. Does 62 divide m?
False
Let q be -3 + -1 - (0 - 24). Suppose -l + 56 + 4 = 3*d, d + 5*l = q. Suppose -7*x - d = -9*x. Is x a multiple of 10?
True
Let y be (16/(-48))/((-2)/(-48)*-2). Suppose 4 = w, -3*m + y*w = -0*w - 317. Is 42 a factor of m?
False
Let q(t) = t**3 + 8*t**2 - 2*t + 19. Let u be q(-8). Let b = 114 + u. Is 27 a factor of b?
False
Is (4 - 75/(-12))*8 a multiple of 41?
True
Let o(y) = -y + 16 + 2*y + 1 + 6. Let b be o(-11). Does 7 divide (46/8)/(3/b)?
False
Does 5 divide 2/13 + 10044/117?
False
Let u(t) = -t**2 + 5*t - 24. Let b be u(10). Let k = b + 83. Is 3 a factor of k?
True
Let i = 20 + -13. Let s(n) be the first derivative of -n**3/3 + 11*n**2/2 - 7*n - 38. Is 10 a factor of s(i)?
False
Let t = -487 - -1085. Does 22 divide t?
False
Let o be (2 + (-60)/21)*-14. Is 9/(81/o)*54 a multiple of 18?
True
Let k(s) = -16*s**2 - 282*s + 4. Is 45 a factor of k(-11)?
True
Let b be 9/(-25)*(2 - 7)*-5. Let v(q) = -q**3 - 5*q**2 + 2*q + 10. Is 40 a factor of v(b)?
False
Let z = 298 + -36. Does 4 divide z?
False
Suppose -728 = -2*u - 13*l + 11*l, 0 = u - 2*l - 355. Is 14 a factor of u?
False
Let g(q) = 8*q**2 - 100*q - 48. Is g(17) a multiple of 5?
False
Suppose -4*z - z = -845. Let v = z + 320. Suppose 0 = -4*a + 9 + 11, 5*a - v = -4*p. Does 27 divide p?
False
Suppose 6*q - 7*q - 3*o + 660 = 0, -5*q + 3300 = 4*o. Is 22 a factor of q?
True
Suppose -6*o + 2*o + 2*a = -122, 0 = 4*o - 3*a - 121. Does 8 divide o?
False
Does 5 divide ((-120)/16)/(-1)*(-16)/(-10)?
False
Let d = -3235 - -6084. Let p be (-4)/(-18) + d/(-63). Let h = 81 + p. Does 9 divide h?
True
Suppose -54 = 14*z - 16*z. Is 6 a factor of 20/(-6)*z/(-5)?
True
Let l(k) = -k**2 + 12*k + 3. Let y = -41 + 50. Is 30 a factor of l(y)?
True
Suppose -4*m - 5*m - 99 = 0. Let l(k) = k**3 + 11*k**2 - k + 11. Is 3 a factor of l(m)?
False
Let v(i) = -i**3 + 21*i**2 - 30*i + 58. Is 25 a factor of v(16)?
False
Suppose 13*o - 94668 = -15*o. Is o a multiple of 23?
True
Let o(c) = -c**2 - 15*c + 6. Let i be o(-11). Is 12 a factor of ((-160)/i)/(2/(-45))?
True
Let d(x) = -x**3 + 4*x**2 + 5*x - 6. Let w be d(4). Let m = 35 - w. Is 7 a factor of m?
True
Does 37 divide 40/(-6)*(-188811)/378?
True
Suppose 3*u - 10 = 5*j, 2*u - 3*u + 2*j + 3 = 0. Suppose -5*a - u = 3*z, 0 = -5*a - 0*a - z - 5. Let c(y) = 26*y**2 + y. Does 7 divide c(a)?
False
Let r(z) = 5*z - 22. Let x be (((-35)/(-4))/5)/((-1)/(-12)). Is r(x) a multiple of 10?
False
Let i be (10/3 + -2)*2070/(-20). Is 11 a factor of i/115*55/(-2)?
True
Is 4 a factor of (-18 + 7)*(0 - 6 - -2)?
True
Let w = 32 - 29. Suppose 24 = w*f - f. Is f even?
True
Let w be -4 + (173 - 0 - -3). Let q = w - -170. Suppose 5*l - q = 88. Is 21 a factor of l?
False
Suppose 195 = l - 179. Suppose f = 4*o + 137 - 33, 4*f - 2