= 2*b**2 + 4*b + 2. Let o be u(-2). Let i be o + 12/(0 - 3). Does 8 divide (2 - 2)/i - -8?
True
Suppose 5*q - q = 40. Is q a multiple of 5?
True
Suppose -5 - 4 = -4*u - 5*r, 5*u = r + 33. Let a(z) = z - 6. Let m be a(u). Suppose m = 3*p + p - 40. Does 4 divide p?
False
Let m(n) = -n**3 - 7*n**2 + 9*n + 11. Let d be m(-8). Suppose g - d*g = -60. Is g a multiple of 15?
True
Suppose 3*p = -2*p + 20. Let x(j) = 3*j**2 - 3*j + 4. Is x(p) a multiple of 14?
False
Let l(p) = -p**2 - 6*p - 5. Let u be l(-5). Let i = -1 + u. Let c(b) = -35*b - 1. Is c(i) a multiple of 13?
False
Suppose 2*z + 6 = 5*z. Suppose -9 = 5*r - z*r. Is 11 a factor of 17 - r - (-1 + -1)?
True
Suppose 7 = -4*j + 3. Let v = j + 9. Does 4 divide v?
True
Let d(a) = 8*a. Let f be d(1). Let n be f/28 + (-24)/(-14). Is 7 a factor of 11 + 2 + -4 - n?
True
Does 15 divide 2 + (-6 + 31 - -2)?
False
Let g(x) = -11*x**2 + 5. Let h be g(3). Let o = -52 - h. Is 12 a factor of o?
False
Suppose 15 = -3*k, -4*j + k + 260 = -3*k. Suppose -j = -5*q + 70. Is q a multiple of 13?
True
Let y be -3*-1*(0 + -1). Let a be -14*(y/6 + 1). Is 9 a factor of a*(2 + -1)*-2?
False
Is 9 a factor of 5*((-114)/(-10) + 0)?
False
Let i = -15 - -9. Let b = -3 - i. Suppose -b*f + 33 = 6. Is 9 a factor of f?
True
Suppose k + 184 = 5*k. Does 11 divide k + -1 + 3 + 3?
False
Suppose -3*c = -22 - 65. Let h = c + 1. Suppose -o - 4*b - 150 = -6*o, -o + h = -4*b. Is 12 a factor of o?
False
Suppose 0 = -2*n + 136 + 4. Is 14 a factor of n?
True
Suppose 5*y + 3*v - 179 = 0, -y - 21 = 3*v - 64. Does 5 divide y?
False
Is 19 a factor of 1/1 - 1452/(-11)?
True
Let z(a) = a**3 + 4*a**2 + a + 5. Let x be z(-4). Let u(v) = 20*v + 1. Is 7 a factor of u(x)?
True
Let y = -16 + 31. Let i = y + -12. Is i a multiple of 2?
False
Suppose 0 = -5*b - 2*w + w - 86, 2*b + 52 = 4*w. Let a = b - -28. Does 5 divide a?
True
Let i(b) be the second derivative of -b**5/10 - b**4/12 + b**3/6 - b**2 - b. Is 4 a factor of i(-2)?
True
Let f(g) = -g**3 - 4*g**2 + 4. Let h be f(-4). Suppose 0 = 4*q + 12, 4*q + 9 = s + 2*q. Suppose 2*v - 2*c - 26 = 0, s*v - 41 = -h*c + 26. Is v a multiple of 5?
False
Let j(m) = 5*m - 2 + 6*m - 2*m. Does 20 divide j(4)?
False
Suppose 2*o = 5*f - 0*o - 882, -4*o = 4. Is 11 a factor of f?
True
Let r = 82 + -9. Suppose -3*w + 12 = w, -4*o + r = -5*w. Suppose -o = -h - 0*h. Is h a multiple of 8?
False
Let c be (-4)/22 + 13/11. Does 6 divide -3*(-1 - (c + 4))?
True
Let x(y) = y - 24. Let s be x(0). Let h = -12 - s. Is h a multiple of 12?
True
Is 30 a factor of (-46 - -1)/(3/(-4))?
True
Suppose -6*b + b + 189 = 3*x, -3*b = -5*x - 93. Is b a multiple of 12?
True
Let r(f) = -f**3 + 12*f**2 + 15*f + 14. Does 10 divide r(13)?
True
Suppose 3*q = -2*z + 67, 3*q = 4*z + 2*q - 169. Suppose -3*c + 2*p + z = p, 3*c - 39 = 3*p. Is c a multiple of 7?
True
Let u(m) = -m**2 + 6*m - 3. Let d be u(5). Suppose 32 = 2*v + d*r, 7*v - 62 = 3*v - 3*r. Is 6 a factor of v?
False
Suppose 3*v + 10 = 8*v. Let m(d) = -4*d + v*d - d - 8. Is 5 a factor of m(-6)?
True
Let b(v) = 10 - 3 - 4 - v - 2. Is 10 a factor of b(-9)?
True
Suppose -2*r = 5*b - 2, 3*r + 3 = -5*b + 6. Let m = r - -1. Suppose -100 = -3*t - m*t. Is 11 a factor of t?
False
Let w = 49 - -51. Is 25 a factor of w?
True
Suppose d = 2, -5*b + 4*d = -d + 40. Let l = b - -8. Is 2 a factor of l?
True
Suppose -4*g + 2*w + w = 0, 5*w = g. Suppose 0 + 4 = -2*v, 5*t + 5*v - 85 = g. Does 4 divide t?
False
Suppose 5*t = -5, 0 = -q - q - 4*t + 62. Let x = q - 58. Let y = x + 48. Is 12 a factor of y?
False
Suppose 20 - 54 = k. Let u = k + 16. Is (-1)/(1 + u/15) a multiple of 5?
True
Suppose -5*j - 41 = -3*x, 4*j - x - 3*x = -36. Let z = j - -11. Suppose -l - 48 = -3*h - 4*l, 85 = z*h - 3*l. Is h a multiple of 11?
False
Let n(s) = s - 4. Let p be n(3). Let f = p - 1. Does 12 divide ((-6)/(-3))/(f/(-25))?
False
Suppose -c = -1 - 2. Is (-230)/(-8) + c/12 a multiple of 29?
True
Let n = 25 - 27. Let j(d) = -5*d**3 - 2*d**2 - 3*d - 3. Is 7 a factor of j(n)?
True
Let p be (2/(-3))/(6/(-18)). Suppose -19 + 1 = -b - 3*j, p*b - 57 = j. Suppose -4*z + 4 = 2*i - 32, -z + 4*i + b = 0. Is 7 a factor of z?
False
Let v = 73 - 31. Is 20 a factor of v?
False
Suppose -15 = 3*w + 3*h, 0*h - 5*h = -5. Let z be w/(-2) + 59 + 2. Suppose j = -j + z. Does 16 divide j?
True
Suppose -5*d + 4*d + 10 = 0. Is d a multiple of 10?
True
Let m = -13 + 8. Let d(z) = -2*z - 3. Does 7 divide d(m)?
True
Let s = 115 - 67. Suppose 2*w = 3*a - s, 4*a + 33 = -5*w + 120. Is 12 a factor of a?
False
Let b(q) be the first derivative of q**4/4 + q**3/3 + q**2/2 + 10*q - 2. Is b(0) a multiple of 10?
True
Let b be ((-4)/6)/(16/(-72)). Let j be (-3)/(2 - 17/8). Suppose b*c - c = j. Is c a multiple of 6?
True
Suppose 0 = 4*t - 20, -3*t - 6 + 1 = -4*c. Suppose -c = -2*z + 5. Suppose 0*y = -z*y + 50. Is y a multiple of 6?
False
Let y(j) = -3*j**3 - 6*j**2 - 7*j - 3. Let l(w) = 7*w**3 + 12*w**2 + 14*w + 6. Let p(a) = 2*l(a) + 5*y(a). Let z be (-5 - 5)*(-2)/(-4). Does 6 divide p(z)?
False
Let v = 52 + -28. Is 11 a factor of v?
False
Let m be 2 - -7 - 2/2. Suppose -3*v = -m*v + 165. Suppose -2*j = j - v. Is 11 a factor of j?
True
Suppose -2*a = 15 + 23. Let n = 32 + a. Is n a multiple of 13?
True
Suppose 0 = -n + 4*t + 19, -13 = -3*n + 3*t + 8. Let c(i) = -i**2 + 3*i. Let k be c(n). Suppose 45 = 2*q - 5*a, k*q + 25 = 4*q + 3*a. Is q a multiple of 10?
True
Is 3 a factor of 19/4 - (-12)/48?
False
Let s = 7 - 4. Is s a multiple of 3?
True
Is 3 a factor of (-1)/(16/6 + -3)?
True
Let i be (-2)/8 - 50/(-8). Let x(y) = 6*y - 5 - 4 + 5. Is x(i) a multiple of 14?
False
Let u(d) = 10*d - 6. Is 12 a factor of u(8)?
False
Let y(f) = f**2 + 7*f + 2. Let x = -3 + -3. Let t be y(x). Let l(k) = -8*k - 1. Is l(t) a multiple of 14?
False
Is ((-12)/(-9) + -2)/((-2)/93) a multiple of 14?
False
Does 2 divide (-3 + (-30)/(-14))/(2/(-70))?
True
Let s be ((-6)/(-4))/((-6)/56). Let v be ((-24)/(-7))/(2/s). Let f = -7 - v. Is 7 a factor of f?
False
Let o(l) be the first derivative of -l**4/4 - 8*l**3/3 - 4*l - 1. Let j be o(-8). Let c = 16 + j. Is c a multiple of 8?
False
Let v(g) = -14*g**2 - 2*g - 3. Let a be v(5). Does 8 divide a/(-12) + (-2)/8?
False
Let c(p) = -p - 8. Let r be c(-8). Suppose 4*h - 2*i - 20 = 2*i, -5*i = r. Does 3 divide h?
False
Is 25 a factor of 2 + 5/((-20)/(-92))?
True
Let u = -16 - -28. Let h(j) = j + 11. Let p be h(-7). Suppose -m = p*z + 10, m - z = -2 + u. Is 2 a factor of m?
True
Suppose 5*q = 2*q + 18. Let i = -1 + q. Suppose -i*v + 5*f = -140, 3*f + 97 = 4*v + 2*f. Does 13 divide v?
False
Suppose 5*f + 4*h = 1988, -4*f + 0*h = -4*h - 1612. Suppose -3*i + 4*j = -212, 5*i + 6*j - j = f. Suppose -b + i = 3*b. Is b a multiple of 13?
False
Let l(v) = v. Let s be l(7). Let z(k) = k**3 - 7*k**2 - 6*k + 5. Let q be z(s). Let y = -25 - q. Is y a multiple of 6?
True
Let v be 2/4*96/(-8). Let n(g) = -2*g - 8. Let k be n(v). Suppose -5*p = k*w - 70, 0 = 2*w - 0*w. Is 12 a factor of p?
False
Is (-5)/((-20)/144) - -2 a multiple of 8?
False
Suppose 96 = 5*z - p - 10, 0 = 2*z + p - 48. Is 7 a factor of z?
False
Let o(b) = -b**2 - b + 1. Let p(u) = 5*u**2 + 2*u - 3. Let h(g) = 4*o(g) + p(g). Is 15 a factor of h(-3)?
False
Let l(j) = 2*j + 2. Let h(c) = c**2 - 6*c + 6. Let q be h(6). Is l(q) a multiple of 7?
True
Suppose z = -3*t - 20, z + 5*t - 2 + 32 = 0. Let d(g) = -g**3 - 4*g**2 - 2*g + 5. Is d(z) a multiple of 10?
True
Suppose x = 3*x - 14. Suppose -w = x*o - 3*o - 10, 3*w + 5*o - 37 = 0. Is w a multiple of 14?
True
Let p = 56 - 28. Is p a multiple of 14?
True
Let v(l) = 75*l**2 - 11*l + 8. Let k(u) = 25*u**2 - 4*u + 3. Let c(t) = -11*k(t) + 4*v(t). Is c(-1) a multiple of 6?
True
Suppose -2*l = -l - 80. Does 16 divide l?
True
Suppose 4*k - 8*k = -140. Suppose 0 = -m + k + 4. Is 13 a factor of m?
True
Suppose 0 = -v - 5*f + 12, -4*v = v - 5*f. Suppose -2*b - 2*r = 0, v*b - 2*r = -3*r. Suppose b*t = -5*t + 145. Is 19 a factor of t?
False
Let r(j) be the first derivative of j**2/2 - 5*j + 5. Is 2 a factor of r(7)?
True
Let y = -67 - -218. Is 50 a factor of y?
False
Suppose -5*h + 761 = x, 0 = -4*x + 9 - 25. Is h a multiple of 17?
True
Suppose 3*b = b + 400. Is b a multiple of 25?
True
Does 20 divide (9 + -1)*11/((-44)/(-40))?
True
Let m = 13 + -9. Let p(u) = -u**3 + 5*u**2 -