*2 + 6*z - 8. Let m be y(4). Suppose m = -l + 103 - 98. Suppose 0 = l*w - 6*w + 64. Is 8 a factor of w?
True
Suppose 0 = 31*m - 27681 - 51679. Is 40 a factor of m?
True
Let n = -2570 - -7683. Does 27 divide n?
False
Suppose -4*y - 3*h + 19278 = 0, -5*y - 4*h = -2697 - 21402. Is y a multiple of 45?
True
Let t(f) = -f**3 + 17*f**2 + 2*f - 29. Let y be t(17). Suppose 2*p - y*l - 841 = -2*p, -4*p - l = -811. Is 5 a factor of p?
False
Suppose -g + 84199 = 5*a - 329, 5*g = -3*a + 50708. Is a a multiple of 158?
True
Let y(l) = 184*l**2 - 70*l + 521. Does 96 divide y(6)?
False
Let q = 752 + -749. Suppose 0 = -4*y + q*d + 4038, -3*y - 6*d + 3014 = -d. Is 24 a factor of y?
True
Let o be ((-153)/(-2))/(-4 + (-36)/(-8)). Suppose -n = -o + 9. Let w = n + 96. Is 47 a factor of w?
False
Let y = 11406 + -1770. Is y a multiple of 66?
True
Is 30 a factor of 1460/12410 - 587569/(-17)?
False
Let j(p) = -2*p + 33. Let k be j(15). Suppose -2*a = c + k*a - 210, -c + 2*a + 231 = 0. Is 21 a factor of c?
False
Let i be (-2)/(-6) - (-234)/27. Suppose m = 5*g - i, 0 = 2*g - 2*m - 1 - 1. Suppose g*w = 6 + 10. Is 8 a factor of w?
True
Let n(c) = c**3 + 11*c**2 + 7*c + 24. Suppose -2*m = 10, 0*a + a = m - 4. Does 6 divide n(a)?
False
Suppose -18*i + 250797 = 77853. Does 40 divide i?
False
Suppose -3*h - m + 423 + 1177 = 0, 4*h - 4*m - 2144 = 0. Does 6 divide h?
True
Suppose 4*k = 10736 + 736. Suppose 5*j - 5*x = -8*x + 61, 0 = 3*j + 4*x - 30. Does 34 divide k/j - (-4 + 81/21)?
False
Suppose 0 = 6*c - 20 + 2. Let l(n) = n**c + 15 + 12*n + 48*n**2 - 22*n**2 - 19*n**2. Does 15 divide l(-4)?
True
Let t(c) be the third derivative of 7*c**5/60 - c**4/6 + 5*c**3/6 - 3*c**2. Let x be t(2). Let u = x - 18. Does 6 divide u?
False
Let b be -1625*(3 + (-65)/25). Let d be 19/(-38) - b/4. Suppose 8*l = -l + d. Is 9 a factor of l?
True
Let n(i) = i**3 + 9*i**2 - 13*i - 28. Let w be n(-10). Suppose w*a = 6, 30 = 5*t + a - 33. Suppose -4*o - 2*h = -1148, o - 2*h + t = 304. Is o a multiple of 18?
True
Is 72 a factor of 1 + 8050/8 + 81/108?
True
Suppose -20 = 3*a - 32. Suppose a*x - 9*o - 349 = -14*o, 452 = 5*x + o. Is x a multiple of 7?
True
Let q(y) = y**2 + 18*y + 4. Let r = 50 + -27. Let u = 4 - r. Does 9 divide q(u)?
False
Suppose -7*s - 5*s - 3164 = -2*r, 12 = -3*s. Is r a multiple of 82?
True
Let t be (8947/(-46))/(1/(-2)). Let f = t + 1. Suppose 9*j - f = 4*j. Is 17 a factor of j?
False
Suppose 26*d + 755 - 35198 - 22081 = 0. Does 7 divide d?
False
Let x be -5*8/(-20) + (0 - -3). Let s = 134 + -94. Is 4 a factor of (3 - 13/x) + 1904/s?
True
Suppose 19*m - 90641 = 55109 + 90078. Does 77 divide m?
False
Suppose 12*h + 129 + 123 = 0. Let s(c) = c**2 + 12*c + 38. Does 13 divide s(h)?
False
Suppose -5*u + 6 = 16. Let q be (5/(-5))/(u + 18/10). Is 11 a factor of 46 - (q/15 + (-5)/(-3))?
True
Suppose 7257*x - 7193*x = 2608320. Is x a multiple of 95?
True
Let q be 2 - (-1540)/(84/6). Let z(w) = w**2 - w + 58. Let p be z(0). Let r = q - p. Is 7 a factor of r?
False
Let b be 1/1*(0 - -2). Suppose -3*h = 4*u + 1205, -b*h - 831 = 4*u + 371. Let y = u + 429. Does 26 divide y?
True
Let k be (20/(-1))/(-2)*(1 - -1). Suppose -k = -d - 0. Does 9 divide (414/15 - 0)/(6/d)?
False
Let h = -21710 + 71578. Is 91 a factor of h?
True
Suppose 2*k = -3*k - 335. Let b = 69 + k. Suppose 3*m + 5*u - 143 = 0, -u + 285 = 5*m - b*u. Does 7 divide m?
True
Suppose -7*o + 83 + 155 = 0. Suppose -6*u = -3422 - o. Is u a multiple of 72?
True
Let p = -14 + 19. Suppose 2*b - 152 = -2*a - b, 422 = p*a - 3*b. Is 8 a factor of a?
False
Suppose 47 - 149 = -34*x. Suppose -2*v - 5*t = x*v - 2070, 4*t = 0. Does 46 divide v?
True
Let l(y) = 10*y**2 - 9. Let h(m) = -2*m**2 - m - 1. Let p(n) = 2*h(n) + l(n). Is p(8) a multiple of 7?
True
Is 2/(-15)*(-657)/73*2315 a multiple of 3?
True
Suppose i + 16*g - 27976 = 20*g, -2*i + 55978 = 5*g. Does 132 divide i?
True
Let g(r) = -3*r**3 + 12*r**2 - 54*r - 269. Does 8 divide g(-10)?
False
Suppose -3*i - 119*h + 124*h + 1999 = 0, 0 = -2*i - h + 1324. Is 17 a factor of i?
True
Suppose 3*q - 12 = 7*q, -21 = -t + 5*q. Suppose -4 = -t*u + 4*u. Suppose -x + 5*d + 59 = 0, 5*x + 2*d - 177 = u*x. Is 7 a factor of x?
False
Let a = 11210 + -2939. Does 59 divide a?
False
Suppose -4*z = -7*z + 210. Suppose 0 = q - 3*w - z, 3*q + w - 306 = -q. Is q a multiple of 7?
False
Let i(w) = 200*w**2 - 7*w - 45. Let n be i(-4). Let x = -1917 + n. Is 87 a factor of x?
False
Suppose 2135 + 1197 = 17*v. Let q = 283 - v. Suppose 0 = 3*z - 4*l + q - 409, l - 552 = -5*z. Is z a multiple of 28?
False
Is 140 a factor of -5*2877*1208/(-453)?
True
Let v(x) = -2408*x + 336. Is 68 a factor of v(-5)?
True
Let o(c) = -c**2 - c + 24. Let n = -28 + 22. Let d be o(n). Does 15 divide -3 + 150 + (-3)/d*-4?
False
Suppose 94 = 2*o - 3*x, 0 = 2*o + 3*x - 67 - 51. Suppose 0 = -9*q - o - 55. Let d(r) = -4*r - 21. Does 4 divide d(q)?
False
Let c be 9/15 - (-2)/5. Let o = 175 + -171. Suppose o*s - 313 = -c. Is 26 a factor of s?
True
Does 105 divide (1470/7)/((1 - -1)/(592/12))?
False
Let r(x) = 1529*x**2 + x - 4. Is 12 a factor of r(-1)?
True
Does 71 divide 4/(4/5493) + -4 + 12?
False
Suppose 284 = -5*t + 1789. Let x = t - -266. Suppose 11*w = -105 + x. Is 21 a factor of w?
True
Let x(f) = 3*f**2 - 23*f - 5. Let g(y) = y. Let t(h) = 5*g(h) - x(h). Is 8 a factor of t(8)?
False
Let r(c) = -6*c - 5*c**2 + 11 - 5*c + 579*c**3 + 4*c**2. Does 17 divide r(1)?
True
Let x = 124 + -123. Let z(l) = 3*l**3 + l - 1. Let h be z(x). Suppose -4*i = -q - 12 - 49, -h*q - 78 = -5*i. Does 5 divide i?
True
Let a = 38 - 34. Suppose 0 = 4*s - a - 32. Suppose -2067 - 633 = -s*q. Does 43 divide q?
False
Suppose 2*c - 3366 = -936. Is c a multiple of 45?
True
Suppose 8*d - 2*t = 4*d + 26, -t = 4*d - 17. Suppose -11*r + 7*r - 3*n = -1009, -d*r + 3*n + 1241 = 0. Is r a multiple of 10?
True
Suppose -23707 = -5*v + 71*u - 67*u, -5*v - 5*u = -23680. Is v a multiple of 8?
False
Suppose 0 = -5*d - 5, -246 = -5*y - 3*d - d. Suppose 0 = -4*g + b + 158, y = -g + 2*g + 5*b. Let j = -19 + g. Is j a multiple of 7?
True
Let o = -2444 + 4754. Does 6 divide o?
True
Let w(c) = c**3 + 12*c**2 + 5*c - 11. Let l = 19 - 19. Suppose l = 5*o - 5, -2*k + 2*o - 12 = 0. Is 29 a factor of w(k)?
False
Let t(g) = g**2 - 13*g - 1. Let h be t(13). Let x be (3 - -1 - -28) + 4. Is (17/4)/(x/32 + h) a multiple of 17?
True
Let y = 7174 - 3609. Is y a multiple of 23?
True
Let x(w) = 32*w + 6. Let s be x(1). Suppose -s*v + 5*v + 1386 = 0. Is v a multiple of 14?
True
Suppose -79370 + 11770 = -13*g. Is 40 a factor of g?
True
Let v = 393 - 136. Suppose -4*m + w - 1133 = 0, 5*m + 1161 = 3*w - v. Let x = m - -474. Is x a multiple of 37?
False
Suppose 0*x = -x - 2*d - 4, d = x - 5. Suppose -x + 14 = 4*y. Suppose -3*m - 2*m + j + 163 = 0, y*j + 9 = 0. Is m a multiple of 8?
True
Let s(y) = 2*y**2 + 13*y + 6. Let t be (-1)/2*6 + (-12)/4. Let j be s(t). Suppose 7*g - 210 = -j*g. Is g a multiple of 10?
True
Suppose -10*y + 57 = -23. Suppose 0*u - y*u + 1792 = 0. Does 7 divide u?
True
Let w = 52133 - 31577. Is 61 a factor of w?
False
Suppose j - 20 = -5*u, -u - 4*u + 20 = -3*j. Suppose -u*d + 2586 + 376 = 5*v, -3*v + d = -1784. Is v a multiple of 27?
True
Does 54 divide (-18)/(2346/783 - 3)?
True
Let l(x) = x**3 + 7*x**2 - 3*x + 3. Let r be l(-7). Suppose r = -0*p + 4*p - h, -1 = -p - h. Suppose 466 = p*y - 344. Does 18 divide y?
True
Suppose 0 = 9*r + 7 - 43. Suppose 2*w = r, -74 + 512 = 5*f - w. Is 44 a factor of f?
True
Does 5 divide 172/6*((-1161)/54 + 26)?
False
Let b(v) = v**3 - 2*v**2 - 8*v + 22. Let j be b(2). Suppose 0 = 5*m - 5*d - 860, m + 876 = j*m + 3*d. Is m a multiple of 29?
True
Suppose 2*z = -2*g + z + 12, 0 = g + 2*z - 3. Suppose 3 - 38 = -g*w. Suppose -w*l + 232 = -73. Is 19 a factor of l?
False
Let l(m) = -11*m**3 - 2*m**2 + m + 2. Suppose 9*a + 2*a = 99. Suppose a*c = 15*c + 12. Is l(c) a multiple of 20?
True
Let f = 16941 - 16674. Is f a multiple of 10?
False
Suppose 34*j = 38*j - 448. Suppose 5*u + 3 = 3*i - j, -2 = u. Does 5 divide i?
True
Let w(x) be the first derivative of x**4/4 + 16*x**3/3 - 21*x**2/2 + 45*x + 135. Let f be 34/((-2)/(2 + -1)). Does 17 divide w(f)?
False
Let u be (44/(-6) + 10)*(25 - 1). Suppose 2*l - 946 = -4*r, 3*l = -4*r + u + 877. Is 20 a factor of r?
False
Let a(