t b(o) = -37*o**2 + 5*o + 26. Let x be b(-5). Is 29 a factor of (x/105)/(2/(-85))?
False
Let z = 54 - -6. Let r be 5/(z/306) + 2/4. Is 6 a factor of (-3)/(-2)*26 - (29 - r)?
True
Let r be (-2)/(8/28) + -94. Let m = r + 287. Is m a multiple of 30?
False
Let c = 226 - 510. Let n = 572 + c. Is 36 a factor of n?
True
Suppose o - 5*x - 156 = 0, 3*o = -x + 35 + 481. Let j be 9/2 - (-18)/36. Suppose -j*r + o = -729. Is 42 a factor of r?
False
Suppose -z + 2*h + 2*h = -19, 2*z + h - 83 = 0. Suppose 3*d = z + 3. Suppose 2*i + 94 = 5*q, -i - d = -2*q + 24. Is 11 a factor of q?
False
Let c(a) = -a - 5. Let x be c(-5). Let k(f) = -4 + 4*f**2 + 2*f - 4*f + x*f. Is 8 a factor of k(-2)?
True
Let u = -1845 + 2605. Let g = u + -499. Is 10 a factor of g?
False
Let h(v) = v**3 + 27*v**2 + v + 27. Let z(u) = -u**3 + 10*u**2 + 8*u + 6. Let w be z(11). Let g be h(w). Let i = g + 14. Is i a multiple of 12?
False
Suppose 5*c - 33*c + 6850 + 11938 = 0. Is c a multiple of 11?
True
Let t be 25700/(-9) - 28/63. Is 51 a factor of (t/(-36))/(4/18)?
True
Suppose 0 = -13*h + 11*h - 8. Let y(m) = -2*m + 2. Let n be y(-2). Is 31 a factor of 87 + h/32*-4*n?
False
Suppose j = 5*h + 19292, 82*j - 81*j - 3*h - 19286 = 0. Is 6 a factor of j?
False
Suppose 5*k = 1301 + 324. Suppose -2*c = -5*z - k, 3*z - 5*c = -2*z - 340. Let a = 147 - z. Is 42 a factor of a?
True
Suppose 117*i - 1777510 = -98*i + 3570830. Is 224 a factor of i?
False
Let n(d) = d**3 - 11*d**2 + 3*d - 15. Let m(i) = 3*i + 24. Let s be m(-7). Let p be s/2*(-352)/(-48). Does 8 divide n(p)?
False
Let j = 9712 - -33984. Does 88 divide j?
False
Suppose 60244 = 30*z + 14764. Suppose 3*s - 3 = 0, -2*n + z = 4*s - 6*s. Does 69 divide n?
True
Suppose 0 = 4*t - 20, 30*y = 35*y - t - 194530. Does 192 divide y?
False
Let y = -138 - -135. Is 11 a factor of 138 + y*10/15?
False
Let v be (104 + -94)*790/4. Suppose -3*r + 1070 = -3*x - 391, 4*r + 5*x = v. Does 8 divide r?
False
Let a = -9763 - -53420. Is a a multiple of 233?
False
Suppose 2*s - 358 = -j + 94, -2*s + 452 = -j. Let q = 336 - s. Is 11 a factor of q?
True
Let y be (-3)/2*-1*8/6. Let u be (0 - (-30)/(-35))/(y/(-7)). Suppose -g + 294 = 5*o - 438, -u*o - g = -438. Is o a multiple of 18?
False
Let b = -106 - -111. Suppose -b*s = 2*g - 1004 + 73, s = -g + 188. Does 10 divide s?
False
Let v = 103 + -169. Let l be 78/v - 4/(-22). Is 45 a factor of 4288/24 - l*2/(-3)?
False
Suppose 5*w - 3*c = 32073, -4*w + 0*c - c = -25672. Is w a multiple of 9?
True
Let i = 5956 + -1730. Is 66 a factor of i?
False
Let v(s) = 0 + 7 - 1 + 18*s. Let j be v(-4). Let n = -12 - j. Is 8 a factor of n?
False
Suppose -4*f - 30 + 54 = 0. Is 5 a factor of ((-18)/(-27) + 1442/f)/1?
False
Let a(c) = -c**3 - 2*c**2 + 9*c - 3. Let n be a(6). Let z = 335 + n. Is z a multiple of 7?
True
Let o(v) = -49*v - 10. Let i be o(-6). Suppose 5*y - i - 666 = 0. Is y a multiple of 15?
False
Let w = 847 - -2335. Is 43 a factor of w?
True
Let s = 35 - 23. Let t(x) = -10 + s*x + 6*x - 8. Is 22 a factor of t(4)?
False
Suppose 24*v = 13*v + 22. Is 17 a factor of (v*-15)/((-17)/((-2312)/(-16)))?
True
Suppose -2*h = -3*f + 2*h + 8, -3*h = -f + 6. Suppose 5*w - 913 = -3*b, b - 5*w + 4*w - 291 = f. Is 8 a factor of b?
True
Let w(b) = b**3 + 6*b**2 - 2*b - 15. Let t be w(-5). Let y(j) = -j**3 + 19*j**2 + 19*j - 4. Let a be y(t). Let n = a - -94. Does 5 divide n?
True
Is 117 a factor of 6/13 - (62 + -59 - 208404/26)?
False
Suppose o = 6*o. Suppose 0 = -4*g + t + 4 - 113, o = g - 5*t + 51. Let d = -24 - g. Is d a multiple of 2?
True
Suppose 3*a - 13*a = 150. Let q = a + 16. Suppose 0 = c - q - 30. Does 19 divide c?
False
Let s be 12/(-9) + (-1)/(-3) - -3. Suppose -h - 5*y + 15 = 0, -s*h + 9 = 2*y + y. Suppose 3*u + 2*l - 261 = h, -5*l = -2*u + 7*u - 440. Is 17 a factor of u?
True
Suppose 3*m - 2170 = 5*f, -2*f - 2884 = 2*m - 6*m. Let z = m - 410. Does 6 divide z?
False
Suppose -2*f = -0*k - 5*k - 135, 0 = 4*f - 2*k - 262. Suppose 16*l = 21*l - f. Is l a multiple of 4?
False
Suppose -3*h + 5253 = l, 4*h + 5288 = -7*l + 8*l. Is 19 a factor of (4*12)/(9 + l/(-588))?
False
Let q(f) be the second derivative of -f**5/20 + f**4 + 2*f**3/3 - 8*f**2 - 20*f. Let h(u) = u**3 + 14*u**2 + 12. Let m be h(-14). Is q(m) a multiple of 8?
True
Let m(x) be the third derivative of 7*x**5/60 - x**4/4 - 19*x**3/3 + 155*x**2. Is m(-10) a multiple of 38?
True
Suppose -o = -0*o - 6. Let n(j) = j**2 + 13*j + 67. Let g be n(-11). Is 23 a factor of (985/g*o)/((-2)/(-3))?
False
Let v(i) = -i**2 - 427*i + 11832. Is 3 a factor of v(0)?
True
Let z = -17249 + 29889. Is 11 a factor of z?
False
Suppose -23*p + 20*p = 3. Let v(b) = -315*b**3 - b**2 - 7*b - 6. Is 45 a factor of v(p)?
True
Suppose 10*b + 11838 = 97598. Is 15 a factor of b?
False
Let v(b) = -2*b**3 + 37*b**2 + 19*b + 42. Let a = -513 + 532. Does 3 divide v(a)?
True
Suppose -8*l + 6*l = w - 7703, w - 3849 = -l. Is 47 a factor of l?
True
Suppose -2*s = 11*r - 13*r + 514, 0 = -5*r - 25. Let c = s + 627. Is 26 a factor of c?
False
Suppose -5*p = 3*s + 6 - 32, 3*p - 8 = 2*s. Suppose s*y = v - 12, 2*v + 3*v + 3*y - 8 = 0. Let c = v + 14. Is 11 a factor of c?
False
Is 35 a factor of (-2316)/9*(-52 - (-8 - 6/3))?
False
Let p be (-16)/7*35/(-10). Let q(s) = s**3 - 6*s**2 - 2*s + 5. Let t be q(p). Let j = 141 - t. Is j even?
True
Suppose 16*m = -11 + 75. Let x be (-44)/m - -8 - 46/(-2). Suppose 28*w = 24*w + x. Is w a multiple of 2?
False
Suppose 44*r - 41*r - 9 = 0. Suppose -49 = -r*h + 4*a, -3*h = -3*a + 6*a - 63. Is h a multiple of 4?
False
Suppose -8*r = -6*r + 490. Let h be (0 + -2)/(14/r). Let x = 60 - h. Does 5 divide x?
True
Let c = 204 - 200. Is (-204)/(-4 - -10)*(-26)/c a multiple of 13?
True
Let i(m) = 78*m + 1127. Does 23 divide i(0)?
True
Suppose -k = -4*a - 397, 0*k - 3*a + 1116 = 3*k. Let v = k + -167. Is v a multiple of 6?
True
Let a = -17062 - -29967. Does 7 divide a?
False
Suppose -14*w + 10254 = -960. Is 89 a factor of w?
True
Let s be ((12 + -4)/(-2) - -5)*31. Suppose 12555 = s*m - 4*m. Does 31 divide m?
True
Suppose 3*v + 2*v - 995 = 0. Let a = 1304 + -1359. Let u = a + v. Is 12 a factor of u?
True
Let o = -14 + 19. Let n be -5 + o + 7 + (2 - 1). Suppose 87 = 2*j - 4*a - 145, -n = 4*a. Is j a multiple of 14?
True
Suppose -275*a + 338*a = 30240. Is 5 a factor of a?
True
Is 4368*((-175)/(-10))/5 + -15 + 15 a multiple of 13?
True
Let c = 528 - 1196. Let k be 4 - 4 - (-2 + c + 0). Is k/3 - (-6 - 112/(-21)) a multiple of 16?
True
Let z(n) = 132*n**2 - 219*n + 1998. Is 30 a factor of z(9)?
False
Let j(x) = 23*x**3 + 12*x**2 - 48*x + 188. Is 20 a factor of j(6)?
True
Is 9 a factor of 5*17/(-85) - -10018?
True
Let r be ((-1)/(28/1491))/(27/(-108)). Suppose 7*l = 2*l - 2*c + 23, 3*c - 9 = l. Suppose -r = l*k - 729. Is k a multiple of 46?
False
Let n = -1743 - -1777. Let c = -8 + 102. Let l = c - n. Does 12 divide l?
True
Let m(l) = -l**2 + 18*l - 45. Let d(b) = -5*b - 27. Let i be d(-7). Does 5 divide m(i)?
True
Suppose 154*c = -439*c + 1786709. Does 3 divide c?
False
Suppose -3*s + 5*z = -13994, -4*s + 12952 + 5703 = -3*z. Does 4 divide s?
False
Suppose 0 = -2*v - z + 240, -z = -2*v + z + 234. Let k = v + -109. Suppose -o = -3*m - k - 1, -3*m - 91 = -5*o. Does 20 divide o?
True
Let z(n) = 31*n**3 - 4*n**2 - 28*n + 103. Does 37 divide z(7)?
False
Let a(w) = -583*w + 9469. Is a(7) a multiple of 12?
True
Let d(q) = -42*q**3 + 3*q**2 + 16*q + 34. Does 35 divide d(-2)?
True
Suppose -33*l - 43*l + 30324 = 0. Is l a multiple of 6?
False
Let h(w) be the second derivative of -5*w**3/6 + 72*w**2 + 18*w. Is h(25) a multiple of 10?
False
Let z(a) = -81*a - 30. Let j be z(-6). Suppose 27*b + j = 31*b. Suppose 4*n - 7*n = -b. Does 6 divide n?
False
Let z(l) = l**3 - 12*l**2 + 14*l + 13. Let m = 41 - 19. Suppose 6*g = 44 + m. Is z(g) a multiple of 23?
True
Let b = 1570 - -1219. Suppose 0 = -4*v - 1001 + b. Is 52 a factor of v?
False
Let c = 22 - 26. Let y be (1 + c)*(-142)/6. Suppose 4 + y = 3*l. Is l a multiple of 5?
True
Suppose 60 = 17*r - 2*r. Suppose 4*d + r*v - 111 = 33, -3*v = -d + 16. Let g = d - 22. Is g even?
False
Let z(k) = -7*k**3 + 9*k**2 + k + 6. Let m(b) = -20*b**3 + 26*b**2 + 4*b + 19. Let j(w) = -6*m(w) + 17*z(w). Let p be j(5). Is 15 a factor of 10/(8/p + -2)?
True
Suppose -6 = 2*u + 2*y, -1