-9 - -11)*-7*(-2)/(-4). Let v be d(u). Suppose 4*s = -l + v + 24, l = -5*s + 77. Is s a multiple of 3?
True
Let s = 77 + -128. Let w = 266 + s. Is w a multiple of 28?
False
Is (-1453)/(-3) + 3/(-27)*3 a multiple of 2?
True
Suppose 60 = -3*f + 582. Let d(t) = -161*t - 1181. Let n be d(-7). Let i = f + n. Is i a multiple of 12?
True
Suppose 0 = -5*h - 25, 2*z - 115 = -3*h - 2*h. Let p = z + -71. Does 3 divide ((p - 1)*69/6)/(-1)?
False
Suppose 3*b = -4*c + 3204, 1738 = -5*b - 5*c + 7073. Let u(v) = -191*v**2 - 4*v - 2. Let t be u(-2). Let j = b + t. Is j a multiple of 50?
False
Let a(i) be the first derivative of 12*i**3 + 115. Does 48 divide a(4)?
True
Suppose 3*a - a = -5*v + 64520, 32254 = a + v. Is a a multiple of 75?
True
Let w(a) = a**3 - 8*a**2 + 11*a + 8. Let q be w(6). Let n = 7 + -3. Suppose -q*z = n, 5*h = -z + 311 - 43. Does 6 divide h?
True
Let y = -697 + -417. Let d = -480 - y. Is 21 a factor of d?
False
Let b(g) = 2144*g - 2. Let w be b(10). Is 55 a factor of w/15 + 88/110?
True
Does 42 divide 0 + 1229 + (-176)/16?
True
Let f(u) = -u**3 + 3*u**2 + 8*u - 5. Let t be f(5). Let l = -10824 - -10993. Let o = l + t. Does 22 divide o?
True
Let v = -3833 + 4143. Is 31 a factor of v?
True
Let b(i) = -i**2 + 10*i + 65. Let r(g) = 3*g**2 - 31*g - 197. Let h(j) = 11*b(j) + 4*r(j). Does 32 divide h(29)?
False
Let a = -28 + -34. Let g = a - -62. Does 11 divide (6 + -5)*(145 + g)?
False
Suppose 3*w - 2*w = 0, -l + 16 = w. Suppose l*k - 1214 - 226 = 0. Does 10 divide k?
True
Suppose 55 = 5*b - 3*g, 3*b = -2*g - g + 9. Suppose 4*o - u = 4, u = -u + b. Does 13 divide o - 13/(52/(-456))?
False
Suppose t - 3 = -1. Let p be -3 - (t + 1*-6). Does 3 divide 9/9*(p + 3)?
False
Let d(u) = u**2 + 174*u + 7020. Is 27 a factor of d(0)?
True
Does 28 divide (-2585)/(-1) - (-21)/(63/(-12))?
False
Let x(r) = 6*r + 220. Suppose 10 = l - 5*w, -22*l + 5*w - 10 = -17*l. Is x(l) a multiple of 17?
False
Does 20 divide ((-51051)/42)/(7/126*-3)?
False
Let o be (-5)/(-15) - (-118)/6. Is 4/(o/15) - -39 a multiple of 14?
True
Let j(z) = -z - 2. Let t be j(-5). Suppose t*f - 708 = 2*f. Suppose -2*a = -5*p - a + 884, f = 4*p - a. Does 22 divide p?
True
Suppose -2*c = 3*u - 16, 5*c = -5*u - 21 + 56. Suppose -40 = -l - 4*i - i, 26 = l - u*i. Suppose 2*f = 6 + l. Does 18 divide f?
True
Suppose 11*y + 36*y = 205567 + 726725. Is y a multiple of 114?
True
Suppose -2*x + 3488 = -x - 3*u, -12*u = 5*x - 17251. Is x a multiple of 25?
False
Is 66 a factor of (-20 - -18 - 3) + (-113804)/(-4)?
True
Let s = -277 - -281. Is 5 a factor of 283 - -3*(s + -2)?
False
Let s(f) = 16*f**2 + 6*f - 650. Does 24 divide s(23)?
False
Let o = 520 - 274. Suppose 325 = 4*j - 3*d, -3*d - o = -0*j - 3*j. Is 4 a factor of j?
False
Suppose 101*i - 106*i = 15. Let z(d) be the first derivative of 28*d**3/3 - 5*d**2/2 - 7*d - 2. Is 18 a factor of z(i)?
False
Does 8 divide 70/10 - (-70566)/6?
True
Let q(p) = p**3 + 2*p**3 - 48749*p + 730 + 48746*p. Does 33 divide q(0)?
False
Suppose -14*b - 198 = 292. Let o = 87 - b. Does 21 divide o?
False
Let l = 90351 - 58725. Is 13 a factor of l?
False
Let z(q) be the second derivative of q**4/3 - 4*q**3/3 + 21*q**2/2 - q + 1. Is 32 a factor of z(-10)?
False
Let i = 39 - 29. Let h(g) = g**3 - 11*g**2 + 10*g. Let j be h(i). Suppose y - 19 = -3*q, j = -5*y - 2*q - 31 + 113. Is 16 a factor of y?
True
Is (-5)/10 + 2 + ((-168402)/(-12))/13 a multiple of 23?
True
Let k(m) = -149*m + 2. Let i(y) = -150*y + 2. Let n(f) = 4*i(f) - 3*k(f). Let l be n(-2). Suppose -9*b + 169 + l = 0. Is 6 a factor of b?
False
Suppose 77*f + 48270 = 339741 + 148969. Is 44 a factor of f?
True
Let h be (-11)/22 + (-5417)/2. Is -5 + 13/((-39)/h) a multiple of 51?
False
Let u = 283 + -223. Does 14 divide (u/75)/((-1)/(-25))?
False
Let u(v) = 2*v**3 - 81*v**2 + 296*v - 9. Is 4 a factor of u(4)?
False
Let h = -2176 + 5115. Is h a multiple of 9?
False
Let q(w) = -13*w**2 - 90*w - 57. Let i(y) = 6*y**2 + 45*y + 28. Suppose 3*z = -9 - 3. Let h(p) = z*q(p) - 9*i(p). Is h(-21) a multiple of 13?
True
Suppose -2*g - 3*s = -108889, -3*g + 42137 + 121263 = -5*s. Is 41 a factor of g?
False
Does 30 divide ((-3)/(-4))/(2/7 + 6771355/(-23701384))?
False
Let b(i) = -i**3 - 22*i**2 - 124*i + 36. Is b(-12) a multiple of 4?
True
Suppose 18537 = 66*z - 68781. Is z a multiple of 49?
True
Let q = 4 - 3. Let s be (159/(-9))/(q*(-2)/6). Let t = s - -61. Is t a multiple of 9?
False
Suppose -4*j + 6*j = 28. Suppose 4*r - j = c, -5*c + 4*r - 4 = 2. Is 33 a factor of 132 - (-4 + 8/c)?
True
Let z = 157 + -121. Is 11 a factor of (-484)/6*6*(-9)/z?
True
Let t = 677 - 677. Suppose 7307 = 5*m - f, t = 4*m + 4*f + 2049 - 7909. Is 103 a factor of m?
False
Let t = -19783 + 27954. Does 4 divide t?
False
Let v(d) = d**3 + 94*d**2 + 25*d + 750. Is v(-93) a multiple of 9?
True
Let a(y) = -y**3 + 3*y**2 - 5*y - 25. Let t be a(-4). Suppose -p + 2*d = -2*d - t, 0 = -4*d + 12. Is 7 a factor of p?
True
Is 31 a factor of 252/408 + 2/(-4) + 4492873/629?
False
Let h = 1322 - 725. Let a = h + -300. Does 4 divide a?
False
Let w be 3 - 1086/(-36) - 2/12. Let q = w - 28. Suppose -2*b - 48 = -6*b + q*l, 4*b - 2*l - 60 = 0. Is 16 a factor of b?
False
Let g be (-265)/(-212) + (-646)/(-8). Suppose -48*u = -g*u + 15096. Is 37 a factor of u?
True
Let s = 240 - 237. Suppose 190 = 2*t - s*u - 527, 721 = 2*t + u. Is t a multiple of 18?
True
Let y be 57/399 - 1/7. Suppose 6*h - 3459 - 573 = y. Is 28 a factor of h?
True
Suppose 415*s + k - 12744 = 414*s, 0 = -5*s - k + 63720. Is 27 a factor of s?
True
Let h = 83 - 110. Is 35 a factor of ((-900)/h)/(6/9)?
False
Let m be (-6 + 2)*(-3 - 9/6). Let z be (-3)/(-5)*150/m. Suppose 2*f - 2*y = 32, -3*f + 49 = -z*y - 3. Is f a multiple of 2?
True
Let u = -2625 + 5117. Does 89 divide u?
True
Suppose 376 = 3*h + h. Let s be (-236)/(-2) - (-7 + 9). Suppose 6*c - h = s. Does 35 divide c?
True
Let u = 13 + 362. Does 5 divide u?
True
Let u(k) = k**3 + 2*k**2 - 6*k + 1. Let w be u(-3). Let p(f) = 3*f**2 + 23*f - 91. Is 15 a factor of p(w)?
False
Let u = -95 - -139. Suppose 5*x + u = 624. Is 5 a factor of x?
False
Let w(t) = 22 - 18 - 30*t + 22 + 24. Is 32 a factor of w(-3)?
False
Suppose 228*l = 227*l + 28. Is ((-1312)/l)/((-18)/63) a multiple of 19?
False
Suppose -22 = -8*r + 2. Suppose 0 = 8*p - r*p. Is 1 + (p - 176)/(-2) a multiple of 11?
False
Suppose -51*d = c - 46*d - 994, -5*c + 4942 = -3*d. Is c even?
False
Suppose 1125*f = 1216*f - 400764. Is 9 a factor of f?
False
Let o be 8 - (-2 - -1) - -1107. Suppose -9*v = -3132 - o. Does 4 divide v?
True
Suppose -3*m = 3*m. Suppose 3*q + m*q = 0. Suppose q = 8*g - 6*g - 12. Is 6 a factor of g?
True
Let a(b) = 55*b - 70. Is a(20) a multiple of 103?
True
Let r(x) = x**2 + 12*x + 15. Let h be r(-9). Let s be h/36 - 886/(-3). Suppose 4*t + 234 = 5*w - 252, -s = -3*w - t. Is w a multiple of 17?
False
Suppose 0 = -2*c - 3*i + i, 3*i = -5*c + 10. Suppose -2*m + 10 = c*s, 4*s - 5 = -s - 3*m. Is s a multiple of 3?
False
Let h(u) be the third derivative of 27*u**4/4 - 40*u**3/3 + 27*u**2. Does 73 divide h(5)?
True
Suppose -q + 0*q = 2*q. Suppose q = 6*c + 4*c - 1120. Suppose c = 3*y + y. Is 24 a factor of y?
False
Let f = 84 + -49. Suppose -2*a - 11*d + 14 = -9*d, 4*a - 24 = -2*d. Is 28 a factor of (-1)/((-2)/f*a/12)?
False
Let v be (14 + -15)*-5*21. Does 91 divide 28/v*10*(-2475)/(-10)?
False
Suppose 37*v + 8 = 39*v. Suppose -v*q + 2 = -6. Suppose l - z - 120 = 0, q*l - 138 = 4*z + 104. Is l a multiple of 18?
False
Suppose -50*c + 47*c = -5*z + 6748, 0 = 2*c - 8. Does 26 divide z?
True
Suppose 0 = 2*x - 51 + 19. Let o = 18 - x. Is (-5)/o*378/(-35) a multiple of 9?
True
Let i be (-64)/(3/(-42)*4). Suppose -237*w + 1794 = -i*w. Does 23 divide w?
True
Is (-1*1 - 4) + (1381 - (-20 + 53)) a multiple of 202?
False
Let p(y) = -y**3 - 16*y**2 + 41*y + 42. Suppose -212*u + 205*u - 133 = 0. Is p(u) a multiple of 31?
False
Let m = -38312 + 43640. Does 36 divide m?
True
Suppose 2 = 2*z + 12. Let d be (52/8 - 2)*(-3 - z). Suppose 0 = -d*t + 18 + 99. Does 5 divide t?
False
Suppose 2*f = 3*f - 4*b - 24, -b - 39 = -3*f. Let d(q) = 28*q + 115. Does 43 divide d(f)?
False
Let k = 1910 - -3885. Is 7 a factor of k?
False
Suppose 45*k = 77*k - 240832. Is 20 a factor of k?
False
Let b be (515 + 3)/2 + 3. Let z = b -