(-7820)). Suppose 20232 = 15*y + g. Does 9 divide y?
False
Let b be (0 - (5 + -5))/(2/(-2)). Let k(u) = 2*u**2 + 5. Let o be k(b). Does 14 divide (-1016)/(-12) + o/15?
False
Suppose 21*z - 50400 = -4*z. Suppose 2*d = -4*x + 1008, 3*x = -24*d + 28*d - z. Is 21 a factor of d?
True
Suppose 57*l + 649 = 68*l. Suppose -57*s = -l*s + 54. Does 3 divide s?
True
Let i(l) = -l**3 + l**2 + l + 79. Let r be i(0). Let u = -61 + r. Let p = u - -21. Is 8 a factor of p?
False
Let l be (-14)/(-6) + (-9)/27. Suppose 4*x + 3*r + l*r - 24 = 0, 18 = 3*x + 5*r. Let u = x - -48. Does 9 divide u?
True
Suppose -424 = -4*g + s, s = 4*s. Let o be 80/36 + -2 - g/(-9). Suppose -328 = -2*q - 2*q + 2*k, 3*k + o = 0. Does 6 divide q?
False
Suppose 0 = -31*t - 3*t + 25636. Let r = t - 481. Is r a multiple of 61?
False
Let z(u) = 73. Let d(m) = -m + 36. Let q be (14 + 1)*(-5)/(-22 - -7). Let w(j) = q*d(j) - 2*z(j). Does 12 divide w(-10)?
True
Suppose 0 = -47*a + 45*a - 3*z + 5066, -4*z + 16 = 0. Is 118 a factor of a?
False
Let c(f) = -89*f**3 + f**2 + 5*f + 5. Let b = -551 + 549. Is c(b) a multiple of 9?
True
Let s = 16075 - 8759. Does 59 divide s?
True
Let h(z) = -95*z + 663. Let y be h(7). Let o(a) be the third derivative of -33*a**4/8 - a**3/3 - a**2. Is 14 a factor of o(y)?
True
Let c = -951 - -1734. Is 10 a factor of c?
False
Does 9 divide -3 - ((-840)/75)/(0 + 2/330)?
True
Let y be ((-208)/10)/(2/(-5)). Suppose 0 = -2*o - 4*d + y, -o + 9 = 4*d - 23. Is o a multiple of 16?
False
Suppose -2140 + 475 = -5*x. Let r(y) = y**2 + 32*y - 65. Let m be r(2). Suppose -5*j = -3*w - x, 272 = 7*j - m*j - w. Is j a multiple of 15?
False
Let l(b) = -7*b**3 - 2. Let y be l(-1). Suppose 12*q = y*q + 4445. Is 15 a factor of q?
False
Let d = -117 + 121. Suppose -l + 1135 = -3*s, l + d*s = 3*l - 2260. Suppose -9*u = u - l. Is 8 a factor of u?
True
Suppose 0 = -4*i - 515 + 2875. Let t = i + -345. Is t a multiple of 2?
False
Suppose 3*j = -2 + 5. Suppose -2*b = 4, -2*x + 3*b + j + 13 = 0. Suppose -x*h = -61 - 183. Is h a multiple of 6?
False
Let x = 522 + -1006. Let o = x + 970. Is o a multiple of 54?
True
Let o(j) = -3*j**3 - 5*j**2 - j - 7. Let n be o(-5). Suppose -v + 309 = 5*f, n = 9*f - 5*f + v. Let k = f + 28. Is 34 a factor of k?
False
Suppose 2*s + 56007 = 4*s - 3*g, -140000 = -5*s + 5*g. Does 11 divide s?
False
Let w(t) = 91*t**3 - 20*t**2 + 96*t - 78. Is 32 a factor of w(4)?
False
Let i(n) = -14*n**3 - 3*n**2 - 44*n - 253. Is 10 a factor of i(-7)?
True
Let y be (196/60 - 2/(-5))*-3. Let t(z) = z**3 + 13*z**2 + 16*z - 14. Does 9 divide t(y)?
False
Does 3 divide 1/((-9 + (-495)/(-54))/(9358/12))?
False
Suppose 20*d - 566 = 494. Suppose 47*v + 4104 = d*v. Is 18 a factor of v?
True
Let j be 12*(5/10 + -1). Let f be j/10 + 58/5. Let a(p) = -p**2 + 14*p + 7. Does 3 divide a(f)?
False
Suppose 99 = -3*x + 3*g, -15*g + 10*g - 91 = 3*x. Suppose -2*u + 120 = -5*u. Let l = x - u. Is l a multiple of 2?
True
Does 2 divide (-2)/(-11) - 5583760/(-1298)?
True
Let r = 105 - 97. Suppose r*i - 2765 = 563. Is 16 a factor of i?
True
Let w(a) = -a**3 - 53*a**2 - 338*a + 96. Is w(-48) a multiple of 25?
True
Let a be 1/(15/(-20))*(-12)/(-8). Does 6 divide a + 2 + 25*(-6)/(-15)?
False
Let a(h) = 13*h + 38. Let t(r) = -7*r - 20. Let w(b) = 6*a(b) + 11*t(b). Is 4 a factor of w(13)?
False
Suppose 0 = -9*t + 6 - 33. Let q be -3*(-1)/t + 2. Is (q/(-3) - (-2358)/27) + 3 a multiple of 35?
False
Suppose 4*n = k - 25, 3*k = 4*k + 4*n + 15. Suppose 0*x - 203 = -x + k*p, -392 = -2*x + 3*p. Is x a multiple of 10?
False
Let l be 4194/4*6/9. Suppose 4*i - 457 = -2*w - i, 3*w = -3*i + l. Suppose 0 = -2*o - 7*v + 3*v + w, 0 = o + 5*v - 133. Does 34 divide o?
False
Suppose 5*s - 6*j + 3*j = 282, -s + 4*j = -70. Let w = 90 + s. Is w a multiple of 26?
False
Suppose 4*x - 1038 = 1906. Let v = 15 + x. Suppose -f + 0*f - p = -186, -4*f + 3*p = -v. Is 11 a factor of f?
True
Let u = -321 + 623. Suppose -121 = -t + u. Does 8 divide t?
False
Let z(r) = -9*r**3 - 2*r**2 - r + 1. Let y be z(1). Let u(v) = v + 18 - 4*v - 2*v. Does 12 divide u(y)?
False
Let k(f) = -81 - 18*f + 4*f - 4*f - 14 - 41*f. Is k(-9) a multiple of 16?
False
Suppose 0 = 3*d + 3*y + y - 211, 4*d - 256 = y. Let o = -38 + 99. Suppose 6*r - o = d. Is r a multiple of 6?
False
Suppose -v = 2*k - 23, 5*v - 3*v + 5*k = 50. Suppose v = 3*m - 3*x, -2*x = -m + 8 - 1. Suppose s - 3*q = 2, 4*q = m*s + 2*q - 13. Does 2 divide s?
False
Let o = 11918 + -8460. Is o a multiple of 38?
True
Suppose 3*r + 2322 = 16*r - 3671. Does 4 divide r?
False
Let x(o) = 98*o**2 - 80*o - 353. Does 9 divide x(-5)?
False
Suppose -26 = 15*a + 4. Does 32 divide (786 + a)*84/98?
True
Suppose -4*x + 1361 = -419. Suppose x + 23 = 4*a. Does 13 divide a?
True
Suppose 6*l + 179 = 3203. Let o(y) = -13*y. Let d be o(1). Is 15 a factor of (d/2 - 1)*l/(-54)?
False
Let m(h) = 9*h**2 + 228*h + 8349. Is 14 a factor of m(-39)?
True
Suppose -5*z + 1115 = -0*z. Let s = -42 - -42. Suppose 0 = -5*f + b + 219, -5*f = 3*b - s*b - z. Does 11 divide f?
True
Let k(a) = 37*a**2 - 4*a**2 + 5 - 5*a - 2 + 9*a**2 + 0*a. Is k(-2) a multiple of 5?
False
Suppose 2*j - 45 = 33. Suppose 5*l - 71 - j = 0. Does 7 divide 1074/l - (-2)/11?
True
Let l(v) be the second derivative of -13*v**2 + 0 + 5/3*v**3 - 21*v. Is 52 a factor of l(13)?
True
Let q = 20 - 49. Let r be 9/((-18)/92)*q. Suppose -r = -13*h + 1201. Does 47 divide h?
False
Let t(d) = 3*d - 9. Let h be t(8). Suppose 2*b = -4*j - 20, -b = 3*b - 3*j - h. Suppose 4*n - 18*n + 1106 = b. Is 28 a factor of n?
False
Let g(a) be the first derivative of 137*a**3 + 3*a**2 - 5*a - 97. Is g(1) a multiple of 37?
False
Suppose -28*r = -20*r - 3344. Let a = r + -314. Is 13 a factor of a?
True
Let k be (570/4)/((-6)/16). Let g = k - -642. Does 18 divide g?
False
Let p = 1859 - 425. Let f = -636 + p. Is 55 a factor of f?
False
Let n = 556 + -288. Let u = 5 + n. Does 20 divide u?
False
Let q be -16*((-7)/4)/7. Does 2 divide (q/6 + -3)/(3/(-54))?
True
Let f = 77 + -79. Let h be (f - 1) + 2/(4 + -2). Does 12 divide -3*23/h + (-15)/(-10)?
True
Let j = -52861 + 88584. Is j a multiple of 257?
True
Let h = 12975 - -14985. Does 24 divide h?
True
Let i = 28 - 30. Does 49 divide ((7 - 992) + 5)*i/5?
True
Let c(b) = -b**2 - 33*b + 106. Let p be c(-34). Is 2202/4 + (-6)/p*6 a multiple of 25?
True
Let v(z) = 8*z - 9. Let m be v(3). Let i be ((-2)/2)/(m/75). Let s(u) = -u**3 - u**2 + 13*u + 6. Does 23 divide s(i)?
False
Suppose 3*t - 63146 = -5*k, 0 = 5*k + 2*t - 33315 - 29829. Suppose -13*o + k = -8068. Is o a multiple of 21?
False
Let m(t) = t**2 + 11*t - 40. Suppose 20 = -l + 5. Let f be m(l). Suppose 560 = 4*q + f. Is 27 a factor of q?
True
Suppose 9*k - 45676 = -16570 + 38367. Does 113 divide k?
False
Let s be ((-32)/40)/((-4)/10). Suppose 0 = g + s*g. Suppose k + 39 = 2*z, 0 = -g*k + 2*k - 6. Is 21 a factor of z?
True
Let l = -521 + 1215. Let y be -386 + (-3)/((-12)/8). Let k = y + l. Is k a multiple of 23?
False
Let v = 44 + 37. Let f = -39 + v. Suppose 0 = y - f - 8. Is y a multiple of 14?
False
Suppose -4815185 = -180*u - 913505. Is 29 a factor of u?
False
Let d = -3276 - -5012. Is d a multiple of 56?
True
Let d = 5 + -6. Let u be (-4)/(-14) + (-4724)/(-28) + d. Suppose 3*s - u = -5*i, 128 = 5*i - i + 4*s. Is 9 a factor of i?
True
Let a = -51215 - -73171. Is 22 a factor of a?
True
Is 10 a factor of 20*(398/9 + (-82)/369)?
True
Suppose 3*v - 90 = 3*n, -5*n - 118 = 5*v + 32. Let f(k) = 104*k - 347. Let x be f(2). Let j = n - x. Does 17 divide j?
False
Let w = 9401 - 4724. Is 24 a factor of w?
False
Suppose -18*b + 17*b = -4. Is ((-42)/56 + 147/4)*b a multiple of 12?
True
Let u(y) = 74*y**2 + 2627*y - 13. Is u(-42) a multiple of 13?
True
Let i = -123 - -135. Let v be 4/i + 31/(-3). Let a(l) = 3*l**2 + 19*l - 2. Is a(v) a multiple of 54?
True
Let n be -9 + 11 - (0 + (-1 - 0)). Suppose -5*p - k + 2*k = -1472, 2*k = n*p - 886. Is 19 a factor of p?
False
Let z = 225 - 216. Is 10 a factor of 60/270 + 3328/z?
True
Is 1446 + 396/22 - -3*1 a multiple of 40?
False
Suppose 5*i = 3*p - 6, 2*p + 2*i = i + 4. Let h(u) = -34*u - 6. Let n be h(p). Let j = n + 117. Is j a multiple of 17?
False
Suppose -2*z + 5*t - 25 = 0, 6*z + t = 3*z + 5. Suppose z = 3*c - 469 - 161. Is 21 a factor of c?
True
Let f = 437 + -134. 