. Is 12 a factor of b?
True
Let l(q) = q**3 - 8*q**2 + 8*q + 4. Does 6 divide l(7)?
False
Suppose 0 = 7*i - 539 - 1631. Does 27 divide i?
False
Let w be (1 + 32)*(-6)/(-9). Let n = w + -11. Is n a multiple of 7?
False
Suppose -3*a + 37 + 157 = 2*s, 0 = -3*a - s + 190. Does 19 divide a?
False
Let u be (-3)/12 + (-9)/(-4). Suppose -111 = -u*f - o, 2*o = 4*f - f - 177. Is f a multiple of 19?
True
Suppose -q + 22 = -5*y, 226 = 5*q + 6*y - 2*y. Is q a multiple of 7?
True
Let d = 1 + 1. Suppose d*o = 4 - 0. Is 2 a factor of o?
True
Let a(f) = f**3 - 10*f**2 + 7*f - 9. Is 18 a factor of a(10)?
False
Suppose -4*d - 5 = 5*n, 0 = -2*n - 3*d + d - 4. Suppose 0 = 6*j - j - n*q - 91, 4*q = 12. Does 6 divide j?
False
Let t(b) = -b**3 - b + 27. Let i be t(0). Let l = 41 - i. Does 4 divide l?
False
Let i = 0 - 0. Suppose -3*u + i = -5*d - 5, -u - d - 1 = 0. Suppose u = 2*a - a - 6. Is 6 a factor of a?
True
Let z(w) = w**2 - w + 3. Let x be z(0). Suppose -x + 151 = 2*l. Is 37 a factor of l?
True
Let p = -15 - -28. Does 13 divide p?
True
Let m(g) = -g**3 - 11*g**2 - 4*g - 2. Let h be m(-10). Let f(i) = -i**2 - 5*i + 3. Let c be f(-5). Does 20 divide c - 2*h/4?
False
Let c(f) = f**3 - 5*f**2 - 4*f - 5. Let p = 3 + -40. Let v be p/(-6) + (-1)/6. Does 3 divide c(v)?
False
Let z(t) = -t**3 + 10*t**2 - 6*t - 4. Let y be z(6). Suppose 4*i - y - 116 = 0. Does 15 divide i?
False
Let q = -1 + 11. Is q a multiple of 5?
True
Let z = 25 - 7. Let a = -1 - -16. Is -2*(-3)/z*a even?
False
Suppose 0*t = 5*t - 40. Let o = 5 - t. Is 9 a factor of o*(-2)/(-6)*-13?
False
Let v = -18 + 4. Let j = v - -21. Is j a multiple of 6?
False
Let g = -163 - -248. Does 17 divide g?
True
Suppose 5*t + 264 = 4*r - 311, 0 = -5*r - t + 697. Is 12 a factor of r?
False
Let r be (-12)/(-5)*(5 + 0). Suppose -r = -2*a - a. Suppose -a*b + 17 = -7. Is b a multiple of 4?
False
Let r(s) = 2*s - 4. Let x be r(2). Suppose p + 0 = 2. Is 6/p + x + 2 a multiple of 4?
False
Suppose -5*b = -3*d - 2*b + 3, 0 = -5*d - 5*b - 5. Suppose -m + d*m = -39. Is m a multiple of 13?
True
Let c(b) = b**3 + 9*b**2 + 10*b + 22. Is c(-8) a multiple of 5?
False
Let n(c) = -c**2 + 6*c - 4. Let h be n(5). Does 21 divide 3*h + (-240)/(-4)?
True
Suppose 3*j = 5*o + 159, -2*o = 2*j + 27 - 149. Is j a multiple of 11?
False
Let v(n) = -n**3 + 11*n**2 - 8*n - 2. Is v(9) a multiple of 10?
False
Let g(l) = -5*l + 19. Let n(i) = -4*i + 18. Let w(m) = -5*g(m) + 6*n(m). Is 3 a factor of w(-9)?
False
Let r = -30 + 66. Does 4 divide r?
True
Suppose 0 = -5*f - 21 + 6, -f = u - 22. Suppose -5*o + 3*q = -126 + 23, 0 = -o + 3*q + 11. Suppose 4*n - 2*z + 3*z = u, -4*n + z = -o. Is n a multiple of 3?
True
Suppose 4*v = 3*x - 81 - 73, -x + 62 = 4*v. Is x a multiple of 18?
True
Let y(v) be the second derivative of 7*v**4/12 + v**3/2 - v**2 + v. Is 26 a factor of y(-3)?
True
Suppose -j = 2*f + 17 - 144, 5*j - 4*f - 635 = 0. Does 15 divide j?
False
Suppose 0*y + 30 = 2*y. Suppose -n + y = 4*n. Suppose 8*z - n*z = 35. Is z a multiple of 3?
False
Let s be (-2 + 9)*(-6)/7. Let o(b) = -b - 6. Let p be o(s). Suppose p*a + 5*a - 40 = 0. Does 4 divide a?
True
Let o(n) = n**2 - 8*n + 3. Let b be o(8). Suppose b*s - 2*s - 12 = 0. Suppose -l = s - 49. Does 15 divide l?
False
Let d be 9 - 7 - (-2 + 1). Suppose d*c - 112 - 26 = 0. Is 23 a factor of c?
True
Let y(s) = -s**3 - s**2 + s + 3. Let x be 1/(-2)*(-1 + 1). Let k be y(x). Is 4 a factor of ((-4)/k)/((-6)/45)?
False
Suppose -m + 5*b + 279 = 0, 4*b - 973 = -5*m + 422. Suppose -6 = -5*g + m. Is g a multiple of 26?
False
Suppose -8 = -3*r + 2*h, 0 = -2*r - 3*r + h + 25. Suppose 2*l - r = -l. Is 2 a factor of l?
True
Let j(v) = v**3 - 113. Let m be j(0). Is 12 a factor of m/(-5) - (-15)/(-25)?
False
Let a = 49 - 30. Let g be a/4 - 6/8. Suppose j - g*j = -27. Does 9 divide j?
True
Let q = 0 + -1. Let t be ((-4)/8)/(q/8). Suppose -3*z + 10 - t = 0. Is z a multiple of 2?
True
Let r = 1 + 4. Suppose r*l - 80 = -0*y + 5*y, 0 = 5*y - 2*l + 71. Let s = 52 + y. Does 13 divide s?
True
Suppose q + 15 = 3*i, -5*q = 4*i - 19 - 20. Let v be 2/12 - 1/i. Suppose 2*n = -4*y + 52, 2*n - 2*y - 76 = -v*n. Is n a multiple of 17?
True
Suppose 0 = -7*l + 4*l - 30. Suppose -4*w + 5*x = 107, 5*w + 2*x + 142 = -0*w. Let p = l - w. Does 9 divide p?
True
Let n(i) = -17*i - 2. Is n(-7) a multiple of 9?
True
Suppose 5*x + 29 = 2*t - 184, 0 = 4*t - 2*x - 386. Is 12 a factor of t?
False
Let h = 104 - 182. Let f = h + 112. Is f a multiple of 7?
False
Let s(g) = g + 2. Does 6 divide s(8)?
False
Let r(a) = 6*a**2 + 2*a. Does 16 divide r(-3)?
True
Suppose -g + 78 = -4*c - 26, 5*g + 2*c - 608 = 0. Is g a multiple of 30?
True
Let i = -1 - -6. Suppose 2*p + 2*v = 66, 3*p + i*v - 137 = -p. Does 14 divide p?
True
Suppose 10 - 86 = -2*i. Is 38 a factor of i?
True
Let n(k) = 6*k**3 + k**2 + k + 1. Let y be n(2). Suppose 3*h - 5*z = 11, 3*h - y = -2*h + z. Is 6 a factor of h?
True
Suppose 136 = 4*r - 8*r. Let q = 0 - -2. Does 16 divide 1/((-1)/q) - r?
True
Suppose -2*a + 3*s = -7*a + 173, 5*a = s + 169. Suppose 0 = -4*m - 10 + a. Is 2 a factor of -1*m*6/(-9)?
True
Let d(l) = 2*l + 3. Let h be d(-2). Does 5 divide (18/8)/(h/(-8))?
False
Suppose -4*b = 3*f - 129, 2*f - f + 5*b = 54. Is 13 a factor of f?
True
Let h = -6 + 9. Suppose g - 8 = h*j, g + j = -g + 51. Is 9 a factor of g?
False
Let g(l) = -l**3 + 10*l**2 - 10*l - 16. Is 3 a factor of g(6)?
False
Let g = -1 - -2. Let c be 21 + 0 + -2 + g. Suppose 5*q + 2*w - 22 = 0, -2*w - 3*w - c = 0. Is 5 a factor of q?
False
Let y be (-1)/(-3) + 20/(-6). Is 6*3/(-18)*y even?
False
Let c = 81 + -54. Is c a multiple of 9?
True
Let f(w) = 2*w - 9. Let k be f(6). Does 5 divide 20/k - (-2)/(-3)?
False
Does 15 divide (598/65)/(2/40)?
False
Suppose 19 = 4*n + 3. Suppose 0 = -n*a + 83 - 19. Does 10 divide a?
False
Suppose g + 2*l + 2 + 3 = 0, -5*g - 2*l + 7 = 0. Suppose 10 = 5*f + 2*j - 98, -4*f = g*j - 85. Is 11 a factor of f?
True
Suppose -j + 70 = -z, -j + 86 = -4*z - z. Suppose 0 = -0*r + 3*r - j. Is 11 a factor of r?
True
Let c = 36 - 26. Suppose -4*d - d + c = 0. Is 1072/36 - d/(-9) a multiple of 15?
True
Suppose 1276 - 120 = 17*n. Is n a multiple of 30?
False
Suppose 3*b = -31 + 184. Is b a multiple of 17?
True
Let m(k) = -k**2 - 3*k. Let c be m(-3). Suppose c = -4*a + 5 + 23. Is a a multiple of 3?
False
Suppose -4*p + 3*f + 48 + 433 = 0, -5*p = -2*f - 610. Is p a multiple of 4?
True
Let d = 7 + -3. Let p = -4 + d. Suppose p = -y - 2*y + 6. Does 2 divide y?
True
Let d = -1 - 55. Let l be 3/(-2)*d/6. Let w = l + -10. Is w a multiple of 3?
False
Let u = 94 - -106. Let z = -107 + u. Suppose -q + 18 = -h, -5*q + z = -6*h + 4*h. Is q a multiple of 9?
False
Let c(v) = -2*v**2 - 2*v + 1. Let p be (-3)/9*(-1 - 2). Let j be c(p). Let h(x) = -x**3 - x**2 - x - 2. Does 6 divide h(j)?
False
Let y = 86 - 56. Is 15 a factor of y?
True
Suppose 4*d - 131 = 245. Suppose -3*h - 18 = 5*t - d, -3*t - h = -44. Does 15 divide t + -2 + (-6)/(-2)?
True
Let v = 12 + -10. Suppose -5*i = v*x - 8, 3*x - i - i - 50 = 0. Does 14 divide x?
True
Let x(a) = a**2 + 6*a + 4. Let n be x(-6). Does 4 divide n/6*3 + 2?
True
Suppose -5*k + 22 + 13 = 0. Let j be (-2)/k - (-132)/(-28). Is 2/j + (-148)/(-20) even?
False
Let t(p) = -2*p + 5. Let v = 0 - -4. Suppose 0 = 3*l + v*z + 43, -24 = 2*l + 2*l - 3*z. Is t(l) a multiple of 11?
False
Let u = -8 - -3. Let p = -3 - u. Is 47/p + 18/12 a multiple of 7?
False
Is (11 - 8) + 1 + -1 a multiple of 3?
True
Let i(f) = 41*f**2 + f. Is i(1) a multiple of 14?
True
Let t(h) = -4*h + 12. Is t(-8) a multiple of 22?
True
Let b be 2/(-5) + (-2052)/20. Let s = -71 - b. Let x = 59 - s. Is 17 a factor of x?
False
Is 5 a factor of -1 - (2 + -15 + 3)?
False
Suppose -6*y + 2*y + 40 = 0. Does 10 divide y?
True
Suppose 0 = -5*k + 5*r + 485, 0*r - r = -4*k + 379. Does 7 divide k?
False
Let u be (-11)/4*(-16)/2. Let x = -10 + u. Does 3 divide (-2)/8 + 39/x?
True
Let s = -25 - -35. Let b = 21 - s. Is b a multiple of 3?
False
Suppose -5*d - 3*f + 25 = 0, 5*f + 7 = 4*d - 13. Suppose 11 = 5*y - d*u - 34, 0 = 5*u + 20. Is 3 a factor of y?
False
Let j(o) = -14*o - 1. Let t be j(-1). Let b = t + 2. Is 15 a factor of b?
True
Let n be (2/4)/(4/16). Suppose -n*w - 2*w + 348 = 0. Is 11 a factor of 1/9*3*w?
False
Let p(z) = 0 + z - 1 - 1.