6*t**2 - 6*t - 1. Is 6 a factor of p(z)?
True
Let d(x) = 39*x**2 - 2*x - 1. Suppose 0*v - 3*f + 5 = -4*v, 5*v - 5*f + 10 = 0. Let l be 2/(-3) + v/(-3). Is d(l) a multiple of 20?
True
Let s(y) = 5*y**2 + y + 2. Is s(2) a multiple of 12?
True
Suppose 2*s - 7 = 175. Is 13 a factor of s?
True
Suppose 3*a = 759 + 267. Does 18 divide a?
True
Let l(r) = 6*r + 3. Let n be l(-2). Let m be (-3)/n*3 + 0. Is 14 a factor of m*-4*(-82)/8?
False
Suppose -4*z + 3*l - 8 = 0, 3*z + 6 = z + 2*l. Let b be ((-2)/2)/(0 - z). Let n = b - -3. Does 2 divide n?
True
Suppose -3*i - 221 = -8*i + 2*w, 3*i + w = 137. Is i a multiple of 13?
False
Let w = 13 - -5. Suppose 0 + w = h. Suppose 64 = 2*p + h. Is 12 a factor of p?
False
Let m(s) = -16*s**3 + 2*s**2 + 6*s + 4. Is 5 a factor of m(-2)?
False
Let z(v) = v**2 + 6*v + 5. Let f be 14/(-6)*6/2. Is 4 a factor of z(f)?
True
Is -5 + 84 + 2 + -2 a multiple of 31?
False
Let x = 46 - -6. Is 26 a factor of x?
True
Let l(a) = 5*a**2 - 3*a - 9. Is 12 a factor of l(-5)?
False
Let j(x) = -4*x**2 - 3*x + 1. Let d be j(2). Let z(g) = -26*g - 1. Let o be z(-2). Let r = d + o. Is 15 a factor of r?
True
Let j be 1 + (2 - 1 - -2). Suppose -p - 25 = -j*x, -2*x + 2*p + 5 = -3*x. Suppose 5*t + 2*h - 81 = 0, 33 = -x*t - 4*h + 110. Is 10 a factor of t?
False
Suppose -8 = -2*h + 2. Let c be 4/2 + 0/h. Suppose 8 = -0*p + c*p. Does 4 divide p?
True
Let k be ((-3)/6)/((-3)/12). Suppose -126 = -0*x - 2*x - k*g, -2*x - 3*g = -130. Let n = x + -25. Does 12 divide n?
False
Let t(o) = 2 + 3 + 1 + o. Let q be t(-3). Is 12 a factor of (-3)/(q/(-2)) - -13?
False
Suppose 0*b + 2*b - 28 = -y, -5*y - 36 = -b. Is 9 a factor of b?
False
Let r = 9 - 4. Suppose r*a = b - 40 + 1, -a = -3*b + 75. Does 12 divide b?
True
Let u(m) = 50*m**2 + 2*m + 2. Is 10 a factor of u(-1)?
True
Suppose 10*a - 5*a = -25. Let g(b) = -b**3 - 4*b**2 + 2*b - 1. Let f be g(a). Let p = f - 2. Is 6 a factor of p?
True
Let i(u) = 58*u. Let s be i(1). Let f = s - 25. Does 11 divide f?
True
Let u(c) be the third derivative of -c**5/60 + 5*c**4/12 + c**3/3 - 5*c**2. Let x be u(10). Suppose 5*a + g - 135 = -4*g, 15 = a - x*g. Is a a multiple of 16?
False
Let l = 6 + 2. Let p be (3 - 2)/(1/l). Is ((-4)/14)/(p/(-56)) even?
True
Let y be 1 + -2 + 14 + 2. Let m = 39 - y. Is m a multiple of 13?
False
Let i be 2 - -107 - (-2 + 2). Suppose -i = -5*t + u, 0*t + 2*t - 45 = -u. Is t a multiple of 11?
True
Let a = 9 + -6. Suppose -5*u = -4*f - 80, a*u + 5 = 2*f + 53. Is 8 a factor of u?
True
Suppose 3*d = -0*d. Suppose 8*v - 3*v - 20 = d. Let s(m) = m + 3. Does 5 divide s(v)?
False
Let t(b) = b**2 - 6*b - 10. Let a(p) = p. Suppose 5*s - 43 = -3*o, 0*s - o = -2*s + 15. Let y be a(s). Is 3 a factor of t(y)?
True
Suppose 5*p + 15 = -2*c, 8*p - 4*p = -12. Suppose c = -4*o - 4 + 12. Suppose d + 19 = 3*r - 1, o*d = -r + 16. Is 5 a factor of r?
False
Let y(k) = 2 + 3*k - k**2 + 5*k**2 - 5*k**2. Let h be y(3). Suppose 3*l - 16 = -h*u + 7*u, -3*l - 4*u + 52 = 0. Is l a multiple of 12?
True
Let x = -5 - -49. Is 6 a factor of x?
False
Suppose -2*a = -6*a. Suppose -5*o + 4*r + 18 = a, 5*o - 3*r = -r + 24. Suppose 2*n - o*v + 2*v = 68, -n + 13 = 5*v. Is 14 a factor of n?
True
Let p = -16 + 89. Is 12 a factor of p?
False
Let a(f) = -2*f + 3. Let d be a(3). Let w(p) = -5*p**2 + 2*p - 8. Let v(q) = 14*q**2 - 5*q + 23. Let h(g) = 4*v(g) + 11*w(g). Is 7 a factor of h(d)?
True
Let y = 29 + -17. Does 6 divide y?
True
Suppose -2*y + 380 = -6*k + 3*k, 0 = -4*y + 3*k + 772. Is y a multiple of 43?
False
Suppose 4*s = 5*z + 55, -4*s = -5*s + 3*z + 5. Suppose -1 + 9 = 4*k. Is (k + s/(-6))*-33 a multiple of 13?
False
Let i be 80/(-24)*6/(-5). Suppose i*d - 3*d - 15 = 0. Is 5 a factor of d?
True
Let k be 13/91 - (-586)/14. Let g be (2 + 1)*4/3. Suppose -3*d + 35 = 3*z - 43, g*z = -2*d + k. Is 8 a factor of d?
False
Let b = -6 + 4. Let t be (1 + 1)*-1*b. Is 3 a factor of t*(9/12 + 1)?
False
Let x = 34 + -18. Let y be x/(-20)*(-85)/(-2). Let z = 58 + y. Does 11 divide z?
False
Does 12 divide 57 - 2/((-8)/12)?
True
Suppose -2*p - 11 = -5*j, -3*j - 5*p + 13 = -6. Let q(u) = 4*u - 5*u**2 - u + 3*u**j - 8 - 2*u**3. Is q(6) a multiple of 16?
False
Let s = -32 - -75. Is 13 a factor of s?
False
Let h = 37 - 8. Is 3 a factor of h?
False
Let j be ((-4)/(-6))/(6/(-207)). Let g = j + 59. Is g a multiple of 12?
True
Suppose -9*l - 16 = -11*l. Is l even?
True
Let h(u) = 2*u**3 + u**2 - 1. Let f be h(1). Suppose w - v - f = -0*v, 4*v + 16 = 0. Is -22*w/4*1 a multiple of 11?
True
Suppose -o = -2*a - 2*o + 7, 4*o + 22 = 2*a. Suppose -2*x + 2 = -x, -f + 30 = a*x. Is 12 a factor of f?
False
Let v = 57 + -41. Is 16 a factor of (v/5)/(9/45)?
True
Let x(h) = h**3 + 10*h**2 - 13*h + 7. Let k be x(-10). Suppose 2*s = -53 + k. Is s a multiple of 8?
False
Let q be (2/(-5))/((-3)/15). Suppose 3*j + 2*c = -17, -q*j + 25 = -7*j - 5*c. Let k = 23 - j. Is 15 a factor of k?
True
Let z = 8 - 11. Let d = -9 - z. Let i(g) = -g + 2. Is 4 a factor of i(d)?
True
Suppose 3*y + y + 8 = o, 4*o - 5*y - 65 = 0. Is o a multiple of 10?
True
Let c(z) = -31*z + 1. Let f be (8/16)/((-2)/4). Is 16 a factor of c(f)?
True
Let x = -26 + 35. Is x a multiple of 3?
True
Let y be (-2)/(-6) + 38/(-6). Let w = y + 5. Does 4 divide -4*(2 + w + -2)?
True
Let l = -17 - -10. Let b(h) = h**3 + 7*h**2 - 2*h + 6. Does 11 divide b(l)?
False
Let q be 8/4*2 + -2. Suppose s - 35 = -o, -s = q*s - o - 97. Is 27 a factor of s?
False
Let h(q) = 2*q**2 + 3*q + 3. Let p = 11 + -10. Suppose 0 = -d - p - 1. Does 3 divide h(d)?
False
Suppose -4*a = -c - 37, 0 = 4*a + 3*c - 6*c - 31. Suppose 5*r = -a - 0. Does 10 divide (-3)/(-6) - 23/r?
False
Let b(m) = -5 + 6*m - 6*m + 10*m. Is b(4) a multiple of 13?
False
Let c(r) = -r**2 + 4*r + 10. Let b be c(5). Suppose b*a + 0*l = 4*l + 52, -2*a - 3*l = -7. Is a a multiple of 4?
True
Suppose -2*j - 764 = 2*j. Let n = j + 131. Let v = -33 - n. Does 9 divide v?
True
Let l(a) = 5*a + 2. Let p = 5 + 0. Let t be l(p). Suppose t + 17 = 4*u. Is u a multiple of 11?
True
Let o(c) be the second derivative of c**3/6 - c**2 - c. Let h be o(2). Suppose h*d = d - 17. Is d a multiple of 8?
False
Suppose 3*v - 3*t + 5*t - 88 = 0, 0 = 3*v + t - 92. Suppose -v = 4*n - 8*n. Suppose -k = 2*c - 39, -4*k = 4*c - 68 - n. Does 10 divide c?
True
Let p(h) = 2 - 2*h - 3*h**2 + 2*h + 6*h**3 + 2*h. Let s be p(2). Does 10 divide 2/(4/s) - 1?
True
Let k be (-1)/(-2)*4*-1. Let y = k - -5. Does 14 divide y/(9/132) + -2?
True
Suppose -5*o = -12 + 2. Is 11 a factor of 27*o*(-1)/(-3)?
False
Let n(g) = g**3 + 2*g**2 + g. Let w be n(-1). Does 10 divide (-1 + -7)*(-4 + w)?
False
Let j(o) = -4*o + 23. Let i be j(-21). Suppose 2*u + n = -7 + 19, 4*u - 5*n = -4. Suppose -u*m + 21 = -i. Is m a multiple of 11?
False
Suppose -4*f + 102 = -2*t, -4*t = f - 2*f + 15. Let j(n) = n**3 - 3*n**2 + n + 1. Let l be j(3). Suppose f = l*x - x. Is x a multiple of 9?
True
Let o be -1*(1 + 0)*17. Let g = o + 27. Is g a multiple of 10?
True
Let v be 4/14 - (-23)/(-7). Let i be 219/(-2)*2/v. Suppose -2*y + i = -33. Does 20 divide y?
False
Let b(w) = -w + 126. Let m be b(0). Suppose u = -2*u + m. Suppose 4*j = j + u. Is 7 a factor of j?
True
Suppose 0 = 7*t - 1558 - 59. Is t a multiple of 11?
True
Let f(w) = -9*w**3 + 4 - 4 + 2*w**3 + 2*w**2 - w. Does 22 divide f(-2)?
True
Is 15/((-13)/(-5) + -2) a multiple of 4?
False
Suppose -6*k = -3*k - 33. Is k a multiple of 2?
False
Let v(s) = 3*s - 2. Is 3 a factor of v(6)?
False
Suppose 0 = 7*u - 2*u - 25. Suppose -4*x + 197 - u = 0. Is x a multiple of 24?
True
Let g(w) = w**3 - 2*w**2 - w - 3. Let f be g(3). Suppose -5 - f = -2*k. Suppose 0*u - 4*u = 4*b - 48, -32 = -u + k*b. Is 8 a factor of u?
True
Let o = 835 + -466. Is o a multiple of 27?
False
Let k(f) = -4*f**2 - 4*f + 4. Let l(p) = 9*p**2 + 9*p - 7. Let n(d) = 7*k(d) + 3*l(d). Does 7 divide n(0)?
True
Suppose -2*g + 26 + 58 = 0. Is g a multiple of 7?
True
Is (-2)/6 - (2 + 813/(-9)) a multiple of 44?
True
Let d(f) = -f**2 - f + 205. Let k be d(0). Let m = k - 121. Is m a multiple of 28?
True
Suppose -5*v + 0*n = 2*n - 524, 3*v + n = 314. Is (v/(-10))/(2/(-5)) a multiple of 14?
False
Let o(s) = s**2 - 3*s + 2. Does 21 divide o(8)?
True
Suppose -a + 3*r + 10 = a, -4*r = 4*a. Suppose 2*y - 196 = -a*p + 98, -3*y = -p + 167. Suppose