= -4*n - 1. Let w be c(-1). Suppose -10 = -2*y - w*y. Suppose q = -y*q + 60. Is 11 a factor of q?
False
Let t(k) = -k + 8. Let y be t(6). Suppose -y*m - 8 = -6*m. Does 2 divide 3*((1 - 2) + m)?
False
Is (-106)/((-2)/(-7) + (-112)/49) a multiple of 6?
False
Let b be (-8 + 5)*(1 - 2). Suppose 6*d - b*d - r = 49, -d = -5*r - 35. Is d a multiple of 4?
False
Let l(w) = -w + 19. Let y be l(0). Suppose -2*b + 23 = -y. Is b a multiple of 12?
False
Suppose -2*p = -2, -2*p = o + p - 84. Is 27 a factor of o?
True
Suppose 2 = -3*s + 17. Suppose 2*p + h = s*h + 18, -10 = -2*p - 4*h. Is p a multiple of 2?
False
Let n(p) be the first derivative of 9*p**2/2 - 15*p - 4. Is n(6) a multiple of 10?
False
Let u = -105 + 163. Is u a multiple of 3?
False
Suppose -23 = -3*h + 139. Is h a multiple of 27?
True
Let r(h) = 8*h + 6. Is r(8) a multiple of 7?
True
Suppose 0 = 3*m + 5*j + 8, 4*m + 3*j = j - 34. Let x = 25 + m. Is 7 a factor of x?
True
Let r(t) = 44*t**2 + t. Is 9 a factor of r(1)?
True
Let i(r) = r**2 + r + 3. Let h be i(0). Suppose -2*y = -h*y + 23. Is 9 a factor of y?
False
Suppose -5*o - 86 = -3*t, -3*o + 92 = 4*t - 4*o. Does 22 divide t?
True
Suppose 0 = 2*u + u. Is (u + -31)/((-1)/3) a multiple of 31?
True
Let w be (-115)/10*2*-1. Is w + 0 + 10 + -9 a multiple of 24?
True
Is (345/(-20))/((-3)/28) a multiple of 23?
True
Let y be (8/(-6))/(2/(-171)). Suppose -18 = 3*p + y. Let j = p - -63. Does 12 divide j?
False
Let d(q) = -2*q - 5*q - 1 + q - 4*q. Is d(-3) a multiple of 16?
False
Let q = 45 + -31. Is 13 a factor of q?
False
Let w = 56 + 43. Is 11 a factor of w?
True
Let f(j) = -j**3 - 13*j**2 - 15*j + 10. Let w(i) = -2*i**2 - 3*i - 3. Let z be w(-3). Does 12 divide f(z)?
False
Let a(i) = -5*i**3 + 5*i. Let w(h) = -h**3 + h. Let m(o) = a(o) - 4*w(o). Let l be m(1). Does 3 divide -1 + (0 + 7 - l)?
True
Let m(v) = -12*v + 24. Let p(c) = 4*c - 8. Let y(o) = -3*m(o) - 10*p(o). Does 8 divide y(-4)?
True
Let g be ((-1)/(-4))/((-3)/(-24)). Suppose -90 = -3*n - g*n. Is n a multiple of 9?
True
Suppose 0 = 2*n - 9 + 3. Suppose -12 = n*y, -w - 4*w + 4*y = -71. Does 3 divide w?
False
Suppose 33 = c - 33. Suppose c = b - m, 0*m - 6 = -2*m. Is b a multiple of 17?
False
Let s(o) be the first derivative of o**4/12 + 5*o**3/6 + 5*o**2 + 3*o + 4. Let d(m) be the first derivative of s(m). Is d(-7) a multiple of 24?
True
Let j(l) = l**2 - 8*l + 2. Let o be j(8). Suppose -75 = -3*f - o*f. Suppose -4*q = -3*q - f. Is q a multiple of 14?
False
Suppose -370 = -5*d - 0*d. Does 27 divide d?
False
Let c be 4/14*(0 - -7). Suppose -3*g + 80 = c*g. Does 8 divide g?
True
Suppose 10 = -3*r - 5*x, -x - 4*x = -3*r + 10. Suppose -4*o + 95 = -3*q, r = -2*o - 2*q - q + 25. Is o a multiple of 10?
True
Let n be (-1 - -3)*3/(-2). Let t = 6 + n. Does 3 divide t?
True
Let m be (-2)/(-7) + 3768/42. Let s = m + -34. Suppose 0*g = -4*g + s. Is g a multiple of 8?
False
Suppose -g + 5*n - 72 = 0, -5*g - 222 = -3*n + 72. Let b = g - -177. Suppose -96 = -4*t - 5*q, 4*t - 4*q = -t + b. Is 12 a factor of t?
True
Suppose -a + 1 = -3*z, -3*z + 2*a + 3*a = 5. Suppose -4*j = i - 44, z*j - j + 18 = 2*i. Does 6 divide j?
False
Does 3 divide ((-5)/10*174)/(-3)?
False
Suppose 10*l - 845 = -115. Does 7 divide l?
False
Let t(x) = x**2 + 7*x - 10. Let w be t(-9). Suppose 2*b = -4*i + 14, -4*i + 6*b - 2*b = -w. Suppose 2*p - 146 = -4*v, -27 = -2*v + i*p + 50. Does 15 divide v?
False
Is 12 a factor of (-1*4/(-2))/((-3)/(-126))?
True
Let x(m) = 34*m**3 + m - 1. Let t(w) = w - 4. Let q be t(0). Let n = q - -5. Is 17 a factor of x(n)?
True
Suppose -2*o + 4 = -4. Suppose -5*x = 2*i + 2*i, o*i + 20 = 0. Suppose 51 = x*u + 19. Is 4 a factor of u?
True
Suppose 0 = -4*r - 4*h + 316, 0 = -2*r - 0*r - 5*h + 161. Suppose -r = -5*v + 67. Is v a multiple of 29?
True
Suppose 2*j - 1 + 9 = 0, 2*j + 18 = -5*p. Let g be -1*(p + 3)*29. Let o = g + 49. Does 10 divide o?
True
Let d(q) = q**3 - 8*q**2 + 2*q. Is d(8) a multiple of 13?
False
Let d(c) be the first derivative of c**3 + 3*c**2/2 + c + 3. Is 15 a factor of d(3)?
False
Let t(f) = f**2 + f + 3. Let b be t(0). Suppose 4*v + 13 = b*r, v - 1 = r - 6. Suppose -3*g + r = -4*n, -5*n = g - 21 + 6. Does 5 divide g?
True
Let f(j) = -j**3 - 6*j**2 + 7*j. Let p be f(-7). Suppose b + 3*b - 16 = p. Let z(l) = l**2 + 2*l - 6. Does 8 divide z(b)?
False
Let m be 5/(-10) + 5/2. Suppose -m*h = -0*h - 56. Does 11 divide h?
False
Let s(m) = m**2 + 8*m - 4. Let r be s(5). Let q = 33 - r. Let t = 43 + q. Is 9 a factor of t?
False
Let o be 2/(-12) - 381/(-18). Suppose -7 = 2*q - o. Is q a multiple of 3?
False
Let z(n) = 2*n**2 + 2*n - 4. Let d be z(2). Suppose 0*k + k = d. Is 2 a factor of k?
True
Is 130/(-5)*(0 - 1) a multiple of 5?
False
Suppose 7*v - 133 = -0*v. Is 6 a factor of v?
False
Let o(l) = l**3 + 6*l**2 - 5*l - 12. Let n = -1 + -5. Is 18 a factor of o(n)?
True
Let w = 17 + -3. Suppose -2*d + 21 = -5*v, 5*d + w - 104 = 5*v. Suppose 4*u + 5 = -11, 0 = n - u - d. Does 17 divide n?
False
Suppose -4*n = n - 470. Suppose 5*w = 3*w + n. Does 8 divide w?
False
Suppose u = 3*o + 2*o + 13, -2*o = 0. Does 3 divide u?
False
Suppose 3*k - 12 = 0, 0*g + 3*g + k = 97. Let b = -4 + g. Is 9 a factor of b?
True
Let s(q) = 22*q - 3. Let m be (-8)/3*(-27)/4. Suppose 3*g = -4*f - g + 24, -m = -f - 4*g. Is s(f) a multiple of 14?
False
Let q = -2 + 4. Let l be (30/25)/((-4)/(-10)). Suppose -u = -2*u - l*b + 26, -q*u - 2*b + 40 = 0. Does 8 divide u?
False
Let z = -11 + 13. Is 1/z - 906/(-12) a multiple of 19?
True
Let i be (1*(-1 + -1))/(-1). Suppose 4*y = -3*w - 2, w - i*w = 5*y + 8. Suppose 0 = x - 14 + w. Does 6 divide x?
True
Does 22 divide (-12)/20 - 17847/(-45)?
True
Suppose v - 582 = -3*h - v, -2*h + 369 = -5*v. Is 26 a factor of h?
False
Suppose 126 = -3*f + 4*f. Let w = -81 + f. Is w a multiple of 22?
False
Is 10 a factor of (3 - -2)/((-7)/(-35))?
False
Let i = -45 + 81. Is 18 a factor of i?
True
Let x = -35 - -38. Does 2 divide x?
False
Suppose -m + 4*j = -2*m + 13, 4*m + 3*j - 39 = 0. Let k = m + 7. Is k a multiple of 9?
False
Let d be 150/4 + (-3)/6. Let a = d + -24. Is a a multiple of 4?
False
Let o(b) = -b - 4. Let x be o(-8). Suppose x*s - 10 = 6. Is 3 a factor of s?
False
Does 8 divide (-1)/3*-24*8?
True
Let l(c) = -138*c**3 + c**2 + c. Let g be l(-1). Suppose 5*s - 107 = g. Does 13 divide s?
False
Let f be 20 - -6*1/(-2). Suppose 4*i + 1 - f = 0. Is 4 a factor of i?
True
Does 3 divide (5 - 38/4)/(6/(-8))?
True
Suppose x = -9*x + 920. Is 21 a factor of x?
False
Let d(b) = 5*b + 16. Let v(n) = -5. Let l(t) = -t - 6. Let c(k) = 3*l(k) - 2*v(k). Let u(y) = 7*c(y) + 4*d(y). Does 4 divide u(0)?
True
Suppose -4*p = -2*g - 24 - 6, -4*g + 4*p = 40. Let k = 17 + g. Is k a multiple of 3?
True
Suppose -2*s = -c + 2, -3*c - 2*s - 2*s = 14. Let t be (-2)/(-6)*(-12)/c. Does 4 divide t/1 + (5 - 3)?
True
Suppose 3*u - 117 = t, 5*u + 2*t = -3*t + 175. Let j = u + 11. Is 15 a factor of j?
False
Does 26 divide 234/((-3 - (-45)/10)*1)?
True
Suppose 4*s + f = 276, -2*s - 4*f - 51 = -203. Does 34 divide s?
True
Let y(x) = x**3 + 7*x**2 - 8*x + 2. Suppose u = -4 - 4. Is y(u) a multiple of 2?
True
Let m(q) = 8*q. Let t be m(1). Suppose 13*s = t*s + 535. Is 26 a factor of s?
False
Suppose 2*h = -5*r - 23, -r - 3*h - 23 = 2*h. Let p(u) = 2*u**2 - 3*u + 3. Is p(r) a multiple of 9?
False
Let w be 3 + (-2 + 1 - -2). Suppose -k - 2 + w = 0. Suppose 7*v = k*v + 220. Does 15 divide v?
False
Suppose -2*n - 4 = 4*t + 2, -2*n = -4*t - 34. Let r = n - 5. Does 8 divide 66/4 - r/4?
True
Suppose -p + 13 = 2*t, 5*t - 37 + 11 = -2*p. Is 6 a factor of p?
False
Let g(r) = r**2 - 5*r - 2. Let w be g(6). Suppose -2*v + w*v = 78. Is v a multiple of 11?
False
Let k(c) = 2*c + 2. Suppose 5*l - 2*l = 6. Is k(l) a multiple of 3?
True
Is 3 a factor of (-12)/(-5)*15/6?
True
Let f(k) be the first derivative of -k**4/12 - k**3/6 + 3*k**2/2 + 2. Let t(v) be the second derivative of f(v). Does 10 divide t(-9)?
False
Let w(v) = v**3 + 6*v**2 + 6*v + 2. Let z be (-10 - -6)*(0 - -1). Let u be w(z). Suppose 46 = 4*t + u. Does 9 divide t?
True
Let f(k) = k**2 - k + 2. Let r be f(3). Let p = r - -2. Does 10 divide p?
True
Let l be 2/2 + 1 + -1. Is 13 a factor of -3*l/(-3)*23?
False
Suppose 2*z - 4 = -0*z. Suppose 3*p - 12 = -3*i, 3*i - z - 6 = p. Is 3 a