be x(-7). Let t = 14 - i. Suppose -8 = -2*f - w, 2*f - 5*w - t = 3*f. Is 4 a factor of f?
False
Suppose 22*z - 23*z = -160. Is 10 a factor of z?
True
Let w(r) = 8*r**2 - 3*r + 1. Let t(c) = c**2 - c + 1. Let p(s) = -4*t(s) + w(s). Let k = 4 - 7. Is p(k) a multiple of 15?
True
Let v(j) be the first derivative of j**4/4 - 8*j**3/3 + 7*j**2/2 + j + 3. Let i be v(7). Let g(z) = 6*z**2 - z + 1. Does 6 divide g(i)?
True
Let r = -21 - -14. Let h(b) = 2*b**2 + 11*b - 3. Does 6 divide h(r)?
True
Suppose -2*w - 6 = 0, 4*r - 10 + 5 = -w. Let m be 2 - (-2 - -2 - r). Is 4 a factor of (-9)/m*(0 - 4)?
False
Suppose 4*w = -2*s + 16, 0 = 3*s - 2*s - 2*w. Suppose -a = s*a. Suppose r - 7 = -a*r. Is 6 a factor of r?
False
Let o(a) = -a + 20. Let u(g) be the third derivative of g**4/12 - 20*g**3/3 - 2*g**2. Let q(l) = 5*o(l) + 2*u(l). Does 10 divide q(0)?
True
Suppose 4*k + k = 60. Suppose -2*a + 40 = -k. Is a a multiple of 13?
True
Let z be 0 - (2 - 2 - 19). Let h be z/4 - (-2)/8. Let k = h + 11. Does 16 divide k?
True
Let p = -11 + 12. Let l = 5 + p. Does 6 divide l?
True
Suppose 0 = -0*x + 4*x + 3*g - 429, 3*x - 2*g - 326 = 0. Is x a multiple of 24?
False
Suppose -5*w - h = -5*h - 172, w - 32 = 2*h. Is 11 a factor of w?
False
Suppose 5*i - 122 = 4*o, 2*i - i = o + 31. Let d = 47 + o. Is d a multiple of 7?
True
Suppose -10 + 4 = -3*t. Suppose -1 - 9 = -t*d. Suppose -d*k + 56 = -k. Is k a multiple of 7?
True
Suppose -3*u + 4*u - 56 = 0. Is 56 a factor of u?
True
Suppose 3*i = 2*b - 24, 2*b + 0 - 8 = -i. Let v be b/15 - (-296)/10. Suppose c = -4*c + v. Is c a multiple of 6?
True
Let i = 6 + -3. Suppose 6*l - 3*l = -i*u + 69, -5*l - u = -115. Does 16 divide l?
False
Suppose 3*f = -f + 20. Let n(z) be the second derivative of z**4/12 + z**3/6 - z**2 - 20*z. Does 14 divide n(f)?
True
Suppose g - 23 - 40 = 0. Is g a multiple of 21?
True
Suppose -5*m = -462 - 138. Is m a multiple of 24?
True
Let r = -2 - -40. Is r a multiple of 16?
False
Suppose -7*z + 2*z - 510 = 0. Let h = 198 + z. Is 25 a factor of h?
False
Suppose 4*w - 15 = -w, -k + 4*w = 9. Suppose -30 = k*c - 8*c. Is 4 a factor of c?
False
Suppose 2*s = 6*s + 196. Let r = s + 103. Is 18 a factor of r?
True
Let v = -93 - -150. Is v a multiple of 12?
False
Is 6 a factor of -3 - 30*3/(-2)?
True
Let o(b) = b**2 - 4*b + 7. Let t be o(5). Suppose -2*k = 2*j - 12, 4*j + 6 + 6 = 5*k. Suppose -t = -0*s - j*s. Is s even?
True
Let o be (0 - -1)*42*-1. Let v be 2*(o/(-4) - 2). Let r = v + 0. Is 10 a factor of r?
False
Let w(j) = -j**3 - j**2 + 4*j - 1. Let t(d) = d**2 + 5*d + 3. Let u be t(-3). Let n be w(u). Suppose -n*m - 23 + 83 = 0. Is 12 a factor of m?
True
Let i be (6 - 4/(-2))/(-1). Let v(c) be the third derivative of -c**6/120 - 7*c**5/60 + c**4/4 - 7*c**3/6 - 2*c**2. Does 5 divide v(i)?
False
Let d(g) = g**2 - 3*g. Let u be d(-5). Suppose 4*n + 0*n = u. Is n a multiple of 8?
False
Let q(n) = 4*n**2 + 1. Let l be q(1). Let z = -3 + l. Is z a multiple of 2?
True
Suppose t = -2*t + 24. Is 14 + 2*(-12)/t a multiple of 11?
True
Suppose 4*p - 588 = 2*q, q = -0*p - 2*p + 298. Suppose 2*t - 4*t + p = 0. Suppose -3*i = -i - t. Is i a multiple of 10?
False
Let b(j) = j**2 + 9*j + 12. Let x be b(-8). Let k(d) = d**3 - 4*d**2 + 3*d. Is k(x) a multiple of 12?
True
Suppose 2*f = 5*f + 4*i - 32, 0 = 3*f - i - 37. Is (f/6)/(1/22) a multiple of 22?
True
Let o(b) = -30*b + 2. Let n be o(1). Let g = 14 - n. Is 14 a factor of g?
True
Suppose 0 = -4*c - i + 30, 3 - 1 = c + 3*i. Let w = 13 - c. Suppose w*a = 3*a - 6, 5*s + 2*a = 154. Is 16 a factor of s?
True
Suppose -22 = 2*q - 182. Is 10 a factor of q?
True
Let n = -62 - -39. Let c = -40 - 7. Let g = n - c. Does 11 divide g?
False
Let v(l) = 11*l - 1. Let n(o) = 1. Let x(c) = 3*n(c) + v(c). Let z(m) = m - 10. Let d be z(12). Does 8 divide x(d)?
True
Suppose -1 = -2*h - 3*s, -5*h - 4*s = -h - 4. Let i(n) = -n**2 - 9*n - 7. Let c be i(-8). Suppose 3*a + 2*v = 65, 3*v - h = c. Does 9 divide a?
False
Suppose 0 = -9*h + 198 + 126. Does 12 divide h?
True
Let f(o) = -3*o - 5. Let h = -3 + 5. Suppose h*c + 18 = -0. Is f(c) a multiple of 13?
False
Let s(b) = b**3 - 11*b**2 + 18*b + 18. Is 4 a factor of s(10)?
False
Let q be 19/4 - 1/(-4). Suppose 0 = p - q*v + 23, -4*p + 5*v + 9 = 26. Suppose -10 = -5*u + 2*c + 8, 5*c = -p*u - 16. Is u even?
True
Suppose 47 - 7 = 3*f - x, -5*f + 48 = 3*x. Is f a multiple of 4?
True
Suppose -98 - 102 = -4*b. Let y = b - 35. Is y a multiple of 15?
True
Let f be (2 - 1)/(2/12). Suppose 24 = -2*b + f*b. Does 12 divide 102/4 - b/4?
True
Is 14 a factor of 131/2 - 8/(-16)?
False
Let v = -50 - -88. Is 13 a factor of v?
False
Let f be 2/2 - 1 - 0. Suppose -3*l + 2 = -l, f = 5*j + 2*l - 27. Suppose -2*r + 25 = j*v - r, -31 = -4*v - 3*r. Is 2 a factor of v?
True
Suppose -12*o + 72 = -96. Is 13 a factor of o?
False
Let t(u) be the third derivative of u**5/60 + u**4/24 - u**3/6 + u**2. Is 2 a factor of t(2)?
False
Let w(l) be the second derivative of l**5/20 + 2*l**4/3 + 3*l**3/2 + 5*l**2/2 - l. Let t be 12/14*(-1 + -6). Is w(t) a multiple of 23?
True
Let d be (-2)/1*1/2. Suppose -3*p = 3*w + 15, 0 = -4*w - 3*p + 1 - 18. Does 2 divide w/d + -2 + 4?
True
Let s be 1 + 0 + -1 - 0. Let t = 5 + s. Is t a multiple of 2?
False
Let c be -1 - (-100 - 0)/(-2). Let t = 137 + c. Let f = t - 55. Does 12 divide f?
False
Is 15 a factor of 6/(-30) - (-416)/5?
False
Let l = -112 - -163. Is l a multiple of 10?
False
Let d = -20 - -14. Let j = 28 + d. Is 11 a factor of (j/2)/1 + 0?
True
Let r(j) = -j**2 + 20*j - 19. Is 7 a factor of r(15)?
True
Let u(r) = r**2 + r. Let h(n) = -3*n**2 - 3*n. Let j(v) = -4*h(v) - 11*u(v). Let f be j(0). Does 6 divide (-8)/3*(f - 3)?
False
Suppose -o + 4*o = 36. Is 12 a factor of (-219)/(-18) + (-2)/o?
True
Let h = -12 + 20. Suppose 0 = -4*o + h*o - 32. Does 5 divide o?
False
Let l be 1/((-8)/(-12))*-10. Let s(k) = -k - 1. Let w be s(0). Does 13 divide 10/l*42*w?
False
Suppose 5*h = n + 13, h = n + 2*h - 5. Suppose -n*g + 22 + 50 = 0. Is 12 a factor of g?
True
Suppose 2*s = 4*n + 60, n - 15 = 4*s - 100. Let l = s - -4. Does 7 divide l?
False
Suppose 0 = -3*g - 2*q - 12 + 73, -5*g - 4*q = -99. Suppose -2*l + a = -g, -3*l - 3*a = -4*a - 35. Is l a multiple of 9?
False
Suppose j - 15 = n, j - 4*n - 27 = -0*j. Suppose -5*f + 3*f - 5*q = -j, 0 = -5*f - 2*q + 17. Is 3 a factor of f?
True
Let l be 15*-4*22/(-12). Suppose 3*g = 7*g - 5*q + 113, 2*q - l = 4*g. Is (-492)/g - 2/9 a multiple of 14?
False
Let h be (-1 + 4/3)*3. Suppose m - r = -8, -3 - h = 4*m + 3*r. Is 8 a factor of 6*(-6)/m + -1?
True
Let m(x) = -x. Let q be m(5). Let r = 8 + q. Suppose -2*o + r*s + 36 = 0, -s - 52 = -4*o - 0*s. Is o a multiple of 12?
True
Let t = -1 + -3. Suppose 2*v = 5*v + 9. Does 5 divide t/(-10)*v*-10?
False
Is 3 a factor of 53/17 - (-8)/(-68)?
True
Let k = 4 + -1. Let r(y) = -k*y - 4 + y - 2. Is r(-7) a multiple of 4?
True
Let w(o) = o + 6. Let g be w(-5). Is g + 1 + -2 - -7 a multiple of 6?
False
Suppose 2*a - 3 = 3. Suppose d = a*u - 2*d, 5*u + 5*d + 50 = 0. Is 8/20 - 38/u a multiple of 6?
False
Suppose a - 6*a + 34 = -2*i, 0 = -3*a + 3*i + 24. Suppose -26 = -2*g - a. Is 6 a factor of g?
False
Let b(p) = 2*p**2 + 9*p - 2. Does 12 divide b(-10)?
True
Is 897/27 + ((-21)/(-27) - 1) a multiple of 4?
False
Let k(l) = l**2 - 4*l - 1. Let b be k(5). Let z = 17 + -9. Suppose -u = b - z. Is u a multiple of 4?
True
Let m(y) = 7*y - 2. Let f(k) = k**2 + 5*k - 4. Let p be f(-6). Is m(p) a multiple of 9?
False
Does 33 divide 192 + (30/26 - (-6)/(-39))?
False
Does 3 divide (1 + 0)/(3/51)?
False
Let u(d) = -3*d**2 + 5*d + 20. Let s(c) = -c**2 + c. Let n(q) = -4*s(q) + u(q). Is 4 a factor of n(0)?
True
Let m = -6 - -11. Suppose -g + 3 = -m. Is g a multiple of 3?
False
Suppose 5*p + 2*a = 3*a + 187, a + 2 = 0. Does 13 divide p?
False
Is (-1)/2 - 99/(-6) a multiple of 16?
True
Suppose 5*b + 120 = 595. Is b a multiple of 19?
True
Let q(p) be the third derivative of p**6/120 + 11*p**5/60 + p**4/4 + p**3/3 + 4*p**2. Does 11 divide q(-10)?
False
Let c be 396/6 + 2 + 1. Suppose -4*l + 0 = 2*f - 24, 4*f - c = -l. Does 9 divide f?
True
Suppose -5*j + 235 = 50. Let y = -19 + j. Is y a multiple of 18?
True
Suppose -3*q = q. Suppose q = 4*o + 6 - 62. Is 13 a factor of o?
False
Suppose -91 = -2*q - 39. D