 25*k. Is 61 a factor of b(14)?
False
Does 50 divide (76 + -4)*(0 - -5 - -2*13)?
False
Suppose k - 4*c = 8863, -23*k + 3*c + 44332 = -18*k. Does 18 divide k?
False
Let n = 254 - 234. Is 11 a factor of ((324/5)/(-3))/((-4)/n)?
False
Suppose -2*r + 31*r = 92684. Is r/7 + (-84)/147 a multiple of 57?
True
Does 80 divide 32*(-16 + 846)/1?
True
Suppose 5*d - 9*d = -152. Let w be 986/19 + 4/d. Suppose 0 = -5*y + i + w + 4, 2*i - 56 = -4*y. Is 12 a factor of y?
True
Let r(m) be the third derivative of -1/6*m**3 - 3*m**2 + 1/8*m**4 + 0*m + 1/60*m**5 + 0. Is 3 a factor of r(-5)?
True
Is 10 a factor of ((-465)/(-20))/31 + 34194/8?
False
Let l be ((-438)/(-18))/(5/(-45)). Does 11 divide (-1022)/l*66/4?
True
Let h = -143 + 147. Suppose 4*c - 1110 = -c. Suppose 84 = h*k + 5*z - 208, -3*k - 3*z = -c. Does 39 divide k?
True
Let y(t) = 86*t**3 + 40*t**2 - 175*t + 29. Is y(5) a multiple of 94?
True
Let d be (-12 - 0)*91/4. Let w = 10305 - 9805. Let z = d + w. Is 34 a factor of z?
False
Let d be 117*(-520)/24*(-2)/10. Let o = -876 + d. Let b = -242 - o. Is 32 a factor of b?
False
Let q(x) = x**2 + 11*x - 106. Let g be q(-19). Let m(r) = -r**3 + 44*r**2 + 92*r + 135. Is 27 a factor of m(g)?
True
Suppose 11*i - 58 = -3. Let l(t) = -2*t**3 + 10*t**2 + 3*t - 9. Let x be l(i). Does 6 divide (-5 - -17)/x - -29?
False
Let z be (2 - (-160)/15)*-3. Let y = 39 + z. Is (11 - -1) + -3 + y a multiple of 5?
True
Let s = 28200 + 23329. Is s a multiple of 17?
False
Let f be (-8)/(-36) + (-48)/(-27). Suppose -396 = -y + 4*l, f*l = -3*y - 0*l + 1230. Is 31 a factor of y?
False
Let t = -289 + 127. Let c = 210 + t. Is c a multiple of 4?
True
Is (84/(-5))/((-120)/22200) a multiple of 37?
True
Suppose 24*b = 23*b + 5. Suppose b*k + 3*h = 1307 + 1236, -4*h - 527 = -k. Is 13 a factor of k?
False
Let y be -22*4*(3 - 4). Let a(k) = k**3 - 16*k**2 - 16*k - 17. Let o be a(17). Let i = y + o. Is i a multiple of 11?
True
Let m = 12537 + -10155. Is 6 a factor of m?
True
Suppose -24*j + 23*j + 5 = 0. Suppose -r - f + 49 = 18, -j*r = -4*f - 119. Is 3 a factor of r?
True
Suppose 6 - 1 = 3*i + 4*v, 3*v = -4*i + 9. Let x be 2/6*383 - i/(-9). Suppose -x = -9*l + 5*l. Does 4 divide l?
True
Let w be 80 + 11 - (-1 + 1). Let v = -119 + w. Let k = 13 - v. Is 5 a factor of k?
False
Let o(t) = -t**3 - 16*t**2 - t - 10. Let f be o(-16). Let v be 46*(f + -3)*3/18. Let i(a) = -2*a**2 + 54*a - 29. Is i(v) a multiple of 31?
True
Let f(c) = -3017 - 6*c - 16*c + 2877 - 5*c. Does 63 divide f(-14)?
False
Suppose 0 = -5*u - 2*m + 136800, -m - 246207 = -9*u + 2*m. Is 5 a factor of u?
False
Suppose -5*y = -3*y + 2. Let q be (0 - -1)*y + 5*6. Let l = -19 + q. Is 4 a factor of l?
False
Let w = 21675 - 12675. Is w a multiple of 24?
True
Suppose -17*n + 2040 = -15*n. Let c = -251 + n. Does 15 divide c?
False
Let d(k) = -2*k**3 + 5*k**2 + 4*k + 6. Suppose -164 = 4*x + 156. Let s = 77 + x. Does 23 divide d(s)?
False
Suppose 0 = -3*d + 1 + 2. Let z be 3/(((-3)/(-4))/d) + 141. Suppose -s = y - z, 0*y + 4*y - 4*s = 572. Is 12 a factor of y?
True
Let r(q) = -613*q + 27. Suppose 0 = 7*p + 11 - 4. Does 40 divide r(p)?
True
Suppose 0 = 2*b, -6*c - c = -2*c - 4*b - 22500. Does 91 divide c?
False
Does 164 divide ((-66)/(-4))/((-2286)/(-76200))?
False
Let g = -44 - -45. Let s(l) = -4 + 43*l + g - 64*l. Does 18 divide s(-1)?
True
Suppose 14 = 35*z - 33*z. Does 7 divide (1/2)/(z*7/15190)?
False
Let h = 318 - 199. Suppose -x + a = -h + 28, -3*x = 3*a - 255. Suppose -3*t + x = -2*u, t - 3*u = -3*t + 117. Does 11 divide t?
False
Suppose 25 = 4*m + 5*p, 2*m + 2*p - 7 = 3. Let u = 22 + -23. Does 2 divide (-1 + m/u)*(-3 + -19)?
True
Let u(j) be the second derivative of 19*j**3/2 - 5*j**2 + 15*j. Let k be u(5). Suppose -4*v = -k - 169. Does 30 divide v?
False
Let o be (-612)/99 + (-4)/(-22). Let l(j) = 8*j. Let m(d) = 1. Let t(z) = -l(z) + 4*m(z). Does 4 divide t(o)?
True
Suppose 3*u - u - 11 = -3*k, 3*k + 5*u = 5. Suppose o - a + k*a - 2 = 0, -3*o + 6 = -5*a. Suppose 86 = o*m + 3*s, m + 3*m - 150 = 5*s. Does 8 divide m?
True
Let y be 346/4 - (-4)/8. Let v = y - 73. Does 7 divide v?
True
Let h = 17 + -11. Suppose 2*r - 5*g = -9, r + 4*r = 3*g + h. Suppose -120 = -3*y - r*i, -4*y + 114 = -4*i - 46. Is 8 a factor of y?
True
Let a be 1230/3 - (7 + -8). Suppose -81 = -12*w + a. Does 41 divide w?
True
Suppose 2*p + 5912 = 7*p - 2*n, 3*n = 12. Suppose -p - 6376 = -18*f. Is f a multiple of 18?
False
Suppose -73*b - 387127 = -170*b. Is b a multiple of 3?
False
Let o(u) = 11 - 8 - 2*u**2 - 16*u - 12. Let h be o(-7). Suppose 672 = 12*w - h*w. Is w a multiple of 24?
True
Let m = -15156 + 21806. Is m a multiple of 25?
True
Let g be (21/(-4))/(4/(-16)). Let s be 957/g + 3/7. Suppose 47 = n + q, -5*n - q = -s - 193. Is n a multiple of 6?
True
Let b(j) = 2*j**3 - 2*j**2 - 2*j - 4. Let y(q) = -q**3 - q - 1. Let x(v) = b(v) + y(v). Let d be x(4). Is 7 a factor of (12/d - 183/10)*-2?
True
Let w be (32 + -35 + (-20)/(-6))*15. Let j = 96 + w. Is j a multiple of 3?
False
Suppose -11*p = 56 + 21. Let l(j) = -j**3 + 7*j**2 + 9*j - 12. Let u be l(8). Is 5 a factor of -17*(u - (4 + p))?
False
Suppose 4*l + 5 = 5*c, -5 = -4*c + 3*l - 2. Let f = 35 + c. Is 7 a factor of f?
False
Let u(z) = -7*z**3 + 2*z**2 - 88*z - 660. Is u(-10) a multiple of 10?
True
Let h = 25 - 19. Suppose 0 = 3*l + d - 544, -5*l + 2*d + 902 = h*d. Is 7 a factor of l?
True
Does 67 divide (852/24*-4)/(((-2)/(-25))/(-1))?
False
Let q be -1*5*(-8)/(-8). Let l be (-18)/14 + q + (-111)/(-21). Is 16 a factor of (494/(-52))/(18/20 + l)?
False
Let r = 2504 + 1092. Is r a multiple of 12?
False
Suppose -7061 = -29*i + 247. Is i a multiple of 28?
True
Let k be 9/18*-2*287. Let n = -177 - k. Does 23 divide n?
False
Suppose o + 550 = 564*k - 568*k, o = -2*k - 278. Let r = -181 - -82. Let f = r - k. Is 6 a factor of f?
False
Let g(n) = n**2 + 4*n - 14. Let j(c) = c**2 + 5*c - 13. Let w(t) = 5*g(t) - 6*j(t). Let b(o) = -9*o - 98. Let x be b(-10). Is w(x) a multiple of 10?
False
Let i = 10130 - -1010. Is i a multiple of 36?
False
Let p = 769 - 442. Let b = p - 106. Let z = 331 - b. Does 10 divide z?
True
Let l be (-129)/2*16/24. Let w = 84 + l. Does 3 divide w?
False
Let t = -8426 - -15307. Is 3 a factor of t?
False
Suppose g + 1904 = -4*o + 5*g, 5*o = -3*g - 2396. Let v = o - -928. Is 25 a factor of v?
True
Suppose 3*h - 3*x + 15 = 4*h, -x + 10 = 2*h. Suppose -h*w + 63 = -141. Does 13 divide w?
False
Let h(c) = -1310*c + 94. Is 178 a factor of h(-18)?
True
Suppose -168*t + 53958 = -159198 - 79836. Is t a multiple of 2?
True
Suppose -2*n = 2, -3*g + 0*n + 14 = -5*n. Let p(y) = y**3 - 2*y**2 + 3*y - 5. Does 3 divide p(g)?
False
Let o(z) = 339*z**2 - 20*z + 4. Is o(2) a multiple of 33?
True
Suppose 42*k - 10 = -3*x + 41*k, -6 = -3*x - 3*k. Suppose 1857 = 3*q + 5*t, x*t + 292 = q - 310. Is 70 a factor of q?
False
Let i = 5714 + -3966. Is 3 a factor of i?
False
Suppose -21509*p + 21515*p = 8904. Is 28 a factor of p?
True
Let t = 4656 + 6672. Is t a multiple of 59?
True
Suppose 0 = a - 39 - 294. Suppose -a = l - 838. Suppose 4*t = 9*t - l. Is t a multiple of 5?
False
Let o(y) = y**2 - 16*y - 478. Is 93 a factor of o(-96)?
False
Let f(s) = 2*s**2 - 11*s - 4. Let m(h) = -h + 1. Let r(g) = f(g) - m(g). Let t be r(5). Let a = 112 + t. Is 10 a factor of a?
False
Let s(x) = 2*x. Let d(r) = 15*r - 3. Let c(f) = d(f) - 3*s(f). Does 23 divide c(8)?
True
Suppose 4*t = x + 11722, -5*t - 3*x + 8104 + 6574 = 0. Is 16 a factor of t?
False
Let w = 41 - 39. Suppose 0 = -o + 5*c + 261, 119 + 390 = w*o + 3*c. Does 5 divide o?
False
Let g = 30535 + -5165. Is g a multiple of 118?
True
Let h(b) = -15*b - 1. Let x be h(-17). Let c = x - 180. Does 9 divide c?
False
Let y(x) be the second derivative of -x**5/20 - 11*x**4/12 + 13*x**3/3 - 4*x**2 - 3*x. Let d be y(-13). Let m(c) = -2*c**2 - 19*c - 5. Is 2 a factor of m(d)?
False
Let m(i) = 27*i**3 - 3*i**2 - i + 2. Let q(h) = -h**3 - 8*h**2 - 4*h - 30. Let n be q(-8). Does 17 divide m(n)?
True
Let h = 6 + -3. Suppose 11*z - k - 728 = 0, 260 = -z + 5*z + 2*k. Suppose 2*v - z = -4*s, 0 = -h*s - 4*v - v + 46. Does 6 divide s?
False
Let o(i) = -i + 20. Let v be o(20). Is 11 a factor of (v - (-40)/(-12))/((-10)/525)?
False
Let t(s) = -32*s + 4. Suppose -5*g = 4*f - 8, -2*g - 2 - 5 = 5*f. Let y