16. Suppose -a = -b + 9. Is b a multiple of 15?
True
Let g be 38/(-171) - (-6)/27. Suppose -1425 = -4*h - 5*b, -4*b = -g*b + 12. Is 31 a factor of h?
False
Let d = -3762 + 6507. Is 15 a factor of d?
True
Let z be (2/(-6) - -1)*(-110 + 131). Suppose 5*f - 4*n = 61, -f + 0*f = n - z. Is f a multiple of 2?
False
Let x(o) = 23*o**2 + 5*o + 3. Let h be x(5). Let m = h + -279. Is 12 a factor of m?
True
Suppose 0 = -2*h - 3*h - 5, 5*h = 5*w - 30. Suppose 3*k = -w*z + 721, 5*k - 2*z + 221 - 1433 = 0. Is k a multiple of 17?
False
Let s = -129 + 146. Let q(p) = -p**2 + 9*p + 150. Is q(s) a multiple of 2?
True
Suppose 6*u - 424 = -2056. Let m = 319 + u. Is 21 a factor of m?
False
Is 155 a factor of 6/9 + 156184/24*4/14?
True
Let a(m) = -15 + 5*m - 2*m - 2*m + 31 + 4*m**2. Let v be (-9)/(-6)*2 + -7. Is a(v) a multiple of 5?
False
Let f = -72 + 75. Suppose 2*k + 0*k - 196 = -3*b, 4*k = 2*b - 136. Let z = b - f. Is 9 a factor of z?
True
Let q(p) = 15*p**2 + 2*p - 8. Let t(z) = -z**2 + 1. Let b(n) = 2*q(n) + 4*t(n). Suppose 5*m - 17 = 2*h - 4, m + 8*h = 11. Does 26 divide b(m)?
True
Let c = -2 + 5. Suppose -2*i - i = -3*l - 66, 3*l - 29 = -2*i. Suppose -c*v - f = -189 + i, -4*v + 2*f = -220. Does 14 divide v?
True
Suppose -46889 + 179984 = -r + 20*r. Is 122 a factor of r?
False
Suppose -2186 = 56*h + 7726. Let z = 123 - h. Is 20 a factor of z?
True
Let u = -96 + 94. Is (-8 + (-948)/(-8))/(u/(-12)) a multiple of 39?
True
Let s = 8103 - 7695. Is 44 a factor of s?
False
Let v be (162/9 + -18)/(-6*(-3 + 2)). Let s = -6 + 11. Suppose v = -s*i - 93 + 1028. Is 13 a factor of i?
False
Let k = -16191 - -18215. Is 71 a factor of k?
False
Let v(x) = 180*x**2 - 165*x + 840. Is v(5) a multiple of 7?
True
Let w = 29060 + -620. Is 90 a factor of w?
True
Suppose 47784 = 69*u - 30469 + 24295. Is 10 a factor of u?
False
Suppose 0 = -4*v + 5*w + 4, 3*w = -5*v + 2*w - 24. Let u be (3 - 4)*-3 - (-4 - v). Is ((-1305)/u)/(-5) + 0 a multiple of 8?
False
Let u(r) = -178*r**3 + 6*r**2 + 4*r. Let z = -412 + 411. Does 20 divide u(z)?
True
Let s(g) = 2*g**2 + 5*g - 7. Let q be (-33)/7 - 34/119. Let k be s(q). Suppose 6*m - k = 5*m. Does 10 divide m?
False
Let y(t) = 20*t**2 - 4*t - 931. Does 23 divide y(22)?
False
Suppose -198 = 2*n - 4*n. Let c be (1017/27)/((28/(-12))/(-7)). Let k = c - n. Does 2 divide k?
True
Suppose 0 = 5*c + 75 - 15. Let j be 12/9*5/((-40)/c). Let o(p) = 19*p**2 - p + 2. Is o(j) a multiple of 33?
False
Let x = 10889 - -1273. Is x a multiple of 6?
True
Let o(a) = 28*a**3 - 4*a**2 + 1. Let g be o(1). Suppose -g*x + 630 = -18*x. Does 5 divide x?
True
Let d(y) = -968*y - 3940. Let a be d(-4). Let z = -26 + 145. Let r = z + a. Is 51 a factor of r?
True
Let l be (-11 - -480)*2/7. Suppose 6*z - 1276 - l = 0. Is z a multiple of 20?
False
Suppose -z = -9*h + 10*h - 555, 4*z - 3*h = 2255. Suppose 123*m - z = 113*m. Does 14 divide m?
True
Suppose -5 = -4*i + r, i - 3*r - 15 = 4*i. Suppose i*x + x = 96. Does 4 divide x?
True
Is 5 a factor of -8 + 3 - (1 + (-490 - -3))?
False
Let w(x) = -13*x - 117. Let t(l) = 12*l + 118. Let g(k) = 6*t(k) + 5*w(k). Is g(14) a multiple of 13?
True
Does 20 divide (-570)/6*-6 - (-2 + -2)?
False
Suppose -24*u + 77409 + 21833 = 9386. Is 85 a factor of u?
False
Suppose 2*p + 44 = 7*o - 3*o, 3*o + 4*p = 22. Does 66 divide (-5)/(-4)*o*(-196)/(-5)?
False
Let w = 58 + -37. Let n = 67 - w. Suppose 4*c - n = -0*c - 2*o, 5*c - 58 = -2*o. Does 4 divide c?
True
Does 4 divide (-64)/6*(-4 + 169*5/(-10))?
True
Let f(l) = l**3 + 2*l**2 - l - 3. Let d be f(-2). Let z be (2 - 3)/((d/(-9))/(-1)). Let g = z - -21. Is 10 a factor of g?
True
Suppose -m - 2*m + 4*a = -29, -4*a - 18 = -2*m. Is (-250)/(-2) + 11/m a multiple of 18?
True
Let j be ((-44)/3 - 1)/((-12)/36). Suppose 0 = 5*u - h + 701, -j = 3*u + 3*h + 370. Let f = u + 364. Is f a multiple of 32?
True
Let w be ((-1862)/95)/((-1)/(-5)). Let b be (-21)/w*286 - (-2)/(-7). Let j = b + -39. Is 22 a factor of j?
True
Let n(s) = s + 33. Let i be n(-18). Suppose -2*a + i = 3*y, -5*y = 3*a - a - 21. Suppose r = -a*m + 213, m + 202 + 23 = r. Is r a multiple of 37?
True
Suppose 0 = -f + 5*x + 21 + 5, 5*x + 20 = -5*f. Let z(l) = 22*l. Let m be z(f). Suppose m*q + 942 = 28*q. Is 38 a factor of q?
False
Let f(b) = -b - 24. Let l be (-9)/(-3) - (1 - -2) - -8. Let d be f(l). Let t = 8 - d. Is 8 a factor of t?
True
Is 2078*10 + 720/72 a multiple of 15?
True
Let r(o) = 25*o**2 - 3*o + 27. Let x be (5/(-1))/(-32 - -31). Is r(x) a multiple of 13?
True
Suppose 5*g + 3 - 13 = 0. Suppose 0 = v - 2*b + 5, 5*b - 12 = -g*v + 14. Does 11 divide (2 + 4 + 1)/(v/6)?
False
Suppose 29 - 37 = t. Let x be t/14 + (-152)/28 + 3. Is 17 a factor of ((-31)/2)/(2/(4*x))?
False
Suppose 3*a = 5*b + 114, 10*a - 201 = 4*a + b. Suppose -172 = -3*d + 215. Suppose -a = 3*s - d. Is s a multiple of 10?
False
Suppose 4*j = -2*b + 1256 + 7994, 5*b - 23125 = -3*j. Is 125 a factor of b?
True
Let g(q) be the first derivative of -q**4/4 + 13*q**3/3 + 19*q**2/2 - 20*q + 1. Suppose 0 = w - o - 17, -13*w + 17*w - 5*o = 71. Is g(w) a multiple of 8?
False
Suppose 32*f - 31*f - 5*s = -37, 4*s = -f - 19. Let q(b) = -b**2 + 2*b + 2. Let u be q(6). Let i = u - f. Is i even?
False
Let q = 3927 + -3367. Is q a multiple of 4?
True
Let r be 1/(-2) + (660/(-8))/(-11). Suppose r*y - 78 = -19*y. Is y a multiple of 2?
False
Let i = -86 + 88. Suppose -3*b = i*b - 130. Is 6 a factor of 1788/30 + (3 - b/10)?
True
Let w(b) = 27*b - 51. Let n(a) = 26*a - 51. Let u(l) = 4*n(l) - 3*w(l). Is 60 a factor of u(9)?
False
Suppose 14*v + 33551 = 5*z + 15*v, 5*v - 40265 = -6*z. Is 22 a factor of z?
True
Let k(u) = 2*u**3 + 91*u**2 + 41*u - 103. Is 46 a factor of k(-43)?
False
Let h(r) = 743*r - 752. Is 60 a factor of h(4)?
True
Suppose 0 = 26*g - 18*g - 34928. Is 49 a factor of g?
False
Let u(f) = 523*f - 10856. Is u(35) a multiple of 191?
True
Suppose -72*c = 39*c - 125652. Does 8 divide c?
False
Let s = -394 - 86. Is 32 a factor of (-4*2)/(15/s)?
True
Let h(f) = -f**2 + 9*f - 10. Let r be h(7). Let d be (24/(-14))/(480/(-112) + 4). Suppose r*t - d*t = -60. Does 5 divide t?
True
Suppose 0 = 4*i - 2*i - 14*i. Suppose 3*j - 851 - 569 = 5*o, i = -2*o + 8. Is j a multiple of 44?
False
Suppose 371*o + 755957 = 3016611 + 873554. Is 12 a factor of o?
True
Suppose 2*k - 2836 = -20*m + 6*k, 5*m + 2*k = 712. Is m a multiple of 5?
False
Suppose 9*v - 10*v - 4*q + 16 = 0, -2*v + 2*q + 2 = 0. Suppose -t + v = 0, -4*h + 7*t - 12*t + 3300 = 0. Is 8 a factor of h?
False
Suppose 5*r = g + 3*g - 58, 72 = 4*g + 2*r. Let u = -1796 - -1791. Let p = g - u. Is p a multiple of 14?
False
Let f(b) = -b**2 - 9*b + 9. Let k be f(-10). Is 12 a factor of k*6/(-12)*164?
False
Suppose 0 = a + 4*a + 3*v - 20, -5*v + 25 = 0. Let j be -143 - (-6 + 3/a)*-1. Let r = -77 - j. Is 23 a factor of r?
True
Suppose 93*r - 166050 = 66*r. Is r a multiple of 118?
False
Let a(o) = -o - 1. Suppose 6 + 2 = 2*u. Let i(y) = y + 1. Let w(c) = u*a(c) + 3*i(c). Does 18 divide w(-19)?
True
Does 44 divide (-3 + 18)/((21/(-4438))/((-4)/8))?
False
Let i = -135824 + 197181. Is 196 a factor of i?
False
Is 15 a factor of (-5)/(-45)*111*(46 + -2 + 7)?
False
Let q = -116 - -123. Is 8 a factor of (-4)/q + (24185/49 - 5)?
True
Let q = -603 - -599. Is 18 a factor of ((-6)/(-9))/(q/(-7128))?
True
Let q = -69 - -70. Let x(s) = -4*s + 10. Let p be x(q). Suppose p*d - 44 = 154. Is 4 a factor of d?
False
Let u be (-12)/18 + ((-50)/(-3) - 1). Let s = u + -13. Is ((-4)/(-6))/(s/387) a multiple of 17?
False
Suppose -1 = -s, -r + 5*s = -3*r + 591. Suppose -67 = -3*t + r. Is 4 a factor of t?
True
Let y = -274 + 281. Is (-11)/(-616)*y + (-1535)/(-8) a multiple of 12?
True
Let r(m) = 29*m**2 + 7*m + 6. Suppose 4*f - 3*l - 15 = 0, 3*f + 2*l - 18 = f. Does 13 divide r(f)?
True
Let z = 12 + -18. Let j be z/27 - (-1480)/18. Suppose 5*m - j + 2 = 0. Does 4 divide m?
True
Suppose 28*i - 4 = 52. Suppose 5*r + 167 = 2*c + 6*r, i*r + 322 = 4*c. Is c even?
True
Suppose 88*k + 122*k - 1041600 = 0. Is 12 a factor of k?
False
Does 27 divide -6 - 81/(-9) - -4728?
False
Suppose -3*r + 19433 = -3*d + 5*d, r + 4*d - 6491 = 0. Does 2 divide r?
False
Let w be (8 + -5)/((-3)/(-8)). Let o(b) = w*b + 3 - 2*b + 12 + 2*b**2 - 3. Is 6 a factor of o(-6)?
True
Let u(g) = g**3 - 4*g**2 - 12*g