z) - 6*p(z). Is 14 a factor of t(-10)?
False
Let m(x) be the third derivative of 7*x**4/6 + x**3/3 + 3*x**2. Let r be ((-8)/(-10))/(2/5). Is m(r) a multiple of 26?
False
Let g be -30 - 1 - 0/(-2). Let n = -29 - -13. Let i = n - g. Does 5 divide i?
True
Let o(m) = -m**3 - 9*m**2 + 11*m + 5. Let b = -33 - -23. Let a be o(b). Let g = 8 + a. Does 3 divide g?
True
Let p(s) be the first derivative of -s**2/2 - 12*s - 4. Let o be p(-6). Does 12 divide 76/(-2 + (-2 - o))?
False
Suppose -3*z = -12, 7*z + 376 = 3*j + 2*z. Does 15 divide j?
False
Is 4 a factor of 3*(-2)/(-27) + 4880/72?
True
Let s = 13 - -3. Let m = 1 + s. Is m a multiple of 17?
True
Let g(f) = 8*f + 6. Let s be g(5). Let b = -26 + s. Does 7 divide b?
False
Let f(s) = -6*s**2 + 11*s + 1. Let i(b) = 3*b**2 - 5*b - 1. Let o(k) = k. Let g be o(5). Let p(v) = g*i(v) + 2*f(v). Does 11 divide p(-3)?
True
Let a(f) = f - 2. Suppose 7*r - 29 = 3*r + g, g = -r + 11. Does 3 divide a(r)?
True
Suppose -5*i + 128 = 3*j, -4*i = -i - 12. Suppose -j - 174 = -6*b. Is b a multiple of 6?
False
Suppose 5*w = -4*w + 126. Is w a multiple of 7?
True
Let p(c) = -c + 1. Let j be p(4). Let k = j + 18. Is 4 a factor of 3*(1 + k/9)?
True
Suppose 0 = -3*n + 2*n + 80. Suppose 2*w = -2*l + 26 + n, 2*w = 5*l - 230. Suppose 3*a + 0*a - l = 0. Is 16 a factor of a?
True
Let q(s) = -s - 11. Let g be q(-10). Is 20 a factor of (-5 + -42)*(g - 0)?
False
Suppose 2 = g - w, -5*w + 27 = 3*g - w. Suppose -i + 7 = 3*y + 3, -2*y - 20 = -g*i. Is i a multiple of 4?
True
Suppose -4*f - 17 = -185. Is f a multiple of 14?
True
Let a(h) = h. Suppose 5*o = 3*w + 54, 0 = -3*o + 2*o - 2*w + 16. Does 8 divide a(o)?
False
Suppose y - 6*y = -375. Is y a multiple of 16?
False
Suppose b = 2*b - 17. Let f = b - 12. Is (2 - 0)*f + -1 a multiple of 7?
False
Let v(g) = g**2 + 11*g + 15. Does 2 divide v(-10)?
False
Let a(k) = k - 1. Let m be a(-7). Let p = m + 4. Let u(c) = c**3 + 3*c**2 - 4*c + 2. Does 2 divide u(p)?
True
Let j(x) = x + 9. Let k be j(0). Is -8 + k + 1*20 a multiple of 6?
False
Suppose -6 = -2*q - 2. Let f be 200 - (-3 - 0) - -2. Suppose f = q*r + 3*r. Does 12 divide r?
False
Suppose -2*j - j = -9. Let l = 0 + j. Does 2 divide l?
False
Let w(o) = -4 + 2*o + o**2 + 2*o**2 - 3 - 2*o**2. Let b be w(5). Suppose 2*u + 3*q - b = 0, 3*u - q - q = 42. Is 7 a factor of u?
True
Let g be (-2 - (-150)/(-4))*-2. Suppose 4*x + 7 = g. Is 9 a factor of x?
True
Suppose 4*c - 3*o = 6*c - 533, 5*c + o = 1300. Does 37 divide c?
True
Let c be -2 + 1 + (1 - -2). Suppose 0*q + c*q = 70. Suppose 0*f - q = -f. Is f a multiple of 14?
False
Let u be (-2)/4 + 1/2. Suppose -2*b + 5*b - 48 = u. Is b a multiple of 5?
False
Suppose 2*h - 5*f = 23, -5*h + 2*f = -3*f - 80. Suppose 5*p - h = -4. Is p a multiple of 2?
False
Suppose -5*x + 2 = -2*b, -4*b = -2*b - 8. Suppose -k + 5 = 0, 2*t = -0*t - x*k + 18. Is 2 + 21/6*t a multiple of 8?
True
Let r(n) = n**3 + 7*n**2 + 6*n + 8. Let v(a) = -a - 3. Let d be v(3). Is 4 a factor of r(d)?
True
Suppose -2*n = -3*m + 16, -5*m = 4*n - 7 - 5. Suppose -m*o + 12 = 0, -2*l + 28 = -4*o - 0*o. Is 12 a factor of l?
False
Let m = 2639 + -1715. Does 17 divide m/27 + 6/(-27)?
True
Let d(x) = x. Suppose 3*r + 4 = r. Let s be d(r). Is 3 a factor of (6/(-12))/(s/12)?
True
Let o be (6/(-9))/(2/69). Let q = -8 - o. Is q a multiple of 10?
False
Let q be (-2)/(-3) + 1040/6. Suppose -g = 2*g - q. Suppose -43 = -4*h - z, -2*h - 2*h + 2*z + g = 0. Is h a multiple of 12?
True
Let j(m) = -m**3 - 10*m**2 - 5*m - 5. Is 35 a factor of j(-11)?
False
Suppose 0 = -2*w + 2*g + 12, -2*g + 0 = -w + 2. Let u(z) = -z**2 + 13*z - 11. Let v be u(w). Let o = v + 15. Does 17 divide o?
True
Let o(p) = -5 + 2*p + p**2 + 2 + 2 - 1. Does 11 divide o(4)?
True
Let x be ((-4)/3)/(2/(-126)). Suppose 4*c = 3*i + 2*i + x, c + 2*i - 21 = 0. Does 10 divide c?
False
Let n be 5 - 3 - -1*97. Suppose 6*d = -3*p + 3*d - n, 2*p - 5*d = -80. Let w = p - -49. Is w a multiple of 7?
True
Let m(k) = k**2 - 2*k + 3. Let c be m(2). Let d be (-2)/(-3)*c/1. Is d/(-6) + 39/9 a multiple of 2?
True
Let d(s) = 3*s**2 + 7*s - 5. Suppose 4*u = 3*p + 13 + 17, u - 3 = 0. Is d(p) a multiple of 20?
False
Let j(r) = 5*r**2 - 4*r - 1. Let g be j(3). Suppose 3*s + b - g = 62, 5*b = -4*s + 118. Is 8 a factor of s?
True
Let i(v) = 7*v**2 + 9*v + 1. Let p(g) = -10*g**2 - 14*g - 2. Let d(f) = -7*i(f) - 5*p(f). Let a be d(-7). Is -2 - (-24*1)/a a multiple of 3?
True
Let p = -62 - -179. Is p a multiple of 39?
True
Suppose r - 164 = -2*u, 0*r = 3*u + 2*r - 245. Is 10 a factor of u?
False
Suppose 0*a = 3*a - 36. Suppose -4*v = n - 24, -3*n = -4*v - 0*v + 8. Suppose 3*p - 2*h + 12 = 4*p, a = -2*p + v*h. Does 3 divide p?
False
Suppose i - 112 = -6. Is i a multiple of 10?
False
Suppose 2*a - a = 1. Suppose -f + 4*f - d = -11, -2*f - d + a = 0. Is (f - -20)*7/3 a multiple of 14?
True
Let k(a) = -a**2 - 9*a + 4. Let n = -6 - 0. Does 22 divide k(n)?
True
Let s = 24 + -6. Is 6 a factor of s?
True
Suppose -10 = -2*r + 5*x - 30, -4*r - 5*x = 100. Is 16 a factor of 2/(-5) + (-648)/r?
True
Let g(r) = r**3 + r + 21. Is g(0) a multiple of 7?
True
Suppose -1 = f + 7. Let k(c) = c**3 + 8*c**2 - c - 8. Let v be k(f). Suppose -4*w + v*m = 3*m - 81, m = -5*w + 115. Is w a multiple of 11?
False
Let h be ((-5)/4)/((-4)/16). Let z(c) = -c**2 + 4*c + 7. Let t be z(h). Suppose -x + 3*b + 3 = -16, 0 = t*x - b - 18. Is 7 a factor of x?
True
Let p = 15 + -11. Let t = p - -1. Suppose -5*n = g - 33, -15 = -t*n + 5*g - 0*g. Does 6 divide n?
True
Suppose 4*f = 3*f + 4. Suppose 3*i - 28 = -4*b, 12 = i - f*i. Is b a multiple of 10?
True
Let a = -22 - -43. Let w = a + -10. Is w a multiple of 7?
False
Let r = 89 + -42. Is r a multiple of 40?
False
Suppose 5*l + 4*d = 485, 0 = l - 4*l - 3*d + 294. Does 19 divide l?
False
Let p(u) = 21*u. Let w(z) = -z**3 + 3*z**2 - z - 1. Let c be w(2). Is 20 a factor of p(c)?
False
Suppose -2*q + 2*v - 10 = 0, -5*v + 14 = -2*q - 2*v. Suppose 3*w + 0*w = 30. Is -1 - q/2*w a multiple of 3?
False
Suppose -5*q - 21 = 3*r - 72, -r + 38 = 4*q. Does 5 divide q?
False
Let u(k) = 2*k**2 + 9*k - 9. Is 3 a factor of u(-7)?
False
Suppose 0 = n - 5. Let w(t) be the third derivative of t**6/120 - t**5/15 - t**4/6 + 2*t**2. Does 5 divide w(n)?
True
Let j be 153/(0 + (-9)/(-6)). Suppose 0 = 3*k - j - 30. Does 15 divide k?
False
Let v = 73 + -51. Does 6 divide v?
False
Suppose -5*l = -r + 4 + 10, -5*r + 5*l = -30. Let s = 77 - r. Does 17 divide s?
False
Suppose -3*x + 0*x - 6 = 0. Let i = 2 + x. Suppose 6 = c - 3*h, 4*h = -i*c + 3*c - 23. Is c a multiple of 5?
False
Let z(q) = q**2 + 10*q + 18. Does 2 divide z(-9)?
False
Let p(r) = -r**3 - 4*r**2 - r - 4. Let q be p(-4). Suppose 16 = 4*x - q*x. Is 4 a factor of x?
True
Let n(r) = r**3 + 2*r**2 + 5*r + 9. Does 11 divide n(5)?
True
Suppose 0 = d + 2 + 2. Is 16 a factor of 8/(-2 + 1)*d?
True
Let g = 80 - 42. Does 38 divide g?
True
Let a be -1 - 6/(-2) - 8. Does 7 divide (36 - -6)/(a/(-4))?
True
Let q(c) = 25*c**2 + 2*c + 1. Let y be q(-1). Suppose 0*z = -3*z + y. Is z a multiple of 8?
True
Let l(h) be the third derivative of 1/6*h**3 + 0 + 0*h - 1/4*h**4 + 2*h**2 - 1/60*h**5. Is l(-3) a multiple of 5?
True
Suppose 0 = -3*b + 2*m + 624, 5*b - 3*m + 627 = 1668. Is b a multiple of 11?
False
Suppose -2*o + 2 = -o. Let w be -5*(o - 2 - -1). Let n(z) = -4*z. Is n(w) a multiple of 10?
True
Is 2 + 48/(-22) + 422/22 a multiple of 5?
False
Suppose -4*m = -3*u + 225 + 153, 2*m = 3*u - 372. Is u a multiple of 10?
False
Let z = 3 + -2. Let n be (z/2)/((-2)/(-12)). Let t(s) = s**2 + 3*s + 4. Is t(n) a multiple of 13?
False
Does 3 divide (9/4)/((-385)/200 - -2)?
True
Suppose -126 = -6*d + 2*d + 2*p, 0 = 5*p - 25. Let c = d + -10. Does 6 divide c?
True
Suppose 181 - 59 = -4*w - 2*h, 4*w + 113 = -5*h. Let z = w + 56. Is 12 a factor of z?
True
Let r(b) = -b**3 - 11*b**2 + 10*b + 6. Is 10 a factor of r(-12)?
True
Let p = -10 + 4. Let g(k) = -2*k - 9. Let q be g(p). Suppose -4*f - 2*o = -198, -24 = -3*f - q*o + 132. Is f a multiple of 13?
False
Let i(g) = -g**2 - 6*g - 6. Let t be i(-4). Is t - (-6 + 3 - 50) a multiple of 12?
False
Let t = -72 - -30. Let b = -18 - t. Is 7 a factor of b?
False
Let o be 3 - (-120 - (3 + -1)). Suppose 5*i - o + 15 = 0. Is i a multiple of 11?
True
Let x(c) = 9*c - 3.