Suppose -34*n + 84205 = -74643. Is 32 a factor of n?
True
Let j be ((-348)/(-8))/((-15)/(-20)). Let b = -236 + 396. Let s = b - j. Is s a multiple of 34?
True
Let r = 1102 + 1338. Is 12 a factor of r?
False
Suppose -5*n = -749 - 421. Suppose -5*w - 175 = -2*d, -2*d + 228 = 2*w + 46. Suppose n = 3*o + d. Is o a multiple of 12?
True
Let i(d) = 2*d**2 + 3*d + 2. Let s be i(-2). Suppose 2*a + 3*b + 104 = 226, 5*a + b - 318 = 0. Suppose -s*z - a = -h, h - 2*h - z + 64 = 0. Is 32 a factor of h?
True
Let d be -7 - ((-8 - -10) + -8). Is 30 a factor of 5/(45/10269) + d?
True
Let b(o) = -o + 5. Let d(z) = z - 1. Let y(s) = -2*b(s) - 4*d(s). Let c be y(-3). Is 46 a factor of -2 + 320 - (0 + (-4 - c))?
True
Let x(c) be the second derivative of -5*c**4/6 + c**3 + 7*c**2/2 - 6*c. Let g(w) be the first derivative of x(w). Does 14 divide g(-6)?
True
Is 69/((-18630)/(-14153820)) + (-8)/(-18) a multiple of 38?
False
Suppose -u + 66 = -3*h + 67, 20 = -4*h. Does 16 divide (u/(-10))/((-11)/(-63140)*8)?
False
Suppose 174*t - 166*t - 135608 = 0. Suppose 21*d - t = -172. Does 17 divide d?
True
Let q(w) = -8*w**3 - 4*w**2 - 2*w - 1. Let g be q(-1). Suppose -5*i + 17466 - 7257 = 3*s, 4*i = -g*s + 8175. Does 89 divide i?
False
Suppose 2493*m + 70230 - 20862 = 2510*m. Is 44 a factor of m?
True
Suppose 2*o - 18064 = -4*i, 506*o - 504*o = i + 18089. Does 66 divide o?
True
Let t be (612 + -13)*(-2 - -3). Let i be 1 + t*(2 + -1). Suppose -10*y = -4*y - i. Is 25 a factor of y?
True
Let d = -7428 - -12455. Is 71 a factor of d?
False
Suppose 5*m + 1768 = -0*m - 3*a, -5*m + a = 1784. Let y = m + 512. Does 8 divide y?
False
Suppose -39*o = 28*o - 177684. Is 13 a factor of o?
True
Let j(a) = 5*a - 72. Let w be j(15). Let k(f) = 13*f**2 + 4*f - 9. Is k(w) a multiple of 8?
True
Let w(a) = -212*a**3 - 5*a**2 - 16. Is 26 a factor of w(-3)?
False
Suppose -4*g - 18*j = -15*j + 23, 3*g + 2*j = -16. Is g*((9 - 5) + -1 + -17) even?
True
Suppose 220920 = 397*b - 367*b. Does 143 divide b?
False
Let q(k) = 2*k + 20. Let g = -69 + 72. Suppose 4 = 4*w - 0, -g*w = 3*o - 57. Is 29 a factor of q(o)?
False
Let h(c) = -8 - 7 - 1 + 4 - 11*c - c**2. Let d be h(-10). Is (-3)/(((-4)/(-58))/d) a multiple of 6?
False
Let q be (-3 - -1)/((15/8)/(-15)). Suppose -t = -12*r + q*r - 340, -1616 = -5*t + r. Is t a multiple of 27?
True
Let i(z) = 9*z + 108*z**2 + 8*z + 20 - 35*z + 8*z. Is 28 a factor of i(4)?
True
Does 11 divide (19 + -18)/(2 - -1) - (-2220)/9?
False
Let z(y) = -2*y**3 + 31*y**2 + 15*y + 40. Does 3 divide z(16)?
True
Suppose 0 = 3*d + 3*o - 42522, -4*d + 2*d + o + 28357 = 0. Does 32 divide d?
False
Suppose 13*v + 4820130 = -21*v + 181*v. Is v a multiple of 31?
False
Does 28 divide (4 - -13338) + 3 + ((-15)/(-5) - -2)?
False
Let g(h) = -3*h**2 - 3*h + 6. Let r be g(2). Let d be 2/r*-4 + (-112)/24. Is 34 a factor of (-680)/d*1 + 0?
True
Let f be 1*(-23 + (-24)/(-3)). Let j(r) = 1. Let k(x) = -x**3 - 16*x**2 - 7*x - 20. Let g(a) = -3*j(a) - k(a). Is 23 a factor of g(f)?
False
Suppose -9189 = 5*f + w + 3*w, 0 = -4*f + 4*w - 7344. Let p = 2752 + f. Does 61 divide p?
True
Suppose -370*f = -382*f + 78532 + 64724. Is f a multiple of 3?
False
Suppose 0 = 4*v - 2*f - 19726, -v + 4930 = 5*f - 6*f. Suppose 19*a - v = 11654. Does 15 divide a?
False
Let g(p) = 2*p**2 + 65*p + 42. Let w be g(-32). Does 15 divide 6/(w/(-908)*(-48)/40)?
False
Let d = -25 + 28. Let j(g) = -g**3 - 2*g**2 + 3*g - 2. Let s(m) = 2*m**3 + 4*m**2 - 5*m + 3. Let i(l) = d*s(l) + 7*j(l). Does 13 divide i(-5)?
False
Let k(t) be the first derivative of t**4/4 + 10*t**3/3 - 8*t**2 + 6*t + 31. Does 21 divide k(-9)?
True
Let f(y) be the second derivative of -11*y**3/2 + 468*y**2 + 108*y. Is 76 a factor of f(0)?
False
Does 50 divide 4424/126*9*16?
False
Let h(c) = -c**2 - 35*c - 75. Let k be h(-18). Suppose -3*a + k = 2*z, a - 3*a - 105 = -z. Is 34 a factor of z?
False
Let y be -6*(6/(-8) - (-68)/(-272)). Let v(j) be the third derivative of j**6/120 - j**5/10 + 7*j**4/24 - 5*j**3/2 - j**2. Is 13 a factor of v(y)?
False
Suppose 75025 - 4766 = 7*p. Is p a multiple of 3?
False
Let z(v) = 1. Let h(t) = -3. Let a(f) = -h(f) - 4*z(f). Let r(j) = -8*j + 3. Let w(b) = 3*a(b) - r(b). Is 15 a factor of w(8)?
False
Is 122 a factor of (-109423)/(-9) - (-8)/8 - 3/27?
False
Does 65 divide (-11)/(693/27) - (-7570)/7?
False
Suppose 4*c = 2*j - 38, 4*j + 5*c = 2*c + 54. Suppose -3*w - 216 = j. Let d = 109 + w. Is d a multiple of 16?
True
Let x = -38 + 290. Suppose 0 = 2*d + 4*q - x, -d + 162 = -q + 39. Is d a multiple of 16?
False
Is 60 a factor of (3760/15)/(50/3375)?
True
Let n = -1689 + 2269. Is 10 a factor of n?
True
Let t(k) = 6099*k - 419. Does 20 divide t(1)?
True
Suppose 2*f = -0*f - 164. Let y(b) = -b**3 + 12*b**2 - 20*b + 32. Let n be y(8). Let h = f + n. Does 23 divide h?
True
Suppose -111580 = -5*b + i - 38447, 5*b + 5*i = 73115. Does 103 divide b?
True
Suppose 4*g = s + 18, 3*s + 2*s + 5*g = 35. Let f(y) = 212*y**3 + 5*y - 1. Is 55 a factor of f(s)?
True
Suppose 24 = 3*u + 4*i, 2*u - i + 11 - 16 = 0. Does 15 divide 509 - 5 - (-3 + (u - 7))?
True
Suppose -5*c = -5*q + 5405, -287*q - 1076 = -288*q - 4*c. Is 27 a factor of q?
True
Let j(v) = -16*v**2 + 150*v + 16. Let g be j(12). Let o = 1084 - g. Is o a multiple of 86?
False
Suppose -5*s = -0*s - 145. Let a = s - 22. Does 5 divide 0 + 3/(-3) - -7*a?
False
Suppose -2*l + 1 = -11. Suppose l*t = -6*t + 3108. Let u = -75 + t. Is u a multiple of 18?
False
Let r = -3231 + 10690. Does 9 divide r?
False
Suppose 15*s - 481 = 59. Suppose s*j = 26*j + 610. Is j a multiple of 9?
False
Suppose 8*y - 6360 = -5*u + 12*y, 3*u + 2*y - 3794 = 0. Suppose 4*t = 3*g + 196 - u, 2*t - 1084 = -3*g. Is 12 a factor of g?
True
Let v(d) = -72 + 6*d + 5*d - 23 - 18*d. Is v(-35) a multiple of 10?
True
Let y = 0 + -8. Let u(l) = 1908610 + 2*l**3 - 1908615 - l**3 - 16*l + 7*l**2. Is u(y) a multiple of 22?
False
Suppose -8*m = -6*m - 680. Suppose 0 = -4*r - 4*a + m, 25 = 3*r + 4*a - 226. Is 19 a factor of r?
False
Suppose 10 = -2*s, 4*s = -3*o - 0*s - 56. Let m be (-4 + (-4)/(-6))/(8/o). Suppose -70 - 290 = -m*y. Is y a multiple of 9?
True
Suppose 89 = -18*z + 19*z. Suppose -2*w - 2*o = -84, -2*w - 6*o + 3*o + z = 0. Does 20 divide 2 - (0 + w*-3)?
False
Let d be ((-2170)/15)/((-12)/234). Let z = d - 1457. Does 8 divide z?
False
Let x be (-1822)/(-10) - ((-117)/15 - -8). Let w(t) = -t**3 - 8*t**2 + t - 6. Let c be w(-5). Let k = c + x. Is k a multiple of 16?
True
Let f = 3520 + 4221. Is 15 a factor of f?
False
Is (8/(-14))/(144/(-4724496)) a multiple of 52?
False
Suppose -4815 + 77153 + 24237 = 25*a. Is a a multiple of 4?
False
Let q = -3657 - -6624. Suppose q = 16*f + 215. Does 10 divide f?
False
Let h = -37 - -28. Let w be 1/(-3)*(h + -6). Suppose 0 = -s - w*v + 101, 3*s - 2*v - 283 = -7*v. Is s a multiple of 13?
True
Let g(k) = 519 - k**2 - 266 + 28*k - 259. Is g(22) a multiple of 6?
True
Let x(d) = 1. Let y(f) = 3. Let j(l) = 4*x(l) - y(l). Let a(v) = -2*v**2 + 7*v + 38. Let w(s) = -a(s) - 6*j(s). Is 55 a factor of w(9)?
True
Suppose -5*t + 3*j = -117983, -722*j + 723*j + 6 = 0. Does 61 divide t?
False
Suppose -117*w = -122*w + y + 1533, -w + 300 = 2*y. Does 51 divide w?
True
Let c(g) be the second derivative of g**4/12 - 5*g**3/6 - 2*g**2 + 2*g. Let n be c(5). Is 16 a factor of 39 - (n + (-4 - -6))?
False
Let m(g) = 4*g**3 + 3*g**2 - g - 4. Let a(i) = 13*i**3 + 8*i**2 - 4*i - 13. Let q(x) = 2*a(x) - 7*m(x). Let v = -1 + -3. Is 18 a factor of q(v)?
True
Let b(s) = -5811*s - 9591. Is 22 a factor of b(-7)?
True
Let r = -2576 - -5326. Is r a multiple of 12?
False
Let u(l) = 105 - 17*l - 57 - 49. Is u(-3) a multiple of 5?
True
Let n be (-3)/3*(-6)/3. Suppose 22 = 2*i - 3*f - n*f, 2*i - 22 = -f. Let k(r) = r**3 - 11*r**2 + r + 9. Is 3 a factor of k(i)?
False
Suppose 34*t = -466 + 2302. Let c = 105 - t. Is 6 a factor of c?
False
Let x(k) = k**3 + 13*k**2 + 4. Let m(z) = z**3 - 6*z**2 - 8*z - 6. Let s(f) = 2*f**2 - 3*f + 5. Let o be s(2). Let u be m(o). Is 2 a factor of x(u)?
True
Let u = -7052 + 7312. Does 52 divide u?
True
Does 77 divide 101628/30 + (-34)/(-85)?
True
Suppose 38*j - 39*j + 1060 = 0. Suppose -7*n + j = -3*n. Suppose -2*v - 4*s + n = v, 465 = 5*v + 2*s. Does 5 divide v?
True
Let n(c) = -c**3 + c**2 - c - 2. Let h(z) 