8406. Is h a multiple of 9?
True
Suppose -2*g + 5*g - 5*h = 31, 3*g - 3*h = 21. Let u be g*6/(-16) + 189/12. Let q = u + 94. Is 18 a factor of q?
False
Does 25 divide -1 - (-895 + 3 + 7)?
False
Suppose l - 6*l = 8*r - 12665, 3*l + 5*r = 7598. Is l a multiple of 77?
True
Let g(u) = -5*u**3 - 5*u**2 + 5*u + 5. Let t be g(-5). Let d = -273 + t. Does 12 divide d?
False
Let n = -13090 + 31590. Is 20 a factor of n?
True
Let x(r) = -8*r - 8. Let o(n) = n**2 - 7*n - 8. Let g(m) = 4*o(m) - 3*x(m). Let v be g(6). Suppose -y = 0, 0 = 4*s - 2*y - 3*y - v. Is s a multiple of 21?
False
Suppose -4*m = -2*f - 14, 4*m + 5*f + 8 - 1 = 0. Let a(h) = -h**m + 34 + 2*h - 7 - 2 + 25. Is a(0) a multiple of 13?
False
Suppose 5 = 5*q + 4*z, 8 = 5*z + 33. Suppose a - 6*a + 2910 = c, -1718 = -3*a + q*c. Suppose 8*u = u + a. Is u a multiple of 26?
False
Suppose -38817 = -3*u + z, 0 = 16*z - 12*z + 12. Does 102 divide u?
False
Suppose 5*g = -3*c + 22, 5*c - 2*g - 10 = 3*g. Suppose 0 = -4*q + 3*x + 1929, c*q = x + x + 1926. Is 16 a factor of q?
True
Let i(s) = -2*s**2 + 19*s - 47. Let g be i(12). Let l = g + 238. Does 15 divide l + -4*(5 - 6)?
True
Let n(q) = 780*q**2 + 771*q**2 - 2 - 6*q + 4*q**3 - 1545*q**2. Does 38 divide n(5)?
False
Let d = -109 - -52. Let h = d + 59. Suppose -h*a - 3*b + 30 = -237, 2*b + 6 = 0. Does 23 divide a?
True
Suppose -3*a + 3*z = -54, -5*a + 115 = 2*z + 25. Let l(u) = -2*u + 41. Let g be l(a). Does 28 divide (374/8)/(38/(-8) + g)?
False
Suppose -5*i + 11 + 304 = 0. Let j be 216/i + 3/(-7). Suppose -v + 59 + 18 = -j*x, -4*x + 8 = 0. Does 12 divide v?
False
Suppose -252 = -4*j - 4*h, -8*h - 261 = -4*j - 9*h. Let v = 230 + j. Is 14 a factor of v?
False
Suppose 9*k = 17*k - 24. Suppose 0 = 3*p - u - 1171, k*p - 1558 = -p + 2*u. Does 8 divide p?
True
Suppose -1 = 15*m - 14*m. Is m/(-10) + 483/70 a multiple of 4?
False
Let h(c) = 90*c**2 + 144*c - 10. Is 97 a factor of h(8)?
False
Let c(l) = -l**3 + 2*l**2 + 6*l + 1. Let d be c(-2). Does 16 divide ((-118)/6)/(((-15)/36)/d)?
False
Let r = -14976 - -28794. Does 14 divide r?
True
Let t(j) = -31*j + 22. Let u be t(4). Let i = 13 - u. Let g = i + -46. Is g a multiple of 7?
False
Suppose 0 = o + 5, k + 4*o + 250 = -4*k. Let f be 142/(-6) - k/69. Let i = f + 32. Is i a multiple of 9?
True
Let o(j) be the second derivative of -j**5/20 + 10*j**4/3 + 17*j**3/2 + 85*j**2/2 + 21*j. Is o(41) a multiple of 33?
True
Let g(c) = c**2 + 23*c - 954. Is g(32) even?
True
Suppose -683*u + 718*u = 72660. Does 12 divide u?
True
Suppose -4*b + 5*q + 137881 = 0, 5*b = 2*q + 195537 - 23207. Is b a multiple of 359?
True
Let k = 24232 - 12457. Does 149 divide k?
False
Let v(u) be the second derivative of 19*u**3/2 + 29*u**2 - 233*u. Is 11 a factor of v(11)?
False
Let j = 45 - 43. Suppose p + 51 = -j*a, -5*p = -8*a + 9*a + 39. Does 9 divide ((-160)/a - 4)*75/2?
False
Suppose 3*c - 5*h - 24 - 53 = 0, 0 = -4*c - h + 118. Suppose -c*j - 64 = -1369. Is 9 a factor of j?
True
Is 12 a factor of (64/36)/8 - 1973118/(-189)?
True
Is (-201 + 163)*-29*(-28)/(-8) a multiple of 56?
False
Let y(q) = q**3 - 4*q**2 + 5*q - 4. Let s be y(2). Let z be s + (-608 - (1 + -1)). Is (4 - 4/2)/((-4)/z) a multiple of 53?
False
Suppose -165*n = -6534 - 1995906. Is 74 a factor of n?
True
Let x be (23 + 4)*(-206)/6. Let w = 1410 + x. Is w a multiple of 40?
False
Let o(a) be the second derivative of a**5/20 - 5*a**4/6 + a**3/6 - 5*a**2 + 18*a. Let t be o(10). Suppose t = 4*f - 0*f - 544. Is 34 a factor of f?
True
Suppose -5*l = 9127 - 38912. Does 30 divide l?
False
Let o(u) = -2*u**3 + 2*u**2 - u - 3. Let v be 4*2*(-6)/24. Is o(v) a multiple of 8?
False
Suppose -y + 12238 = 2*l + 121, -4*l - 24258 = -2*y. Is 27 a factor of y?
True
Let t be (0 - -58)*(-4 + 7/2). Let g = -29 - t. Suppose -3*f + 2*q + 401 = g, 2*f + 2*q = -q + 263. Does 26 divide f?
False
Suppose 4*h - 912 = 4*p, 2*p + p = -2*h + 456. Suppose -3*z = -5*b + 426, -z - 62 + h = 2*b. Is 4 a factor of b?
True
Suppose 2*a - 16 = -2*a. Does 23 divide 3/a + 81577/116?
False
Suppose -4*v - 5*h = 84 + 247, -2*h + 10 = 0. Let c be 4/(-10) - 1431/(-15). Let k = v + c. Is k even?
True
Let o = 113 + -110. Suppose 403 = 4*b - f - 0*f, -311 = -o*b - f. Does 17 divide b?
True
Suppose 500 = -34*g + 2851 + 505. Is g a multiple of 6?
True
Let a = -16 + 22. Let g = a - -2. Is (5 + 315/20)*g a multiple of 13?
False
Suppose 5*o = 3*t - 67221, 0 = 3*t + 81*o - 82*o - 67245. Does 84 divide t?
False
Let g(d) = -d**3 + 52*d**2 - 85*d - 748. Let f be g(50). Let y = -51 + 71. Suppose f*a - 4*q - 102 = -2*q, -4*q - y = 0. Is 18 a factor of a?
False
Let p be (-3*(-2)/(-5))/((-21)/35). Suppose -p*d + 2*w + 3060 = 0, d + 4*w = 3*d - 3056. Does 10 divide d?
False
Suppose 3*d = 0, -41 - 627 = -4*y - 3*d. Let p = -5431 + 5436. Suppose -5*b + 713 = 4*s, s - p*b = 2*s - y. Does 39 divide s?
False
Let m(t) = -29 - 28*t**2 + 21*t + 69*t**2 - 40*t**2. Is m(-29) a multiple of 7?
True
Let m(c) = 43*c**3 - c**2 + 14*c + 35. Let x be m(-4). Let w = -1518 - x. Does 27 divide w?
False
Is (-3*(19 - 22))/(2*2/1584) a multiple of 12?
True
Suppose -4*h - 308 = 5*i - 2648, 2*i + 2*h - 936 = 0. Is 18 a factor of i?
True
Let v(j) be the third derivative of 5*j**4/24 - 13*j**3/3 - 4*j**2. Let n be v(6). Suppose n*r + 407 - 1675 = 0. Is 16 a factor of r?
False
Let h = 1743 - 7132. Suppose -b = -6*b - 255. Does 35 divide h/b - 4/6?
True
Suppose -2*r + 109582 = 5*a, -61*r = 3*a - 58*r - 65742. Does 78 divide a?
True
Let r be 18/(-4)*(0 + -3 + -125). Let c = 1576 - r. Suppose 179*a = 175*a + c. Is a a multiple of 9?
False
Suppose 0 = -15*l - 1780 - 395. Let a = -146 - l. Does 6 divide 110/(a + 12/4)?
False
Let t = 21 - -227. Let y be -3 - ((-15)/21 - (-2)/(-7)). Is ((-30)/40)/(y/t) a multiple of 33?
False
Let q(s) = 34*s - 35. Let l be q(-10). Let i = l - -471. Is i a multiple of 3?
True
Let z(g) = -29*g + 65601*g**2 - 30 - 65602*g**2 - 18. Let m = -44 + 23. Is z(m) a multiple of 24?
True
Let c(h) = -h**2 - 13*h + 15. Let t be c(-10). Is 10 a factor of 40/15*t/4?
True
Let n = 9 + -5. Suppose 14*a - 25*a = -780 - 1090. Suppose -n*i = i - a. Is 22 a factor of i?
False
Let k(r) = 4*r**2 + 8*r + 3. Let x be k(-2). Suppose -4*t + 3*o + 2472 = 0, -x*t - 2*o + 1879 = 2*o. Is t a multiple of 69?
True
Let h(d) = 21*d**2 - 128*d - 14. Let r be h(7). Let w = 84 - 129. Let p = r + w. Is p a multiple of 12?
False
Suppose -4*b - 3*s + 30695 = 0, 890*b + 30665 = 894*b - 3*s. Is 26 a factor of b?
True
Let l = 3871 + 6075. Is l a multiple of 32?
False
Let m = 8 + -4. Suppose -4*b + 1240 = 3*q - q, 2*q = 4*b + 1200. Suppose -2*g + 382 = 3*x, 2*g + q = m*x + x. Does 21 divide x?
False
Does 29 divide -2*8/((-48)/3462)?
False
Let q = -11 + 20. Let m(z) = -2*z**3 - 71*z**2 + 37*z + 22. Let g be m(-36). Is 9 a factor of (g + -1)/(q/(-81))?
True
Suppose -2*j = -12*j + 14410. Suppose -j = -5*h - 441. Does 40 divide h?
True
Suppose -d = 2*d - 2*u - 7, -3*d + 4*u = -11. Suppose -o + 13 - d = 0. Let y = 1 + o. Is 5 a factor of y?
False
Let s = 406 + 26. Suppose -3*m - 432 = -3*y + m, 3*y + m = s. Does 9 divide y?
True
Does 5 divide (40/(-32))/(26303/3288 - 8)?
True
Suppose z + 109581 + 1595 = 6*s, 2*s = 5*z + 37096. Is s a multiple of 4?
True
Let o(k) = -2*k + 18. Let t be o(-2). Is t/(-66) - 2181/(-9) a multiple of 22?
True
Let f = 20 - 16. Let b be (27/12)/(-9)*f. Is 25 a factor of 2/13 + b/((-13)/856)?
False
Let g(x) = x**3 + 3*x**2 - 11*x + 6. Let y = 418 + -412. Is 24 a factor of g(y)?
True
Let f be (4 - (4 + -4)) + 3/(-3). Suppose -20 = -g - 5*c + 12, 213 = 4*g + f*c. Let u = g + -36. Is u a multiple of 16?
False
Let m be (-4)/(-2)*(-9)/(-18) + 7. Let h = m - -72. Does 20 divide h?
True
Let j(i) be the first derivative of i**2 - 6 + 1/4*i**4 + 6*i - i**3. Does 10 divide j(4)?
True
Suppose -6*k + 4*k = -10. Let o(b) = -b**3 + 113*b - 229*b - 6 + 111*b - k*b**2. Is 5 a factor of o(-6)?
True
Let y(r) = r**2 - 10*r + 17. Let l be y(9). Suppose 3*a = -2*u + l, a + a + 4*u = -8. Suppose -a*h + 260 = -4*h. Is 16 a factor of h?
False
Suppose -y = -4, 13*y - 14870 = -h + 8*y. Is 99 a factor of h?
True
Let d = -118 - -27. Let w = 225 + d. Is 4 a factor of w?
False
Suppose -2*o = -2*g, 2*g + 2*o + 0*o + 8 = 0. Does 19 divide (9/(-6) - 4/g)*58?
False
Let x(r) = 7649*r**3 + 2*r**2 - 