e
Suppose 445 = -5*u + 50. Let f = 13 + u. Does 16 divide (12/(-9))/(2/f)?
False
Suppose -684*m - 15 = -679*m. Is m/((-270)/(-40)) - 6920/(-18) a multiple of 13?
False
Suppose 2*w - 15420 = n, -96*n + 93*n = w - 7724. Does 32 divide w?
True
Suppose -40*a + 61*a = -81*a + 201348. Is 5 a factor of a?
False
Suppose -25*y - 18*y + 0*y + 109263 = 0. Does 33 divide y?
True
Let o(h) = 87*h**2 - 2*h - 102. Does 40 divide o(-9)?
False
Let d(s) = -s**3 - 2*s**2 - 3*s - 10. Let b be d(6). Let c = b - -453. Is 16 a factor of c?
False
Suppose 3*q + 3*n - 6*n = 111, 0 = 4*q + 2*n - 178. Suppose 8*p = q - 10. Let j(g) = 21*g + 14. Is j(p) a multiple of 14?
True
Suppose 3*i - 2*l + 98 = 0, -2*l + 5 = 3*l. Let v = 34 + i. Suppose -90 = -4*a - 3*c + 84, -3*a + v*c + 139 = 0. Is a a multiple of 9?
True
Suppose -4*n - 4*k + 748 = 0, 3*n - 4*k = -3*k + 549. Suppose 0 = -182*i + n*i - 760. Is 15 a factor of i?
False
Suppose -5*r + 25 = 0, -75 = 5*v + 6*r - 8*r. Let f(x) = x**3 + 13*x**2 - 21*x + 11. Does 19 divide f(v)?
False
Suppose 0 = -2*h + 5*q + 2898, 0 = -38*h + 28*h + q + 14538. Does 11 divide h?
False
Let q(d) = 20*d - 6*d - 3*d - 15. Let b be q(5). Let s = b - 20. Does 10 divide s?
True
Let g(w) = 63*w**2 + 36*w + 128. Let h(y) = 43*y**2 + 24*y + 85. Let j(l) = 5*g(l) - 7*h(l). Is 24 a factor of j(-5)?
False
Let j be -3 + (0/1 - 39). Let d = 44 + j. Suppose -4*s = 4*f - f - 120, -d*s + 186 = 5*f. Does 9 divide f?
True
Suppose -3416850 = -318*k + 91*k + 2767992. Is k a multiple of 57?
True
Let l(f) = f**2 + 14*f - 12. Let a(c) = 6*c**2 + 70*c - 60. Let b(w) = -3*a(w) + 14*l(w). Let s(v) be the first derivative of b(v). Does 13 divide s(-5)?
True
Suppose 9*u + 29*u = 149773 + 308507. Does 9 divide u?
True
Suppose t + 11 = 10. Is 14 a factor of (220 + 4)/(t - -3)?
True
Is -30012*((-780)/(-40) + -20) a multiple of 11?
False
Suppose 2*g = 4*t - 2, 5*g = 37 - 12. Suppose t*d - 1021 = -5*z - 143, 0 = -z - d + 176. Is 18 a factor of z?
False
Suppose 4*v + 426 = -5*u - 20, -u - 4*v - 86 = 0. Let x = -66 - u. Is x a multiple of 4?
True
Suppose -5*s + 65 = -2*f, 3*s = -3*f + 6*f + 30. Suppose s*d + 2772 = 24*d. Does 21 divide d?
False
Let g = -31 + 35. Let q(i) = -8 - i + i - g*i - 2*i. Does 16 divide q(-12)?
True
Let k be (-1*(-51)/(-3))/(-1). Suppose 2*i + 191 + k = 0. Is -1 - (3 + -6 + i) a multiple of 27?
False
Let d(o) = -o**2 + 28*o - 63. Let b(v) = v**2 - 25*v - 35. Let a be b(27). Is 10 a factor of d(a)?
False
Suppose 344*x - 322*x = 104192. Is 29 a factor of x?
False
Let o be (-2)/(25/(-10) + 3). Is (19875/(-10))/5*o/6 a multiple of 13?
False
Let p = 115005 + -61889. Does 265 divide p?
False
Let r be (-608)/(-4) - 5/30*0. Suppose 8*o - 376 = r. Is o a multiple of 6?
True
Let d = -53 - -65. Suppose 3*w = 111 - d. Is w a multiple of 3?
True
Suppose 28618 = 6*w - 2*i, 293*i - 23830 = -5*w + 291*i. Does 16 divide w?
True
Let a(b) = 2*b**3 - 9*b**2 - 5*b - 14. Let c be a(7). Let l = -168 + c. Is l a multiple of 3?
False
Suppose 5*g = 0, 3*c - 8805 = -5*g + 10329. Does 84 divide c?
False
Let b = 10099 - 4834. Is 45 a factor of b?
True
Let c(r) = 24514*r**2 - 51*r - 54. Is 12 a factor of c(-1)?
False
Suppose -5*o + 10*o + 3*u = 0, 5*u = -o - 22. Let x be 14 + -1 - (1 + o). Is 2*-32*x/(-12) a multiple of 24?
True
Suppose 2*i - 32486 = 10*t - 6*t, 5 = 5*t. Is i a multiple of 14?
False
Let o(c) = 113*c - 25. Suppose 13*h + 0 = 39. Is o(h) a multiple of 50?
False
Let h be -1 - ((3 - 3) + -3435). Suppose h - 650 = 12*u. Suppose -m + u + 6 = y, 4*y - 928 = 4*m. Does 20 divide y?
False
Is 52 a factor of 65130/(-45)*(-2 + 16/(-4))?
True
Let f(x) = x**3 + 2*x**2 + x + 4. Let d be 1/((-34)/221 - 18/52). Let r be f(d). Suppose -12 = -a + r*j, 4*a + 5*j + 4 = -0*j. Is a a multiple of 4?
True
Suppose -12*d - 2*k + 51158 = -5*d, 2*k + 21922 = 3*d. Is d a multiple of 176?
False
Let s be (52/91 + 1524/28)*-1. Let k = -271 + -17. Is 8 a factor of k/(-10) + (-11)/s?
False
Let f(y) = 62*y - 7. Let l(g) = -1. Let z(j) = -f(j) + 2*l(j). Let q = 12 - 14. Does 43 divide z(q)?
True
Suppose -17*n - 21 = -24*n. Suppose n*w - 6*w + 2268 = 0. Is 14 a factor of w?
True
Let s be 1 - 4/2 - (-272)/68. Suppose -4138 = -4*h - 2*r + 380, -s*h + r = -3396. Is h a multiple of 87?
True
Let y(a) = 44*a - 3. Let n be y(-4). Let r be (-105)/(-140) + 4964/16. Let i = r + n. Is 12 a factor of i?
True
Let w(x) = 8*x**2 + 58*x - 34. Let j be w(14). Suppose -p - j = -5*o, -458 = -o + 6*p - 3*p. Does 5 divide o?
True
Let y = 5872 - 4801. Is 17 a factor of y?
True
Suppose d + 4*v - 4994 = 0, -19*d + v + 14943 = -16*d. Does 47 divide d?
True
Let a be 2800/105*(1615 + -1)/(-2). Does 16 divide a/(-168) + (-14)/147?
True
Suppose -3*d - 9 = 0, -5*q - 2*d - 190 = 266. Let u = q - -135. Suppose -637 = u*v - 52*v. Is 7 a factor of v?
True
Let s(c) = -4*c + 212. Suppose 7*m = 2*m - 6*m. Let x be s(m). Suppose -3*k + 114 = 5*w - 2, -5*k = -w - x. Is 42 a factor of k?
True
Let g(z) = -z**2 + 6*z + 16. Let o be g(8). Suppose o = -3*d + 55 - 19. Suppose 0 = 2*t - 2*b - 12, 0 = -5*t - 5*b + d + 8. Is 5 a factor of t?
True
Let k be 4 + 21/(-12) + 3/(-12). Suppose -3 = i, -6*v + 114 = -k*v - 2*i. Suppose 24*s = v*s - 573. Does 32 divide s?
False
Let w = -39490 - -75276. Does 37 divide w?
False
Let t(c) = 2*c**3 - 14*c**2 + 22*c + 30. Let q(f) = 3*f**3 - 28*f**2 + 43*f + 60. Let d(r) = -3*q(r) + 5*t(r). Is 5 a factor of d(-15)?
True
Suppose -u + 3*u + 4*a - 104 = 0, 0 = -4*u - 2*a + 238. Let d = u + -59. Suppose 0 = -2*g - d*x + 104, 4*g - 5*x = -0*x + 164. Is 23 a factor of g?
True
Let b = 867 - 261. Let z = b - 301. Does 5 divide z?
True
Suppose -4*t - 5*p - 54 = -3*t, -p = -2*t - 97. Let d = 731 - t. Suppose -13*h + d = -0*h. Is 15 a factor of h?
True
Suppose -3*v + 708 = 9*v. Let m = v - -40. Is m a multiple of 4?
False
Let t(b) = -b**3 - 7*b**2 + b + 2. Suppose -55 = 5*z + 5*d, -z + d = 2*z + 17. Let w be t(z). Is 3 a factor of (w - 23/(-4)) + (-162)/(-8)?
True
Suppose -3*t = -5*t. Suppose -11*a - 874 = -57*a. Suppose t = 5*u - 139 + a. Does 7 divide u?
False
Suppose 0 = -5*m + 5*x - 2260, -2*m + 1380 = -5*m - 3*x. Does 32 divide ((-22)/(-8))/(6/m*-1)?
False
Let f(l) = l**2 + 6*l + 2. Let g be f(-6). Suppose -212 + 14 = -g*b. Suppose 3*n = 3*p - n - b, 4*p - 5*n - 131 = 0. Does 14 divide p?
False
Let a(z) = z**3 + 9*z + 1. Let j be a(3). Is j*-1*(-52)/10 a multiple of 26?
True
Let p be (13 - 15) + (11 - 1). Does 12 divide 6*p*4/8?
True
Let r = -12002 + 21070. Is 120 a factor of r?
False
Suppose 0 = 2*r + 4*m - 8628, -21*r + 17*r - 2*m = -17280. Does 45 divide r?
False
Suppose 2*l + 2*l = 12. Suppose -210 = l*m + i, -3*m - 2*m - 5*i = 360. Let v = 119 + m. Does 11 divide v?
False
Suppose -187*s + 183*s + 500 = 0. Suppose -11*n - s = -12*n + 5*x, x = n - 145. Does 15 divide n?
True
Suppose -3*l = -2*l + 2. Let n = -3297 + 3361. Is (l + n/14)*(-4 + 25) a multiple of 18?
True
Let f = -51 + 18. Let o be 8/6 - 88/f. Suppose 136 + 80 = 3*v - 3*u, -o*v + u + 303 = 0. Does 7 divide v?
True
Let s be -1*((-27)/3 + 6 - -1). Suppose 2*n - t + 0*t - 1517 = 0, 2*t + 2274 = 3*n. Is n/18 + s/(-9) a multiple of 21?
True
Does 9 divide -1 + 1177 + (21 - 0)*11/77?
True
Suppose 8*j = -471 - 353. Let p = -103 - j. Suppose 4*g - d - 881 = 0, -3*g + p*d - 3*d = -672. Is 27 a factor of g?
False
Suppose -6*b + 7028 = -9896 - 8948. Is b a multiple of 44?
True
Suppose -17*c = -16587 - 6703. Is 44 a factor of c?
False
Let i be 2493 - -2 - (6 + 10/(-5)). Suppose -18*k = i - 12697. Is 21 a factor of k?
True
Let o = 40073 + -32783. Is o a multiple of 6?
True
Let n = -889 - -889. Suppose 2*c = -f + 3*f + 414, n = 3*c + 4*f - 600. Is 20 a factor of c?
False
Suppose -84 = -11*t + 202. Suppose -v + 3 = -1. Suppose 11 = 2*l - 3*y, 5*y - 7 - t = -v*l. Is l even?
False
Let s = -214 + 355. Let i = s + -64. Is 4 a factor of i?
False
Let t be 3/(42/88) - (-6)/(-21). Suppose t*n - 130 = n. Let b = 34 - n. Is 4 a factor of b?
True
Is (-620)/(2 + -3) - (-40)/180*18 a multiple of 12?
True
Suppose n + 2*n + 111 = -j, -j = 2*n + 113. Let c = j - -399. Is c a multiple of 6?
True
Suppose 75*i = 302*i - 2049356. Is i a multiple of 148?
True
Suppose -154*p + 64890 = -139*p. Suppose 22*d = 25836 + p. Is d a multiple of 53?
False
Suppose 93*k - 108*k + 28905 = 0. Is 33 a f