. Let u be r(v). Suppose -4*w - w = -j - 167, -4*j = -u*w + 56. Is w a multiple of 4?
False
Suppose h - 329 - 833 = 3*d, -5*h = 2*d - 5895. Let o = h + -467. Does 13 divide o?
False
Let i = 55890 + -29823. Is i a multiple of 23?
False
Let z(v) = 5*v**2 - 28*v + 43. Does 28 divide z(5)?
True
Suppose -3*j + 4*a = 42 - 10, -3*a + 38 = -4*j. Does 13 divide (-24)/32 + (-5518)/j?
True
Let g(w) = 476*w**2 + 2. Let h be 6 + 0 + -11 + 6. Is 12 a factor of g(h)?
False
Suppose -7*x = -9*x + 3*k + 4267, -x = -5*k - 2151. Does 2 divide x?
True
Suppose 130 = -2*v + 28*v. Let u(l) = 125*l + 5. Does 21 divide u(v)?
True
Does 22 divide 1206/12*(-392)/(-6)?
False
Suppose -9*q = -78602 - 84190. Does 56 divide q?
True
Let a(v) = 11*v - 84. Let q be a(15). Suppose 0 = q*z - 75*z - 3186. Is z a multiple of 9?
True
Let y be 8 - 1 - 100/25. Let j be ((3 - 3)/y)/(-2). Suppose -96 = -b - j*b. Is b a multiple of 16?
True
Let t be 10/(-75) + (-4)/((-180)/231). Suppose -t*y = -3*d - 3665, y - 552 = 5*d + 203. Is 73 a factor of y?
True
Let n(f) be the second derivative of 25*f**3/2 - 45*f**2/2 + 44*f - 2. Does 70 divide n(9)?
True
Let l(h) = h**3 - 10*h**2 + 18*h - 9. Let x(o) = 13*o - 183. Let v be x(15). Is 45 a factor of l(v)?
True
Let b(r) = -49*r + 5914. Is b(16) a multiple of 134?
False
Let v(c) = -3*c**2 - 31*c - 8. Let q be v(-21). Let j = q - -1136. Does 22 divide j?
False
Let q(x) = x**3 - 31*x**2 - 65*x - 31. Let v be q(33). Suppose -v*d - 4*u + 500 = -2*u, 488 = 2*d - 4*u. Is d a multiple of 14?
False
Suppose -2*k = -4*k + 944. Suppose -x - 3*s + 248 = -2*s, -4*s = -2*x + k. Suppose 4*z + 4*v = x, -7 = -2*v + 3. Is z a multiple of 14?
True
Suppose -15*u + 161 = 11. Does 7 divide (-1*(-28)/u)/((-4)/(-260))?
True
Suppose 12 = -4*x, 0 = 3*z - 2*z - 2*x - 44. Let f = 38 - z. Suppose g + 412 = 4*g + l, f = -4*l + 16. Does 52 divide g?
False
Let l be 21 + -25 + (-1 - (-9 + 2)). Suppose 0 = -l*c + 4*m + 796, -2*c - c + 1210 = -2*m. Does 7 divide c?
True
Let d = 23326 + -5827. Is 19 a factor of d?
True
Let u(l) = l**2 - 27*l + 49. Suppose 4*h - 167 = -55. Does 7 divide u(h)?
True
Does 89 divide ((-124)/16)/((22/(-4) + 5)/712)?
True
Let w = -1244 + 1229. Let h(m) be the second derivative of m**5/20 + 5*m**4/4 - 7*m**3/6 - 3*m**2/2 - 2*m. Is h(w) a multiple of 20?
False
Let p be ((8/6)/(-2))/((-10)/27855). Let x = p + -1243. Is x a multiple of 25?
False
Let m be 0 + 44 - (-14)/(-7). Is 9 a factor of m + (1/(-2) - 70/28)?
False
Let g = -274 + 143. Let t = 159 + g. Is t a multiple of 8?
False
Let p(d) = -3*d + 6 + 8*d**2 + 0*d + 9*d. Let k be 50/(-16) + (5 - (-195)/(-40)). Is p(k) a multiple of 10?
True
Let f = -3992 - -4634. Is 36 a factor of f?
False
Let b(x) = 407*x + 30. Let t be b(-8). Let c = -1906 - t. Is 12 a factor of (c/50)/((-1)/(-5))?
True
Suppose 4*b + 5*w = 15, -3*b - w + 6 + 19 = 0. Let s = 12 - b. Suppose -s*j = -36 - 12. Is 24 a factor of j?
True
Let o = -295 + 415. Let n = o + -82. Is n a multiple of 9?
False
Let z(m) = m**3 + 2*m**2 - 6*m + 14. Let n be z(4). Suppose -88*v + n*v = -144. Is v a multiple of 9?
True
Suppose m - 6*m = 0. Suppose -5*j - 3*s = -609, 15*j - 11*j + s = 483. Suppose m = d + 20 - j. Is d a multiple of 20?
True
Let f(i) = 1. Let u(v) = -2*v**2 - 5*v + 12. Let c(y) = -5*f(y) - u(y). Let s be c(-7). Let p = -13 + s. Is 4 a factor of p?
False
Let x(i) = -2*i**3 - 9*i**2 - 10*i + 10. Let j be x(-10). Suppose 8*k + 11 - 43 = 0. Suppose k*w + 7*w = j. Is w a multiple of 6?
False
Let l(u) = u**2 + 44*u + 687. Is l(-53) a multiple of 11?
False
Suppose 3*w - 3 + 5 = x, x = 5*w - 4. Suppose -x*r = -6*r - 490. Is 30 a factor of r?
False
Does 7 divide 1008*(6 + (-36)/(-5 - -14))?
True
Suppose 67*r - 96*r + 431230 = 0. Does 33 divide r?
False
Suppose -4*x + 102 = -3*a, -5*a - 95 - 64 = -3*x. Is 41 a factor of 2*3/(-6)*11070/a?
True
Suppose -12*p - 3006 = -222. Let g = 1015 + p. Is g a multiple of 51?
False
Let x be (16/32)/(2/200). Suppose 13*y - x = 3*y. Is 25/(y/(-2) - -3) a multiple of 5?
True
Suppose 0 = -59161*i + 59189*i - 2352. Is i even?
True
Let p(k) = -k**3 + 76*k**2 - 354*k + 182. Does 34 divide p(40)?
True
Let j(l) = -l**2 - 12*l - 20. Let t be j(-7). Is 5 a factor of 54*(-6)/(48/t + -4)?
True
Suppose -4*g = 2*q - 59785 - 83859, -8 = -4*q. Is 105 a factor of g?
True
Let n be 9 - (4 + (-3)/(5 + -8)). Suppose -4*x + n = 0, -3*x + 565 = s - 2*x. Is s a multiple of 27?
False
Suppose 0 = -4*c - 8 + 132. Let z = 17 - c. Let n = z - -31. Is n a multiple of 10?
False
Let m = -930 + 3166. Is 86 a factor of m?
True
Let a(n) = 4*n + 11. Let x(v) = v**3 + 20*v**2 - 2*v - 30. Let p be x(-20). Let h be a(p). Let l = -39 + h. Is l even?
True
Suppose 57957 + 71319 = 7*s. Is s a multiple of 114?
True
Does 17 divide ((-662)/3)/(46/(-1173))?
True
Suppose -3*i - 196 = 2*o, 314 = -0*i - 5*i + 3*o. Let p = 68 + i. Suppose 392 + 228 = 4*v - p*b, v = -4*b + 130. Is v a multiple of 30?
True
Let j be (-4)/(-4) - (-2 - 433). Let w = j - 302. Let f = -34 + w. Does 10 divide f?
True
Let h be -42 + 147 + (-7)/(-1). Suppose 6*n - h = -10*n. Does 2 divide n?
False
Let h(t) = t**2 - 5*t + 11. Let m(v) = -v - 5. Let l be m(-8). Let x be (1 - 9)/2*(l - 1). Is h(x) a multiple of 42?
False
Suppose -8*s = 2199 - 13607. Suppose 2*k + s = 4*r - 330, -r + 434 = -3*k. Is 40 a factor of r?
True
Suppose 2*u + 100 = 6*u. Suppose 23*d - u*d + 80 = 0. Suppose 44*g - d*g - 176 = 0. Is 11 a factor of g?
True
Let j be 21/(-42)*(-48 + 2 + -4). Suppose j*x = 5*x + 1200. Is 5 a factor of x?
True
Suppose 7*g + 5505 = 9*g + 3*p, 5*g + 2*p - 13779 = 0. Does 9 divide g?
False
Let c = 93 - 91. Suppose -13*b + 5*b + 24 = 0. Suppose c*s - s = b, -2*n - 2*s = -36. Does 5 divide n?
True
Let q = 21150 - 11092. Does 173 divide q?
False
Let a(i) = 3*i**2 - 23*i + 152. Is a(-44) a multiple of 19?
False
Let n be (-100)/(-15) - (-4)/(-6). Let g be 2/((n/(-8))/(456/(-64))). Suppose -g - 227 = -2*x. Is 33 a factor of x?
False
Let q be 2 + -2 - (29 - 34). Suppose -3*a + q*a + 1390 = 5*n, -4*n = 4*a - 1140. Does 20 divide n?
True
Let v be 7/(-3) - 1/(-3). Does 38 divide (-508 + 24/(-4))/(v*1)?
False
Let u = -3594 + 4064. Is u a multiple of 19?
False
Let i(g) = -16 - 14*g - 12*g + 8*g. Let k = -71 + 68. Does 7 divide i(k)?
False
Let u(d) be the first derivative of d**2/2 - 4*d + 7. Suppose 5*w - 50 = -3*a, -60 = -4*a - 5*w - 0*w. Is u(a) a multiple of 2?
True
Let m(q) = -q**3 + 9*q**2 + 11*q - 3. Suppose 3*v - 4*v = -5. Does 8 divide m(v)?
True
Let t = 972 - 1422. Is 41 a factor of 4/(-30) - 146760/t?
False
Let d = 43 + -23. Suppose -5*y + 4*j = -9*y + d, 17 = y + 5*j. Suppose -3*t = 4*q - 103, 2*t + y*q - 37 = t. Does 3 divide t?
False
Let b = 191 - 308. Let a = b - -82. Let c = -5 - a. Does 8 divide c?
False
Let a(o) = o**3 + 5*o**2 - 17*o - 9. Let r be a(-7). Let y(s) = -s**2 + 14*s - 35. Let m be y(r). Let c(f) = 3*f**2 + 23*f - 12. Is c(m) a multiple of 11?
False
Let y(m) = -m**3 + 2*m**2 + 2*m + 4. Let t be y(3). Let f = 0 - t. Is 3 a factor of 1/(4*f/(-60))?
True
Let u(w) = w**2 - 4*w. Let r be u(4). Suppose r = 5*b - 3*b - 396. Suppose -v - 5*v + b = 0. Is 8 a factor of v?
False
Is 6 a factor of 1 + -2*1 + ((-93240)/(-28) - 23)?
True
Let h be (12/(-4) + -1)*1916/(-4). Let a = h + -1036. Suppose -4*d + a = -0*d. Is d a multiple of 22?
True
Let z(t) = 13*t - 36. Let m be z(-25). Let v = m + 570. Is 11 a factor of v?
True
Let n(k) = 35*k - 68. Suppose 3*b - 3*j = 33, 0 = -b - 2*b - 5*j + 25. Is n(b) a multiple of 47?
True
Suppose 877806 = 228*z - 113918 - 637108. Is 56 a factor of z?
False
Let r(h) = 37*h + 8. Let n(u) = 6*u - 15. Let z(v) = 3*v - 7. Let p(d) = -4*n(d) + 9*z(d). Let s be p(2). Is r(s) a multiple of 17?
True
Suppose 4*t - 3*h = 13285 + 7987, 0 = 3*t + 2*h - 15971. Is 17 a factor of t?
True
Let j(z) = z**3 + 6*z**2 + 3*z + 15. Let y be j(-6). Let k be y - 2 - (-6)/2. Is 1/k + (-21)/(-6) a multiple of 2?
False
Let z = -30 - -20. Let a be ((-212)/(-10))/((-2)/z). Let t = 27 + a. Is 19 a factor of t?
True
Suppose 0 = -t + 4*i, -t = t - 5*i - 3. Let k = -686 + 658. Is t/(k/(-121)) - (-2)/(-7) a multiple of 17?
True
Suppose -6 = -2*l, -9*l = 4*z - 4*l - 15. Suppose 87*m - 89*m + 1440 = z. Is m a multiple of 18?
True
Suppose -4*x - 12 + 4 = 0, 0 = -2*h + 4*x - 1012. Let f = 1273 + h. I