 16*g - 108 = 13*g. Suppose 0 = 3*i + 3*o - 4 - 50, -g = -i + 5*o. Is i a multiple of 2?
False
Let n = -67 - 100. Let c = -60 - n. Does 10 divide c?
False
Suppose -13549 - 25907 = -3*k - 9*k. Is k a multiple of 6?
True
Is ((-32)/(-80)*-119)/((4/(-800))/1) a multiple of 5?
True
Let t(z) = -133*z + 3988. Is t(22) a multiple of 9?
True
Let y(r) = 1125*r + 1779. Is 132 a factor of y(0)?
False
Let j(c) = -c**3 + 10*c**2 - 9*c + 36. Let h be j(7). Suppose -r = -3*v + 89, 3*v + v - r - h = 0. Is 8 a factor of v?
False
Let x(w) = -w**3 + 142. Let l be x(0). Suppose 150*b - l*b = 5080. Is b a multiple of 29?
False
Let l be 3 + -1 + 17 + 322. Let i = l + 62. Let c = -281 + i. Is 9 a factor of c?
False
Let p = 7568 - 4131. Is 18 a factor of p?
False
Let n(b) = 160*b**2 - 6*b + 6. Let d(k) = k**3 - k**2 - 3*k + 1. Let r be d(0). Is n(r) a multiple of 11?
False
Suppose 4*t + 17*x - 120569 = 16*x, -4*t = 4*x - 120548. Does 314 divide t?
True
Let u = -106 + 248. Let k = 144 - u. Is k/(-8) + (-801)/(-36) a multiple of 11?
True
Suppose -2*m + 4*o + 76984 = 0, 56709 = m + 2*o + 18221. Does 39 divide m?
False
Let d(c) = -c**2 + 10*c + 4. Let i be d(10). Suppose 2*o + 3*o = -z + 168, i*z - 656 = -4*o. Does 34 divide z?
False
Let k(i) = 5*i**3 + 4*i**2 - 6*i + 4. Let r be k(2). Let a be 4*(-6)/(r/(-46)). Suppose 0 = -4*z + q + 33, -3*q + a = 4*z - 2*q. Is 7 a factor of z?
True
Suppose 3*z = -3*o + 14537 + 9574, 4*z = -32. Is 7 a factor of o?
False
Let h(d) = 77*d + 69. Let x(p) = -154*p - 139. Let k(b) = 5*h(b) + 2*x(b). Does 19 divide k(9)?
True
Is 20 a factor of (-4019)/(-3) + (-13)/(-39)?
True
Suppose 2*y - 171 - 183 = 4*k, 0 = 5*y + k - 896. Let i = -146 + y. Is i a multiple of 3?
True
Suppose -5*o + p = -9*o + 37031, -2*o = 3*p - 18503. Is o a multiple of 57?
False
Let j = -1175 - -441. Let g = j + 1084. Does 17 divide g?
False
Suppose 1100*s + 192441 = 5*h + 1104*s, 192483 = 5*h - 3*s. Does 14 divide h?
False
Let q(u) be the third derivative of -11/2*u**3 + 0*u - 16*u**2 - 3/8*u**4 + 0. Is 8 a factor of q(-9)?
True
Let v(x) = -90 - 93*x - 35 + 114*x. Does 8 divide v(10)?
False
Let r(n) = 6041*n**2 - 174*n + 7. Does 146 divide r(2)?
False
Let h(n) = 4*n + 59. Suppose -3*b = -i + 93, -4*b = -2*i - 0*b + 188. Suppose -3*t + r = 6*r - 72, 4*t - i = -2*r. Is h(t) a multiple of 36?
False
Is (-8814)/(-21) + (-22)/(-77) - -5 a multiple of 2?
False
Let u(b) = 1144*b**2 - 88*b - 64. Does 82 divide u(-3)?
True
Let d(x) = -8*x - 11. Let l be d(-2). Suppose 32*s - l*s - 2835 = 0. Does 21 divide s?
True
Let j(x) = 109*x - 264. Suppose -21*k = 41 - 188. Is j(k) a multiple of 19?
False
Let c(f) = 2*f**3 - 86*f**2 - 2*f + 71. Let l be c(43). Is ((-520)/l)/((-4)/(-102)) - -4 a multiple of 12?
True
Let h(t) = 21*t**2 - 28*t + 160. Is 60 a factor of h(10)?
True
Suppose 0 = -4*m - 4*a - 0*a + 32, -5*m = 3*a - 36. Suppose -g + m*g = 1205. Suppose g = 5*x - 319. Is 14 a factor of x?
True
Let p(f) be the second derivative of f**5/10 + 3*f**4/4 + f**3 - 21*f**2/2 + 76*f. Does 22 divide p(5)?
True
Suppose -36*g + 0*g = 73*g - 517750. Does 26 divide g?
False
Suppose 3*f - 15 = x + 4, 4*x + 1 = -3*f. Suppose 5*j - 335 + 95 = f*s, 3*s = -5*j + 224. Does 2 divide j?
True
Let x = 88 - 78. Suppose -x = -f + w - 4*w, 3*f = -4*w + 20. Suppose -i - 326 = -2*z, -f*z + 642 = i + 2*i. Is 30 a factor of z?
False
Let a(r) = -4*r + 40. Let i be a(9). Suppose -i*q - 18*q = -14520. Does 66 divide q?
True
Let o(g) = -13*g + 30. Let z be o(-29). Is 5 a factor of z + -2*1 + 8/(-2)?
False
Suppose -2*u - 3*x = -1555 - 1144, 5*x = -4*u + 5403. Is u a multiple of 59?
True
Let t be (-1 - -7)/2 - (2 - 2). Let m(o) = 5*o**2 + 11*o + 6. Let i(z) = 9*z**2 + 22*z + 13. Let d(p) = t*i(p) - 5*m(p). Does 11 divide d(-10)?
True
Is 4 a factor of -4 - ((2006 - -7) + 5)/(3/(-6))?
True
Suppose 163*n = 159*n. Suppose n*s + s = 0, -3*s = 2*t + 52. Let v = t + 41. Does 15 divide v?
True
Let r(l) be the first derivative of -l**2/2 + 168*l - 160. Let g = 2 - 2. Is 12 a factor of r(g)?
True
Let h(y) be the third derivative of y**5/60 + 3*y**4/4 + 8*y**3/3 + 53*y**2. Is 2 a factor of h(-19)?
False
Suppose 0*w + 8 = k - w, -23 = -4*k + w. Let b be (150/k)/6 - 2. Suppose -3*g = -b*q + 129, -5*q + g + 264 = 45. Is 27 a factor of q?
False
Let s(k) = -3*k - 25. Let l be s(-13). Suppose 1047 = -l*i + 17*i. Suppose 407 + i = 12*g. Is g a multiple of 6?
False
Let l be (6 - (3 - -6)) + (-1 - -28). Let s be 16/l - ((-254)/6 + 0). Suppose 35*c + 1368 = s*c. Is 26 a factor of c?
False
Let q(s) = s**2 + 13*s - 10. Let k be q(-14). Suppose -k*z + 6*z - 2 = 0, 2*z = u - 68. Does 14 divide u?
True
Let s be 3 + -1 + 1 + 1. Suppose -398*w + 807*w - 24 = 397*w. Suppose -3*b = -w*b - s. Is b a multiple of 3?
False
Let m(z) = 4*z**2 + 22*z + 570. Is 114 a factor of m(-54)?
False
Let x = -134 + 144. Suppose -19*y + x*y + 171 = 0. Is y a multiple of 7?
False
Suppose 16*l = -3473 - 5343. Let b = 785 + l. Is 24 a factor of b?
False
Let n(k) = k**2 + 21*k + 14. Let a(g) = -3*g**2 - 26*g + 108. Let s be a(4). Is 54 a factor of n(s)?
True
Let j be (-4)/(-4) - 6*-10. Is 61 a factor of (j/2)/((-48)/(-480))?
True
Let s(z) = 3*z**2 - 62*z - 27. Is 20 a factor of s(24)?
False
Suppose -28*f = -16*f - 1536. Suppose 33*z = 35*z - f. Is 15 a factor of z?
False
Let l(d) be the third derivative of 67*d**5/60 + d**4/8 - 7*d**3/3 + 3*d**2 - 9. Is l(-2) a multiple of 8?
True
Let o(l) = -l**2 - 4*l + 10672. Let t be o(0). Suppose 82*p - 24*p - t = 0. Is p a multiple of 40?
False
Let a = 547 - 293. Let n = -7 + a. Is n a multiple of 13?
True
Let p be 2/(-1) - 9/27*-15. Let c(i) = i**3 - 16*i**2 - 18*i + 17. Let a be c(17). Suppose -42 - 59 = -w + p*u, 5*u - 25 = a. Is w a multiple of 12?
False
Let n = -80 + 74. Let t be (n/4)/((-45)/(-20))*-6. Suppose t*r - 1890 = -642. Does 26 divide r?
True
Let i(g) = -2*g**3 - 47*g**2 + 23*g - 22. Let f be i(-24). Suppose f = -2*p - 5*h + 12, -2*p + 14 = 3*h. Is 5 a factor of p?
True
Let w be 293/((2 + (-1 - 0))*1). Suppose -4*m + w + 171 = 0. Is 11 a factor of m?
False
Let p be (3*-89)/(3 - (-3 - -7)). Let t = 207 + p. Is t a multiple of 57?
False
Suppose 0*z = 3*z - 9. Suppose -3*x + z + 6 = 0. Suppose 7*o = x*o + 544. Is 32 a factor of o?
False
Let m(h) = -897*h**3 + 2*h**2 - 5*h - 1. Let t be m(-2). Suppose -15*n = -t - 1057. Is n a multiple of 11?
True
Suppose 112130 + 119550 = 16*z. Is z a multiple of 4?
True
Let l be ((-19)/(-5) - 5)/(2/(-10)). Let x(a) = 16*a**2 + 6*a - 17. Does 15 divide x(l)?
False
Suppose 15*i = 44*i - 406. Let w(b) = 9*b - 12. Let q(k) = 4*k - 6. Let t(y) = -5*q(y) + 3*w(y). Is 12 a factor of t(i)?
False
Let j = 81 + -81. Suppose j = 67*l - 59*l - 2256. Is l a multiple of 6?
True
Let v = 733 + -1108. Let q(n) = 3*n**2 - 5*n - 669. Let g be q(0). Let m = v - g. Does 49 divide m?
True
Let l(b) = -18*b + 8. Let g = 127 - 105. Suppose 4*o + 19 = -3*i, 2*o + g = -0*o - 4*i. Does 6 divide l(o)?
False
Let h(n) = -12*n**3 - 23*n**2 - 25*n - 61. Is h(-9) a multiple of 22?
False
Let p = -209 - -209. Suppose p = -89*m + 88*m + 69. Does 2 divide m?
False
Let m = 3047 - -98. Does 37 divide m?
True
Let k = 18084 - 15413. Is 3 a factor of k?
False
Let k(m) = 4*m + 57. Let z(x) = -2*x - 29. Let f(p) = -6*k(p) - 11*z(p). Let o be f(-12). Does 25 divide o*-4 + 100 + 4?
True
Is 14365 + (17 - (-128)/(-4)) a multiple of 50?
True
Let k = -949 + 2061. Is k a multiple of 4?
True
Let o(n) = 15*n - 19*n - 16*n**2 - 4*n**3 - 7*n - 15. Does 24 divide o(-9)?
True
Let z be 2 + -1 - (-132)/(6 + -3). Is 3 a factor of -1*(-3)/z*18*145?
True
Suppose 0*g = 3*g. Let n = -1873 + 2065. Suppose p - 3*c - n = g, 0 = -c + 4 - 3. Does 41 divide p?
False
Suppose -2*r = -0*v + 3*v - 4308, 0 = -4*v - r + 5749. Suppose 0 = 7*u - v - 2727. Is u a multiple of 17?
True
Suppose -4*v = 5*p + 85, 0 = -3*p + 5*p + v + 37. Let l(b) = -2*b**3 - 2*b**2 - b - 3. Let o be l(-3). Let z = o + p. Is z a multiple of 4?
False
Let n = 287 + -284. Suppose 0 = -5*g + n*t - 2*t + 1057, t = -2*g + 427. Is g a multiple of 10?
False
Suppose 10209 = 20*b - 14399 - 6672. Is 68 a factor of b?
True
Suppose -3 = 3*g, 3*d + 3*g - g - 29482 = 0. Does 84 divide d?
True
Suppose 0 = -26*w + 46*w - 9280. Is w a multiple of 58?
True
Suppose 48*o - 3983 = 24241. Is o a multiple of 1