8. Suppose 75*h - 80*h = -t. Is h a multiple of 29?
True
Let c = 14 - 34. Let b = 22 + c. Suppose -2*d + 30 = b*g, 3*g = d + 63 - 6. Is 18 a factor of g?
True
Let x(u) = 45*u**2 - u + 3. Let m be x(-2). Let s = -112 + m. Is s a multiple of 14?
False
Let u be 34 + -2*(0 + -1). Let w(l) = 2*l**2 + 6*l - 18. Let j be w(2). Suppose -u = -0*d - j*d. Is d a multiple of 18?
True
Suppose -3*f = -6*f - 75. Let w = f + 61. Is 7 a factor of w?
False
Suppose 0 = -2*x + 3*s + 286, -4*x = -2*x + s - 286. Let k = 398 - x. Suppose -3*t - 369 = -5*b, 3*t + k + 42 = 4*b. Does 12 divide b?
True
Let r(m) = -m**3 + 20*m**2 - 7*m + 16. Is r(18) a multiple of 30?
False
Let d(c) = -c + 83. Is d(11) a multiple of 12?
True
Let o = -15 - -21. Does 8 divide (268/o + -2)/(6/18)?
True
Let r(s) = -2*s**3 + 38*s**2 - 27*s - 53. Is 22 a factor of r(16)?
False
Let y = 58 - 85. Let g be (0 - (-2)/(-1)) + -67. Let t = y - g. Is t a multiple of 12?
False
Suppose 42*p + 78912 = 66*p. Is p a multiple of 9?
False
Suppose -2*v + 3*b + 18 = 0, -5*v - b = b - 45. Let r(s) = 30*s**3 + s - v*s**3 + 27*s**3 + 0*s**3 - 2*s**2. Is 22 a factor of r(1)?
False
Let r(w) be the third derivative of 3*w**5/10 - 5*w**4/24 + w**3/6 + 8*w**2. Is r(2) a multiple of 15?
False
Let c(d) = -d**2 + 2*d + 58. Does 29 divide c(0)?
True
Let i(g) = g + 11. Let p be i(-11). Suppose -21 = -3*n + 3*x, n - 5*n - 2*x + 10 = p. Suppose n*l - 20 = 16. Is 9 a factor of l?
True
Let p(r) = -r**2 - 12*r - 11. Let n be p(-11). Suppose n = -0*f - 4*f + 8. Suppose 5*b - 123 = -2*t, 4*t = -0*b - f*b + 46. Is 25 a factor of b?
True
Let z(c) = c**2 + 134 - 3*c**2 - 32 + 0*c**2 - c**3. Does 7 divide z(0)?
False
Let p = -34 - -32. Does 30 divide (-3504)/(-39) - p/13?
True
Let z be (1/(-1) - -1)/1. Suppose z = -15*o + 10*o + 15. Suppose -l - 113 = -4*k, -o*k + 17 = l - 59. Does 9 divide k?
True
Let a(x) = x**2 + 12*x - 17. Let d be a(-13). Let p be 16/(-6)*(-6)/d. Let w(n) = -n**3 - n**2 + 4*n + 6. Does 19 divide w(p)?
True
Let c(u) = -56*u - 123. Is 5 a factor of c(-5)?
False
Suppose 3*w - 39 = 3*h, 3*w - 2*h - 3 = 35. Let g = 50 - w. Is g a multiple of 10?
False
Let c be 3*8*(-1)/(-6). Let t = -182 - -442. Suppose -2*n - 2*n = 3*k - 156, 5*k + c*n - t = 0. Is k a multiple of 13?
True
Suppose 2*m = -4*i + 6*i + 16, -4*i - 3*m = 11. Let g be -1 + (2*i - 2). Let f = g + 50. Does 11 divide f?
False
Suppose -4*a = -3*a. Suppose 3*j - o - 360 = a, 2*o + 7 - 1 = 0. Suppose 3*n + j = 2*p, -4*p = -6*p + 5*n + 113. Is 16 a factor of p?
True
Is -58*(15/6 + -4) + -1 a multiple of 26?
False
Let h(y) = 3 - 13*y + 5 + 0*y - y**3 - 10 + 16*y**2. Is h(15) even?
True
Let k(y) = 2*y**2 - 9*y + 10. Let i be k(8). Let m = 42 - i. Let f = -3 - m. Is 8 a factor of f?
False
Let j be 12/114 - (-6)/(-57). Suppose j = -2*v - 10*v + 1320. Is 11 a factor of v?
True
Let n = 147 - 128. Suppose -14*h + n*h - 1120 = 0. Is 16 a factor of h?
True
Let g = 1431 - 891. Is g a multiple of 12?
True
Let l(u) = u + 2. Let v(t) = -90*t - 57. Let n(r) = -18*l(r) - v(r). Is n(4) a multiple of 13?
False
Suppose -5*k - 5*g = -0*g - 495, 3*g + 327 = 3*k. Suppose -3*y + k = y. Is 6 a factor of y?
False
Suppose -c - 3 = -7. Does 22 divide ((-405)/(-20) - 2)*c?
False
Let z be ((-11)/3)/((-35)/(-12) - 3). Suppose -11*r + z = -198. Is r a multiple of 11?
True
Let g be (3 + -6 + 2)*-21. Is -6*3/g*-112 a multiple of 16?
True
Suppose 0*w = -3*n - w + 368, 4*w = -3*n + 383. Let a = 199 - n. Is a a multiple of 39?
True
Let f = -16 + -2. Let l be (f/(-8) - 2)*12. Suppose -3*n - t = -3*t - 48, -l*n - 2*t = -48. Is n a multiple of 13?
False
Let x(c) = 4*c**2 - c. Let v be x(1). Suppose -3*d = -v*t + 2*d + 22, -2*t + 3*d = -15. Suppose -q = 1 - t. Does 4 divide q?
True
Suppose 2*g - g = 2*q - 61, -3*q - 3*g = -96. Suppose -34*o + q*o = -126. Does 8 divide o?
False
Let p(a) = -a - 1. Let b be p(1). Let l be (-11)/(-22) + (-223)/b. Let n = -70 + l. Is 14 a factor of n?
True
Let g(v) = -2*v**3 - 2*v**2 + 5*v - 2. Let k be g(4). Let y = -40 - k. Is 18 a factor of y?
False
Let y(b) = -b**3 - 5*b**2 + b + 7. Let p be y(-5). Suppose -414 = -p*j - 2*s + s, -4*s = 4*j - 832. Does 42 divide j?
False
Let y(t) = -t - 8. Let i be y(8). Suppose -4*o - 5*m + 80 = 0, 2*m = 4*o + 47 - 127. Does 12 divide (i/o)/(2/(-85))?
False
Suppose -3*y + 2*y + 5*f = -23, 5*y - f - 235 = 0. Does 2 divide y?
True
Let t = -1051 + 2319. Does 15 divide t?
False
Suppose -7*p = p - 224. Let v = p - -1. Is v a multiple of 9?
False
Suppose -6*n + 7*n + 3*q = 73, -5*n + 5*q + 285 = 0. Is 37 a factor of n?
False
Suppose -5*w + 20555 = -3*d, 4*w - 9422 = -d + 7005. Is w a multiple of 13?
True
Let j = 130 - 63. Let d = j - 17. Does 5 divide d?
True
Let m(q) = q - 56. Let j be m(-8). Is 28 a factor of ((-21)/(-4))/((-2)/j)?
True
Let a be 25/(-4) + (-3)/(-12). Let k(p) = p**2 - 16*p + 8. Let d(r) = 4*r - 2. Let y(x) = 9*d(x) + 2*k(x). Is y(a) a multiple of 23?
True
Let r be 1/2 + 175/14. Suppose 0*p - 10 = -5*p, 3*w = p + r. Suppose w*x + 2*m - 3*m = 53, 25 = 3*x - 4*m. Is 11 a factor of x?
True
Suppose 2 = u + 3*d, -d - d = -5*u + 10. Suppose k + j + u*j - 30 = 0, 2*k - 33 = 3*j. Does 13 divide k?
False
Let v be (-2)/3*(-45)/10. Suppose 5*k = v*x + 217, -90 = -2*k - x - x. Suppose -2*r = 4*s - 48, -s - 137 = -3*r - k. Does 10 divide r?
True
Let j = -2300 + 2383. Is j a multiple of 83?
True
Let b = -180 - -113. Let y = b + 79. Is y a multiple of 2?
True
Let b = -21 + 14. Let x be (95/20)/((-4)/(-16)). Let h = x + b. Does 9 divide h?
False
Suppose 4*j - 4*l = 20, -3*l - 3 = -j + 6. Suppose -5*u + 2*x = -x - 117, 3*u + 4*x = 76. Suppose -66 = -j*n + u. Does 5 divide n?
True
Suppose -2*t + 13 = 65. Let u be (-505)/(-13) - 4/t. Suppose -15 = 3*p - u. Is p a multiple of 2?
True
Suppose 3*s + 1569 = r - 0*r, -2*s = r - 1569. Is r a multiple of 22?
False
Suppose 0 = -4*y + 3*y + 5*o + 540, 4*o + 1587 = 3*y. Suppose -4*m + y = -m. Is m a multiple of 25?
True
Let b = -36 + 129. Suppose -4*o + 2*a = -78, -4*o + b = o + 2*a. Is o even?
False
Suppose -2*u + 2*c + 74 = 0, 3*u - 4*c - 55 = 58. Let f = u + -11. Is 8 a factor of f?
True
Let f(v) be the third derivative of 11*v**4/12 + 2*v**3/3 + 11*v**2. Is 24 a factor of f(2)?
True
Suppose -5184 = -40*v + 4936. Does 11 divide v?
True
Suppose -9*n + 350 = -7*n. Is n a multiple of 25?
True
Suppose 3*h - 648 = -228. Is h a multiple of 6?
False
Suppose -8*g = -11*g + 3*k + 2421, -3*g - 3*k + 2427 = 0. Is 8 a factor of g?
True
Suppose -4*u + 39 = 3*d, -u - 4*u = 4*d - 52. Does 2 divide d?
False
Let v(b) be the third derivative of 5*b**4/12 + b**3/2 - 5*b**2. Is 11 a factor of v(3)?
True
Let m = 1835 - 273. Is m a multiple of 13?
False
Let a(z) = z**3 - 8*z**2 - z + 8. Let i be a(8). Suppose i*s = 4*s - 176. Does 11 divide s?
True
Let r(u) = -u + 11. Let i be r(9). Let m(g) = -g**3 + 2*g - 1. Let z be m(-3). Does 4 divide z/2 + (i - 0)?
True
Let n(c) = -c**3 + 9*c**2 - 8*c + 2. Let m be n(8). Let v be (38 - m)/((-2)/4). Is v/28*(-280)/12 a multiple of 20?
True
Suppose 3*w - 122 = -0*u - 2*u, 0 = 2*w + 3*u - 73. Let m be (0 + 2)/((-4)/58). Let o = m + w. Is 5 a factor of o?
True
Suppose -n + 14 - 6 = -3*v, 0 = -5*v + 20. Is 20 a factor of n?
True
Let o(d) = 2*d**2 - 34*d. Let i be o(16). Let u(n) = n + 69. Let a be u(0). Let y = a + i. Is 15 a factor of y?
False
Suppose 0 = 31*t - 34 + 3. Let k = 16 - -3. Is 4 a factor of (k + t)/2 + 0?
False
Let w(j) = -j**3 + 5*j**2 - 3*j. Let i be w(4). Let l(x) = -x + 15 - x - x + i*x. Is 8 a factor of l(-7)?
True
Let c(m) = -m**3 - 6*m**2 - 5*m - 8. Let f be c(-6). Is f/(-3 + (-21)/(-6)) a multiple of 44?
True
Let a(w) = -42*w + 72. Is a(-9) a multiple of 90?
True
Suppose -76 = -5*v + 14. Let g = 150 + v. Suppose -g = t - 5*t. Does 14 divide t?
True
Suppose 4*d + 111 + 8 = p, 3*p - 364 = 5*d. Let o = 178 - p. Is o a multiple of 12?
False
Suppose 6 = -2*b, 18 = 2*q - 2*b + 2. Suppose -q*p - 365 = -4*k, -k + 3*k - p = 175. Does 25 divide k?
False
Suppose -5*q + 0*q = -5*w + 175, 2*q - 50 = -w. Is w a multiple of 20?
True
Suppose 11*n + 4*f - 2957 = 8*n, -3948 = -4*n - 4*f. Does 68 divide n?
False
Let k = 50 + -100. Let l = k + 74. Does 6 divide l?
True
Suppose -34*k - 49876 + 156772 = 0. Is 118 a factor of k?
False
Let o(p) = -2*p**3 + 3*p - p - 2*p**2 - p. Let h