**2 - 2*f. Is r(6) a multiple of 10?
False
Suppose 2*t - 3*t = 0. Let p be (t + (-1)/(-2))*4. Suppose -p*g = g - 114. Does 19 divide g?
True
Suppose -2*o = 5*o - 147. Does 8 divide o?
False
Let c(o) = o**2 + 13*o - 6. Does 14 divide c(5)?
True
Let s(i) = i + 19. Is s(6) a multiple of 10?
False
Let p = -184 - -354. Is 44 a factor of p?
False
Let z(j) = j**3 + 19*j**2 - 25*j - 18. Does 11 divide z(-20)?
False
Let c be (6/4)/((-9)/(-12)). Suppose -c*f - 2*f + 32 = 0. Is 4 a factor of f?
True
Let b(l) = l**2 - 2*l. Let y be b(2). Let s(i) = i**2 + i + 29. Let p be s(y). Suppose -k = 2*h - p, 8 + 7 = 3*k. Is h a multiple of 6?
True
Let v(z) = -6*z - 3. Does 17 divide v(-9)?
True
Does 9 divide (3 + -1)/((-1)/(-18))?
True
Let i be 1/(2 - (-1532)/(-768)). Let p = 271 - i. Does 24 divide p?
False
Let i be 6/4*1*70. Suppose -i = -5*p + 3*u, 0 = -5*p - 0*u - u + 105. Suppose 2*h - b = p, 0 = -3*h + 2*b + b + 36. Is h a multiple of 6?
False
Suppose -n + 418 = 5*c, 5*c = 3*c + 3*n + 157. Is 32 a factor of c?
False
Let o(t) = -3*t**2 - 2*t + 1. Suppose -4 = -4*z - 3*n - 0, 0 = 2*n - 8. Let r be o(z). Let b = 21 + r. Does 14 divide b?
True
Is 418/5 - -6 - 2/(-5) a multiple of 10?
True
Let x(b) be the third derivative of -b**4/3 - b**3/6 - 2*b**2. Is x(-2) a multiple of 6?
False
Let k(t) = 6*t**2 + 6*t + 679. Let i(n) = n**2 + n + 136. Let w(q) = -11*i(q) + 2*k(q). Let h be w(0). Is -3 + h*(-1)/2 a multiple of 23?
False
Let q = -321 - -529. Does 15 divide q?
False
Let i be (20/8)/(2/4). Suppose -2*w + 4*m + 90 = 0, 0*w - i*m = -w + 33. Does 19 divide w?
False
Let n be ((-336)/10 - 0)*-5. Does 9 divide 2/(-3) - n/(-9)?
True
Let b be (42/(-10))/((-2)/(-10)). Let n be 3/((12/309)/(-4)). Does 9 divide (-6)/b + n/(-21)?
False
Let s(u) = -4*u + 0*u**2 + 2*u + 4*u**2 - 2 + 3*u**3. Suppose 1 = x - 1. Does 13 divide s(x)?
False
Suppose 0 = z - 0*z - 9. Let u be (1/(-1))/(1/(-13)). Suppose u = 3*n - 0*f + f, -2*f - z = -n. Is n a multiple of 5?
True
Does 3 divide -3 + (-3 - -6 - -4)?
False
Does 11 divide ((200 - 4) + -1)*1/3?
False
Let s = -163 - -262. Does 11 divide s?
True
Let r be 11/3 - 4/6. Let w(h) = h**2 - 12*h + 4. Let u be w(12). Suppose u*k + 76 = 2*m, -5*m = -r*m + 2*k - 46. Is m a multiple of 14?
True
Is ((-105)/(-25))/(2/10) a multiple of 7?
True
Let n(b) = 7*b - b**2 + b**3 + 9*b**2 - b**2. Let a be n(-5). Does 9 divide (-36)/(-15)*a/2?
True
Let i(d) = 2*d**3 - d**2 - 5*d + 1. Is 23 a factor of i(4)?
False
Let g(x) be the first derivative of -11*x**4/24 - 5*x**3/6 + 2*x**2 + 2. Let j(b) be the second derivative of g(b). Does 10 divide j(-4)?
False
Let o = -4 - 8. Is 2/(-12) + (-686)/o a multiple of 22?
False
Is (-18)/45 + 264/10 a multiple of 16?
False
Let p(s) = s**3 - 8*s**2 + 2*s - 4. Is p(8) a multiple of 6?
True
Let t(z) be the third derivative of z**5/60 + z**4/24 - 2*z**3/3 + 2*z**2. Let j be t(-3). Suppose -h - k + 36 = 3*h, -j*h + 5*k = -40. Does 8 divide h?
False
Let g(b) = 19*b**2 - 3*b + 4. Is g(2) a multiple of 6?
False
Suppose -4*y - j + 125 = -6*j, 115 = 4*y + 5*j. Does 6 divide y?
True
Suppose -12 = -5*u + 18. Does 5 divide u?
False
Let p(i) = i + 15. Let d be p(-11). Suppose 3*z - 14 = -0*f - 2*f, -17 = -d*z - f. Is z even?
True
Suppose -s + 1 + 0 = 0. Suppose 6*f + s = 2*f - 5*h, -4*h + 4 = 4*f. Does 3 divide f?
True
Let u be 2/(-9) - (-2)/9. Let b(v) = 16*v + u + 4 - 9*v. Does 13 divide b(4)?
False
Let s = 4 - -13. Does 5 divide s?
False
Let q(k) = k**3 - 4*k**2 - 8*k + 4. Let u = -11 + 16. Let f be q(u). Is 11 a factor of 1*(1 - f) + -1?
True
Suppose -3*p = -2 - 16. Does 6 divide p?
True
Let c(i) = -3*i - 6. Let f be c(-4). Let x(z) = z**2 - 5*z - 2. Let a be x(f). Let g(j) = 2*j**2 - 2*j - 4. Is 10 a factor of g(a)?
True
Suppose 0*u = 3*u + 18. Does 3 divide (-4)/u - 84/(-9)?
False
Suppose 2*a - 5*m - 263 = 0, 2*m - 3 = 7. Is 36 a factor of a?
True
Let b(t) = 4 - 1 - 1 - 6*t. Is 13 a factor of b(-4)?
True
Suppose 2 = -f + 50. Is 16 a factor of f?
True
Let p = 8 - 3. Suppose p*x + 160 = 810. Suppose 0 = 4*s + 26 - x. Is 13 a factor of s?
True
Let t = 21 - 7. Let y be 8/(-28) - 640/t. Is (y/(-1))/(2/1) a multiple of 9?
False
Is 50 - ((-3 - -1) + -2) a multiple of 18?
True
Let f = 7 + -4. Suppose -2*i = -c + 32, -f*c + i + 112 = -4. Is 8 a factor of c?
True
Let z = 0 - 0. Let i be z*(-2)/6 - -3. Suppose i*s - 50 = -s + 5*g, 0 = s - g - 12. Is s a multiple of 5?
True
Let a be 0/(-4*1/(-2)). Let d = 16 + a. Does 8 divide d?
True
Suppose -5*m = 4*t - 1538, 318 + 597 = 3*m + 5*t. Is m a multiple of 62?
True
Let q(k) = k**3 + 7*k**2 - 4. Let a(t) = -2*t**3 - 6*t**2 + t + 3. Let y(r) = 2*a(r) + 3*q(r). Is y(9) a multiple of 12?
True
Let y = 19 + -10. Let u be 69/(-2)*(-6)/y. Is 3/(-4)*(3 - u) a multiple of 12?
False
Suppose -2*z + 0*z + 4 = 0. Suppose -3*u = m + z*u - 30, -5*u = -2*m + 75. Suppose 3*y - 7 = m. Is y a multiple of 14?
True
Let b be (-321)/(-15) + 2/(-5). Is 14 a factor of ((-40)/15)/((-2)/b)?
True
Let u(p) = -p**3 - 6*p**2 + 7*p - 2. Let w be u(-7). Suppose 4*d + d = -30. Does 4 divide w/(3/d + 0)?
True
Suppose 2*j - 13*j = -517. Is j a multiple of 15?
False
Let n(c) = -5*c - 2. Let p(v) = -4*v - 2. Let z(f) = 3*n(f) - 4*p(f). Let g be z(0). Suppose -r + 75 = g*r. Is 13 a factor of r?
False
Suppose -15 = 11*f + 194. Let s = 13 + -61. Let i = f - s. Does 13 divide i?
False
Let u(d) = -2*d**3 - 5*d**2 - 3*d - 3. Let q(p) = p - 3. Suppose -w - w = 0. Let l be q(w). Is u(l) a multiple of 15?
True
Suppose b - 3*l = 20, -3*b + 13 - 3 = l. Suppose 4*x + b = 13, 4*q - 30 = 3*x. Let c = 6 + q. Does 10 divide c?
False
Let p(s) = 20*s + 35. Let g(q) = 13*q + 23. Let k(w) = 8*g(w) - 5*p(w). Is k(5) a multiple of 12?
False
Let x be 9/4 - (-1)/(-4). Suppose 0*q = -x*q - 3*h + 436, -3*h = q - 221. Suppose q = 4*a + a. Does 17 divide a?
False
Suppose i - 8 = -i. Suppose -i = -q, -w - w - 16 = -5*q. Suppose -69 = -4*r - 3*y, -w*r - 2*y = -0*y - 32. Is r a multiple of 7?
True
Let f(z) = 2*z**2 + 8*z + 4. Let h(o) = -4*o**3 - 2*o**2 + 2*o - 1. Let j be h(1). Is 4 a factor of f(j)?
False
Let c = -31 - -47. Does 2 divide c?
True
Suppose w = -3*b + 6, -4*b = -b - 5*w - 6. Suppose b + 1 = -s. Is 2/6 - 5/s a multiple of 2?
True
Let f(l) = -47*l - 3. Is 4 a factor of f(-1)?
True
Let n = -322 + 512. Does 44 divide n?
False
Let m(z) = z**2 - 7*z + 5. Let j be m(6). Let r be j - (-4 + 2 + -1). Suppose -18 - 24 = -4*s + 2*c, -r*s = 2*c - 6. Is 8 a factor of s?
True
Suppose 3*q - 7*q - 20 = 0. Is 14 a factor of 21/6*(3 - q)?
True
Let u(o) be the second derivative of o**4/12 - o**3/3 - 7*o**2/2 - 4*o. Does 8 divide u(5)?
True
Suppose 5*p = -l + 14 - 1, -5*l + 123 = -4*p. Is l a multiple of 23?
True
Suppose -n - 7 = -5*j + 3, 0 = n - j - 2. Suppose -30 - 55 = -n*h. Is 6 a factor of h?
False
Suppose 2*h = h + 16. Is 8 a factor of h/(-10)*-1*5?
True
Is ((-9)/(-3) - -1)*(11 - -3) a multiple of 7?
True
Suppose -3*w = w - 20. Suppose w*o - 2*o = 36. Is 5 a factor of o?
False
Let d(u) = 0 + 6 + 8*u + 0. Is d(3) a multiple of 10?
True
Suppose 5*l + 0 = -4*o + 15, 5*l - 4*o = 15. Suppose 6 + l = -p. Does 10 divide 2/p - 218/(-9)?
False
Let u = -5 - -8. Suppose -n - u*n = -16. Suppose p + 6 = -3*h, 0 = -2*p + h - n*h. Is 3 a factor of p?
True
Suppose -4*o + 5*j = -32, o - 5*j - 7 - 1 = 0. Suppose -g - 5 + o = 0. Suppose -2*x + 17 = g*z, 2*z - 5 = -2*x + 11. Is 4 a factor of x?
False
Suppose 0 = -5*d - 5*a, -1 = -5*d + a - 5*a. Let h be ((-1)/(d/(-6)))/2. Suppose h*t - t = 48. Is t a multiple of 12?
True
Let g = -6 + 5. Let b(c) = 23*c**2 - c. Is b(g) a multiple of 24?
True
Let s(r) = 28*r - 1. Suppose -2*j = -2*g + j - 2, -g - 4*j - 1 = 0. Let b be (-3)/g - (4 - 2). Is 9 a factor of s(b)?
True
Let s(n) = 7*n**3 - n**2 + 2*n - 2. Is s(2) a multiple of 18?
True
Let j = 322 + -182. Is 10 a factor of j?
True
Let v(d) = d**3 - 9*d**2 + 6*d - 4. Is 11 a factor of v(9)?
False
Let v(f) = -f**3 - f**2. Let i be v(-1). Suppose -3*l - 4 + 16 = i. Does 3 divide l?
False
Let c be (-6)/10 - (-24)/(-10). Let p = c + -7. Let f = p + 21. Is 9 a factor of f?
False
Suppose 6*k - 15 = 15. Suppose -6*q + 27 = -k*q. Is q a multiple of 10?
False
Let v(z) = 8*z - 3. Let l(b) = -5*b + 1. Let k be l(-1). Let i be v(k). Suppose 4*q - i - 11 = 0. Does 7 divide q?
True
Let q(l) = l**3 + 5*l**