-8. Suppose -3*y = -d*h + 64, 21 - 1 = 5*y. Is h a multiple of 11?
False
Is (34*-1)/((-9)/18) a multiple of 17?
True
Suppose 5*q = 2*n + 10, -4*n + q = 4 - 2. Suppose 2*u + 0*u + 8 = n. Does 14 divide 2*2*u/(-1)?
False
Suppose -12 = 3*y - 3. Does 5 divide -3 + 6 + y - -19?
False
Let i(s) = s**3 + 4*s + 2*s - 4*s**2 + 6 - 5*s - 6*s. Is i(5) a multiple of 3?
True
Let y(c) = c**3 - 2*c**2 + 2*c. Let u be y(2). Let h(p) = -14*p. Let n be h(-3). Suppose 70 = u*f - n. Does 14 divide f?
True
Let m(d) = d**3 + 8*d**2 + 2*d - 6. Is 16 a factor of m(-5)?
False
Let g = -54 + 98. Suppose -3*u + g = -94. Does 23 divide u?
True
Suppose 0 = 5*q - 4*q. Suppose 4*d = 5*r - 1008, q = -2*r - 3*d + 195 + 199. Suppose -3*o = -8*o + r. Does 17 divide o?
False
Let v be (-26)/8 + (-4)/(-16). Does 10 divide -1 + (2 - (v + -17))?
False
Let m(x) = 5*x + 11. Let d(r) = -10*r - 14. Let k(o) = -10*o - 15. Let t(j) = 6*d(j) - 7*k(j). Let i(h) = 5*m(h) - 3*t(h). Is 13 a factor of i(-7)?
False
Let f(t) = 3*t**3 - 27*t**2 + 7*t + 7. Let z(d) = -5*d**3 + 41*d**2 - 11*d - 10. Let c(l) = -8*f(l) - 5*z(l). Is c(-11) a multiple of 5?
True
Let f(t) = -t**3 + 8*t**2 + 10*t - 5. Let n(y) = 2*y**3 - 17*y**2 - 21*y + 10. Let i(d) = 9*f(d) + 4*n(d). Let k be i(5). Is (-4 - k)/((-2)/8) a multiple of 6?
False
Let q(a) = -2*a - 1. Let i be q(2). Let r = i + 9. Suppose 4*g = w + 59, -r*w + 3 = -5*w. Is 6 a factor of g?
False
Let t be 10/20*(1 - 1). Suppose -b - 10 = -2*v, 5*v + t*b - 47 = -3*b. Is 2 a factor of v?
False
Let s = 14 - 0. Does 3 divide s?
False
Is ((-25)/10)/(2/(-36)) a multiple of 15?
True
Is -50*((-22)/6 - 5/15) a multiple of 8?
True
Let a(o) = -o**3 - 5*o**2 + 4*o - 7. Suppose j = 5, y + 60 = 6*y + 5*j. Let b(c) = -c + 1. Let v be b(y). Does 4 divide a(v)?
False
Let i = 0 - -3. Let q(h) = 3*h + 6 - h + i*h. Does 9 divide q(5)?
False
Let g = -4 - -5. Let v = g - 9. Let s(c) = -2*c + 2. Is s(v) a multiple of 7?
False
Let n(f) be the second derivative of f**3/6 + 5*f**2 - 2*f. Let t be n(-8). Suppose x - 5 + 2 = t*b, 5*x - 4*b = 15. Is 2 a factor of x?
False
Let l(y) = -y**3 - 6*y**2 + 8*y + 8. Let j be l(-7). Suppose -4*t = -2*x + t + j, 0 = -x + t + 5. Is 4 a factor of 1 + x - (2 - 2)?
False
Let h(v) = v**3 - 7*v**2 + 13*v - 3. Let b = -5 + 11. Is 13 a factor of h(b)?
True
Let o(h) = h**2 + 5*h + 1. Let k be o(-5). Let z(f) be the first derivative of 21*f**2/2 + f + 2. Does 9 divide z(k)?
False
Let b = -10 - -21. Is 2 a factor of b?
False
Let k = -83 - -153. Suppose k = 6*d - d. Let r = 2 + d. Does 13 divide r?
False
Let c(b) be the first derivative of b**3/3 + 7*b**2/2 + 4*b - 2. Is 6 a factor of c(-8)?
True
Let c = -2 - 1. Does 8 divide 1 + 1 - (-5 + c)?
False
Let t(k) = k**2 + k - 1. Let s(h) = -h**3 - h**2 + 3*h. Let o(j) = -s(j) + 4*t(j). Let p = -6 - -2. Does 3 divide o(p)?
False
Suppose 25*n = 30*n - 660. Is 33 a factor of n?
True
Let q(l) = -9*l**2 - 2*l + 1. Let s be q(1). Does 2 divide 8/s*30/(-12)?
True
Suppose -2*q - 2*b = -69 - 41, q - 43 = 3*b. Is q a multiple of 13?
True
Suppose -2*j + 118 = 2*f - 68, -4*j + 276 = 3*f. Does 26 divide f?
False
Let h be 15/(-6) + (-2)/4. Let o = 5 + h. Suppose 80 = -0*b + o*b. Does 20 divide b?
True
Let u(v) = v**3 + 2*v**2 - v. Let z be u(1). Suppose -z*j = -2*a - 2*a + 2, 4*a = 5*j - 13. Does 5 divide j?
True
Let t be (-1 - -1)/(4 + -5). Suppose -4*x - 2 = -w + 9, t = 2*w - 2*x - 46. Let v = w + -7. Does 10 divide v?
True
Suppose 3*x = 3*g + 306, -x + 46 = -3*g - 60. Does 20 divide x?
True
Let l(c) = 4*c**2 - 1. Does 3 divide l(-2)?
True
Let z be 4/(-10) + 10/25. Suppose -2*i - 3*i + 100 = z. Suppose 6*y - i = 2*y + 4*v, 2*y + 2*v - 10 = 0. Does 3 divide y?
False
Let t(b) be the first derivative of 2*b**2 + b + 1. Does 16 divide t(7)?
False
Let x be 1/4 - 22/(-8). Let h be (0/2)/x - -2. Suppose -3*g - h + 14 = 0. Does 4 divide g?
True
Suppose -u + 215 = 4*u - 5*v, 4*u + v = 197. Does 3 divide u?
True
Let o(x) = x**3 + 10*x**2 + 3*x - 10. Let d be o(-10). Let u = d + 61. Does 11 divide u?
False
Let w be -2 + (-49 - -3 - -3). Let v = 5 - w. Does 22 divide v?
False
Let b = 21 - -48. Is b a multiple of 23?
True
Suppose 2*i - 6 = -0*i. Suppose -i*t + 3 = 0, 0 = -z + 3*t - 0 - 1. Suppose -72 = -2*a - z*v, 0 = -3*a + 4*v + v + 116. Is 15 a factor of a?
False
Is 25/5 - (-41 + 2) a multiple of 8?
False
Let x be 126/4 + 4/(-8). Let r = x - 18. Is r a multiple of 13?
True
Let b = 18 + -13. Suppose -p - 24 = -b*z, 0 = 2*z - z - 3. Let w(y) = y**2 + 9*y + 12. Does 12 divide w(p)?
True
Let a(l) be the first derivative of l**3 - 2*l**2 + 2*l + 1. Let k be a(-4). Suppose 3*b = 5*b - k. Does 11 divide b?
True
Let z = 83 - 29. Is 21 a factor of z?
False
Let i(x) = x**3 - x + 65 - 3*x - x - 66 - 5*x**2. Does 5 divide i(6)?
True
Let m(h) = h - 3. Let o be m(-6). Let i be 6/o + 78/9. Suppose 0 = -z + 3*n - i, 3*z - 4 = 6*z - 4*n. Is z a multiple of 4?
True
Suppose 0 = 2*g - 7*g + 270. Is g a multiple of 18?
True
Suppose -3*z = 2*j + 19, 0 = 3*j - 0*z + 2*z + 16. Is (-15)/(-6) + j/4 a multiple of 2?
True
Suppose 3*p - 2*p - 52 = -j, -3*p = -4*j - 177. Is (-4)/22 - (-1935)/p a multiple of 11?
False
Let l(j) = -28*j - 10. Let o be l(-6). Let t = o - 94. Does 30 divide t?
False
Suppose 104 = 3*a + 4*w + 6, -2*a = -5*w - 27. Is 26 a factor of a?
True
Let a(t) = t**3 - 6*t**2 - 7*t + 2. Let i be a(7). Suppose 110 = 4*w - i*w. Is 13 a factor of w?
False
Let s be (-24 - -3)*1/(-3). Suppose -5*p = -3*m - s, 6*p - m - 3 = 4*p. Does 16 divide p/7 - 792/(-21)?
False
Suppose 3 = 2*o - 1. Let l = o - 0. Is 2 + l/3*3 a multiple of 4?
True
Suppose 4*h + 6 + 2 = 0. Let y be (1*-2)/h + -4. Is (-22)/(-5) + y/(-5) a multiple of 5?
True
Suppose 3*q + 4*q - 126 = 0. Is 12 a factor of q?
False
Let n(s) be the third derivative of -s**5/60 + s**4/4 - s**3/3 + 3*s**2. Let i be n(5). Suppose 0*l = i*l - 60. Is 6 a factor of l?
False
Suppose 5*i + 3 = -2*o, i - 4*o + 5 = -0*i. Is 23 a factor of 0*i/(-2) + 31?
False
Suppose 2*k + 2 = -3*r, 0*r - 22 = -r + 5*k. Is ((-70)/7)/(1 - r) a multiple of 3?
False
Let v(w) = w**2 - 8*w - 3. Is v(11) a multiple of 15?
True
Is 7 a factor of (-1076)/16*-1 - 2/8?
False
Let s be 0 + -4 + 5 - 189. Let b = -89 - s. Is b a multiple of 33?
True
Suppose 0 = 2*f + 2*f + 4*l - 20, -3*f = -2*l. Let v = 4 - f. Suppose o = 6*o - 4*g - 220, -2*o + v*g = -88. Is 18 a factor of o?
False
Suppose 3*z + 3*d = 72, -3*z - d + 67 = d. Is 5 a factor of (z + -6)/(1 - 0)?
False
Let u(t) = t**3 + 8*t**2 - 11*t + 13. Let z(j) = -2*j**2 - 2*j + 3. Let i be z(-3). Is 8 a factor of u(i)?
False
Let h = 275 + -150. Suppose j + 14 = -70. Let v = h + j. Is 17 a factor of v?
False
Let m = -39 + 102. Let w = -35 + m. Is 14 a factor of w?
True
Let z be 0/(-1 - (2 - 1)). Suppose z*t = -2*t + 40. Is t a multiple of 12?
False
Let c = -8 + 11. Suppose -5*h = c*t - 48, -3*h - 19 = 3*t - 67. Suppose 2*n - 3*n = -t. Is 14 a factor of n?
False
Let t = 33 + -19. Is t a multiple of 2?
True
Does 5 divide 12/(-6)*(-3 - 22/4)?
False
Let y = -115 - -117. Let c be ((-6)/(-5) - 0)*5. Suppose -c*i + y*i = -224. Does 16 divide i?
False
Let a(u) = u**2 - 7*u + 8. Let t be a(6). Let i = t - 0. Does 3 divide 11/2 - (-1)/i?
True
Let o = 6 - 6. Suppose -d + 5*q + 24 = -0*d, q + 4 = o. Is d even?
True
Suppose -75 = -5*w + 125. Is 10 a factor of w?
True
Let n = -308 - -555. Does 25 divide n?
False
Is 2 a factor of -70*(-3 - (-10)/4)?
False
Let t(w) = -w**3 - 8*w**2 - w + 16. Is 6 a factor of t(-8)?
True
Let j = 0 + 32. Let w = 19 - j. Let q = w + 21. Is 3 a factor of q?
False
Suppose 0 = -2*c + 6*c + 84. Let d be 802/14 + 6/c. Let w = -13 + d. Does 17 divide w?
False
Suppose 4 = -0*h + 2*h. Suppose -4*t = -h*u + 14 + 2, -t = -5*u + 58. Is 9 a factor of u?
False
Let y(z) = z**2. Let b be y(-6). Let q = b - 14. Is (-2 - q/(-4))*4 a multiple of 14?
True
Suppose 183 - 13 = 5*q. Suppose -2*l + q = i, i + 5*l = 3*i - 23. Does 9 divide i?
False
Let v be 0/1 + (-1 - 43). Let x = -25 + 8. Let u = x - v. Is 17 a factor of u?
False
Suppose 4*l - 25 = 2*l + c, -c - 11 = -l. Let x = 2 + l. Is x a multiple of 8?
True
Suppose f - 78 - 62 = 0. Does 28 divide f?
True
Let t(b) = -2*b + 11. Let c(y) = -y + 11. Let q(s) = 3*c(s) - 2*t(s). Does 2 divide q(-5)?
True
Suppose 0 = 4*r + 5*s - 500, -4*r = -4*s - 0*s - 50