x**2 + 11*x + 4. Let h be y(11). Suppose 0 = -4*f + h + 8. Suppose f*w - 13 = -4. Does 3 divide w?
True
Let g(z) = -z**3 + 2*z**2 + 5*z - 4. Let p be g(3). Suppose r = p*f + 37, 2*r - 5*f = 36 + 42. Does 29 divide r?
True
Suppose 13 + 7 = 4*h. Suppose q - h = 3. Is 4 a factor of q?
True
Suppose 0 = -t - k + 14, 5*t + k = -2*k + 74. Is 7 a factor of t?
False
Suppose -11 = s - 2*m, -4*s + 19 = -6*s + m. Is 18 a factor of s/12 - 438/(-8)?
True
Let v(s) be the second derivative of 3*s**5/4 - s**4/12 + s**3/6 - 3*s. Is v(1) a multiple of 13?
False
Let s(j) = 2*j**2 + 2. Let p be s(2). Suppose 0 = -n + 29 + p. Is 14 a factor of n?
False
Let a be 6*(3/(-6) - -1). Suppose -a*w - b = -35, -4*w - 2*b + 12 = -34. Is w a multiple of 6?
True
Let c be (4/6)/((-4)/(-6)). Let o(a) = -c - 2 + a**2 + 3*a + a**2. Is o(2) a multiple of 8?
False
Suppose 5*a + 15 = -5*g, -2*a + 4*g = 2*g - 6. Suppose 5*o - 67 - 13 = a. Is 15 a factor of o?
False
Let x(c) = c**3 - c**2 + 5*c - 5. Is 3 a factor of x(2)?
True
Suppose 0*a = 3*a + 12. Let y = 4 + a. Suppose -z = -y*z - 7. Is z a multiple of 2?
False
Suppose 0 = 2*g - 5*g + 6. Suppose -g*k - 114 = -338. Let r = k - 78. Is r a multiple of 14?
False
Suppose -4*y = -8*y + 40. Let f(s) = -s**2 - 5*s + 1. Let i be f(y). Let w = -104 - i. Does 15 divide w?
True
Let x(s) = 3*s**3 - 4*s**2 + 4*s - 3. Let k(m) = -5*m**3 + 8*m**2 - 8*m + 5. Let r(n) = 4*k(n) + 7*x(n). Let b be r(-5). Is 4/(-12) + (-146)/b a multiple of 13?
False
Suppose 0*k = -5*k + 325. Is k a multiple of 13?
True
Let c(t) = -t + 3*t**2 + 10*t - 5 - t**2. Let g = -13 - -6. Is c(g) a multiple of 15?
True
Let w(k) = -9*k**2 - 3*k. Let h(z) = -5*z**2 - z. Let q(j) = -11*h(j) + 6*w(j). Let c be q(7). Suppose c = i - 49 + 16. Is i a multiple of 13?
False
Suppose 5*h - g = -182, -g - 8 = -5*g. Let w = h - -54. Is w a multiple of 18?
True
Suppose 3*n = 6*n - 99. Suppose -n = -3*y - 5*c + 11, -y = -c - 28. Is y a multiple of 14?
False
Suppose 0*j - 10 = -5*h + 5*j, 0 = 4*h + 2*j - 8. Suppose p + 3*a = 40, a - 15 = -h*p + 40. Is 14 a factor of p?
False
Suppose -x - 96 + 3 = -5*s, 2*x = -5*s + 99. Does 16 divide s?
False
Let n = 106 + -6. Is 25 a factor of n?
True
Suppose -z = z - 132. Is z a multiple of 7?
False
Let y = -19 + 11. Let l(o) = -o**2 - 9*o - 8. Let u be l(y). Suppose -2*n + 3*j + 30 = u, 3*n + 2*j = 6*j + 44. Is n a multiple of 6?
True
Let h = 0 + -2. Let x(z) = -2*z**3 + 2*z + 0*z**3 - z**2 + 1 + z. Does 3 divide x(h)?
False
Let l(c) = 0*c + 13 - 6*c + 2*c + 3*c. Does 13 divide l(0)?
True
Let p(w) = -35*w - 1. Let c be p(3). Let s = -75 - c. Is s a multiple of 11?
False
Suppose 2 = 3*y - 4. Let q = 4 + y. Is (-36 - -6)*q/(-5) a multiple of 18?
True
Let m(d) = 23*d**2 - 3*d + 1. Let w(h) = h. Let f(b) = m(b) + 5*w(b). Does 11 divide f(-1)?
True
Let d(o) = -37*o**3 - o. Let x(q) = 0 + 0*q**2 + 4*q**2 + 5*q + 3 - 3*q**2. Let n be x(-4). Does 19 divide d(n)?
True
Let h be (4/(-12))/((-1)/6). Let o be ((-22)/(-3))/(h/3). Suppose j - 8 - o = 0. Is 14 a factor of j?
False
Is 3 a factor of (2/6)/((-6)/3132*-6)?
False
Suppose 15 = l + 2*l. Let j = l + -4. Suppose -j = 2*a - a, 2*x = 3*a + 37. Is x a multiple of 13?
False
Let z be (-424)/10 + (-9)/15. Let j = -12 - z. Does 12 divide j?
False
Let a be (78/15)/((-4)/(-10)). Suppose g = 2*g - a. Suppose 0 = 3*c - 2*c - 2*b - g, 4*c - 78 = -5*b. Does 6 divide c?
False
Let f(t) = t**3 - 10*t**2 + 10*t + 3. Does 6 divide f(9)?
True
Let c = 3 + 0. Suppose 2*l = 3*q - 4*q + 33, -4*q - c*l = -127. Does 9 divide q?
False
Let k be (-27)/(-6)*6/3. Let o = k + -2. Is o a multiple of 3?
False
Let z be -3 - 6 - 0/(-1). Let w = z - -5. Let t = w + 12. Does 7 divide t?
False
Let q(k) = -k**3 - 7*k**2 - 6*k - 2. Let u(x) = 4*x**3 + 28*x**2 + 25*x + 9. Let y(i) = -9*q(i) - 2*u(i). Is y(-6) a multiple of 4?
True
Let q = -41 + 101. Does 20 divide q?
True
Suppose -2*g - 2 = -8. Let p = 6 + g. Does 8 divide p?
False
Suppose 0*d + 2*d - 100 = 0. Suppose 3*v + 3*p = -2*v + 42, -5*v - 5*p + d = 0. Is 3 a factor of v?
True
Let f(a) = a - 6. Let n be f(7). Let d be (72/20)/(n/(-5)). Let x = d - -54. Is 18 a factor of x?
True
Suppose 0 = 8*d - 5*d - 6. Let k be ((-1)/1 - -3)/1. Is -11*k*d/(-4) a multiple of 9?
False
Suppose -9*v = -7*v - 36. Is v a multiple of 6?
True
Let k = -59 - 31. Is (16/3)/((-6)/k) a multiple of 29?
False
Suppose 252 = -18*w + 27*w. Does 14 divide w?
True
Let c be (-2 + 5)/(-3 - -2). Let n = c + 25. Is n a multiple of 11?
True
Let a(g) = -g**3 - 4*g**2 + 4*g - 1. Let t be 1/(2/(-20)*2). Let k be a(t). Let b = 10 - k. Is 3 a factor of b?
True
Let d = -3 - -3. Let g = 63 + d. Let j = g + -41. Does 12 divide j?
False
Suppose 2*j = -3*o + 181, -3*j + 107 = 3*o - 166. Is 23 a factor of j?
True
Suppose 0*p = 5*p. Suppose v - 25 = -p*v. Is v a multiple of 17?
False
Suppose r = 3 + 9. Is r a multiple of 3?
True
Let j(a) = -2*a**2 + a + 125. Is j(0) a multiple of 25?
True
Let y = -7 - -9. Suppose y*r - r + x - 8 = 0, 2*r + 4*x = 8. Is 7 a factor of r?
False
Suppose o - 40 + 1 = 0. Is 26 a factor of o?
False
Suppose -4*h + 148 = -4*b, 40 + 35 = 2*h - b. Does 19 divide h?
True
Does 13 divide (-10)/4*2028/(-65)?
True
Let p(l) = l**2 + l - 4. Let b be (-2 - -1) + (1 - 8). Let t be p(b). Let a = t + -37. Does 6 divide a?
False
Suppose -2*t = 2*t - 32. Suppose 0 = -v - t + 2. Let i(f) = -f**3 - 7*f**2 - 9*f - 3. Does 15 divide i(v)?
True
Is 4 a factor of (-33)/(-11) + 91 + -2 + 2?
False
Suppose 2*u + 8 = 2, 2*n + 4*u = 12. Let b = 18 - n. Does 2 divide b?
True
Let l = 123 - 36. Is 28 a factor of l?
False
Suppose 1 = -3*f + 64. Is f a multiple of 7?
True
Let j = -11 - -19. Let b = j + -19. Let n(i) = -i**3 - 12*i**2 - 15*i - 9. Does 12 divide n(b)?
False
Is 3 a factor of 2241/21 + -2 + (-22)/(-77)?
True
Let x(c) = c**2 - 4*c + 3. Let b be x(3). Suppose -q + 3*w - 4 = b, -5*q + 0*q + 35 = -4*w. Does 4 divide q?
False
Suppose -2*u = 5*b + 82 - 328, 0 = -2*b - 4*u + 108. Is 13 a factor of b?
False
Let m be 3 - 0 - (-9)/(-1). Let r be -3 - m - (-1)/(-1). Let a = 3 + r. Does 4 divide a?
False
Let r(b) be the third derivative of -3*b**4/4 + b**3 + 7*b**2. Is 10 a factor of r(-3)?
True
Let t be -5*(1 + (-16)/10). Suppose t + 1 = -z. Let r(q) = q**2 + 2*q - 1. Is 7 a factor of r(z)?
True
Suppose 2 = -2*c - 4*d + 3*d, -4*c - 3*d = 4. Let y be (-2 + -7 + c)/(-2). Suppose 15 + 25 = y*s. Is s a multiple of 8?
True
Let p = -7 - -11. Does 5 divide (63/(-6))/((-3)/p)?
False
Let z be (6/8)/(2/40). Suppose -3*d - z = -8*d. Is d even?
False
Let j(h) = h - h - 3 + h. Let m be j(3). Suppose 4*o + m*o = 28. Is 7 a factor of o?
True
Let k = 1 - -5. Suppose -4 = 2*z - k*z. Does 14 divide -5 - -3 - -16*z?
True
Let w = -3 + 6. Suppose 0 = -w*j + j. Suppose 3*y = -4*m + 28, j = -3*y + m + 2*m. Is 2 a factor of y?
True
Let v(z) be the third derivative of z**7/168 - z**6/720 + z**4/24 - z**2. Let c(d) be the second derivative of v(d). Is c(1) a multiple of 7?
True
Suppose 6*z + 280 = 10*z. Is 10 a factor of z?
True
Let c be 0 - -2 - (-3 - 0). Suppose c*p + 220 = 3*a + a, -2*a - 5*p + 80 = 0. Suppose a = 2*q - 14. Does 16 divide q?
True
Let d = -43 + 71. Let b = 43 - d. Is 5 a factor of b?
True
Let j(w) = 25*w - 3. Is 18 a factor of j(7)?
False
Suppose -p - 4*f = 2*p - 15, 0 = 3*f - 9. Suppose w + 4 = 0, -2*w - p = -s + 5. Is 58/s*(-1 + 0) a multiple of 11?
False
Let d be 3 - (-4 - (1 - 3)). Suppose -5*v = -d*i - 35, v + 4*v + 2*i - 49 = 0. Is 6 a factor of v?
False
Let r(c) be the second derivative of -7/3*c**3 - 1/2*c**2 + c + 0. Is r(-1) a multiple of 13?
True
Let f = -64 - -132. Let t = f - 3. Suppose -5*g + t = -5. Does 9 divide g?
False
Let j be (6/2 - -1)/2. Suppose -3*l = -j*l - 14. Is 7 a factor of l?
True
Let w(n) = n**3 - n. Let q be w(1). Suppose 0*t + 2*t - 6 = q. Does 3 divide (t/(-1))/(-4 + 3)?
True
Let r(p) = p**2 + 5*p + 10. Does 6 divide r(-7)?
True
Let s = -144 + 233. Is s a multiple of 20?
False
Let j(y) be the first derivative of -1/2*y**2 + 24*y + 0*y**3 + 1/4*y**4 + 1. Is 12 a factor of j(0)?
True
Let z = 27 - -1. Is 7 a factor of z?
True
Suppose 3*p = 5*f + 13 + 18, p = -2*f - 8. Suppose j + 77 = -p*o + 6*o, -j + 85 = 5*o. Does 6 divide o?
True
Let i(c) = 3*c - 9. Let k be i(7). Let n(s) = 6*s - 12. Is n(k) a multiple of 12?
True
Let u(b) 