(-1 + -2 - d). Suppose 5*g - 3*m - 108 = 0, -2*m + m - 116 = -j*g. Does 24 divide g?
True
Let j = 7444 + -2989. Let z be ((-8)/(-10))/(22/j). Suppose 2*u - z + 36 = 0. Is 9 a factor of u?
True
Suppose 5*u = 2*t - 7, -3*t + 0*t + 2*u = -5. Let a be 6/((3/2)/t). Suppose i = -0*o - 4*o + 43, -a*o = -i + 35. Is i a multiple of 13?
True
Let c(n) = 33*n**2 - 31*n + 2. Does 34 divide c(-13)?
False
Suppose -2*v - 300 = -2*g, -121 = v + 5*g + 59. Let j = 97 - v. Is j a multiple of 9?
True
Let u = 176 - 173. Suppose 0 = -2*p + u*n + 1289, -1274 = -5*p + 3*p - 2*n. Does 32 divide p?
True
Let t be (-20)/(-6)*45/30. Suppose t*j - 66 = 39. Suppose -3*s + 1 = -2*s, 0 = 2*v + 3*s - j. Is 9 a factor of v?
True
Let g(y) be the third derivative of 0*y + 0 + 25/6*y**3 + 1/60*y**5 - 4*y**2 - 1/8*y**4. Is 5 a factor of g(0)?
True
Suppose 42*o + c + 175 = 43*o, 0 = -3*o - 4*c + 518. Suppose o*b + 1152 = 177*b. Does 8 divide b?
True
Suppose -9279 = -12*i + 5*i - 2*i. Is 58 a factor of i?
False
Let v(a) = -2*a**3 + 291*a + 1399. Does 6 divide v(-5)?
False
Suppose 0 = 73*b - 14*b - 93574. Does 13 divide b?
True
Let v(n) = -n**3 + 6*n**2 - 6*n + 12. Let i be v(7). Let m = i + 80. Is 16*3/15*(6 - m) a multiple of 16?
True
Let l(c) = -4*c - 76. Let n be l(-21). Suppose -n*t - 3*t = -2200. Is 50 a factor of t?
True
Let t(d) = -126*d - 94. Let w be t(-5). Let r = -204 + w. Does 83 divide r?
True
Let t be (24/(-9))/(18/(-297)). Let z = 218 - t. Is z a multiple of 10?
False
Let k be -6*1/((-12)/8). Suppose 4*x - 382 - 485 = -3*o, -k*x + 5*o = -859. Suppose -18*g + 15*g = -x. Is 18 a factor of g?
True
Let b be 2/4 + -2 + (-3)/(-6). Is (-19 + b)/((-1)/5) a multiple of 20?
True
Let r = 5013 - -10008. Is r a multiple of 8?
False
Let y be (-31)/(-11) - (-20)/110. Let v(p) = -53*p + p**2 + p**2 - y*p**2 - 14 - 2*p**2. Is v(-17) a multiple of 9?
False
Let i(f) = -f**3 - 10*f**2 - 2*f. Let j(c) = c**3 + 10*c**2 + 3*c. Let k(q) = -3*i(q) - 4*j(q). Let x be k(-10). Let a = -25 + x. Is a a multiple of 5?
True
Does 3 divide ((-11224)/5)/((68/204)/(10/(-6)))?
False
Suppose 4*z = 28, z - 3578 = -2*c + 3365. Is 66 a factor of c?
False
Let l = 15768 - 8320. Is 28 a factor of l?
True
Suppose 13*h + h = 4*h. Suppose h = 3*s - 6, -5*s - 1571 = -5*d + 2*d. Is d a multiple of 22?
False
Suppose 25*v = 8*v + 544. Suppose v*j = 31*j + 785. Does 79 divide j?
False
Suppose -1 = -2*s + 19. Suppose 0 = -s*f + 3141 + 4659. Is f a multiple of 20?
True
Let o(j) = 2*j**2 + 4*j + 4. Let l be o(-3). Let y be ((-32)/40)/((-4)/l). Does 4 divide -1*y/(-6) - 136/(-6)?
False
Let c(a) = -38*a**3 + 10*a**2 + 34*a + 118. Is c(-4) a multiple of 3?
True
Let g(p) = -p + 17 - 6*p - 56. Let j be g(-13). Let u = j + -36. Is u a multiple of 8?
True
Let p = -7341 + 7858. Is p a multiple of 104?
False
Let c(y) = 3*y**3 + 21*y**2 - 7*y + 4. Let u be c(-6). Suppose 2*k - 67 = -d, -2*d - u = -3*k - k. Is 18 a factor of k?
True
Let v(d) = -d**2 + d - 1. Let m(g) = g**3 + 20*g**2 - 42*g + 31. Let n(t) = -m(t) - 5*v(t). Let x be n(-18). Let f = x - 196. Is f a multiple of 12?
True
Is 12 a factor of 13/26*-180*(-1)/(3/584)?
True
Let v = -957 + 3189. Suppose -35*s = -37*s + v. Does 26 divide s?
False
Let c = -505 - -1291. Suppose -2*v + c = -5*m, -v = -m + 5*m + 634. Is 2/(-8)*3*(2 + m) a multiple of 40?
False
Let u = 26 + 1. Does 15 divide 5/((-6 - -3)*(-3)/u)?
True
Let z(r) = -r**3 + 15*r**2 - 31*r + 8. Let y = 113 + -109. Does 6 divide z(y)?
True
Let x be 2 - 44/16 - 101/4. Is -2 - 19*(x + 7) a multiple of 19?
False
Let i(c) = 3*c**2 - 3*c - 504. Does 6 divide i(46)?
True
Does 33 divide -39340*(-14 + 2)/12?
False
Suppose -162 - 234 = -3*q. Let m(w) = 368*w + 1486. Let u be m(-4). Suppose u*d - 11*d = q. Does 15 divide d?
False
Does 21 divide (-4)/22 + (-752)/66*369/(-2)?
False
Let y = -18 - -746. Let r = 699 + -682. Suppose -4*s = -r*s + y. Is 38 a factor of s?
False
Is (-50)/(-10) + (13 + -6)/(-7) + 5908 a multiple of 24?
False
Suppose 5*j = -4 + 4. Is 19/(38/500) - (j - 0) a multiple of 80?
False
Let y = 95 - 135. Let t = 43 + y. Suppose -5*o = -t*o - 200. Is o a multiple of 25?
True
Suppose 8031 = -42*c + 45*c - 3*g, -8061 = -3*c - 3*g. Is 18 a factor of c?
True
Suppose 6*g = -3 - 9. Let d = g - 7. Let n(s) = s**2 + 5*s + 10. Does 38 divide n(d)?
False
Let p be (9/6 + 15/(-10))/2. Suppose -5*j = 3*c - 228, c = 2 - 1. Suppose j = x - p*t - 4*t, 3*x = 2*t + 95. Is 11 a factor of x?
False
Suppose -y + 11 = -5*v - 0*v, -5*v + 2*y - 12 = 0. Does 8 divide (8 - 2)*(v - 57/(-6))?
False
Let y(m) be the first derivative of m**3 + 9*m**2 + 8*m - 9. Let d be y(-8). Suppose 58*j = d*j + 94. Is j a multiple of 47?
True
Let q(p) = 24 - 1405*p**2 + 4*p + 705*p**2 + 706*p**2. Is 18 a factor of q(-6)?
True
Let u = -421 - -114. Let s = u - -434. Is 10 a factor of s?
False
Let w(j) = 98*j**2 - 38*j + 159. Is w(5) a multiple of 41?
True
Let l(x) = 356*x - 2074. Is l(41) a multiple of 22?
False
Let k = -394 + 394. Suppose 2*n + 2*s - 240 = k, n - 2*s - 97 - 20 = 0. Is n a multiple of 4?
False
Is 473/165 - 3 - 63452/(-15) a multiple of 25?
False
Let l = 142 + -154. Does 11 divide (10/l + (-8)/(-24))*-132?
True
Let v = 39 + 2. Suppose 0 = -3*k - 41 + v. Suppose 2*x + 2*h - 18 = 392, -2*x - 4*h + 402 = k. Is x a multiple of 11?
True
Let a(f) = -2*f**3 - 7*f**2 - 10*f - 5. Let g be a(-4). Is 20 a factor of (g/(-85))/(1/(-445))?
False
Suppose -48*c + 31 = -161. Suppose 4*y + 924 = 4*v, v = -c*y + 8*y + 216. Does 11 divide v?
False
Suppose 3*l + 3*l = 54. Suppose -2*o - 4*x = 20, 34 = 5*o - 5*x + l. Suppose -7*p + 518 = -o*p. Does 34 divide p?
False
Let u(r) = -20*r - 94. Let v be u(-5). Is 14 a factor of (v - 7) + (0 - -113)?
True
Let h(x) = x - 1. Let z be h(-12). Let u be ((-11)/(-33))/(1/(-114)). Let i = z - u. Is i a multiple of 25?
True
Suppose -12*b - 3*b + 5805 = 0. Is b even?
False
Is (6/(-15))/(64/(-783520)) a multiple of 21?
False
Let w(z) = z**3 - 16*z**2 - 2*z - 11. Let m be w(16). Let t = m + 48. Suppose 5*x + 2*a - 79 = 0, 0 = -3*x + t*x - 2*a - 40. Does 17 divide x?
True
Let p(q) = 37*q + 433. Let f be -12 - 2/(-10)*5. Is p(f) a multiple of 26?
True
Suppose 4*b - 376 = 432. Let m = -194 + b. Does 8 divide m?
True
Suppose -14754*q + 544050 = -14715*q. Does 50 divide q?
True
Is 3800 + 4 - (11 - 18) a multiple of 43?
False
Let m(s) = 502*s**2 + 36*s - 190. Is 165 a factor of m(5)?
True
Suppose 45 = 17*x - 91. Is 15 a factor of 4/x*-6 + 1354?
False
Let k(b) = b**2 + 27*b + 198. Let i be k(-21). Let x = i - -39. Is x a multiple of 11?
False
Let c(s) = 1 + 15*s - 9*s + 20*s. Suppose 0 = g + 2*f - 8 - 2, 2*g + f - 14 = 0. Is c(g) a multiple of 18?
False
Suppose 340*p - 368*p + 306908 = 0. Is 7 a factor of p?
False
Let j(c) = -4*c**3 + 3*c**2 + 2*c. Let q(i) = -10 + 10 + 45*i**2 - 15*i - 46*i**2 + 14. Let z be q(-16). Is j(z) a multiple of 8?
True
Let v = -490 + 794. Let m = 67 + v. Is 33 a factor of m?
False
Let f = 5337 - 7784. Let j = 3637 + f. Is j a multiple of 34?
True
Suppose -5*m = -4*p - 331, -2*m = p + 44 + 29. Let w(i) = i**2 - 7*i - 15. Let y be w(-8). Let l = p + y. Is l even?
True
Let t(u) = u**3 - 13*u**2 + u - 10. Let v be t(13). Suppose 1014 = 2*o - s, -26 + 14 = -v*s. Is o a multiple of 15?
False
Let t = 13 + -10. Suppose -2 = 2*l, 3*l + 7 = -f + t*f. Is 6 a factor of (-13)/26 - (-69)/f?
False
Suppose 0 = -5*o - 4*j - 2965, -4*o + 3*j - 2673 = -301. Let s = -554 - o. Is 4 a factor of s?
False
Suppose 11*o - 2*x + 23010 = 15*o, -4*o + 3*x + 23025 = 0. Does 11 divide o?
False
Does 72 divide (-2)/6 + ((-117957)/(-9) - 2)?
True
Is 2 + ((-1)/4*-38145 - 190/152) a multiple of 173?
False
Suppose 6*h = -7*h. Let s be (-10 - 0)/(h - -1 - 2). Suppose -8*g = s - 90. Is g a multiple of 7?
False
Suppose 49 = 10*y - 17*y. Let o(w) = 4*w**2 - 25*w - 74. Is o(y) a multiple of 9?
True
Let y = 1604 - -486. Does 95 divide y?
True
Let k = 18358 - 12406. Suppose -2*m + 10*m - k = 0. Is 21 a factor of m?
False
Suppose 0 = -2*q - 229 + 1071. Suppose 3*x = -2*c - 755, 5*c = -x - 0*c - 243. Let n = x + q. Is n a multiple of 14?
True
Let s(w) = -6 + 15*w + 11 - 75*w**2 + 10 - 1 + 112*w**2. Does 35 divide s(-5)?
False
Suppose 8*h - 17*h - 1008 = 0. Let c be 4 - -2*212/(-8). Let b = c - h. Does 6 divide b?
False
Let t(v) = -3*v**2 + 29*v - 13. Let b be