492, 4*c = -3*g + 45555 + 6919. Is c a multiple of 8?
True
Let g(m) = 2*m**3 + 3*m**2 - 4*m - 2. Let c(v) = -v**3 - 5*v**2 + 5*v + 2. Let k(x) = -4*c(x) - 3*g(x). Is 7 a factor of k(4)?
True
Suppose 3*r = d + 1, 0 = -4*r + 4*d + 5 - 1. Suppose -11*h + 314 + 38 = r. Is h a multiple of 4?
True
Let p(r) = 319*r**2 + 9*r - 8. Let u(n) = -n**3 - 5*n**2 - 14*n - 69. Let o be u(-5). Is p(o) a multiple of 8?
True
Let m(i) = i**3 - i**2 - 2*i. Let f = 58 + -59. Let v be m(f). Suppose 9*c - 463 + 94 = v. Is 18 a factor of c?
False
Let c = 90 + -105. Let n be 3*(-5)/15*c. Is 50 a factor of 4/10 + 1509/n?
False
Let f = 95684 - 60421. Does 23 divide f?
False
Is (-98025)/(-20) + 3/4 a multiple of 43?
True
Suppose -k - h = -39386, h - 11 = -4. Is k a multiple of 34?
False
Let y = 95 + -91. Suppose -124 = 18*u - 20*u + 3*r, y*r = -3*u + 220. Is u a multiple of 4?
True
Let b be 1 + (564820/140 - (-6)/(-14)). Let r = b + -2859. Is 11 a factor of r?
False
Let n be (-1 + 0/1)/((-15)/480). Let p(b) = b**3 - 34*b**2 + 68*b + 55. Does 3 divide p(n)?
True
Let y be (1 - (1 + 2)) + 1020/3. Suppose 2*b - 416 = y. Does 53 divide b?
False
Let b = 147 + -145. Suppose b*q - 46 = -4*s, -4*q + 0*s + 3*s = -125. Suppose -8*o + 101 = q. Does 4 divide o?
False
Let a(i) = 2*i**2 + 7*i + 4. Let z be a(-3). Let t(p) = 12*p**3. Let m be t(z). Suppose -10*u + m*u = 48. Does 8 divide u?
True
Let i(k) = -2578*k + 166. Is i(-4) a multiple of 27?
False
Suppose 0 = -7*l + 95 - 31 + 153. Does 2 divide l?
False
Suppose 4*c + 9*c = -4485. Let o = c - -826. Is 20 a factor of o?
False
Let t(o) = 20*o**3 + 2*o**2 - o. Let s be t(1). Suppose -16*r + 220 = 6*r. Suppose a + 3*d = s, 0 = 5*a - 3*d - r - 149. Does 15 divide a?
True
Let y(o) = o + 7. Let a = -62 + 58. Let u be y(a). Suppose -u*b = 2*j - 32, 40 = 3*j + 5*b - 8. Does 6 divide j?
False
Suppose 40*z = 10*z - 600. Let j = z - -240. Is 5 a factor of j?
True
Suppose 4*h - 109*g - 12536 = -113*g, -20 = 4*g. Is 104 a factor of h?
False
Suppose -53*u = -149*u + 940879 - 355855. Does 8 divide u?
False
Let z(r) = r**3 + 6*r**2 + 7*r + 6. Let o be z(-5). Is 15 a factor of o + (741 - (6 - (-12)/(-3)))?
True
Suppose -2*z - 28673 = -3*f + 5261, f + 5*z - 11300 = 0. Suppose 7*l = l + f. Is 45 a factor of l/15 - 6/9?
False
Let w(t) = -7*t + 173. Let d be w(12). Let g = 94 + d. Does 27 divide g?
False
Let f be 1/1 + (-126)/(-6). Let w = f - -23. Is w a multiple of 5?
True
Let w = 3100 + -944. Is w a multiple of 14?
True
Let f(d) = 62*d**3 + 4*d**2 - 4*d. Let s(n) = n**2 - n. Let k(o) = f(o) - 5*s(o). Let v = 29 + -28. Is k(v) a multiple of 31?
True
Let c(h) = -4*h - 88. Let q be c(-22). Does 53 divide q/2 - (-228 - (7 + 1))?
False
Suppose 477 = -p + 2*p - 2*x, -2*p + 954 = 5*x. Let j = 744 - p. Is 63 a factor of j?
False
Let v(p) = -p**2 + 18*p - 17. Let o be v(16). Let w = o - -127. Is w a multiple of 40?
False
Let g(o) = 23 - 9*o + o + 5*o. Let f be g(9). Is 45 + (f - 4)/2 a multiple of 5?
False
Let z(y) = y**3 - 44*y**2 + 173*y - 186. Is z(42) a multiple of 32?
True
Let x(u) = -u**3 + 15*u**2 - 15*u - 10. Let i be x(14). Let p = i - -25. Does 6 divide (-2)/(-3)*1*36/p?
True
Let u(t) be the first derivative of -t**3/3 + 33*t**2/2 + 33*t + 19. Let x be u(15). Suppose -5*y + x = -2*y + 3*n, -5*y - n = -505. Does 23 divide y?
False
Let c(y) = -109*y + 160. Let h be c(4). Let w = 687 - h. Is w a multiple of 30?
False
Suppose 5*f + 4*b - 179 = 0, 4*b - 4 + 0 = 0. Let w be 117830/f + 12/(-21). Suppose -4*o + 22*o - w = 0. Is 17 a factor of o?
True
Let p(r) = r**2 + 4 - 8*r**3 - 3*r**2 + 19*r**3. Does 4 divide p(2)?
True
Suppose 0 = -15*h - h + 32. Suppose -h*t + 6*t - 1040 = 0. Is t a multiple of 52?
True
Let f = 583 + -377. Let j = -96 + f. Let g = -12 + j. Is 7 a factor of g?
True
Let j(c) = 26*c - 148. Suppose -2*b + 65 = -2*h + 5*h, -3*h = -2*b + 47. Does 58 divide j(b)?
True
Let h(x) be the second derivative of -x**5/20 - 7*x**4/12 + 5*x**3/6 - 2357*x. Suppose 44 = -0*t - 5*t - m, 5 = -t - 4*m. Is 11 a factor of h(t)?
False
Let t = -15 + -27. Let j = t + 42. Suppose j = -3*n + 2*g + 272, -3*g - 4 = g. Is n a multiple of 15?
True
Let r be 4/(-18) - 1392/54. Is (360/12*-1)/(3/r) a multiple of 26?
True
Suppose -2*r = 10, -t + r + 32 = -4*r. Suppose d + j = 953, 5*j - 8 = t. Does 19 divide d?
True
Let n = -353 - -621. Suppose -n = -3*o + 152. Is 30 a factor of o?
False
Let j = -196 + 497. Let f = j + -127. Does 29 divide f?
True
Let y = 18 + -13. Suppose i - 23754 = y*d, -3*i = 3*d - d + 9488. Is 36 a factor of 2/7 - d/133?
True
Suppose 5*p - 8 = 7*p, -4*l + 18200 = 4*p. Suppose 0 = -64*k + 41*k + l. Is k a multiple of 18?
True
Let p(g) = 7165*g + 3602. Is p(4) a multiple of 38?
True
Suppose h - 4*t + 3 = -3, t = -5*h + 12. Suppose 4*j - 898 = -h*y, j + 0*j - 226 = -2*y. Does 8 divide j?
True
Suppose 39*a - 17 = 38*a. Suppose -a = -3*i - 23. Let x(y) = 89*y**2 + 2*y - 1. Is x(i) a multiple of 18?
False
Let h = -50 - -52. Suppose h*a - 143 = 5*j, 3*a - 21 = -4*j + 159. Is a/3 + 13/((-117)/(-6)) a multiple of 3?
False
Let f = 572 + -585. Let k(y) = 4*y**2 + 11*y - 53. Does 60 divide k(f)?
True
Let x = -42 + 56. Suppose m - 18 = -x. Is (3 - (-294)/24) + (-1)/m a multiple of 8?
False
Suppose 5*l - q + 2*q - 810 = 0, 0 = q. Suppose -n = -l + 23. Let d = 263 - n. Is 31 a factor of d?
True
Let i be 15/7 + (4 - (-29)/(-7)). Suppose 0*o - 3*s = -i*o - 32, 0 = 4*o - 2*s + 56. Let d(u) = -u**2 - 18*u + 13. Is d(o) a multiple of 13?
True
Let j(b) = 43*b - 6. Let z be (-462)/98 - (-4)/(-14). Let d(a) = 44*a - 5. Let k(q) = z*d(q) + 4*j(q). Is 14 a factor of k(-1)?
False
Suppose 2*k - 2 + 0 = 3*p, 2*k = -3*p - 22. Let d(u) = -u + 6. Let x be d(p). Suppose -3*l - x + 82 = 0. Does 6 divide l?
True
Is 69 a factor of (-10)/20*2*-4 - (-35091 + -8)?
False
Let u(w) = 23*w - 63. Suppose 0 = 2*n - 5*d - 22, 0 = -n + 2*d - 6*d + 11. Let l be u(n). Let c = l + -135. Does 18 divide c?
False
Let g = 2881 - 1332. Is g a multiple of 21?
False
Suppose -4*o + 2*o = -3*f - 483, 0 = 5*o. Does 30 divide (-5520)/f*(8 + -1)?
True
Suppose -50*x = 60*x - 284900. Does 10 divide x?
True
Let o = -141 + 135. Is o/4*(-3088)/6 - -5 a multiple of 17?
False
Let c be -1 + 1 - (45 - 5). Let f(w) = w**3 - 6*w**2 - 4*w - 5. Let u be f(6). Let a = u - c. Does 8 divide a?
False
Let m(u) be the first derivative of 65/2*u**2 - u + 18. Is m(1) a multiple of 32?
True
Suppose -5*k + 4365 + 260 = 0. Suppose -15 = -3*m, k = x + 4*x - 5*m. Is x a multiple of 8?
False
Let i be (-4)/(-22) - 80/(-44). Suppose 0 = i*a + t - 5*t - 474, 909 = 4*a + 5*t. Suppose 406 = 13*j - a. Is j a multiple of 8?
False
Suppose 7*o - 52 = 39. Suppose -5*h - o = -2*c + 1, 3*h = -c - 4. Let l = 15 - c. Is 13 a factor of l?
True
Suppose -4*d = -p - p + 264, -3*d - 200 = -p. Is (-9)/(-12) + (-14841)/d a multiple of 32?
False
Is ((-104)/6)/(((-255)/2475)/17) a multiple of 220?
True
Suppose -2*n - 5001 = 5*x - 29599, x = -2. Is 341 a factor of n?
False
Let m = -3201 + 1701. Let g = -839 - m. Does 15 divide g?
False
Let f(r) = r**2 + 2*r. Let j(k) = 105*k**2 + 4*k + 31. Let u(m) = 6*f(m) + j(m). Is 89 a factor of u(-3)?
False
Suppose -3*b + 8*h - 3*h = -57, 3*h = 0. Let k(v) = 7*v**3 + 19 + 7 - 18*v - 6*v**3 + 3*v**2 - 13*v**2 - 8*v**2. Is 15 a factor of k(b)?
True
Let o be (63/(-14))/((-26)/8 + 1). Suppose -4*r + 561 + 1279 = 0. Suppose o*p - 7*p = -r. Is p a multiple of 8?
False
Let d be (-3985)/35 + (-1)/7. Let f be (8/12)/((-1)/d). Let y = -10 + f. Is y a multiple of 11?
True
Suppose -7*g - 13 = 1. Let k(c) = 10*c**2 + c - 1. Is k(g) a multiple of 21?
False
Let r be -18*(60/(-9))/2 + -1. Let g = -136 + 89. Let n = r + g. Does 2 divide n?
True
Suppose u + 108 = 4*u. Let y be 1/((3/(-9))/((-26)/6)). Suppose l - y = u. Is l a multiple of 9?
False
Let m(j) = 4*j**2 - 22 - 92 - 5*j**2 - j + 3*j. Let i be m(0). Let x = 174 + i. Does 12 divide x?
True
Suppose -19*w = -15*w - 28. Does 26 divide 48/(-9)*(w - 46)?
True
Let p be (2/(-4))/(8*(-9)/(-25776)). Let o = p + 269. Is 35 a factor of o?
False
Suppose 3*x + 5217 = p, -4*p - 9502 = 2*x - 30426. Does 83 divide p?
True
Let h = 1008 + -1196. Let y(g) = 15*g**3 - 2. Let m be y(-2). Let n = m - h. Does 10 divide n?
False
Let y be 8 + -2 - 4 - -111. Let s = y + -137. Does 9 divide 2/(80/s) - 456