ple of 10?
False
Let y(o) = o**3 + 3*o**2 + o + 1. Let b be y(-2). Suppose 0 = 3*x - x - 5*q - 13, 0 = -3*q - b. Is 2 a factor of x?
True
Suppose -4*u - o + 0*o - 131 = 0, u + 38 = -2*o. Let n = 63 + u. Suppose -4*x = -25 - n. Does 8 divide x?
False
Let o(v) = 2*v**2 - 8*v - 10. Is o(8) a multiple of 9?
True
Let z be (-4 + 0 + -1)/(-1). Suppose h + 20 = z*h. Suppose -w - 3*r + 0 + 16 = 0, -h*w = -5*r - 120. Is w a multiple of 10?
False
Suppose -2*m - f = -6*f + 11, -4*m = -f + 13. Let i(z) = 0*z + 4*z**3 - 3*z + 2*z**2 - 3*z**3 + 3. Is 3 a factor of i(m)?
True
Suppose -2*c = -3*r + 8*r - 69, -4*r + 168 = 4*c. Is c even?
False
Let r = 342 - -114. Is r a multiple of 24?
True
Let n(x) = x**3 - 8*x**2 + 11*x - 6. Is n(7) a multiple of 16?
False
Suppose 3*m - 139 = -2*o, 3*m = 2*o + 2*m - 135. Is 33 a factor of o?
False
Let j(f) = f**3 - 10*f**2 - 10*f - 5. Suppose -2*q + 18 = -2*o, 3*o - 3 = 3. Is 3 a factor of j(q)?
True
Let x be (0 + 10)*(-3)/(-2). Suppose -x + 3 = -3*h. Is 3 a factor of (h - 2) + (-1 - -6)?
False
Suppose -109 = 5*l + 241. Let a = l + 121. Let q = 73 - a. Is 11 a factor of q?
True
Let f = -16 + 26. Suppose -x - 6 = -4*x. Is x - (-2 - (f - 0)) a multiple of 6?
False
Let u(i) = 2*i**2 + 5*i + 2. Is u(-4) a multiple of 14?
True
Let t = 29 - 14. Is t a multiple of 4?
False
Let k = 46 + -17. Suppose 5*g = 4*a + 60, 3*g - a = -0*g + k. Suppose -4*p - 94 = -3*s, g = -4*p - 8. Does 11 divide s?
False
Suppose 0*j + 5*f - 14 = -j, f + 2 = j. Suppose -2*s - h + 13 = 0, s - 4*h - 13 = -j*s. Suppose -6 - 4 = -s*y. Does 2 divide y?
True
Suppose u - 29 = 2*p, -2*u + 39 = p + 1. Is 4 a factor of u?
False
Suppose -12 - 6 = -3*k. Is k a multiple of 3?
True
Suppose 0*t - 3*v = 2*t - 83, -3*t + 3*v + 87 = 0. Let m = 57 - t. Let h = m + -8. Is 11 a factor of h?
False
Let f(d) = 2*d**2 + 8*d. Does 14 divide f(-7)?
True
Let t = -9 - 6. Let s = t + 30. Is s a multiple of 5?
True
Let t(r) = r**2 - 17*r - 18. Is t(19) a multiple of 5?
True
Let n(c) = c**2 + 5*c - 6. Let y be n(-6). Suppose 0 = -3*q - y*q + 54. Is q a multiple of 13?
False
Suppose 6*r - 27 = 3. Is r a multiple of 5?
True
Suppose 0 = 4*f + 3*o + 107, 56 = -2*f - o - 3*o. Let w be (f*1)/(1/(-14)). Does 10 divide w/18 + (-4)/18?
True
Suppose 0 = 3*j + j - 168. Does 14 divide j?
True
Suppose -2*t - 43 = 3*z, -t - 4*z - 10 = -1. Let m = 57 + t. Is 8 a factor of m?
False
Suppose 0 = 5*t + v - 5*v - 209, -t = 4*v - 61. Is 15 a factor of t?
True
Suppose 0 = 4*z - 5 - 15. Is 2 a factor of z?
False
Let g(b) = -b**3 - 7*b**2 + 8*b + 8. Let o be g(-8). Let w be (-3 - 21/(-12))*o. Is (8/w)/(4/(-110)) a multiple of 11?
True
Let b = -15 - -6. Let d(a) = a**2 + 2*a - 7. Let x be d(b). Suppose 3*u + x = 4*y, -4*y + 0*u - 4*u = -56. Is 5 a factor of y?
False
Let u = 3 + 2. Suppose u*z - 191 - 169 = 0. Does 24 divide z?
True
Is 7 a factor of 20/(-70) - 114/(-7)?
False
Suppose k - 150 = -x - k, -3*k = -4*x + 611. Is 38 a factor of x?
True
Suppose 4 = g - 1. Let d be 3*(-1 + 0 + 2). Suppose -x + 2*b - 9 = -2*b, 0 = -g*x + d*b + 40. Does 4 divide x?
False
Suppose -2*p - 5*u = -0*u + 17, -4*p = 2*u - 6. Let q = -6 - -9. Suppose p*c + r - 47 = 0, -c - 5*r - 29 = -q*c. Is 8 a factor of c?
False
Suppose 3*d + 13 = -n, -d = -n - 5*d - 17. Let v(l) = -74*l - 1. Let w be v(n). Let f = 103 - w. Does 15 divide f?
True
Let h(s) = -6*s - 1. Let i be h(-1). Suppose -i*q + 16 = -2*q + d, -4*q - d + 20 = 0. Suppose q*t = t + 90. Is 9 a factor of t?
False
Let c(s) = 3*s**2 - 2 - 2*s**2 - 7*s + 3*s - s. Let z be c(6). Suppose z*n + 5*m = 47, n - 1 - 1 = 2*m. Is n a multiple of 4?
True
Suppose -2*q + 2*z = -146, -2*z + 3*z + 217 = 3*q. Is q a multiple of 9?
True
Suppose 5*b = 15, -3*u - 4*b + 1 = -17. Suppose -5*i - 3*s + 25 = -6*s, -5*i - u*s + 25 = 0. Is 16 a factor of 10*(-1)/i*-16?
True
Is (3 - 3) + 18*(-1 - -12) a multiple of 33?
True
Suppose 3*y + 2*y = -f + 24, -2*y = 3*f - 20. Let v(c) = -c - c - 2 - y*c. Does 10 divide v(-2)?
True
Let m be 1/2*-2 - -30. Let c = m + -11. Is 10 a factor of c?
False
Let m(w) = w**3 - w**2 - 2*w + 3. Let r be m(2). Suppose 0 = -2*u + r*u - 34. Is 17 a factor of u?
True
Suppose -232 = -2*p - 2*p - 4*h, 5*p - h - 278 = 0. Suppose 4*x - 21 = -125. Let q = x + p. Is q a multiple of 10?
True
Let s(t) be the first derivative of t**4/4 + 7*t**3/3 - 5*t**2 - 8*t + 4. Is s(-8) even?
True
Let i = -92 + 136. Let w be i/(-6) + 4/12. Let j = w + 12. Does 2 divide j?
False
Let i = -28 - -39. Is i even?
False
Suppose 4*y - 11 = -3. Let z = -529 - 65. Is 20 a factor of z/(-15) - y/(-5)?
True
Let c = 7 - 5. Let s = 4 - c. Suppose -5*p - 5 = 0, s*h + 5*p = 6*p + 21. Is 5 a factor of h?
True
Let g be ((-12)/(-16))/(2/8). Suppose -q = g*q + 8, -25 = -5*i + 5*q. Suppose -t - i*m = 2, 3*m = -2*t + 3 + 2. Is t a multiple of 7?
True
Let t(b) = -b**3 - 5*b**2 - b - 4. Let v(a) = a - 9. Let p be v(4). Let d be t(p). Does 18 divide (27 - d/(-1)) + -3?
False
Let h = 100 - 79. Is h a multiple of 3?
True
Let r(m) = m**2 - m + 3. Let u be r(7). Let o = u + -22. Does 23 divide o?
True
Let i(s) be the first derivative of -s**3/3 - 9*s**2/2 - 5*s - 5. Is i(-6) a multiple of 13?
True
Let d(g) = -g**2 - 4*g + 3. Is d(-3) even?
True
Does 11 divide 5139/24 - 1/8?
False
Suppose 0*m - 3*m + 36 = 0. Suppose -r = -5*r + m. Suppose -3*q = 2*f - 42, -r - 49 = -2*f + 2*q. Is f a multiple of 24?
True
Suppose -5*g + 4*g + 3 = 0. Let a = -5 + 8. Suppose -2*v = -g*s + 8, 2*v - a = 2*s - v. Is s a multiple of 6?
True
Suppose -v - 4*i = 13, -3*i = 5*v + i + 1. Suppose 4*x + 47 = v*s - 0, s - x = 14. Is 4 a factor of s?
False
Let l(z) = -7*z**2 - 9*z + 4. Let n(u) = -8*u**2 - 10*u + 4. Let g(m) = -7*l(m) + 6*n(m). Let r be g(-3). Is (-34)/(-4) + (-2)/r a multiple of 9?
True
Let s(f) = -f**3 + 5*f**2 + 3*f - 1. Let b be s(5). Suppose 0 = -0*w + 4*w + 5*x - 12, b = 3*w + 5*x. Is w/(-6) - (-34)/6 a multiple of 3?
True
Let l(h) = 10*h**2 + h. Let j be l(-1). Let d be 1400/18 + 2/j. Suppose 0 = -4*t - 10 + d. Is t a multiple of 9?
False
Suppose -c + 9 = -4*c. Let h be (-1)/c*354/(-2). Let m = -41 - h. Is m a multiple of 5?
False
Let w = 8 - 6. Let l(k) = -k**3 - 7*k - 5*k**2 + 5 + 10*k**2 + 5 + 3*k**w. Is l(7) a multiple of 4?
False
Let s be (-3)/(44/(-42) + 1). Suppose -s + 15 = 2*k. Let z = k - -45. Is z a multiple of 7?
True
Suppose -5*o - 2*a = -0*o - 137, 4*o - 136 = 5*a. Is o a multiple of 18?
False
Let z be 4*-4*3/(-6). Suppose z = 5*l + 3*f + f, 2*l - 2*f = -4. Suppose 0 = -4*c - 3*n + 29, 7 = c - l*c + n. Is c a multiple of 3?
False
Let k = -512 + 724. Suppose 0*b + 4*b - k = 0. Suppose u - 21 = 5*q - 115, 0 = 3*q - 4*u - b. Is 5 a factor of q?
False
Let b be -7 - -9 - (0 + -3). Let q(n) = n**3 - 4*n**2 + 6*n + 4. Is q(b) a multiple of 14?
False
Suppose 0 = -5*y - 0*y. Suppose y = -m + 36. Does 20 divide m?
False
Let o be -3 + 0/4 + 3. Suppose -3*b + 105 = 3*i - o*b, 4*i - 146 = 2*b. Is i a multiple of 25?
False
Let m(y) = -2*y**3 - 3*y**2 + 5*y + 10. Does 32 divide m(-5)?
True
Let k be (-30)/1*(3 + -2). Suppose s + 1 = 2. Is (3/(-6))/(s/k) a multiple of 15?
True
Suppose f = -3*b + 26, -4 = -0*f + f. Let h = 14 + b. Does 16 divide h?
False
Suppose 4*o = 2*o - 16. Let l = 14 + o. Is l a multiple of 6?
True
Let x = -21 + 10. Let t(l) = l**2 - 6*l + 1. Let z be t(4). Let d = z - x. Is 3 a factor of d?
False
Suppose 0 = s - 0*s + 2*c - 36, -3*c - 180 = -5*s. Suppose -2*l - 2 = -s. Is 16 a factor of l?
False
Let j(h) be the third derivative of -h**6/4 + h**5/60 + h**4/12 + h**3/6 + 4*h**2. Does 15 divide j(-1)?
True
Let o be -3*(0 + -1 + 2). Let r(k) = k**2 - 2*k - 4. Does 3 divide r(o)?
False
Let p(g) = -g**3 + 2*g**2 + 2*g - 1. Let t = -4 + 6. Does 3 divide p(t)?
True
Let z(g) = -19*g - 7. Let d be z(-5). Let n be d/5 + (-2)/(-5). Let v = n + -10. Is v a multiple of 6?
False
Let y be 0/(5 + -2 - 0). Suppose o = 3*o + 4*z + 48, y = 3*o - z + 86. Let v = 48 + o. Is 8 a factor of v?
False
Suppose -2*j + 15 = -l + 7, 0 = -j + 5. Suppose 0 = -l*z - 0*z + 14. Suppose -v + 2 = -z. Does 6 divide v?
False
Let x = -8 - 68. Let l = x + 106. Does 25 divide l?
False
Let n be 4/3*3/2. Let k = n - -10. Does 10 divide k?
False
Suppose -2*m = 0, -m = -5*y + 2*m + 10. Suppose -y*z - 17 = -5*z - 4*q, -5*q - 5 = -5*z. Is 12 a factor of 2 - 30/(-9)*z?
Tr