a factor of y?
True
Let l be (-2 - -8)/(2*6/(-8)). Let o be (73/l)/(2/(-8)). Let r = -59 + o. Is 5 a factor of r?
False
Suppose 55*v + 21*v + 25*v - 56560 = 0. Is 9 a factor of v?
False
Is ((-15249)/(-437) - 35) + 34905/19 a multiple of 16?
False
Let q = -1027 - -1719. Suppose -1737 = -5*f + k, -2*f + 4*k - 5*k + q = 0. Is f a multiple of 17?
False
Is 40 a factor of (-2)/6*-18827 - (-358)/(-537)?
False
Let g be 3/27 + (-4112)/72. Is 4 a factor of (g/15)/(2/(-70))?
False
Let t = -18 - -27. Suppose t = 3*y, 1 = 4*o + y - 2. Suppose o = v + 2*f - 51, -56 = -v - 0*v + 3*f. Does 7 divide v?
False
Suppose -190 = -11*m - 8*m. Suppose -5*j + x = -68, 4*j - 31 = 4*x + 17. Suppose -j*c + m*c + 200 = 0. Does 5 divide c?
True
Let f be -5*(-4 - (-3 - 0)). Suppose 5*x - 378 - 1915 = -4*h, 0 = -f*h - 15. Is x a multiple of 32?
False
Let u(g) = -g**3 - 10*g**2 - 10*g - 6. Let n be u(-9). Suppose -n*q = -4*q + 193. Suppose -j + 2*b - 327 = -6*j, -2*b = -3*j + q. Does 13 divide j?
True
Suppose -3904040 + 690104 = -143*g - g. Does 11 divide g?
True
Let j = 53469 - 19855. Does 10 divide j?
False
Let i = -6061 - -20067. Does 87 divide i?
False
Suppose 5*g - 24 = 119*z - 120*z, 4*z = 3*g + 188. Is z a multiple of 18?
False
Suppose t - 5205 = 5*n, 2*t - 10401 = -20*n + 21*n. Does 16 divide t?
True
Let c = -12937 + 33087. Does 130 divide c?
True
Let k = -188 - -183. Let j(w) = -109*w - 43. Does 47 divide j(k)?
False
Does 266 divide ((-1764)/(-378))/(5242/(-2622) - -2)?
True
Let v(k) be the first derivative of 21*k**2 + 6*k + 104. Is 23 a factor of v(7)?
False
Suppose -38*m + 42*m - 12 = 0. Suppose m*q - 1417 = -4*u - 207, -2*q - 4 = 0. Does 16 divide u?
True
Suppose -2*y = 5*i + 42, -10*i + 10 = -2*y - 7*i. Is 300/2*y/(-2) a multiple of 18?
False
Let f = -61242 + 139576. Does 54 divide f?
False
Suppose -7*x = 45 - 80. Suppose 4*v + i - 6*i - 1832 = 0, 443 = v - x*i. Does 16 divide v?
False
Suppose 2*t + 4*r = 2434, 4*r - 281 = t - 1474. Is t a multiple of 13?
True
Let c be 54/18*(-4)/(-3). Suppose 0*d = -2*d + c. Suppose 4*v = -4*p + 396, -v = -d*p - 5*v + 188. Is p a multiple of 13?
True
Let q = 120 - -158. Suppose 2*v = l - 6*l + 1384, -q = -l - v. Is 46 a factor of l?
True
Let d(m) = m**3 - 6*m**2 + 10*m + 2. Let l(a) = a**3 + 5*a**2 - 6*a + 6. Let i be l(-5). Suppose 3*x - 2*p = 15, -2*p - 3*p = 3*x - i. Is d(x) a multiple of 21?
False
Let s(r) = -178*r**2 - 2*r + 2. Let m be s(-1). Let a = 484 + m. Does 8 divide a?
False
Let d = 124 + 24. Let h = 79 - d. Let q = -57 - h. Is 3 a factor of q?
True
Let y(h) be the second derivative of -h**7/1260 + h**6/40 - h**5/40 + 19*h**4/12 - 30*h. Let q(m) be the third derivative of y(m). Is 5 a factor of q(5)?
False
Let b(h) = -5*h - 16 + 10*h - 9*h + h**2. Let n be b(-8). Suppose -3*q - 2*r + 33 = -0*q, -5*q = -5*r - n. Does 2 divide q?
False
Let j(o) = -4*o**3 - 3*o**2 + o + 1015. Let v = -285 + 285. Is 29 a factor of j(v)?
True
Let s = -7681 + 7885. Is 6 a factor of s?
True
Let p = -68 + -21. Let s = 153 + p. Suppose -7*d = -3*d + 5*l - 59, 4*d = -4*l + s. Does 7 divide d?
True
Let y(r) be the first derivative of r**3 + 7*r**2/2 - 9*r - 35. Is 5 a factor of y(-4)?
False
Is -7*(-3 - -4) - (-22998 + 21) a multiple of 95?
False
Let h = -28272 + 35264. Is 16 a factor of h?
True
Let s be (9 - 6) + 5/((-5)/6). Let o(u) = 2 - 24*u + 2 - 2. Does 8 divide o(s)?
False
Let l be 6/(-14) - 2280/(-420). Suppose 11*g - 3438 = l*g. Is 19 a factor of g?
False
Suppose 2*r + 5 = -1, 3*r + 219 = -3*q. Let x = 464 - q. Does 9 divide (-4)/(-3)*10/(40/x)?
False
Let c(y) = 9*y**3 - 26*y**2 + 9*y + 43. Is 47 a factor of c(10)?
True
Let s(u) = -u**3 - 20*u**2 - 57*u - 19. Let m be s(-18). Let b = -333 + m. Is 3 a factor of b?
False
Is 258/(-2709) + (-82)/21 - -21078 a multiple of 68?
False
Let c(z) = 13*z**2 + 5*z - 10. Suppose -193*w + 188*w = -10. Is 3 a factor of c(w)?
False
Does 23 divide 876/(-8)*(-300)/18?
False
Suppose -80*o - 109*o + 106294 + 117104 = 0. Does 21 divide o?
False
Let h = 25927 + -14727. Is h a multiple of 10?
True
Suppose 4*i - 9576 = -c, 2*c - 2*i - 48034 = -3*c. Is c a multiple of 49?
True
Let g(m) = -9*m**2 - 5*m - 140. Let u(a) = -11*a**2 - 6*a - 138. Let x(j) = -6*g(j) + 5*u(j). Let z = 1 - 1. Is 41 a factor of x(z)?
False
Let i be (-1)/(-3) - 82/3. Let x = i - -31. Is ((-12)/7)/(x/(-70)) a multiple of 8?
False
Suppose -831*d + 852*d - 162183 = 0. Is d a multiple of 22?
False
Suppose -2*r + 3*x = 6, 5*r + 5 = 4*x + x. Suppose 0*b = b - r*i + 146, -162 = b + i. Does 11 divide b/3*3/(-2)?
False
Let y = -833 - -1427. Let p be y/15*100/15. Suppose -h = 3*b - 164, 3*b + 4*h - p = -2*b. Does 8 divide b?
True
Let m = -3175 + 6475. Is m a multiple of 22?
True
Suppose -5*a + 2*j + 10 = -4*a, 2*a = 5*j + 21. Is 310 - (24/(-9))/(a/(-12)) a multiple of 24?
False
Does 9 divide 48/28*42/(-12) - 10517/(-1)?
False
Let x(s) = -s**2 - 6*s + 13. Let m be x(-7). Suppose -m = y - 4. Let q(d) = 10*d**2 - 3*d - 2. Is q(y) a multiple of 13?
False
Suppose -1 = x + 3*s - 5, 5*s - 5 = 0. Let m(r) = r + 1. Let w be m(x). Suppose 7*y - 520 = w*y. Is 26 a factor of y?
True
Let z = 9413 - 9259. Is z even?
True
Let l(v) = v**3 - 5*v**2 - 5*v - 2. Let w be l(6). Suppose 4664 = w*c - 0*c. Suppose -6*h + c = -22. Does 33 divide h?
True
Is (-37896)/(-9) - (-312)/234 a multiple of 81?
True
Suppose -1458 = -3*g - 3*v, -5*v + 2432 = 5*g - v. Let z = 817 - g. Is 18 a factor of z?
False
Let l be (-1)/(-5) - (-56)/20. Let x(u) = 6*u**2 - 3. Let t be x(l). Suppose w - t - 5 = 0. Is 8 a factor of w?
True
Let j be 6/(-21) - (51/(-7) + 3). Let h(l) = -4*l**2 + 3*l**2 - j + 1 - 6*l. Does 3 divide h(-2)?
False
Suppose -11*d + 553 = -173. Suppose 70*m - d*m = 224. Is m a multiple of 6?
False
Suppose 0*g - 2*g = 0. Suppose -8*q + q - 343 = g. Let l = 98 + q. Is 7 a factor of l?
True
Suppose 22 = 7*x - 13. Suppose x*w = w + 32. Let m(s) = -s**3 + 8*s**2 + 10*s. Does 40 divide m(w)?
True
Let c(r) = r**2 - 70*r - 2620. Is c(-56) a multiple of 14?
False
Let l(g) = g**3 - 3*g**2 - 17*g + 18. Let q be l(6). Let s = q + -25. Does 21 divide -1 - 3*s - 1612/(-13)?
True
Suppose 34*d = -7*d + 4551. Suppose 0 = 2*m + y - 6, -4 = -5*m + 4*y - 2. Suppose 4*p - d = p + 2*f, 0 = m*p + 5*f - 93. Does 39 divide p?
True
Let x(l) = -4*l + 25. Let i be x(6). Let w be 10/(100/15)*i*-2. Let q(g) = -6*g**3 + 2*g**2 - 3*g + 1. Is q(w) a multiple of 19?
True
Suppose -5*q - 4*h = 0, -15 = -2*h + 5*h. Suppose -1573 = -4*d - 4*k + k, k = -q*d + 1567. Is d a multiple of 25?
False
Suppose 4*t + 4*o = -0*o - 12, 3*t + 4*o = -7. Is 40 a factor of (-1598)/(-8) - (t + (-95)/(-20))?
True
Let g(b) = -b**2 + 4*b + 21. Let y be g(7). Suppose 8*r - 4*r + 12 = y. Is (-189)/r*(-3)/(-9) a multiple of 12?
False
Let o be -5 - (-72)/(-12)*10/(-3). Suppose 9*j - o*j = -918. Is j a multiple of 17?
True
Let y(l) = 11*l - 9 + 18*l**2 + 39 + l**3 + 6*l. Let x = 2044 + -2061. Does 11 divide y(x)?
False
Suppose 0*o + 6 = 3*o. Suppose -174 - 676 = -o*k. Let w = -233 + k. Is w a multiple of 48?
True
Let b(k) = -15*k**2 - 26*k + 31. Let x(w) = -17*w**2 - 26*w + 30. Let a(v) = -7*b(v) + 6*x(v). Is a(11) a multiple of 17?
True
Is 5111/2 + 9/24*(-40)/(-30) a multiple of 24?
False
Let l(g) = 1548*g - 4843. Is 133 a factor of l(14)?
False
Let d = -192 - -297. Let a = d - 110. Is a/((-120)/316) - 4/24 a multiple of 13?
True
Is 168 a factor of 32/(-4) + (3 - 0) + 14926?
False
Suppose 0 = -733*c + 742*c - 7731. Is 11 a factor of c?
False
Suppose 10*d - 6*d - 13951 = -3*w, 3*w + d = 13930. Is w a multiple of 119?
True
Let p(h) = 2*h**2 - 13*h - 168. Is 21 a factor of p(-25)?
True
Let f(o) = -6*o**3 - o**2 + o. Let t be f(-1). Suppose -489 = -t*p + 955. Does 68 divide p?
False
Let r = 12500 + -8406. Is 53 a factor of r?
False
Suppose 8*t = 30 + 26. Let f(h) = 17*h + 68. Is 12 a factor of f(t)?
False
Suppose 0 = -3*p - 4*b + 24239, 45*b - 49*b + 20 = 0. Is p a multiple of 2?
False
Let z(f) = 2*f**2 - 6*f + 97. Let o be z(0). Suppose 5*h - 4*h + 2*t - 4 = 0, 3*t + 9 = -4*h. Let l = o + h. Is 15 a factor of l?
False
Let n(m) = 2*m**2 - 6*m + 15. Suppose 0 = 68*a - 71*a + 9. Let l be n(a). Suppose 0 = -l*f + 8*f + 672. Does 8 divide f?
True
Let c(k) = k**3 + 22*k**2 + 24*k + 21. Suppose -2*s + 83 = -4*a + 9, -4*a - 75 = -s. Is 54 a f