3. Is 10 a factor of x(b)?
True
Suppose -3*o - 7*f + 104 = -3*f, 2*o - 76 = 4*f. Does 9 divide o?
True
Let w = -22 + 34. Suppose 3*s = -v + w, 5 = -5*s - v + 23. Suppose -s*y + 39 = -6. Does 10 divide y?
False
Let t = -34 + 53. Suppose 4*a = t + 65. Does 15 divide a?
False
Let q(h) = -h**3 + 10*h**2 + 8*h - 11. Let b be q(10). Let g = b + -48. Is 4 a factor of g?
False
Let v = 52 - 8. Let z = -7 + v. Does 8 divide z?
False
Let h = 4 - 11. Is (-2)/h - (-1836)/42 a multiple of 11?
True
Suppose 0*a - 3*a + 27 = s, -5*a = 4*s - 108. Suppose 3*q + 3*t = q + s, -3*t - 99 = -5*q. Is q a multiple of 6?
True
Suppose 0 = 4*k - 5*i - 246, -2*k - 2*i = 3*k - 291. Does 24 divide k?
False
Let b = 1 - -4. Suppose -b*w + 81 = -9. Is 8 a factor of w?
False
Suppose 3*h - 78 = -4*v, 7*h - 2*h - 3*v = 159. Suppose -c = c - h. Does 15 divide c?
True
Let r(m) = 7*m**2 + 2*m - 9. Is r(3) a multiple of 20?
True
Let s be 1/4 + (-10)/8. Let c(m) = -m**3 - 5*m**2 - 4*m - 4. Let t be c(-3). Let b = s - t. Is b a multiple of 9?
True
Let m(x) = 27*x**2 + 2*x. Is m(1) even?
False
Let q = 6 - -1. Suppose -1 = 3*i - q. Does 15 divide (20/12)/(i/36)?
True
Suppose -3*z - 485 = -5*h, 0 = 4*h + 4*z - z - 415. Suppose 0 = -0*l + 5*l - h. Is l a multiple of 20?
True
Let m(f) = -f**3 + f**2 - f + 24. Let n be m(0). Suppose 5*r - 3*c + 16 = 86, 4*r + 4*c = n. Is 6 a factor of r?
False
Suppose -4*i + 100 = 2*v, -3*i - v = -0*v - 76. Does 19 divide i?
False
Let y = -62 + 148. Does 43 divide y?
True
Does 3 divide (120/100)/((-6)/(-20))?
False
Suppose -n = 5*w - 421, 2*n + 0*n = -w + 86. Suppose -34 = -2*h - 2. Suppose 5*f = h + w. Is 8 a factor of f?
False
Suppose -5*k + 162 = 3*s, -2*k = s - 35 - 20. Suppose 5*z = -s + 144. Is z a multiple of 19?
True
Let f be (-8)/(-36) - (-11)/(-9). Let j = f + 0. Is 16 a factor of ((-39)/(-1))/((-1)/j)?
False
Suppose -112 = -4*m + 3*j, -4*m + 2*j = -152 + 40. Is 28 a factor of m?
True
Suppose -1 = -4*o + 7. Suppose o*n + 2*h - 52 = 0, -3*h - 65 + 167 = 4*n. Does 8 divide n?
True
Let x(q) = 2*q + 18. Let d be x(-13). Is (-238)/d - 5/(-20) a multiple of 30?
True
Let i(a) = -a**3 - 8*a**2 - 6*a + 5. Let d be i(-6). Let h be -9 + 1 + (-1 - -2). Let o = h - d. Is o a multiple of 12?
True
Let b(u) = 14*u**2 - 2*u + 3. Is b(2) a multiple of 11?
True
Suppose 2*z - 4*u - 64 = 0, 0 = -2*u + 3*u + 4. Is z a multiple of 8?
True
Let p = -34 - -147. Let t = p - 62. Does 21 divide t?
False
Suppose 4*p + 9 = -7. Let l = p + 11. Is 7 a factor of l?
True
Suppose -4*v = 21 + 11. Let y = v - -28. Does 4 divide y?
True
Suppose -4*b - 1 = -17. Suppose -4*d + 114 = -3*d. Suppose d = -c + b*c. Does 19 divide c?
True
Let t = -15 - -31. Does 10 divide t?
False
Let l(d) = -3*d**2 + 1. Let s be l(1). Let f(b) = b**3 - b. Let p be f(-2). Let h = s - p. Is 3 a factor of h?
False
Let w = -57 - -92. Does 16 divide w - 3/(-3)*-3?
True
Suppose -o = -132 - 86. Is 27 a factor of o?
False
Let g(w) = -2 + 6 + 3*w + w**2 + 3. Let i be -4 + (2 - 4) + 1. Is g(i) a multiple of 15?
False
Suppose 23 = 5*q - 7. Suppose 3*a = q + 9. Suppose 0 = a*f - 15 - 55. Is 6 a factor of f?
False
Suppose 0 = z - 2 - 2. Suppose 0 = l - 1 - 4, z*n - 3*l - 89 = 0. Is n a multiple of 26?
True
Let m = 4 + -15. Let z = 8 + m. Does 9 divide ((-1)/z)/((-2)/(-54))?
True
Let u = 19 + 11. Suppose u = -5*j + 5. Is 16 a factor of (-402)/(-9) - j/15?
False
Let f = -15 - -39. Suppose -5*o + 4*h + 96 = f, 5*o - 51 = -3*h. Is o a multiple of 3?
True
Let z = 4 + -1. Let p = 1 + z. Is p a multiple of 4?
True
Let w = 10 + -19. Let x(m) = 2*m**2 + 11*m + 4. Does 17 divide x(w)?
False
Is 21 a factor of 7*(36/3 + -3)?
True
Suppose -20*d + 21*d - 245 = 0. Is 44 a factor of d?
False
Let r = 18 + 70. Is r a multiple of 44?
True
Let y be (-3*1)/(9/(-12)). Let f(i) = i**3 - 2*i**2 - 4. Is f(y) a multiple of 7?
True
Let r(b) = -6*b**2 + 1. Let g be r(-3). Let c = -7 - g. Does 21 divide c?
False
Let p(y) = -y**3 + 8*y**2 + 12*y + 7. Let b(z) = -z**3 + 8*z**2 + 13*z + 7. Let v(m) = -5*b(m) + 6*p(m). Let d be v(9). Let j = 25 + d. Is j a multiple of 11?
False
Suppose 0 = -5*c + 2*n + 4 - 2, -c - 3*n = -14. Let q be (6 + -8)*(-1)/c. Is 9 a factor of (5 - -4) + (1 - q)?
True
Suppose -2*b = 3*b - 15. Is 12 a factor of (-3)/b + 15*3?
False
Does 14 divide (-48)/(-36)*57/2?
False
Suppose -75 = -q - s - 2*s, -s + 145 = 2*q. Let y = q + -24. Is 16 a factor of y?
True
Let v(g) = -g**3 - g**2 + g + 3. Let b be v(0). Suppose -b*t + 118 = -92. Is 28 a factor of t?
False
Let l = -15 - -27. Let s = 28 - l. Does 16 divide s?
True
Suppose 5*n = 4*w - 1040, 51 - 569 = -2*w + 3*n. Is 53 a factor of w?
True
Suppose 7*l - 5*z + 173 = 10*l, 3*l - 3*z - 165 = 0. Does 7 divide l?
True
Let h(n) be the third derivative of -n**4/8 - 2*n**3/3 + 5*n**2. Is h(-5) a multiple of 6?
False
Let h(l) = -3*l. Let a(f) = -7*f. Let z(i) = 2*a(i) - 5*h(i). Is 4 a factor of z(7)?
False
Let d be (-5)/2 - 6/12. Let o = 1 - d. Suppose -o*n = -2*n - 34. Does 6 divide n?
False
Suppose -5*l = -b + 22, 0*b - 3*b + 4*l = -33. Let j = b + 6. Does 5 divide j?
False
Let w = -18 + 26. Suppose 3*z - w = -2*q + z, 4*q - 3*z = 2. Suppose -1 = d + 4*u - q, -5*d - 3*u = -90. Is 12 a factor of d?
False
Suppose -6*s + 260 = -2*s. Let t = s + -35. Suppose 4*r - 11 = -l + 5, -3*r - t = -l. Is 13 a factor of l?
False
Suppose 90 = -2*p + 20. Let v be 3/((-15)/2)*25. Let t = v - p. Does 9 divide t?
False
Let m = 23 + -20. Suppose 2*u = -2*t + 134, -3*u + 258 = -m*t + 87. Is u a multiple of 17?
False
Let d(x) = -x**3 + 5*x**2 - x + 5. Let t be d(5). Suppose t = -0*b - 2*b. Suppose b*y + 3*y - 24 = 0. Does 8 divide y?
True
Let m = -12 + 14. Let t = 18 + m. Does 15 divide t?
False
Let k = 47 + -3. Suppose -5*y = -3*y - k. Is y a multiple of 11?
True
Let q = -4 + 6. Is 18 a factor of 98/(4 - q) + -1?
False
Let f(p) = -p**3 - 7*p**2 - 6*p + 6. Let u be f(-6). Does 6 divide 19 - (0 + u)/3?
False
Let m(o) = o**2 + 9*o + 10. Is 10 a factor of m(-9)?
True
Suppose 10*d = 6*d + 524. Suppose 2*b = d - 11. Is b a multiple of 20?
True
Let j be -13 + 23 + (-4 - 0). Does 14 divide (-45)/2*(-4)/j?
False
Suppose 3*h = 119 + 205. Is h a multiple of 18?
True
Suppose o + 3*x = 18, 7 = o + 4*x - 13. Suppose -f + o = 2*f + 2*h, -3*f + 3*h = -12. Is f a multiple of 2?
True
Let w(f) = -f + 75. Does 6 divide w(0)?
False
Suppose 3*y = -6, 0*y - 8 = -2*u - 3*y. Suppose u*p - 3*p = 120. Is p a multiple of 10?
True
Suppose w - 3 = 0, l = -2*l - 3*w + 297. Is l a multiple of 5?
False
Let g(h) = -3*h - 3. Is g(-11) a multiple of 13?
False
Suppose 2*l + 1 = -3. Is 8 a factor of (2*-5)/(l - -1)?
False
Let v = -1 + 5. Suppose 25 = 3*j + h, j - v*h = -2 + 19. Is 9 a factor of j?
True
Let s = -18 - -29. Let h = s - 20. Let a = h + 19. Is 4 a factor of a?
False
Let i be (-2)/(-5) - 774/(-15). Let c = 78 - i. Is 10 a factor of c?
False
Let s(l) = -2*l**2 + 4*l - 6. Let w be s(4). Let y = 56 + w. Is 12 a factor of y?
False
Let k = 306 - 437. Let g = 218 + k. Is 15 a factor of g?
False
Let r be (-2)/(-11) - (-20)/11. Suppose 0*m + r*m = 32. Suppose -8 = -4*b + m. Is b a multiple of 3?
True
Let k(s) be the third derivative of -s**2 + 0 + 0*s + 5/24*s**4 + 7/6*s**3 + 1/30*s**5. Does 10 divide k(-5)?
False
Let r(t) = -t**3 - 8*t**2 + t + 10. Let n be r(-8). Suppose n*i - 17 = 85. Is i a multiple of 17?
True
Suppose 5*n = -l - 6 - 0, -2*n - 4 = 2*l. Does 6 divide (22/1 + l)*1?
False
Let h(v) = -v**3 + 2*v**2 + 1. Let s be h(3). Let x(w) = -w**3 - 7*w**2 + 3*w - 10. Is x(s) a multiple of 17?
False
Let f(h) = -6*h + h - 2 - 4 + 6*h. Let z be f(10). Suppose 0 = p - 5*n + 5, z*p - n - 83 = -8. Does 14 divide p?
False
Let r(w) = w + 4. Let n be r(0). Suppose -3*h = -n*h + 5. Suppose -3*o = -b - 3*b - 48, 0 = -h*b. Is 6 a factor of o?
False
Is (-400)/(-22) - 20/110 a multiple of 6?
True
Let u be 0/(-1) + -5 + -47. Let b = -37 - u. Does 12 divide b?
False
Suppose 268 = 2*l + 36. Let f(m) = -m**2 - 7*m - 6. Let i be f(-5). Suppose i*a - l = 12. Does 12 divide a?
False
Is 7 a factor of (-5 + 6)*(6 + 1)?
True
Suppose -b - 5 = -2*b. Let r = 25 + b. Is 15 a factor of r?
True
Let l = 48 + -14. Does 8 divide l?
False
Let n(i) be the first derivative of i**3/3 - 7*i - 3. Does 5 divide n(-5)?
False
Let y(q) = -q**3 - 17*q**2 - 23*q - 2. Is y(-16) a multip