f + f + 10. Let s be v(-6). Suppose 24 = s*k - 51. Is 4 a factor of k?
False
Suppose 0*o - r - 54 = -o, 0 = 5*r + 10. Does 26 divide o?
True
Suppose 5*q + 3*x = 147, -4*q + 2*x + 104 = x. Is q a multiple of 4?
False
Let j = -32 - -100. Is 18 a factor of j?
False
Let j = 8 + 8. Suppose 0 = 2*b - j - 6. Is b a multiple of 4?
False
Let c(j) be the third derivative of j**5/30 - j**4/12 + 7*j**3/6 + 7*j**2. Is 9 a factor of c(4)?
False
Suppose 4*h - 1153 + 425 = 0. Is 34 a factor of h?
False
Suppose -21 = -l - 5*q, 5*q = -0*l - 5*l + 25. Let a be (102/2)/1 + l. Suppose -2*r + 24 = 4*h - a, 5*r = 2*h + 130. Is 13 a factor of r?
False
Let d(w) = w**2 + 5*w + 6. Let h be d(-4). Let v be (h - 12/(-9))*-3. Let c(x) = -x + 13. Is 8 a factor of c(v)?
False
Let z(s) = 2*s**2 + s + 1. Let m be z(-1). Suppose m*f - 61 + 19 = 0. Does 8 divide f?
False
Let a(k) = k**2 + 4*k + 3. Is 7 a factor of a(8)?
False
Is (-2)/((3/48)/(-1)) a multiple of 4?
True
Suppose -3*v = 18 + 12. Let z = -4 - v. Is 6 a factor of z?
True
Let c = 54 + -45. Is c a multiple of 5?
False
Suppose b = -0*b + 5. Let w = 7 - 4. Let z = w + b. Does 8 divide z?
True
Let k(n) = 12*n**2 - 3*n + 4. Let q(r) = -11*r**2 + 2*r - 3. Let w(m) = -4*k(m) - 5*q(m). Is 12 a factor of w(-2)?
False
Suppose -2*q + 0*q - 4 = 0. Let z = 2 - q. Suppose -11 = -z*o + 5. Does 2 divide o?
True
Let r(z) = -z**2 - 6*z - 11. Let i be r(-5). Is (12/(-7))/(i/84) a multiple of 12?
True
Let u(b) = 2*b**2 - 3*b**2 - 4*b + 1 + 2*b + 4*b**3. Is 11 a factor of u(2)?
False
Let w be -4*3/(-6) + -26. Let m = 5 + w. Let t = m - -29. Is t a multiple of 5?
True
Let c = -28 - -58. Is c a multiple of 10?
True
Let m(g) = -g + 1. Let n be m(-2). Let j(x) = -4 - x**n + x - 9*x - 7*x**2 - 5. Does 3 divide j(-6)?
True
Let h(m) = -m**3 + 11*m**2 - 11*m - 19. Let n be h(10). Let r = n + 37. Does 4 divide r?
True
Let b be (-4 - -2)*(-3)/2. Let n be 1*(6/3 + 1). Suppose -n*k = -3*c + 2*k + 138, b*c - 111 = -4*k. Is 15 a factor of c?
False
Suppose -3*y + 89 = 29. Does 3 divide y?
False
Suppose -2*g - 12 = 2*g + 4*x, -2*g = 5*x + 15. Let j = 48 - 14. Suppose 3*b + j = 3*o + 94, -2*o - 2 = g. Does 8 divide b?
False
Suppose -l = 5*i - 82, 9*l - 4*l = 3*i + 354. Is 4 a factor of l?
True
Suppose -340 = p + 4*p. Is p/2*(-2)/4 a multiple of 10?
False
Let o(h) = h**2 - h + 1. Let j(t) = 3*t**2 - 5*t + 5. Let q(f) = -j(f) + 5*o(f). Is q(-4) a multiple of 12?
False
Suppose 134 = 3*v - 0*v - 5*w, v - 54 = 4*w. Is 38 a factor of v?
True
Let h(n) = 3*n**2 - 10*n - 61. Is 12 a factor of h(-7)?
True
Let o = -8 - -11. Let s = 4 + o. Does 3 divide s?
False
Does 18 divide -9*3/(36/(-52))?
False
Is 2 + 118 - (7 + -7) a multiple of 20?
True
Let f(p) be the second derivative of -p**4/4 - 5*p**3/6 - 2*p**2 - 3*p. Let r be f(-3). Is (-3)/2*r - 1 a multiple of 9?
False
Suppose 5*x - 23 = -4*j + 5*j, -5*j + 2*x = 0. Let w(p) = -2*p - 4*p**3 - 2 + 0*p**j + 0*p + 3*p**3 - 5*p**2. Is 8 a factor of w(-5)?
True
Let h(z) = z**2 - 4*z - 7. Let j be h(6). Suppose -4*n - 3*x + 5*x + 242 = 0, -74 = -n + j*x. Is n a multiple of 24?
False
Suppose 5*d = -3*a + 258, 3*d + 3*a + 0*a - 156 = 0. Let j = 71 - d. Is j a multiple of 14?
False
Let d(y) = 27*y**2 + 2*y - 2. Let t be d(1). Let m = 42 - t. Does 11 divide m?
False
Let t(x) be the second derivative of x**4/6 - 2*x**3/3 + x**2 - 2*x. Let q be t(3). Let j = q + 0. Is j a multiple of 3?
False
Let c = -133 - -169. Does 2 divide c?
True
Let n be 14/(-1 - 10/(-14)). Suppose 4*i + 206 = 498. Let l = n + i. Does 12 divide l?
True
Suppose -6*j = -4*j - 168. Let y = j - 18. Is 20 a factor of y?
False
Suppose 5*g + 0*h = 3*h + 43, -4*h + 49 = 3*g. Is g a multiple of 10?
False
Let d = 123 + -102. Is d a multiple of 21?
True
Let a = -23 - -77. Is 12 a factor of a?
False
Suppose -594 = 2*n - 4*n - 3*j, 0 = n + j - 296. Does 49 divide n?
True
Suppose 0 = -t - 3*f - 24, 0 = 5*t + f + 51 + 125. Let q = -22 - t. Does 5 divide q?
False
Let p(r) be the third derivative of 0*r + 0*r**5 - 1/12*r**4 + 0 - 1/6*r**3 + 3*r**2 - 23/120*r**6. Is 13 a factor of p(-1)?
False
Is 12 a factor of (-43 - 4/2)*5/(-5)?
False
Let k = -12 + -3. Let l = k - -27. Does 6 divide l?
True
Let q = 91 + -43. Does 11 divide q?
False
Let i(b) = -3*b + 7. Let p be i(-5). Suppose 3*g - g - p = 0. Is g a multiple of 10?
False
Suppose 5*b - 10 - 5 = 0. Let c be (-1)/2 - b/2. Let m = 9 + c. Does 7 divide m?
True
Let l be 3/(-1 - 5)*2. Let y = l - -4. Does 2 divide y?
False
Suppose -y + 16 = 3*a - 9, 2*y = 5*a - 49. Let l(n) = n - 1. Is 2 a factor of l(a)?
True
Let b = 19 - 11. Does 6 divide b?
False
Let k = 118 - 14. Does 13 divide k?
True
Suppose -107 = -3*k + 5*j, -3*k + 0*k + 147 = 3*j. Is 11 a factor of k?
True
Suppose -1 = -3*x - 4. Let a be 5/(-10)*(-12)/x. Does 4 divide 1/(-7)*a*7?
False
Let c = 197 - 125. Is 18 a factor of c?
True
Let w be 1*(1 + 0 + 0). Let j(a) = -w - 4*a + 3 - 6. Is 7 a factor of j(-6)?
False
Suppose 5*b = -5*c - 0*b + 125, -4*c + 2*b + 82 = 0. Does 11 divide c?
True
Suppose 7*o - 2*o - 165 = 0. Is o a multiple of 10?
False
Let w = -8 - -11. Suppose w*r - 9 = 33. Is 13 a factor of (-14)/(-49) + 472/r?
False
Let f(j) = j - 2*j + 0*j. Let k be f(-4). Suppose 6*h - k*h = 26. Does 8 divide h?
False
Let s = 16 + 10. Let c = 16 - s. Let r = -7 - c. Is r a multiple of 3?
True
Let l be 4/(6 + -2)*3. Suppose -23 - l = -m. Does 10 divide m?
False
Does 19 divide (-56)/(-3) - (-6)/18?
True
Let x = 51 + -31. Does 8 divide x?
False
Suppose -489 = -3*n + 2*i - 5*i, 5*n + 4*i - 815 = 0. Does 22 divide n?
False
Does 3 divide 2/7 - 38/(-14)?
True
Let p be 23/(-4) + 1/(-4). Does 11 divide -2 + (3 + -6)*p?
False
Let n(x) = 14*x**2 + 4*x - 10. Is n(-4) a multiple of 21?
False
Let g be (-2 + -2)*3/(-6). Is -34*(g/(-4) - 0) a multiple of 11?
False
Let x = -5 - -3. Let j be (29/2)/((-1)/x). Suppose z = -0*z + j. Is 13 a factor of z?
False
Let i = -8 - -1. Let z(y) be the first derivative of y**2/2 + 15*y - 21. Is 6 a factor of z(i)?
False
Let y(t) = 2*t - 2. Let h(p) = -p**2 + 9*p - 4. Let v be h(8). Does 6 divide y(v)?
True
Suppose -2*m - d = 3*d + 168, -4*d - 432 = 5*m. Let y = -46 - m. Is y a multiple of 12?
False
Suppose -7 = -4*t + 5*t. Let q(c) = c**3 + 9*c**2 + 6*c - 5. Is q(t) a multiple of 11?
False
Let c(v) = -v**3 - 11*v**2 + 12*v + 9. Let r be c(-12). Suppose -r = -y - 0*t - 3*t, y - 9 = -t. Is y a multiple of 3?
True
Let q be (1 - 4) + (-4)/(-1). Is 11 a factor of (2 + q)/((-6)/(-66))?
True
Let f = 492 + -339. Is f a multiple of 9?
True
Let s be -1 - 3/(-3) - -19. Suppose 3*b + 5*w - s = 14, -3*b = -5*w - 33. Is 5 a factor of b?
False
Let i = 92 - 63. Is 7 a factor of i?
False
Suppose -3*k - r = -2*r - 156, -k + r + 52 = 0. Is 12 a factor of k?
False
Let w be 0*(-1 - (-3 - -1)). Does 6 divide 3 + -2 + w - -12?
False
Suppose 5*x + 3*r - 178 = 4*x, -3*x - 4*r = -544. Suppose 4*i = -40 + x. Is i a multiple of 18?
True
Suppose f + 0*f = 0. Suppose f = -2*g + 8, -o - g = -0*g - 32. Does 14 divide o?
True
Let n(h) = -2*h**2 + 2*h - 2. Let s be n(4). Let c = s + 56. Suppose 12 = 3*y - c. Does 6 divide y?
False
Suppose -22*o + 11*o + 1221 = 0. Does 13 divide o?
False
Is 20 a factor of (102/12 - -4)*48/10?
True
Is 7 a factor of -1 + 1/(3/75)?
False
Suppose -2*y - 3*y + 15 = 0. Suppose 5*r - y = 17. Suppose r*o = 18 + 2. Is o a multiple of 5?
True
Let a = 1 + -1. Suppose -2*l + 3*l - 5 = a. Is l even?
False
Suppose 0 = 3*t + 10 + 14. Let c(x) = -x**3 - 7*x**2 + 3*x - 1. Let b be c(t). Let r = -23 + b. Does 8 divide r?
True
Let v(j) be the first derivative of -j**4/4 - 4*j**3 - 11*j**2/2 + 15*j - 4. Is v(-11) a multiple of 15?
True
Suppose -5*k - 3*j = -26, 0 = -4*k + 5*j - 1 + 7. Suppose k*l - 2*l + 16 = 0. Let o(d) = -d**3 - 9*d**2 - 7*d + 11. Is o(l) a multiple of 3?
True
Suppose -1 + 6 = h. Suppose 0 = -x + h*b + 33, x - 1 = -x - 3*b. Is 2 a factor of x?
True
Let k(b) be the first derivative of -5*b - 3 + 7/2*b**2. Is k(7) a multiple of 22?
True
Suppose 4*t = 4*a - 3*a - 25, -2*t + 4*a - 30 = 0. Let k = 29 + t. Is 9 a factor of k?
False
Suppose z + 55 = 2*l, -139 = -8*l + 3*l + z. Is l a multiple of 2?
True
Suppose -v + s + 398 = 4*v, -4*s + 8 = 0. Is v a multiple of 16?
True
Suppose 5*z - 53 = 57. Is z a multiple of 5?
False
Let f(a) = -a**3 + 5*a**2 - 2*a. Let b b