= -13994, -548*m + 2791 = w - 551*m. Is w a multiple of 50?
True
Let h = -192 + 227. Suppose m - 2*s = 36, -5*m + 2*s + 162 = -2*s. Suppose -y + 4*p = -0*p - m, -3*p - h = -y. Is y a multiple of 50?
True
Let n be (-326302)/(-34) - (-28)/(-238). Is 45 a factor of n/105 + 3/5?
False
Suppose -153*b + 130460 = -2*b - 76410. Is b a multiple of 5?
True
Let w = 41 + 107. Let p = 283 - w. Let k = -49 + p. Is k a multiple of 43?
True
Suppose 24*g = 34*g - 16*g + 19734. Is 23 a factor of g?
True
Let l = 26102 - -17396. Is 91 a factor of l?
True
Does 162 divide ((-2 - 29)/(3/(-9)))/(10/2160)?
True
Let b = -41 + 155. Let f = -110 + b. Suppose -a = 2*m - 100, 0 = f*a - 8*a + 5*m + 335. Is a a multiple of 18?
True
Suppose 5*l + 4932 = -4*n, 3*l - 3*n + 3958 = -l. Let c = l + 1543. Is c a multiple of 5?
True
Is (1171/(-4))/(-2*(-13)/(-104)) a multiple of 25?
False
Let u(m) = 37*m**3 + 5*m**2 - 31*m + 84. Is 8 a factor of u(4)?
True
Suppose 5 = 5*r - 2*o + 13, 7 = -5*r + 3*o. Does 17 divide 5 - (r/(-4) - 1075/2)?
False
Let i = -1 - 5. Let g be (-34)/i + 24/(-36). Let b = g - -9. Is b a multiple of 6?
False
Let u = -49 + 251. Let x = -171 + u. Does 8 divide x?
False
Let f = -20736 + 48002. Is 40 a factor of f?
False
Suppose -4*b = 2*m - 20 - 26, 3*m - b = 55. Suppose -a = -l - 0*l - m, -a - 3*l = -23. Is 20 a factor of (-2)/a*4530/12*-4?
False
Suppose -9230*q + 1067534 = -9192*q. Is q a multiple of 10?
False
Let t(v) = 25*v + 68. Let r be t(-3). Is (-606)/(-4)*(13 + r) a multiple of 12?
False
Let u = 51787 - 8867. Is 30 a factor of u?
False
Let a(m) = -8*m - 22. Let p be a(-3). Suppose z - 107 = -2*b + p*z, -76 = -b + 5*z. Suppose 216 = 5*v + b. Does 11 divide v?
True
Suppose 4*q = 7*d - 3*d + 2284, -d = -4*q + 2275. Does 8 divide q?
True
Suppose v = -0*j - 3*j - 2, -5*v = -j - 54. Let f be (1 + 56/(-20))/((-2)/v). Is 424/24 + (-6)/f a multiple of 17?
True
Suppose -53*a - 96*a = -219*a + 811580. Is 62 a factor of a?
True
Let a(y) = y**2 - 33*y - 3. Let u be a(33). Is (-3)/(6/(-2194)) - u a multiple of 22?
True
Let y(c) = c**3 - c**2 + 2*c + 18. Let r = 13 - 13. Let w be y(r). Let p = -7 + w. Does 2 divide p?
False
Let q be 2/(-2)*11 - -1. Let u(n) = 11*n + 36 + 16 + n**2 - 31. Does 8 divide u(q)?
False
Let u be 25/5*(-117)/(-65). Suppose 2*z - 2688 = -3*f, u = -f + 5. Is z a multiple of 45?
True
Is (49668/16)/(49/196) a multiple of 27?
False
Let s be (-42)/(-9)*9/6. Let v be (-54)/2*s/(-21). Does 8 divide (8 - v)*(-36 - -2)?
False
Suppose -4*v + 1638 = -f, -1646 = -4*v - 14*f + 11*f. Is v a multiple of 64?
False
Let b be ((-6)/(-9))/(2 + (-48)/27). Let i be ((-20)/b)/(16/(-24)). Let x = i - -8. Does 6 divide x?
True
Let m(x) = 10*x**2 + 90*x + 1000. Is m(-28) a multiple of 8?
True
Suppose -a = -g - 3*g + 12, 2*g + a - 6 = 0. Suppose -5*u + 24 = -g*u. Suppose 232 = u*z - 10*z. Is z a multiple of 20?
False
Is 155 a factor of (14065 - -1)/((-1287)/195 - -7)?
False
Suppose 25*k + 90*k = 262*k - 6429192. Is 154 a factor of k?
True
Let v(z) = 344*z**2 - 7*z + 6. Suppose 0 + 5 = 5*x. Is 62 a factor of v(x)?
False
Let g(h) = h**3 - 30*h**2 + 52*h + 94. Let c be g(28). Is 6 a factor of c/(-45)*(1629/6 + -4)?
False
Suppose 12 = -5*b - 3*x - 10, 5*x = 2*b - 16. Does 39 divide (-2 - 1748/(-16))/(b/(-8))?
True
Let k(l) = 9*l**2 - 101*l - 38. Is 18 a factor of k(26)?
True
Let k(z) = 51*z**2 + 107*z - 83. Does 31 divide k(23)?
True
Let f be ((-1436)/(-12))/(3/(-9)). Let i = 603 + f. Suppose -302 - i = -14*u. Is u a multiple of 16?
False
Let s(y) = -22*y**2 - 11*y - 34. Let z(m) = -10*m**2 - 6*m - 17. Let w(p) = -6*s(p) + 13*z(p). Is w(16) a multiple of 6?
False
Suppose 0*y + 64 = 16*y. Suppose 12*j + y*k - 2324 = 9*j, -16 = 4*k. Is j a multiple of 11?
False
Let y = 35585 - 29800. Does 65 divide y?
True
Let y = 1548 - 406. Let r = y - 648. Does 5 divide r?
False
Let g = 3308 - 1542. Does 22 divide g?
False
Let h be 452795/(-385) - 2/(-2 + -20). Is (h/32)/(1/(-4)) a multiple of 7?
True
Suppose 4788 = 3*x + 4*x. Suppose 10*z = z + x. Is 10 a factor of z?
False
Suppose 3*t = 4*j + 15, j + 5*t - 25 = -0*j. Suppose j*l = -4*l + 20. Suppose -202 = -f - f - 4*q, l*q = f - 80. Is f a multiple of 11?
False
Let d(m) = m**3 + 11*m**2 - 61*m - 54. Is 18 a factor of d(19)?
False
Suppose 56*j = 35*j + 309960. Does 45 divide j?
True
Let k(o) be the second derivative of o**5/40 + 15*o**4/8 - 5*o**3/2 - 9*o. Let z(b) be the second derivative of k(b). Is 24 a factor of z(25)?
True
Is (4 + -11)/(3 + (5 - 9))*263 a multiple of 51?
False
Let f(s) be the second derivative of s**4/12 - 7*s**3/6 - 4*s + 9. Is 16 a factor of f(-16)?
True
Suppose -n - 4*y + 29 = 0, 5*y - y = -4*n + 128. Suppose 5 = 2*u + 3*u - 5*x, 0 = 2*u + 5*x + n. Is (-6)/u + 27/18 - -78 a multiple of 30?
False
Suppose 53*o = 84*o - 39*o + 112240. Is o a multiple of 122?
True
Let z(d) = -d + 192 - 84 - 94. Let g be z(-8). Suppose 4*k = g*k - 288. Does 16 divide k?
True
Let g(z) be the second derivative of -10*z**3/3 + 14*z**2 + 13*z. Does 8 divide g(-3)?
True
Let x(k) = k - 53. Let q be x(0). Let w = q + 44. Is 7 a factor of (-573)/w - (-2)/(-3)?
True
Let y(q) = q - 14. Let l be y(14). Let o be (4 + -1 + l)/(6/10). Suppose 5*m - 270 = -5*z, 4*m + 53 = -o*z + 272. Is m a multiple of 7?
False
Suppose -a + 6743 = 4*p, -5*p - 4*a + 10132 - 1706 = 0. Let z = p + -1125. Is z a multiple of 11?
True
Is (132917/6)/1 + 31/6 + -6 a multiple of 13?
True
Let w(g) = -g - 11. Let d be w(-11). Suppose d = 4*k - 3*r + 945, -3*k - 4*r = 552 + 138. Let o = 344 + k. Is 16 a factor of o?
False
Suppose -5*i = s - 2*s + 2075, -i + 6241 = 3*s. Does 65 divide s?
True
Let u be 12/96 + 1 + (-8382)/(-16). Suppose -6*k + 13*k - u = 0. Is 4 a factor of k?
False
Suppose -5*k + 582 = x, -4*k = 4*x - 2*x - 1176. Suppose -2*w + 284 = o, 3*w - 4*o - x = -w. Is 6 a factor of w?
True
Let a(d) = 3*d**2 + 48*d - 1677. Does 164 divide a(-100)?
False
Let k(u) be the second derivative of 3*u**2 - 7/20*u**5 + 2/3*u**3 - 5*u + 0 - 1/4*u**4. Does 26 divide k(-3)?
True
Let k = 16318 - 13402. Is 31 a factor of k?
False
Let w(b) = 2*b**2 - 5*b + 7. Let q be 14*1/6 - (-3)/(-9). Let u be w(q). Suppose -u*c = y - 121, -2*c + c - 463 = -4*y. Is y a multiple of 29?
True
Suppose -p - 5*i + 20001 = 0, 33*i + 36 = 37*i. Does 38 divide p?
False
Let l be 171/3 + (-1 - -1). Suppose -3*t + 140 = t. Let r = t + l. Is r a multiple of 24?
False
Let q be (-766)/(-4)*(-12)/(-66)*11. Let k = q + -379. Does 4 divide k?
True
Suppose 4*h - 12*h + 8 = 0. Let b(u) = -u**2 + u + 1. Let t(n) = 4*n**2 - 3*n - 24. Let m(q) = h*t(q) + 3*b(q). Does 12 divide m(-8)?
False
Suppose -158 + 10 = -4*y. Let f = y + 150. Does 3 divide f?
False
Let u(r) = -r**3 + 9*r**2 + 6*r - 3. Let d = -5 + 14. Does 3 divide u(d)?
True
Suppose 68 = 2*x - x + 2*z, -x = 3*z - 68. Suppose -46 - x = -2*y. Let n = y + 247. Is 38 a factor of n?
True
Does 37 divide (-2)/(-3) + (-18064)/(-432)*9?
False
Suppose -4*d - 9*w + 4 = -7*w, 4 = -2*d + 2*w. Suppose d = 5*l + u - 404, -6*u + 92 = l - 3*u. Is 8 a factor of l?
True
Let r(t) = 2*t - 32. Let g be r(18). Is 11 a factor of -6 - (3 - g - 82)?
True
Suppose 0 = -39*d + 796 + 958 + 1834. Is d a multiple of 4?
True
Suppose -125031 = -32*o + 55961. Is o a multiple of 23?
False
Suppose -24 = -8*h + 5*h. Let r = h + 0. Does 11 divide (7 - r) + 10 + 2?
True
Let o(i) = 5023*i - 8940. Does 16 divide o(4)?
True
Suppose -108*v = 107*v - 196*v - 155002. Does 36 divide v?
False
Suppose -3*a + 7 = -l, -2 = 5*l + 4*a - 5. Let g be 2030/(-50) - 2*l/(-5). Let i = 4 - g. Is 9 a factor of i?
True
Let i be ((-1)/(-3))/(1/69). Suppose -f + 0*f + 4*x = -i, -2*f - 5*x = -20. Suppose -17*t + 108 = -f*t. Is 7 a factor of t?
False
Let s = -4975 - -8978. Suppose 5*h - s = -v, 0 = -h - 5*v + 513 + 302. Is h a multiple of 32?
True
Suppose 17*q - 31*q - 126 = 0. Is -7 - (-1428)/(-7 - q) a multiple of 55?
False
Let z(t) = -8*t + 16. Let x be z(-4). Suppose -j + x - 18 = 0. Suppose 4*k + b - 42 = -b, -5*k + 2*b + j = 0. Is 6 a factor of k?
False
Suppose w = -23 - 109. Let m = w - -164. Does 8 divide m?
True
Let m(f) be the first derivative of 7*f + 1/4*f**4 + 3*f**2 + 19 + 7/3*f**3. Is m(-5) a multiple of 8?
False
Suppose 5*o = 3*b - 15, -2*b - 1 = 5*o + 14. Suppose -u + b*u + 33 = 0. Does 11 divide -5*((-225)/u - 