2 - z - 1. Let h be b(-1). Let w = h - 21. Let o = 0 - w. Is 7 a factor of o?
True
Let s(h) = -h**2 + 5*h + 8. Let o be s(6). Suppose 7 + 17 = 2*m. Suppose o*w - m = w. Is 6 a factor of w?
True
Let t(z) = -z + 17. Let o be t(0). Suppose -3*m - o - 14 = v, -m - 2*v = 7. Let s = m + 21. Is 3 a factor of s?
False
Suppose n - 3*l = -8, -l = 2*n + l + 32. Let k = n + 72. Suppose -3*c + k = -u, -56 = -3*c - c - 4*u. Is 18 a factor of c?
True
Let v = 5 - -31. Is v a multiple of 6?
True
Suppose 72 = 7*g - 3*g. Is g a multiple of 2?
True
Let o = 15 + -4. Does 8 divide o?
False
Suppose 2*f - 4*f = -482. Does 19 divide f?
False
Let z(d) = d**3 + 12*d**2 + 12*d + 15. Is 3 a factor of z(-11)?
False
Suppose 0 = 3*h + 2*i + 4, 4*h - 3 = -2*i + i. Suppose 2*u - 3*k + 7 + h = 0, -u + 6 = 2*k. Suppose u = 5*w + 2*d - 109, -5*d + 52 = 5*w - 3*w. Does 9 divide w?
False
Let i = 8 + -19. Is 8 a factor of -3 - i/(11/30)?
False
Suppose -18 = -h - h. Is h a multiple of 3?
True
Suppose -h - 9 = 2*h. Let l = h - -3. Suppose l = -g - 2*g + 21. Does 3 divide g?
False
Suppose -d + 22 = -0*d - w, 2*d + 5*w - 58 = 0. Does 8 divide d?
True
Suppose 0*c + c + 446 = 4*k, -4*k - 4*c + 456 = 0. Suppose -4*l + o = -76, -3*l = 2*l + 3*o - k. Is 10 a factor of l?
True
Let b be (-16)/(-6)*(-36)/(-16). Let g be ((-4)/6)/(4/b). Is 1/g*(-23 - 3) a multiple of 10?
False
Let b(w) = 3*w**2 + 2*w - 7. Let a(s) = s**2 - 1. Let k(p) = -2*a(p) + b(p). Let i be k(-4). Suppose i*z - 21 = 120. Does 19 divide z?
False
Let i(k) = -10 - 23*k + 8*k - 12*k + 7. Does 17 divide i(-2)?
True
Suppose 3*p = -p + 8. Let y(z) = -3*z + 2. Let g be y(-2). Let c = p + g. Is 5 a factor of c?
True
Suppose 5*w - 3*i - 2*i - 210 = 0, 0 = 5*i + 10. Is 7 a factor of w?
False
Let p(j) be the third derivative of 0*j - 1/8*j**4 + 2*j**2 + 1/3*j**3 + 1/60*j**6 - 1/20*j**5 + 0. Is 8 a factor of p(3)?
False
Suppose 4*o = 2*o + 18. Suppose -3*m + 45 = o. Does 12 divide m?
True
Let b be 2*3/((-3)/(-61)). Suppose 12 - b = -5*q. Does 19 divide q?
False
Let p be (-9)/(-6)*2 + 0. Suppose p = -o + 6. Suppose -195 = -o*k - 2*k. Is k a multiple of 13?
True
Suppose o = 6*o + 120. Let j(m) = -7*m. Let t be j(5). Let s = o - t. Is 11 a factor of s?
True
Suppose 3932 = -3*o - 4*x, -4*o - 6556 = o + 4*x. Does 15 divide o/(-44) - 4/(-22)?
True
Let i be 1 - 51/(-6)*2. Suppose -4*x + 34 = -i. Does 13 divide x?
True
Let q(y) = -y + 10. Let f be q(6). Suppose -5*x = -f*t - 122, -t + 41 = 5*x - 3*x. Is 7 a factor of x?
False
Does 6 divide (2 - (-58)/(-8))*-4?
False
Let k = -3 + 28. Does 7 divide k?
False
Let h(r) = r**2 - r + 4. Let o be h(0). Let w = o - 0. Suppose -w*y + 18 + 26 = 4*k, -y + 19 = 5*k. Is 9 a factor of y?
True
Suppose 2*b - 3*g = -32, -6*b + g = -2*b + 64. Let j = -10 - b. Suppose 3*c + 15 = 0, -5*c + 3 - j = u. Is 7 a factor of u?
False
Let w(x) = -3*x**2 + 2*x - 1. Let g = 3 + -5. Let u be w(g). Let f = 41 + u. Is f a multiple of 12?
True
Let q(r) = 7*r**2 + 3 + 4*r - r**3 - 12*r**2 + r**2. Does 6 divide q(-5)?
False
Let r(c) be the first derivative of -c**4/4 + 14*c**3/3 + 2*c**2 + 19*c - 6. Is 25 a factor of r(14)?
True
Suppose -2*k + 32 = -0*k. Is k a multiple of 12?
False
Let l be 0*2/(-4) - 2. Let t = 7 - l. Is 4 a factor of t?
False
Let o(c) = 10*c**3 + 4*c - 30. Let z(i) = 3*i**3 + i - 10. Let a(v) = -2*o(v) + 7*z(v). Let d be a(0). Let b = 15 + d. Is 3 a factor of b?
False
Let c(g) be the third derivative of g**6/120 - 3*g**5/20 - g**4/6 - g**3/2 - 3*g**2. Is c(10) a multiple of 20?
False
Let c(p) = p**3 - p**2 + 2*p - 3. Let w be c(2). Let s = w - -19. Is s a multiple of 12?
True
Let t = 14 + -9. Is t a multiple of 5?
True
Suppose -6 = -4*x + 34. Is 5 a factor of x?
True
Let w = -81 + 86. Does 2 divide w?
False
Let z(u) = -3 - 2 - 2*u + 9. Let f(b) = -6*b + 11. Let w(v) = 3*f(v) - 8*z(v). Is 4 a factor of w(-7)?
False
Suppose 2*p = 4*p. Let v(q) = q + 18. Is v(p) a multiple of 16?
False
Let w = 16 - 13. Is 3 a factor of w?
True
Let n(v) = 90*v**3 - v. Does 15 divide n(1)?
False
Let t(j) = -8*j + 26. Is t(-5) a multiple of 3?
True
Suppose 0 = -p - 0*p + 10. Suppose 4*y + p = 2*t + 2*y, -t = -2*y - 10. Suppose t = -3*j + 5*d - d + 66, -5*j = 5*d - 110. Is j a multiple of 11?
True
Does 6 divide ((-250)/(-7))/1 + 26/91?
True
Does 20 divide (-84)/35*(-100)/6?
True
Suppose 0 = 5*v - 3*v - 56. Let n be (2/3)/(2/21). Suppose -3*t - n + v = 0. Is 7 a factor of t?
True
Let o be 3/(-2)*(-40)/12. Let q be o/(-10) - (-6)/4. Suppose -t - q = -2*f - 4*t, 5*t = 2*f - 41. Is f a multiple of 8?
True
Let j(m) = m**3 + 9*m**2 + 3*m - 14. Does 13 divide j(-8)?
True
Suppose 3*k + 4*d - 5 = 0, -4*k - 3*d - 2*d = -6. Let x be (2 + -4)/(3/(-6)). Is 5 a factor of 14/x*(k + 3)?
False
Let m(j) = -j**3 + 8*j**2 - 7*j + 3. Let h = -5 - -12. Let c be m(h). Suppose -c*o - o = -12. Is 3 a factor of o?
True
Suppose -9 = 2*k + k. Let v = 46 + -10. Does 3 divide ((-1)/2)/(k/v)?
True
Suppose 3*v + 9 = 3*k, -4*k - v + 6 = -21. Let q be 26/4 - k/4. Suppose -6*p + q*p + 4 = 0. Does 2 divide p?
True
Let c(y) = y**3 - 14*y**2 + 12. Is c(14) a multiple of 12?
True
Let b be 58/(-18) + 8/36. Let o(y) = -y**3 - 4*y**2 - 3*y + 2. Let w be o(b). Suppose 3*q - 2*c = 42, -w*c + 5*c = 0. Is 12 a factor of q?
False
Suppose -4*b - v = -39, 4*b + 0*v + 4*v - 48 = 0. Let r = b + -6. Suppose 92 = r*y + y - 4*d, -3*y + 39 = 3*d. Is 6 a factor of y?
True
Suppose 15*j - 15 = 10*j, 303 = 2*t - 3*j. Is 13 a factor of t?
True
Let r be 1/(-6) + 10/(-12). Is 14 a factor of (-14)/(-1) - (r - -1)?
True
Suppose 3*z - 282 - 243 = 0. Is 18 a factor of z?
False
Let u(y) be the third derivative of y**4/24 + 3*y**3/2 + 2*y**2. Let d be u(-7). Suppose -d*n + 9 = 1. Is 3 a factor of n?
False
Let i(t) = t**3 - t**2 + t + 16. Is 8 a factor of i(0)?
True
Let h(v) = -7*v**3 + 2*v**2 - 2*v - 2. Does 16 divide h(-2)?
False
Suppose g + 332 = 5*g + 2*u, 248 = 3*g + u. Suppose 0 = -2*y - 71 - 37. Let f = g + y. Does 14 divide f?
True
Let a be 38/14 - 6/(-21). Suppose -5 = r + 2*y, 0 - 3 = 3*r + a*y. Suppose -r = -4*o + 41. Is 11 a factor of o?
True
Suppose 5 + 10 = 5*d. Suppose 5*r = d*k - 10 - 17, -2*k + 20 = -4*r. Is 9 a factor of (-27)/(r/4*2)?
True
Suppose -5*n = -63 - 37. Suppose n = 3*p - 1. Does 7 divide p?
True
Suppose -4*q = -2*m - 6 + 80, -3*q = -3*m + 48. Let z = q + 9. Is 5 a factor of (-1*2)/(-2) - z?
False
Let p be 6/(-9)*-2*3. Is 11 a factor of p/18 + (-259)/(-9)?
False
Let p = -60 + 89. Suppose -4*w - 1 = -p. Does 17 divide 2/7 + 250/w?
False
Suppose 158 + 373 = 3*s. Does 9 divide s?
False
Let p(t) = -2*t + 6. Let f be p(7). Let c = f + 11. Suppose c*u + 11 - 104 = 0. Is u a multiple of 15?
False
Suppose -4*y - 8 = -0*y. Let c be 0*y/(-4)*2. Suppose c = -4*z + 11 + 13. Is 5 a factor of z?
False
Suppose 6 = -a - 23. Let v = 45 + a. Does 4 divide v?
True
Let q = -4 + 6. Suppose 19 - 107 = -q*w. Does 22 divide w?
True
Let s(t) = -t - 39. Let a be s(0). Let l = 68 + a. Does 13 divide l?
False
Let q(a) = 6*a - 36. Is 18 a factor of q(21)?
True
Suppose 4*p - k + 117 = -20, 103 = -3*p + k. Let x = p + 15. Let t = 38 + x. Is t a multiple of 14?
False
Let f(x) = x + 2. Let s(u) = 2*u + 6. Let m(v) = -11*f(v) + 4*s(v). Let q be m(7). Let y = q + 30. Is 4 a factor of y?
False
Let n be -61*(-1)/(-2)*-4. Suppose -5*v + n = -48. Is v a multiple of 17?
True
Let x(k) = 9*k**3 - 2*k**2 + k. Does 4 divide x(1)?
True
Let w be (10/4)/(-5)*0. Suppose w = t - 2*t + 3*x + 56, 5*t + 2*x - 195 = 0. Let h = t + -25. Is h a multiple of 8?
True
Let r be (3/6)/(-1)*-34. Suppose 3*h + 0*h - 9 = 0. Suppose -h*u = -43 - r. Is 7 a factor of u?
False
Let l be 28/12 + (-1)/3. Let o be 80/12 + l/6. Suppose 4*d - 31 = -o. Is d a multiple of 3?
True
Suppose -9 = -2*y - 0*y - g, -y - 4*g + 8 = 0. Let b be (-4)/14 - 825/(-21). Suppose c - 4*r + 9 = 0, y*c + 0*r - r - b = 0. Is 11 a factor of c?
True
Let c(b) = -b**2 + b + 11. Let w be c(0). Let q = 1 + w. Is 4 a factor of q?
True
Let u be (0 + -1)/((-5)/105). Let g be ((-182)/u)/((-4)/6). Let n = -2 + g. Is n a multiple of 3?
False
Let l be (-82)/(-4) - (-3)/(-6). Suppose l = 4*a - 4*q, 8 = 3*a - 2*q - 8. Does 3 divide a?
True
Suppose 0*x - 4*x - 8 = 0. Let f = x - -3. Is 4*((-30)/(-8) + f) a multiple of 7?
False
Suppose 546 = 3*c + 5*g - 2*g, -2*c - 4*g + 374 = 0. D