se -95 = -v - 96. Let u(s) = -622*s**3 + 2*s**2 + s + 11. Let n(f) = -311*f**3 + f**2 + f + 5. Let g(k) = 5*n(k) - 2*u(k). Does 39 divide g(v)?
True
Is 8 a factor of ((-6684)/(-24))/((-1)/(-14))?
False
Suppose -9*h = -13*h - 20, 0 = -4*s + h + 2105. Is s a multiple of 15?
True
Suppose -2*n - 18271 = -5*b, -3*b + 13*n - 14*n = -10967. Does 20 divide b?
False
Suppose 0 = 4*p + 1 - 9. Suppose p*h - 60 = 7*h. Is (-4)/h*24/1 a multiple of 8?
True
Let b = -480 - -488. Suppose b*q - 306 = -282. Is q a multiple of 3?
True
Let g(p) = 23*p**2 - 4*p + 10. Let l be g(3). Suppose -887 = -13*s + l. Is s a multiple of 28?
True
Let o be (-8)/(-36) + 538/9. Suppose 5*k - 60 = -c - c, -5*k = -4*c + o. Is 10 a factor of c?
True
Let z(a) = -847*a + 1073. Does 9 divide z(-7)?
True
Let r(w) = -36*w**2 - 26*w + 84. Let z be r(4). Let f = z - -694. Is f a multiple of 13?
False
Suppose 5*w + 10 = -5*j, 9*w - 4*j = 12*w + 10. Is 26 a factor of (660/48 - 17)/(w/(-336))?
True
Let b(y) = 37*y**2 + 1554*y + 1. Let w be b(-42). Let q(j) = j**3 - 2*j**2 - 5*j - 4. Let u be q(5). Let z = u + w. Does 16 divide z?
False
Let r = 7411 - -381. Is 8 a factor of r?
True
Suppose 0 = -12*q + 89 + 19. Is 4 a factor of ((-8)/28*15)/(q/(-42))?
True
Suppose -5*r + 0 = -3*n + 6, 3*n + 15 = -2*r. Let i be 8/(-4)*(n + 5/(-2)). Suppose -i*p + 9*p = -52. Is 26 a factor of p?
True
Let z(y) = y**3 + 1. Let l(g) = 5*g**3 + 2*g**2 + 6*g - 5. Let m(i) = -l(i) + 6*z(i). Let p be m(6). Let u = -67 + p. Does 13 divide u?
True
Suppose -16039 = -3*m - 5*z, -2*m + 8637 = 4*z - 2061. Is m a multiple of 82?
False
Let m be 3 - (4/(-1) - -9 - 51). Is 1110 + (-28)/(m/(-7)) a multiple of 50?
False
Let q(k) be the first derivative of -11*k**4/2 - 2*k**3/3 - 3*k**2/2 - 2*k - 63. Does 2 divide q(-1)?
False
Suppose 4*k - 11 = -3*u, -23 = u - 4*k - 0*k. Let i(d) = -17*d - 6. Let s be i(u). Suppose 46*h = s*h + 38. Does 3 divide h?
False
Suppose -2*x + 20096 = 4*d, -3*x = 17*d - 22*d + 25142. Is 14 a factor of d?
True
Let g = 3342 + -1773. Let t = g - 965. Is 45 a factor of t?
False
Let q(y) = 41*y**2 - 3*y - 7. Let g be q(-3). Suppose -653 - g = -4*w. Is w a multiple of 16?
True
Let t be 4/30 - 13/((-975)/12140). Suppose -174 - t = -8*j. Is 42 a factor of j?
True
Let o = -573 + 1107. Suppose -4*n + 2490 = o. Suppose -5*b + 3*b + n = 5*g, g - 3*b - 108 = 0. Is g a multiple of 26?
False
Suppose 5*q = 3*d - 6*d + 12602, -5*d + 5018 = 2*q. Does 54 divide q?
False
Let x(i) = 6*i + 20. Let t(p) = p**3 + 9*p**2 + 7*p - 3. Let d be t(-8). Suppose -9*n + d*n = -40. Is 20 a factor of x(n)?
True
Let c = 165 - 168. Is (-11)/(1*c/21) a multiple of 17?
False
Is 3 a factor of 8079 + (19 - 34 - 6)?
True
Suppose -6*h = -21345 - 15621. Suppose 27*g - h = 11092. Is 19 a factor of g?
False
Let u be ((-28)/(-6) - 5)*-30. Suppose -2*m - 816 = -u*m. Suppose b - m = 98. Does 50 divide b?
True
Let d = -453 + 453. Suppose -23*h + 9714 + 7950 = d. Is h a multiple of 48?
True
Let q = -66 - -50. Let v = 21 + q. Suppose -368 + 38 = -v*y. Does 11 divide y?
True
Let d = 45 - 41. Suppose -d*a = 3*w - 52, 0*a - 2*a - w = -28. Suppose -u - a = -69. Is u a multiple of 16?
False
Suppose 304 = 4*y + 2*h + 2*h, 3*y + h - 236 = 0. Suppose -2*z = -0*z + y. Let f = z - -88. Is 12 a factor of f?
True
Suppose 3*t = 5*j + 3, -2*j - 29 = j + 5*t. Is 13 a factor of 90*(1 - (j - (-24)/9))?
False
Let s(y) = -y**3 - 47*y**2 - 8*y + 16. Let k be s(-47). Let b = k - 257. Is 3 a factor of b?
True
Let r be (2*(-1)/3)/(1/3). Let u be ((-3)/(-6) - 0)*(10 + r). Suppose o + u*n - 107 = 0, 3*o - o - 198 = -4*n. Is o a multiple of 17?
False
Let m(t) = -299 + 49*t + 3*t**2 + 3*t**2 + t**2 + 306. Is m(-11) a multiple of 65?
False
Let x(r) = 229*r**2 + 6440*r - 11. Is 104 a factor of x(-33)?
False
Let r(x) = x**2 - x - 17. Let h be r(-5). Suppose -2*m - 3*g = 20, h = 4*m + 4*g + 49. Is 250*(-3 + m/(-2)) a multiple of 33?
False
Suppose -m + 26*o + 339 = 23*o, 2*m = 5*o + 676. Suppose -2*z + 363 + m = 0. Is z a multiple of 58?
True
Let a = -9748 + 26812. Does 4 divide a?
True
Suppose 170 + 589 = 69*k. Suppose 0 = y - k + 15, 0 = c - 2*y - 323. Is c a multiple of 5?
True
Let g(s) = -36*s + 15. Let q be (3 + -1)/(11/(-9) + 1). Let b be g(q). Let d = b - 226. Does 15 divide d?
False
Let n(d) = 2*d + 36. Let q be n(-15). Is 6 a factor of (q + -1)*(5 - 87/(-15))?
True
Let q be (1230/(-7))/((-1)/(-119 + 0)). Is q/(-136)*(2 + (-4)/(-6)) a multiple of 11?
False
Suppose -583*k + 547*k + 589320 = 0. Is 36 a factor of k?
False
Suppose 15*c = 36 + 39. Suppose 0 = -3*v + s + 671, -v = 3*s - c*s - 232. Does 13 divide v?
False
Let z = 90 + -45. Suppose 949 + z = 2*k + 4*x, 5*x = 0. Does 45 divide k?
False
Let n be (-53)/(-5) - 57/95. Suppose -n*y = -5*y. Is 10 a factor of 1 - -9 - y/(-8)?
True
Let z = 21453 + 942. Is 91 a factor of z?
False
Let f(v) = -7599*v**3 - 2*v**2 + 22*v + 25. Does 80 divide f(-1)?
True
Suppose -115 = -5*k + 75. Let a = 42 - k. Does 18 divide ((-21)/a)/((-4)/16)?
False
Let m = 10901 - 9301. Does 4 divide m?
True
Suppose 5*p - 6 = 3*w + 4, -p + 4*w + 2 = 0. Let y(x) = 22*x + 17*x**p - 8 - 3*x**3 - 2*x**3 + 4*x**3. Is y(18) a multiple of 8?
True
Suppose 2*q - 4*r - 4 = 6*q, 4*r = -4. Suppose q = 4*b + 143 + 101. Let i = -47 - b. Is 12 a factor of i?
False
Suppose -65 = 19*p - 141. Suppose 952 = p*o - 604. Does 4 divide o?
False
Suppose 3*a + 3 = 3*b, 0 = -b - 0*b - a + 3. Let m be (-25 + 24)/(b/(-106)). Let x = 125 - m. Does 8 divide x?
True
Suppose j - 7 = -2*v, 0 = 3*v + 5*j - 9 + 2. Suppose -2*k = -v + 16. Is (-12)/5*75/k a multiple of 5?
True
Suppose -15*m + 10*m = -100. Let r(p) be the first derivative of p**3/3 - 7*p**2 + 43*p - 1. Does 28 divide r(m)?
False
Suppose 0 = -2*x + 2*t + 66, 0*t + t - 111 = -3*x. Let m = x + -32. Suppose o + 258 = 4*r, m*r + 0*r = 5*o + 266. Is r a multiple of 16?
True
Let b be ((-180)/(-8))/(7/532). Suppose b = -82*p + 85*p. Does 30 divide p?
True
Let p(q) = -2*q**3 + 10*q**2 + q + 2. Let g be p(5). Suppose 10 = 2*l + 5*o, 0 = -4*l + o - g + 27. Let f(u) = u**3 - 3*u**2 - 5*u - 1. Is 10 a factor of f(l)?
False
Let b(z) = -6*z + 39. Suppose -2*a + 9 = 3*s, 0*s - 2*s = 3*a - 16. Let p be b(a). Does 14 divide 60 + (-12)/(-4)*(-4)/p?
True
Let y be ((-4 - 0)/2)/(0 - 1). Suppose 1377 = 3*j + 2*k - 0*k, 2299 = 5*j + y*k. Is j a multiple of 13?
False
Let f(n) = 64*n**2 + 82*n - 1376. Is 120 a factor of f(16)?
True
Does 5 divide -2 + 0 - (2/(-16)*-8 - 2068)?
True
Let j be (-447)/2 - (-31)/(-62). Let q = 238 + j. Is q a multiple of 3?
False
Let m be (-540)/21*(-525)/(-50). Let r = m + 386. Is r a multiple of 24?
False
Let p(i) = -3*i**3 - 17*i**2 - 14*i - 14. Let s(c) = -6*c**3 - 35*c**2 - 29*c - 28. Let y(v) = 13*p(v) - 6*s(v). Let l = -1912 + 1906. Does 22 divide y(l)?
True
Suppose -20 = -10*k + 200. Does 9 divide 488 - (k/6 + (-16)/24)?
False
Let l(d) = 27*d**2 + 86*d + 11. Let z(f) = f**3 - 3*f**2 - 3*f + 7. Let k be z(-2). Does 19 divide l(k)?
False
Let n be 351/6*(-10)/(-45)*24. Suppose 1257 - n = 5*i. Does 20 divide i?
False
Suppose 8 = -6*l + 26. Is 1/l - 9/(27/(-14)) even?
False
Let w(a) = a**3 + 20*a**2 - 16*a + 19. Let t be w(-21). Let r = 598 + t. Is 32 a factor of r?
True
Let r(t) = -14*t - 166. Let h be r(-13). Let q(o) = o**2 - 4. Let v be q(0). Let k = h - v. Does 4 divide k?
True
Let r(c) = 2*c**3 - 22*c**2 - 116*c - 47. Is 47 a factor of r(19)?
True
Let d be (-2)/9 + 9896/(-18). Let h be d/(-15)*6/5. Suppose 3*s = 4*n - 59, -3*n - 2*s = -4*s - h. Is n a multiple of 3?
False
Suppose 4*h - 4 = 3*p, -3 = h - 4*h + 4*p. Is 4 a factor of (91/(-52))/(h/(-8))?
False
Suppose -216 = -0*m - 2*m. Let o = 117 - 99. Let t = o + m. Is t a multiple of 14?
True
Suppose 3*g + 2*h - h - 477 = 0, 5*g - 2*h = 784. Let i = 227 - g. Is 23 a factor of i?
True
Suppose 44*n = 2*n - 10*n + 370500. Is 75 a factor of n?
True
Let o be (-1 - -3)*27/6. Let k = 225 - o. Is 6 a factor of k?
True
Let g(k) = 30 + 21 + 7*k + 9*k - 7 - 84. Is 13 a factor of g(9)?
True
Let z(a) = -4*a - 2. Let g be z(-4). Let j(m) = 4701*m + 4692*m + 76 - 14089*m + 4697*m. Is 4 a factor of j(g)?
False
Suppose 360672 = -16306*m + 16332*m. Is m a multiple of 48?
True
Let k = 37 + -35. Is 3/(-2)*k/5*-255 a multiple of 9?
True
Let t(p) = -p + p - 9*p**2 - 13 - p**3 - 2*p. Let b be 