ivide l(2)?
False
Let f be (-57)/(-21) - (-2)/7. Let w(i) = -2*i - 2 + i**3 + i + 6*i**2 + f. Is 3 a factor of w(-6)?
False
Let r(i) = i - 5. Let h be r(7). Suppose 0*c = -h*c + 34. Is c a multiple of 16?
False
Let j be -2 - ((-2)/(-1) - -2). Let m(p) = -2*p - 5. Is m(j) even?
False
Let h(r) = -r + 20. Is h(-5) a multiple of 2?
False
Let m be ((-4)/5)/((-5)/25). Suppose m*a - 25 = 3*a. Is a a multiple of 10?
False
Suppose -r = 3*o - 48, 4*o + o = 3*r - 158. Let c = -15 + r. Is 12 a factor of c?
True
Suppose 7*u = 9*u - 26. Let q = 18 - u. Suppose k + 4*x - x = 0, -8 = k + q*x. Is 8 a factor of k?
False
Let n(i) = -5*i - 5. Let h be -8 - ((-3)/(-1))/3. Is 23 a factor of n(h)?
False
Suppose -2*f - 2*f = -56. Is f a multiple of 7?
True
Suppose -3*q - 4*w + 17 = 0, -q = -3*q + 5*w + 42. Does 5 divide q?
False
Let d(v) = -v**3 + 3*v**2 - 1 - 3*v**2. Let k be d(-1). Suppose 2*s - 32 = -k. Is s a multiple of 8?
True
Let d = 3 + -5. Suppose -3*n - 16 = v, -2*n - 3*n - 5 = 0. Is v*(-1)/(-2)*d a multiple of 5?
False
Suppose 0 = -3*t + m + 77, 3*t + m + 0*m - 79 = 0. Let y = t + -17. Does 7 divide y?
False
Let u(s) = 19 + 0*s - 13 + 5*s + s**2. Is 14 a factor of u(-9)?
True
Let a be (-10)/(-35) + 4/(-14). Let g(l) = a + 5*l**3 + 2*l**3 - 1. Does 3 divide g(1)?
True
Let c = 4 + -2. Let d be 4/(-2 - (-8)/c). Suppose -4*w + 3*t + 2 = -2*w, -8 = -w - d*t. Is 2 a factor of w?
True
Let f = -193 + 333. Is 14 a factor of f?
True
Let c = 1 + 3. Suppose -5*t - 82 - 37 = -c*q, -3*t - 165 = -5*q. Does 18 divide q?
True
Suppose -4*v + q = -q + 2, 4*v = -4*q + 28. Does 2 divide v?
True
Let k(w) = -w**3 - w**2 - 1. Suppose -5 = -5*z + 5*d, 4*d = 5*z - 0*z - 6. Suppose -z*o = o + 9. Does 17 divide k(o)?
True
Let d(r) = 4*r**2 + 6*r - 18. Is d(5) a multiple of 14?
True
Let l = -21 - 25. Let z be (-10)/45 - 596/(-9). Let b = z + l. Does 10 divide b?
True
Let d(w) = 2*w + 4. Let z be d(-5). Let s be (38/(-4))/((-1)/z). Let l = 86 + s. Is 10 a factor of l?
False
Let y(v) = -8 + 4 + 0*v**2 - v + v**2. Is 3 a factor of y(-3)?
False
Suppose -2*l = 2*o - 46, 0 = l + 4*o - 0*o - 26. Is l a multiple of 4?
False
Suppose 4*r - 16 = -3*p, -3*r + 0*r + 7 = p. Suppose -p*i = -175 + 11. Is 19 a factor of i?
False
Let o(f) be the first derivative of -f**4/4 + 4*f**3 - f**2/2 + 13*f + 3. Let t be o(12). Let h = t - -4. Is 5 a factor of h?
True
Let x(b) = 40*b + 4. Suppose -i + 0 + 2 = 0. Is x(i) a multiple of 28?
True
Let h(z) = -2*z. Let f be h(-9). Suppose 2*d + f = 3*d. Is 9 a factor of d?
True
Suppose -5*c + 6 = -3*c. Suppose 4*p = -5*o + 218, -2*p + c*p - 46 = 3*o. Does 26 divide p?
True
Let q(u) = -u**3 - u**2 - 4*u - 13. Is 18 a factor of q(-6)?
False
Let q = -38 + 58. Suppose -5*o + q = 0, -5*i + o + 2*o = -118. Is i a multiple of 8?
False
Let j(h) = h**3 + 5*h**2 + h - 1. Let m(z) = 4 - 4*z - 4 + 3*z. Let o(q) = j(q) + 4*m(q). Is 12 a factor of o(-4)?
False
Is (2/5)/(1/310) a multiple of 11?
False
Let k(v) = 42*v - 6. Does 24 divide k(3)?
True
Let z(i) = -1. Let f(y) = y + 3. Let j(h) = f(h) + z(h). Let u be j(0). Suppose 9 + 5 = u*c. Does 2 divide c?
False
Let p = 30 + -15. Is 6 a factor of p?
False
Suppose -5*p + 3 = 18. Let g = p + 9. Is 6 a factor of g?
True
Suppose 12*z - 8*z = 32. Is 8 a factor of z?
True
Let i(n) = -n**3 + 3*n**2 - 1. Let m be i(2). Suppose 3*z = -c + 17, -5*z = c - m*c - 32. Does 6 divide z?
True
Let d(c) = -c + 2. Let w be d(-3). Suppose -5*m = -k - 118, -m - 62 = -4*m + w*k. Does 8 divide m?
True
Suppose 5*u - 4 = 3*u. Suppose -u*g - 3*g + 310 = 0. Is g a multiple of 20?
False
Suppose 5*q + 4*v = 3*v + 48, 2*q - 3*v = 26. Is q a multiple of 10?
True
Let y(z) = -2*z**3 - 4*z**2 + 1. Is 10 a factor of y(-5)?
False
Let c(i) = i**2 - 5*i - 6. Let m be c(8). Let o = m - -10. Is o a multiple of 14?
True
Let b(n) = 10*n**2 + 3 + 7*n + 5 + 27*n**3 - 28*n**3. Let k be b(10). Is 3/12 - k/(-8) a multiple of 8?
False
Suppose -336 = -10*r + 3*r. Is r a multiple of 17?
False
Suppose -2*l = -4*x + 360, -3*x + 253 = -2*l - 17. Is 16 a factor of x?
False
Let t = -33 - -55. Suppose -t = -3*b - 4*s, -5*b + 3 = -5*s + 13. Is -2 + 1 - (-28)/b a multiple of 13?
True
Suppose -8*n = -3*n - 610. Is n a multiple of 15?
False
Let a = 9 - 6. Suppose 15 = 3*l - 0*l, 0 = -2*s - a*l + 49. Is 17 a factor of s?
True
Let m be (-1 + 1)*(1 - 0). Suppose 2*y + 102 = 3*f, -2*y + 3*f - 4*f - 118 = m. Let c = -17 - y. Does 19 divide c?
False
Let t = 9 - 7. Let r(d) = -t + 7*d - d + d + 3*d**2. Is 19 a factor of r(-5)?
True
Let a be (-1 + 4)*60/9. Let i be (-2)/(-4) - (-6)/(-12). Let q = a - i. Does 7 divide q?
False
Let t = -3 - -3. Is 13 a factor of (t + 1)*(10 - -3)?
True
Let z(t) = -t**2. Suppose 8 = -4*a - 0*g + 3*g, 5*g = 0. Let d be z(a). Does 16 divide d/4*(-15 - 1)?
True
Let q(d) = 45*d**2 - 5*d + 5. Let n(u) = -22*u**2 + 2*u - 2. Let t(o) = -5*n(o) - 2*q(o). Let p be t(1). Suppose 8 = 4*a - p. Is a a multiple of 7?
True
Suppose -3*z + 200 = 4*l - 161, -4*z - 164 = -2*l. Is l a multiple of 9?
False
Let g = 5 - 3. Suppose -s - 9 = -k, -s + g*s = 2*k - 20. Is 9 a factor of k?
False
Let d(i) = i**3 - 8*i**2 + 6*i + 2. Let c be d(7). Let g(n) = -2*n - 4*n + 3*n + 3. Does 9 divide g(c)?
True
Let x = 14 + -8. Suppose 2*n - x - 2 = 0. Suppose -77 = -n*m + 4*k + 15, -116 = -5*m + 4*k. Does 12 divide m?
True
Suppose -4*d - 19 = 13. Suppose -2*b + 16 = l, 2*l + 4*b - b = 27. Is 6 a factor of (-68)/l*12/d?
False
Suppose -2*j + 1 - 5 = 0, 2*p = 4*j + 44. Is p a multiple of 7?
False
Let c(u) = 7*u**3 + 2*u**2 + 2. Is c(2) a multiple of 6?
True
Suppose 0 = 5*d - 3*z + 2, 3*d + d + 5*z = -9. Let q = d - -15. Does 14 divide q?
True
Let l = 29 - 24. Let i be 14/6 - 2/(-3). Suppose -i*s + 110 = -0*s + l*u, -5*s = -5*u - 210. Does 11 divide s?
False
Suppose -k = -t - 1, -2*t - 6 = -0*k - 4*k. Suppose 2 = -2*x + 2*u, 5*u - k - 1 = 4*x. Let v(o) = -2*o**3 + 4*o**2 + 4*o + 3. Is v(x) a multiple of 9?
True
Let g(j) = 2*j**2 + 6*j + 3. Let r(h) = -h**2 + 9*h - 12. Let o be r(8). Is 11 a factor of g(o)?
True
Suppose -5*y + 42 = -3*y. Is 15 a factor of y?
False
Let j be 1/(((-4)/3)/(-4)). Suppose j*z + 72 = 7*z. Does 7 divide z?
False
Let y = 28 + -24. Is y a multiple of 4?
True
Let t = 4 + -1. Does 11 divide 124/3 + (-1)/t?
False
Let s = -2 - -5. Suppose 44 = -s*w - j, -2*w + 5*j - 60 = 3*w. Let u = w - -22. Is 5 a factor of u?
False
Let t = 35 - 27. Suppose 4*x + 9 = -11. Does 2 divide (t/(-10))/(2/x)?
True
Is (5/25 + -3)*-55 a multiple of 20?
False
Suppose 0 = w - 20. Suppose 13 = g - w. Is 11 a factor of g?
True
Let g(s) be the first derivative of -3*s**2/2 - 3*s + 1. Let z be g(-2). Does 12 divide 59/z + 2/(-3)?
False
Let f = -4 + 7. Suppose -f*t = 13 - 64. Is 9 a factor of t?
False
Suppose 0 = -h - 1 + 6. Suppose k - 4*t - 52 = -3*k, 0 = h*k + 2*t - 93. Is 8 a factor of k?
False
Let d(w) = -17*w - 2. Let o be d(-4). Let j = o + -38. Is j a multiple of 14?
True
Let t(u) = 38*u + 1. Let h be t(1). Suppose -n - h = -4*n. Does 5 divide n?
False
Suppose 12 - 172 = -5*v. Suppose -3*n - n = 5*r - 94, -2*r + v = -4*n. Is 12 a factor of r?
False
Suppose 5*s + 0*s = -45. Let c(p) = p**3 + p**2 + 4*p - 2. Let u be c(-5). Is u/(-6) + (-6)/s a multiple of 8?
False
Let i(t) be the first derivative of -1/4*t**4 + 2*t**2 + 2 - 4*t + 7/3*t**3. Is i(4) a multiple of 21?
False
Suppose -4*s + 2*b - 162 = 0, -s - 23 = -0*b + 3*b. Let n = 80 + s. Is n a multiple of 21?
True
Let o(g) = g**3 + 0*g**2 + 6*g**2 - 5*g**2 + 4*g - 7 + 6*g**2. Let s be o(-6). Let i = s + 5. Does 9 divide i?
False
Let s(d) = d**2 - 9*d - 4. Is s(-5) a multiple of 33?
True
Suppose t + 0 - 5 = 0. Let l(q) = 2*q - 7. Let h be l(t). Suppose k - 2*k = -5*d + 105, -103 = -4*d - h*k. Is d a multiple of 9?
False
Is 18 a factor of (118/(-6))/((-1)/3)?
False
Let d(q) = -14*q. Does 9 divide d(-2)?
False
Is 16 a factor of (-46)/(-1) + (-34)/(-17)?
True
Let m(o) = 0 + 18 - o**2 + o + 12. Let p be m(0). Is (p/8)/((-5)/(-20)) a multiple of 6?
False
Let s(k) = k**2 - 16*k + 2. Let u be s(15). Let y = 15 + u. Does 2 divide y?
True
Let z(x) = 4*x + 4. Let g be z(5). Suppose -4*b + 32 = -g. Is b a multiple of 8?
False
Suppose 2*t - 152 = 5*i - 400, 0 = -3*i - 2*t + 152. Is i a multiple of 16?
False
Suppose -4*u + 8 = -16. Let a(y) = y**3 - 7*y**2 + 5*y - 9. Let d 