2) - 14/4. Let o(a) = a**2 - 3. Is o(b) a multiple of 13?
True
Let f(t) = -t**2 + 6*t - 3. Let h be f(5). Suppose -c - 21 = -2*u - u, 0 = h*u - c - 15. Suppose -128 = 2*x - u*x. Does 16 divide x?
True
Suppose -y - 8 = -0*y. Let p(h) = -3*h - 6. Is 15 a factor of p(y)?
False
Let r(u) be the second derivative of 5*u**3/3 + u**2 - 4*u. Does 11 divide r(2)?
True
Let r(i) = 3*i**2 + 6*i + 3. Let n(a) = 4*a**2 + 6*a + 2. Let h(w) = 4*n(w) - 5*r(w). Is 12 a factor of h(-5)?
True
Suppose -j = -2*j + 5. Let n(v) = -v**3 + 5*v**2 + 6*v - 4. Let f be n(j). Suppose -3*z - 52 = -5*z - 4*a, f = z - 4*a. Is 13 a factor of z?
True
Suppose p = 2*v - 0 - 2, 3*p = 5*v - 5. Suppose 0 = -p*y - y + 27. Does 10 divide y?
False
Let q(c) = 9*c**3 + 17*c**2 - 17*c + 1. Let d(t) = -9*t**2 + 9*t + 0*t**3 - 2*t**3 - 3*t**3. Let k(s) = 7*d(s) + 4*q(s). Does 11 divide k(-5)?
False
Suppose 0 = -5*k - 5*m + 240, 0 = 5*k + m + 33 - 273. Is 5 a factor of k?
False
Suppose -d + 57 = 3*a + 3, a = 3*d + 18. Is 12 a factor of a/(-8)*32/(-6)?
True
Let k(f) = f**2 + 6. Is k(-4) a multiple of 14?
False
Suppose 2*t - 4*r = -14, -4*t + 4*r + 7 - 55 = 0. Let p = 6 - t. Is 12 a factor of p?
False
Let k(g) = g**2 - g - 17. Does 31 divide k(-10)?
True
Let w(r) = 2*r**2 + 0*r + 10 - r**2 - 6*r + r. Suppose 0 = -4*h + 9 + 23. Does 17 divide w(h)?
True
Let n = -1 + 3. Suppose -7*f = -2*f. Suppose f*i = -g - 4*i + 32, -3*i - 31 = -n*g. Is 10 a factor of g?
True
Let c(i) = 2*i**3 + 4*i + 13. Let f(v) = 3*v**3 + 5*v + 13. Let j(u) = 4*c(u) - 3*f(u). Is 4 a factor of j(0)?
False
Suppose -24 = -4*p + 28. Does 8 divide p + (-2 + 0)/(-1)?
False
Suppose -4*l + 3*l + 10 = 0. Let s be -1 + (-7 + 0)/(-1). Does 10 divide s/(-15) - (-104)/l?
True
Suppose -3*x + 456 = 3*o, -144 = 2*o - 3*o - 5*x. Is o a multiple of 30?
False
Suppose -4*o = -2*o - 6. Suppose 3*k = -3*u + 69, 2*u = -o*u - 4*k + 117. Let m = -15 + u. Is m a multiple of 5?
True
Let x(a) = 3*a + 32. Let j(z) = 3*z + 32. Let k(f) = 7*j(f) - 6*x(f). Let i(v) = 7*v + 64. Let q(s) = -2*i(s) + 5*k(s). Does 17 divide q(0)?
False
Suppose l = 2*l - 4. Suppose 0 = -l*b - b + 30. Does 3 divide b?
True
Let t(j) = -j**3 - 7*j**2 + 9*j + 12. Let w be t(-8). Suppose -375 = w*m - 9*m. Is m a multiple of 25?
True
Let u be (-330)/(-24) + (-2)/(-8). Suppose u + 11 = 5*m. Does 2 divide m?
False
Let c be 2/5 + (-52)/(-20). Suppose 0*o - c*o = -33. Is 11 a factor of o?
True
Let o be ((-2)/2)/(2/(-24)). Let v be 5/(10/o) + -2. Suppose -3*h - 13 = -c, -5*h + 29 = -3*c + v*c. Does 10 divide c?
False
Suppose 12 = -3*i + 42. Does 4 divide i?
False
Suppose 99 = 8*m - 5*m. Does 11 divide m?
True
Let i(b) = -13*b + 17. Let f(d) = 19*d - 25. Let c(o) = 5*f(o) + 7*i(o). Let x be 27/(-15)*(-30)/9. Is 7 a factor of c(x)?
False
Suppose 0 = -8*o + 3*o + 5. Let l = 7 - o. Suppose -5*r - 76 = -2*f + l, 4*r = -f + 28. Is 18 a factor of f?
True
Suppose 2*f - 158 = 88. Suppose 4*r + 3*j - f = 1, r = -4*j + 44. Let u = r - 14. Does 9 divide u?
False
Let m be ((-4)/(-8))/((-3)/(-18)). Suppose -66 = -5*b - m*z + z, -2*z = 4. Is b a multiple of 7?
True
Let d = 46 + -5. Suppose -4*b - 2*q = -184, 3*b - d = 2*b + 2*q. Is 13 a factor of b?
False
Suppose -4*d + 9*d = 4*x - 13, 1 = -x - 3*d. Let f(h) = 19*h + 1. Does 13 divide f(x)?
True
Suppose 2*h = 4*h - 38. Does 8 divide h?
False
Let z = 179 - 89. Is 26 a factor of z?
False
Suppose -d = -r - 0*r - 17, 3*r - 69 = -5*d. Let k = d - 10. Suppose k*u = 7 + 78. Does 13 divide u?
False
Let y = -36 - -61. Let j = y - 10. Is 15 a factor of j?
True
Suppose 3*u + 5*g + 236 = 0, 376 = -5*u - 3*g - g. Is 3/(-6)*1*u a multiple of 18?
True
Suppose 0 = 4*v + w - 11, -w = -2*v - 0*v + 7. Let b = v - 3. Let l(z) = -z + 6. Is l(b) a multiple of 6?
True
Let y be ((-2)/(-4))/(2/(-4)). Let d = 27 + y. Is 11 a factor of d?
False
Let i = 32 + -19. Suppose -g + i = -0*g. Is g a multiple of 13?
True
Let u = -64 + 97. Let a = u - -15. Is a a multiple of 12?
True
Suppose 7*s = 5*s + 216. Does 23 divide s?
False
Is (-2)/(-3) + (3 - 652/(-3)) a multiple of 9?
False
Let t be -3 + -3 + 55 + -1. Suppose 10*l - t = 8*l. Does 9 divide l?
False
Does 14 divide (-783)/18*(-2)/3?
False
Let d(i) = 6*i**2 - i + 5. Is 7 a factor of d(-2)?
False
Let x be 6/10 - (-532)/(-70). Let m = x - -9. Is m a multiple of 2?
True
Let m = -1 - -3. Let y = m - 2. Suppose 12 = n + 3*s + 3, y = -3*s - 9. Does 14 divide n?
False
Let v(n) be the third derivative of -n**6/40 - n**5/30 + n**3/3 - 3*n**2. Is 13 a factor of v(-2)?
False
Suppose -y - 7 = 5*m - 26, 0 = -2*y - 2. Suppose 112 = -m*b - 48. Does 11 divide (b/(-25))/(2/20)?
False
Suppose -4*r = -p + 2*p - 38, -4*r - 100 = -2*p. Is p a multiple of 46?
True
Let b = 2 + 3. Suppose -5*u + 15 = -b. Does 4 divide u?
True
Let y be (-30)/12*(-16)/10. Suppose -y*o = -27 - 17. Is o a multiple of 4?
False
Suppose -3*w - 2*w = -100. Is 8/w + 366/10 a multiple of 14?
False
Let p(g) = g**3 + 10*g**2 - 10*g + 16. Let u be p(-11). Is 10 a factor of -3 + -2 + u + 39?
False
Suppose f - 19 = -5*c - 0*c, 0 = -2*c - 3*f + 5. Suppose 4*t + 4*x = 5*x + 64, 0 = -c*x. Is t a multiple of 16?
True
Let t be (-2)/7 - 32/(-14). Let u(v) = v**2 + 6*v - 4. Let j be u(-6). Does 7 divide (-2 - 20)*t/j?
False
Let o(z) = z**3 + 5*z**2 - 7*z - 5. Let d be o(-6). Suppose i - 3 = 5*q - d, -5*i + 64 = 2*q. Is i a multiple of 4?
True
Let l = 5 + -6. Let u = 5 - l. Does 3 divide u?
True
Suppose -n - 4*v + 24 = 0, 2*v - v - 5 = 0. Suppose -54 = n*x - 7*x. Does 6 divide x?
True
Let s(u) = -u**2 - 1 - 5*u - 7*u - 2*u. Let m = 10 + -20. Does 11 divide s(m)?
False
Suppose 0*i = -5*i + g + 295, 4*i - 230 = 2*g. Is i a multiple of 6?
True
Let t(l) be the third derivative of -l**6/360 + l**5/15 - l**4/12 - l**3/3 - 2*l**2. Let w(m) be the first derivative of t(m). Is 13 a factor of w(3)?
True
Suppose 2*y + 2*y = 168. Does 10 divide y?
False
Let y(t) be the third derivative of -1/120*t**6 - 1/3*t**3 + 1/10*t**5 + 0 + 0*t + 3*t**2 - 1/8*t**4. Does 18 divide y(4)?
True
Let s(p) be the third derivative of -p**4/6 - 4*p**3/3 + p**2. Is s(-7) a multiple of 10?
True
Let t be 2/(-6) - 2/(-6). Suppose 36 = 5*p - 354. Suppose -3*u + p = -t*u. Is 13 a factor of u?
True
Suppose l + 3*c = -2*l - 63, -3*l + 5*c - 47 = 0. Let a(i) = -2*i**2 - 4*i - 3. Let w be a(-5). Let t = l - w. Is 5 a factor of t?
False
Suppose 4*b + 2*n - 76 = 0, 0*n + 3*n - 60 = -3*b. Suppose 29 = 5*q + 4*z + 11, 2*z = -4*q + b. Is q even?
True
Let o = -4 - -6. Let s = o - -8. Is 5 a factor of s?
True
Suppose -2*j = 3*g + 18, 2*g = -j - 3*j - 12. Let d be 2/g - (-8)/6. Is d/(0 - -1) - -25 a multiple of 22?
False
Suppose z = 4*z + 2*i - 40, 5*i = -2*z + 23. Does 14 divide z?
True
Let s be 8/(-20) + 17/5. Suppose 200 = s*m - 67. Suppose -m = -3*t - d, 120 = 5*t - d - 3*d. Is t a multiple of 13?
False
Let c(j) = -12*j + 4. Let h be c(-6). Let y = h + -43. Does 11 divide y?
True
Let g(c) = -3*c**2 + c + 2. Let l be g(-2). Let f = l - -33. Is f a multiple of 15?
False
Let q be ((-1)/2)/(2/(-12)). Suppose q*k = 8 + 7. Suppose -k*j + 73 = -17. Is 9 a factor of j?
True
Suppose 4*f = 3*f + 29. Is 5 a factor of f?
False
Suppose 2*x - 3*x + 424 = 3*a, -3*x - 548 = -4*a. Is 21 a factor of a?
False
Suppose 3*c - 5 = -3*i + 1, -c + 17 = -4*i. Let y = i + 20. Is y a multiple of 8?
False
Let a(x) = -3*x - 11. Let q(m) = 5*m + 22. Let r(v) = 5*a(v) + 2*q(v). Does 15 divide r(-6)?
False
Suppose -4*m + 1 = 3*q - 2, -m = -5*q + 28. Let g = m + 24. Is g a multiple of 7?
True
Suppose -5*b + 3*c = -34, 4*b = 2*b - 4*c - 2. Suppose s - 2*a - 11 = 0, -a = -b*s - 5*a - 1. Is s a multiple of 3?
True
Suppose -10*k = -8*k - 144. Is 24 a factor of k?
True
Let g be (-12)/(-2 + -1) + -3. Does 14 divide (-7)/(9/(-6) + g)?
True
Is 4/(-12) + 55/3 a multiple of 4?
False
Suppose -6*v = -7*v + 6. Let w be v/9 + 88/(-6). Is 2 a factor of (-24)/w - 4/(-14)?
True
Let u = 368 + -263. Let o(g) = 6*g**2 - g - 1. Let s be o(-1). Suppose u = s*i - i. Is 12 a factor of i?
False
Let u(r) = -r + r**2 - 3*r + r**2 + 7 - 2*r. Does 16 divide u(7)?
False
Let q(p) be the first derivative of 2 + 2*p - 1/3*p**3 - 7/2*p**2. Is q(-5) a multiple of 12?
True
Let k(b) = -b**2 + 18*b - 35. Does 2 divide k(13)?
True
Let s(o) = 4*o - 8. Is s(4) a multiple of 3?
False
Let f = 14 - 2. Is f a mult