4*m + 2*o = -3*o - s, 5*m + o - 34 = 0. Is m a multiple of 4?
False
Suppose -724 = -v - 2*x + 7621, -v = -4*x - 8357. Is v a multiple of 247?
False
Let b(s) = s**3 - 7*s**2 + 16*s - 5. Suppose w = -2*m + 3, -2 = 5*m + w - 17. Let y be b(m). Suppose 0 = -y*c + c + 660. Is 22 a factor of c?
True
Suppose 3690670 = 309*a + 253354. Is a a multiple of 27?
True
Let t = -84 + 424. Suppose 0*i + i - t = -4*z, -2*i - z = -666. Does 17 divide i?
False
Is 20 a factor of (-7 - (-14 + 6)) + (5031 - 4)?
False
Let s(w) be the third derivative of -w**6/120 - w**5/20 - w**4/3 - 8*w**3/3 - 7*w**2. Suppose -3*l - 10 = 11. Is s(l) a multiple of 26?
False
Let h = 110 + -110. Suppose h = -2*n + n + 91. Is n a multiple of 20?
False
Let r(m) = 116*m + 3538. Is 3 a factor of r(22)?
True
Is 3 a factor of (-12)/(-6) - (544/40)/((-1)/30)?
False
Suppose -t - 2*d + 7977 = 0, 154*t = 153*t - 4*d + 7985. Does 146 divide t?
False
Suppose -3*o - 3*y + 2283 = o, -3*y + 3 = 0. Is (o/60)/(1 - (-198)/(-200)) a multiple of 50?
True
Let u = -3671 + 6885. Is u a multiple of 97?
False
Suppose -7*p = 33 + 72. Let h = 59 + p. Does 23 divide h?
False
Let m = -4184 - -5304. Does 14 divide m?
True
Suppose 48 = o + 131. Suppose 4*n - v = -137, 0*n + 2*n + 64 = -4*v. Let d = n - o. Is d a multiple of 7?
True
Let n(x) = 2*x**2 + 47*x - 203. Is n(-44) a multiple of 144?
False
Let d be (3/(-6))/(((-44)/(-10200))/11). Let n = 2125 + d. Is n a multiple of 17?
True
Let d be (16/12)/((-2)/21). Let a be (-26)/182 - (436/d - 2). Suppose 197 = 4*m + 3*q, -65 = -2*m - 2*q + a. Is m a multiple of 10?
True
Let j(q) be the second derivative of -q**4/12 + 23*q**3/6 + 9*q**2/2 + q + 17. Does 14 divide j(17)?
False
Suppose 0 = -3*s - 3 + 15. Suppose -3*h + 746 = -4*a, h + 730 = s*h + 4*a. Let y = h - -29. Is 25 a factor of y?
True
Let y = -210 - -212. Suppose 0 = 4*d - y*v - 3876, 4*d - 17*v + 12*v = 3882. Does 88 divide d?
True
Let m = 2130 - 990. Suppose 5*u = u + m. Suppose -3*h + u = h + 3*i, i - 220 = -3*h. Is h a multiple of 15?
True
Let w be (-51)/(-12)*4 + 3. Suppose -w = k + 3*k, -3*q + k + 20 = 0. Suppose 0 = -3*m - 0*o - q*o + 169, 0 = -5*m - 4*o + 273. Is m a multiple of 5?
False
Let z(p) = 2*p**2 + 6*p + 4. Let b be z(-2). Suppose b = 4*h + 3*v + v - 604, 151 = h - 4*v. Is 15 a factor of h?
False
Suppose 204*u - 12*u = 1670976. Is u a multiple of 3?
True
Suppose 0 = -24*s + 638029 + 823931. Is s a multiple of 93?
True
Let j be (-3)/6 + (-822)/(-12). Suppose 0 = 2*w + g - 14, 0 = 2*w + w - 2*g - 21. Let h = w + j. Is 25 a factor of h?
True
Suppose -10 = 4*t + 14. Let o be t/(-10) + 256/40. Suppose -y + o*y = 114. Does 17 divide y?
False
Suppose -15 = -5*m + 2*m. Suppose m*g - 170 = 1260. Is 22 a factor of g?
True
Let v(m) = -2*m - 8. Let k be v(-13). Let s = 22 - k. Suppose s*x - 240 = -4*x. Does 5 divide x?
True
Let y(o) = o**3 + 10*o**2 - 66*o - 1. Is y(-7) a multiple of 38?
True
Let y = -7756 - -24347. Does 47 divide y?
True
Let j be (-218)/2*1 - 0. Let k = 70 + j. Let f = k - -85. Is f a multiple of 33?
False
Suppose -5*a + 0 + 10 = 2*k, -3*a = k - 6. Suppose 0 = l + 4*l - 2*w + 10, -w - 5 = k. Is ((-1)/l)/(-1) + (-225)/(-36) a multiple of 3?
True
Let v = -46 - -48. Let t be 1 - ((-56)/4)/v. Does 10 divide -86*(-2 - -1)*4/t?
False
Let t(w) = 286*w - 73. Let c be t(5). Suppose -1365*q + c*q = -1536. Does 50 divide q?
False
Suppose 4*y + 2109 = 3*x, 4*x + 2*y - 5*y = 2819. Let v = x + -162. Does 80 divide v?
False
Let b = -4071 + 6267. Is b a multiple of 12?
True
Let z be (-5 + 1)*(-6 - -9). Let y(h) = h**2 + 15*h + 40. Let j be y(z). Suppose 4*s - v - 698 = -0*v, j*s - 5*v = 690. Does 35 divide s?
True
Let d(g) = -30*g + 1. Suppose 10 = -4*v + 3*l, -2*v - 2 - 4 = -l. Let q(n) = 120*n - 3. Let t(a) = v*q(a) - 15*d(a). Is t(-4) a multiple of 9?
True
Let h = -320 + 319. Does 62 divide 371 + ((-20)/(-5) + -5)/h?
True
Suppose 3*z + 3*l + 229 = 2773, z - 5*l = 860. Let n be (-320)/(-2) - (-5 - 6). Suppose 7*s - z = -n. Is 13 a factor of s?
False
Let u(k) = k**2 - 11. Let o be u(-4). Suppose 4*r + 32 = -4*h, -o*r - 20 = -2*r - h. Let j(i) = -i**3 - 4*i**2 + 3*i - 2. Is j(r) a multiple of 31?
True
Let i be (-2 + ((-4)/(-2) - 0))*1. Let u(w) = -3*w**2 - 3*w**2 + 2*w**2 - w + 4 + 3*w**2. Does 2 divide u(i)?
True
Let w(y) = y - 2. Let i be w(0). Let d be (-3)/(-2) + (i - (-11)/2). Suppose -d*k + x = -452 + 182, 5*k - 270 = -3*x. Does 7 divide k?
False
Let c(q) = -10*q**3 + 3*q**2 - 4*q + 4. Let u be c(2). Let a be (-10)/4*u/(-12). Is 6 a factor of 944/40 - 6/a?
True
Let q be 0 + (-680)/(-26) + (-18)/117. Suppose q = 4*z - 2*h, -6*z + 10*z + 5*h = -9. Is z*13/(-10)*20/(-8) a multiple of 9?
False
Suppose 567*f - 761742 = -156*f + 117*f. Is f a multiple of 2?
False
Suppose -13*y - 3235 = 3525. Is 18/((-238)/y - 14/35) a multiple of 13?
True
Let l = 2309 - 2561. Let w be -146 + -1 - (1 + -2). Let q = w - l. Does 10 divide q?
False
Let j = 200 + -218. Is 6 a factor of (-21 - j) + (-27)/6*-18?
True
Let y(d) = -139*d - 92. Is y(-28) a multiple of 8?
True
Suppose 11592 = r + 108*v - 107*v, -4*r = -3*v - 46368. Is r a multiple of 84?
True
Suppose r - 16795 = -4*p, -26 = 3*r - 11. Is 12 a factor of p?
True
Let s be 2 - (-979 + (-5 - -1)). Suppose 26*l + s = 31*l. Suppose 0 = -5*o + 3*n + l, -5*n + 8 + 46 = 2*o. Does 8 divide o?
False
Let w be (-23094)/10 - (-183)/(-305). Is 6 a factor of -1 - (-8)/((-48)/w)?
True
Suppose 130*t = -0*t + 863200. Is t a multiple of 7?
False
Does 32 divide 2217572/308 + (-3)/22*12/(-18)?
True
Let n(o) = -3*o**2 + 4*o**2 + 17*o + 325 + 7*o + o**2 - 27*o. Is n(0) a multiple of 6?
False
Let l(v) = 72*v + 11 - 23*v - 27*v + 3*v**2 - 29*v. Is l(5) a multiple of 17?
True
Suppose 0*p + f - 973 = 4*p, 0 = -2*p - f - 485. Let k = 327 + p. Is k a multiple of 2?
True
Suppose 2*z + 17 + 5 = -4*c, -4*c - 4 = -4*z. Does 82 divide 424*(-5)/(c + -1)?
False
Let q be 4/(8/37)*2. Suppose 8 = -41*j + q*j. Is (161 - (-2)/j) + 0/(-2) a multiple of 40?
True
Let m = 14703 + -12153. Is m a multiple of 102?
True
Let a = 64 - 52. Suppose u + 10 = a. Let v = u - -43. Is 9 a factor of v?
True
Suppose 45 = 2*x + 13*x. Suppose -d - 780 = -6*d. Suppose -x*s = -0*s - d. Is 9 a factor of s?
False
Let w(y) = 780*y**2 + 3*y + 4. Let l be (12 - 10)*(-2)/(-8)*-4. Let g(m) = -260*m**2 - m - 1. Let k(q) = l*w(q) - 7*g(q). Is 52 a factor of k(1)?
True
Is (90/21)/(720/3876768) a multiple of 18?
True
Let m(h) = 546*h - 18. Suppose -2*s = 8, -s = 5*q - 10*q + 9. Is m(q) a multiple of 48?
True
Let k(n) = n**2 + 23*n - 46. Let x be k(-25). Suppose -5*f + x*f + 2 = 5*t, f - 18 = -t. Is f even?
True
Let c(d) = d + 3. Let i be (-6)/(5 + -3) + 0. Let r be c(i). Suppose -5*w - 3*x + 648 = r, 4*w + x - 407 = 117. Is 44 a factor of w?
True
Suppose -2*l - 2*b - 2 = 6, 4*b + 16 = -6*l. Suppose -3*s + 6 = l, -4*y + 10*s + 5320 = 8*s. Is y a multiple of 57?
False
Let u be 6*(-3 + 33/9). Suppose m + u*i = i + 118, 0 = 4*i - 16. Is 9 a factor of m?
False
Let o(u) = 313*u**2 + 285*u - 1371. Is 98 a factor of o(5)?
False
Suppose -15454 = 95*o - 97*o - j, -j = 0. Is o a multiple of 54?
False
Suppose 2*c = 8 + 24. Let j(v) = -v**3 + 15*v**2 + 15*v + 21. Let z be j(c). Suppose 0 = -3*w - 2*k - 0*k + 186, z*w - 2*k - 294 = 0. Does 12 divide w?
True
Let r = 355 + -341. Suppose 6937 = r*j - 231. Does 8 divide j?
True
Let b be (0 + 1)/(5 - (-2548)/(-511)). Suppose 2*l + 381 = b. Is 22 a factor of (-9*l/21)/(6/16)?
True
Suppose 5*g + d - 2541 = 0, 1113*d + 1503 = 3*g + 1110*d. Does 24 divide g?
False
Let h(a) = -7*a**3 + 2*a**2 + 23*a + 126. Does 28 divide h(-7)?
True
Let a(h) = 20*h - 13 + 7*h - h**2 + 172. Does 6 divide a(22)?
False
Suppose -u + 3*i + 19457 = 0, -21*u - 97296 = -26*u + 4*i. Is u a multiple of 41?
False
Let b(u) = 15*u**2 + 3*u - 6. Let m be b(-5). Let f = m + -186. Is f a multiple of 8?
True
Let p(o) = -o**3 + 5*o**2 + 3*o - 11. Let s be p(5). Suppose 6 = -3*g, -4*n + 498 = -s*g - 90. Is 29 a factor of n?
True
Suppose -6*h = -13*h + h. Suppose h = -i + 5*p + 111, 3*i - 135 = 2*i - p. Does 34 divide i?
False
Suppose 0 = 2*v + j - 300, 3*j + 107 = 4*v - 513. Suppose -g = 5*c - 655, 22*g + v = c + 18*g. Does 66 divide c?
True
Let b(g) = 2*g**3 - 11*g**2 - 8*g + 3. Let q be b(6). Suppose 0 = -y + v - 2*v + 1, 4*y - 3*v = 39. Does 33 