 -1. Suppose 4*z - 3*z = -4*b + g, z = b + 28. Is z a multiple of 9?
False
Is (5 - (3 - 2))*7 a multiple of 14?
True
Let c(o) = 3*o + 6. Let r = 0 - -7. Does 9 divide c(r)?
True
Let r(v) = 4*v**2 - 3*v - 6. Let f(u) = u - 17. Let x be f(11). Let b be r(x). Suppose -3*j + b = -0*j. Is j a multiple of 26?
True
Suppose 3*s - g - 8 = -0*s, 8 = 5*s + g. Suppose 2*a - s*t - 6 = -5*t, a - 8 = t. Suppose 3*n - a = 69. Is n a multiple of 13?
False
Let n(g) = g + 6. Let c be n(-6). Suppose i = -2*i - 5*s + 317, c = 4*i - 2*s - 414. Suppose 4*l + 2*m = i, -m + 5*m = -l + 26. Does 9 divide l?
False
Let f = -32 - -128. Suppose a = 0, 0*a + 2*a = -4*d - f. Let q = 42 + d. Does 18 divide q?
True
Let d = 1 - -2. Suppose -d*t + 16 = t. Does 8 divide 59/3 - t/6?
False
Suppose -5*n + 3*n + 3*z = 7, 4*z = -5*n + 17. Is n/(-3) + (-134)/(-6) a multiple of 7?
False
Suppose 5*m = 2*m. Suppose -2*f = -5*f. Suppose -x + f*x + 10 = m. Does 7 divide x?
False
Suppose 0 = b - 2*b - 6. Let t be 44/12 - 2/b. Suppose 28 = p - t*j + 2*j, 2*p - 3*j - 51 = 0. Is p a multiple of 8?
False
Let c(t) = 33*t + 3. Let h be c(-2). Let j = h - -127. Is 23 a factor of j?
False
Suppose -6*o - 144 = -9*o. Is 24 a factor of o?
True
Suppose 4*y + 5*c = 165, y = -3*y - 3*c + 155. Is 2*(-3)/(-6)*y a multiple of 7?
True
Suppose -3*t - 6*u + 203 = -u, -4*t + 276 = 4*u. Is 13 a factor of t?
False
Let y be (-6)/(-9) - 2/3. Is 0 - y - (0 - 12) a multiple of 6?
True
Let g(l) = 16*l**2 + 59*l + 24. Let n(o) = -3*o**2 - 12*o - 5. Let f(j) = 2*g(j) + 11*n(j). Suppose 12 = w - 3*w. Does 11 divide f(w)?
False
Suppose -7*v + 12*v - 360 = 0. Is 10 a factor of v?
False
Let m = 12 - 9. Suppose 2*s = -d + 96, -s = -m*d - 59 - 3. Is s a multiple of 16?
False
Let d(c) = 16*c - 15. Let y be d(-11). Is 24 a factor of y/(-4) + 9/36?
True
Let c = 0 - -1. Let t be c*(-2 - (-4 + -2)). Suppose -5*y - 82 = -t*g + 28, -y = -4*g + 102. Is 14 a factor of g?
False
Let g be 5/(-15) - 250/(-3). Let o = g - 38. Is o a multiple of 15?
True
Suppose -2*b = -w + 10 + 9, -3*b = -4*w + 76. Let t be w/5 - 7/(-35). Suppose 3*r = t*r - 7. Does 2 divide r?
False
Suppose -2*h - 157 = -5*d, 2*d - 4*h = -5*h + 61. Is d a multiple of 2?
False
Let r(v) = -v**3 + 6*v**2 + 18*v - 7. Is r(7) a multiple of 10?
True
Let c(b) = 3*b. Let k be c(1). Suppose -3*i + k*m = -62 + 23, -3 = -3*m. Is i a multiple of 3?
False
Let r(t) = t**3 - 7*t**2 + 2. Let n be r(7). Suppose n*b - 4 = 4. Suppose 52 = -b*k + 164. Does 14 divide k?
True
Suppose 0 = -3*n + 2*n - 4*o - 8, 3*o + 6 = 0. Suppose u - 5*i = 17, n*i - 58 = -2*u - 2*i. Does 13 divide u?
False
Let n = -18 + -1. Let k = 0 - n. Suppose 11 = 2*y - 5*p, 2*y + 3*p + 0*p = k. Does 8 divide y?
True
Let x = 8 + -5. Let i(z) = x*z**2 + z**3 + 8 - 3*z - 8. Does 7 divide i(2)?
True
Let i = -44 + 60. Is i a multiple of 8?
True
Let w = -142 - -241. Is w a multiple of 11?
True
Suppose -4*o - 29 = -3*n, 4*o = -o + 20. Suppose r - n = -4*r. Suppose -r*u - 9 = -33. Is 8 a factor of u?
True
Let x(b) = b**3 - 16*b**2 + 17*b + 5. Is x(15) a multiple of 7?
True
Let h(x) = 0 + 4*x + 7 + 3*x. Let l be h(-5). Let a = 46 + l. Does 11 divide a?
False
Let l be (-1 - -7)/(-2) + 9. Let b be l/(-2) + (-3 - -7). Let i(d) = 9*d**2 - 2*d + 1. Does 8 divide i(b)?
True
Let p = 121 - -74. Suppose 39 - p = -6*t. Is 7 a factor of t?
False
Suppose -1447 = -5*p - 557. Suppose -2*s + 7*s = n + p, 4*s = 2*n + 140. Is 18 a factor of s?
True
Let s(r) be the third derivative of r**5/30 + r**4/3 - 2*r**3/3 + r**2. Does 16 divide s(-6)?
False
Is 2 - -100 - (5 - 2) a multiple of 10?
False
Let v(k) be the second derivative of -k**3/3 + 75*k**2/2 - k. Is v(0) a multiple of 28?
False
Let k(c) = 7*c**2 + 4*c + 3. Let z be k(-2). Suppose 5*w + f = -0*f + z, f = 3. Suppose 2*v = w*t + 4, t + 22 = v + 3*t. Does 10 divide v?
False
Suppose 0 = -6*d - 32 + 200. Does 28 divide d?
True
Let t(x) = x - 10. Let j(k) = 2*k**2 + 3*k + 3. Let z be j(-2). Let b be t(z). Is (-1 + b)/((-6)/9) a multiple of 9?
True
Let o(m) = -17*m + 7. Is 19 a factor of o(-4)?
False
Let f = -1 + 1. Suppose -u - g + 1 + 7 = f, g = 4*u - 7. Is 2 a factor of u?
False
Let q = 81 - 30. Is 17 a factor of q?
True
Does 10 divide (-113)/((-2)/(4 + -2))?
False
Suppose -4*f + 3*x + 185 - 41 = 0, 0 = -f - 3*x + 36. Does 11 divide f?
False
Let r = 6 - -3. Suppose -4*m - 3 - r = 0. Let y(j) = 3*j**2 - 3. Is 9 a factor of y(m)?
False
Suppose 3*r - 5 = 3*o - 2, 2*r = o - 2. Let a = 0 - r. Suppose -c + a*k + 3 = 0, -29 + 9 = -2*c - k. Is c a multiple of 5?
False
Suppose 3*p - 17 = u, -5*u - 48 - 20 = 2*p. Let o = u - -22. Does 8 divide o?
True
Suppose -5*j = -4*q + 3, -5*q + j + 13 = -17. Suppose x + 162 = q*x. Is 9 a factor of x?
True
Suppose b = 5*b - 80. Does 6 divide b?
False
Let m = -11 - -9. Let s(h) = -3*h - 4 + 1 - 3*h. Does 9 divide s(m)?
True
Suppose -54*p + 51*p = -93. Does 2 divide p?
False
Suppose 5*j - 5*c = 2*j + 98, 0 = -4*j + 3*c + 127. Does 12 divide j?
False
Let o = 22 - 32. Let x be -24*((-1)/(-1) - 2). Let i = o + x. Is 5 a factor of i?
False
Let c(q) = -2*q - 7. Let r = 15 + -21. Is c(r) even?
False
Let q be (-2 - -1)/((-1)/(-7)). Let x = q + 11. Suppose 0 = -3*o - 4*k + x, 5*o + 2*k + 3*k = 15. Is o a multiple of 4?
True
Let a(g) = 22*g**2 - 3. Let z be a(2). Let s = 145 - z. Does 20 divide s?
True
Let l be (-5 - 1)*5/(-2). Let h = 1 - 2. Let j = l - h. Does 6 divide j?
False
Suppose -3*o - 9 = -5*u, u + 15 = 6*u. Is ((-3)/o)/(5/(-40)) a multiple of 6?
True
Let i(c) = -c - 3. Let k be i(-6). Suppose -5*p - 71 = -l, p - 332 = -5*l + k*p. Does 22 divide l?
True
Let u be -3 - 0 - -6 - -8. Suppose q + 0*q = u. Does 5 divide q?
False
Suppose 2*i = -d + 24 + 230, -4*i - 1228 = -5*d. Does 13 divide d?
False
Let m = -78 - -90. Is m a multiple of 3?
True
Let n be ((-136)/(-20))/(1/(-5)). Let s = n + 55. Suppose -85 = -4*d - s. Is d a multiple of 8?
True
Suppose -3*k = -5*m + 35, 5*k + 21 = -m - 0*m. Let w = 1 + m. Suppose -w*l + 6*l = 28. Is 9 a factor of l?
False
Suppose 5*n - n - 80 = 0. Suppose n = b - 41. Does 24 divide b?
False
Let y = -27 + 142. Does 23 divide y?
True
Let p(b) = 2*b**3 - 2*b**2 - 4*b + 4. Is 7 a factor of p(3)?
True
Suppose 12 = -0*i + i. Is i a multiple of 12?
True
Is 4 - ((-3924)/27 + (-2)/3) a multiple of 25?
True
Suppose 5*h - 8*h = 0. Let w = 13 + h. Is 13 a factor of w?
True
Let l be 139/2 - 5/10. Suppose -5*d = -l + 24. Is d a multiple of 9?
True
Let y = 1 - -4. Let k = 5 - y. Is 7 a factor of 0 + (k + 19 - 1)?
False
Let l(n) = 24*n**2 + 5*n. Let j be l(-12). Is 16 a factor of 4/10 - j/(-60)?
False
Suppose -13 - 212 = -5*f. Suppose 4*o - 27 = -7. Suppose -2*s + f = o*p, 0*p + p - 2*s - 9 = 0. Is p a multiple of 5?
False
Suppose 19 - 7 = -4*h. Let c = h - -13. Is 3 a factor of c?
False
Does 16 divide (1 - -15)/((-8)/(-20))?
False
Let g = 5 + 0. Suppose g*o - 4 - 26 = 0. Is o a multiple of 3?
True
Suppose 35 = 5*w - 2*v, -w - v + 5 = -9. Suppose 2*f - 51 = p, 3 = p + 2. Let o = f - w. Does 14 divide o?
False
Let o(u) = 43*u**3 - 2*u**2 + 1. Let w = -7 - -8. Is 10 a factor of o(w)?
False
Is -4 - -1 - (3 - 68) a multiple of 8?
False
Let t = 41 - 26. Let l = t + 0. Let b = 26 - l. Is b a multiple of 11?
True
Let l be (0 + -2 + 1)*23. Let y = -45 - -32. Let r = y - l. Does 5 divide r?
True
Suppose -2*g + 0*g = 4, -124 = -5*t - 3*g. Suppose -4*f + f = -45. Let w = t - f. Does 11 divide w?
True
Let k(f) = f**3 + f**2 + 8. Let z be k(0). Let w = -7 - -2. Let y = w + z. Does 3 divide y?
True
Let v(g) = -g**3 + 11*g**2 + 4*g - 4. Let l be v(10). Suppose 40 = 4*y - l. Is 11 a factor of y?
True
Let h(p) = -4*p - 1. Let z = -5 + 11. Suppose 3 = -3*n - z. Does 8 divide h(n)?
False
Let x(h) = h. Let y be x(-4). Let w(c) = c + 6. Let t be w(y). Is 8 a factor of (1*2)/(t/8)?
True
Suppose 0 = -4*q + 8, 0 = -x + 4*x + 5*q - 25. Suppose -x*k = -58 - 182. Does 13 divide k?
False
Suppose 4*q = -r - 144, 2*r + 0 = 2*q + 62. Let a = q + 51. Does 16 divide a?
True
Suppose -2*j - j = -174. Suppose 0 = -4*u + j + 62. Suppose -w = i + w + 5, -i + 5*w + u = 0. Is i a multiple of 2?
False
Let z(r) = -6*r + 4. Suppose -2*l + l = 4. Is 14 a factor of z(l)?
True
Suppose 0 = -2*j + 6 + 18. Is j a multiple of 7?
False
Let q(y) = -y**3 - 9*y**2 + 4*y + 6. Is 22 a factor of q(-10)?
True
Su