+ 1500. Let m = -40 - l. Is m a multiple of 46?
False
Suppose 217*o = 3*a + 215*o - 67372, -2*a + 44898 = 2*o. Does 218 divide a?
True
Let s(m) be the first derivative of -2*m**3/3 - 13*m**2/2 + 31*m + 92. Is 2 a factor of s(-7)?
True
Let s(y) = 2*y**2 + 16*y + 144. Suppose w - 4*w - 60 = 0. Is s(w) a multiple of 24?
True
Let w(a) be the third derivative of a**5/30 - a**4/8 - 5*a**3/6 + 47*a**2. Let l be w(4). Does 19 divide l/(-4 + (-76)/(-16))?
False
Suppose 41*k + 979 = 28203. Is k a multiple of 4?
True
Suppose 9*o - 769 + 283 = 0. Let x be (o/12 - (-2)/4)*1. Suppose -q = i + 4*q - 178, x*i = -5*q + 850. Is 28 a factor of i?
True
Let q = -32232 + 80425. Is q a multiple of 20?
False
Suppose r = -4*v + 1000, 5*v + 4921 = 5*r + 46. Is 35 a factor of r?
True
Let n(d) = 20 + 22 - 45 + 8*d. Let j(x) = -10*x - 51. Let v be j(-6). Is n(v) a multiple of 23?
True
Let v(j) = 4*j**2 + 17*j + 12. Let b(r) = 11*r**2 + 50*r + 35. Let i(x) = 6*b(x) - 17*v(x). Let n be i(7). Is 4 a factor of (-9)/(6/n + (-1)/(-5))?
False
Suppose -n + 3*c + 1387 = 0, 378*n - 373*n - 3*c - 6875 = 0. Is 14 a factor of n?
True
Let z = 383 - 345. Suppose 3*y + z - 62 = 0. Is y even?
True
Let b(f) = -45 - 9*f**2 - 7*f - 58*f - 23*f**2 - 39*f**2 + 3*f**3. Let j(o) = -o**3 + 24*o**2 + 22*o + 15. Let t(z) = 6*b(z) + 17*j(z). Does 6 divide t(19)?
True
Let b(l) = 23*l + 6. Let j = -18 - -25. Let w be b(j). Suppose -96 - w = -5*n - 3*h, -5*n = h - 261. Does 10 divide n?
False
Let i(z) = 1008*z + 2*z**2 + 2*z**3 + 302 + 46 - 1007*z. Is 23 a factor of i(0)?
False
Let p be -89 + 1110 + (2 - 1) + 2. Let l = p + -728. Is l a multiple of 12?
False
Let d(x) = -x**2 + 4*x - 2. Let h be d(7). Let l = 15 + h. Let m = l - -15. Does 3 divide m?
False
Does 10 divide 9543456/3978 - (-2)/(-34)?
False
Suppose 2*d = 4*p - 584, p + 580 = -2*d + 4*p. Let n = -161 - d. Is 7 a factor of n?
False
Suppose 14*r - 104653 = 155123 - 20082. Is 156 a factor of r?
False
Let x(u) = 9*u - 193. Let y be x(22). Suppose y*m + g = 4*m + 387, -1959 = -5*m + g. Does 7 divide m?
False
Suppose 4*y - 370 = 4*a - 50, -5*a = 5*y - 350. Suppose -4*f - b + 314 = -3*b, 3*b = -f + y. Suppose -c + f = 18. Does 6 divide c?
True
Suppose 0 = 2*a + 5*b - 10, -5*b + 5 = 5*a - 20. Suppose 0 = 2*v - 5*v - 5*s - 39, a*s - 13 = v. Let z = v - -65. Does 9 divide z?
False
Suppose -2*q - 5 = 4*p - 23, -4*q = -3*p - 14. Suppose 2*n - 98 = -q*n. Is 7 a factor of n?
True
Is 1919 - (30/4 - (-52)/104) a multiple of 39?
True
Suppose a + 37 = 121. Let f be 4/14 - a/(-49). Suppose c + p = 92, 8*c = 3*c + f*p + 425. Is c a multiple of 14?
False
Suppose 4*c - 83006 = -5*b, -9*b + 16594 = -8*b + 2*c. Is 19 a factor of b?
True
Let z = 288 + -77. Let r(o) = 62*o**3 - 3*o**2 - 15*o - 16. Let p be r(-1). Let u = z + p. Is u a multiple of 11?
False
Suppose 2*u + 8660 = 4*z, 8656 = 4*z + 9*u - 10*u. Does 103 divide z?
True
Is (-4)/(-84)*12 + (-74220)/(-210) a multiple of 6?
True
Let s(g) = 3*g**3 + 2*g**2 + 7*g + 30. Suppose 10 = 36*y - 278. Does 14 divide s(y)?
True
Is (-1)/3 + 715790/465 a multiple of 9?
True
Let c(k) = -2*k**3 - 5*k**2 + 4*k + 4. Let h be c(-6). Suppose 3*x + 720 = -5*j, -8*j - 137 = -7*j + 2*x. Let n = h + j. Is 9 a factor of n?
False
Suppose -2*w - 4*c + 6*c + 210 = 0, w = 3*c + 101. Let s = 275 - w. Is s a multiple of 7?
True
Let z(h) = -h + 12. Let p be z(12). Suppose p = -26*y + 18 + 476. Does 11 divide y?
False
Let l(m) = 11*m - 111. Let q be l(10). Is (4/(-3) - q)/((-2)/1122) a multiple of 20?
False
Let i(m) = 285*m**2 - 20*m + 63. Does 12 divide i(3)?
True
Is 13 a factor of ((440/(-33))/(-20))/(8/13884)?
True
Suppose -37*z + 34243 = 3*f - 39*z, -2*z + 34259 = 3*f. Is 2 a factor of f?
False
Does 108 divide 22*(-27)/(-891) - (77942/(-6) + 0)?
False
Let o(v) = 51*v**2 - 254*v - 3. Let m be o(5). Suppose -15*h + 6864 = -m*h. Is 37 a factor of h?
False
Suppose -20*d + 1614 = -21786. Is d a multiple of 18?
True
Suppose -7*z - 7252 = -19*z - 62*z. Is z a multiple of 7?
True
Let t(g) = 42*g**2 - 5*g + 2. Let m(r) = 86*r**2 - 11*r + 4. Let b(y) = -2*m(y) + 5*t(y). Is 9 a factor of b(-3)?
False
Suppose -6252 = -2*q - 23*p + 24*p, 4*p = -6*q + 18770. Is 59 a factor of q?
True
Is ((-2)/2)/((-231)/22 + 12)*-846 a multiple of 7?
False
Let t be -2 - 1 - (-385)/(-7). Let b = 109 + t. Let a = -26 + b. Is a a multiple of 4?
False
Let i(y) = -2*y**3 - y**2 - 10*y - 2. Let k(h) = -4*h**3 - h**2 - 19*h - 4. Let t = 52 + -58. Let v(w) = t*k(w) + 11*i(w). Does 11 divide v(4)?
True
Suppose 5*q + 3*p = -0*p + 3852, -1540 = -2*q - p. Suppose -7*g - q = -15*g. Let w = g - 29. Does 10 divide w?
False
Is 6/27 - (-68341)/63 a multiple of 6?
False
Let a(f) = f**3 + 95*f**2 + 73*f + 2079. Is a(-93) a multiple of 32?
False
Let k(b) = 3*b**2 + 17*b + 45. Suppose -92 = 19*x + 60. Is k(x) a multiple of 10?
False
Suppose 68*r + 289123 - 784163 = 0. Does 10 divide r?
True
Suppose -3*q - 6 = 2*t, -4*q + t = 8 - 0. Let s be (q - (-159)/33) + 30/165. Is 4266/(-90)*(-10)/s a multiple of 36?
False
Let d = -971 - -1809. Is d even?
True
Is 55 a factor of (-285)/(-4)*(-54 + 362)?
True
Suppose 17*o = 3*o - 0*o. Let x(i) = i**3 - i**2 - 3*i + 80. Is 19 a factor of x(o)?
False
Suppose -4*b = -3*s + 32326, -21*s = -20*s + b - 10773. Is s a multiple of 66?
False
Let t = -5234 + 23383. Is 22 a factor of t?
False
Let t = -519 - -525. Suppose t*w - 878 - 2254 = 0. Does 6 divide w?
True
Let r(v) = 983*v - 3578. Does 151 divide r(29)?
False
Suppose h - 2993 - 3697 + 874 = 0. Does 20 divide h?
False
Let j = 18589 - 12125. Is j a multiple of 101?
True
Suppose 43*l + 2*x = 44*l - 3341, 5*l + 5*x = 16795. Is 41 a factor of l?
False
Let k be 32*((-9)/54)/(1/(-9)). Suppose 0*h - 8*h + k = 0. Suppose -h*z = -z - 120. Does 12 divide z?
True
Let w(m) = 9*m + 25. Let z(r) = -125*r - 350. Let q(n) = -55*w(n) - 4*z(n). Does 20 divide q(7)?
True
Does 14 divide -15 + 0/(-2) + 9 - -64?
False
Is (-1 + 1)/(-1)*9/(-18) - -779 a multiple of 13?
False
Is (-93917)/(-11) - (-222)/2442 a multiple of 11?
False
Suppose -125*k + 380008 + 37374 = -187118. Does 13 divide k?
True
Suppose 0 = -28*o + 24*o + 280. Let m be 149 + (-5 - 0)*42/o. Is 4/14 + m*8/28 a multiple of 7?
True
Suppose 3*g = g + 10. Let c be (-6 + g)/(2/(-6)). Is (-1 - (-6)/c)*(-695)/(-5) a multiple of 17?
False
Let w be 1/((-15)/260)*-9. Let t = w - 121. Is 7 a factor of t?
True
Suppose -5*r + 291 = s - 57, -2*r - 2*s = -144. Let a = -64 + r. Suppose a*d - 216 = 204. Does 21 divide d?
True
Suppose -6*s + 35817 = -12111. Does 8 divide s?
False
Suppose -3*n = 4*r - 0 + 1, 4*n + 20 = 4*r. Suppose -2*p = -3*h - 712, p - 3*h + r*h = 354. Is 35 a factor of p?
True
Suppose -2*g + 3*a = -998 - 1909, -a - 1451 = -g. Does 20 divide g?
False
Suppose -46105*q = -46126*q + 20706. Is 144 a factor of q?
False
Suppose -2*z - 5 = -3*g, 3*g + 5*z - 17 = z. Suppose -5*i + 295 = 2*l, g*i + 8 = -1. Is l a multiple of 29?
False
Let n(u) = -105*u**3 + 16*u**2 + 53*u**3 + 16*u + 53*u**3 + 16. Let t be n(-15). Does 13 divide t*101 + -4 + 7?
True
Let l(f) = f**2 + f + 24. Let s be l(0). Suppose -g = g + s. Is 13 a factor of (-1)/(-2 + 1) - g?
True
Let r(d) = -132*d + 126. Let j be r(13). Does 30 divide (j/(-5) - 2) + 6?
False
Let o(b) = 10*b**3 - 4*b**2 - b + 2. Let f be o(2). Is 14 a factor of ((-294)/21)/((-2)/f)?
True
Let o(u) be the third derivative of -u**6/10 - 13*u**5/60 - 7*u**4/24 - 5*u**3/2 + 3*u**2. Does 16 divide o(-5)?
False
Suppose 0 = 5*k - p + 143 + 215, 2*p = 3*k + 212. Let t = 84 + k. Does 2 divide t?
True
Let a = 6385 + -2264. Suppose -32413 + a = -44*l. Is 52 a factor of l?
False
Let p be 3/12 - (2 - (-92)/(-16)). Let s(w) = 8*w + 5. Let i(r) = 9*r + 6. Let k(t) = p*i(t) - 5*s(t). Is k(-2) a multiple of 6?
False
Suppose 1020*q + 1647 = 1029*q. Is q even?
False
Let i = -24931 + 33856. Does 105 divide i?
True
Let y be (-77 + -3)/(-2) - 2. Suppose y = a + 36. Suppose -2*w - 2*h + 3*h = -239, 241 = a*w + h. Is w a multiple of 10?
True
Suppose 27*j + 70*j = -21*j + 569468. Does 9 divide j?
False
Let c = 5669 + -3023. Is 6 a factor of c?
True
Let j(w) = 3*w**2 + 11*w + 6. Let o be j(-3). Suppose o = 36*p - 1369 - 12527. Does 6 divide p?
False
Let y(p) = -5*p**2 - 109*p - 61. Let o(a) = 2*a**2 + 36*a + 20. Let r(q) = -11*o(q) - 4*y(q). Is 21 a factor of r