(-10) - 50966/(-85) a multiple of 20?
True
Suppose -2*v - 7*y = -36139, -4*y = 4*v - 44024 - 28184. Does 59 divide v?
False
Let j be (-5 - (-1 + -2)) + 5. Suppose -4*c + c + r = -18, -2*c + r + 12 = 0. Is 35 + (c/j)/2 + -1 a multiple of 35?
True
Suppose 5*j = 3 - 13. Let y be 2 + j + 8/2. Suppose -y*h + 60 = -h. Is h a multiple of 8?
False
Let s be (-8 - (-8 - -1)) + 16 + 0. Suppose 2*r + 4*w - 212 = 0, 430 = 4*r + 17*w - s*w. Is 27 a factor of r?
True
Let b = -237 + 146. Let v = b - -146. Suppose -3*u = -2*u - v. Is u a multiple of 8?
False
Let y be 4/(-3)*-3 + 423. Suppose 0*h - h - y = -5*r, -4*h + 12 = 0. Is 20/15*-3 + r a multiple of 24?
False
Let v(d) = -9*d - 190. Let x be v(-18). Does 47 divide -5 - ((-9368)/28 - 16/x)?
True
Suppose -126*p + 320247 + 427698 = -216207. Is 152 a factor of p?
False
Suppose -5*n = -x - 12, 9*n - 4*n - 6 = 3*x. Suppose 5*c = n*j + 662, 530 = 2*c + 2*c - 2*j. Let w = 189 - c. Does 8 divide w?
True
Suppose 0 = 5*m + 9 - 99. Let i(h) = -h + 12. Let s be i(m). Is 43 a factor of (-86)/((-15)/s - 3)?
True
Suppose -5*x + 15 = 0, 0*k + 2*x - 3 = -k. Let p(d) = 5*d**2 + 13*d + 34. Is 8 a factor of p(k)?
True
Let r = -97 + 117. Suppose 0 = 4*o - 18*y + r*y - 386, -o = 4*y - 100. Is 9 a factor of o?
False
Let m(k) = 1077*k - 2440. Does 31 divide m(5)?
True
Let i = 2408 + -2400. Let g = -105 + 326. Suppose 0 = -i*f + 315 + g. Does 21 divide f?
False
Suppose 0 = -5*f - 2*w + 16337, -11*f + 13054 = -7*f - w. Is f a multiple of 71?
False
Suppose -5*d = -3*i - 5, d - 29 = 18*i - 23*i. Is (-12 + -136)/(d/(-26)) a multiple of 11?
False
Suppose -3*q + 201 = -k, 2*q = 5*k + 26 + 95. Suppose 5380 = -58*m + q*m. Is 17 a factor of m?
False
Suppose 6223*l - 15740 = 6203*l. Does 2 divide l?
False
Suppose -3*d + 68942 = -5*k, 19*d - 68902 = 16*d - 5*k. Does 14 divide d?
True
Let j(n) = -n**2 - 17*n + 18. Suppose 13*q = 5*q - 120. Let w be j(q). Suppose -12*m = -w - 96. Is m a multiple of 12?
True
Let n = -47 - -47. Suppose -3*c + 3*r + 0 + 12 = n, 2*c = -3*r + 3. Suppose -3*w = -4*y + 164, -2*w + 135 = c*y - 5. Is y a multiple of 11?
True
Let a(y) = 24 - 92*y**3 - 10*y**2 + 0*y**2 - y**2 + 95*y**3 - 4*y. Is a(6) a multiple of 84?
True
Let s = -688 - -683. Does 47 divide ((-1158)/10 + 5 + -2)*s?
True
Suppose 119*o = 5*r + 122*o - 76200, -r + 2*o = -15240. Is r a multiple of 10?
True
Let t be (1 - -1)*(11 + -2). Let j(u) = -u**3 + 19*u**2 - 18*u + 4. Let x be j(t). Suppose -3*h + 76 = 2*f, h - 3*h + 40 = -x*f. Is h a multiple of 24?
True
Let a(s) = -s**3 - 88*s**2 + 1038*s + 122. Is 142 a factor of a(-102)?
True
Is 11 a factor of -1*(-11425 + (-7 - -26))?
False
Let r(o) = 37*o**2 - 3*o - 3. Let v(h) = -22*h**3 + 3*h**2 - 1. Let g be v(1). Let t be ((-2)/10)/((-4)/g). Does 10 divide r(t)?
False
Suppose 1012*o = 1034*o - 59796. Does 33 divide o?
False
Let s(u) = -7*u - 31. Let d(n) = 4*n + 13. Let z(t) = 92*t + 300. Let l(a) = -136*d(a) + 6*z(a). Let c(i) = 3*l(i) + 4*s(i). Is 9 a factor of c(-13)?
False
Let z(j) = -2*j**3 + 9*j**2 + 15*j - 2. Let x be z(-2). Suppose x*m = -1433 + 21193. Is m a multiple of 63?
False
Suppose 205*q - 5738646 = 189758 + 3724021. Is q a multiple of 73?
True
Suppose -95*j = -94*j - 4*w - 13935, -55635 = -4*j - 5*w. Does 150 divide j?
False
Is 42/(-30) - -1 - 54088/(-20) a multiple of 16?
True
Let h be (-1 + 1)*36/(-180). Suppose t = -h*t + 224. Does 14 divide t?
True
Suppose 3*a + a = -4*t + 352, -2*a = 5*t - 176. Suppose -14201 + 14681 = 5*x. Let y = x - a. Is y a multiple of 8?
True
Let r(v) = -v**3 - 2*v**2 - v. Let c be r(-2). Suppose 5*o + 2*w - 3576 = 3*w, 0 = -4*o + c*w + 2856. Is o a multiple of 11?
False
Let a be 2 + -4*(-4)/8. Suppose -z + 30 = -4*x + 3*x, -a*z + 125 = -3*x. Let w = 44 - z. Is 3 a factor of w?
True
Suppose 0 = 3*c + 3*f - 10140, -2*c + 3104 = 4*f - 3664. Is c a multiple of 10?
False
Let i be (-10 - (-48)/8) + (-2)/1. Let a(c) = -118*c + 6. Is a(i) a multiple of 51?
True
Let c(g) = -g**3 + 108*g**2 + 1285*g - 250. Is c(118) a multiple of 13?
False
Let j(w) = -7*w - 10. Let g be j(-3). Let i be g/(33/(-54)) + 0. Is 10 a factor of i/(-72) + 179/4?
False
Let v(n) = n**3 - 20*n**2 + 3*n - 77. Does 11 divide v(24)?
True
Suppose -v + 35 = 4*k, 0 = 14*k - 16*k + 4*v + 4. Suppose -f + k*d = 3*d - 25, -15 = -5*d. Does 5 divide f?
True
Let r(z) = -z + 1. Let g = 18 + -14. Let v be r(g). Does 25 divide -75*v/(-27)*-3?
True
Let a be ((4/(-12))/(-1))/(1/6). Suppose p = 4*p - 132. Suppose a*m + 0*m = p. Is 3 a factor of m?
False
Is (-274556)/(-32) + ((-22)/16)/(-11) a multiple of 110?
True
Let a(w) = w**3 - 2*w**2 - 3*w + 1. Let m be a(5). Let j be 3*(8/(-112) + (-186)/(-252)). Suppose j*t - m = -11. Does 10 divide t?
False
Let o(w) = -w**2 + 149*w - 550. Is o(80) a multiple of 35?
True
Suppose 4*k - 2*x = -0*x - 26, -x + 19 = -3*k. Does 30 divide k/2 + (-58 - -275)?
False
Let t(s) = s**3 - 8*s**2 - 7*s - 1. Let h be t(9). Let u = -13 + h. Suppose j - u*q = 113, 0 = -0*j - 4*j + q + 407. Is 11 a factor of j?
False
Suppose -5886 = -c - 692. Suppose 63*i - c = 49*i. Is i a multiple of 53?
True
Let u be (-93)/(-33) + 16/88. Let b(w) = 63*w + 13. Is b(u) a multiple of 64?
False
Suppose -4 = -l + 4*l - 5*p, 0 = 4*l + p - 10. Let o(y) = 34*y**2 - 4*y + 5. Does 5 divide o(l)?
False
Let q = -88 + 107. Let n(d) be the third derivative of 5*d**4/8 + 34*d**3/3 - 55*d**2. Is n(q) a multiple of 35?
False
Let y(v) be the second derivative of 161*v**4/3 + 5*v**3/6 - 3*v**2 - 2*v + 49. Does 43 divide y(1)?
False
Let w = -7505 - -13872. Is w a multiple of 75?
False
Is 1080/((-5)/(455/(-14))) a multiple of 12?
True
Let o(h) = -7*h - 44. Let f = 70 + -77. Let m be o(f). Suppose -m*j = -5*z + 270, 226 + 0 = 4*z - 2*j. Is 3 a factor of z?
False
Suppose -2*g - 25 = -111. Let r = g + 133. Let z = r - 22. Is z a multiple of 14?
True
Is (112/(-5))/((-8)/1100) a multiple of 10?
True
Let n = 34 + -32. Suppose -n*x = 11 - 15. Let v(o) = 44*o**2 - 5*o + 4. Is 20 a factor of v(x)?
False
Let a be ((489/3)/(-1))/((-28)/(-56)). Let r = -44 - a. Is 11 a factor of r?
False
Suppose -30 = t - 16. Is t/(18/(-15) + 0 + 1) a multiple of 3?
False
Let z(b) = 24*b**2 + b - 10. Let c be z(-4). Let w = c - 365. Does 2 divide w?
False
Suppose 436*w - 2400 = 424*w. Does 29 divide w?
False
Let h = -175 + 162. Let t(m) = m**3 + 16*m**2 + 18*m - 29. Does 4 divide t(h)?
True
Is (-77)/(-2)*36036/539 a multiple of 22?
True
Let l = 3377 - -417. Is 14 a factor of l?
True
Let n be (-30)/(-8) - (5 + (-105)/20). Let h(q) = q**2 + q - 1. Let k be h(2). Suppose r - 115 = -k*p - n, 80 = 4*p + 3*r. Is p a multiple of 2?
False
Suppose 66*g - 55*g = 33. Suppose 2*a + 3*k = 7*a - 670, 2*a - 289 = -g*k. Does 2 divide a?
False
Let b(x) = -55 - 351*x - 316*x + 594*x. Is b(-4) a multiple of 10?
False
Let q(o) = -12*o + 9. Let f be 2/2*(42 - -1). Let t = f + -51. Is q(t) a multiple of 35?
True
Let m(z) = -25972*z - 109. Is m(-1) a multiple of 32?
False
Suppose -33*i = -1272262 + 247942. Suppose -24*m - 11384 + i = 0. Is m a multiple of 13?
True
Let o(u) = 6*u**2 - 52*u - 1723. Is o(-31) a multiple of 13?
True
Is (-264275)/50*(-23 + 13) a multiple of 22?
False
Suppose 54*l = -136*l + 305140. Does 3 divide l?
False
Suppose -10115 = -0*f - 5*f. Suppose -3197 = -6*i + f. Does 36 divide i?
False
Suppose -49*x = -59*x + 80. Suppose 0 = 21*y - x*y - 442. Does 3 divide y?
False
Let k(h) = h**2 + 5*h + 266. Let v be k(0). Let t = 174 + v. Suppose 3*c - t = -c. Is c a multiple of 25?
False
Suppose 106080 = 44639*c - 44635*c. Is 156 a factor of c?
True
Suppose 16*g - 49*g + 916062 = 69*g. Is g a multiple of 7?
True
Let z = -2304 + 4329. Is 9 a factor of z?
True
Suppose 301608 = -138*s + 174*s. Does 118 divide s?
True
Let f = 78 - 78. Suppose 2*c - 112 = -f*i - 2*i, -88 = -2*i + 4*c. Is i a multiple of 15?
False
Let k be -1430*(-2)/(-4)*-5. Suppose -198*y + 203*y = k. Is y a multiple of 13?
True
Let b = 35 + -40. Suppose -4*p + h + 186 = 0, 0 = -6*p + p + 2*h + 231. Let s = b + p. Is 6 a factor of s?
True
Let m be (6/(-8))/(6/(-24)). Suppose -a - 4*b - 9 = 0, -m*b + 5*b = 3*a - 15. Suppose -2*l - 10 = 0, -a*r - l = 3*l - 106. Is 7 a factor of r?
True
Let d = -90 + 93. Suppose -3*p = 3*l - 7*p - 17, -21 = -5*l + d*p. Suppose 6*u = l*u + 63. Is 9 a factor of u?
False
Is ((-