 -3) + -1. Let d = m - 0. Suppose -2*l = -d*l - 88. Does 18 divide l?
False
Let c(y) = 2*y - 3. Suppose -l - 3*l = -8. Let v be (l/(-5))/((-3)/30). Does 5 divide c(v)?
True
Let h(x) = x**3 - 5*x**2 - 2*x - 8. Is 8 a factor of h(6)?
True
Let d(f) = -4*f - 5 - 2*f - 1. Let n be (-6)/(6/(-2)) - 6. Is 7 a factor of d(n)?
False
Is 562/18 + (-8)/36 a multiple of 8?
False
Suppose 168 = -h + 8*h. Is 3 a factor of h?
True
Let b(o) = o**3 - 9*o**2 + 3*o + 9. Let g be b(9). Suppose -2*w + g + 6 = 0. Is w a multiple of 16?
False
Let u(c) = -11*c**3 + 1. Is 8 a factor of u(-1)?
False
Let h = -6 - -11. Let b = h - -9. Does 15 divide (b - -1)/(1/1)?
True
Let t = 251 + -107. Is 24 a factor of t?
True
Let s(a) = 2 + 43*a + 13*a - 15*a - 1. Does 16 divide s(1)?
False
Suppose -5*d = 3*o - 342, -4*d = o - 96 - 172. Is 24 a factor of d + 4 + 2/1?
True
Let v(j) be the second derivative of 93*j**5/20 + j**4/12 - 2*j. Let k be v(1). Suppose 54 + 8 = 3*f - 2*i, i = 5*f - k. Is f a multiple of 9?
True
Let w = 41 - 2. Does 8 divide w?
False
Suppose -3*l + 4*p = -186, 2*p + 296 = 5*l - 0*p. Is l a multiple of 18?
False
Let f = -34 - -83. Suppose -5*b + 0*b = -2*u - f, -3*b = u + 41. Let n = 50 + u. Does 9 divide n?
True
Let c(x) = -x**3 - 12*x**2 - 14*x - 9. Does 7 divide c(-11)?
False
Let t = -3 - -4. Let y be (-1)/((-3 - -2)/t). Suppose y = -x + 6. Is x a multiple of 5?
True
Let h(k) = -k**2 + 9*k + 1. Let g be h(9). Is g - (-3)/(9/30) a multiple of 7?
False
Let k(p) = -3*p - 11. Does 10 divide k(-11)?
False
Suppose 38 + 33 = 2*c + b, -90 = -3*c + 4*b. Does 3 divide c?
False
Let c = -40 - -130. Let f(w) = -w + 6. Let l be f(4). Suppose -l*n + c = -28. Is 20 a factor of n?
False
Let s(i) = -4*i + 6. Let f be s(4). Let x = f - -16. Is x a multiple of 6?
True
Suppose l - p = 0, -4*l + 8*l + 3*p = 14. Does 2 divide l?
True
Let p(q) = 2*q - 4. Let n be p(4). Suppose -n*w + 39 = -w. Is w a multiple of 7?
False
Suppose -5*w + 15 = 0, 4*u - w = -664 + 1785. Does 44 divide u?
False
Let m = 56 - 0. Does 8 divide m?
True
Let k be 42/(-11) - 2/11. Let i(l) = -l**2 - 5*l. Let z be i(k). Let u = z + -2. Is u a multiple of 2?
True
Let b(x) = 2*x + 4. Let j = -2 + 5. Let r be b(j). Let v = 17 - r. Is v a multiple of 7?
True
Suppose 0 = 3*s - 2*y + 3*y + 22, 0 = 3*s - 4*y + 47. Suppose 4*a = -5*i - 2, -17 = -4*i + 2*a - 3. Is (78/s)/(i/(-6)) a multiple of 7?
False
Suppose 0 = -6*a + 27 + 117. Does 8 divide a?
True
Suppose 171 = -2*d + 455. Suppose -3*x + 4*x + d = 2*g, -4*g = 3*x - 264. Is 19 a factor of g?
False
Let y(c) = 5*c**2 + 7*c + 1. Let q be y(-2). Let s = q + -1. Is 4 a factor of s?
False
Let y(j) = j**2 + 8*j - 4. Let u(p) = -2*p**2 - 16*p + 8. Let l(x) = -3*u(x) - 5*y(x). Is l(-9) a multiple of 4?
False
Let c = 80 - -25. Is 16 a factor of c?
False
Suppose -q = -3*r - 42, -r + 3*r + 4*q = -42. Let x = r + 32. Is x a multiple of 17?
True
Let c be (-3 + 1 - -2)/(-1). Suppose -5*o + 21 + 14 = c. Is 3 a factor of o?
False
Let s be 6*2*1/3. Let z(y) = -y**3 + 4*y**2 + 3*y - 5. Does 2 divide z(s)?
False
Is 3 a factor of 17/(-17) + (0 - (-7 - 0))?
True
Let l = -20 - -14. Let j be (10*-1)/(1 - 0). Let d = l - j. Is d a multiple of 4?
True
Let u be ((-8)/(-10))/(4/20). Suppose 0 = x + 4*w, 2*x + 2*x - 28 = -2*w. Let c = x + u. Is c a multiple of 5?
False
Is 16 a factor of ((-82)/(-6))/(2/6)?
False
Let v(p) = 41*p**2 + 8*p + 5. Is 17 a factor of v(-2)?
True
Let b be (-4)/(-1) - (-2 - -4). Let y be 2/1 - (b + -2). Suppose -y*g + 4*g = 30. Is 15 a factor of g?
True
Suppose 0 = -2*w + 5*q - 1 + 3, 3*w - 20 = -q. Suppose -r + 2 = -3*f, f + w = 4*r - 13. Is 2 a factor of r?
False
Let h(n) = n**3 + 7*n**2 - n - 1. Let s be 3/6*38*-2. Let g be s/6 + (-6)/9. Is 6 a factor of h(g)?
True
Suppose -6*a + 94 = -80. Is a a multiple of 2?
False
Suppose -3*j + 1 = -5. Let l = j + 0. Suppose 0 = -m + l + 8. Is m a multiple of 10?
True
Suppose 4*h = -v + 65, -5*v + 4*h = -56 - 365. Is 27 a factor of v?
True
Let a(n) = 25*n**2 + n - 1. Suppose i + 19 = -4*t, 2*t = i - 5*i - 6. Is a(i) a multiple of 14?
False
Let h be 6/(-15) + (-32)/20. Let w(u) = -12*u - 3. Does 21 divide w(h)?
True
Suppose 2*q - 3 = q - 2*k, -4*k + 36 = -4*q. Let f(m) = 6*m**2 + 3*m - 1. Let s(p) = 5*p**2 + 4*p. Let z(i) = 4*f(i) - 5*s(i). Is 11 a factor of z(q)?
True
Suppose 3*a - 4*n = 44, 5*a + n - 58 = -0*n. Does 3 divide a?
True
Suppose -4*d = -10 - 22. Let v be (-1)/4 - (-242)/d. Does 16 divide v*(0 + 1 + 0)?
False
Suppose -5*m - 32 = 2*f, 0 = -m - 5*f + 6 - 17. Let k(r) = -r**3 - 4*r**2 + 5*r - 1. Is k(m) a multiple of 18?
False
Let g(a) = a**2 + 8. Let n be -1 - (0 + -2 + 1). Let h be g(n). Suppose 3*s - 1 = h, 0 = -2*f + 2*s + 6. Is f a multiple of 5?
False
Let s be (-20)/(-6)*(-12)/(-8). Suppose -4*r - 10 = -2*k - 130, -s*k = -10. Is r a multiple of 7?
False
Let z = 7 - 8. Let i(q) = 39*q**2 - q - 1. Is i(z) a multiple of 13?
True
Let n = -511 + 887. Suppose 0 = 3*i - 3*g - 234, -5*i + 2*g - 4*g + n = 0. Is i a multiple of 23?
False
Suppose -20 = -0*z + z. Suppose -4*x = -6*x + 78. Let b = x + z. Is 6 a factor of b?
False
Let l(s) = s**2 - 7*s + 6. Let a be l(4). Is 16 a factor of ((-4)/a)/((-5)/(-150))?
False
Let q = -40 + 76. Is q a multiple of 3?
True
Let a be (-8)/6 - (-2)/(-3). Let u = a - -2. Is 6 a factor of 3/(u - 3/(-8))?
False
Let a be -10*(368/10)/(-4). Suppose -2*o + 25 = -n, 5*o - 5*n + 17 = a. Let x = 15 - o. Is 2 a factor of x?
False
Let w(i) = i**3 + 7*i**2 - 18*i + 3. Let n be w(-9). Suppose 5*p = -2*j - n*j + 145, -5 = -5*p. Does 28 divide j?
True
Let q(u) = 2*u**3 - 2*u**2 + 3*u - 1. Suppose 5*z = -4*r - 6, -4*z + r = -0*r - 12. Does 13 divide q(z)?
True
Let j = 17 - 11. Let u = 11 - j. Is 2 a factor of u?
False
Let y = 65 + -46. Is 13 a factor of y?
False
Let v(k) = 5*k - 4*k - 3*k + 6 - k. Suppose f + 16 - 6 = 0. Is v(f) a multiple of 17?
False
Suppose 0 = -2*o + 319 - 115. Does 25 divide o?
False
Let n(r) = 6*r - 3. Let x be n(3). Let o = x - 8. Suppose k = 3*q - 110, 58 + o = 2*q + k. Is q a multiple of 21?
False
Let c be -3 + 4 + -2 + 7. Let x = c + 2. Does 5 divide x?
False
Let h(a) = -a**2 - 11*a. Let f be h(-8). Suppose -12 = -4*d + f. Is 9 a factor of d?
True
Suppose 7 = 3*q - 5. Suppose 0*v - 116 = -q*v. Is 14 a factor of v?
False
Does 11 divide (-126)/(-3) - (0 - 2)?
True
Suppose 0 = -7*o + 3*o + 8. Does 2 divide o?
True
Let v = 52 - -16. Is 17 a factor of v?
True
Let a be 6/21 + (-468)/21. Let o = a + 34. Is 6 a factor of o?
True
Let x(d) be the first derivative of -d**4/12 - 3*d**3/2 + 5*d**2 + 3*d - 4. Let a(h) be the first derivative of x(h). Is 15 a factor of a(-7)?
False
Suppose 452 = 4*h - h + d, 0 = -2*h + 3*d + 294. Is 31 a factor of h?
False
Suppose 26 = -4*t - t - 2*h, 0 = 4*t + 5*h + 31. Is 8 a factor of ((-160)/(-15))/(t/(-6))?
True
Suppose -u = 31 - 44. Is 7 a factor of u?
False
Let t(w) = w**3 + 12*w**2 + 12*w + 7. Let b be t(-11). Let k(u) = u**2 + 4. Does 10 divide k(b)?
True
Does 32 divide 3 + (4/((-12)/(-3)) - -103)?
False
Suppose -4*h + 5*o = o - 580, 5*h - o = 725. Is 15 a factor of h?
False
Let r = 6 + -2. Is (1/(-2))/(r/(-48)) a multiple of 6?
True
Suppose -2 = h - 8. Suppose 4*g - 26 = h. Is (12/8)/(2/g) a multiple of 3?
True
Let v = 12 - -11. Suppose -v = -2*q + 23. Does 11 divide q?
False
Suppose -2*n + 53 = -49. Does 17 divide n?
True
Suppose -18 + 124 = 2*i. Suppose 2*k + i = -0*m + 3*m, 5*k = 3*m - 56. Is 17 a factor of m?
True
Let f be 644/12 - 1/(-3). Suppose b - f = -2*o, b + 5*o - 49 = -7. Let l = 98 - b. Is l a multiple of 10?
False
Let w be (-88)/(-24) - (-2)/(-3). Suppose -2*c + 4*c - w*m - 51 = 0, -3*m = 2*c - 21. Suppose 0 = -5*s + 148 - c. Does 11 divide s?
False
Let f(g) = g**3 - g**2 - g. Let n(a) = 5*a**3 - 12*a**2 - 9*a - 10. Let m(s) = 6*f(s) - n(s). Does 4 divide m(-5)?
True
Suppose 3 = -b - 0*b, 0 = -5*o + 3*b - 1. Let d(u) = -u**2 + 5*u - 3. Let q be d(5). Does 15 divide -1 + 19 + (q - o)?
False
Suppose -3*n = -3*h - 39, -4*h = -5*h - n - 15. Let m be (-42)/4*48/h. Suppose 5*r - 3*r = m. Is r a multiple of 9?
True
Suppose 4*c = -c + 4*p + 20, 4*c + 3*p = 16. Suppose 0 = -c*s + 2*s + 4. Does 10 divide (-20)/(-5)*5/s?
True
Suppose -6*v + 95 = -v - 5*i, -3*i + 39 = v. Does 5 divide v?
False
Suppose -z + 4 + 2 = 0. Is 29 a factor of 8/(-5)*(-165)/z