ose -2*b + 101 + d = 0. Is 3 a factor of (-16)/(-72) - b/(-18)?
True
Let i be (-34)/221 + 108/26. Suppose i*s + j = 375, -4*s - 6*j + j + 387 = 0. Does 11 divide s?
False
Let y = -2376 + 3801. Does 36 divide y?
False
Let k = 1544 + -860. Suppose -4*c - 2104 = 4*s, 3*c + k = -2*s - 892. Does 10 divide 8/(-52) - c/26?
True
Does 29 divide 78404/272 + ((-7)/(-4) - 0)?
True
Let o(w) = 31*w**2 + 20*w - 14. Is 34 a factor of o(6)?
False
Suppose 4*m = 5*f + 169, 0 = 2*m - 4*m - 5*f + 47. Is 9 a factor of (-4 + m/8)*28?
False
Does 32 divide (205/(-82))/(5/(-628))?
False
Let n = 167 + 43. Is 21 a factor of n?
True
Suppose 0 = -3*s + 5*s + 2*l - 52, -3*s = 2*l - 82. Let n(k) = 21*k - 40*k + 20*k + 7 + s*k. Is n(3) a multiple of 25?
True
Let y = 1856 + -1248. Is 15 a factor of y?
False
Suppose 3*y + 2 = n, 3*n + 2*n + 3*y = 10. Suppose s = n*i + 12 - 6, 0 = -5*s + 3*i + 58. Does 7 divide s?
True
Suppose b + 3*w = 253 + 84, 4*w + 684 = 2*b. Is b a multiple of 5?
True
Let i(x) = -18*x - 12. Suppose 0 = a - r + 9, a + 5*r - 6 = 9. Does 26 divide i(a)?
True
Let q(a) = 21*a - 3. Let x be q(3). Let i be (3 - 2)*-3 + 2. Is 21 a factor of 3768/x - i/5?
True
Let y(d) = -d + 1 + 4*d + 2*d**3 - 3*d**3 - 127*d**2 + 134*d**2. Does 11 divide y(7)?
True
Let c = -14 + 58. Let m = -21 + c. Suppose -2*t = -153 - m. Is t a multiple of 25?
False
Suppose -2304*d + 2960 = -2296*d. Does 73 divide d?
False
Let v = 239 - 415. Let z = v - -87. Let s = z - -130. Is s a multiple of 23?
False
Suppose -4*i - 21 = -25. Is i/(-4)*(-515 + 7) a multiple of 17?
False
Let r(k) = -k**3 - 10*k**2 + k + 4. Does 8 divide r(-12)?
True
Let j = 70 + -42. Suppose -4*l + 99 = -3*h, -2*h = 2*l - 18 - j. Is l a multiple of 12?
True
Suppose -2*n = -3*k - 47, 5*k - 32 - 48 = -3*n. Suppose -29*a + n*a + 292 = 0. Is a a multiple of 21?
False
Let i(z) = 3*z**3 + 42*z**2 + 71*z - 5. Let d(k) = -2*k**3 - 28*k**2 - 47*k + 3. Let q(b) = -8*d(b) - 5*i(b). Is q(-11) a multiple of 7?
True
Suppose -4*z + 611 = v + 169, -5*v - 2*z = -2192. Suppose -2*d = 3*d - 2*n - 716, -3*d + v = 3*n. Is 31 a factor of d?
False
Does 27 divide -3 + 21/6 - (-38008)/16?
True
Suppose 2*q = -5*i + 441, 1 = 5*q + 11. Let t = 163 - i. Suppose -4 = -3*w - 1, -3*v + w + t = 0. Is 5 a factor of v?
True
Is 1505 - ((-2 - 28/4) + 2) a multiple of 9?
True
Let r(d) = -d**3 - 3*d**2 + 7*d - 15. Is 11 a factor of r(-7)?
True
Let i be (0*3/(-6))/1. Suppose k - 2*k = i. Suppose -3*f - r + 59 = k, -4*r + 8 = -0*r. Is f a multiple of 7?
False
Let v(t) = -3*t**2 + 9*t + 8. Let k = -8 + 9. Let y(l) = -l**2 + l. Let x(o) = k*v(o) - 4*y(o). Is 14 a factor of x(-6)?
True
Let i = 11 + -11. Suppose i = 4*b + 5*u - 301, 0*b + 54 = b - 3*u. Is b a multiple of 12?
False
Suppose -4*z + 13 = -7, 4570 = 4*p + 2*z. Does 6 divide p?
True
Suppose -2*r + 4*b = 0, 0 = r + b - 13 + 10. Let t = -186 - -264. Suppose 0 = r*w - t + 18. Is w a multiple of 15?
True
Let f = -24 + 26. Suppose 0 = -f*x - 3*x + 330. Does 3 divide x/4*6/9?
False
Suppose 3*y + 70 = 8*y. Let j = y - 32. Does 6 divide (-912)/(-21) - j/(-42)?
False
Does 16 divide (0 + 2)*215 - (-107 + 101)?
False
Let q(w) = w**2 + 16*w - 79. Let b be q(-20). Is (40 - b)/((-6)/(-4)) a multiple of 5?
False
Let o(a) = 125*a - 130. Does 37 divide o(4)?
True
Let t be ((-2)/(-4))/((-7)/(-2674)). Let g = t + -53. Is 28 a factor of g?
False
Let z(g) be the third derivative of -g**4/6 + g**3/6 + g**2. Let i be z(-1). Suppose 2*u + 2*r - 67 = r, 29 = u + i*r. Is 17 a factor of u?
True
Suppose -4*g + 7 + 21 = 4*p, -5*g + 2*p = 0. Suppose -4*l + 9*l = -3*o + 47, 0 = 5*o - 2*l - 68. Suppose -g*k + o = -10. Is k a multiple of 12?
True
Let q = 83 - 149. Let z = -36 - q. Is 15 a factor of z?
True
Suppose -3*t = -4*p + 35 - 15, -5*p + 2 = 2*t. Suppose 4 + p = 2*g. Suppose 5 = 5*j, -4*r + 31 + 132 = g*j. Is r a multiple of 14?
False
Let o(k) = 26*k + 550. Does 6 divide o(-6)?
False
Let h(r) = -4*r**2 - r + 3. Let f(k) = 23*k**2 + 5*k - 18. Let a(l) = 6*f(l) + 34*h(l). Let c = -10 - -15. Does 12 divide a(c)?
True
Let j(m) = -15*m + 275. Is 5 a factor of j(0)?
True
Let i = 8 + -3. Suppose 0*b - i*b = -1170. Suppose -b = -4*r + n, 0 = -3*r + 7*r - 5*n - 242. Is 12 a factor of r?
False
Suppose -3*o - 3*c + 819 = 0, c = -3*o - 3*c + 820. Does 34 divide o?
True
Let n = 76 - 66. Let d(c) = -c**2 + 13*c + 8. Does 19 divide d(n)?
True
Let l be 1/(-3) + 38/6. Let a(f) = 0*f + l*f + 6 - f - 2*f. Is 4 a factor of a(3)?
False
Let l(t) = t + 6. Let s(y) = y + 20. Let d be s(-15). Is 8 a factor of l(d)?
False
Suppose -1800 = -q + 4*q. Is (q/25)/(1/(-9)) a multiple of 24?
True
Let h be 1*(1 + 0)*80. Let l = 324 + -372. Let w = l + h. Does 4 divide w?
True
Suppose -d - 7482 = -4*y - 365, 2*y - 3554 = 2*d. Is 10 a factor of y?
True
Let t(i) = 3*i**3 - i**2 + i + 12. Let y(z) = 4*z**3 - 2*z**2 + 2*z + 13. Let s(x) = -5*t(x) + 4*y(x). Is s(6) a multiple of 15?
False
Suppose -2*j + 0*j = -3*r + 422, -3*r + 417 = -3*j. Suppose -2*i = -2*l - 4*i + r, l + 4*i = 78. Does 14 divide l?
True
Suppose -4*o + 2448 = 2*r, o + 3*o - 2434 = 5*r. Is 13 a factor of o?
True
Is (-18222)/(-24) + 21/28 a multiple of 40?
True
Let y = -1614 + 2664. Does 42 divide y?
True
Suppose -36*v + 35009 = -23*v. Is v a multiple of 12?
False
Suppose -6*q + q + 10 = 0. Let n(f) = f**2 + 2*f**3 - 2 + f**2 - 3*f**3 - 4*f**q. Is 2 a factor of n(-3)?
False
Let w(b) = b**2 - 7*b + 8. Let u be w(6). Suppose -u*v = 3*v. Suppose -6*z + z + 340 = v. Is z a multiple of 17?
True
Let y = -4 + 2. Let j be ((-1 - y)*0)/(-3). Suppose d + j*d - 52 = 0. Does 13 divide d?
True
Let r = -66 - -67. Let w(l) = -2*l**2 - l + 1. Let m be w(-2). Is 7 + m - (-1 + r) even?
True
Let p be 2/(5/3 - 1). Let n(m) = 7 - 14*m**2 - 2*m - 11*m + 3*m**p + 11 - 4*m**3. Does 4 divide n(-13)?
False
Suppose 4*t = 3*r + 2*r - 49, r - 4*t = -3. Let a(d) = 5*d**2 + d**2 - 12*d + 0*d - 5*d**2 - 4. Is 3 a factor of a(r)?
True
Let l(d) = -57*d - 273. Does 15 divide l(-49)?
True
Let a(h) = 25*h**3 - 1. Let c be a(1). Suppose -c = -3*q - 6. Suppose q*x = x + 85. Is 3 a factor of x?
False
Suppose z + 8 = 3*z. Suppose -2*j - 69 = -3*u - 179, -j - z*u + 33 = 0. Is 15 a factor of (-1468)/(-14) - (-7)/j?
True
Let l = -134 - -137. Is ((-3600)/(-32))/(l/4) a multiple of 15?
True
Let y(v) = v**2 - 5. Let o be y(4). Suppose -o*m = -13*m + 8. Suppose c - 5*c - m*n = -60, n = 5*c - 105. Is c a multiple of 5?
True
Suppose h - 32 = -2*h + 5*w, 0 = -4*h + 5*w + 41. Suppose -31 = -4*d - 3*i, d + 5*i - h = 5*d. Is d + -2*(-4)/(-8) a multiple of 3?
True
Suppose 7*q - 2*q - 2*c = 1538, -2*c + 604 = 2*q. Does 9 divide q?
True
Let v = -1051 + 141. Suppose 5*d = -33 - 162. Does 23 divide 1/(-3) + v/d?
True
Let q be (-99)/(-12) - 2/8. Suppose 6*t - 18 = q*t. Does 13 divide (-9)/6*78/t?
True
Let b = 3 - 2. Let h(z) = -46 + 18*z**2 + 93 - 48. Is h(b) a multiple of 7?
False
Let h(g) = 2*g**2 + 5. Suppose -2*f + 12 = -2*a, a + 3*a = 2*f - 20. Let i(l) = 3*l**2 + 6. Let m(y) = a*h(y) + 3*i(y). Is 17 a factor of m(6)?
True
Let u(l) = l**3 - 7*l**2 + 8*l - 2. Let p be 85/15 + (-3)/(-9). Let x be u(p). Is ((-132)/x)/((-6)/20) a multiple of 11?
True
Let t be 30/6 + -11 + -16 + -6. Let c = 26 + 3. Let b = c - t. Does 19 divide b?
True
Suppose 65*h - 3780 = 56*h. Is 6 a factor of h?
True
Suppose -13*a + 12*a = -5*s - 1796, a - 1814 = -4*s. Does 11 divide a?
False
Let k = -3 - -19. Suppose -4*d = -0*d - k. Suppose 3*h + d = c, 2*h - 2 - 10 = -3*c. Is c even?
True
Let p = 397 + -164. Let w = p + -93. Is w a multiple of 28?
True
Suppose 4 = -5*j + 19. Let l be 7 + j*2/3. Suppose 4*t - 5*t + l = 0. Does 3 divide t?
True
Suppose -13*p - 3 = -14*p. Suppose p*k + 5*v - 385 - 207 = 0, -v = 1. Does 25 divide k?
False
Suppose 2*v + 10 = -50. Is (v/(-18))/(1/39) a multiple of 12?
False
Let i(l) = l**3 + 7*l**2 + 2*l - 14. Let s be i(-6). Suppose 3*u = 23 + s. Does 11 divide u?
True
Let o(h) = 5*h + 274. Is o(-32) a multiple of 26?
False
Suppose -3*z - 5*l - 46 + 8 = 0, -10 = z + 3*l. Let k = -28 - z. Let r = 28 - k. Is 20 a factor of r?
True
Let d(x) = x**2 - 15*x - 9. Let c be d(10). Let i be (-15)/(-10) - c/(-2). Does 8 divide (-1 + -1)/(7/i)?
True
Suppose -65 = -f + 2*m, 3*m = -f + 3*f - 126. Is 8 a factor of f?
False
Let q = 15 - 12. Suppose -1 = -g, -4*u + q*u + 5*g + 3