w = 1 + b. Is 3 a factor of w?
True
Let g(r) = -r**3 + 4*r**2 + r + 1. Is g(4) a multiple of 5?
True
Suppose 2*m - 23 - 17 = 0. Is m a multiple of 8?
False
Suppose 5*o - 5*s = 30, -5*o - s - 2*s = -30. Suppose -115 = -o*k + k. Is 23 a factor of k?
True
Suppose 2*t = -17 - 1. Let r = t - -12. Suppose 16 - 58 = -r*j. Does 7 divide j?
True
Suppose -399 = 10*f - 13*f. Is 30 a factor of f?
False
Let j(u) be the second derivative of -u**6/120 + 2*u**5/15 - 7*u**4/24 + u**3 + u**2 + 3*u. Let p(g) be the first derivative of j(g). Is 6 a factor of p(7)?
True
Let i(t) = -8*t + 10. Is i(-4) a multiple of 14?
True
Suppose -3*n = -3 - 3. Let t(w) = w**3 + 0*w + w**n - 2*w**2 + 26 - w. Does 13 divide t(0)?
True
Let b(d) = 47*d**3 - 2*d**2 + d. Let s be b(1). Let l = -6 + s. Is 18 a factor of l?
False
Let a(f) = 4 - 4 + 2*f**2 + 2 + 2*f. Let o be a(-2). Let d = 4 + o. Is d a multiple of 5?
True
Let g = 6 - -1. Let a(k) = -k**3 + 6*k**2 + 9*k - 4. Is a(g) a multiple of 5?
True
Suppose -5*x + 4 = -x. Let n(i) = i - 3*i**3 - x + 3*i**3 + 7*i**3 - i**2. Does 5 divide n(1)?
False
Let a(l) = -l**2 + 8*l - 10. Let d be a(5). Suppose 290 = 3*g - 2*i, 3*g + 91 = 4*g + d*i. Does 19 divide g?
False
Let t(n) = 0*n - 4*n + 0*n**2 + 6*n**2 + 0*n + n**3. Does 16 divide t(-6)?
False
Suppose 5*l = -6 + 1. Let b be l - -2*(-2)/4. Does 2 divide 3/3*b/(-1)?
True
Let o be (8/2)/(-1 - -2). Suppose o - 19 = -5*s. Suppose x = -3 - 0, 4*l - s*x = 41. Is 3 a factor of l?
False
Suppose -3*z - 78 = -10*h + 5*h, -4*h + 3*z + 63 = 0. Does 15 divide h?
True
Suppose 3*v - 268 = -o, 440 = 5*v + o + 4*o. Let j = v - 52. Is 20 a factor of j?
False
Let g = 13 + -9. Suppose -r = -5, 3*w + 90 = -g*r + 251. Does 13 divide w?
False
Let c(a) = -4*a + 24. Is c(-12) a multiple of 24?
True
Let o = -8 + 13. Is 4 a factor of -1 + o - (0 + -3)?
False
Let t = -177 - -320. Does 13 divide t?
True
Suppose 14 = -2*x + 48. Is x a multiple of 7?
False
Is 12 a factor of (-136)/(-6) - (-27)/81?
False
Let c = 77 - 46. Let f = c + -13. Does 18 divide f?
True
Suppose h + 21 = 6. Let m = 6 - h. Is 17 a factor of m?
False
Suppose -2*y - 4*z - 8 = 0, -3*z = y - 2*z + 1. Let b be -3 + 1/y*68. Suppose b = 2*k - 33. Is 16 a factor of k?
True
Suppose 0 = -k - 3*u + 55, -2*k = -5*u - 0*u - 55. Let z = -28 + k. Is 7 a factor of z?
False
Suppose -3*l + 24 = -4*h, 9 = 2*h - 5*h. Does 5 divide (5 - -7)/(l/6)?
False
Let o(n) = 2*n - 17. Let v(u) = -u + 16. Let i(l) = -3*o(l) - 2*v(l). Let b(p) = -2*p + 9. Let h(a) = -5*b(a) + 3*i(a). Is 17 a factor of h(-9)?
False
Suppose 5*k - 48 = -8. Let q = k - -19. Is 18 a factor of q?
False
Let a = 52 - -16. Is 13 a factor of a?
False
Suppose 0 = a - 0*a + 1. Let x be 0/a + (-7)/1. Let p = x + 26. Does 5 divide p?
False
Suppose 4*j - 6 = j. Let s = j + -1. Does 5 divide ((-7)/3)/(s/(-3))?
False
Let c = -5 - -8. Suppose 0 = -3*w - c*z + 15, 0 = 5*w + z + z - 19. Suppose 4*h + 2*d = 4*d + 44, -2*h + w*d = -18. Is h a multiple of 12?
True
Let l be (3 - 1)/(-1 + 6 + -4). Suppose -4*w - 5*h = -72, 0 = -0*h - h. Is (w/l)/1 - 1 a multiple of 8?
True
Let x(w) = -w**2 - 6*w + 6. Let l = 7 - 13. Let c be x(l). Suppose -4*t + 72 = 3*d, 2*d + 2*t = c*d - 74. Is 20 a factor of d?
True
Let q = 53 - -43. Is q a multiple of 12?
True
Let t be 6/2 - (2 - 1). Suppose -95 = -t*u + 15. Is u a multiple of 17?
False
Let q = -31 - -59. Is 7 a factor of q?
True
Let n = 1 - -2. Let z be n*((-24)/(-9) - 1). Suppose -z*s + v + 152 = -0*s, -2*s = -2*v - 64. Is 14 a factor of s?
False
Let t be 10/2 - (3 - 1). Suppose -8 = -q + t*a + 18, -5*q + a = -102. Does 10 divide q?
True
Let r(h) = h**3 + 2*h**2 - 4*h. Let o be r(-3). Let f(u) = 5*u**2 + u**o - 9*u + 1 - 2 - u + 2*u. Does 4 divide f(-6)?
False
Let h = 18 - 12. Let f(a) = -a**3 + 5*a**2 + 6*a - 2. Let r be f(h). Is 11 a factor of (r - -2 - 0) + 33?
True
Suppose -491 = -3*d + 16. Does 13 divide d?
True
Let n(y) = 2*y + 6. Suppose 7 = -2*k - 4*g - 1, 0 = 4*k + 4*g + 16. Let m be n(k). Is 12 a factor of (-2)/(-4) + (-45)/m?
False
Let v = -12 + 14. Is 2 a factor of (-33)/(-5) + v/5?
False
Let d = -3 + 107. Does 13 divide d?
True
Let m(f) = f**2 - 9*f - 5. Let v = -3 - 0. Let k = 7 - v. Does 5 divide m(k)?
True
Let v(z) = 5*z. Let c be v(1). Suppose -c*p + 209 = -276. Suppose 5*x - 18 - p = 0. Does 19 divide x?
False
Let l = 175 - 0. Is l a multiple of 20?
False
Let n(m) = -m + 58. Is 24 a factor of n(10)?
True
Let c = 26 - 50. Let r = -14 - c. Suppose -10 - r = -k. Does 7 divide k?
False
Suppose -9*o = -4*o. Suppose -a = -o*a - 23. Is 12 a factor of a?
False
Suppose -80 - 50 = -5*r. Let x = 30 + r. Is x a multiple of 28?
True
Let y = 15 + -15. Is (-1)/(4/(-56) - y) a multiple of 4?
False
Let n = 4 - -24. Does 9 divide n?
False
Suppose 5*g - 23 - 597 = 0. Is 31 a factor of g?
True
Let c be (-825)/(-39) - 6/39. Suppose 0 = -5*k - c + 231. Does 14 divide k?
True
Suppose 3 = 5*y - 7. Is 4 a factor of (2 + -1)*6*y?
True
Let m(y) = 18*y + 3. Let j be m(9). Suppose -60 + j = 3*c. Let n = c + 25. Is 22 a factor of n?
False
Let s(p) = p**2 - p. Suppose 3*a + 8 = -a. Is 3 a factor of s(a)?
True
Let x = -6 - -9. Suppose 5*c = -2*y + 10, -x*y = -c - 5*y - 6. Does 4 divide c?
True
Let w(u) be the first derivative of -u**4/4 + 7*u**3/3 - u**2/2 - 7*u + 2. Let b be w(6). Suppose 2*z - 170 = -4*d, 0 = -d + 4*z + 15 + b. Does 15 divide d?
False
Let s be -10*((-2)/(-4) + -2). Let i be 4*s/(-2 + 5). Suppose -2*w + 3*b = 5 - i, 3*b = -5*w + 6. Does 3 divide w?
True
Let u = -8 - -7. Let d = 4 - u. Is d even?
False
Suppose -5*k - 35 = -5*a, 4*a - 3*k + 19 = 52. Is a a multiple of 3?
True
Suppose 4*u - 4*m = -4, 2*u - 23 = -5*m + 2*m. Suppose 0*d = u*d - 108. Is 9 a factor of d?
True
Suppose 14 + 10 = -3*p. Is (7 - p) + (-2)/(-1) a multiple of 17?
True
Let u be (2 - 1)/(3/93). Suppose -v = -4*r - 10 - 12, 3*v - 5*r = u. Suppose -k - v*k = -15. Does 3 divide k?
False
Suppose 12 = l - 2*h - 50, 190 = 3*l - 2*h. Is 13 a factor of l?
False
Suppose 3*h + 2*h - m - 14 = 0, 2*m - 2 = -5*h. Suppose h*g - 37 = 51. Let u = g + -26. Is 9 a factor of u?
True
Let p(w) = 17*w - 5 - 2 + 0 + 1. Does 31 divide p(6)?
False
Let i(k) = -8*k - 1. Let z be i(-1). Suppose -3*s + 2 + z = 0. Suppose -97 + 13 = -s*o. Is o a multiple of 10?
False
Let q(v) = -3*v**3 + v**2 - 3*v - 5. Let g(f) = 6*f**3 - 2*f**2 + 5*f + 9. Let z(m) = 4*g(m) + 7*q(m). Let w be z(1). Suppose -w*x = x - 18. Does 5 divide x?
False
Let v = 13 - 6. Suppose 2*q - n = -0*q + v, -5 = 2*q + 3*n. Suppose -q*c = -4*c + 34. Is 8 a factor of c?
False
Let z(v) = v**2 - 4*v - 2. Let k be z(5). Let m be k/(-12) + (-1)/(-4). Suppose m*d = 3*d - 24. Is d a multiple of 5?
False
Suppose -2*h = -h - 11. Is 11 a factor of h?
True
Suppose 6*k + 23 = 2*o + 3*k, 3*k + 9 = 0. Suppose -o*f + 6 = -6*f. Is 6 a factor of f?
True
Suppose 0 = 4*x, -8*d + 2*x + 320 = -3*d. Does 16 divide d?
True
Does 7 divide ((-21)/(-12))/((-2)/(-32))?
True
Let p = -1 + 0. Is 22/(p*(-4 + 2)) a multiple of 4?
False
Let s = -2 + 11. Suppose 3*j - 36 = 3*v, -4*j = -4*v - s*j - 21. Let l(b) = -b**2 - 9*b + 8. Is l(v) a multiple of 4?
True
Suppose 4*b - 145 = -5*n, -3*b = -5*n + 4*n - 123. Is 10 a factor of b?
True
Let n(k) = 32*k**2 - 2*k - 2. Let s be n(-2). Suppose 7*f = 2*f + s. Is f a multiple of 13?
True
Suppose 2*b + b - 39 = 0. Let j = 39 - b. Does 13 divide j?
True
Suppose -2*g + 0 = -4. Suppose -v - g*v = -102. Is v a multiple of 17?
True
Suppose -w = -4*a + 194, -5*a + 2*w + 237 = -2*w. Let h = a - 23. Does 9 divide h?
False
Let y be 0/(-3) + (3 - 1). Suppose 3*d - 77 = y*i, -4*i - 14 + 44 = 2*d. Does 18 divide d?
False
Let t = 13 - -8. Let m = 99 - t. Is 20 a factor of m?
False
Let l be 38/7 + (-15)/35. Suppose -l*q = -4*b + 256, -q = -3*b - 68 + 249. Is b a multiple of 23?
False
Let b(r) = 2*r**2 - 6*r + 9. Is 9 a factor of b(4)?
False
Suppose -1 = v - 3*q, 5*q - 17 = -3*v + 22. Let k(a) = 0*a + a**3 - 2*a**3 - v*a**2 + 4 - 3*a. Does 14 divide k(-8)?
True
Is 3/(-12) + -2 + 813/4 a multiple of 11?
False
Let o be 4 - (-3 + 1 + 3). Let g = 8 - o. Suppose -h + 28 = -g. Does 19 divide h?
False
Suppose -9 = -3*f + 27. Suppose -l = 2*a - 45, -3*a = -3 + f. Does 17 divide l?
True
Suppose -4*f = 27 + 61. Let d = f - -37. Does 4 divide 2*(-5)/(d/(-6))?
True
Let a(v) = -v**2 + 4*v. Le