- 72. Let r be d(0). Does 4 divide x(r)?
True
Suppose -4*q + 2*t = -2, -3*q - 2*q = 4*t + 4. Let o(x) = -x**2. Let g be o(q). Suppose d = -4*m + 81, g*d - 48 = -2*m - 2*d. Does 16 divide m?
False
Suppose -372*h = -350*h - 48488. Does 29 divide h?
True
Let u(v) = -17*v + 3*v**3 - 3*v**3 + 27 - 9 - 15*v**2 - v**3. Is u(-14) a multiple of 20?
True
Let c(g) = -g**3 + 5*g**2 + 7*g. Let s be c(6). Does 49 divide 1/6 - (-293)/s?
True
Let z be (-4735)/(-25) + (-9)/(-15). Suppose -5*x = -k - z, 51 - 13 = x - 2*k. Suppose -3*w + 242 = x. Does 22 divide w?
False
Suppose 0 = -3*w - 19*w + 16082. Does 14 divide w?
False
Let s = -146 - -144. Let d = 21 - 39. Is 22 a factor of 9/d*244/s?
False
Let f = 1161 - 1001. Does 20 divide f?
True
Suppose 0 = 742*q - 726*q - 7296. Does 48 divide q?
False
Is (-16 + 4)/6*-127*1 a multiple of 127?
True
Let r = 33 + 1917. Is 13 a factor of r?
True
Let i be (-4)/(-6) + 215/15. Is -3*((-598)/i + 4/20) a multiple of 17?
True
Let c(a) = 2 + 5*a + 4*a - 6*a**2 + a**3 - 4*a. Suppose -2*k + 4 = 2*d, 3*d + d - 33 = k. Is c(d) a multiple of 25?
False
Suppose 92 = -4*d + 44. Let k(z) = z**2 + 10*z + 56. Is 8 a factor of k(d)?
True
Let x = -195 - -430. Does 47 divide x?
True
Let g(t) = -7*t - 16. Let n(o) = o**2 + 8*o - 8. Let y be n(-7). Let w be g(y). Suppose 0 = 5*u - 2*d - 206, 0*u + 3*d = 2*u - w. Does 20 divide u?
True
Suppose -3*a + 251 = -277. Is a a multiple of 16?
True
Let w = -6 - -25. Let u be w/6 - (-4)/(-24). Suppose -25 + 93 = 4*h + 4*k, 0 = 4*h + u*k - 68. Is 17 a factor of h?
True
Let f(y) = -25*y + 2. Let u be f(11). Let j = u - -432. Suppose 5*b - j - 161 = 0. Does 16 divide b?
True
Let c be ((-155)/20)/((-2)/8). Let m be c - ((-6)/(-3) - -1). Suppose 0 = -2*y - 2*y + m. Does 4 divide y?
False
Suppose 5*r = -4*m + 7085, 7*r + 5704 = 11*r - 4*m. Is 49 a factor of r?
True
Let f = 238 + -150. Suppose 3*k = 5*z + 321 + f, -4*k = 4*z - 556. Does 23 divide k?
True
Suppose 3*s = -25 - 50. Let h = -21 - s. Suppose 5*u - h*w + 2*w - 288 = 0, 2*w = 2*u - 114. Is u a multiple of 13?
False
Let q be (-246)/(-4)*(-476)/(-21). Suppose -q + 274 = -5*h. Suppose -5*g + 11 = 5*x - h, -g - 4*x = -44. Is 12 a factor of g?
True
Let s(g) = -10*g + 47. Let f be s(7). Let p(y) = 2*y + 62. Does 3 divide p(f)?
False
Let z(x) = -62*x - 122. Is z(-13) a multiple of 12?
True
Let i = -354 - -133. Let s = i + 337. Is s a multiple of 11?
False
Suppose 0 = m - 3*h + 11 - 1, 0 = 3*m - 5*h + 14. Suppose 0 = 3*a - 2*a, 4*a + 106 = m*q. Does 32 divide q?
False
Suppose -3569*g + 3563*g + 14040 = 0. Does 130 divide g?
True
Suppose 1330 = 89*v - 87*v. Does 19 divide v?
True
Does 11 divide (-16605)/(-33) - (-1 - 13/(-11))?
False
Suppose -15*i = -982 - 1433. Is 11 a factor of i?
False
Let c(t) = 17*t**2 - 18*t + 122. Is c(8) a multiple of 26?
True
Suppose -4*g = 5*r - 32, 3*r + 16 = 4*g - 2*g. Suppose 0 = -6*d + g*d - 180. Does 18 divide d?
True
Does 8 divide (-97928)/(-60) + (-34)/255?
True
Suppose -1312 = -22*r + 5618. Does 15 divide r?
True
Suppose x + 2 = -p - 8, -2*x + 70 = -4*p. Let o = -13 - p. Suppose w + o*w - 129 = 0. Is 18 a factor of w?
False
Let l(o) = 110*o + 125. Does 25 divide l(10)?
True
Suppose -38*r + 754 = -36*r. Suppose 5*h - 13 = r. Is 9 a factor of h?
False
Let q(r) = 111*r + 63. Is 18 a factor of q(2)?
False
Let r = -3 - -50. Let y = 89 - r. Is 12 a factor of y?
False
Suppose 3*y - y = -130. Let t be 561/(-15) - (-18)/(-30). Let b = t - y. Is b a multiple of 9?
True
Let x(i) = -i**3 - 4*i**2 + 4. Let a be x(-3). Let d(z) = 4*z**2 - 1. Let r be d(-4). Is 10 a factor of 1/2*(r - a)?
False
Is 10 a factor of 4 - (-284 - (-13 + 5))?
True
Let c(i) = 14*i**2 - 29*i - 17. Let b(z) = -7*z**2 + 14*z + 8. Let a(r) = -7*b(r) - 3*c(r). Is a(-6) a multiple of 64?
False
Suppose 4*f + 20 = -3*v, f - 3*v - 4 = -3*f. Let j be -2 - f - (-82)/1. Let b = 143 - j. Is 23 a factor of b?
False
Suppose 5*y + 35 - 5 = 0. Is 47 a factor of ((-564)/16)/(y/40)?
True
Let a(p) be the first derivative of 19*p**5/120 + p**4/24 + 2*p**3/3 + 5. Let s(w) be the third derivative of a(w). Is s(1) a multiple of 8?
False
Suppose -4*h + 4*d + 55 = -89, -2*h + 72 = 5*d. Is -4 - (-5 - h*2) a multiple of 26?
False
Is (-423)/(-18)*42 - 8 a multiple of 33?
False
Suppose -4*x = -23 - 13. Suppose x*m - 12*m - 6 = 0. Does 4 divide (m + -3)*(-36)/45?
True
Let c = 4870 + -2749. Is c a multiple of 21?
True
Let l(d) be the first derivative of d**3/3 + 5*d**2/2 + d + 12. Is l(-11) a multiple of 39?
False
Suppose -10 = -2*n + 2*c, 5*n = -2*c + 6*c + 22. Let s be 34 + (n - (-2 + 3)). Suppose 6*p - s = 79. Is p a multiple of 4?
False
Let b(d) = -321*d**3 + d**2 + d - 1. Does 8 divide b(-1)?
True
Suppose -5*x + 12661 - 3441 = 5*w, 4*w = 3*x + 7355. Is w a multiple of 75?
False
Let q(v) = 5*v**3 - v**2 - 2*v + 2. Let x be q(1). Suppose -x*d - d + 815 = 0. Is d a multiple of 15?
False
Let v = 656 + -338. Does 53 divide v?
True
Let v be (-3 - 0)*86/6. Let w = -8 - v. Is w a multiple of 7?
True
Suppose 3*a + 54 = -2*l, 5*a = 2*a - 4*l - 60. Let m be 29/2 - (-8)/a. Is m - -1 - (-4 + 0) a multiple of 19?
True
Suppose -5*v + 17 = -8, 0 = -c - 2*v - 55. Let j = c + 77. Does 4 divide j?
True
Suppose -6*q + 3*q - 102 = 0. Let d = q - -41. Is d a multiple of 7?
True
Does 20 divide (-3368)/(-2) + -9 + -10?
False
Let y be 1/((-4)/(-21) + (-11)/(-77)). Is (-3)/(((-2)/(-60))/(y/(-3))) a multiple of 6?
True
Let b(x) = 103*x - 510. Is b(49) a multiple of 149?
False
Suppose j - 19 = -3. Does 10 divide j/6*(-63)/(-6)?
False
Suppose -9*n = -210 - 42. Does 27 divide n?
False
Let b be 4 + -1 + (-10 - -12). Suppose 0 = -4*t + b*u + 92, -58 + 12 = -2*t - 5*u. Is 12 a factor of t?
False
Let g(b) = -9*b + 9. Let k(a) = 4*a - 4. Let o(j) = -4*g(j) - 10*k(j). Does 13 divide o(-13)?
False
Suppose -5*v = -195 - 280. Let b = 135 - v. Is 34 a factor of b?
False
Let c(j) = -13*j**3 - 8*j**2 + 5*j + 41. Is c(-4) a multiple of 4?
False
Let z = -1562 + 1740. Is 9 a factor of z?
False
Let n(g) = -24*g. Is n(-7) a multiple of 24?
True
Suppose -3*i - 3*y + 16 = -2*i, -7 = -2*i - y. Suppose 0 = n + r + i, 0 = -3*r - 0*r. Is n/(-2) - (-158)/4 a multiple of 20?
True
Let g(y) = -15*y - 14. Let o(h) = -30*h - 29. Let s(p) = -9*g(p) + 4*o(p). Does 37 divide s(2)?
False
Suppose 15*y + 906 - 7056 = 0. Does 31 divide y?
False
Let s(q) = 2*q**3 - 11*q**2 - 23*q + 4. Is s(8) a multiple of 9?
False
Let m(l) be the second derivative of -5*l**3/6 + 31*l**2 - 21*l. Is m(0) a multiple of 15?
False
Suppose -q + 3*v + 36 = -841, 4*q + 4*v - 3460 = 0. Is q a multiple of 7?
True
Let w = 25 + -9. Let r(n) = n**2 - 17*n + 16. Let g be r(w). Is (-3 - g)/(27/(-558)) a multiple of 31?
True
Let d(c) = -268*c + 168. Is d(-6) a multiple of 22?
False
Let h(g) = 15*g. Suppose -2*n - 2*n = -24. Suppose n*l - 5*l = 1. Does 3 divide h(l)?
True
Let t be 6/(-15) + (-54)/(-10). Suppose 2*l - 5*m - 20 = 0, -2*l - t*m - 5 = 15. Is 2 a factor of (10 - 12)*(l + -2)?
True
Suppose -7*h - 1280 = -15*h. Does 5 divide h?
True
Suppose 3*d - c = 211 + 189, -5*d = -3*c - 660. Is 15 a factor of d?
True
Suppose 5*s = w - 239, 4*s - 7*s - 457 = -2*w. Is w a multiple of 16?
True
Let k be (-2 - 0)/((-6 - -2)/(-12)). Is -2 + k/3 + 10 even?
True
Suppose 89*x - 5*b = 90*x - 396, 4*x - b = 1521. Is x a multiple of 60?
False
Let r = 7 + -7. Suppose r = -4*y - y - 95. Let w = y - -43. Is w a multiple of 8?
True
Let v(y) = 42*y + 6. Let x be v(-6). Let m = x + 344. Is m a multiple of 14?
True
Suppose -3*o - 47 = -11. Let n = o + 22. Does 19 divide 5/n + 194/4?
False
Let m = -1445 + 2433. Does 19 divide m?
True
Suppose 0 = 5*o + 4*v - 28, 0 = -o - 0*o + v + 2. Let d(s) = -s**2 - 9*s. Let k(i) = -i. Let c(r) = o*k(r) + d(r). Is c(-11) a multiple of 22?
True
Suppose 3*a + 18 = w - 10, 3*a = -w + 28. Let b = w + -7. Is 5 a factor of b?
False
Let b be 1/((-3)/6)*(-9 + 2). Suppose 1120 = b*n - 9*n. Is 16 a factor of n?
True
Let d(x) = -x**2 + 12*x + 5. Let a be d(12). Suppose -176 = -i + a*n, -i = -2*i - n + 176. Is i a multiple of 22?
True
Let b be -2 - ((-36)/(-3))/(-4). Let o be b/4 + 10/(-8). Is 2 + o + 1 - -64 a multiple of 14?
False
Let x = 96 - 66. Let f be (3/(-9))/((-2)/x). Suppose -4*h = -8, -3*h - 489 = -f*i - 0*h. Does 35 divide i?
False
Suppose -8 + 24 = -16*y. Let k = 181 + y