*b - 616. Is o(-8) a multiple of 25?
False
Let r = -64 + 66. Suppose -4*h = 5*m + 522, -3*m - r*h + 67 = 381. Let q = m + 150. Does 31 divide q?
False
Let b(u) = 22*u - 2. Let c be (-4 - -1)*(-112)/(-21). Let q = c - -17. Is 2 a factor of b(q)?
True
Suppose -8*l - 21 = -11*l. Let m(t) = 1 + 4*t - t**2 + 2*t**3 - 6 + l*t - 5*t**2. Is 25 a factor of m(5)?
True
Suppose -2*m = 410*n - 416*n + 165514, 5*m = 4*n - 110339. Does 26 divide n?
True
Suppose 2240 = 5*r + 4*x, 26*r + 2*x = 29*r - 1366. Does 25 divide r?
False
Let x(y) = y**3 + y**2 - 2*y + 2. Let w be x(0). Suppose -5*i = 5*v - 920, 0 = 5*v + w*i - 406 - 499. Is v a multiple of 15?
False
Let s(g) = 376*g - 2029. Is s(16) a multiple of 9?
True
Let u be (-1140)/798*(-777)/(-6)*-4. Suppose 2*o = 2 + 2. Suppose -5*t = o*a - u, 10*t - 6*t - 2*a = 574. Is t a multiple of 9?
False
Suppose -3*k = -b + 1038, 3*b + 279 = -4*k + 3315. Is 12 a factor of b?
True
Suppose -11*k + 19442 = 5*z - 8*k, -2*z + 2*k = -7796. Does 14 divide z?
True
Let y(h) = -719*h - 1507. Is 30 a factor of y(-6)?
False
Let u be 0 + 0 + (-19 - -3 - 2). Is (-7)/(-1)*(u + 26) a multiple of 8?
True
Suppose s - 61 = 4*b, 4*s - 3*b - b = 280. Let j = s + -50. Let v = j - -21. Does 18 divide v?
False
Let z = 14 + -5. Does 39 divide 290/30 - z - 1400/(-6)?
True
Let t(v) = 28*v**2 + 2*v - 28. Suppose -10*f - 20 = -60. Does 16 divide t(f)?
False
Let l(b) = -2154*b + 258. Does 60 divide l(-3)?
True
Is (1037 - -3) + -19 + 9 + 5 a multiple of 45?
True
Is (-32 + 14)*664/(-48) a multiple of 4?
False
Let c(n) = n**2 - 2*n + 9. Let i be c(10). Suppose -4*p - o = 230, -p - 65 = -3*o + 7*o. Let h = p + i. Does 9 divide h?
False
Let m = -4562 + 35098. Does 25 divide m?
False
Let v = 15380 + -5966. Does 35 divide v?
False
Suppose 0 = -2*t + 3*f + 470, 2*f = 2*t + 6*f - 456. Let b = -191 + t. Does 6 divide b?
False
Is (-252)/15*(-135945)/318 + 2*2 a multiple of 15?
False
Let g be ((-20)/(-16))/((-2)/(-24)). Suppose -20 = -20*a + g*a. Does 15 divide a/(-18) - 544/(-18)?
True
Let x be (-10)/(-15) + 88/(-6). Suppose 4*a = 4*f + 2 - 14, 4*f + 5*a + 15 = 0. Is x*2/4*(f - 3) a multiple of 3?
True
Let t(v) = -v**3 - 4*v**2 - 3*v. Let l be t(-1). Suppose 7*k + 20 - 1098 = l. Does 14 divide k?
True
Suppose 4*t = -0*t + 77184. Suppose f + t = 19*f. Is 52 a factor of f?
False
Let i = -37106 - -47726. Is 32 a factor of i?
False
Suppose -4*k - 42 = -3*k. Let m be (1 + -1 - -2)/(7/k). Is 9 a factor of ((-30)/(-4))/(1*(-2)/m)?
True
Suppose 7270 = 6*r + 4*r. Let b = 1483 - r. Is 7 a factor of b?
True
Suppose 5*s - 3*k - 212 = 3271, 2*s = -2*k + 1390. Is 11 a factor of s/6 + (-2 - -2)/(-4)?
False
Let z(i) = 98*i**2 - 535*i + 48. Is 32 a factor of z(16)?
True
Let a(r) = -2*r**2 - 15*r - 30. Let z(p) = -p**2 - p. Let f(s) = -a(s) - 3*z(s). Is f(-8) a multiple of 23?
False
Let b = -9 + 45. Suppose 5*y - b = -4*y. Suppose -y*m = -6*m + 208. Is 26 a factor of m?
True
Let v = -318 + 329. Suppose -v = -4*g + 629. Does 5 divide g?
True
Let s(y) = -y**3 - 18*y**2 - 17*y - 4. Let l be s(-17). Let z = 30 - 19. Is 22 a factor of z/(-4)*(-12 + l)?
True
Suppose r - 13718 + 7967 = 10306. Does 5 divide r?
False
Let t be -19*(6 - (1 + 2) - 68). Suppose -w - 920 = -3*h, 4*h = 8*h - 3*w - t. Is 29 a factor of h?
False
Let r(v) = 2*v**3 + v**2 - 9*v - 8. Let a be r(5). Let z = a - -30. Does 14 divide z?
True
Let o(v) = -13*v**2 - 4 + 14*v + 46*v**2 - 15*v**2 - 8. Is 24 a factor of o(3)?
True
Let j = -35 + 27. Let o(w) = w**3 + 18*w**2 + 6*w - 18. Is 14 a factor of o(j)?
True
Let n(p) = 5*p**2 - 21*p + 4. Let j be n(4). Is 7 - 1 - 3745/(-7 + j) a multiple of 8?
False
Suppose -458 = -7*x + 186. Let i = 92 - x. Suppose s - 98 - 189 = i. Is 41 a factor of s?
True
Let c(f) = 3*f**2 + 2*f - 4. Let u be c(2). Let h = u + 86. Let o = h - 48. Is o a multiple of 20?
False
Let n be (-5390)/6 - (-8)/(-12). Let m = n - -1291. Suppose 8*k - k - m = 0. Is 14 a factor of k?
True
Suppose -4*h + 2*t = 2, t + 5 = -4*h + 6*t. Suppose 4*k = 3*d + 726, 2*k + 18*d = 22*d + 368. Suppose h = -15*q + 5*q + k. Is q a multiple of 9?
True
Suppose 5*f = 3*l + 9*f - 183, -f = 3. Suppose l*q - 150 = 60*q. Is 3 a factor of q?
True
Let r = -401 + 2127. Is 5 a factor of r?
False
Let x(q) = -2*q**2 - 21*q + 36. Let s be x(-11). Suppose 75 = h - s. Is 41 a factor of h?
False
Suppose 0 = 4*u + 1090 + 554. Let a = u + 849. Let b = a - 258. Does 17 divide b?
False
Let x = 4716 - 4230. Is x a multiple of 6?
True
Suppose -11*n = 51388 + 972. Does 19 divide 20/(-12) + 1 + n/(-21)?
False
Is (3/2)/(-3) + 496133/106 a multiple of 13?
True
Suppose -63*s + 623318 + 769738 = 0. Is s a multiple of 105?
False
Suppose 6*g - 405 = 5*g. Let o(s) = 4*s - 32. Let l be o(17). Does 17 divide g/20 - 3*3/l?
False
Suppose -z = -7 - 6. Let g(p) = -165*p - 7921. Let k be g(-62). Suppose z*y - k = -21. Is y a multiple of 53?
False
Suppose 4*x + 19321 = 2*c + 142201, -2*x = 2*c - 61440. Is 10 a factor of (-6)/4*x/(-72)?
True
Let g = -43 + 44. Let k be (-16)/3*(g/4 + 2). Is 3 a factor of 1 + 9*(8/k + 1)?
False
Let b = 104 - 104. Suppose 4 = -4*d, -2*r + r - 4*d + 6 = b. Is 4 a factor of r?
False
Let r(b) = -5*b**2 + 43*b + 12. Let a be r(9). Does 23 divide (-4)/a*543 + 6?
True
Let f(p) = 3*p**2 + p + 2. Let u be f(3). Let s be 1 - (-5)/((-20)/(-8)). Suppose -88 - u = -s*w. Does 20 divide w?
True
Suppose 78 = 5*v + 2*u, -9*u - 5 = -4*u. Suppose -h = -3, -v*y + 3099 = -12*y + h. Is y a multiple of 43?
True
Let x(d) = -90*d + 3747. Does 26 divide x(-89)?
False
Suppose 34*a - 1066910 = -111*a. Does 26 divide a?
True
Suppose 0 = 3*r - 3*c - 3889 - 3260, 4*r + 4*c = 9500. Is 6 a factor of r?
False
Let w(a) = a**3 - 5*a**2 - 3*a + 50. Let y be w(5). Suppose -y = -x + 116. Is 27 a factor of x?
False
Let q(d) = 213*d - 5230. Does 9 divide q(46)?
False
Let k(r) = 2*r**2 - 13*r + 26. Let p be k(3). Suppose 605 = 3*f + p*z - 598, 393 = f - z. Does 4 divide f?
True
Let o(h) = -h + 14. Let n be o(9). Suppose x + 4*i + 1292 = n*x, 5*x - 4*i = 1612. Suppose 0 = -4*k - 4*k + x. Does 4 divide k?
True
Does 53 divide 26/247 - (-108748)/76?
True
Is (-18)/14 + 1 - (-211744)/224 a multiple of 49?
False
Let h(k) = -k**3 + k**2 + k + 131. Let q be h(0). Let a = -1768 - -1831. Let i = q - a. Does 7 divide i?
False
Is 20 a factor of 4 + ((-493690)/(-55) - (-8)/(-44))?
True
Suppose 88210 = 5*h - 6*m + 5*m, 4*m = -4*h + 70568. Is h a multiple of 44?
False
Let g(s) = 45*s + 3101. Is g(79) a multiple of 13?
True
Suppose 4*t + 2 = 2*d - 0*t, -5*d - t + 49 = 0. Let f(r) = -6*r - r + d + 5*r + 0*r. Is 8 a factor of f(-4)?
False
Suppose 3*v - 44 = 2*x - 13, -2*v + 34 = -3*x. Let j be (x/(-12))/(1/18). Suppose -16*p = -j*p - 184. Does 5 divide p?
False
Let c = 43472 + -33234. Is 10 a factor of c?
False
Suppose 7542 = -5*t - h + 38357, 4*t - 3*h - 24633 = 0. Is 5 a factor of t?
False
Does 44 divide (-7260)/(-9075)*-10*8167/(-4)?
False
Let x(c) be the second derivative of -c**5/20 - 31*c**4/12 - 61*c**3/6 + 27*c**2/2 + 34*c - 2. Is 5 a factor of x(-29)?
False
Suppose 0 = 3*n - 3*m - 66435, -20*m - 22155 = -n - 17*m. Is 30 a factor of n?
True
Let l(m) = m**3 - 3*m**2 + 1. Let j be l(-2). Let g(s) = -s + 5. Let o be g(j). Suppose -o*i = -22*i - 102. Is 17 a factor of i?
True
Suppose 0 = -60*r + 457296 + 3504. Is r a multiple of 15?
True
Suppose -9*g = -14*g + 15. Suppose g*a = -6, 4*a + 8 = s - 0. Suppose 107 - 17 = 3*n + 5*l, -3*n - l + 78 = s. Does 6 divide n?
False
Let w(o) = -8*o**3 - 8*o**2 + 25*o - 8. Let v(l) = -10*l**3 - 7*l**2 + 24*l - 6. Let i(p) = -5*v(p) + 6*w(p). Is 46 a factor of i(8)?
True
Suppose -14*d + 1886383 = 41*d - 132777. Does 104 divide d?
True
Is 126 a factor of 218550/30 - (-36 + 13)?
True
Suppose 0 = 5*g + 4*u - 31, -u = -g - 0*u - 1. Suppose g*a - 39 = 4*c, 2*a - 4 = -5*c - 1. Let w(p) = 4*p + 21. Is 19 a factor of w(a)?
True
Is 18 a factor of (-484)/(-605) + 9/(45/229736)?
False
Let n(v) = 0*v + v + 9*v + 13 - 12*v. Let k be n(6). Let c(u) = 104*u**3 + u**2 + u - 1. Is c(k) a multiple of 42?
False
Suppose -49840 - 133440 = -8*m. Is 13 a factor of m?
False
Let q be (-38)/(-133) - (-214)/(-14). Let l(v) = -20*v + 12. Does 13 divide l(q)?
True
Let p(m) = m**2 + 2*m - 6. Let j be p(-5). Let g(d) = 44*d**2 + 64*d - 4. Let n be g(-8). Is 6 a factor of 2/7 + j/(