 of 11?
True
Let a be ((-95)/76)/(2/(-8)). Suppose c - 1782 = -4*v, -3*c + 1 = -a. Does 5 divide v?
True
Let y = 19673 + -17183. Is y a multiple of 30?
True
Let b = -106 - -109. Suppose -298 = -b*x - 37. Let v = x - 77. Is 4 a factor of v?
False
Let p(s) = -s**2 - 20*s + 46. Suppose 19 = -2*r - 13. Is 10 a factor of p(r)?
True
Let d(m) = -8*m**2 + 11*m**3 + 7*m**2 - 12*m**3 + m + 3. Let v be d(2). Let n(i) = -i**2 - 19*i - 28. Is 10 a factor of n(v)?
False
Let g = -39779 + 56879. Is 50 a factor of g?
True
Let a be ((-2628)/(-42))/((-2)/(-14)). Suppose 0 = d + 5*c - 424, 5*c - 3*c + a = d. Is 14 a factor of d?
True
Let c = 4140 + -3331. Is 2 a factor of c?
False
Let j be (-17 - -1)*(51/6 - -3). Let y = j + 202. Is y a multiple of 8?
False
Suppose -3*j + 151 + 3694 = -z, -5*j + 6420 = -4*z. Is j a multiple of 10?
True
Let k(u) = -u**3 - 12*u**2 + 39*u - 145. Is 120 a factor of k(-25)?
False
Suppose 0 = 3885*v - 3901*v + 186320. Is v a multiple of 17?
True
Let o(n) = 867*n**2 + 5*n - 5. Let x = -97 + 98. Is 51 a factor of o(x)?
True
Suppose -55350 = -3*i - 5*m + 8*m, 0 = 4*m + 24. Is 7 a factor of i?
False
Let j(d) = 10 + 60 - 54*d + 12 + 4 + 35. Does 89 divide j(-6)?
True
Suppose -26872 - 49798 = -133*s - 22672. Is 58 a factor of s?
True
Suppose -i + a - 3*a = -115, 3*a - 568 = -5*i. Let n = i + 58. Does 3 divide n?
True
Let p(c) = 11*c**3 - 26*c**2 + 153*c - 2. Does 35 divide p(5)?
False
Let r = 1696 + -800. Is r a multiple of 16?
True
Let z(x) = -x**3 - 6*x**2 - 3*x - 3. Let w be z(-7). Suppose t + 5 - 4 = 0, -3*o - 5*t = -w. Is o a multiple of 12?
True
Let p(v) = -779*v - 505. Is 50 a factor of p(-12)?
False
Let z = 78 - 74. Suppose 0 = -z*n + 12 + 4. Suppose -n*j + 108 = -j. Is 18 a factor of j?
True
Let l be -4 + 7 + (636 - -1). Suppose -19*i = -21*i + l. Is i a multiple of 34?
False
Suppose -i = 3*o - 555, 4*i + 5*o - 364 = 1835. Is i a multiple of 2?
True
Let t(r) = -10*r - 3. Let c(y) = 9*y + 3. Let v(d) = 2*c(d) + 3*t(d). Is 10 a factor of v(-29)?
False
Let r be ((-3)/2)/3*(2 - -2). Is 26 a factor of (r/8 + (-107)/(-12))*30?
True
Let a be -4 - 2/(-4)*22. Let m be 18/((1/10)/(21/35)). Suppose -m = -a*v + 6*v. Is 27 a factor of v?
True
Let b = 592 + -221. Let o = b + -209. Is o a multiple of 17?
False
Is 31 a factor of (-17112)/15*(-60)/24?
True
Suppose -409*u + 3255 = 5*o - 414*u, -o - 5*u + 681 = 0. Does 82 divide o?
True
Suppose 9*s = 5*x + 10*s - 92447, -4*x + 3*s = -73931. Is x a multiple of 101?
False
Suppose 157*i + 3 = 154*i, -c = 3*i - 4682. Is 47 a factor of c?
False
Let a = 38 + -30. Suppose -a*b - 72 = -6*b. Is 24 a factor of 18/b + (-1)/(-4)*866?
True
Suppose 0 = -r + 12 - 8. Let u(b) = -b**2 + 2*b + 13. Let l be u(r). Suppose 89 = -l*p + 549. Is 16 a factor of p?
False
Does 93 divide (3/1 - 5)/(6/37968*-4)?
False
Let q(t) be the third derivative of -t**6/120 + t**5/12 + 17*t**4/24 - 5*t**3/2 - 5*t**2 - 10. Is q(4) a multiple of 11?
False
Let d(c) = -2*c**3 + 10*c + 20. Suppose -f + 19 = -5*f + m, -4 = 4*f + 4*m. Let n be d(f). Suppose -q - n = -3*q. Is 18 a factor of q?
True
Let v = -2187 - -5235. Is 24 a factor of v?
True
Let k(n) = 806*n**2 + 1. Let o be k(1). Suppose -348 = -11*j + o. Does 58 divide j?
False
Let f = -404 + 406. Does 3 divide -1 + f - 3/(6/(-454))?
True
Is 194 a factor of (1876/(-48) - -11)*141*-4?
False
Suppose 6*v - 571 = -q + 2*v, -4*q - 2*v + 2312 = 0. Let u = q - 196. Let g = u + -266. Is g a multiple of 31?
False
Let m be 7 + (-25)/5 + 0. Suppose 0 = 4*x - 2*j, 8 = -5*j - m. Does 51 divide 2/4*(x + 103)?
True
Suppose -177855 = -136*q + 422784 + 30537. Is 17 a factor of q?
True
Let l(f) = -2*f**3 - 85*f**2 - 48*f - 145. Does 8 divide l(-43)?
True
Let u be 2 + (1 - 24/(-2)). Let h(s) = 3*s + s**3 + 190*s**2 - 18*s + 13 - 204*s**2. Is 3 a factor of h(u)?
False
Let n(z) be the second derivative of z**5/20 + 5*z**4/12 - 5*z**3/3 - 2*z**2 + 25*z. Suppose -18 = 6*m - 3*m. Is n(m) a multiple of 6?
False
Let h = -257 + 252. Does 12 divide -1*(h + 1 - (100 + -3))?
False
Let b = -5000 + 7440. Is b a multiple of 61?
True
Suppose 3*w - 9 = -5*n, 13 = 2*w - 4*n + 5*n. Suppose -22*r + 3*t = -24*r + 358, 4*t - w = 0. Is 13 a factor of r?
False
Is 170 a factor of (366/(-9) + -6)/(36/(-7344))?
True
Suppose -64 = -5*k + 56. Let v = k - -56. Is 8 a factor of v?
True
Let n(k) = k**3 + 9*k**2 - 17. Let f be n(-11). Let p = 573 + f. Is 11 a factor of p?
False
Let b(l) = 0*l**2 - l**2 + 2*l + 0*l**2 + 130. Is 13 a factor of b(0)?
True
Let r(k) = 12*k**2 + 23*k - 45. Let i be r(-14). Let b = i - 965. Does 60 divide b?
True
Does 58 divide 738/27*1*((-929)/(-2) + -4)?
False
Let f = -66 + 25. Let x = f + 53. Suppose -x*s + 24 + 204 = 0. Is 4 a factor of s?
False
Let c = -4567 - -8587. Is c a multiple of 6?
True
Suppose -6 = -2*s + 2*x - 3*x, 0 = 5*s + 2*x - 15. Let y be -77 - 4/(-1 + s). Let l = y - -117. Is 19 a factor of l?
True
Let l(r) = -r**2 - 2*r + 27. Let s be l(-6). Let x = s - 2. Suppose 0 = -b + x, 52 = -5*i + 6*i - 4*b. Is 8 a factor of i?
True
Let i = -1521 + 5670. Suppose 11*z + i = 20*z. Is 6 a factor of z?
False
Suppose -g = 2*a, 2*a = -3*g - a + 6. Suppose g*o - 2316 = -2*o. Is 23 a factor of o?
False
Let y(s) = -23*s + 9. Let m(l) = 24*l - 10. Let a(b) = -7*m(b) - 6*y(b). Let q be a(-5). Suppose r = -r + 3*p + q, 0 = -2*r + p + 158. Is 9 a factor of r?
False
Let a = 4134 + 451. Is 22 a factor of a?
False
Suppose -30 = 3*h + 3*m, 3*h - 16 = 5*h + m. Does 16 divide (h - (-68)/12)/(2/(-642))?
False
Let u(j) = 198*j**2 + 10*j + 34. Is 13 a factor of u(-9)?
False
Let l(n) = -14*n - 109. Let w be l(-9). Suppose -w*t + 2*t = -4275. Does 28 divide t?
False
Suppose 8*n - 23430 = -7*n. Let y = n - 861. Is 10 a factor of y?
False
Let k(h) = 2064*h + 1067. Does 119 divide k(3)?
True
Let s(h) = -h**2 + 203*h - 13. Does 4 divide s(21)?
False
Let m(n) = -4*n - 19. Let s be m(-9). Suppose -s = -3*w - l, -4*w + 10 + 22 = -l. Suppose -w*y + 8*y - 149 = 0. Is 17 a factor of y?
False
Let b be (1089/36)/((-2)/(-96)). Suppose -h + 5*g + 1125 = 0, -3*g = -h - 331 + b. Does 17 divide h?
False
Let l = -25 - -27. Suppose -5*k + 0*n + 810 = 4*n, -l*n = 0. Suppose 0 = 6*q + k - 690. Is q a multiple of 33?
False
Suppose 141*q + 161*q - 55*q - 4919746 = 0. Does 10 divide q?
False
Let g = -587 + 636. Is ((-94)/10)/(g/(-245)) a multiple of 11?
False
Let q(s) = s - 10. Let x(d) = -3*d + 21. Let y(h) = 5*q(h) + 2*x(h). Let g be y(-13). Suppose 0*o = o + 2*j - 103, 0 = -5*o - g*j + 505. Is o a multiple of 11?
True
Let h = 1151 - -703. Does 80 divide h?
False
Does 13 divide (0 - 18) + 12 + 13916?
True
Let u(t) = t + 21. Let a be u(-11). Suppose -c - 14 = 3*w, 0 = 3*c - 0*c + w + a. Is 22 + c + 4 + 0 a multiple of 8?
True
Suppose 4*c = 5*p + 944, 4*c + 7*p - 916 = 5*p. Let u = 491 - c. Is u a multiple of 13?
True
Let u(k) = 3*k**2 - 38*k - 18. Let q be u(8). Let p = q - -171. Is p a multiple of 2?
False
Is 2/(-23) + 2414235/989 a multiple of 4?
False
Suppose 4*q + 3*h - 22 + 832 = 0, 2*h + 808 = -4*q. Let v be -2 - ((-18)/(15/5) + 1). Is 0 - (q/v - -3) a multiple of 16?
True
Suppose d - 12904 = -5*z + 5314, 90874 = 5*d - 2*z. Is d a multiple of 52?
False
Let u = 702 + 559. Let j = 337 + u. Is 17 a factor of j?
True
Is 19 a factor of -13 + -1 - (5 - 684)?
True
Let u(n) = -114*n + 1958. Is 22 a factor of u(-35)?
False
Let w = 16811 + -6390. Is w a multiple of 17?
True
Suppose p - q - 43 = 0, -3*p + 5*q + 51 = -70. Suppose 7 = -8*f + p. Suppose -2*o + 519 = 3*h, -2*h - 4*o + 353 = -f*o. Is 30 a factor of h?
False
Suppose 0 = -4*m - 5*t + 38075 - 14465, -5*t = 2*m - 11800. Does 12 divide m?
False
Suppose -5*j + 45015 = -5460. Is j a multiple of 83?
False
Let f(l) = 2*l + 771. Let p be f(0). Suppose 2*t = -t - 3*h + p, h + 523 = 2*t. Let s = -89 + t. Is 37 a factor of s?
False
Let z = 125 - 127. Is 34 a factor of (-613)/z - (-52)/(-104)?
True
Suppose -4*s + 1690 + 531 = -l, -4*s + 2222 = -2*l. Is s a multiple of 15?
True
Let d be ((-20)/12)/((-1)/(-9)). Let f = -1 + d. Does 16 divide ((-58)/(-8))/((-4)/f)?
False
Suppose 268128 = 40*a + 2*a. Does 41 divide a?
False
Let z(t) = -7*t + 79. Let x(v) = 3*v - 39. Let o(i) = -11*x(i) - 6*z(i). Let r be o(13). Let q = r + -30. Is q a multiple of 8?
False
Let b = 15508 + -8812. Is 15 a factor of b?
False
S