- 2961. Is 19 a factor of g(-6)?
False
Is 3/(10/(-102)*48/(-160)) a multiple of 62?
False
Does 74 divide 9 - ((-165)/(-20))/(5/(-26760))?
False
Is 7 - (-3)/(-2 + (15576/(-3892))/(-2)) a multiple of 23?
False
Suppose 0 = -58*a - 202083 + 653613. Is 217 a factor of a?
False
Suppose 3*j = -k + 1761, -3*k = 77*j - 74*j - 5295. Is 6 a factor of k?
False
Let p be (-8)/(-1)*((-4)/(-8) + -1). Let d be (-444)/(-9)*(-30)/p. Let u = d + -262. Is u a multiple of 18?
True
Suppose 65*j = 24*j + 23*j + 90828. Is 58 a factor of j?
True
Suppose 18*k + 152 = -47*k + 22. Let p(h) = -82*h + 6 + 3 + 2. Is 25 a factor of p(k)?
True
Let a = 120 - 115. Suppose a*l + j = -2*j - 1045, l = 5*j - 237. Let m = l - -471. Is 16 a factor of m?
False
Let p be (-14262)/(-21) + 2/(-28)*2. Let q = -327 + p. Is 37 a factor of q?
False
Suppose 92 = b - 5*c, 2*c - 572 = -5*b - c. Suppose 0 = 5*t, 5*t + b = 6*k - 2*k. Is k a multiple of 14?
True
Is (-117)/6*4250/(-25) a multiple of 65?
True
Suppose 0 = -175*w + 2865403 - 1022128. Does 182 divide w?
False
Let c(u) = -u**3 + 10*u**2 - 7*u - 17. Let t be c(9). Does 45 divide 293 + 8 - ((-6)/(-3) + t)?
False
Let q = -10085 + 17790. Is q a multiple of 38?
False
Let k(g) be the third derivative of g**5/60 + 8*g**3/3 + 3*g**2 + 3*g. Does 45 divide k(-10)?
False
Let q be 2*(-5)/55 - (-2301)/11. Suppose 4*t - 229 = -q. Suppose 0 = k + 1, 4*y + t*k - 24 = 91. Is y a multiple of 13?
False
Does 39 divide (-711 + -3)/((-2)/13)?
True
Let g(n) = -7*n - 128. Let l be g(-33). Suppose -45 - 71 = -4*s. Suppose 2*m + t = l, 4*t + 98 = 3*m - s. Does 7 divide m?
True
Suppose 0 = -3*c - 2*w + 30951, -180*c - 3*w - 51566 = -185*c. Is 4 a factor of c?
False
Let v(s) = 10*s**2 + 557*s - 36. Does 49 divide v(-59)?
True
Let l = 4250 - 2520. Suppose -b - 4271 = -5*a, -2*a + 9*b - 14*b + l = 0. Is 15 a factor of a?
True
Let f = 7075 + -3563. Is 48 a factor of f?
False
Let w(a) = a**2 + 5*a - 2. Let k be w(-6). Suppose -k*q - 18 = -p - 45, -13 = -q - p. Suppose -s + q = -0. Is 8 a factor of s?
True
Is -13645*-8*(125/(-10) - -13) a multiple of 30?
False
Let h be -4*((-20)/(-5))/(-4). Suppose 0 = h*g + 15 - 159. Suppose 5*s - 18 = 3*s + 3*u, -2*u - g = -4*s. Is s a multiple of 2?
False
Let t(n) = -190*n. Let g(p) = 7*p. Let l = 39 - -41. Let m(c) = l*g(c) + 3*t(c). Is 25 a factor of m(-11)?
False
Is 25 a factor of 6721 + 21 - (-2 + -3*2)?
True
Let w = 496 + -406. Is (w/8)/(49/1372) a multiple of 45?
True
Let p(g) = -57*g**2 - 4*g - 4. Let l(y) = 56*y**2 + 4*y + 5. Let z(r) = 2*l(r) + 3*p(r). Let v be z(3). Is (-1)/2 + v/(-10) a multiple of 9?
True
Let c be (2/5)/((-4)/120). Let g be (588/72 - (-2)/c)/2. Suppose 0 = -g*y + 170 + 130. Is 25 a factor of y?
True
Let x(j) = -2*j + 174. Suppose 13*t - 9 = 173. Is x(t) a multiple of 3?
False
Let c = 10482 - 7909. Does 31 divide c?
True
Let i be 298/5 + (-27)/45. Let g be i + (-4 + 9)/(-5). Suppose -5*c = -7 - g. Is 3 a factor of c?
False
Let u(w) = w**2 + 5*w - 18. Let p be u(-8). Let r be (4/(-6))/(p/(-189)). Suppose r*h = 19*h + 56. Does 15 divide h?
False
Let t be 6/(-18) + 13/3 - -44. Suppose 0 = -c - 0*c + 4*o + t, -2*c - o = -51. Suppose 5*q + 3*f = 78, -4*q + c = -2*f - 30. Does 2 divide q?
False
Suppose -107*p + 794822 + 1623663 = 291539. Is 120 a factor of p?
False
Let p(f) = 2*f**3 - f**2 - 5*f + 121. Let i be 9 + -8 - ((0 - -4) + -3). Does 11 divide p(i)?
True
Let n = 406 - 586. Does 3 divide (-40)/n + 8*(-56)/(-9)?
False
Suppose 3602 = 16*z + 2194. Is z a multiple of 11?
True
Let v = 14675 + -7931. Does 72 divide v?
False
Let a be (-4)/(-1) - (17 + -15). Let h = 1 + a. Suppose -5*w = h*p - 0*w - 65, 4*w - 130 = -5*p. Is 6 a factor of p?
True
Does 51 divide (-238)/4*(-2628)/73?
True
Suppose -5*o - 3145 = 3*l - 6*l, o + 3125 = 3*l. Suppose -28*v + l = -20*v. Is (-5)/1*(-3172)/v a multiple of 13?
False
Let x = -12669 - -23261. Does 28 divide x?
False
Let r = -1872 + 2099. Does 8 divide r?
False
Let p be 7/((-7)/24)*-267. Suppose 10*n - 532 = p. Does 34 divide n?
False
Let d = 12 - 12. Suppose -3*g - 5 = x, d = -2*g - 2*g - x - 5. Let f(z) = -z**3 - z**2 - z + 14. Is 7 a factor of f(g)?
True
Let i(r) be the first derivative of 3 + 6 - 18 + 10*r**2. Does 5 divide i(3)?
True
Let t = 618 - -485. Does 7 divide t?
False
Let f = 48 + -50. Is 10 a factor of ((-90)/216)/(f/16)*3?
True
Let v = 14207 - -7978. Is v a multiple of 29?
True
Let k(x) = 386*x - 954. Is k(15) a multiple of 62?
True
Let r = -465 - -469. Suppose 3*w - 5*n = 468, 2*w - r*n + 101 - 413 = 0. Is w a multiple of 4?
True
Let b(w) = w**3 - 9*w**2 + 5*w - 26. Let i = 113 - 104. Let n be b(i). Let q(o) = -o**3 + 20*o**2 - 18*o - 4. Is 3 a factor of q(n)?
True
Suppose 0 = -18*n - 18 - 0. Is (-6618)/(-24) - 6 - n/4 a multiple of 6?
True
Let z be 4/(-6) - 348/(-36). Let m(u) = u**3 - 7*u**2 + 8*u - 15. Let c be m(z). Let f = -67 + c. Does 20 divide f?
False
Let p(o) = 150*o**2 - 47*o + 39. Does 54 divide p(5)?
False
Suppose 14*b - 67417 - 65835 = 0. Does 5 divide b?
False
Let a = -827 - -839. Suppose -a*z + 360 = -10*z. Is z a multiple of 12?
True
Suppose 5*l - 113 = -3*k - 46, -4*l = -4*k - 28. Suppose 1764 = -5*b + l*b. Is 14 a factor of b?
True
Let w = 614 + -410. Suppose 72*t - 70*t - w = 0. Is t a multiple of 6?
True
Is (-8658740)/(-333) - 20/9 a multiple of 21?
False
Let l = 111 - 111. Suppose l = -5*u - 3*o + 466, -9*u + 6*u + 274 = -o. Is 3 a factor of u?
False
Suppose 0 = 5*k - 3353 - 2077. Suppose -k - 34 = -8*o. Is o a multiple of 10?
True
Let v(g) = g**2 + 7*g - 25. Let j be v(-10). Suppose 960 = j*i - 90. Is i a multiple of 34?
False
Let b = -281 + 514. Is b a multiple of 6?
False
Let g be (-86652)/(-1245)*10/4. Let k = -5 + 7. Suppose -176 = -k*w + g. Is w a multiple of 25?
True
Suppose -l = -5*h - 54642, 59*l - 64*l + 273102 = 2*h. Is 31 a factor of l?
True
Suppose -13823 + 39095 = 8*x. Is 39 a factor of x?
True
Let w(i) = -11*i**3 + 5*i**2 - 6*i + 3. Let q be w(2). Is 13 a factor of 1 - 0 - (q + 1)/2?
True
Let h(x) = -2*x**3 - 22*x**2 - 6*x + 33. Let i(l) = l**3 - l**2 - l + 2. Let n(j) = -h(j) - i(j). Is 25 a factor of n(-21)?
True
Let w = -1693 - -3603. Is w a multiple of 5?
True
Suppose -3*f - 2*b + 34495 = 3*b, 4*f - 46000 = -5*b. Does 195 divide f?
True
Let o(u) = 7*u**3 + 2*u + 6 - 151*u**2 + 157*u**2 - 6*u**3. Let t be ((-2)/4)/(1/10). Is o(t) a multiple of 3?
True
Let l(b) = 14 - 17*b - 9*b + 24*b + 5*b**2. Is 4 a factor of l(7)?
False
Is 17 a factor of 1434 + -1 - 4/(14/175*10)?
True
Let g be 309*(-1 - -2)*(-68)/(-3). Let h be 3/(30/g) - (-16)/(-40). Suppose -h + 195 = -5*m. Does 48 divide m?
False
Let m = 1016 + -420. Let q = 12 + m. Does 32 divide q?
True
Let w = 2192 - 4812. Does 18 divide (42/175*5)/((-8)/w)?
False
Let p = 39 - 76. Suppose -11*r - 70 = 73. Let o = r - p. Is 24 a factor of o?
True
Suppose -5*x - 2*u - 9426 = -3*x, -4*u - 9422 = 2*x. Let w be (-3)/5 + x/(-25). Let a = w - 129. Is a a multiple of 26?
False
Suppose 4*j = d + 2, -4*j + 97 - 35 = d. Does 6 divide d?
True
Suppose 0 = -i + 2*q + 59, -3*i - 2*q + 175 = -7*q. Let y = i - 55. Suppose -8 = 4*c, y = -3*u - 2*c + 94 + 40. Does 9 divide u?
False
Let p(w) = -408*w - 21. Does 12 divide p(-16)?
False
Let s(n) = -n**2 - 37*n - 100. Let i be s(-34). Suppose 2*u - 514 = 4*q - 122, u + i*q - 212 = 0. Does 17 divide u?
True
Suppose -8*s - 3749 - 3595 = 0. Let z = 265 - s. Is z a multiple of 91?
True
Let k = -156 - -147. Let h(j) = 2*j**2 + 10*j + 18. Is h(k) a multiple of 30?
True
Let g(r) = 29*r - 94. Let c(t) = -9*t + 31. Let o(l) = -11*c(l) - 4*g(l). Does 12 divide o(-3)?
False
Let j(y) = y**3 + 38*y**2 + 66*y - 80. Let o be j(-36). Suppose 4*h + x = 1134, 4*h - 3*x - o - 990 = 0. Is h a multiple of 17?
False
Let f = 6916 - 6491. Let t = -3 + 212. Let c = f - t. Does 34 divide c?
False
Suppose 39 = 2*l - 39. Suppose 3*q + 4*b = 203, 5*q + 21*b - 377 = 24*b. Let j = q - l. Does 5 divide j?
False
Let w(b) = b**3 - 15*b**2 + 24*b + 26. Let y be w(13). Let v(c) = -c**3 + 2*c**2 - c + 10. Let j be v(y). Suppose -45 - 645 = -j*f. Is 18 a factor of f?
False
Suppose -90 - 70 = 5*u. Let v = 17 - u. Suppose 0 = -3*p + v + 65. Does 20 divide p?
False
Let l(c) = -3*c**3 + 2*c**2 + 0*c**2 + 0*c**3. Let o(b) = b**3 - 14*b**2 - 32*b - 2. Let i be o(16). Does 3 divide l(i)?
False