 Let u be f(-5). Is 4 a factor of (u/(-6))/(1/(-24))?
True
Let k(v) be the second derivative of -v**4/12 - 4*v**3/3 + v**2 - 2*v. Let z be k(-7). Is 41/3 - 6/z a multiple of 11?
False
Suppose -1 = 2*o - 4*w + 9, -3*w = -3*o. Suppose 0 = -b + o + 106. Suppose -4*m + f + b = -2*f, 3*f - 39 = -m. Is 12 a factor of m?
False
Suppose -b - b = -10, -4*r + 143 = -5*b. Does 9 divide r?
False
Let v be 1 + 0 - (-70)/2. Suppose -2*x = -4*t + 52, -4*t - x = x - v. Does 11 divide t?
True
Suppose -5*i + 55 = -0*i. Is i a multiple of 11?
True
Suppose 0 = -8*m + 13*m - 1185. Is 40 a factor of m?
False
Let y(g) = 5*g - 12. Let h be y(10). Suppose -4*a + a + 4*j = -19, 5*j - h = -a. Does 13 divide a?
True
Suppose -720 = 3*j - 7*j. Does 15 divide j?
True
Let g(s) = s**3 - s**2 + 3. Is 5 a factor of g(3)?
False
Is 20/1 + 2 - -2 a multiple of 8?
True
Let w = -2 + 1. Let c = 3 + w. Suppose -c*j - 145 = -7*j. Is 16 a factor of j?
False
Suppose -26 = -3*j - 8. Suppose i - 1 = -2*o, j*o + 12 = 3*i + 3*o. Does 3 divide i?
True
Let d be ((-105)/10)/((-3)/8). Let b = 48 + 4. Let p = b - d. Is p a multiple of 12?
True
Suppose -4*a + 9*a = -145. Let z = 3 - a. Is 16 a factor of z?
True
Suppose 11 = 3*i - 2*n, -4*i - 1 = -3*n - 15. Is 3 a factor of i?
False
Let c(g) = -16*g + 36. Does 31 divide c(-7)?
False
Let q = 5 - 9. Let z = q + 0. Is z/(-18) + 129/27 a multiple of 5?
True
Suppose -17*u = -12*u - 65. Is 2 a factor of u?
False
Suppose -6*a + 48 = -4*a. Let w = a + -13. Is 5 a factor of w?
False
Suppose -3 = 3*x + 12. Let y = x - -7. Let r = 1 + y. Is 2 a factor of r?
False
Suppose 0 = -5*f - 0*f + 270. Suppose 5*v - 106 = f. Does 16 divide v?
True
Suppose 57*o - 965 = 52*o. Is 57 a factor of o?
False
Suppose 78 = -4*s - 26. Let g = -4 - s. Does 22 divide g?
True
Let s be -6*((-15)/9 + 1). Let f(y) = 4*y**2 - 6*y + 4. Is 22 a factor of f(s)?
True
Suppose a - 30 = -0*a + 4*j, -3*a + 114 = -4*j. Does 7 divide a?
True
Let q be -5 + (2 + -2)*-1. Let k = q - -8. Suppose 2*y - 63 = -n, y - 2*n - 4 = k*n. Is y a multiple of 12?
False
Suppose -j - 3*m = -3*j + 106, 4*j = -5*m + 256. Suppose -3*h + j = -2*r - 0*r, h - 4*r = 33. Is h a multiple of 8?
False
Let s(h) = 64*h + 28. Is 23 a factor of s(4)?
False
Suppose 4*s + 0*s - 24 = 0. Let u(c) = c**3 + 18*c**2 + 17*c + 6. Let w be u(-17). Suppose -s = w*g - 8*g. Is 2 a factor of g?
False
Suppose 61 = 2*w + z - 0*z, 4*z + 97 = 3*w. Is w a multiple of 7?
False
Let f(y) = -y**3 + 3*y**2 + 2*y + 2. Let s(j) = -j**3 + 4*j**2 - 3*j - 2. Let h be s(3). Is 18 a factor of f(h)?
True
Suppose 4*b - 3*p - 4 = 0, 3*b - 2*p = -7*p + 3. Is 4 a factor of (-5 - -7)/(b/2)?
True
Let c(b) = 4*b + 4. Is 16 a factor of c(7)?
True
Let u = 14 + 45. Let y = u + -28. Let p = -22 + y. Does 3 divide p?
True
Let z be 1/4 - (-110)/8. Suppose -z = -3*o + 2*d, 3*o + 0*d - 4*d = 22. Suppose 0 = -5*k + 2*i + 20, 4*i = -o*k - 3*k + 20. Is 3 a factor of k?
False
Let b = -3 + 9. Suppose 5*v + 5*k - 335 = 0, -v + b = -2*k - 52. Let o = -34 + v. Does 15 divide o?
True
Let a = 177 + -303. Is 20 a factor of (24/(-14))/(4/a)?
False
Suppose 8*g - 3*g = 1995. Suppose 6*v - 33 - g = 0. Is 18 a factor of v?
True
Let b(p) = 17*p + 3. Let d be b(5). Let q = d + -47. Is 26 a factor of q?
False
Let h be (9/6)/(1/2). Suppose 2*x = 4*n + 17 + 123, -n - 230 = -h*x. Suppose 2*k = -q + x, -2*k - 3*q = -k - 34. Does 17 divide k?
False
Let p be ((-3)/1)/(2/(-6)). Suppose r + 45 = 3*q, 0 = -2*r - 3*r + 15. Let k = q - p. Is k a multiple of 7?
True
Let v = -14 - -42. Is 17 a factor of v?
False
Let c(l) = -l**2 - 9*l - 3. Let b be c(-8). Let m = 13 - b. Is m a multiple of 4?
True
Let d(q) be the first derivative of -q**4/4 + 7*q**3/3 - q**2 + 7*q + 1. Is 20 a factor of d(6)?
False
Let r(g) = 4*g**2 - 2*g**2 + 15*g - g**2 - 3 - 8*g. Is 5 a factor of r(-8)?
True
Let l(y) be the first derivative of y**6/120 + y**5/60 + y**4/24 - 2*y**3/3 + y**2 - 2. Let s(n) be the second derivative of l(n). Does 13 divide s(3)?
False
Let q be (-2 + 1 + 1)/(-1). Suppose q = 2*v - 102 + 42. Is v a multiple of 11?
False
Let o = 19 - -45. Does 16 divide o?
True
Let b be (-904)/(-10) + 4/(-10). Suppose 0*o = 5*o - b. Does 14 divide o?
False
Let r(p) = p + 16. Is r(7) a multiple of 8?
False
Let o(y) = 4*y**2 - 26*y - 13. Is 12 a factor of o(9)?
False
Let l(p) = p**3 - p**2 + p + 1. Let a(r) = -2*r**3 + 6*r**2 - 3*r - 5. Let v(f) = a(f) + 3*l(f). Let b be v(2). Suppose -6 = 2*y - b. Is y a multiple of 3?
True
Suppose -4*w - 2*m - 20 = 2*m, 2*w + m + 12 = 0. Let f(x) = -x**2 - 8*x - 3. Is 2 a factor of f(w)?
True
Let t be 6/(-12) + 69/(-2). Let c(v) = 60*v - 1. Let k be c(1). Let q = t + k. Is q a multiple of 12?
True
Let r(k) = -4*k**3 - 7*k**2 + 3*k + 6. Suppose 0 = 3*j + 12 + 3. Let s be r(j). Suppose 2*c + 61 = -5*g + s, 3*g = -3*c + 153. Does 19 divide g?
False
Let y(u) be the third derivative of u**6/60 - u**5/30 - u**4/6 + u**2. Does 12 divide y(3)?
True
Let g = -25 - -19. Let q(c) = -c**3 - 6*c**2 - 6*c + 6. Is q(g) a multiple of 16?
False
Suppose -11 - 28 = 3*u. Let d = u + 22. Is 9 a factor of d?
True
Let j(q) = -q**3 + 3*q - 2. Let c be j(2). Let z = c + 7. Is 3 a factor of z?
True
Let a(c) = c**3 + 2*c**2 - 2. Let l be a(4). Let y = -9 + 9. Suppose 5*z - 4*i - l = y, -2*z + 4*i = -z - 6. Is z a multiple of 10?
False
Let f(i) = -3*i**2 + i**3 + 0*i**2 + i + 1 + 0*i + 2*i**2. Let v be f(-1). Is (-28 - v)*1/(-2) a multiple of 13?
True
Is 19 a factor of 10*((-1076)/(-110) + 2/(-11))?
False
Let w be 22*-1*(-1)/2. Let t(f) = f + 8. Let q be t(-7). Let l = w - q. Does 5 divide l?
True
Let y(l) = l**2 + 4*l + 4. Let c be y(-3). Let n = 0 - c. Let v(g) = 12*g**2 + g + 1. Does 12 divide v(n)?
True
Let b(y) = y**3 - 6*y**2 - 8*y - 8. Let m be b(7). Let h = -7 - m. Let d = 3 + h. Is 11 a factor of d?
True
Let f be (4 - 2 - 1) + 2. Suppose 3*a = -q - 99, -f*a - 165 = 2*a + 3*q. Is (-3)/(a/24 + 1) a multiple of 4?
True
Suppose 2*h + 6 = -3*i + i, -i - 3*h - 7 = 0. Let f be (i - 0)*(4 - 4). Is (-2 - -1 - f)*-22 a multiple of 10?
False
Let c(l) = -l + 4. Let m be c(-6). Let t = m + -6. Is t a multiple of 2?
True
Let n(b) = 2*b**2 + 5*b - 2. Let q(i) = i - 1. Let g be q(3). Suppose -g*t - 2 - 6 = 0. Is n(t) a multiple of 5?
True
Let h = 4 - -138. Is 12 a factor of h?
False
Suppose 4*o - 2*o = 224. Is o a multiple of 32?
False
Suppose 5*u - 3 - 7 = 0. Let m be (6 + -3 + -16)*-4. Suppose -u*b + 46 = -m. Is b a multiple of 19?
False
Suppose 0 = 3*m - 2*b - 9 - 2, 3*m - 5 = 5*b. Suppose j = m*j. Suppose 0 = -5*i - 3*c + 6*c + 57, j = -4*c + 4. Is 12 a factor of i?
True
Let d(a) = -5*a**3 + 3*a**2 + 15*a + 13. Let q(i) = 14*i**3 - 10*i**2 - 44*i - 38. Let m(w) = 17*d(w) + 6*q(w). Let b be m(-8). Does 15 divide (-2)/b*(-42)/4?
False
Let s = 311 - 212. Is s a multiple of 16?
False
Let l be (-2 + 4 - -1) + -1. Let u = l - 2. Is 14 + (0 - (2 + u)) a multiple of 12?
True
Let h(x) be the third derivative of x**6/120 + 2*x**5/15 + 3*x**4/8 + 3*x**3/2 - x**2. Let w be h(-7). Does 2 divide (4/w)/(2/(-10))?
True
Suppose -216 = -0*a - 2*a. Let y = 4 + 0. Suppose -8*r - a = -y*g - 4*r, 110 = 4*g - 5*r. Does 12 divide g?
False
Let z(t) = t + 1. Let n be z(-5). Does 14 divide 1*n/2*-27?
False
Let o = 33 + 27. Let c = o + -31. Is 9 a factor of c?
False
Let x(q) be the second derivative of 1/4*q**4 + q**2 + 0 + 1/20*q**5 - 1/2*q**3 - 2*q. Does 7 divide x(2)?
False
Suppose 0 = 5*i - 1154 + 104. Suppose 4*t - 9*t + i = 0. Does 14 divide t?
True
Let u(j) = -j**3 + 7*j**2 + j + 2. Let d be u(5). Suppose 0 = 3*z + 5*l - d, -3*l + 0*l + 19 = z. Does 19 divide z?
True
Let b(l) = l**3 - 6*l**2 - l + 4. Let u be b(6). Does 4 divide (-11)/u + 7/14?
False
Let w be (0 + 3)/(1/1). Let p(k) = 2*k - 1. Let c be p(w). Suppose -24 - 76 = -c*b. Does 11 divide b?
False
Is 17 a factor of 2/(-4) - (-957)/22?
False
Let s = -3 - -5. Suppose -s*h + 5*h - 12 = 0. Suppose 53 + 19 = h*c. Is 9 a factor of c?
True
Suppose c = -2*c + 9. Suppose -5*n + 28 = -5*m + c, n - 2*m = 0. Is n a multiple of 4?
False
Suppose 2*d - d + 14 = -3*g, 2*g + 10 = 0. Let x be (-1 - -3)*(0 + d). Suppose x*n + 4*q = 84, -3*n - 2*q + 76 + 54 = 0. Is 13 a factor of n?
False
Let l = -96 + 180. Is 28 a factor of l?
True
Suppose 2*p + s - 9 = -2*p, 2*p - 7 = -s. Let r = p + 1. Does 6 divide (