79, -5*b + 0*b - 4*d + 92795 = 0. Suppose -37*a + 6301 = -b. Does 84 divide a?
True
Is 111 a factor of (-259737)/(-18) + 35/(-84)*10/(-25)?
True
Is 15 a factor of (-235 - -243) + -1*-1481*7?
False
Let h be (-1)/(-7) + 4 + 116/(-28). Suppose h = 2*u - 71 - 19. Does 4 divide (-72)/u*10/(-4)?
True
Is -7188*(4/8 - 2/(-72)*-66) a multiple of 16?
True
Suppose 600*l - 11176038 = 447*l. Is 15 a factor of l?
False
Suppose -5733 = -w + 3*c, 8470 + 14462 = 4*w - 2*c. Does 49 divide w?
True
Suppose 2*u + 535 = -27. Let f = u + 133. Let v = f + 252. Is v a multiple of 18?
False
Suppose 0 = 28*d - 70506 - 30630. Does 42 divide d?
True
Is 217 a factor of ((-19)/((-171)/42))/((-2)/(-7905))?
True
Let j = 256 + -648. Does 3 divide (-5)/(-25) + j/(-40)?
False
Suppose -2*j + 2834 = 30*s - 27*s, 4*j - 5684 = 2*s. Is 4 a factor of j?
True
Let s = 295 - 293. Suppose -16*j + 17*j - 17 = s*a, -2*a = j - 25. Does 17 divide j?
False
Let p(w) = -w**3 + 35*w + 36978. Is 136 a factor of p(0)?
False
Let m(p) = -2*p**2 - 20*p - 12. Let k(d) = -2*d - 52. Let w(i) = 9*i + 22. Let l be w(-5). Let j be k(l). Does 9 divide m(j)?
True
Suppose -22*j + j + 6993 = 0. Suppose 337*m - 1068 = j*m. Is 4 a factor of m?
False
Let p(o) be the second derivative of 11*o**4/6 - 12*o. Let l be p(-2). Suppose 12 + l = 5*h. Is h a multiple of 5?
True
Let m = 151 + -84. Suppose -63*k = -m*k + 704. Suppose n - 4*c = 3*n - k, 0 = 3*c - 15. Is n a multiple of 17?
False
Let u be (-7)/((-7)/4806) - 6. Suppose 30*b = 18*b + u. Is 40 a factor of b?
True
Does 17 divide -3 + ((-2)/(-5))/((-31)/(-388895))?
True
Let g(y) = -y**3 + 5*y**2 + 9*y - 6. Let u be g(3). Suppose -2*r + 1 = -u. Suppose 4*c - r = 9*c, -5*c + 220 = 2*h. Does 10 divide h?
True
Suppose 6*f + 44919 = 11*f - l, 3*l = -4*f + 35920. Is 125 a factor of f?
False
Suppose 4234*z + 129232 = 4275*z. Is z a multiple of 16?
True
Let i(z) = -z**2 - 12*z - 5. Let c(v) = v**2 + 11*v + 4. Let w(j) = 6*c(j) + 5*i(j). Let b be w(-8). Let x(a) = 5*a - 30. Is x(b) a multiple of 15?
True
Let j = -102 - -86. Let y = j + 24. Let m = 32 + y. Does 4 divide m?
True
Let x(u) = -2*u**2 - 1. Let q(j) = -11*j**2 + 33*j - 9. Let w(m) = -q(m) + 6*x(m). Is 7 a factor of w(-22)?
True
Let r = 17 - 12. Let n be r/(4/120*-2). Let j = n + 127. Is j a multiple of 10?
False
Let v = -1 - -3. Suppose 2*r - 128 = -4*k, v*r + 6*k - 132 = 3*k. Suppose -r = -4*x + 4*a, -3*x + x + 3*a + 35 = 0. Is x a multiple of 12?
False
Suppose -a + 17 = -3*h, -17 - 6 = -4*a + 3*h. Let g(x) = -2 + a*x + 2 - 62*x**2 + 204*x**2. Is 35 a factor of g(-1)?
True
Let r be ((-52)/14 + 4)/(2/14). Suppose r*i = 18 + 8. Suppose i*d + 260 = 17*d. Does 13 divide d?
True
Let s = 112 + -60. Suppose -3*u + 30 = 3*n, 4*u + 4*n - 6*n = s. Does 2 divide u?
True
Let z(r) = -12*r + 48. Let u = -179 + 162. Is 13 a factor of z(u)?
False
Let r be -3 + (-4)/(4/5). Let c(p) = 7*p**2 - 11*p + 11*p**3 - 6 - 10*p**3 - 3. Does 11 divide c(r)?
False
Suppose 2*n = 3*b + 15, -3*b = -22*n + 27*n - 6. Is (2043/15)/n + 4/(-10) a multiple of 6?
False
Suppose -6 - 22 = -7*r. Suppose r*b + 3*u - 1354 = 334, -5*u = -5*b + 2145. Is 25 a factor of b?
True
Let c = 418 - 647. Let v = c + 291. Is 14 a factor of v?
False
Let s(k) = 13*k**2 - 7*k + 146. Is s(-18) a multiple of 43?
False
Let u(z) = -z**3 + 11*z**2 - 11*z + 19. Let x be u(10). Does 7 divide x*(-1 + 52 + 7)?
False
Suppose 2*i = 32 - 4. Does 4 divide (i - 9) + 426/2?
False
Let k = -125 - -196. Suppose -x = -1, -2199*m + x = -2203*m - 699. Let l = k - m. Does 26 divide l?
False
Does 8 divide (123/4)/41 + 3929/4?
False
Let q = -23 - -35. Suppose q = n - 23. Suppose 0 = -v - n + 104. Does 33 divide v?
False
Let k(f) = 8*f**3 + 6*f**2 - 103*f - 149. Is 46 a factor of k(10)?
False
Let h = 1252 + 573. Is h a multiple of 122?
False
Let o be 0/((-4 - 4)/(-4)). Does 36 divide 378/(-105)*(-180 - o)?
True
Let a be 46/16 - 1*(-5)/40. Suppose 0 = -5*l - a*p + 1226, 13*p - 16*p = l - 238. Does 2 divide l?
False
Let q be ((-52)/39)/((-2)/15). Let y be ((-8)/q)/((-3)/15). Is (-10)/y*150/(-5) a multiple of 15?
True
Let n = -18 + 6. Let p = -9 - n. Suppose -p*c + 64 = -5*m + 6*m, -2*c + 38 = -4*m. Does 10 divide c?
False
Suppose -8 = -2*c, -8*k + 23 = -3*k + 2*c. Suppose 2*v - 4 = 0, -8 + 2 = -k*m + 3*v. Is m a multiple of 4?
True
Let o be 3*(-4)/24*2*-296. Let g = -82 + o. Is g a multiple of 16?
False
Let o = -146 - 1680. Is 14 a factor of o*15/(-75) + 8/10?
False
Let s = 75 - 73. Let d(q) = 196*q**2 - 10*q + 13. Is 37 a factor of d(s)?
True
Let t(b) = -b**3 + 42*b**2 + 57*b + 24. Does 36 divide t(38)?
False
Let r be (-84)/15 + (-4)/10. Suppose 518 = -3*v - 4*x, 3*x + 679 = 236*v - 240*v. Is 18 a factor of r/(-2) - (v + 3)?
False
Let s = -25 - -45. Suppose 0 = s*u - 25*u + 15. Suppose -u*m + 61 = -2. Is 3 a factor of m?
True
Suppose -208*s + 180*s + 112 = 0. Is (3 - (s + -2008)) + -7 a multiple of 22?
False
Let m = 3256 + -1585. Is 4 a factor of m?
False
Suppose 308*y - 302*y = 7728. Does 9 divide y?
False
Let m = -47 - -50. Suppose -m*c - 2*c + 5 = 0. Does 27 divide -3 - (c - (65 - -1))?
False
Let q be ((-33)/22)/((-3)/(-2)). Is q + (-2 - 3) - -176 a multiple of 5?
True
Suppose -5*b + 2870 = -5*u, 5*b - 8*b + 1738 = 5*u. Let v = 892 - b. Does 22 divide v?
False
Let k be (-122)/(-8) - 1/4. Suppose 60 = 13*s - k*s. Let u = 242 - s. Does 17 divide u?
True
Suppose 10*d - 15*d = -5*w + 795, 2*d - w = -323. Let b = d - -190. Is b a multiple of 13?
True
Suppose 73*j - 2*z + 28542 = 75*j, -2*j + 5*z + 28563 = 0. Is j a multiple of 78?
True
Let y = -149 + 1175. Does 2 divide y?
True
Let t(y) = 9*y**2 + 56*y + 568. Is t(-22) a multiple of 13?
True
Let p(k) be the third derivative of k**6/120 + 4*k**5/15 + 5*k**4/24 + k**3/6 - k**2 - 113*k. Is 19 a factor of p(-5)?
False
Suppose 23*g + 5798 = 463199. Does 62 divide g?
False
Let c(j) = -j**3 - 23*j**2 + 40*j + 332. Is 10 a factor of c(-25)?
False
Suppose -67367 = -133*f + 3522. Is 81 a factor of f?
False
Is 60 a factor of (10 + (-1932)/48)/(2/(-240))?
False
Suppose -3*c + 5469 = 45*q - 43*q, -2737 = -q + c. Is q a multiple of 57?
True
Let q be ((-98)/5)/(-6 - 145/(-25)). Let l = q - 31. Let u = l - 40. Is u a multiple of 17?
False
Suppose -2*r - 2*w + 26 = 2*w, -3*r - 5*w = -36. Suppose r = 3*x - 5*q - 10, x = 4*q + 8. Suppose 84 = 3*n + x*n. Does 4 divide n?
True
Let l be 6088/(-3)*(-33)/2. Is 8 a factor of (-4)/10 - l/(-110)?
True
Suppose 42*f = 54*f - 7212. Is f a multiple of 38?
False
Suppose -52*f = -53*f - 5*b + 1654, -5*b = 5*f - 8190. Is f a multiple of 38?
True
Suppose -3*p + 8*p + 40 = 0. Let f be (1*p/(-4))/1. Suppose -s - 20 = -5*z, f*z + 4*s = -0*z + 30. Does 5 divide z?
True
Suppose 3*o = -3, 0 = -5*m + m + 4*o + 352. Let w = 92 - m. Suppose -w*u + u - 145 = -3*i, -i = 3*u - 44. Is i a multiple of 4?
False
Let w = 485 - 449. Suppose w*u - 20460 = 3*u. Does 20 divide u?
True
Suppose 385600 = 21*m + 113629. Is m a multiple of 11?
False
Let y(f) = f**3 + 40*f**2 - 85*f - 47. Let n be y(-42). Does 29 divide (3/(-9))/(n/19140)?
True
Let i(o) = -139*o - 822. Is 12 a factor of i(-18)?
True
Let y(h) be the first derivative of h**6/120 + h**5/120 + h**4/12 + 13*h**3/3 + 18. Let z(a) be the third derivative of y(a). Is 8 a factor of z(3)?
True
Let t(i) = i**2 + 3*i - 9. Let j be t(-5). Suppose p + 49 = 46. Is (p/6 - (-495)/6) + j a multiple of 8?
False
Let o be (1 - -4)*(48/(-8) + 7). Does 9 divide 493 - o/(-15)*-21?
True
Let t(p) = 2*p**2 - 9*p + 14. Let l be t(7). Let r = l + -44. Suppose o - 83 = 4*f, 30 + 58 = o - r*f. Is o a multiple of 18?
False
Let m = -404 - -565. Suppose 4*k - 35 - m = 0. Is 2 a factor of k?
False
Is 45 a factor of (185 + -5)*(6 + 975/52)?
True
Let q(n) = 23 - 26 + 163*n**2 - 10*n - 161*n**2. Is q(-6) a multiple of 43?
True
Suppose -5 = 3*k - 14. Suppose -u = -4*z - 7, k*z + 2*u + u = -9. Let t = z + 16. Is 13 a factor of t?
False
Suppose -60 = -2*n + 416. Let s be n/51 - 2/3. Is 16 a factor of 6*170/15 - s?
True
Let h(x) = 9*x**2 + 36*x - 4. Let c be h(-4). Is (-40)/1*(24/c - 4) a multiple of 10?
True
Let m = 25593 + -17431. Is 22 a factor of m?
True
Let f = 74 + -78. Is 35 a factor of (f - -7)/((-2)/(-124))?
False
Let i be (-285)/(-45) - (-8)/12. Suppose i*a - 26*a + 13870 = 0. Does 26 divide a?
False
Suppose 3*g = -3*u +