Is 25 a factor of f?
False
Suppose 0 = 3*y + z - 25496, 2*y + 8528 = 3*y + 4*z. Is 118 a factor of y?
True
Let l = -14345 + 46503. Is l a multiple of 110?
False
Let z = -10685 + 15281. Is 12 a factor of z?
True
Let o(i) = -105*i**2 - 11*i. Let x(l) = l**2 + 3*l. Let w(h) = -o(h) + x(h). Does 48 divide w(-3)?
True
Suppose 24*d = 7*d + 21012. Suppose 0 = -5*m + 3*z + d + 29, -5*m + z + 1265 = 0. Is m a multiple of 28?
False
Let q(r) = 62*r**2 - 31*r + 4. Does 25 divide q(6)?
True
Let n = -356 - -366. Suppose -14*p = -n*p + 5*l - 1065, -5*p + 4*l + 1280 = 0. Does 26 divide p?
True
Let g be 1/(2/(-18)) - -2. Let d(y) = -y**3 - 2*y**2 - 3*y - 4. Does 31 divide d(g)?
False
Let m(u) = u**3 + 11*u**2 + 2*u + 24. Let x = 12 + -23. Let a be m(x). Suppose -a*b = -4*z + 286, -8*b + 5 = -3*b. Does 18 divide z?
True
Let y be -95*(-1)/(-3)*-3. Let u = y + -92. Suppose 2*k + 160 = u*v + k, 48 = v - 3*k. Does 13 divide v?
False
Let m(t) = 5*t**2 - 5*t + 10. Let q be m(3). Suppose -q - 1580 = -9*p. Is p a multiple of 60?
True
Let a(x) be the third derivative of -7*x**4/8 + 29*x**3/3 + x**2 + 7. Is 23 a factor of a(-6)?
True
Let s(c) = -158*c**2 - 3*c - 1. Let o be s(2). Let w = -137 - o. Does 21 divide w?
False
Let g(f) = 7*f**2 + 4*f + 1. Let m be g(-3). Let p(i) = 4*i - 4*i + 5*i - m + 17. Is 36 a factor of p(18)?
False
Let n = -3962 + 14200. Is n a multiple of 18?
False
Suppose 3*f - 2*x - 15 = 0, -2*f + f = -4*x - 15. Suppose -87 = -f*y + 24. Let b = y + -13. Is b a multiple of 2?
True
Let j(c) = 35*c**2 - c + 1. Let r be j(1). Suppose 5597 + 38153 = r*z. Is z a multiple of 17?
False
Let b(p) = -p**3 - 24*p**2 - 41*p + 59. Let x be b(-22). Is 3/6*90 + x a multiple of 19?
True
Is 30 a factor of 21649 - ((-80)/((-96)/(-12)) + -1)?
True
Let j be (60/36)/(15/81). Let a = -57 + 27. Does 4 divide (42/(-35))/(j/a)?
True
Suppose -22*x + 6*x = -800. Let s = -10 + x. Let n = s + 142. Is 9 a factor of n?
False
Suppose 0 = 2*v + z - 9924, -4*v - 174*z = -169*z - 19866. Is v a multiple of 57?
True
Let l(u) = 47*u + 294. Let z be l(-15). Let j = 573 + z. Is 24 a factor of j?
False
Let y be 6*((-2)/(-4) - (-11)/11). Let t(i) = 2*i**2 - 1 - 11 - 6 + 0 - 8*i. Is t(y) a multiple of 17?
False
Suppose 2*m = -m + 159. Let v(z) = -z**3 - 99*z**2 - 95*z + 294. Let y be v(-98). Suppose 49*t - m*t + 168 = y. Does 6 divide t?
True
Let a(g) = 27*g - 249. Let u = 243 - 219. Is 19 a factor of a(u)?
True
Let g(a) = a**3 - 4*a**2 - 156*a - 19. Is g(16) a multiple of 2?
False
Suppose -4*k = 3*x - 0*k + 2, 6 = -2*x - 5*k. Let r(n) = -11 - 2*n**x - n**2 + 14*n - n**2 + 3*n**2. Does 17 divide r(5)?
True
Is 8 a factor of 14 + (-20 - (-28924)/4)?
False
Suppose 4*a + 0*a = 2*f - 6, -4*f + 34 = 3*a. Let w(c) = -2*c + 2. Let r be w(-4). Suppose -f*g + r*g = 18. Is 4 a factor of g?
False
Is 56 a factor of 40/4 - ((-44)/4 + -8707)?
False
Suppose -i = 2*x - 33564, 0*i + x + 100650 = 3*i. Does 36 divide i?
True
Let t(l) = -l**2 + 25 - l**3 + 123*l - 127*l - 11. Is t(-4) a multiple of 4?
False
Suppose -52*a = 69*a + 115*a - 4381340. Is 235 a factor of a?
True
Let n = 658 - 348. Suppose 6*r + n - 2140 = 0. Is r a multiple of 15?
False
Suppose 5*v = 2265 - 660. Suppose -2*x = -5*x + v. Suppose 3*h + 6*s = s + 341, 0 = h - 5*s - x. Is 22 a factor of h?
False
Let j(u) = -u**3 - 8*u**2 - 13*u - 21. Let a be j(-6). Let f(w) = w**2 - 10*w - 95. Is 4 a factor of f(a)?
True
Does 62 divide (23/(920/992))/((-2)/(-1850))?
True
Let d(w) = 2*w**2 + 29*w + 31. Let q be d(-18). Let m = 618 - q. Is m a multiple of 10?
False
Let y(k) = k**3 + 4 + 11*k - 4*k**2 - k**2 - 3*k**2 + k**2. Let n be y(5). Suppose 0 = n*j - 5*j - 312. Is j a multiple of 13?
True
Let t be (544/(-12) - -2)*45/(-25). Suppose t*v = 81*v - 5*m - 2997, -4*v - 3*m = -3996. Is v a multiple of 37?
True
Let q(c) = 31 - 177*c - 310*c + 226*c. Does 45 divide q(-2)?
False
Suppose -3*a = -2*p + 109078, 4*p = -3*a + 79471 + 138739. Does 26 divide p?
True
Suppose -8 = -b + 2*b. Let s(d) = d**3 + 49*d**2 + 7*d - 210. Let r be s(-48). Does 11 divide ((-2)/(b/r))/((-9)/(-6))?
False
Let j be ((-7)/(-21))/(2 - 197/99). Suppose 0 = -3*d + 5*x - 97, 2*d - 2*x = d - j. Let t = d - -40. Is 3 a factor of t?
False
Suppose -j + 6*j = 4*c - 15259, 0 = 5*c - 2*j - 19078. Is c a multiple of 24?
True
Does 8 divide 8 + ((-6352)/(-1) - (106 + -106))?
True
Let a(o) = 10*o**2 - 112*o - 1951. Is 65 a factor of a(-23)?
True
Suppose -962948 = 72*w - 318*w + 750196. Is 15 a factor of w?
False
Suppose -5*v = -3*a - 13, -4*a = -7*a - 4*v - 49. Let y = a + 38. Let f = y - -2. Is 19 a factor of f?
False
Let c = -554 - -890. Suppose -5*q - 4*u = -c, 5*q + 6*u - 3*u = 337. Does 4 divide q?
True
Suppose -15*m = -20*m + 15. Suppose -v + 4*f = -3*v - 2, 21 = m*v - 2*f. Suppose -5*k - v*b = -k - 714, -5*b = -k + 191. Is 38 a factor of k?
False
Suppose -8*v + 3494 - 2646 = 0. Suppose 130*r - v*r = 5928. Does 13 divide r?
True
Suppose -430473 + 145273 = 17*b - 217*b. Is 31 a factor of b?
True
Suppose 5*h - 4*b = 3*h - 6, -h + 27 = 4*b. Suppose -5*f = 0, -3*c - 1 + h = f. Suppose -2*r = m - 95, -4*m = 6 - c. Is 8 a factor of r?
True
Suppose 3 = -37*q + 38*q. Suppose -2*u = 5*w - 15, -q*u - 4*w + 24 = 5. Is 2 a factor of 1/(1/19) - u?
True
Suppose 4*r = a - 1, -277*a + 5*r = -272*a - 95. Is 7 a factor of a?
False
Let x(t) be the first derivative of -t**2 + 106*t + 44. Is x(-6) a multiple of 44?
False
Let i(w) = -2928*w - 424. Is i(-2) a multiple of 16?
False
Suppose 56*t = 74*t - 14040. Is 39 a factor of t?
True
Let z be (-20)/70 - ((-333)/(-21))/(-3). Suppose -17 = -4*a + 3*d, 2*d - 1 = -z*a + 3. Suppose -m = a*j - 2*m - 75, 2*m = 10. Is 10 a factor of j?
True
Suppose 27*o - 7*o - 345465 = -7*o. Is 84 a factor of o?
False
Let d = 466 - 410. Let s be (-1 + 0)/((-2)/130). Let c = s - d. Does 4 divide c?
False
Suppose 2*n + 3*n - 5*j - 715 = 0, -n + 3*j = -149. Let d = n - 94. Is d a multiple of 18?
False
Let c = 56 - 54. Suppose c*u = -5*u + 1218. Is u a multiple of 21?
False
Suppose 512 + 1165 = j. Let a = j + -1033. Is 14 a factor of a?
True
Let x be 7/(70/25)*132/10. Suppose 6*h - 561 = -x. Is h a multiple of 11?
True
Does 12 divide (-90752)/(-10)*(-475)/(-190)?
False
Suppose -k + 104 = -5*m, -k = -4*m + 2*m - 110. Let u(j) = j**3 - 9*j**2 + 9*j - 3. Let a be u(8). Suppose 0 = -a*o + 166 + k. Is 14 a factor of o?
True
Suppose 565 = -0*w - 3*w + 2*a, 5*w - 3*a = -943. Let d be 5*(-8)/(-12)*-39. Let b = d - w. Is b a multiple of 28?
False
Let z(h) = 2*h + 104. Let c be z(-20). Let j = -57 + c. Is j a multiple of 4?
False
Suppose 15*v + 99 = 24. Let y = 4 - 6. Is 3 a factor of (-3)/v*((-4)/y + 8)?
True
Let h be (-23)/4 - (-1)/(-4). Suppose -17*q + 77 = 9. Does 24 divide (8/h)/q - (-826)/21?
False
Is 151 a factor of (6658/(-16)*(-47 - -27))/((-9)/(-54))?
False
Let w = 4787 - 964. Is 12 a factor of w?
False
Let d = -671 - 205. Let x = -465 - d. Is 14 a factor of x?
False
Let b be (2/2 + -2)*3/(-1). Suppose b*r = -3*r + 12. Is 24 a factor of (-9)/r*(-16)/1?
True
Suppose -60*f - 4*u = -57*f - 7, 5*f + 4*u = 17. Suppose 2*n + 504 = 3*x, 3*x - x - f*n = 336. Is x a multiple of 4?
True
Let m = -107 + 55. Let a = m - -92. Is 24 a factor of a?
False
Let k be 2/(-8) - 226/(-8). Let p(c) = -c**3 + 4*c**2 + 4*c + 5. Let j be p(5). Suppose 3*g + 2*i - 42 - k = j, -85 = -3*g - 5*i. Does 5 divide g?
True
Let b(c) = 42*c - 85. Let a be b(15). Suppose -659 = -w - a. Is w a multiple of 19?
True
Suppose 3*d - 4*d = -5*c + 17, -d + 4 = 2*c. Suppose -a = c*a - 412. Suppose -2*q + 7*q - 252 = 3*k, -2*q + a = k. Is q a multiple of 8?
False
Suppose -190 = -3*u - 217. Does 84 divide 1164/5 + 1 - u/45?
False
Suppose 0 = -26*v + 9*v + 280 + 678445. Is v a multiple of 20?
False
Let a(z) = -17*z + 14. Let t be a(-6). Suppose -s + t = 4. Does 28 divide s?
True
Suppose -4*c - 2*d = -74, 2*c + 3*d - 12 = 27. Suppose -179 = -c*b + 17*b. Is 3 a factor of b?
False
Let q = 10215 - 1973. Does 26 divide q?
True
Let f = 30 + -21. Let q(m) = -m**3 + 8*m**2 + 9*m + 35. Is q(f) a multiple of 9?
False
Let b(k) = -15105*k - 2453. Does 16 divide b(-5)?
True
Let f(z) = -5*z**2 - 54*z + 11. Let v be f(-11). Suppose -7*y + 1886 + 2055 = v. Is 75 a factor of y?
False
Is 9 + 5843 + (-48)/16 a multiple of 16?
False
Suppose 2*h = -448 - 1078. 