e 5/(5/h) + 3. Let n(f) = -2*f - 4. Is n(v) a multiple of 5?
False
Let l(r) = r**2 - 3*r + 4. Let f be l(3). Suppose -f*w - 20 = -5*w. Is w a multiple of 10?
True
Let u = -26 - -50. Is 8 a factor of u?
True
Let s(t) = -t**3 + 5*t**2 - 5. Let p be s(4). Let l = -6 + p. Is 2 a factor of l?
False
Let u(m) = 74*m**2 + 5*m - 4. Is 5 a factor of u(1)?
True
Suppose -3*k = -2*k - 4. Let v = k + -3. Is (0 - v)/(2/(-34)) a multiple of 17?
True
Let t(a) = a**3 - 7*a**2 + 5*a - 9. Let q be t(7). Suppose -d = -q - 9. Does 13 divide -1 + (0 - 2) + d?
False
Let o be (-92)/(-5) + (-4)/10. Suppose 3*g = 2*g + o. Is 9 a factor of g?
True
Let l = -2 + 8. Let a(w) = -2*w**2 + 7*w - 2*w**2 - 8 + l*w**2. Does 11 divide a(-6)?
True
Let h(b) = 3*b + 58. Is 29 a factor of h(0)?
True
Let d(l) = l**2 + 3*l + 3. Let s be d(-2). Is 3 + (s - -26) + -2 a multiple of 10?
False
Let r be (-1)/2*(-14)/1. Let x(v) = -9*v**2 - 25*v - 13. Let i(h) = 5*h**2 + 13*h + 6. Let l(s) = r*i(s) + 4*x(s). Is l(-7) even?
True
Is 6 a factor of 14 + 8/((-20)/5)?
True
Let k be ((-1)/(-3))/((-1)/(-6)). Let n be 3 + -4*2/(-4). Let p = k + n. Is 6 a factor of p?
False
Suppose 11 = -5*v - 9. Let d be (3/v)/((-1)/32). Does 12 divide ((-3)/(-6))/(1/d)?
True
Let b(w) = 5*w**2 - 4*w**2 - w**3 - 3*w + 6*w**2 - 8. Let f be b(6). Does 6 divide -5*(8/f + -2)?
True
Let w = -3 - -5. Suppose 0 = 2*r - r + w*a + 4, 5*a + 15 = 0. Suppose -2 - 24 = -r*d. Is 10 a factor of d?
False
Let g = 3 + -2. Let v(t) = g - 12*t**3 + t - 8*t**3 + 6*t**3. Is 12 a factor of v(-1)?
False
Let x = 18 + -13. Suppose -3*q + 7 = -x*j, q - 5*j = 3 + 16. Is 10 a factor of 4/q + (-96)/(-9)?
True
Let o(j) = -2*j. Let a = -22 + 16. Is o(a) a multiple of 5?
False
Suppose -3*p - 1 = -r + 17, 2 = p. Let u be 34/(-4) + r/16. Let t(f) = f**3 + 7*f**2 - f - 1. Does 3 divide t(u)?
True
Let o = 31 - 7. Suppose o = 3*u - 18. Does 7 divide u?
True
Let u(d) = 25*d**2 + d + 1. Is u(-2) a multiple of 19?
False
Let f(u) = -u**3 - 5*u**2 + 4*u + 5. Is 9 a factor of f(-6)?
False
Suppose -18*s + 15 = -13*s. Is s a multiple of 2?
False
Does 2 divide 0 - (2/(-2) + (-10 - -9))?
True
Let c = 19 + -14. Suppose -2*h + c*h = -5*v + 44, -h - 5*v = 2. Is h a multiple of 23?
True
Let z = 23 - -19. Does 6 divide z?
True
Suppose 0 = 4*y - 41 - 23. Is 9 a factor of (60/y)/((-2)/(-8))?
False
Let i = 20 - 49. Let p = i + 60. Is p a multiple of 13?
False
Let h be 11*11/(22/12). Suppose 2*m - h = -14. Is m a multiple of 18?
False
Let r be 1/(-2)*0/1. Suppose r = q - 4*q. Suppose q*b + 5*b = 50. Is 5 a factor of b?
True
Let d be (-1)/(-3) + 1575/(-27). Let c = d - -86. Is 14 a factor of c?
True
Let l(m) = m**3 + 5*m**2 + 4. Let o be l(-5). Suppose -17 = -o*g + 3, -x + 4*g - 16 = 0. Does 3 divide x?
False
Suppose 0 = 2*c - 5*u + 27, c - u + 9 = -0*c. Let n(x) = -x**2 - 8*x - 8. Let b be n(c). Does 10 divide ((-30)/b)/(2/(-4))?
False
Suppose -z + 0*z + 11 = 3*i, -2*i + 14 = 2*z. Suppose -5*w - 34 = -2*d, i*w - 85 = -5*d - w. Is d a multiple of 4?
False
Suppose -5*o + 535 = -5*b, 2*o = -0*o - 5*b + 179. Does 34 divide o?
True
Let r = 52 + -31. Does 21 divide 1317/r - 6/(-21)?
True
Suppose -123*z = -120*z - 513. Is z a multiple of 20?
False
Let b(v) = -v + 24. Let n be b(0). Suppose o - m + 15 = 0, -2*o + 3*m = 6 + 22. Let i = n + o. Does 3 divide i?
False
Let t = 2 - -9. Suppose -t = 4*p - 31. Does 4 divide p?
False
Suppose 0*q + 3*q = 0. Suppose -6 + q = -j. Is j a multiple of 5?
False
Suppose 5*g + 3*o + 30 = 5*o, -2*g - o = 3. Let h = 19 - g. Suppose 29 = 5*s + 7*y - 3*y, -5*s = -2*y - h. Is s a multiple of 3?
False
Let i(z) = z - 11. Is 3 a factor of i(14)?
True
Let b be -13 + 1/((-1)/(-2)). Let c = b + 15. Does 2 divide c?
True
Let z = -9 + 4. Suppose -3*n = 4*l + 66, 2*l - 4*n = -n - 24. Is 12 a factor of -2 + z/(l/78)?
True
Suppose 2*s + 0 = 4. Suppose -s*v - 124 = -6*v. Does 22 divide v?
False
Let i be 4/1 - (-8)/(-4). Let b be 14/(-3)*3/(-2). Suppose x = -4*w + 30, -i*w = -x - b - 11. Does 4 divide w?
True
Suppose 11 - 550 = -11*p. Is p a multiple of 7?
True
Let i = 5 + -5. Does 24 divide -1 + (i + 1)*25?
True
Let j be 141/27 + (-2)/9. Suppose 0 = j*f - 4*f - 16. Suppose 0 = z - 4*v - f, 2*v = 4*z - 0*v - 64. Does 16 divide z?
True
Suppose 17 = 5*i - 3*m, -5*m - 5 - 6 = -4*i. Suppose f = 11 - i. Does 5 divide f?
False
Let r(w) = w + 7. Let n be r(-4). Suppose 2*l = -n*l + 140. Is l a multiple of 9?
False
Let x be 3/1 + (-17 - -16). Suppose -x*p = p - 21. Is p a multiple of 2?
False
Let b = -1 - -66. Is b a multiple of 18?
False
Suppose 2*c = -0 + 6, 2*o = -4*c + 474. Suppose -41 = 5*z - o. Does 17 divide z?
False
Let a(t) = -2*t - 2. Let i = 9 + -20. Is 20 a factor of a(i)?
True
Let p = 5 - -58. Is p a multiple of 21?
True
Suppose 0 = 5*p - 4*u - 18, 0*p + 5*u = p - 12. Is 243/p*18/27 a multiple of 23?
False
Suppose 0 = -4*i + i. Let k(w) = -w**3 - w + 1. Let d be k(i). Is 12 a factor of d*(-39)/(-6)*4?
False
Suppose -3*n - h = -5*h - 59, -n + 23 = -2*h. Let u = 7 - n. Is 6 a factor of u/15 - 62/(-5)?
True
Let z(g) = -11*g - 5. Is 6 a factor of z(-2)?
False
Let r(m) = -m**3 - 5*m**2 + 6*m + 4. Does 15 divide r(-7)?
True
Let s = 107 + -62. Is 6 a factor of s?
False
Suppose -4*z + 2*m + 4 = 0, 6*m - 2*m - 13 = z. Suppose 0*a - z*a = -57. Is 9 a factor of a?
False
Suppose 4*o = -o + 5*h + 120, -3*o + 5*h = -68. Is 17 a factor of o?
False
Let a(r) = r - 3*r + 16 + r. Let o be a(7). Let i = o + 1. Does 5 divide i?
True
Let g(b) = -69*b + 3. Does 24 divide g(-1)?
True
Let d(c) = -2*c**3 + c**2 + c + 1. Let r be d(-1). Suppose -n - r*n - 41 = -5*g, -5*g - 2*n + 47 = 0. Is g a multiple of 4?
False
Suppose -3*w = 4*g - 85, 4*w + 2 = g - 5. Suppose -2*c + 5 = -g. Is c a multiple of 5?
False
Suppose 0 = 2*r - h - 1, -r - h = 3 - 2. Suppose r = q - 1 - 3. Suppose -26 = -2*i - q*y, 5*i - 7 = y + 3. Is i even?
False
Suppose -3*d + v - 3*v + 9 = 0, -d - v + 3 = 0. Let i = 35 - d. Does 16 divide i?
True
Let r(o) = o**3 - 2*o. Let z be 1 + -1 - -2*1. Is r(z) even?
True
Let t(w) = 7*w + 5. Let v be t(5). Suppose -3*n - v = -5*n. Is n a multiple of 10?
True
Let q = -38 - -137. Is q a multiple of 26?
False
Let m = 100 + 0. Is m a multiple of 10?
True
Suppose 4*j - 2*h + 29 = h, -j - h - 2 = 0. Suppose 0 = -p + 2*p - 21. Let c = j + p. Does 8 divide c?
True
Let c(s) = s**2 + s + 7. Is 39 a factor of c(-11)?
True
Suppose 5*o - 30 = 10*o. Let t(s) = -5*s**2 + 9. Let l(q) = 14*q**2 + q - 26. Let u(m) = 4*l(m) + 11*t(m). Does 7 divide u(o)?
True
Let j = 181 + -85. Is j a multiple of 12?
True
Suppose 5*t + 5*q + 1 = 3*t, 0 = -t + 5*q - 8. Let x be -223 + t + 3 - -3. Is 2/6 + x/(-15) a multiple of 15?
True
Let s = 2 + -1. Is -21*(1 - 2)*s a multiple of 15?
False
Let r = 109 - -9. Is r a multiple of 47?
False
Suppose 6*r + 29 = h + 3*r, -5*h + 77 = 2*r. Does 17 divide h?
True
Let v be -3*2*10/(-12). Suppose 4*p - 15 - 1 = 0. Suppose -3*k + 5*l = 2*k - 45, 0 = p*k + v*l. Is k a multiple of 5?
True
Suppose -2*i + 892 = 7*t - 3*t, 5*t - 1089 = 4*i. Is 28 a factor of t?
False
Let w(p) be the second derivative of 5/6*p**3 - 3/2*p**2 + 1/3*p**4 + 3*p - 1/20*p**5 + 0. Does 17 divide w(4)?
True
Let u(m) = 5*m**2 - 4*m. Let r(z) = z**3 + 9*z**2 - z - 12. Let v be r(-9). Is u(v) a multiple of 19?
True
Suppose 0 = 2*y - 4 - 0. Suppose 90 = 3*b + 3*u, -6*u = -3*u + 12. Suppose -m + 0*m = -y*q - 10, -3*m + 5*q = -b. Does 8 divide m?
False
Let z(r) = r**2 - 5*r - 8. Does 4 divide z(7)?
False
Let h(c) = c**3 + 16*c**2 - 4*c - 25. Does 7 divide h(-16)?
False
Let z = -20 - -30. Is 10 a factor of z?
True
Let q = 139 + 1. Does 20 divide q?
True
Suppose -3*b + 0*b = 5*m + 3, 5*m - 5*b - 5 = 0. Suppose -4*i + 2*c - 31 + 83 = m, 5*c - 50 = -5*i. Is 18 a factor of (i/5)/(2/30)?
True
Suppose -p - 8 = -10. Suppose 5*d - 3*m = 453, -p*m = 3*d + 2*d - 448. Is 30 a factor of d?
True
Let q be (-10)/(-2 - (-8)/6). Suppose 0 - q = -g. Does 6 divide g?
False
Let s(n) = -n**3 - 7*n**2 - 7*n. Let q be s(-6). Let x be (-3)/(-1*3/q). Let m(o) = 2*o - 3. Is m(x) a multiple of 9?
True
Let w(v) = v**2 + v + 1. Let b(a) = -6*a**2 - 6*a + 11. Let m(q) = b(q) + 5*w(q). Let j = 34 - 34. Does 16 divide m(j)?
True
Let f = 23 + -14. Suppose 2*n + f = 35. Does 13 divide n?
True
Suppose -w - 10*w = -3630. Does 55 divide w?
True
Let u(k