 s = 261 + o. Is s a multiple of 8?
False
Suppose 18*t = 16*t + 5*a + 1231, 1818 = 3*t + 2*a. Is t a multiple of 76?
True
Let r be (12/5)/(54/(-15) + 4). Suppose r*m = 3*m + 6. Suppose -3*v + 4 = -11, m*a - 2*v = 36. Does 6 divide a?
False
Suppose 2658970 = 307*q - 4836778 - 6042338. Does 17 divide q?
True
Suppose -18*h - 2736 = -36*h. Let z = 228 - h. Is 22 a factor of z?
False
Is 8 a factor of 30/(-50) + 31076/10 - 5 - 6?
True
Let y(w) = 3*w + 33. Let n be y(-11). Is n - (2385/(-30))/(2/4) a multiple of 46?
False
Let m(x) be the third derivative of -5*x**6/12 - x**5/15 - 5*x**4/12 - 8*x**3/3 - 75*x**2 - 2*x. Does 21 divide m(-2)?
False
Let r = -66 + 116. Let w be (10 - (-352)/(-36))/(4/72). Suppose -2*i - w*l + 42 = -0*l, 2*i - 4*l = r. Is 11 a factor of i?
False
Let t be 3346 - 1 - (-59 + 55). Suppose 14*y - 1005 = t. Does 58 divide y?
False
Suppose -656 = -13*k + 33. Suppose k = s - 53. Is s a multiple of 5?
False
Suppose -5*l - 5*g + 13465 = 0, 3320 - 11364 = -3*l + 2*g. Does 81 divide l?
False
Suppose -5*q + 2*p = 6*p - 27, -q - 5*p = -18. Is 15 a factor of (q - 4)/((-2)/(2 - -560))?
False
Let p(f) = 2932*f + 18994. Is p(8) a multiple of 354?
False
Suppose 2*m - 44 + 40 = 0. Is 13 a factor of 520/m + (1 - 0)*-1?
False
Is (875446/4 - -17)/12 + (-2)/(-16) a multiple of 64?
True
Suppose -249 - 1480 = -13*g. Let i = -133 + g. Suppose i = h + 10 - 80. Is 7 a factor of h?
True
Suppose -4*u + 236 = -4*m, 2*m - 281 = -4*u - 57. Suppose 0 = 72*a - 69*a - u. Is a even?
False
Does 25 divide 1*-27*(-9000)/216?
True
Let y(z) be the third derivative of z**5/60 + 7*z**4/8 + 4*z**3 - 25*z**2. Let k be y(-20). Suppose -k*c + 168 = 28. Does 11 divide c?
False
Let q(o) = 5*o**3 - o**2 + 5*o - 4. Let g be q(2). Is 47 a factor of g/(-315) + 4234/30?
True
Does 10 divide 4/20*-3 + 297090/150?
True
Let j be (-115)/(-15) + 14/(-21). Is 33 a factor of (-7)/(j/2) - (-2679)/3?
True
Let t = 227 + -228. Is ((-4 - 4) + 9)*(t + 228) a multiple of 7?
False
Let s(k) = -2*k. Let j(h) = 8*h + 11. Let g(a) = -j(a) + 5*s(a). Let q(f) = -2*f - 1. Let y(z) = g(z) - 6*q(z). Does 37 divide y(-13)?
False
Is 44 a factor of ((-73)/3 + -1 + 2)*-330?
True
Let f(g) = g**2 + 25*g + 21. Let b(n) = -n**2 - 23*n - 20. Let m(w) = -5*b(w) - 6*f(w). Let p be (28/(-3))/(22/(-6) - -4). Is m(p) a multiple of 17?
True
Suppose -78518 = -5*r - 81*r. Does 25 divide r?
False
Let o(n) be the third derivative of 0 + 3/8*n**6 + 0*n**3 + 0*n - 1/24*n**4 - 13*n**2 + 1/60*n**5. Does 9 divide o(1)?
True
Suppose -31*b = 52*b - 62084. Is b a multiple of 44?
True
Let i = -16741 + 30074. Does 199 divide i?
True
Suppose 51*g = 55*g + 1596. Is (5 + (-32)/3 - -5)*g a multiple of 7?
True
Suppose m - 23501 = -3*w, 0*m + 6*w = -5*m + 117442. Is 40 a factor of m?
True
Let p(u) = u + 6. Let t be p(-5). Let a = 54 + t. Suppose 7*o - 8*o + a = 0. Is o a multiple of 11?
True
Let w(l) = l**3 + l**2 - 3*l + 3. Let i be w(2). Let n(s) = -4*s + 7 - i*s**3 + 7*s**3 + 3*s**3 + 3*s**2. Does 33 divide n(5)?
False
Let i(v) = -53*v - 5. Let x be i(5). Suppose 4*k + 70*n - 1928 = 73*n, 0 = -2*k + 2*n + 962. Let o = k + x. Does 43 divide o?
True
Let w(m) = 2401*m**2 + 18*m + 42. Does 98 divide w(-2)?
False
Suppose -3*y + 0*y + 31 = v, -2*y + 3*v = -28. Let w = 14 - y. Suppose 0 = -w*l - 2*h + 95, -5*l + 4*h - 2*h + 169 = 0. Is 10 a factor of l?
False
Suppose i - 43 = 5*g - 15, 2*i = 3*g + 21. Let j be (-1504)/12*i*-1. Let q = j - 200. Does 26 divide q?
False
Let w be (-12108)/(-34) - 18/153 - 0. Suppose 0 = -28*s - w + 4528. Does 6 divide s?
False
Let r = 37322 - 32309. Is r a multiple of 22?
False
Suppose -26*t - 10 = -28*t. Suppose 5*j + 3 = 8, -t*x + 3*j + 17 = 0. Let p(l) = 10*l - 4. Is 9 a factor of p(x)?
True
Suppose 2*j + 3*h - 12658 = 0, 13*j - 11*j = 4*h + 12616. Does 16 divide j?
True
Let f(b) = b**2 - b + 31. Suppose -109 = -3*m + m - 5*u, 0 = -m - 3*u + 57. Suppose -3*w + 5*h = 2*w + 40, -5*w - m = -4*h. Does 30 divide f(w)?
False
Let x(o) = 8*o + 562. Is x(-15) a multiple of 17?
True
Suppose -7755 = -10*d - 5*d. Suppose -u + 3*u = -z + d, u + 3*z - 251 = 0. Does 26 divide u?
True
Suppose 2*w = -0*w + 120. Let v = w + -60. Suppose -118 = -v*z - 2*z + 2*k, -25 = -5*k. Is 8 a factor of z?
True
Let s(q) be the first derivative of q**3 + 9*q**2/2 + 15*q + 3. Let x be s(-5). Suppose l - 4*l = -x. Is 15 a factor of l?
True
Suppose 0 = 5*o + 3*p - 12034, o - 21*p = -16*p + 2418. Is 28 a factor of o?
True
Suppose -111*b - 4*b + 537280 = 0. Does 32 divide b?
True
Let p = 147 - 42. Let q = p + -102. Suppose 0 = -5*l - 3*w + 417, -3*w + 42 = q*l - 207. Is 43 a factor of l?
False
Let d(y) = 3*y**2 + 7*y + 19. Let j be d(-3). Suppose j*m = 36*m - 891. Is m a multiple of 27?
True
Let v be (27 + -2)/(1/(-21)). Let t = v - -627. Does 7 divide t?
False
Suppose 13*u - 38 = 14. Is 39 a factor of u - ((-2223)/7 - 57/133)?
False
Let w be (-9)/(-12)*(-1 + -3). Let j be ((-40)/(-30))/((-10)/30). Does 4 divide (w/j)/((-7)/(-336)) - 0?
True
Let f(h) = 61*h + 1649. Does 146 divide f(24)?
False
Let j = 17357 + -15942. Does 43 divide j?
False
Let b be 7*(-5 + 4)/(-1). Suppose 6*f - 6578 = -b*f. Is f a multiple of 11?
True
Suppose 71*d - 73*d + 268 = 0. Does 77 divide d?
False
Let v be 0*((-14)/20 - (-7)/35). Suppose v = o - 2*o - 15. Is 13 a factor of (-15)/o - -2*45?
True
Let h be ((-2)/8)/((35/1340)/(-7)). Let q = -64 + h. Suppose w - 69 = q*i, 2*w - 87 = -5*i - 4. Is 6 a factor of w?
True
Let p(v) = 587*v**2 + 41*v + 97. Is 8 a factor of p(-5)?
False
Suppose -4*s + 30 = 2*s. Suppose 3*q + 3*z + 52 = 5*z, -s*q = 2*z + 92. Does 15 divide (4/(-5))/(5*q/3375)?
True
Let y = -3491 + 1797. Let r = -681 - y. Does 31 divide r?
False
Let i = 53 - 50. Suppose -5*u = 3*h - 1288, 8 = -i*h - 4. Is 9 a factor of u?
False
Let x(h) = 11 + 77*h + 40 - 87*h. Does 21 divide x(-18)?
True
Suppose -3*a + 15501 + 7888 = 4*q, 2*a + 2*q = 15590. Is a a multiple of 27?
False
Let n = 256 - 231. Does 3 divide (114/15)/(6 + (-149)/n)?
False
Let l(v) be the first derivative of -5*v**2/2 + 9. Let o be l(2). Let i = 52 + o. Does 21 divide i?
True
Let z = -4 + 0. Let x(c) = c + 14. Let g be x(z). Suppose 0 = -4*w + 5*u + 128, 4*w - g = 4*u + 114. Does 6 divide w?
False
Let h(y) = 5*y**2 + 4*y - 1. Let f be h(-2). Suppose j - 5 = p, f = j + p + 12. Suppose j*v + o - 176 = 0, -4*v = -2*o - 100 - 268. Does 19 divide v?
False
Suppose -2*p - 6 = 0, 0 = -2*g - 0*g - p + 11. Suppose -5*q + 5*j + 845 = 0, 4*q = -g*j + 8*j + 691. Does 8 divide q?
False
Does 4 divide 117/52*(-58208)/(-51)?
True
Let i = 100 + -96. Let a be (-121)/(-3) + i*5/(-15). Let j = a - -37. Is j a multiple of 11?
False
Let k(p) = -p**3 + 36*p**2 - 210*p + 43. Is 19 a factor of k(23)?
True
Let m(s) = -9*s - 115. Suppose -3*u + 0*u = -2*x + 59, 4*u + 76 = 4*x. Is 37 a factor of m(u)?
True
Let m = -17 + 6. Let u be (-1 - m)*(-9)/(-15). Suppose u*r - 17 = 67. Is 5 a factor of r?
False
Let x be 7 - (4 - (-20)/(-5)). Suppose 5 + 2 = -x*m. Is 9 a factor of 22/1 - m/((-1)/1)?
False
Let g = -23467 - -44995. Does 78 divide g?
True
Let k = 26562 + -15669. Is 13 a factor of k?
False
Let m be (-125)/75 + (-272)/6. Let d = -45 - m. Suppose 3*n = -r + 6, n - 26 = -4*r - d. Does 5 divide r?
False
Let d = 5360 + 1080. Does 10 divide d?
True
Let f(s) = 173*s - 247. Let k be f(7). Suppose -c + 5*r = -479, -6*c + 4*r + k = -4*c. Is 44 a factor of c?
True
Let c(a) = -17*a**3 - 98*a**2 - 763*a - 5. Is 57 a factor of c(-9)?
False
Suppose -668 = -5*r + 3*x + 741, -5*r + x = -1403. Is r a multiple of 10?
True
Let v = 956 - 901. Suppose -i = j - 3*i - 273, -4*j = -5*i - 1095. Suppose 0*u + 3*u = 5*p - j, p + 2*u = v. Does 17 divide p?
False
Suppose -3*f + 82 + 458 = 0. Is 45 a factor of f?
True
Let r = -40 - -43. Suppose 2*m = 4*u + 165 + 149, -u = r*m - 464. Let c = 247 - m. Is 23 a factor of c?
True
Let p(k) = 6*k + 394. Is 10 a factor of p(-59)?
True
Suppose -4*g - 5*f = -4500, -g + 295 = -5*f - 830. Is g a multiple of 25?
True
Let d(u) = 2*u**3 + 4*u**2 + u + 2. Let z be d(-2). Suppose z = -4*s + 7*s + 24. Let j(t) = t**2 + 7*t + 5. Does 13 divide j(s)?
True
Suppose 33*o - 30*o = 6. Is 9 a factor of (-4403)/(-14) - (-3)/12*o?
True
Suppose 8*a + 4*t = 9*a - 57, 5*t = 3*a - 157. Suppose -u - c = -a - 67, u - 3*c = 136. Is u a multiple