-131, 4*m + 194 = k*j + m. Is 11 a factor of j?
False
Let h = 56 + -57. Let d be 3 + 3 + -2 + (h - -1). Is -1*(d + (-1 - 34)) a multiple of 26?
False
Let x(d) = d**3 - 19*d**2 + 0*d - 8*d - 8*d**3 + 36 + 0*d. Let i(g) = 3*g**3 + 9*g**2 + 4*g - 18. Let j(l) = -5*i(l) - 2*x(l). Is 3 a factor of j(-6)?
True
Let y(p) = 9*p**2 - 27*p + 13. Let z be y(11). Let u be z/46*(-240)/(-14). Suppose -u = 123*w - 127*w. Is w a multiple of 4?
False
Let y be (-42)/(14/(-2)) + -2 + 2. Let z(x) = 28*x - 16. Is z(y) a multiple of 8?
True
Suppose 5*s + 3*f - 2*f = 54, 4*f = -5*s + 66. Let k(p) = p**3 - 8*p**2 - 15*p + 13. Let z be k(s). Suppose -g + 0*g + z = 0. Is 21 a factor of g?
True
Let s = -24373 - -28273. Is 6 a factor of s?
True
Let g(c) be the first derivative of 4*c + 0*c**3 + 3/2*c**2 - 1/4*c**4 + 32. Is g(0) a multiple of 3?
False
Is 4 a factor of (16110/20)/((-10)/(-50) - 3/(-10))?
False
Suppose -6*c = -7*c - 42. Let w = 44 + c. Let b(a) = 12*a + 4. Does 3 divide b(w)?
False
Let f be (-4870)/70 + 3/(-7). Let b = f + 725. Does 19 divide (b/10)/(3/6)?
False
Let x(g) = 63*g - 23. Let n be x(4). Suppose j = 3*f + n, -j - 5*f + 425 = j. Does 7 divide j?
False
Suppose 4*a - 8 = 2*k, -2 + 22 = -4*a - 5*k. Let f be 57 - (0 + (-3 - a)). Suppose 0*l - f = -4*l. Is 15 a factor of l?
True
Suppose -6*w + 3 = -3*y - w, -2*y - 1 = -3*w. Suppose -y - 14 = -6*v. Suppose -4*b + 124 = 4*f, 83 + 6 = v*b + 4*f. Is 7 a factor of b?
True
Suppose 36929 = -100*a - 205176 + 3617705. Is 55 a factor of a?
False
Let x = 900 + -904. Is 9/(-63)*42/x*132 a multiple of 33?
True
Let g be (-6)/(-39) - (-13881)/273. Suppose 1131 = 2*m - g. Is m a multiple of 81?
False
Suppose -13432 - 42479 = -5*c + 3*p, 10 = -5*p. Is 4 a factor of c?
False
Let a(r) = -120*r - 79. Let s be a(-20). Suppose 32*l = 43*l - s. Is 8 a factor of l?
False
Let f = 46 - 43. Suppose 63 = -f*x + 3. Let d(c) = 2*c**2 + 28*c. Is 24 a factor of d(x)?
True
Let u(v) = 206*v**2 - 162*v + 510. Is 25 a factor of u(13)?
False
Let f(w) = -w**2 + 5*w + 287. Let k be f(-14). Suppose -k*z = -11*z - 8000. Is z a multiple of 47?
False
Let j(d) = -41*d + 5*d**3 - 11*d**3 - 5 - 3 + 5*d**3 + 14*d**2. Does 13 divide j(9)?
False
Let n(v) = 2*v**3 - 10*v**2 + 113*v - 758. Is 26 a factor of n(24)?
True
Suppose -13*f + 26*f = -47*f + 810960. Is f a multiple of 109?
True
Let x = -448 - -767. Suppose x*w = 321*w. Suppose 0 = -w*l - l - 3*f + 65, -5*l + 343 = -3*f. Is l a multiple of 7?
False
Let r = 803 - -5781. Is 14 a factor of r?
False
Suppose -2*x + 5*m = -7871, 19 - 21 = 2*m. Is 23 a factor of x?
True
Let a = 22469 + -13725. Does 4 divide a?
True
Let u(o) = -485*o - 115. Let d(k) = 242*k + 57. Let q(m) = 9*d(m) + 4*u(m). Is q(3) a multiple of 59?
True
Is 8 a factor of (-14)/105*579*134*5/(-4)?
False
Is 8 a factor of (3312/80)/(-23)*-1285*1?
False
Let v(d) = 5*d - 97. Let c be v(33). Suppose 33 + c = i. Does 6 divide i?
False
Suppose 90*h + 62*h = 174*h - 418. Suppose 0 = -3*o - 9, -3*s + s - 2*o = -12. Let n = h + s. Does 14 divide n?
True
Let v be (-38)/39*-6 - 22/(-143). Is v + 2/((-10)/(-1065)) a multiple of 39?
False
Let l be -1 - -7 - (-4 + -1914). Let r = l - 994. Is r a multiple of 15?
True
Let j = 3423 - 1921. Suppose 4*o - 958 = j. Is 15 a factor of o?
True
Suppose 19*d - 557591 + 133853 = 0. Does 21 divide d?
True
Let o = 102 - 84. Suppose 10*k - o = 7*k. Suppose 99 = t - 2*l + k*l, -4*t + 358 = -3*l. Is 13 a factor of t?
True
Let x(g) be the third derivative of -g**6/120 - 3*g**5/10 + 7*g**4/12 + g**3/6 - 39*g**2. Does 48 divide x(-19)?
True
Let v = -1975 - -2914. Is 29 a factor of v?
False
Is ((-840)/(-42))/(((-4)/2)/(-94)) a multiple of 20?
True
Let z = 943 + -530. Let w = 743 - z. Is 30 a factor of w?
True
Let s(c) = 2*c**3 + 10*c**2 + 8*c + 6. Let y be s(-6). Let a = 186 + y. Is a a multiple of 8?
True
Suppose 392 = 61*v - 54*v. Suppose 3*o - v = 115. Is o a multiple of 57?
True
Let k = 15 - -30. Let n = k + 32. Let j = n - 71. Is 3 a factor of j?
True
Let m(x) = 4*x + 5. Let w be m(0). Suppose w = -6*h + h. Is 10 a factor of 13 - (2 - (0 + h))?
True
Let i = -40705 + 69832. Is i a multiple of 219?
True
Let c be 616 - -15*1/3. Let s = c + -274. Does 20 divide s?
False
Suppose 44*i - 697 + 1992 = -3589. Let h = 2 - 12. Does 32 divide h/2 + i/(-3)?
True
Let w(t) = 3*t**2 - 4*t - 11. Let o be -1*(-9)/6*(-24)/(-9). Is w(o) a multiple of 3?
True
Suppose -5*i + 5 = 0, 2*n = 4*i + i - 605. Let r = n - -345. Does 3 divide r?
True
Let k = 40 + 32. Suppose 5*d - 5*u - 170 = 0, 2*d = -3*u + 6*u + k. Suppose 3*o = 3*a + d, 22 + 0 = o - 5*a. Is o a multiple of 7?
True
Does 125 divide ((-500)/15)/(-2*1532/1530 + 2)?
True
Let o(x) = -x - 32. Let p be o(-35). Suppose -788 = -5*q - p*n, 4*q - 4*n + 2*n - 648 = 0. Is 29 a factor of q?
False
Suppose -2*s - 86 + 20 = 0. Let a = s - -33. Suppose -4*p - 2*d = -554, p - 136 = -a*d - 3*d. Is 26 a factor of p?
False
Is ((-4)/6)/(1/(-9738)) a multiple of 188?
False
Suppose -15 = -3*n + g, -g + 5*g = -12. Suppose n*i = -51 + 279. Is 8 a factor of i?
False
Let m = 4209 - 2528. Does 7 divide m?
False
Is (182/(-42) - -7)/((-3)/(-297)) a multiple of 33?
True
Let t = 3699 - -837. Is 42 a factor of t?
True
Let v(i) = 4*i**2 - 5*i + 8. Let y be v(4). Let o = -46 + y. Is o a multiple of 5?
False
Let u(q) = 8*q**2 + 1. Suppose 0 = -7*f + 3*f + 4. Let n be u(f). Is n + ((-36)/4)/(-3) a multiple of 2?
True
Suppose -37 = -u - 33. Suppose -f + u*f = 93. Does 3 divide f?
False
Let l be -16 + 11 - (0 + -7). Suppose -4*q + 54 = 4*i - 94, 3*i + l*q = 109. Does 5 divide i?
True
Let r = -3173 - -7639. Is r a multiple of 11?
True
Suppose 2*m = -4*v + 8164, -10*v - 2041 = -11*v - 4*m. Suppose v - 1031 = 2*p. Is 30 a factor of p?
False
Let k(o) = 4*o - 20. Let i be k(7). Suppose -5*b + 12 = -i. Suppose 5*j = -3*m + 378, -b*m - 5*j + 47 = -452. Does 11 divide m?
True
Suppose -65*g - 52*g + 13*g = -1661920. Does 11 divide g?
False
Let n be ((-320)/25 - -13) + (-302)/10. Let u = -7 + 17. Is 7 a factor of 378/u - 3/n*2?
False
Suppose -4*b = 3*s + 3, 3*s = 4*b + 26 - 5. Let p(z) = -11*z**2 + 4*z - 6. Let r be p(s). Let d = -89 - r. Is 4 a factor of d?
True
Suppose 71*f + 40 = 79*f. Suppose 0*l = l - f*u - 248, -2*u = -3*l + 679. Is l a multiple of 3?
False
Let i(q) be the third derivative of q**6/12 - q**4/3 + 5*q**3/6 + 30*q**2. Does 11 divide i(3)?
False
Let r = -100 + 111. Suppose r*n = 24*n - 923. Does 38 divide n?
False
Let r be 55/((-21)/(-28) + (-2)/(-8)). Let v = -115 + r. Let w = v - -150. Does 9 divide w?
True
Let b(t) = -t. Let n be b(3). Let l(a) be the first derivative of a**3 + a - 32. Does 15 divide l(n)?
False
Let b = 7007 - 1404. Is b a multiple of 13?
True
Let h(u) = 2*u**3 - u**2 + 41*u + 2380. Does 28 divide h(0)?
True
Does 13 divide 556/2*(23 + 7)?
False
Suppose -17*y - 33800 = -38*y + 11*y. Does 102 divide y?
False
Let p be 2 + (3 - -8)/((-1)/(-138)). Suppose 3*b + 2*m = 1795, m - 314 = 2*b - p. Is 12 a factor of b?
False
Let a = 314 + 481. Is a a multiple of 5?
True
Suppose -2*a = 163*g - 159*g - 47494, 0 = -g - 5*a + 11896. Is 58 a factor of g?
False
Does 40 divide ((-6)/4)/((-176)/5378912)?
False
Let c(q) = -9*q - 16. Let r be c(-4). Let y be (-4)/(r/3)*-5. Is (-2 + -1)*(-250)/y a multiple of 18?
False
Let z = 40 + -66. Let o be (23 + z)*(0 - (-2)/(-2)). Is 51/((6/8)/(o/12)) a multiple of 10?
False
Let h(b) = 4*b**2 + 25*b + 6. Let i be 1/(5/(-5) + 0). Let x be (-2)/(-4)*10*2/i. Is 26 a factor of h(x)?
True
Let r = 1069 + 1817. Does 39 divide r?
True
Let j(g) = -2*g**3 - 32*g**2 + 74*g + 110. Does 22 divide j(-22)?
True
Let l be 70/(-3) - (-2)/(-15)*5. Let a(b) be the third derivative of -b**4/8 - 15*b**3/2 - 3*b**2. Is 9 a factor of a(l)?
True
Does 55 divide 14740/(572/(-33) + 18)?
True
Does 63 divide (1197/(-15))/((-19)/285)?
True
Let r(d) = 226*d - 1816. Does 32 divide r(28)?
True
Suppose 3*w - 726 = -5*u + 4*w, 4*u + 2*w - 592 = 0. Let l = u + -113. Is l a multiple of 12?
False
Let f = 69 - 60. Does 48 divide (-15)/45 - (-3180)/f?
False
Let p(a) = -144*a + 158. Let r be p(5). Let y = -526 - r. Is 9 a factor of y?
True
Suppose 5*v = -3*u + 2*u + 52871, 4*v - 2*u - 42280 = 0. Does 95 divide v?
False
Let s(t) = -4*t**3 - 10*t**2 - 22*t + 32. Does 89 divide s(-7)?
True
Let z be (-10211)/4*(-44)