10?
True
Let i(k) = k**3 + k**2. Let f(u) = -4*u**3 - 10*u**2 - 3*u - 7. Let t(r) = -f(r) - 3*i(r). Does 9 divide t(-6)?
False
Suppose -3*p - 9*p = -240. Is 4 a factor of p?
True
Let l(h) = h**2 - 4*h - 6. Suppose -34 = 4*b + 5*i, 0 = 5*b - 4*i + 54 + 9. Let n = b + 17. Is 6 a factor of l(n)?
True
Let m be (-7 - -6)/((-2)/106). Let h = 75 - m. Suppose 0*v - h = -v. Does 8 divide v?
False
Suppose 0 = 2*i + 3*i - 125. Is i a multiple of 25?
True
Let v(r) = 8*r - 1. Let a = -3 + 5. Let y be v(a). Does 10 divide -4*-1*y/3?
True
Suppose 7 = -5*b + 27. Suppose -72 = -b*u - 4*y, 0 = -5*u - 4*y + 6*y + 90. Is 5 a factor of u?
False
Suppose 4*n + 16 = 3*t, 3*t = -t + 5*n + 20. Suppose 2*a = -t*a + 62. Is 8 a factor of a?
False
Let w = 2 + -1. Let y be w/(-2) + 20/8. Suppose 2*l - 9 = -y*x + 27, l - 98 = -5*x. Does 7 divide x?
False
Let l(a) = -2*a**3 + 10*a**2 + 6*a - 7. Is l(-3) a multiple of 13?
False
Let z be 4/((10/4)/(-5)). Let f(w) = w**2 - 6*w. Let u be f(z). Suppose -3*y - 2*y - g + u = 0, y - 4*g = 14. Does 11 divide y?
True
Suppose 5*b + 0*b - 4*q - 206 = 0, 2*q = -8. Does 20 divide b?
False
Suppose -4*g = 5*c - 2*g - 604, -3*c + 3*g + 354 = 0. Does 30 divide c?
True
Let a = -12 - -16. Let x(h) = h + 4. Let s be x(-4). Suppose -a*j + 56 = -s*j. Is 7 a factor of j?
True
Let d(w) = -5*w - 2. Let r(c) = 4*c + 3. Let v(b) = 3*d(b) + 2*r(b). Let o be v(-1). Suppose -3*l - o + 43 = 0. Is l a multiple of 6?
True
Let w = 7 - 10. Let v = -21 - w. Let k = -13 - v. Is 3 a factor of k?
False
Is (-2 - 37)*8/(-3) a multiple of 33?
False
Suppose 0 = 3*k - 0*k + 552. Is k/(-10) + 4/(-10) a multiple of 5?
False
Let n be (-1)/((-6)/(-4) + -1). Let z = n - 0. Does 4 divide -3*(z - -1)*3?
False
Suppose -76 = -4*x - 3*r, 2*x - 12 = -0*x + 5*r. Is x a multiple of 4?
True
Let d(z) = -z**2 + 12*z + 2. Let k be d(12). Is (-1)/2*k + 36 a multiple of 7?
True
Suppose 0*q = -q + v + 6, 4*v - 4 = -3*q. Suppose -2*j - 96 = -q*j. Suppose -3*p - j = -7*p. Is p a multiple of 6?
True
Is 4 a factor of (0 - 2 - -4) + 21 + -3?
True
Suppose 0 = o + 3*c - 27, 6*o = 2*o - c + 108. Is o a multiple of 7?
False
Let j(w) = w**2 + 3*w + 8. Is j(-10) a multiple of 26?
True
Let l = -10 + 13. Let x be 5/(1/l*3). Let b = x + 6. Does 3 divide b?
False
Suppose 4*l = 3*b - 70, -2*b + 3*l + 16 = -29. Does 15 divide b?
True
Suppose -18 = -4*m + 2*b, -m + 3*b - 8*b + 10 = 0. Suppose -5*d + 35 = m. Is 4 a factor of d?
False
Let t = 2 + -3. Let a be t/(1 - 2)*0. Suppose a = -s + 2 + 7. Is 7 a factor of s?
False
Let k(u) = 2*u**3 - 4*u**2 - u - 1. Let p be k(3). Suppose 3*g = -2 + p. Suppose -g*t = -t - 60. Is t a multiple of 16?
False
Let h(d) be the first derivative of d**3/3 + 4*d**2 + 7*d + 4. Let z be h(-6). Let p = z + 18. Does 13 divide p?
True
Let d = 572 - 400. Is d a multiple of 36?
False
Let h(f) = 11*f**2 + f. Let z be h(1). Suppose 2*v + z = 3*v. Is v a multiple of 12?
True
Let z(p) = 5*p**2 - 2*p**2 - 2*p + p + 3*p**2. Let m be z(1). Suppose 60 = m*k - k. Is k a multiple of 5?
True
Let w(j) be the first derivative of j**2/2 + 28*j + 1. Let c be w(0). Let n = 10 + c. Does 19 divide n?
True
Let b(a) = -4 + 5 + 0 + 10*a. Does 10 divide b(2)?
False
Let i = -10 - -20. Let k be (-3)/(6/(-196) + 0). Suppose 4*y + i = k. Does 8 divide y?
False
Suppose -w + 2 = -5*c - 43, 4*c - 3*w = -36. Let d(g) = -g. Does 7 divide d(c)?
False
Suppose 0 = 5*z - 4*d - 131, 6*d - 2*d + 104 = 4*z. Is z a multiple of 15?
False
Let n be (-250)/2*(-4)/(-10). Suppose 3*a = -2*u - 60, 3*a = -3*u - 1 - 95. Let p = u - n. Is p a multiple of 5?
False
Suppose -12 + 82 = 5*f. Let q = 20 - f. Is q even?
True
Let z(x) = 4*x**2 - 3*x + 1. Suppose 0*l - 4 = -2*l. Is 8 a factor of z(l)?
False
Suppose -408 = -4*c - 32. Does 15 divide c?
False
Let t(h) = 2*h**2 - 2*h - 9. Is 5 a factor of t(4)?
True
Suppose 2*x = -0*x - 16. Let d = x - -8. Suppose -70 = -3*m - g - 14, d = m + 3*g - 16. Is 12 a factor of m?
False
Let h be (-2)/(-3) + (-23)/3. Let m = 17 + h. Is 10 a factor of m?
True
Suppose -3*z - 52 = -367. Is z a multiple of 15?
True
Let q be 4/14 + 702/(-7). Let x be (6/(-5))/((-5)/q). Let u = 50 + x. Is 13 a factor of u?
True
Let i(y) = -4*y - 8. Does 8 divide i(-7)?
False
Let u(q) = 4*q - 13. Is u(9) a multiple of 23?
True
Let w(r) = -r**2 + 5*r + 5. Let z be w(5). Let t be 0 + (1 - 2) + 1. Suppose 2 = -3*g - z*i - t, 0 = 4*g - 2*i - 32. Is 6 a factor of g?
True
Is 16 a factor of (-96)/(-5)*200/60?
True
Let x = -1 - -2. Let i = x + 48. Suppose j - 4*c - 18 = 0, -3*j - 2*c = -i + 9. Is 14 a factor of j?
True
Let y = 30 + -90. Let r = y - -114. Is r a multiple of 27?
True
Suppose 4*r + 3*o = 23, -2*o = -2*r - 2 - 4. Let d(x) = x**2 + 3*x - 1. Does 8 divide d(r)?
False
Suppose -l + 4 = -229. Suppose 4*y - w = 2*w + l, -5*y + 271 = 3*w. Suppose -4*p + y = -2*p. Is p a multiple of 14?
True
Let y = -81 - -120. Is 13 a factor of y?
True
Let w = 89 - 64. Suppose 7 - w = -o. Is 9 a factor of o?
True
Suppose y = -y - a - 24, 0 = -y + 3*a + 2. Let c = 20 + y. Is c a multiple of 5?
True
Suppose -l + 24 + 26 = -2*s, 4*l - s = 172. Is l a multiple of 14?
True
Let u(f) = f**2 + 3*f - 3. Is u(-5) a multiple of 3?
False
Does 9 divide 1 + 2 + (25 - -4)?
False
Suppose 0 = -3*y + q + 130, -3*y - q = -0*q - 134. Suppose -s + y = 2*f, 4*s - 110 = -5*f + 6*s. Is f a multiple of 11?
True
Suppose -4*r - 104 = -0*r. Let x = r + 58. Is 11 a factor of x?
False
Suppose -209 = -5*j + 241. Is j a multiple of 15?
True
Let h(k) = -k**2 - k. Let g be h(-5). Is (g/(-3))/((-4)/(-6)) a multiple of 4?
False
Suppose 2 + 2 = 2*l. Suppose 4*j - j = 0. Let f = j + l. Is f even?
True
Is 10 a factor of 268/9 + 6/27?
True
Let v(a) = a**3 + 3*a**2 - 4*a + 4. Let s be v(-4). Suppose l - 9 = -s*g, 5*l = -0*g + g + 87. Is l a multiple of 17?
True
Let m(a) = a**3 - a - 1. Let h be m(2). Suppose 0 = -h*f + 21 + 79. Suppose -3*u = -4*z - f, -u - 5 + 11 = -z. Is 4 a factor of u?
True
Let k(z) = 17*z - 7. Is k(2) a multiple of 3?
True
Is 43 a factor of 8 - 12 - (2 + 0 + -252)?
False
Let p = 9 + 16. Is 11 a factor of p?
False
Suppose 0*s - s + 92 = 0. Let p = 144 - s. Suppose 5*u - p = u. Does 5 divide u?
False
Suppose 4*p + q - 408 = 0, 0 = -5*p + 3*q + 193 + 317. Is 34 a factor of p?
True
Let p be 1 - -117 - (-6)/3. Let o be ((-6)/12)/((-2)/p). Suppose f + 0 = o. Is 16 a factor of f?
False
Is 19/((1 - 0)/2) a multiple of 21?
False
Suppose 4*l - 11*l = -378. Does 9 divide l?
True
Let z(k) = -17*k**2 + 6*k + 7. Let m be 1/(-1) + 2*-3. Let d be z(m). Is (-2)/9 + d/(-18) a multiple of 24?
True
Let v = 4 - 0. Let r = 3 - 3. Suppose r = -v*y - 20 + 72. Does 13 divide y?
True
Let g be 15/5 + (1 - -1). Suppose 2*w = -4*h + 20, -16 - 23 = -g*w + h. Suppose 5 = z - w. Is 13 a factor of z?
True
Suppose -2*g - 2*g = -3*t + 218, 5*t - 342 = -4*g. Is t a multiple of 13?
False
Let z(t) = 9*t + 10. Let m(k) = -k - 1. Let l(x) = -22*m(x) - 2*z(x). Does 7 divide l(3)?
True
Let u(s) = -24*s + 20. Is u(-5) a multiple of 14?
True
Suppose -11 + 3 = -4*c. Suppose -6 = 10*b - 13*b. Suppose -b + 38 = c*n. Does 18 divide n?
True
Let o be (-1 - 2) + (-1 - 1). Let s = o - -26. Does 17 divide s?
False
Suppose 2*v + 4 = 2*u, 5*u + 49 = -5*v + 19. Let z(r) = -2*r - 3. Let h be z(v). Suppose -4*t - 10 = -h*k, -k + 0*t + 1 = -t. Is 6 a factor of k?
True
Let o = -22 + 31. Let p be (-499)/(-2) + o/(-6). Does 12 divide 1/(-3) - p/(-6)?
False
Is (-7)/((-14)/(-6)) + (-2 - -104) a multiple of 30?
False
Let z be (-2)/15 + (-1491)/(-45). Suppose -2*j = -3*v + 46 + z, 0 = -v - j + 33. Does 6 divide v?
False
Suppose 4*o + o = -4*f + 356, -5*f + o = -445. Suppose 4*n - f - 19 = 0. Is n a multiple of 18?
False
Suppose -j = 3*j + y - 337, 0 = 4*j + 4*y - 340. Is j a multiple of 21?
True
Let v(u) = -u**2 - 10*u - 3. Let y be v(-9). Suppose 2*a + y = 3*a. Is 3 a factor of a?
True
Is 8 a factor of (-2 - -17) + -1 + (5 - 2)?
False
Let r(g) = -35*g - 1. Let s(q) = q**3 + 4*q**2 - 4*q + 1. Let y be s(-5). Let t be (4/(-6))/(y/(-6)). Does 14 divide r(t)?
False
Suppose 3*a - 3 = 2*c + 19, 5*a + c = 15. Suppose 0*i = 2*w - 2*i - 34, 0 = -a*w + 2*i + 66. Is w a multiple of 8?
True
Let a = 75 - -5. Is 20 a factor of a?
True
Suppose -3*b - 2*b = -10. Suppose -b*l + 1 - 5 = 0. Does 4 divide 3*((-20)/(-6) + l)?
True
Suppose -7*u +