et g be m/(-15) - (-1)/(-3). Does 15 divide 2/3 - (-21)/g*-85?
False
Let z(p) = 2275*p - 97. Is 24 a factor of z(3)?
False
Let o(b) be the first derivative of b**4/4 + 2*b**3/3 + b**2/2 + 23*b + 37. Is o(0) a multiple of 8?
False
Let d be (-1 - 9/(-3)) + 0. Suppose -x - d*x + 24 = 0. Let n = x + 9. Is 3 a factor of n?
False
Let p(j) = -j**3 + 23*j**2 - 3*j + 20. Let s(a) = -a**2 + 10*a + 186. Let z be s(-9). Is p(z) a multiple of 13?
False
Let o = 18848 + -15968. Is 20 a factor of o?
True
Is ((-65936)/(-156))/(5/60) a multiple of 16?
True
Suppose -107*l + 108*l + 5*z = 4736, 14184 = 3*l + 3*z. Does 48 divide l?
False
Let b(v) = -8*v - 7. Let a be b(-1). Let u be 4 + 0 + -8 - (a - 5). Suppose 3*i = -4*p - u*p + 240, 0 = -5*p + i + 300. Is p a multiple of 20?
True
Let r(c) = 3*c**3 - 10*c**2 - 9*c - 96. Is 60 a factor of r(9)?
True
Suppose 48*r - 19*r - 87 = 0. Suppose 1033 = 4*l + o, 5*l + 0*o = r*o + 1304. Does 37 divide l?
True
Suppose 0 = -4470*n + 4495*n - 254100. Is 121 a factor of n?
True
Let y be (-1)/(1/4) - -4. Let q be (-4)/14 - (-2562)/49. Suppose -w + q = u - 3*u, 4*w - u - 222 = y. Does 28 divide w?
True
Suppose -418 = -5*d - 128. Let r be -50 - 9/((-117)/143). Let p = d + r. Is 10 a factor of p?
False
Let f(o) = -2527*o**3 - 4*o**2 - 11*o - 6. Let d be f(-1). Suppose -20*y = -12*y - d. Does 6 divide y?
False
Let p be ((-12)/(-7))/(12/336). Suppose p = -i + 96. Is 2 a factor of i?
True
Suppose -6032 = -4*m - 5*f, m - 1050*f + 1051*f = 1507. Is 3 a factor of m?
True
Let p(x) = 197*x - 81. Let g be p(6). Suppose -4*k - 4*y + 1472 = 0, 7*k - 2*y + g = 10*k. Is k a multiple of 10?
False
Suppose 53*g + 24 = 49*g. Is (-2)/g*0 + 1300/10 a multiple of 9?
False
Let h(w) = w**3 - 25*w**2 - 22*w. Let b(x) = -x + 13. Let r be b(-13). Is 13 a factor of h(r)?
True
Suppose 455 = 7*q - 2*q. Let y = q + -88. Suppose x - 2*j = 89, -4*j + 5*j + 292 = y*x. Is x a multiple of 15?
False
Let r(p) = 13*p + 90. Let t be r(-6). Is (-6 + 3)*((-1736)/t - -4) a multiple of 13?
False
Let t(d) = 42*d**2 - 39*d + 91. Is t(-14) a multiple of 49?
True
Suppose 5*v - 5 = 15. Suppose -m - 1 = -r + 7, -m = -v*r + 32. Is 4 a factor of (r - 4) + 8/2?
True
Suppose u = -5*b + 3*u + 33, 24 = 3*b + 3*u. Suppose 0 = b*s - 2476 - 1402. Does 6 divide s?
False
Let j be (-6 - -1) + (-189)/(-27). Suppose -4*r = j*k - 240, 0*k + 2*k - 4*r = 248. Is 61 a factor of k?
True
Suppose -w - 3 = 2*l, -w - 4*l + 14 - 17 = 0. Let a = -15 - 5. Does 26 divide 82/w*(-23 - a)?
False
Let v = -21 + 32. Suppose 2*b = v - 7. Suppose 5*m + 0*l = 5*l + 90, m - b*l - 19 = 0. Is m a multiple of 2?
False
Let o = 17767 - 3883. Does 89 divide o?
True
Let j(v) = -2*v + 24. Let r be j(19). Let w = r - -84. Is 5 a factor of w?
True
Suppose 85*k = 42763 + 13847. Is k a multiple of 36?
False
Suppose 0 = -2*l - 3*a + 11, -l - a = -4*l + 11. Suppose 30*h - 1259 = -1079. Suppose l*r = h*r - 42. Does 7 divide r?
True
Suppose -3*r - 2*t + 19 + 59 = 0, -2*t = -4*r + 90. Let c(l) = -5*l - 5. Let p be c(-7). Suppose p*i - 216 = r*i. Is 4 a factor of i?
True
Let h(z) = -48*z**3 - 2*z**2 - 8*z - 7. Suppose 9*i + 2 = 8*i. Does 22 divide h(i)?
False
Let r(n) = -57*n**3 - n**2 + 2*n + 2. Let l = 95 + -96. Does 8 divide r(l)?
True
Suppose -q + 491 = -4*l, -2*l = q + q + 258. Let g(r) = r + 23. Let u be g(21). Let s = u - l. Does 21 divide s?
True
Suppose 2*k - 5*h = 3806, h + 5709 = -21*k + 24*k. Is k a multiple of 11?
True
Let k be 105/(-5)*(-65)/5. Let a = k - 226. Is a a multiple of 3?
False
Let a(j) = -602*j - 198. Is 27 a factor of a(-9)?
False
Let z(h) = 22*h**2 - 45*h - 525. Is 8 a factor of z(21)?
True
Suppose 0 = -s + 1119 - 1098. Suppose -1855 = -3*p - 5*m, s*p + 4*m - 1859 = 18*p. Is p a multiple of 25?
True
Let l = 2438 - 1262. Let f = -709 + l. Is f a multiple of 13?
False
Suppose 3*y - 15 = 0, 44*y + 2800 = 3*v + 40*y. Does 94 divide v?
True
Is 27 a factor of 24/132 + -100*3063/(-33)?
False
Let s(m) = 12*m**2 - 37*m - 42. Is s(12) a multiple of 18?
True
Let g be 0 + 0 + (-2 - 1 - -171). Suppose 0*l + 3*l - 5*k - g = 0, 0 = -3*k - 9. Let u = l + -36. Is u a multiple of 3?
True
Let x(i) = -3*i**3 + 7*i**2 + 13*i - 12. Let a be x(6). Let z = 527 + a. Does 5 divide z?
False
Let u = 1277 + -1221. Suppose 4*g + 12 = -0*g, -2*b + 2*g = -40. Let i = b + u. Is 18 a factor of i?
False
Let b(o) = -139*o + 19. Let t be b(1). Let w = t - -942. Does 51 divide w?
False
Is 13 a factor of ((-50)/20*3)/(9/(-3444))?
False
Let j(v) = 6*v - 170. Let b be j(29). Let d be 23 + (-5)/(20/(-8)). Suppose b*h = -d + 85. Does 4 divide h?
False
Let f(l) = -183*l - 18. Let a be (-7)/7 - -8 - 8. Is f(a) a multiple of 33?
True
Suppose 8*m - 30 = 5*m. Suppose 731 + 3979 = m*v. Is 45 a factor of v?
False
Suppose -319*b = -305*b - 75068. Does 14 divide b?
True
Let r = 43255 - 16375. Does 16 divide r?
True
Let i(p) = -6*p + 45. Let w be i(6). Is (3 + 3)/(((-54)/(-408))/w) a multiple of 68?
True
Let s(m) = -3 + 0 - 49*m + 1 + 22*m + 21*m. Let f be (-7 - -1)/((-2)/(-2)). Does 24 divide s(f)?
False
Suppose 3*g - 32 = -5*g. Suppose g*p + 3*p = -280. Is (-8)/4*(2 + p) a multiple of 38?
True
Let y be 2 + (-24)/(0 + 4). Does 19 divide (-12)/(8/y) - -135?
False
Let y(g) = 7*g**2 - 3*g. Let f be y(3). Suppose 0 = -v + 10 - 54. Let u = v + f. Does 5 divide u?
True
Let y(h) = 26*h - 18 - 62*h + 22*h - 28. Is 19 a factor of y(-18)?
False
Suppose 77*i = 99471 + 19571. Does 3 divide i?
False
Suppose 0*v + 15 = -3*g + 3*v, 3*g + 3*v = -21. Is 12 a factor of ((-2079)/6)/11*16/g?
True
Let g(u) = -u**2 - u - 5. Suppose 4*y - 3*d = 15, -d + 4*d + 15 = 0. Let w be g(y). Let f(p) = -9*p - 37. Is f(w) a multiple of 3?
False
Suppose -55*n - 31*n - 8*n = -22090. Is n a multiple of 2?
False
Suppose -c = -4*f + 6268, -3*f - 4*c - 4714 = -6*f. Suppose -2*b + f = 5*a, 4*b - 5*a - 3114 = -6*a. Is 37 a factor of b?
False
Let t = 13765 - 8664. Is 129 a factor of t?
False
Let s(w) = 5*w - 28. Let v be s(7). Let i(r) be the third derivative of r**6/120 - 7*r**5/60 + 5*r**4/12 - 10*r**3/3 + 83*r**2 + r. Is i(v) a multiple of 25?
True
Let a be ((-6)/30*5)/((-2)/10). Suppose 0 = -3*z - 5*x + 490, 0*x = -a*z - 4*x + 795. Does 31 divide z?
True
Is 10/(((-24)/(-60))/((-2316)/(-15))) a multiple of 6?
False
Let u = 480 - 487. Is 8 a factor of (-9 + 7 - u) + 203?
True
Let n be (6/4)/((-9)/(-9936)). Let r = n - 1036. Does 56 divide r?
False
Let u = 5 - 5. Let y be 3/(-9) + (1725/(-9))/(-5). Suppose -2*p = -u*p - y. Does 3 divide p?
False
Suppose d + l = 214 + 2077, 4*l - 6874 = -3*d. Suppose t - d = -1940. Is t a multiple of 14?
True
Let q(s) = 1109*s + 739. Does 26 divide q(6)?
False
Suppose c - h - 3494 = 0, -5*h + 4 = -4*h. Does 3 divide c?
True
Let g(h) = 3214*h - 224. Is g(2) a multiple of 12?
True
Suppose 2*x = 2*m + 10330, -486*x - 2*m = -483*x - 15500. Does 123 divide x?
True
Let l = 1874 + 11122. Does 12 divide l?
True
Let h be 50 - 2664/(-185) - (-3)/(-10)*-2. Suppose -3*w = -4*w. Is 18 a factor of h*(w + 7 + -4)?
False
Let l(c) = 2*c - 27. Let d be l(16). Suppose 2*m - d*h - 6 = -23, 2*m + 12 = 4*h. Suppose -105 = -5*b - 5*t, -2*t - 90 = -m*b - 6. Is b a multiple of 4?
False
Let k = 116 + -22. Suppose -59 - k = 3*a. Let c = a + 61. Is 2 a factor of c?
True
Suppose -19*l = -6*l - 4563. Is 4 a factor of l?
False
Let a(w) = w - 36*w**3 - w**3 + 0*w - 4*w**3. Does 3 divide a(-1)?
False
Let b = -30 - -34. Suppose w - 158 = k, 0 = 5*k - 7*w + b*w + 792. Is ((-2)/2)/(798/k - -5) a multiple of 7?
False
Suppose 3*h - 11*h = -168. Suppose 9*s + h*s = 14310. Is s a multiple of 84?
False
Is 12 a factor of 20/3*-2424*57/(-380)?
True
Let i(a) = 8*a**2 - 12*a + 7. Let o be i(-8). Suppose 285 + o = 5*b. Is b a multiple of 15?
True
Suppose 0 = -3*c - 126 - 30. Let n = 87 + c. Is 5 a factor of n?
True
Let o = -9813 - -12846. Does 44 divide o?
False
Let i(t) = -t**3 - 5*t**2 + 8*t + 7. Let v be i(-6). Let q = -7 + v. Is q/(-18)*156/8 a multiple of 12?
False
Suppose -i = 4*i - 3095. Suppose -140 - i = -3*p. Let h = p + -173. Is 6 a factor of h?
False
Let l(s) = -3*s**3 + s**2 + 10*s**2 - 2*s**2 + 5*s**3 + 3 - 5*s. Let c be l(-5). Suppose -2*f + w - 99 = -c*f, -4*w - 283 = -3*f. Is f a multiple of 27?
False
Suppose -1074 = -f - m, -5*m = -f + 913 + 179. Is f a multiple of 2?
False
Suppose 4*w =