10. Let s be n(8). Suppose -u = 3*j - 11, -3*u - 4*j = -34 + 11. Suppose -p - s = 0, 0*o - 5*p = u*o - 470. Is 7 a factor of o?
False
Let k(b) = -34*b + 96*b + 10 + 50. Is k(5) a multiple of 59?
False
Suppose -2*h + 560 = -2*m, -4*h = m - 819 - 306. Is 2 a factor of h?
False
Suppose -345 = 2*b + 51. Let c = b + 102. Let t = -75 - c. Is t a multiple of 4?
False
Suppose 0 = 2*p + 4*p - p. Suppose -20 = -p*y + 5*y, 5*y = -5*v + 430. Is 3 a factor of v/25*(-75)/(-10)?
True
Let d = -30 - -25. Let s(y) = -y**3 - 5*y**2 - 3*y - 11. Let r be s(d). Suppose 0 = -r*f - 4*i + 308, 2*f - 6*f - 3*i = -312. Does 9 divide f?
True
Let x be (2854/4)/(-4 - 21/(-6)). Let k = x - -2197. Is k a multiple of 110?
True
Suppose 10*r = 3*r + 5229. Suppose 31*p = 40*p - r. Is 3 a factor of p?
False
Let j(b) be the third derivative of 43*b**5/60 + b**4/12 - b**3/2 - 11*b**2. Let f = 124 + -123. Is j(f) a multiple of 6?
True
Let c = 3635 + -1810. Does 75 divide c?
False
Let q(p) = -10*p**3 - 238*p**2 + 47*p + 171. Does 5 divide q(-24)?
True
Suppose 0 = -s - 0*s + 5*c, 0 = 5*s - 3*c - 22. Suppose 9*k - s*k = 988. Is k a multiple of 19?
True
Suppose 3*r - 2369 = 2*r. Suppose j + 0*j = 5*k - r, -2*k + 950 = -j. Is 11 a factor of k?
True
Let i = -573 - -151. Let r = -232 - i. Is 16 a factor of r?
False
Let q(d) = -10*d**2 - 860*d + 232. Is 59 a factor of q(-68)?
False
Suppose -2*l + 108 = l + y, 2*l + 2*y - 76 = 0. Suppose -3*k + l + 43 = 0. Let u = k + 46. Is 12 a factor of u?
True
Does 30 divide 40/(((-902)/(-18315))/41)?
True
Suppose 96*t - 638*t + 13701218 = 0. Is 116 a factor of t?
False
Let i be (14/(-21))/((-4)/42). Is (-1)/i + 2320/70 a multiple of 11?
True
Let h = -37226 - -60026. Does 48 divide h?
True
Let x be (12/(-2))/(((-4)/(-8))/(-1)). Is 8/x*(271 - (-3 - -1)) a multiple of 26?
True
Let h(s) = -s**2 + 12*s - 19. Let t be h(3). Let p(f) = -10*f**3 - f**2 - f - t*f**3 - 5*f**3. Is 13 a factor of p(-2)?
True
Let y = 9276 + -5315. Is y a multiple of 38?
False
Let x(t) = 17*t - 46. Let a be x(-6). Let f = -15 - a. Does 8 divide f?
False
Suppose 2*w + 6688 = n, -6*n + n = -w - 33422. Is n a multiple of 33?
False
Suppose 27*p = 23*p. Let a(m) = 29*m + 3*m**2 - 6 - 16*m - 14*m + p*m**2. Is 18 a factor of a(3)?
True
Let m(n) = -8*n**2 + 5026*n + 8 + 3*n**2 + n**3 - 5025*n + 15. Is 13 a factor of m(6)?
True
Let f = 67 + -63. Let i be 415/20 + (-3)/f. Let z = 122 - i. Is z a multiple of 19?
False
Let h be (-7592)/364 + (-2)/14. Is 0*7/h + 288 a multiple of 9?
True
Is 182/(-13) + 17 + 7*1251 a multiple of 36?
False
Does 18 divide (5 + -30 - -26)*(45306 + -3)?
False
Let m(x) = x**3 + 20*x**2 + 9*x + 55. Let k be m(-16). Let o = k + -335. Does 16 divide o?
False
Suppose 0 = -18*c + 44*c - 471 - 3559. Suppose -6*d = -d + 5. Does 15 divide (c - 2) + (d - 2)?
True
Let s(a) = -10*a**3 - 13*a**2 - 29*a - 60. Let b(c) = -5*c**3 - 6*c**2 - 14*c - 30. Let r(x) = 5*b(x) - 2*s(x). Is 46 a factor of r(-4)?
False
Suppose -83759 = 29*s - 110*s + 5746. Is s a multiple of 18?
False
Let p be (-88)/22 + 0 + 7. Suppose 1363 = -p*f + 32*f. Is 6 a factor of f?
False
Suppose -15*b + 1140 + 615 = 0. Is b a multiple of 15?
False
Let s = 53 - -4. Suppose s*d - 61*d = -344. Let r = d - 35. Does 51 divide r?
True
Suppose 1507*a - 75166 = 1493*a. Does 91 divide a?
True
Let u = 36320 - 16392. Is u a multiple of 128?
False
Let k(z) = -131*z**2 + 53*z + 76. Let v(r) = 29*r**2 - 13*r - 19. Let s(d) = 2*k(d) + 9*v(d). Let i = 18 - 26. Is 5 a factor of s(i)?
True
Let v(r) = 2*r**3 - 2*r**2 + 7*r - 24. Let o(c) = -3*c**3 + 4*c**2 - 14*c + 47. Let n(y) = -3*o(y) - 5*v(y). Does 23 divide n(-9)?
True
Suppose -2*m + 13218 = 4*j, -4*m - 16*j = -15*j - 26429. Does 17 divide m?
False
Suppose 0 = -0*c + 14*c - 70. Let w be 1/(-1)*(1 - c). Let q(m) = 13*m**2 - 2*m - 9. Is 25 a factor of q(w)?
False
Is (-77 - -55)/(6/(-291)) a multiple of 5?
False
Let m(g) = 3*g**2 - 177*g + 903. Does 31 divide m(5)?
True
Let a(n) = -2*n**2 + 41*n - 30. Is 24 a factor of a(14)?
False
Let c = -17721 + 31002. Is 8 a factor of c?
False
Let n(q) = -230*q + 312. Is n(-28) a multiple of 14?
False
Let m be -4*(-5)/40*10/1. Suppose -5*s - 435 = -5*f + 10, -m*s + 251 = 3*f. Is 17 a factor of f?
False
Suppose 133*f + 139*f = 264*f + 97320. Is 144 a factor of f?
False
Let j be (-20 + 60/(-6))/((-3)/8). Suppose -70 = -82*b + j*b. Does 5 divide b?
True
Let u(g) = 8 - 794*g + 5 + 795*g. Let b be u(11). Is (180/b)/((-9)/(-6) + -1) a multiple of 5?
True
Is 15/(-20) - 110988/(-16) a multiple of 24?
True
Suppose y + 4*w = 1415 - 428, w = -4*y + 3948. Suppose 261 = 2*c + 2*k - 135, 4*k - y = -5*c. Is c a multiple of 15?
True
Suppose -12*i = -35*i + 1679. Let c = -3 + i. Is c a multiple of 5?
True
Suppose -8*f - 870 = 4*f - 8442. Is f a multiple of 98?
False
Suppose 0 = 6*z - 2*z - 7335 - 17361. Is 49 a factor of z?
True
Let g(b) = 3*b - 19. Let i be g(10). Let p = i + -9. Suppose 0*k - p*k = -252. Is 21 a factor of k?
True
Suppose k + o - 9 = -4, o - 11 = -3*k. Suppose -k*y + f + 16 + 179 = 0, 3*y - 195 = 4*f. Suppose 265 = 15*m - y. Is 22 a factor of m?
True
Suppose -7*q + 37 = 2. Suppose -o + 4*a + 8 = 2*a, q*a = 3*o - 19. Is -2*6*(-11 + o) a multiple of 17?
False
Suppose 0 = -28*o - 7*o - 315. Is 20 a factor of 3 - -875 - (o + 7)?
True
Let m(o) = -1821*o + 341. Is 7 a factor of m(-2)?
True
Suppose -137*x + 553850 = -246*x + 1840486. Does 26 divide x?
True
Let g = 66 - 68. Let x be (-863)/g + (-4 - (-18)/4). Suppose 4*b - x = -40. Is b a multiple of 18?
False
Let t(c) = 2*c**3 - c**2 + c - 3. Let h be t(3). Is 2 a factor of 1974/h + (-4)/(-30)?
True
Suppose 0*b - 5*g + 3 = -3*b, -b - 4*g - 18 = 0. Let a be 6/(-10) + 989/115. Let r = a + b. Is r even?
True
Is 10 a factor of (-214)/(-6)*228 - -6?
False
Let v(y) = -2*y**2 + 3*y + 2. Let j be v(-6). Let b = j + 91. Suppose 2*h + b*g = 90 + 41, -299 = -5*h + 2*g. Is 5 a factor of h?
False
Suppose 5*u + 26*k - 28*k = 3073, -4*k + 641 = u. Let v = 958 + -528. Let f = u - v. Does 49 divide f?
False
Is 9 - (-2)/(-4)*-15908 a multiple of 19?
False
Suppose 0 = -14*g + 5827 - 1627. Is g a multiple of 20?
True
Let z(y) = -2*y - 13. Let j(s) = s + 9. Let m(q) = -7*j(q) - 5*z(q). Let h be m(2). Let a(c) = 11*c + 3. Is 7 a factor of a(h)?
True
Let b(w) = 17*w + 5. Let g(q) = -82*q - 26. Let t(v) = -163*v - 52. Let c(p) = -9*g(p) + 4*t(p). Let l(d) = -16*b(d) + 3*c(d). Does 18 divide l(-4)?
True
Suppose -114 - 246 = -8*p. Suppose 0 = p*n - 37*n - 288. Is 6 a factor of n?
True
Let t be 22/616 + (-24582)/(-56). Suppose -2*h - 165 = 273. Let q = t + h. Does 14 divide q?
False
Suppose -2*s + 2*v - 2118 = 204, -5*v + 3483 = -3*s. Let u = s + 2283. Is 51 a factor of u?
True
Suppose -5*r = 0, 23615 = 5*c + 39*r - 42*r. Does 14 divide c?
False
Let q(i) = i - 1. Let z(b) = -3*b + 17. Let x(o) = 6*q(o) + z(o). Let m be ((-2)/(-4))/((-13)/(-520)). Is x(m) a multiple of 28?
False
Let m = 28667 + -20694. Does 13 divide m?
False
Let m be (132/10 + -2)/(26/(-130)). Let h(b) = b**2 + 9*b + 8. Let q be h(7). Let w = m + q. Does 16 divide w?
True
Let a = 6 + 38. Let c = 48 - a. Suppose -2*o - 76 = -4*p, -c*o - 9 = -1. Does 2 divide p?
True
Let q(h) = -345*h - 4240. Is q(-13) even?
False
Suppose -5*f + 6 = -9. Suppose f*a = -2*v - 3*v - 3, -5*v + a = -1. Does 27 divide 1 - (v - (-86)/(-2))?
False
Let t(u) = -u + 83. Let x(n) = -2*n**2 - 7*n + 8. Let r be x(-4). Suppose 100 = r*f - 2*c, -3*c - 8 = 4. Does 5 divide t(f)?
True
Let q(l) = 67*l**2 - 3*l + 109. Let x(a) = -23*a**2 + a - 37. Let m(c) = 6*q(c) + 17*x(c). Does 9 divide m(8)?
False
Suppose 12*n - 18*n + 12 = 0. Suppose -n*p + 2*h + 952 = 7*h, -4*p + 1852 = -3*h. Is p a multiple of 33?
False
Let q(f) = -976*f - 463. Let w(r) = -195*r - 93. Let c(g) = -2*q(g) + 11*w(g). Is 15 a factor of c(-6)?
False
Suppose 2*j - 4830 = -2*v, v = 2*j + 545 + 1873. Is 16 a factor of v?
True
Let a = 13 - 16. Let t(i) = 3*i**2 + 16*i + 7. Let o(k) = 4*k**2 + 17*k + 8. Let q(v) = a*t(v) + 2*o(v). Is 20 a factor of q(-9)?
True
Let f be (-14)/(-21) + (-76)/(-12)*1. Suppose -h - 1234 = -4*a, 2*h = 5*a + f*h - 1555. Does 20 divide a?
False
Suppose 101*i - 76638 = 6*i + 166372. Does 9 divide i?
False
Does 134 divide 2/(-12) - (-29 - (-1636640)/(-192))?
False
Let u = 273 + -271. Suppose -16 - 94 = -u*a.