) = -2*h. Let c(x) = 3*x**2 + x + 10. Let b(j) = -4*j**2 - 2*j - 15. Let i(k) = -5*b(k) - 7*c(k). Let r be i(5). Is a(r) a multiple of 6?
False
Let c be 36/10 + 2/5. Let l(w) = -w**3 - 12*w**2 - 12*w + 4. Let i be l(-11). Suppose -c*p = 4*k - 140, 5*p - 2*p - i = 0. Does 10 divide k?
True
Suppose -4*w = -4*h + w - 81, -3*w - 16 = h. Let p = 0 + h. Is 19 a factor of 4 - 3 - 1 - p?
True
Suppose 0 = 5*h - 0*h - 975. Is h a multiple of 25?
False
Does 2 divide (-2)/4 - (-51)/6?
True
Suppose -66 = -s + 22. Suppose 4*c = -0*c + s. Does 11 divide c?
True
Does 10 divide 6192/84 + 4/14?
False
Is 0 + -4 + (-3 - -97) a multiple of 15?
True
Suppose 0 = u + 2*l - 11, -l + 64 = 4*u - 3*l. Is u a multiple of 15?
True
Let q = -19 + 143. Suppose 0 = -x, 2*x - x + q = 2*k. Does 31 divide k?
True
Suppose -3*f = -2*l - 49, 5*f - 4*l + 7*l - 69 = 0. Is 15 a factor of f?
True
Let t be ((-10)/(-4))/((-7)/(-238)). Suppose 5*y + 2*i = t, 3*i - 40 = -y - 2*i. Is y a multiple of 15?
True
Let a(g) = 20*g**2 - 5*g - 8. Is 29 a factor of a(4)?
False
Let b = -2 + 26. Is 6 a factor of b?
True
Suppose 0 = -g + 1 + 1. Let p = 7 + g. Does 5 divide p?
False
Suppose 4*z + 3*t = 107, 4*z - t - 4*t - 67 = 0. Let w be 6/4 + z/2. Suppose 0 = -5*h - w + 58. Does 7 divide h?
False
Let g(p) = p**3 - p. Let m be g(3). Is (m + 4)/(1/1) a multiple of 10?
False
Let t(q) = -q + 1. Let i(m) = m**3 + 3*m**2 - m - 1. Let k be i(-3). Let f be t(k). Does 11 divide 8 + 1 - f*2?
True
Suppose -5*k + 8 = -17. Suppose z + k*h = 45, -z = -2*z + 2*h + 31. Is z a multiple of 13?
False
Suppose -5 = -4*g + 499. Does 9 divide g?
True
Suppose g = 4*g - 225. Is g a multiple of 14?
False
Suppose -3*c - 6 = -5*c. Suppose -28 = -c*l - l. Is l a multiple of 7?
True
Suppose 2 - 4 = 2*h. Let u be (-3)/h - (8 + -204). Suppose -n + 42 = k - 4*n, 4*n + u = 5*k. Is 13 a factor of k?
True
Let m be 38/14 + (-4)/(-14). Let q = 0 + m. Suppose 2*y + q*y = 80. Is y a multiple of 8?
True
Suppose -4*r = r. Suppose r = -5*l + 2*l + 9. Suppose 0 = 2*w - l*w + 14. Is w a multiple of 6?
False
Let z = -23 - -6. Let n = 33 + z. Is n a multiple of 10?
False
Let g = -19 + 38. Let u = g + -13. Suppose -6 = -2*a - 2*y + u*y, 0 = -a + y + 7. Is a a multiple of 11?
True
Let s be (-5)/15 + (-39)/(-9). Suppose 0*x + s*x = 248. Is x a multiple of 27?
False
Let a(x) = -x - 2. Let s be a(-4). Suppose 0 = 2*r + s*b - 3*b - 19, 5*b - 15 = -r. Is r a multiple of 10?
True
Let f = 26 - 0. Let y = f - -28. Does 27 divide y?
True
Suppose 3*c + 2 = 29. Suppose -2*v - v = 5*z - 13, 3*v - c = -3*z. Does 2 divide z?
True
Suppose -140 = -5*i + 315. Suppose -s + i = -2*s. Let z = s - -128. Does 14 divide z?
False
Suppose 0 = -3*s + 4*x + 26, -2*x = -2*s + 3*x + 29. Is s + -1 - 78/(-6) a multiple of 14?
True
Let z(b) = -3*b - 4. Suppose 2 + 0 = m. Suppose -18 = v + m*v. Is 14 a factor of z(v)?
True
Suppose 0 = -4*a - z - 4*z + 6, 5*a - 2*z = 24. Suppose -a + 88 = 2*g. Is g a multiple of 21?
True
Suppose q + 4*f - 10 = 0, -3 = -q + 3*f - 0*f. Suppose -3*r - q = 0, 2*p = 3*p + 5*r + 7. Is 18 + (p - 2)*2 a multiple of 7?
False
Let h(b) = -b**2 - 12*b - 9. Let r be h(-11). Suppose -r*s - g - 4 = 0, 4 = 2*s + s - g. Suppose 5*q = -s*q + 120. Is q a multiple of 17?
False
Let d = -17 - -126. Is d a multiple of 14?
False
Let x(h) = h + 5. Let o be x(0). Suppose -p + 40 = w, -3*w + 185 = o*p - w. Is 11 a factor of p?
False
Let s(d) be the first derivative of -d**4/4 - d**3/3 - d**2/2 + 21*d + 7. Is s(0) a multiple of 7?
True
Let l(r) = -2*r - 3. Let g be l(-4). Suppose -2*x - g*h = -5*x + 47, 0 = x - 5*h - 19. Does 14 divide x?
True
Let q(f) be the second derivative of -f**4/12 - f**3 + f**2/2 + 3*f. Is q(-3) a multiple of 7?
False
Let k(u) = u**3 - u**2 + u - 1. Let w be k(1). Suppose s - 21 - 15 = w. Is 15 a factor of s?
False
Let c(j) = 125*j**2 - j + 2. Is c(1) a multiple of 21?
True
Suppose 2*i = 4*i. Suppose i*x - x = -15. Does 15 divide x?
True
Let w be ((-1)/(-2))/(3/(-174)). Suppose 3*a = 9, 8*k - 315 = 3*k - 5*a. Let d = w + k. Is 16 a factor of d?
False
Let h(o) = -4*o + 4. Suppose 5*l + 5 = -5*u, -5*l = -5*u + 16 + 19. Is 5 a factor of h(l)?
True
Is 18 a factor of -2*268/(-10) - (-16)/40?
True
Suppose j - 4*j + 204 = 0. Suppose -2*v = -w + 22, 0 = 2*w + w - 4*v - j. Is w a multiple of 5?
False
Let f(x) = -x + 2. Suppose 4*w = 4*r - 12, -w - 5*r + 8 + 7 = 0. Let a be f(w). Suppose a*q + 88 = 6*q. Does 11 divide q?
True
Let k(r) be the first derivative of -r**4/4 - 4*r**3/3 - r**2 - 3*r + 2. Is 5 a factor of k(-4)?
True
Let n(l) = -35*l - 5. Does 27 divide n(-4)?
True
Suppose -3*w + 8*p + 6 = 3*p, p = -3*w + 6. Suppose 4*k = -2*l, w*k + 6 = -0*l + 2*l. Does 17 divide l + -4 + 1 - -30?
False
Let h(q) = -2*q**3 + 3*q**2 - 2*q. Let n be h(2). Let a = n + 33. Is 11 a factor of a?
False
Let v(x) = -x + 4. Let g be v(0). Suppose -g*a + 5*a - 1 = 0. Is 14 a factor of (56/(-6))/a*-3?
True
Let o = -40 - -67. Is o a multiple of 9?
True
Let x be (0 - -1) + 3 + -2. Suppose 0 = -x*s + s + 4. Suppose -60 = -s*r - r. Does 6 divide r?
True
Let g(s) = -4*s**2 + 3*s + 5. Let d be g(6). Let b = -21 + d. Let p = -100 - b. Is p a multiple of 14?
True
Let w(l) = l**3 + 8*l**2 - 8*l - 16. Is 13 a factor of w(-6)?
True
Let n = -5 + 7. Suppose 2*d - 5*p = 33, -3*d + 105 = n*d - 5*p. Is 21 a factor of d?
False
Let k(j) = -j**2 + 7*j - 4. Let l be k(5). Is 2*13 - (l - 7) a multiple of 10?
False
Let j = 8 + -6. Suppose 4*t = j*t + 44. Does 19 divide t?
False
Let k be (-420)/(-5)*6/7. Is 18 a factor of (k/2)/((-4)/(-6))?
True
Let f = 39 - 3. Is 23 a factor of f?
False
Suppose j = 5*k + 26, 4*j + j + 5*k + 20 = 0. Is 10 a factor of j*31/1 + 3?
False
Is (-1 + -71)/(6/(-21)) a multiple of 28?
True
Let b = 42 + -74. Is 2 a factor of (b/4)/(-4) + 0?
True
Suppose -4*a + 18 = -2*a. Does 7 divide a?
False
Suppose 3*v = v + 80. Suppose 0 = 4*i + v - 108. Is 17 a factor of i?
True
Let s = -10 + 8. Let i(u) = -u**3 + 2*u**2 - 1. Let x be i(1). Is 7 a factor of ((-1 - s) + x)*20?
False
Suppose 4*p = -5*h - 456, 3*h = -2*h - 5*p - 460. Let m = -40 - h. Is m a multiple of 16?
True
Let l = -52 - -28. Suppose -4*a = 0, 5*a + 108 = 2*h + h. Let j = h + l. Is j a multiple of 12?
True
Suppose 6*t - 7*t + 16 = 0. Does 4 divide t?
True
Let y be (-14)/21 + (-16)/(-6). Suppose 5*b + a = -50, 0 = -y*b - 2*b - 3*a - 40. Is (0 - 10)*b/4 a multiple of 11?
False
Let v = 0 - 2. Let o = v + 2. Let a(g) = g + 23. Does 8 divide a(o)?
False
Suppose -70 = -4*u + 38. Is u a multiple of 3?
True
Let s be 5/(-10) + 27/2. Suppose p - 1 + 4 = 0. Let f = s + p. Is f a multiple of 5?
True
Suppose -5*w = -x - 24, 2*w - 2*x + 3 - 19 = 0. Suppose -m - w*m + 205 = 0. Let u = m - 9. Does 15 divide u?
False
Let q be (4/6)/((-3)/(-198)). Suppose 3*j - q = j. Does 8 divide j?
False
Suppose 0 = -2*x + f + 373, 0 = -3*x + 5*f - 6*f + 547. Does 12 divide x?
False
Let g = -130 - -166. Is g a multiple of 9?
True
Suppose 0 = 4*s + s. Suppose -2*z - 8 - 1 = k, 2*k - 22 = 4*z. Is 15 a factor of (29 - s) + k + 0?
True
Suppose -b + 29 = 6. Let f = b + -10. Is f a multiple of 6?
False
Suppose s - 19 = -2*p, -5*p + 5*s = 25 - 110. Let m be (1 + -1)*(5 + -4). Suppose -4*c + m*c + p = 0. Is c a multiple of 2?
False
Suppose -p - p = 2. Let o(n) = -12*n**3 + n**2 - 1. Is 6 a factor of o(p)?
True
Suppose -b - 128 = -5*b + c, 5*c - 42 = -2*b. Is 6 a factor of b?
False
Let s = -4 + 9. Suppose 11 + 14 = 5*l + s*b, 3*l + b - 19 = 0. Is 7 a factor of l?
True
Let v(g) be the second derivative of -g**5/20 + 7*g**4/12 - 5*g**3/6 - 5*g**2/2 - g. Is v(5) a multiple of 10?
True
Let f be ((-35)/(-2))/(5/(-10)). Let c = -21 - f. Does 12 divide c?
False
Let y = -140 - -236. Does 32 divide y?
True
Let x = 12 - 5. Let m(c) = c**3 - 8*c**2 + 7*c + 4. Let f be m(x). Suppose 0*s = -5*s + 4*h + 152, 5*s = -f*h + 128. Is 14 a factor of s?
True
Let a(h) = -h - 13. Let z be a(-7). Is 2 a factor of ((-12)/(-8))/((-3)/z)?
False
Let w(x) = -x**3 - 9*x**2 - 8*x + 2. Suppose -l - l = 16. Let u be w(l). Is 11 a factor of (8/10)/(u/55)?
True
Suppose 4*h - 3*g = 2*g + 860, 3*h - 676 = -4*g. Suppose 5*b + 5*z = h, 5*b = 2*b + 4*z + 97. Is 13 a factor of b?
True
Let q be 7/(((-3)/1)/(-3)). Let j(b) = b**2 + 3*b + 7. Is 17 a factor of j(q)?
False
Let d(w) = 8*w + 6. Let j be d(7)