 Is -1 - (d - 2 - x) a multiple of 3?
True
Let k = 1 - 1. Suppose -3*t + 3 = k, l - t + 54 = -0*t. Let r = l + 83. Is 10 a factor of r?
True
Let w(q) = -q**2 + 8*q - 3. Let b(k) = -k**3 - 10*k**2 + 11*k + 5. Let v be b(-11). Is w(v) a multiple of 6?
True
Let w(v) = -2*v + 7. Let f be w(5). Let a = f + 9. Suppose a*k + x = k + 37, 0 = k - x - 11. Is 8 a factor of k?
True
Suppose -2*v + 135 = -5. Does 14 divide v?
True
Let b(u) = -u**3 + 11*u**2 + 2*u - 4. Does 13 divide b(11)?
False
Suppose 0*n - 6 = -3*n. Suppose 0 = -3*g, 0 = -n*o - 2*o + 4*g + 252. Does 21 divide o?
True
Let v(o) = o**3 - 4*o**2 + 4*o + 1. Let c be v(3). Suppose 5*t = 3*g - 4*g - c, -5*g = -t - 32. Does 2 divide g?
True
Suppose b = 36 - 11. Is b a multiple of 25?
True
Let b(m) = -m**2 + 63. Let p be b(0). Suppose -4 - 33 = w. Let d = p + w. Does 10 divide d?
False
Let v = 281 - 201. Is v a multiple of 20?
True
Suppose -v + 26 = -d - 9, -3*v + d + 105 = 0. Does 15 divide v?
False
Let t = 8 - 9. Let r be 4*t/(-2) - -40. Let k = r - 26. Is k a multiple of 8?
True
Let q = 2 - 0. Let n be 8*-2*q/(-8). Suppose n*t - 79 = 49. Does 16 divide t?
True
Let o(w) = -6*w**2 + w - 1. Let k be o(1). Is -9 - k - (-8 + -1) a multiple of 4?
False
Let r(z) = z**3 - 8*z**2 + 2*z - 4. Let s(p) = -p**3 + 6*p**2 - 3*p - 2. Let l be s(5). Does 7 divide r(l)?
False
Let a(b) = -b**2 + 9*b + 5. Does 4 divide a(8)?
False
Suppose 7*n - 4*n = 15. Suppose n*q - 2*q = 45. Suppose 0 = 2*u + 4*j, -4*u + q = j + 2*j. Is u a multiple of 6?
True
Let b(y) = -4 + y**2 - 3*y**2 - 2*y**2 + 5*y**2. Is b(-4) a multiple of 12?
True
Let u = -21 - -63. Does 14 divide u?
True
Suppose 4*b = -4*q + 604, 0*b + 5*b = 4*q + 710. Is 10 a factor of b?
False
Let v = 26 - -64. Suppose 2*c + 14 - v = 0. Is c a multiple of 19?
True
Suppose 4*r + 8 = 8*r. Suppose b - 273 = -r*b. Does 23 divide b?
False
Let c(a) = -15*a + 3. Suppose 2*x + 10 = 7*x. Let i be c(x). Let g = i - -61. Is 17 a factor of g?
True
Let c(d) = 58 - 5*d**2 - 58 + d**3. Does 18 divide c(6)?
True
Suppose 5*c - 124 = -444. Does 15 divide (3/6)/((-1)/c)?
False
Let o = 147 + -97. Does 25 divide o?
True
Suppose 5*l - 204 = -l. Is l a multiple of 8?
False
Suppose -f + 0*f + 5 = d, 0 = 3*f - 5*d - 55. Let t = -31 + 59. Suppose n - t = f. Does 13 divide n?
False
Is (6/(-10))/(4/(-100)) a multiple of 10?
False
Let g(i) = i**2 + 8*i - 3. Does 23 divide g(-14)?
False
Let c = 69 - 30. Is c a multiple of 26?
False
Let z(b) be the first derivative of -3*b**4/4 - 4*b**3/3 - 3*b**2/2 - 4*b - 1. Let v be z(-3). Is 20 a factor of v/(-3)*(-72)/30?
True
Suppose 0*a = a. Suppose c - 2 = 5*k, 2*k = 3*c - a*c - 6. Suppose k = 4*u - u - 15. Does 2 divide u?
False
Let u = 38 + 50. Is 24 a factor of u?
False
Is 13 a factor of (-13)/(-104) - (-511)/8?
False
Let i = -21 + 0. Let b = i + 358. Suppose -l + 3*y + 62 = 5*y, -5*l + b = y. Does 25 divide l?
False
Let v(l) be the first derivative of l**4/12 + l**3/3 - 2*l**2 + 4*l + 3. Let d(x) be the first derivative of v(x). Does 4 divide d(-4)?
True
Let z(v) = 2*v + 5. Let l be z(3). Suppose -l - 25 = -4*c. Is 3 a factor of c?
True
Let p(d) = -d**2 + d + 2. Let s be p(0). Let k = s - 2. Suppose 70 = -k*f + 2*f. Is 14 a factor of f?
False
Let u = -4 - -5. Suppose -3*r - u = 2*i, 2*r = -2*r + 5*i + 37. Is 5 a factor of 84/(-8)*(-2)/r?
False
Suppose 0*c = 3*c - 6. Suppose 2*g = -c*z - 2, -2 = -2*z + z - 2*g. Does 13 divide (-123)/(-9) - z/(-6)?
True
Suppose 5*s - 2*z + 213 = 551, -5*s + 339 = -z. Does 11 divide s?
False
Suppose -5*q + 67 = -4*q. Suppose q = 2*u - u. Is u a multiple of 23?
False
Suppose -i + y = 17, y = 2*y - 1. Let d = i - -55. Suppose -5*f = -4*m - 108, 4*m + m - d = -f. Is 8 a factor of f?
True
Let d be (-195)/(-27) - (-2)/(-9). Let z(x) = x**3 - 6*x**2 - 6*x - 3. Let p be z(d). Suppose p*g - 43 = -11. Does 4 divide g?
True
Suppose -5*u - j + 366 = 0, 0 = u - 0*j - 5*j - 94. Let v = 120 - u. Is 25 a factor of v?
False
Let n(j) be the first derivative of 2*j**3 - j**2 - j + 2. Is n(-1) a multiple of 7?
True
Let y = 141 - 89. Let b = y + 33. Does 17 divide b?
True
Suppose -6*c + 15 = -c. Suppose 74 = 3*s - o, -c*o - 40 = -0*s - 2*s. Let r = 8 + s. Does 14 divide r?
False
Let h be 11/(-22) - (-506)/4. Let l = h - 65. Does 18 divide l?
False
Suppose -3*w = -5*t + 103 + 12, 0 = 4*w. Suppose 4*y + t = 151. Does 16 divide y?
True
Let q be ((-2)/6)/((-3)/54). Let r(m) = -5*m - 5*m + 2*m + q. Is 13 a factor of r(-5)?
False
Let q(l) be the second derivative of 3*l**4/2 - l**3/6 + l**2 + l. Is q(2) a multiple of 24?
True
Let y(q) = -2*q - 1. Let c be y(-1). Let a = -7 - c. Does 3 divide 20/a*(-24)/15?
False
Let l be 2/(1 + (-5)/7). Let x = -3 + l. Suppose -30 = w - x*w. Is w a multiple of 4?
False
Is 0 - -2 - (-126 - -4) a multiple of 36?
False
Let x = 76 + -58. Is x a multiple of 3?
True
Let a be 5 - (6/(-2))/(-1). Suppose 2*z - 2*d - d = -2, 0 = -3*z + a*d + 7. Does 5 divide z?
True
Suppose a - 63 = -18. Suppose -3*f + 2*u = 93, 0*f + f = 2*u - 35. Let y = f + a. Is 9 a factor of y?
False
Let n(q) = -11*q - 9. Let c(s) = -6*s - 5. Let i(y) = -5*c(y) + 3*n(y). Is i(-2) a multiple of 4?
True
Suppose 2*u - 678 = -4*u. Does 16 divide u?
False
Let h be 1/(12/9 + -1). Let t = -1 + h. Does 2 divide t?
True
Let d = 4 + 14. Is 20 a factor of (d/12)/(2/80)?
True
Let b = 47 - 21. Is 11 a factor of b?
False
Let f = 58 - 39. Suppose -4*p - f = 13. Is p*(-1)/(-2)*-5 a multiple of 13?
False
Let x(n) = n**3 + n**2 + 11. Let j be x(0). Suppose h - 2*y = -2*h + j, h - 2*y + 3 = 0. Suppose -3*m - w = -4 - h, 0 = -5*m - w + 15. Is 2 a factor of m?
True
Let y = 11 - 3. Suppose -4*v - 1 + 20 = t, -3*v - 3 = -5*t. Suppose -c + y = -t. Does 8 divide c?
False
Let o be 0/3 - 6*1. Is 2 a factor of (-3)/(27/6)*o?
True
Suppose 2*b - 2 = 2*d, 2*b - 6 = -0*b - 2*d. Suppose -b*x + 34 = -4*v, 5*x + v - 81 = 26. Does 21 divide x?
True
Let p(z) = -z**2 + 9*z + 8. Suppose 0 = -5*c + 25, -33 = 4*v + 4*c - 5*c. Let i be p(v). Let t = -68 - i. Is 12 a factor of t?
True
Let y = 12 + -5. Suppose 0 = 3*b + g + y, b = 3*b - 3*g + 23. Is b/(-14) - 888/(-28) a multiple of 16?
True
Suppose 5*g = -3*m - 14 + 130, -5*m = -g - 156. Is 16 a factor of m?
True
Let v(n) = n**2 + n + 6. Let u(o) = -o**3 - 4*o**2 + 6*o + 2. Let k be u(-5). Is 12 a factor of v(k)?
True
Let c(m) = -5*m - 75. Is 9 a factor of c(-24)?
True
Let o = -5 + 8. Let u(p) = 6*p**2 - 3*p - 1. Is u(o) a multiple of 20?
False
Let n(z) = 6*z**2 - 5*z + 8. Let l(h) = -7*h**2 + 6*h - 9. Let d(i) = 5*l(i) + 6*n(i). Does 13 divide d(7)?
True
Let a be (-4)/24 + (-110)/(-12). Let r(c) = c**3 - 9*c**2 + 2*c + 4. Is 14 a factor of r(a)?
False
Let u(f) = 12*f - 2. Let v be 2 - (-1 + 0)/(-1). Let d be -4 + 3/v - -5. Does 14 divide u(d)?
False
Suppose -u = 7*d - 2*d - 110, -5*d - 4*u + 125 = 0. Suppose -4*h - 2*x = -8, 13 + 3 = 2*h - 2*x. Suppose -h*j + d = -99. Does 15 divide j?
True
Let l = 42 + 189. Does 33 divide l?
True
Suppose -4*w - 42 = -5*w. Let c = -6 + w. Is 17 a factor of c?
False
Let k = 1 - -5. Let p = k + 14. Is p a multiple of 8?
False
Let q(r) = -4*r - 3. Let a = -5 - -1. Does 12 divide q(a)?
False
Is 33 a factor of 164 - (0 + 1) - -2?
True
Let x be ((-210)/20)/((-2)/4). Suppose 2*m + x = 5*m + s, 4*s + 12 = 4*m. Is m a multiple of 6?
True
Suppose -5*x = 3*o - 1268, o + 8*x - 3*x - 406 = 0. Let i = o + -232. Suppose w + 0*w = 5*l - 208, -5*l = 2*w - i. Does 14 divide l?
False
Suppose 5*w - 2*j - 12 = 0, -3*w = 3*j + 2 - 26. Let n = w + 32. Is n a multiple of 10?
False
Suppose 48 = 3*z - 3. Is 7 a factor of z?
False
Is ((-1)/(1/(-192)))/(-1 + 2) a multiple of 52?
False
Suppose -4*s - 20 + 8 = -g, g - 3*s - 13 = 0. Suppose g + 18 = 2*h. Does 8 divide (0 - -1)*h + -1?
True
Suppose -d + 115 + 6 = 0. Does 15 divide d?
False
Is (-200)/(-15)*24/5 a multiple of 16?
True
Let a(x) = -2*x - 2. Let g be a(-5). Suppose -3*h - h - g = 0. Let t = h - -7. Is 2 a factor of t?
False
Suppose -4*u = -4*w + 197 + 267, 348 = -3*u - 4*w. Does 20 divide u/(-6) + 6/9?
True
Suppose 3 = u - 1. Suppose 2*m + u = 34. Let c = 1 + m. Is 8 a factor of c?
True
Let i(s) = -11*s - 2*s**2 + 2*s**2 - 6 - s**2. Let u be i(-10). Suppose u*q - q = 9. Is q a multiple of 2?
False
Let d = 32 + -59. Is ((-40)/(-6))/((-6)/d) a multiple of 8?
False
Suppose 37