69. Is g(-8) a multiple of 69?
False
Is 40*(0 - (3/10)/(54/(-2025))) a multiple of 9?
True
Let v(x) be the second derivative of 4*x**3/3 + 23*x**2 + 18*x. Let g(q) = -24*q - 137. Let t(a) = 3*g(a) + 8*v(a). Is 13 a factor of t(-14)?
False
Suppose 0 = w + w - 246. Does 61 divide 2/8 + w*85/20?
False
Suppose 20*r + 315 = -r. Is (18/r)/((-18)/1395) a multiple of 31?
True
Let o(d) = 474*d**3 + 34*d**2 - 60*d - 9. Is o(2) a multiple of 2?
False
Suppose -52476 = -14*l + 1088. Suppose 5*c - l = 4*v, -4*c - 767 = -5*c - v. Is 58 a factor of c?
False
Let f(y) = 15*y**2 + 6*y + 14. Let w(k) = -k**2 - 26*k - 5. Let g be w(-26). Is 40 a factor of f(g)?
False
Let h(d) = 4*d - 19. Let v be h(3). Let a(r) = -r**3 - 9*r**2 - 15*r + 9. Is a(v) a multiple of 12?
False
Let k = -127 - -127. Suppose k = -2*b + 294 + 526. Does 41 divide b?
True
Suppose -3560 = 3*o - 17630. Is o a multiple of 35?
True
Let o = -34639 + 41090. Does 66 divide o?
False
Let j(g) = -160*g - 3538. Is 9 a factor of j(-39)?
False
Let d(x) = -x**3 - 10*x**2 - 9*x + 18. Let y be d(-8). Let v = y - -28. Is 15 a factor of (75/v)/((-1)/6)?
True
Suppose 0 = -5*c - 5*j + 264215 - 36230, 136785 = 3*c - 3*j. Is c a multiple of 148?
False
Let r = 8163 + -6189. Does 28 divide r?
False
Let h(o) be the first derivative of 10*o**3/3 + 3*o**2 + 3*o + 187. Does 25 divide h(6)?
False
Suppose 2*x + 9 = 4*t - 1, 0 = 5*x - 5*t + 20. Is (-2 - -1)*x - -66 a multiple of 2?
False
Let j = 40346 - 21015. Does 12 divide j?
False
Is (600768/(-1680))/((-4)/165) a multiple of 64?
False
Let b = -10035 + 26751. Is 12 a factor of b?
True
Let d(l) = -52*l - 85. Let j be d(9). Is 12 a factor of 5 - (j - (-5 - 2))?
False
Let b be 14/(-84) + (-13)/(-6). Let n = b - -7. Is n/(-3 + 33/10) a multiple of 6?
True
Let b = 495 - 346. Suppose 5*a = -25, -4*a + 71 = 5*c - b. Does 6 divide c?
True
Let j(y) = 10*y + 16. Let v(z) = -8*z - 16. Let r(a) = -5*j(a) - 4*v(a). Does 3 divide r(-4)?
False
Let l = 24 + -3. Let z be 35/l + ((-4)/6 - -1). Suppose 0*h = -3*h - 4*s + 133, -4*s = z*h - 86. Is 11 a factor of h?
False
Suppose 3*p + 730 = -3*r + 67, 0 = r. Let n = p + 331. Is n a multiple of 22?
True
Suppose 2781 = 609*d - 600*d. Suppose d + 745 = g. Is 62 a factor of g?
True
Suppose -2*f + 33 = f. Suppose f*b + 363 = 14*b. Does 2 divide b?
False
Let z = 4 + -40. Let o = z - -37. Let u = 49 - o. Is u a multiple of 8?
True
Let h be 109/(3 + (-370)/125*1). Suppose -4*j = -3*y + 1635, 2*j + h = -0*y + 5*y. Is 26 a factor of y?
False
Let l(s) = 2*s**2 - 9*s - 71. Let q be 26/(-143) + (-189)/(-11). Is l(q) a multiple of 14?
False
Does 46 divide (4/(-2) + -84)/(250/(-9000))?
False
Let g(b) = 20*b**2 + 50*b - 8. Does 16 divide g(-12)?
True
Let d(v) = 18*v + 90. Let l be d(-5). Suppose 17*x - 2155 - 565 = l. Does 16 divide x?
True
Suppose 0*c = -c - 3*c. Suppose c = -b - 2*j - 2, 2*b + 3*j + 5 = -0. Let y(h) = 3*h**2 - 8*h - 12. Is y(b) a multiple of 4?
True
Let h(b) = -b**2 + 11*b - 8. Let d(k) = -k**2 - 3*k + 20. Let i be d(-5). Let q be h(i). Suppose 10 = 2*l - q*n, -56 = -4*l - 0*n - 5*n. Does 9 divide l?
True
Let w(p) = 586*p - 3060. Is 115 a factor of w(36)?
False
Let x = 1932 + -501. Is x a multiple of 9?
True
Suppose 7*f - 6*f = 0, -p - 4*f = -5. Suppose -v - 3*u = -p*u - 64, -5*v + 340 = -5*u. Does 3 divide v?
True
Let b be ((-48)/(-5) - 10)/((-2)/20). Does 4 divide (b/6)/((-32)/(-5136))?
False
Is 139 a factor of 21689 + (-5 - 6/(-2))/((-6)/(-15))?
True
Is (-8875175)/(-1225) + (-4)/98 a multiple of 35?
True
Let y be ((-144)/90)/(4/60). Let b(d) = d**2 + 11*d + 12. Does 6 divide b(y)?
True
Let i(x) = 21 - 10*x - 77 - 6*x - 2*x - 59. Is 5 a factor of i(-40)?
True
Suppose 22 = 5*b - 4*i, -4*b + 2*i = -9 - 5. Suppose 119 = b*t - 361. Is 24 a factor of t?
True
Let p = 276 + -272. Suppose 3040 = p*k - 440. Does 58 divide k?
True
Suppose 2*n = -1 - 9, 2*n + 128 = 2*z. Suppose -3*c = 5 - 2. Let x = z + c. Does 8 divide x?
False
Let b(j) = -3*j**3 - 4*j**2 + 52*j - 34. Is b(-8) a multiple of 16?
False
Suppose 2*d + 13 = 4*s - 3, 2*d - 8 = -4*s. Suppose -3*o + 5*w = -901, 5*w + 7 = -s. Suppose -4*u + 603 = -5*y, u + u - o = y. Does 21 divide u?
True
Let p(x) = 20*x - 48. Let u be (-45)/(-225) - 39/(-5). Is 9 a factor of p(u)?
False
Suppose 5*i = 2*a + 11403, 2*i - 5*a - 4596 = -10*a. Is 37 a factor of i?
False
Let n(m) = 144*m**2 - 88*m + 733. Is n(7) a multiple of 136?
False
Suppose 0 = -54*p + 1417890 + 1248486 - 156456. Does 53 divide p?
False
Suppose 22 = 6*r + 4. Let m(p) = p**3 + 4*p - 4. Let t be m(r). Is 12 a factor of (7 + 0)*120/t?
True
Suppose 0*y - 1 = a + y, 2*a - 2 = 2*y. Let l be (1 - a) + 10/(-10). Suppose l*f + f - 75 = 0. Is 25 a factor of f?
True
Suppose 0 = 4*d + 4, -38*g = -42*g + 2*d + 3762. Is g a multiple of 4?
True
Suppose 3*n - 3043 = -i, 0 = 3*n + 2*n - 2*i - 5079. Is 36 a factor of -2 - (0 + -1)/(7/n)?
False
Let s = -304 + 284. Is 24 a factor of (-5)/s + -1 - 10844/(-16)?
False
Suppose 283*g + 10840 = 287*g. Suppose 64 = -18*h + g. Is h a multiple of 49?
True
Let p(d) = d**3 + 18*d**2 + 6*d - 22. Let s(j) = 19*j + 83. Let q be s(-5). Does 9 divide p(q)?
False
Suppose 58*v = 56*v. Suppose y - 4*h - 141 = v, -780 = -y - 4*y - 5*h. Does 51 divide y?
True
Suppose -11*k + 9*k - 4 = 0. Let o be k*6/24*-680. Is o/15 + 4/(-24)*4 a multiple of 11?
True
Does 60 divide 1086/(-7)*(-17)/(102/1134) - 6?
False
Let i(g) = -g + 129*g**2 + 39*g**2 + 8 - 9 + 0*g - 12*g**2. Let y(q) = q**3 + 5*q**2 - 1. Let l be y(-5). Is i(l) a multiple of 32?
False
Let y(m) = 2*m**2 - 17*m + 10. Let z = 26 + -18. Let r be y(z). Suppose -r*t - 3*t + 560 = 0. Is 14 a factor of t?
True
Let c be (0 - 36) + (-9)/3 - 0. Let q = -42 - c. Is (q - -2)*-56 - 1 a multiple of 11?
True
Let q(d) = -68*d - 248. Let x be q(-10). Let l = x + -346. Does 3 divide l?
False
Let h = 3814 - 1528. Is h a multiple of 9?
True
Let y be (12/(-5))/(30/1160)*5. Let k = 593 + y. Is k a multiple of 3?
True
Suppose -5610 = -5*h - 2*v, -h + 28*v - 33*v = -1122. Is h a multiple of 10?
False
Suppose -p - 4583 = -3*i, -29*i + 3*p = -22*i - 10697. Is i a multiple of 12?
False
Let z = 108 + -105. Suppose -z*x = 2*a - 227, 0 = -a + 1. Is x a multiple of 25?
True
Suppose -13*p + 10*p - 66 = 0. Let u = p + 122. Suppose -a + u + 12 = 0. Does 7 divide a?
True
Suppose w - 1 = -2. Let c(h) = 20*h**2 - h + 1882 - 1882 + 74*h**2 - 17*h**2. Is c(w) a multiple of 15?
False
Suppose 6*a - 14 = -8. Let q be 156/9*(a - -8)/3. Let f = 94 - q. Is 3 a factor of f?
True
Let p(m) = -m**3 + 14*m**2 + 32*m + 7. Let u be p(16). Suppose -4 = -u*k + 24. Does 4 divide k?
True
Suppose 11*d = 7*d - 56. Let r = 19 + d. Suppose -539 = -3*a + v, r*a + v - 361 = 3*a. Is a a multiple of 30?
True
Let h be 8/6*(30 - 15). Suppose -i = -6*i + h. Suppose -i*o + 79 - 467 = -3*l, 4*o = 2*l - 252. Is l a multiple of 14?
False
Let t = 19287 + 23843. Is t a multiple of 19?
True
Let b(s) = 1241*s - 1. Let y be b(-1). Let d = -560 - y. Is 52 a factor of d?
False
Suppose 2*w - 7 = n, -3*w - n = -3 - 15. Suppose w*d - 3*f - 3162 = 0, -4*f = -2*d - 8*f + 1244. Is d a multiple of 18?
True
Suppose 21*y = -31 - 431. Let c = 52 - 9. Let t = c + y. Is 13 a factor of t?
False
Suppose 0 = -197*p + 214199 + 258010. Does 47 divide p?
True
Suppose -111 = 2*p + i + 8, 2*i - 175 = 3*p. Let d(f) = -70*f**2 - 2*f + 2. Let u be d(1). Let b = p - u. Is 11 a factor of b?
True
Let f(z) = z**3 + 28*z**2 - 101*z - 1552. Does 17 divide f(-27)?
True
Is 28 a factor of 1673760/242 - (0 + -6 - 2870/(-451))?
True
Let a be (16/20)/(8/4060). Suppose 0 = -4*d + 6*d - a. Is d a multiple of 26?
False
Let z = -3275 + 4500. Is z a multiple of 49?
True
Suppose -a - 3*j + 115 = 0, 269 = 3*a + 5*j - 60. Does 103 divide a?
True
Suppose 2*q - 3*a + 2*a = -1, -a + 1 = 0. Suppose -2*m + 5*m - f - 1832 = q, -4*m + 2451 = -3*f. Is 35 a factor of m?
False
Let g = 46 - 44. Suppose -4*a = 2*f + 113 - 13, -g*f = -4*a + 108. Let c = f + 73. Is c even?
False
Let l(u) = 28*u - 22 - 5*u + 25*u**3 + 14*u**2 + 4*u - 20*u**3. Let j(h) = -14*h**3 - 43*h**2 - 81*h + 67. Let y(p) = -6*j(p) - 17*l(p). Does 14 divide y(21)?
True
Suppose 0 = 2*a + 6*a - 1152. Let q = a - 54. Suppose 6*m - 162 - q = 0. Is m a multiple of 15?
False
Let g(u) = 11*u + 28. Let z be g(10). Let j = z - 112. Does 13 d