 56). Suppose -87*z - a = -101*z. Does 11 divide z?
False
Suppose -2*l - 2*a + 39113 = -4741, 3*a - 6 = 0. Is 25 a factor of l?
True
Let c(y) = 20*y**3 + 32*y**2 + 33*y - 66. Let m be c(-25). Is 11 a factor of m/(-210) + (-3)/30?
True
Suppose 251 = 3*p - 6*p - 2*y, -323 = 4*p + 5*y. Let s = p - -143. Suppose 5*x + s = 7*x. Is 14 a factor of x?
True
Suppose 12*c - 2*c - 34780 = 0. Is 72 a factor of c?
False
Is 23 a factor of 7430/14 + ((-9672)/(-182))/(-31)?
True
Suppose -344 + 112 = -8*x. Suppose 2371 = -x*h + 7707. Is 92 a factor of h?
True
Suppose 3*x = 2*m - 131, 2*x + 0*x + 88 = 2*m. Let k = x + -49. Let h = -30 - k. Is h a multiple of 25?
False
Let s(x) = -x**3 - 9*x**2 - 15*x - 8. Let u be s(-7). Let o(k) = -314*k**3 - 2*k**2 - 2*k - 1. Does 6 divide o(u)?
False
Suppose -514 = 2*a - 66. Is 8 a factor of (a/(-49))/(3/84)?
True
Let n = 10 + 15. Let m = n - 20. Suppose -5*a = -m*y - 70, -4*a + 30 = -3*y - 22. Is 2 a factor of a?
True
Suppose 5*o - 3*u = 2859, -o - 3996 = -8*o + 2*u. Is 19 a factor of o?
True
Let m = 5350 - 4525. Is m a multiple of 15?
True
Let r = 43698 - 40800. Is r a multiple of 14?
True
Suppose 0 = -8*y + 2903 - 471. Let q be 57/(-21) - -3 - 183/(-21). Suppose -q*u = -191 - y. Is u a multiple of 17?
False
Let p(r) = -7*r - 132*r**2 + 13*r + 133*r**2 - 39 + 9*r. Let m be p(-17). Does 7 divide (-118)/4*m + (-15)/(-30)?
False
Let o = 15 - -86. Let x = -28970 - -29115. Let b = x - o. Does 4 divide b?
True
Let m(r) = 18*r - 19. Let v be m(2). Let a be v/3 - 6/9. Suppose a*k - 727 = 148. Is 25 a factor of k?
True
Let g(f) = 86*f + 66. Is g(7) a multiple of 18?
False
Suppose -2*i + 19984 = 4*x, -3*i + 17*x = 16*x - 29983. Is 19 a factor of i?
True
Let o be 252 - (-28)/(-2 + -5). Is 14 a factor of o/(-62) - 1*-1348?
True
Let u be 3058/5 - 28/(-70). Suppose 4*f = 108 + u. Is f a multiple of 2?
True
Let y(o) = 82*o - 1632. Is 9 a factor of y(21)?
True
Let j(m) = m**3 - 12*m**2 + 2. Let x be j(12). Suppose 4*w = -4*y - 36, 5*w = -x*y - 0*w - 33. Let a(z) = -52*z - 3. Does 41 divide a(y)?
True
Let f = 7164 + 1433. Is 21 a factor of f?
False
Suppose 17*h - 10626 = 6*h. Let z = 1104 - h. Does 3 divide z?
True
Let b be (-1 + 2/(-4)*-6)*2. Suppose 0 = b*o - 2*o - 48. Suppose -2*l + 66 = 3*l - 2*m, 0 = l + 5*m - o. Does 6 divide l?
False
Suppose -2*d + 46 = 2*n, 5*d - 3*d + 87 = 5*n. Suppose 0*i + n*i - 21033 = 0. Does 27 divide i?
True
Suppose -163170 = 36*a - 85*a. Does 74 divide a?
True
Suppose p - 273 = 5*q + 185, 2*q + 940 = 2*p. Does 3 divide p?
False
Suppose 3*z + 2*b - 17 = 0, -16 = 11*z - 15*z + 4*b. Let p be (z/(-5))/(-4) + 682/(-8). Does 39 divide 2263/15 + -1 + p/(-75)?
False
Let l(z) = z**3 + 7*z**2 - 7*z - 5. Let n be l(-7). Let q = n - -138. Is q a multiple of 26?
True
Let h = 3725 + -2093. Does 12 divide h?
True
Let j be (-96)/(-2)*6/12. Suppose 2*b = 4*y + 6*b - j, -36 = -5*y - 2*b. Suppose y*i - 60 = 4*i. Is 9 a factor of i?
False
Let d(a) = -4*a**2 + 10*a + 6. Let r(p) = -p**2 + p. Let l(w) = d(w) - 6*r(w). Suppose -3*i = 4*v - 36, i - 30 + 7 = -5*v. Is 23 a factor of l(i)?
False
Suppose p = -3*p + 3*u + 3163, p + 5*u = 762. Let y = p - 715. Is y a multiple of 18?
True
Suppose -42*b + 980460 = b - 7*b. Is 18 a factor of b?
False
Is 68 a factor of (-169712)/12*((-36)/28)/(80/140)?
False
Suppose -18*r + 13*r = -25. Suppose -z - 3*o + 58 = -52, 0 = 4*z + r*o - 454. Let t = z - 78. Does 7 divide t?
False
Let y(d) = -351*d**3 + 5*d**2 + 115*d + 438. Is 20 a factor of y(-4)?
False
Let f = -242 + 246. Suppose 5*b - 692 = -f*t + 3*b, -2*t = -5*b - 370. Is 33 a factor of t?
False
Let v be 14/(-12)*76 - (-1)/(-3). Let i = v - -113. Suppose -i = -2*k + 128. Is k a multiple of 21?
False
Suppose 2*i + 3*p = 102447, 0 = 202*i - 198*i + 2*p - 204922. Is 38 a factor of i?
False
Suppose -2*r + 32 = 2. Let x be 17/((r/(-20))/3). Let n = x - -74. Is n a multiple of 6?
True
Suppose 0 = -9*n + 187 - 124. Let m(v) = 41*v - 129. Does 30 divide m(n)?
False
Let l = 19 + 46. Let t(z) = 118*z + l*z - 30*z. Is t(1) a multiple of 17?
True
Let o(m) = 90*m + 6. Suppose 5*a = -11 + 36. Let y be o(a). Is 10 a factor of y/9 + (-18)/27?
True
Let t = -372 - -276. Let y = 141 + t. Is 3 a factor of y?
True
Let f(b) be the first derivative of -13*b + 3*b + 13*b**2 + 1 - 7 - 15*b**2. Is f(-4) a multiple of 6?
True
Is 22 a factor of 16/16*(-5962)/(-2)?
False
Let o(d) = 10*d**2 + 12*d + 389. Is 82 a factor of o(-16)?
False
Let p = 790 + 2432. Does 63 divide p?
False
Suppose 3*t = -2*j - 38, -t = -0*t - 5*j + 7. Let l(h) = 2*h + 4 + h - 6*h + 4. Does 6 divide l(t)?
False
Let p be 4 - 805/15*-1*24. Suppose p + 403 = z. Is 15 a factor of z?
True
Let a = 454 - 470. Let n(z) = -2*z + 122. Is n(a) a multiple of 2?
True
Suppose -20257 = -5*r + 17383. Does 100 divide r?
False
Suppose 0 = -p + 4*s + 8854, -937 + 9791 = p + s. Does 4 divide p?
False
Let x(o) = -15*o**2 + 2*o - 2. Let h be x(1). Is (-1482)/h + 66/55 a multiple of 10?
True
Let q(k) = k**3 + 46*k**2 - 33*k - 112. Does 38 divide q(-46)?
True
Is ((-115)/2)/((-44)/4400) a multiple of 41?
False
Let r = -3160 - -3238. Is r a multiple of 6?
True
Suppose -6*b - 4*z = -56324, -3*z = 4*b - 36300 - 1250. Does 13 divide b?
True
Let t(m) = -m**3 + 24*m**2 - 52*m + 61. Let q be t(19). Let y = q - 398. Is y a multiple of 35?
False
Suppose 3*c + 597 = w, -4*w + 14*c + 2418 = 17*c. Does 7 divide w?
False
Let q(j) = 3*j + 588 - 30*j**3 - 5*j + 31*j**3. Let v be q(0). Suppose -6*g - v = -13*g. Does 21 divide g?
True
Let i(t) = 5*t**2 - 28*t - 8. Suppose 17 = -5*g + 47. Let u be i(g). Suppose 0 = -u*f - 3*v + 427, -f + 24 = -4*v - 59. Is f a multiple of 12?
False
Suppose 17*o - 14*o + 189 = 765. Does 16 divide o?
True
Let o = -407 + 402. Does 9 divide 12/(-2) + 1 - (-388 - o)?
True
Let x = 18736 - 10915. Is 79 a factor of x?
True
Let k(v) = 7*v + 3. Let a be k(30). Let i = 1697 - a. Does 44 divide i?
False
Let w be (4/(-14))/(48/(-21) + 2). Is 13 a factor of (1 + w)*1*(-10 - -36)?
True
Let j = 41 + -37. Suppose -3 = j*p - 5*p. Suppose 6 = 2*d, -5*w - 2*d = p*d - 380. Does 13 divide w?
False
Let k = 137 + -137. Suppose k = 17*f - 8*f - 5580. Is f a multiple of 62?
True
Let c be ((-4)/4)/((-3)/6). Suppose 3*s + c*w = 3712, 20*s + 5*w = 16*s + 4940. Is 62 a factor of s?
True
Suppose 0 = 2*p + 4*k - 3362, 4*k = 2*p - 2901 - 493. Is 3 a factor of p?
True
Suppose 2*c - 2*a - 2 = -0*c, -2*c - 4*a - 4 = 0. Suppose c = -189*g + 182*g + 175. Does 21 divide g?
False
Does 354 divide ((-5 - -15409)*(-7)/(-56))/((-12)/(-312))?
False
Let n = -39 - -29. Let o = n + 326. Is o a multiple of 27?
False
Suppose 67*b + 1037590 = 105*b. Is b a multiple of 17?
False
Let s(j) be the third derivative of 4*j**4 - 185*j**3/3 - 118*j**2. Is 34 a factor of s(18)?
False
Suppose c - 2*c + 6 = 0. Let n be c/(-16)*2*-16. Does 2 divide -10*5/((-100)/n)?
True
Let o(d) = 4*d**2 + 10*d + 5. Let b be o(-5). Let m = 58 - b. Suppose j = m + 132. Does 27 divide j?
True
Suppose 5975873 = 145*q + 1857401 - 913318. Is q a multiple of 23?
False
Suppose -5*d + 35 = -5*c, 6*d - 4*d = c + 8. Let l be (-10 + 17)*c/(-7). Suppose -l*q = 4*q - 720. Is q a multiple of 12?
True
Let z(m) = -m**3 - m**2. Let f(s) = -10*s**3 - 3*s - 3. Let h(d) = f(d) - 2*z(d). Is 48 a factor of h(-3)?
True
Let t(y) = 12*y + 276. Is 47 a factor of t(-14)?
False
Suppose -5*f = 4*t - 203946, 29853 = 2*f - 3*t - 51730. Is 71 a factor of f?
False
Let r(w) = w**3 + 17*w**2 + 7. Let o be r(-17). Let a(h) = -h**3 - 18*h**2 - 15*h + 10. Let k be a(-17). Let z = o - k. Is z a multiple of 23?
False
Let n = 35 + -26. Let o be 32/(-144) + 29/n. Is 5 a factor of (11/o - 3)*36?
False
Let n = 0 + 5. Suppose -n*u + 1708 = -u. Is u a multiple of 41?
False
Suppose 238 = 229*k - 212*k. Does 3 divide ((-21)/k)/((-9)/30)?
False
Let u(q) = -q**2 - 11*q + 19. Let z be u(-12). Suppose 0 = -3*a - p - 2, 3*a = -2*a + 2*p - z. Is (13/a)/((-27)/351) a multiple of 13?
True
Let j(h) = -18*h - 246. Let k be j(-14). Suppose k = 3*i, 25*i = 3*b + 21*i - 1288. Is b a multiple of 6?
True
Let s be (-8)/4 + 5 - 2. Let j(g) = 250*g**3 + g**2 - 1. Is 10 a factor of j(s)?
True
Let i(t) = 194*t + 298. Is i(6) a multiple of 43?
True
Suppose 406*k - 411*k - 80 = 0. Let g(o) = -8*o - 24. Does 26 divide g(k)?
True
Let y = -176 + 228. Sup