8. Let x(y) = 3*y**2 + 5*y. Let g be x(s). Suppose 2*q = -d + 42, 2*d - 4*q - 10 = g. Is d a multiple of 13?
False
Let p = 0 - 6. Let x be (2 + -4)/(p/(-9)). Does 3 divide (-1 + 0/(-4))*x?
True
Let o(i) be the second derivative of i**4/12 + 7*i**3/3 + 6*i**2 + 9*i. Does 6 divide o(-14)?
True
Let n be -7*(-2)/(0 + -2). Let r(u) = 49*u + 10 - 24*u - 29*u. Does 7 divide r(n)?
False
Let s(c) = -19*c + 44. Let i be s(8). Is 19 a factor of ((-15)/4 - 1)/(9/i)?
True
Let d be (-374)/(-85) - 2/5. Suppose -2*h = h + d*a - 82, 0 = -2*h - 4*a + 52. Does 14 divide h?
False
Suppose 0*x + 2*o + 7 = 3*x, -2*x = -2*o - 4. Suppose 83 = 2*a + y, -5 = x*y - 2. Is 5 a factor of a?
False
Let b(k) = 1 + k**3 + 0*k**2 + 2 + 0 + 2*k + 2*k**2. Let p be b(-2). Does 31 divide 65*(3 + p - 1)?
False
Let k(z) = -3*z + 5*z**3 + 3 + 3*z + z**2 - 2*z - 5*z**2. Is 32 a factor of k(3)?
True
Suppose -v - 3202 = -5*z, 6*v = -3*z + 4*v + 1916. Is z a multiple of 40?
True
Suppose -5*c - 4*c - 1107 = 0. Let j = 175 + c. Does 10 divide j?
False
Let n = 1523 + -1511. Is n a multiple of 6?
True
Let d = -1077 + 1609. Is 38 a factor of d?
True
Let q = -7 + 12. Suppose 291 = q*x - 3*v + 2*v, -55 = -x - 3*v. Is x a multiple of 11?
False
Suppose t - 5*t + 13 = -3*u, -4*u + 4 = 0. Suppose 5*x + 4*i - 68 = 0, 4*i + 33 = t*x - 43. Is 3 a factor of x?
False
Let b(f) be the first derivative of 5*f**4/24 - f**3/2 + f**2 + 6. Let u(r) be the second derivative of b(r). Does 16 divide u(7)?
True
Let d = -61 + 77. Suppose d*g + 1898 = 29*g. Does 29 divide g?
False
Suppose -3*w = -2*c + 7*c - 27, -11 = -2*c - w. Let h be 8/(-3)*c/(-4). Suppose -3*v - h*z + 154 = z, 4*v - 2*z = 188. Is v a multiple of 8?
True
Suppose -5*a + 4*d + 10 = 0, -3*d = -5*a - d. Let h = a - -10. Let y = 11 - h. Is 2 a factor of y?
False
Suppose 3 = -3*u, -2*i + 0*u = -u + 11. Let n be ((-159)/i)/((-2)/(-4)). Suppose h - n = 5*v, -6 - 14 = 5*v. Does 9 divide h?
False
Suppose 3*b - 3*r + 17 = 4*b, 4*b + r = 13. Let q be (118/3)/(b/3). Suppose -100 = -4*p - 3*f, 4*f = 2*p - 13 - q. Does 7 divide p?
True
Let d(f) = 527*f + 47. Does 31 divide d(3)?
False
Let i = -172 - -204. Is 14 a factor of i?
False
Let l(t) = 2 + 5*t**2 - t**2 + 5 - t**3 + 7*t + 4*t**2. Is l(8) a multiple of 21?
True
Let q = -70 + 72. Suppose 3 - 202 = -q*u - 5*l, -4*u = -4*l - 468. Does 7 divide u?
True
Suppose -6*f + 3849 = -2*f + g, -5*f = g - 4810. Is f a multiple of 15?
False
Suppose -2*x = -12 - 18. Let z be (5/x)/(1/15). Suppose 70 + 5 = z*i. Does 15 divide i?
True
Suppose 5*w - 2*k - 75 = 0, -2*w - w + k = -45. Suppose 0 = -w*f + 19*f. Suppose h = -f*h + 6. Is h a multiple of 6?
True
Let g = -310 + 562. Is g a multiple of 28?
True
Let a(m) = m**2 + 25*m - 219. Is a(12) a multiple of 45?
True
Suppose 37*f = 42*f - 935. Does 17 divide f?
True
Let j(q) = 89*q**2 + q. Suppose 0 = -3*k + 8*k + 2*b + 9, 2*k + 12 = -5*b. Is 9 a factor of j(k)?
False
Let x(z) = 40*z - 55. Let t be x(10). Let s = 633 - t. Does 48 divide s?
True
Let f be -2 - (1/(-3) + (-8)/12). Is (f + 2)/((-2)/(-250)) a multiple of 25?
True
Suppose r + 3*r = -48. Does 20 divide (36/(-30))/(r/200)?
True
Let d = 83 - 72. Let k(x) = x**3 - 11*x**2 - 2*x + 25. Is k(d) a multiple of 3?
True
Let b = 209 - -87. Does 12 divide b?
False
Does 39 divide (-1640)/(-6) - 40/120?
True
Let m = -35 - -385. Is m a multiple of 76?
False
Let f = 22 + -22. Suppose f = -2*u + 1 + 5. Suppose -2*n - 3*v + 53 = 0, 2*v = -5 + u. Is n a multiple of 14?
True
Let n(f) = -2*f**3 - 5*f**2 + 15*f - 11. Let z(b) = b**3 + 3*b**2 - 7*b + 5. Let s = -13 - -18. Let x(c) = s*z(c) + 2*n(c). Is 7 a factor of x(-5)?
True
Let a(n) = -12*n + 18. Let i(k) = -4*k + 6. Let b(r) = -3*a(r) + 10*i(r). Does 14 divide b(-6)?
False
Let r(a) = -a + 67. Is 41 a factor of r(-7)?
False
Let b = -351 + 637. Does 57 divide b?
False
Let s = -45 - -234. Is 27 a factor of s?
True
Suppose -3*k = -5*x - 733, 3*k + 0*x = -x + 703. Is k a multiple of 59?
True
Let a be -6*(-1 - 6*1). Let n(d) = -d - 12. Let h be n(-23). Suppose -v + a = -h. Is v a multiple of 12?
False
Let t be -5 - (-10 - (-4)/4). Suppose -4*x + 5*x = -2*l + 198, 0 = 5*l - t*x - 508. Does 25 divide l?
True
Suppose -2*w = -9*w + 861. Is 30 a factor of w?
False
Let a(f) = f**2 - f - 7. Suppose -5*t - 56 + 21 = 0. Is a(t) a multiple of 11?
False
Suppose 0 = -26*o + 856 + 1484. Does 30 divide o?
True
Suppose 3153 = -50*v + 53*v. Does 10 divide v?
False
Let s = 594 + -414. Is ((-8)/6)/((-10)/s) a multiple of 12?
True
Suppose 3*w + 54*z - 53*z - 5585 = 0, 11171 = 6*w + z. Is w a multiple of 20?
False
Suppose -y - 2*y = -2*y. Suppose y*g - 305 = -5*g. Does 33 divide g?
False
Let j = 1281 - 652. Is j a multiple of 13?
False
Suppose -476*y + 462*y = -26684. Does 17 divide y?
False
Let v = 370 - 134. Is 11 a factor of v?
False
Suppose -1 = 3*z - 25. Let l(q) = q**3 - 7*q**2 - 8*q + 2. Let j be l(z). Suppose 84 = -0*d + j*d. Is d a multiple of 17?
False
Let a(m) = -m**2 - 4*m + 2. Let f = -10 + 6. Let l be a(f). Suppose -4*k + l = -2*k, 5*k - 21 = -s. Does 4 divide s?
True
Suppose 5*v - 6887 = 818. Is 14 a factor of v?
False
Let m be 3 - (5 - 2/(-2)). Let a = m + 25. Is 3 a factor of a?
False
Suppose -2*t - 2616 = -6*t. Suppose -4*a = 2*a - t. Is 7 a factor of a?
False
Let l(u) = -17*u - 49. Let g be 12/(-60) - (-44)/(-5). Does 26 divide l(g)?
True
Let a(x) = -2*x - 1. Let j be a(-1). Is 7 a factor of ((-63)/1)/3*(-1)/j?
True
Suppose 3*a - 12 + 39 = 0. Let m(k) = -k**2 - 9*k + 2. Let u be m(a). Suppose -5*t + t + u = -i, 2*i - 24 = t. Is 6 a factor of i?
False
Let r = 817 + -774. Is 15 a factor of r?
False
Suppose 3*q + 959 = 3*h - 787, -3*q + 2349 = 4*h. Does 45 divide h?
True
Is 14 a factor of (1596/(-15))/(17/(-170))?
True
Suppose 0 = -2*i - 4 - 12. Let z = -1 - i. Suppose 4*m + z*o = 2*o + 213, -2*m + 79 = -3*o. Does 15 divide m?
False
Let g(c) = -c**3 + c**2 + 3*c - 4. Let m be g(0). Does 33 divide 121 + (-12)/(m + 0)?
False
Let p be (-105)/(-33) - 4/22. Suppose p*j + 13 + 0 = 5*w, -2*w - j = -3. Suppose 7 + 7 = w*d. Does 6 divide d?
False
Is 51 a factor of 1/((-1)/(-10)*10/1585)?
False
Suppose 0 = -56*y + 61*y - 885. Is 29 a factor of y?
False
Let y be 4/6 - 129/(-9). Let i be (y - 3)*-1 + 1. Let w = 20 + i. Does 3 divide w?
True
Let l be 7 + (0 - 4) + 174. Let u = l - 99. Does 26 divide u?
True
Suppose -43 = -3*b + 41. Suppose 0*i - 3*o = -4*i + 34, 3*i - o = b. Does 5 divide i?
True
Let i(h) = 26*h**3 - 3*h**2 + 4*h - 4. Let x be (-7 + 2)*(-4)/10. Does 25 divide i(x)?
True
Let g(v) = v + 5*v + 7 + 14*v**2 + 3*v - v**3. Does 60 divide g(14)?
False
Suppose -4*x - 4*d = 56, -x + 4*d = 3*d + 6. Let h(k) = -k**3 - 8*k**2 + 13*k + 10. Is 16 a factor of h(x)?
True
Does 2 divide 122/(-671) + 1*1212/11?
True
Let a(n) = n**3 + 25*n**2 - 10*n - 120. Is 4 a factor of a(-25)?
False
Suppose 4*y = 5*y + z, 5*y - 18 = z. Suppose y*v + i - 164 = 0, -5*i + 118 = -2*v + 4*v. Is 14 a factor of v?
False
Let p be 3 - (2*1 + 8 + -10). Suppose i = -5*x + 296, -1138 = -4*i + 6*x - p*x. Does 55 divide i?
False
Let r(g) = -28*g. Let n be r(-2). Suppose 57*y = n*y + 204. Does 51 divide y?
True
Let b(a) = a**2 + 10*a - 3*a**2 - a**2 + 2*a**2. Let h be b(10). Suppose h = 3*d - 2*d, d + 104 = 2*k. Does 13 divide k?
True
Suppose v = -5*m - 8, -5*m = -1 + 11. Suppose 4*q - 4*k + v*k - 236 = 0, 0 = k - 4. Is q a multiple of 23?
False
Suppose -a + 7 = 5. Suppose -2*n + 4*k = -126, -130 + 2 = -2*n + a*k. Is 13 a factor of n?
True
Let h be (-6)/(((-6)/10)/1). Let y = h - 42. Is 7 a factor of 48/y + 110/4?
False
Let i = -627 + 957. Is i a multiple of 11?
True
Suppose -2*b = 238 - 384. Suppose 2*s = u + 160, 3*s - b = 5*u + 167. Does 8 divide s?
True
Let r = 254 + -413. Let l = -67 - r. Is l a multiple of 9?
False
Let d = 7 + -3. Suppose -12 - d = -2*o. Is o even?
True
Let a(t) = t**2 - t + 100. Is 16 a factor of a(-19)?
True
Suppose 8 = -9*l + 44. Let h be 1/((-1)/(-4)) - -2. Suppose -h + 118 = l*m. Is m a multiple of 5?
False
Let p = -97 - -99. Suppose 4*h = -4*b + 552, 3*h - 142 = p*h + b. Is h a multiple of 10?
True
Suppose -5*n - 719 - 525 = -3*s, 2*s - 4*n - 828 = 0. Is 19 a factor of s?
True
Suppose 16 = 4*f, -4*f - 69 = -3*p - f. Let n(b) = b + b**2 + 2*b**2 + 6*b**2 + p*b**2. Does 7 divide n(-1)?
True
Let f = 1723 + 1141.