of h(-1)?
False
Let l(r) = 7*r - 6. Let v(z) = z - 1. Let b(u) = l(u) - 6*v(u). Let i be b(-2). Let p(j) = -9*j. Is p(i) a multiple of 8?
False
Suppose -3*m - 202 = -4*w - 6*m, -m + 258 = 5*w. Is w a multiple of 25?
False
Suppose -6*n + 7*n = 3. Suppose -5*b + n*t + 162 = 8, -4*b + t = -119. Does 29 divide b?
True
Suppose 4*j = 5*n - 142, -3*j + 156 = -0*n + 5*n. Let d = -11 + n. Is d a multiple of 16?
False
Let t(x) = 5*x**2 + 7*x - 4. Let v(g) = 6*g**2 + 7*g - 5. Let n(p) = 7*t(p) - 6*v(p). Let m be n(7). Let y = m - -10. Is 10 a factor of y?
False
Suppose -3*h + 4*s + 29 = 0, 3*h + 2*s - 6 = 11. Is 13 a factor of (-14)/h + 11*5?
False
Suppose -3*c + 0*t = 4*t - 61, 3*t = -4*c + 72. Let w = c - -2. Does 4 divide w?
False
Let c be 6/(-18)*15/(-1). Suppose -b = -c*i - 20, 0*i = -b + i. Let m = 24 + b. Is m a multiple of 11?
False
Let y = 337 + -225. Is y a multiple of 28?
True
Does 13 divide 656/10*2*(-10)/(-8)?
False
Suppose 0 = 2*p - 3*p + 13. Is p a multiple of 13?
True
Suppose -18 - 18 = s + 4*d, 9 = -s + 5*d. Is 22 a factor of 110/(-4)*s/15?
True
Suppose 8 = d - 2*k, d - 2*d + 5*k + 14 = 0. Let p(r) = -r**3 + 2*r - 1. Let t be p(1). Suppose t = d*a - 90 - 46. Does 17 divide a?
True
Suppose 5*z + 7 = 22. Suppose -z*j + j = -38. Is 14 a factor of j?
False
Suppose 0 = -7*m + 6*m + 40. Is m a multiple of 20?
True
Suppose 2*f + 2*s = 4*f, 2*f - 3 = s. Let b = f + 20. Does 23 divide b?
True
Let v be 3/(-12) + (-106)/(-8). Let t = 85 - v. Let p = t + -40. Does 16 divide p?
True
Let f be 9/7 - (-2)/(-7). Let j be (1 + -1)/(f*-1). Is 4/(2/13 - j) a multiple of 13?
True
Let w(f) = 7*f**2 + f + 2. Let o(y) = -15*y**2 - 2*y - 5. Let d(q) = 4*o(q) + 9*w(q). Is 8 a factor of d(-2)?
True
Suppose 2*k - 737 = -9*k. Suppose 3*i - w - 5 - 3 = 0, -w = -1. Suppose -s + c + k = i*s, -2*s - 3*c + 51 = 0. Does 5 divide s?
False
Suppose -4*u = q + 26, 24 = -3*u - 2*q + 2. Let s = u + 8. Suppose s*x = 5*x - 72. Is 17 a factor of x?
False
Let z be (-6 + 2)/(0 - 2). Is 15 a factor of (-1 - (-1 - z))*28?
False
Suppose -5*m = -5*c + 40, -3*c - 6*m + m - 16 = 0. Let a(i) = -i**2 + 0*i - 3 + i**c + 2*i + 7. Does 14 divide a(3)?
True
Let w = 15 + -5. Suppose w = -4*s - 5*x, 4*s + x = -3*x - 8. Suppose k - 4*k + 129 = s. Is 17 a factor of k?
False
Suppose 5*t - 3*m + 14 + 29 = 0, 5*t + 2*m + 38 = 0. Is 5 a factor of (0 - -2)/((-2)/t)?
False
Let f(h) = h - 2. Let y be f(3). Does 22 divide (-22)/(y/(-2) - 0)?
True
Suppose 2*s - m = 15, 3*s - 29 + 1 = -4*m. Suppose -5*i + 83 = s. Does 11 divide i?
False
Suppose -15 = -4*t - 3. Let d be (-11 + -4)*7/t. Let c = 49 + d. Is 14 a factor of c?
True
Suppose 3 = 3*r - 0, 2*p - 11 = 5*r. Is 8 a factor of p?
True
Let l = 28 - 14. Suppose -3*f = -f - l. Does 2 divide f?
False
Let h = 15 - 7. Let q = h - 6. Suppose 0 = 2*r - q*x - 30, -71 = -5*r + 3*x - 2*x. Is 14 a factor of r?
True
Let t = 129 + -39. Does 10 divide t?
True
Suppose 1 = -4*k + 73. Suppose 0 = -58*j + 57*j + 73. Suppose 5*s - j + k = 0. Does 3 divide s?
False
Let r = 9 - 9. Suppose r = 4*d - 3*t - 93, -2*d - 2*d - t = -81. Is 7 a factor of d?
True
Suppose -6*t = -2*t - 32. Let r = 13 - t. Is 5 a factor of r?
True
Let t be -2 + -5 + 6/3. Is 12 a factor of t + 47 + 4/(-2)?
False
Suppose d = -5*s + 13 + 29, -5*d - s = -210. Does 6 divide d?
True
Let b(v) = v**3 + v. Let t be b(1). Let r be 2/(3*t/180). Suppose 48 = 4*f + 4*i, 2*f - 3*i = -f + r. Is 16 a factor of f?
True
Let x(w) = w**3 - 8*w**2 + 7*w - 4. Let h be x(7). Let j(p) be the first derivative of 2*p**3/3 + 7*p**2/2 + 4*p - 1. Is 4 a factor of j(h)?
True
Suppose 3*r - 2*r = 0. Let l(u) = -u**3 - u**2 + u + 75. Let p be l(r). Suppose v + p = 5*t - 4*v, -v = 4*t - 40. Does 11 divide t?
True
Let f = 20 + -14. Suppose f*k - 200 = k. Is k a multiple of 31?
False
Let y(h) = -h**2 + 8*h - 4. Let a be y(7). Suppose t + 13 = m, 0 = -2*m - 0*m - a*t + 31. Is 4 a factor of m?
False
Suppose 111 = 3*k - 3*d, k + 2*d = d + 37. Suppose -w = -2*o + 8 + 30, k = o - 5*w. Is o a multiple of 17?
True
Let l be (-36)/(-12) + (-4 - -1). Let x = 61 - 37. Let b = x - l. Is b a multiple of 12?
True
Suppose -2 = -9*c + 10*c. Suppose -5*x - 4 + 29 = 0. Let r = c + x. Is r a multiple of 3?
True
Let y(l) = 18*l - 11. Let n(w) = 9*w - 5. Let u(g) = 11*n(g) - 6*y(g). Let z be u(-9). Suppose -7*c = -3*c - 4*p - z, 20 = c + 2*p. Is 16 a factor of c?
False
Let f(n) = n**2 + 3*n + 6. Let l = 4 + -7. Does 3 divide f(l)?
True
Let l be 1/6 + 444/(-72). Is 3/l - (-58)/4 a multiple of 14?
True
Let x be 0 + (2 - -3) - 2. Suppose 0 = 4*q - m + x*m - 6, -4*q - 5*m - 9 = 0. Is q a multiple of 2?
True
Suppose 2*u = 8 + 26. Let s(a) = a**3 + 5*a**2 - 2*a - 7. Let t be s(-5). Suppose t*k + 9 = 2*p, -2*p - k = -5*p + u. Is p a multiple of 6?
True
Does 31 divide (27/18)/((-3)/(-248))?
True
Let b(v) = v**3 - v**2 + 3*v + 3. Let k be b(-3). Let t = 101 + k. Is 13 a factor of t?
False
Let f(x) = x**3 + 15*x**2 - 46*x - 29. Is 15 a factor of f(-17)?
False
Let h(f) = -14 + 23 - 20 - 9*f. Is 11 a factor of h(-6)?
False
Let w(p) = 5*p - 3. Suppose 3*q - 21 = -0*q. Let b be w(q). Let i = 5 + b. Is 14 a factor of i?
False
Let a be (-1 - -1) + 2*1. Suppose -2*i + 2*f = -5 - 11, a*i + f = 22. Is i a multiple of 3?
False
Suppose -u = -6 + 1, -5*j = -u - 175. Does 12 divide j?
True
Suppose 168 = -4*c + 2*a, c + 47 = a + 2*a. Suppose -p + r + 5 = 4*r, 3*p + 3*r = -9. Let o = p - c. Is 9 a factor of o?
False
Let h(p) = 6*p**2 + 11*p + 8. Let o be h(-7). Suppose 2*u - o = -3*u. Does 15 divide u?
True
Suppose -3*r = r - 12. Let c = -3 + 8. Suppose 3*y - 62 = 5*g, -r*y - c*g + 50 = 2*y. Is 14 a factor of y?
True
Suppose 5*o + 112 - 627 = 5*p, 5*o - 508 = -2*p. Is 40 a factor of o?
False
Let f(q) = 6*q**2 - 1. Let j be f(1). Suppose 4*o + 5*b - 62 = -17, j*b - 40 = -3*o. Suppose -5*s + 3*s = 4*c - 82, 0 = o*s - 2*c - 181. Is 16 a factor of s?
False
Let x(d) be the second derivative of d**5/20 - 5*d**4/12 + 4*d. Let l be x(5). Suppose l*c = -c + 11. Is 7 a factor of c?
False
Suppose 11 = -x + 45. Suppose -x - 74 = -3*z. Is z a multiple of 12?
True
Suppose -45 = -m - 2*m. Suppose m = p - 5. Is p a multiple of 20?
True
Suppose 0 = -a + 5*a - 16. Suppose -2*r = 4*n + r + 12, -2*r = -a*n + 8. Suppose 3*h - 5*h + 50 = n. Is h a multiple of 13?
False
Is 13 a factor of 3/12 - (-311)/4?
True
Let f = 8 - 8. Suppose 0 = -f*b - 5*b + 95. Is 8 a factor of b?
False
Let h(s) = -2*s - 21*s - 2*s. Let r(m) = m**3 - 4*m**2 + 3*m - 1. Let z be r(3). Is h(z) a multiple of 11?
False
Suppose 4*u = -u - 4*n + 74, 3*n + 30 = u. Is u a multiple of 18?
True
Let l(q) = 7*q**2 - q. Let t be -3*(-10)/12*2. Suppose 0 = t*w - 2 - 8. Does 13 divide l(w)?
True
Suppose 3*o + 2*o - 20 = -q, -q + 5*o - 10 = 0. Suppose -4*b + 4*z = 0, -3*z - 4 = -5*b + 2. Suppose q*f - b*s - 6 = 0, 2*f - 2*s + 3 = s. Is 2 a factor of f?
False
Suppose 0 = -0*c - 3*c + 246. Is 21 a factor of c?
False
Let o = 7 + -1. Suppose f + 55 = o*f. Let p = f - -19. Is 15 a factor of p?
True
Let w = 23 + -10. Suppose -2*c - w = -3*c. Is 7 a factor of c?
False
Let g = -39 - -62. Is 14 a factor of g?
False
Suppose 0 = -l - 3*l - 4. Let h = 15 + l. Does 4 divide h?
False
Let w(i) = -i**3 - i**2 - i - 3. Let d(v) = -2*v**2 - 2. Let g(y) = 3*d(y) - 2*w(y). Let b(k) = -k**2 + 7*k + 3. Let f be b(7). Is g(f) a multiple of 24?
True
Let n(w) = -w**2 - 23*w - 44. Does 38 divide n(-15)?
True
Suppose -10 = b + 4*b - y, -5*b - 2*y - 10 = 0. Let h(x) = -2*x**3 - x**2 + 2. Is 8 a factor of h(b)?
False
Is 11 a factor of 0*(3 - 2) - -36?
False
Suppose -5*g = -s + 6, s = -g + 4*g + 4. Let t = g + -2. Is (-5 - -8)/((-1)/t) a multiple of 4?
False
Let q(d) = d + 10. Suppose 0 = 7*s - 2*s. Is q(s) a multiple of 10?
True
Let i = 81 + -39. Let x = i - 30. Is x a multiple of 4?
True
Suppose 25*x - 72 = 21*x. Does 3 divide x?
True
Is 11 a factor of 176/(-3 + 7) + 0?
True
Let r(x) = x**3 - x**2 - x. Let p(c) be the third derivative of c**6/30 - c**5/15 - c**4/6 + 2*c**3/3 + c**2. Let z(g) = p(g) - 3*r(g). Does 3 divide z(0)?
False
Suppose 5*a + 672 = 3*v, v + 20*a - 23*a - 224 = 0. Is v a multiple of 28?
True
Suppose 0 = x + 2. Is (10/8)/(x/(-16)) a multiple of 3?
False
Let m(o) = 8*o**2 - 2*o - 4. Does 13 divide m(3)?
False
Let m(a) = -a. Let k be m(3). Suppose 0*y = -