. Is 19 a factor of b(1)?
True
Let a = 2 - -1. Suppose -m = -11 + a. Is m a multiple of 4?
True
Let z be (4/(-3))/((-2)/36). Let j be (z/(-5))/((-3)/30). Suppose 2*l = -2*g + 24, 0 = -l - 3*l + 3*g + j. Does 6 divide l?
True
Let v(l) be the third derivative of 0 - 1/8*l**4 + 0*l + 1/30*l**5 - l**2 - 1/120*l**6 - 1/3*l**3. Does 18 divide v(-3)?
False
Suppose -h = -57 - 47. Suppose 4*s = -0*s + h. Does 26 divide s?
True
Let m(j) = 12*j**2 + 6*j + 5. Is 21 a factor of m(-3)?
False
Let f = 980 - 683. Is 1/5 + f/15 a multiple of 5?
True
Let y = 19 - -26. Is 6 a factor of y?
False
Let k = -121 + 62. Let g = k - -19. Does 15 divide g/(-2) + 3*-1?
False
Let w be (2 + -8)*(4 - 7). Let n = w + -26. Let s(o) = o**3 + 7*o**2 - 11*o - 12. Does 6 divide s(n)?
True
Let w be (-1)/(-3) - (-119)/(-51). Is (72/20)/(w/(-10)) a multiple of 4?
False
Let m(u) = 7*u**2 - 9*u - 20. Is 11 a factor of m(-6)?
True
Suppose p - 44 - 70 = -u, -4*p - 2*u = -452. Is p a multiple of 28?
True
Let w = 28 - 15. Is w even?
False
Suppose 5*r - 18 = 7. Suppose -3*q + 41 = 2*b, 6 = -r*q + 3*b + 68. Is q a multiple of 5?
False
Let k(y) = -9*y - 22. Let q(d) = 7*d + 3. Let x(m) = -13*m - 7. Let o(c) = -7*q(c) - 4*x(c). Let b(j) = 2*k(j) + 7*o(j). Is b(4) a multiple of 14?
False
Suppose 2*i - 123 = 5*i. Let m = -20 - i. Does 21 divide m?
True
Let y be -1 - 0 - -9*2. Suppose 3*u - y = -5. Is u a multiple of 2?
True
Suppose 0 = 4*y - 4*k - 56, 0*y - 5*k - 16 = y. Is 3 a factor of y?
True
Let p(y) = 3*y**3 - 2*y**2 + 2. Let u be p(2). Let b = -1 + u. Suppose -g + 1 = -2, b = 2*q + g. Does 7 divide q?
True
Suppose 0 = -w + 5*d + 48, 0*w - 5*w + 125 = -2*d. Let x = 159 - w. Suppose -85 = -5*q - 2*f + 83, x = 4*q + 2*f. Does 19 divide q?
False
Let l be (1 - -1)/(10/15). Suppose y = -l*y + 20. Let p = y - 0. Is 3 a factor of p?
False
Suppose 2*x = -3*a + 9, -3*a + 0*a + x = -9. Let g be 28/6 + (-2)/a. Suppose -g*r + 12 = 0, 0*r = -p + r + 15. Is 10 a factor of p?
False
Let b(f) = f - 5. Suppose -5*v + 82 = 27. Is b(v) a multiple of 6?
True
Let o(c) = 17*c**2 - 2*c. Let g be o(2). Let z = -21 + g. Does 15 divide z?
False
Let r = 8 - 4. Let s(p) = -26*p + 2 - r + 3. Does 16 divide s(-2)?
False
Let l = 239 + -91. Is l a multiple of 36?
False
Let f = 360 + -108. Does 14 divide f?
True
Let a(l) = l + 3. Let q be a(6). Let w be ((-15)/q)/(2/(-6)). Suppose 3*c - w*i = 109, -63 + 22 = -2*c - 3*i. Does 14 divide c?
True
Let h = -10 + 12. Suppose -3*q + 14 = h*w, -2*w = -6*w - q + 18. Let s = 21 - w. Does 8 divide s?
False
Let i = 30 - 10. Is i a multiple of 5?
True
Let g be (-5 - 0)/(0 + -1). Let o(i) = -5*i + 5. Let h be o(g). Let k = 46 + h. Is k a multiple of 13?
True
Let t(f) = f**2 + 75. Is 15 a factor of t(0)?
True
Suppose 2*p - 35 = 3. Is p a multiple of 19?
True
Let m = -8 + 16. Let c(g) = 2*g - 4. Let d(l) = -l - 1. Let t(q) = c(q) - 3*d(q). Is 13 a factor of t(m)?
True
Suppose -m = -5*d + 2 - 22, 0 = -d + 4*m - 23. Let p = d - -1. Let q = p + 27. Does 10 divide q?
False
Suppose -107 = -4*j + r - 0*r, 0 = -2*j - 4*r + 40. Is 3 a factor of j?
False
Suppose 3 = i - 3*p, -i = 2*i - p - 25. Is 8 a factor of i?
False
Let c(v) = v**2 - 12*v - 9. Let z be c(13). Suppose 5*u - 3*b - 23 = 25, 5*u + z*b - 41 = 0. Is 3 a factor of u?
True
Does 39 divide (-1)/(18/45 - 483/1195)?
False
Let x(n) = -n**2 + 9*n + 14. Let g be x(10). Suppose -g*j = j - 120. Does 9 divide j?
False
Suppose 2*v + 6 = 3*v. Is 9 a factor of v/(3 - 0) - -21?
False
Let u = -110 + 308. Suppose 0 = -5*x - 3*r + 5*r + u, -2*x + 56 = 5*r. Is 19 a factor of x?
True
Let u be (-9)/6 - 15/(-6). Let g(s) = -u + 0 + 6 + 5*s. Is 15 a factor of g(8)?
True
Let v be 6*-1*(-1)/2. Suppose 3*n - 12 = -v*c, 4*c = -n - 2*n + 13. Suppose -2*j - n*j = -75. Is 7 a factor of j?
False
Suppose -170 = s - 6*s. Suppose -3*j - s + 8 = -k, 0 = k - j - 22. Is 6 a factor of k?
False
Let f(g) = 2*g**3 + 2*g**2 + 1. Let l(v) = -v**3 + 3*v**2 + 6*v - 6. Let s be l(4). Is 16 a factor of f(s)?
False
Let y(p) be the second derivative of p**4/12 + 11*p**3/6 + 3*p**2/2 + p. Let i be y(-11). Suppose -21 + 135 = i*z. Does 19 divide z?
True
Suppose -4*o = -123 - 33. Suppose -2*b + o = b. Is 12 a factor of b?
False
Suppose -4 = -4*f + 48. Suppose i + g - 8 = 0, -5*i + 0 = -4*g - f. Is 2 a factor of i?
False
Let l(w) = -3*w + 0 + 3*w - 1 + 29*w**2. Is l(1) a multiple of 14?
True
Suppose -38 = -2*b - 2*l, -4*l = l - 25. Suppose -3*w = b - 86. Does 24 divide w?
True
Suppose -214 = -7*a + 8*a. Let j = -129 - a. Is j a multiple of 22?
False
Let b(x) = -x**3 - 9*x**2 - 9*x - 11. Is 14 a factor of b(-9)?
True
Suppose 20 = -4*j + 8*j. Suppose 54 = f + j*f. Is 3 a factor of f?
True
Suppose -90 = -a - 5*a. Does 3 divide a?
True
Suppose 14 = -r - 4*g - 0, 2*r + 16 = 4*g. Let l = 15 - -1. Let m = l - r. Is m a multiple of 13?
True
Let p(j) = j**3 - 2*j**2 - 5*j + 7. Let r be p(3). Suppose -5*l + 2*h + 67 = 0, -5*h - 4 = r. Is 3 a factor of l?
False
Let a be 147/4 + 3/12. Suppose i - a = -g, -6*g + 49 = i - g. Is 17 a factor of i?
True
Suppose 5*m - 105 - 95 = -2*g, -99 = -3*m + 3*g. Is 8 a factor of m?
False
Let g(a) = -a - 1. Let z be g(-1). Let y = z + -2. Let w(q) = -2*q**3 - 3*q**2. Is 2 a factor of w(y)?
True
Let b be 3/(-12) - (-14)/(-8). Does 12 divide -3 + -2 + 20 + b?
False
Let m(p) = -p**2. Let q(k) = 3*k + 6. Let b(u) = -m(u) - q(u). Is b(-3) a multiple of 12?
True
Suppose -d + 4*d - 12 = 0. Is 304/6 + d/(-6) a multiple of 25?
True
Suppose 3*n - 10 = 7*n - 2*k, k = n + 2. Let l be 3 + n + 100 - 0. Suppose -4*v + 2*o + 2*o + l = 0, -2*v + 46 = -o. Does 7 divide v?
True
Let u = -7 + 15. Suppose -4*b + 2 - 7 = -k, b + 2*k + u = 0. Let l = 8 - b. Is l a multiple of 8?
False
Suppose -29 = -2*j + 1. Does 2 divide j?
False
Let z(s) = s**3 + 21*s**2 - 24*s - 4. Does 4 divide z(-22)?
True
Suppose 187 = 3*w - 2. Let o = w + -37. Is o a multiple of 13?
True
Let o(x) be the first derivative of x**3/3 + x**2/2 + 10*x + 5. Is o(0) a multiple of 7?
False
Let t(v) = 5*v + 2. Does 17 divide t(9)?
False
Is 8 a factor of 9/15 - 385/(-25)?
True
Let b = -16 + 19. Suppose -2*o - b*l + 70 = 3*o, 0 = -o + 4*l + 14. Does 8 divide o?
False
Does 57 divide 4110/24 + 4/(-16)?
True
Suppose 3*q - 31 = -4*g, -4*q = -0*q + 5*g - 43. Is 2 a factor of q?
False
Let d(o) = o**2 + o + 14. Let r be d(0). Suppose -v + q = -9, -2*v + 2*q + r = -2*q. Does 10 divide v?
False
Let i = -1 - -2. Is i + (-3)/(6/(-26)) a multiple of 7?
True
Suppose 3*h - 187 = -22. Is 11 a factor of h?
True
Let o be (2/2)/(2/6). Suppose o*s - 27 - 9 = 0. Does 11 divide s?
False
Let b be (-2)/4 + 5621/22. Suppose -b = -6*q + q. Does 17 divide q?
True
Let t(d) = 9*d - d - 6 + 2*d - d**2. Is 10 a factor of t(8)?
True
Let a = -12 + -59. Let i = -105 - a. Let l = -17 - i. Is l a multiple of 10?
False
Let h(p) = 13*p - 22. Is h(11) a multiple of 12?
False
Let g(a) = a**2 - 5*a - 21. Is 7 a factor of g(9)?
False
Suppose 5*c = k - 56, -5*k + 338 + 50 = 2*c. Does 14 divide k?
False
Suppose 0 = 5*j - 3*k - 114, 4*j - 130 = -5*k - 24. Suppose 2*r = r + j. Does 8 divide r?
True
Let k(d) = -4*d - 2. Suppose 2*h + 2*j = j - 5, 4*h = 2*j - 22. Let p = h - 1. Is 9 a factor of k(p)?
True
Suppose -12 = 4*g - 4*m, -2*g - 2*m - 2*m = -24. Let f = -6 + g. Is 3 a factor of (-5 + 3)*6/f?
True
Suppose 0*s + 322 = 3*s + 5*q, 0 = s + 4*q - 112. Is s a multiple of 26?
True
Does 14 divide 3/(4*9/624)?
False
Let t(z) = -z**2 + 22*z - 21. Does 18 divide t(16)?
False
Let a = -14 - 2. Let g = 23 + a. Is g a multiple of 3?
False
Suppose -m + 580 = -6*m. Let a = -66 - m. Suppose -u + v + a = 0, -2*u + 129 = 2*v + 21. Does 21 divide u?
False
Let n(i) = i + 7. Let d be n(-5). Let j be ((-3)/d)/(6/(-12)). Suppose -j*z = -0*z - 42. Does 7 divide z?
True
Let x = -219 + 392. Is x a multiple of 42?
False
Let x(v) = 4*v - 3. Let a be x(-5). Let g = 51 - 96. Let s = a - g. Does 14 divide s?
False
Suppose f - 432 = -7*f. Does 8 divide f?
False
Suppose 0 = 2*s - 0*s + 14. Let m(t) = -t**3 - 6*t**2 + 5*t - 1. Is m(s) a multiple of 4?
False
Suppose 2*j - 30 = 5*v - j, -2*v = j + 23. Is 3 a factor of 25/3 - 6/v?
True
Let u = 7 + -5. Let m(k) = -k**2 - 9 - u + 11*k**2 + 5*k**3 + 7*k - 4*k**3. Is m(-9) a multiple of 7?
True
Let h(f) be the third derivative of f**5/12 - 5*f**4/24 + 2*f*