= b - 0*b - 40. Let g = 80 - b. Suppose -g = -3*z - 4. Is z a multiple of 4?
True
Suppose -22 - 38 = -2*r. Does 6 divide r?
True
Let p be (-96)/(-54) - (-2)/9. Let h be -3 - (2/p + -7). Suppose 4*j - l = 268, -69 = -j - h*l - 2. Is 23 a factor of j?
False
Let n = 93 + 225. Let k = -164 + n. Is 10 a factor of k/8 + 2/(-8)?
False
Let x = 282 - 43. Is 22 a factor of x?
False
Let r = 15 + -11. Let c = r - -8. Is 4 a factor of c?
True
Suppose -3*z = 5*k - 9, 3*z = 3*k + 2*k + 9. Is (k + 1 - 3)*-18 a multiple of 12?
True
Let a(o) = -o**2 - 10*o. Let p be a(-10). Suppose p = -5*c + 5*i + 190, 2*i = -c - 3*c + 134. Is c a multiple of 9?
False
Let b be (-129)/(-6) - 2/(-4). Let d be 18/b + (-2)/(-11). Is 8 a factor of 8/(d/(3 + -2))?
True
Let l = -2 - -4. Let m = 3 - l. Does 2 divide -1 + 6 - (m - -1)?
False
Suppose -3*w + 1680 = 13*w. Is 15 a factor of w?
True
Let z = 115 + -30. Let u = z - 55. Does 7 divide u?
False
Let x = 114 - 48. Does 8 divide x?
False
Suppose -48 = -q + 131. Is 32 a factor of q?
False
Suppose 0 = t + 4*m + 1 - 6, -3*m + 10 = 2*t. Suppose -38 = -t*b - 2*d, -d + 22 = 5*b - 3*d. Suppose -2*k + b = -18. Does 12 divide k?
True
Suppose 1 + 2 = -3*k. Let n(s) = -29*s**3 + s**2 + s + 1. Is n(k) a multiple of 15?
True
Let x(c) = c**3 + 12*c**2 + 2*c - 21. Does 33 divide x(-11)?
False
Let b(q) = -13*q - 34. Is 21 a factor of b(-15)?
False
Let u(p) = -p**3. Let d(z) = 3*z**3 + 4*z**2 + 2. Let c(t) = d(t) + 4*u(t). Let i be c(4). Suppose 0 = i*b + 2*b - 16, -5*n + 5*b = -20. Is n a multiple of 8?
True
Does 13 divide 9 - ((-1 - 2) + -1)?
True
Let t(j) = 10*j + 23. Is 13 a factor of t(9)?
False
Let v be (6/(-3))/((-4)/6). Suppose -3*a = 5*z - 134, -3*z + 0*a + v*a + 90 = 0. Is z a multiple of 9?
False
Is 10/(-50) + (-196)/(-5) a multiple of 13?
True
Let x(h) = -h**2 + 8*h + 1. Does 13 divide x(6)?
True
Let j(m) = -m - 4. Let z be j(0). Is (z/6)/((-1)/3) even?
True
Let i(s) = s + 4. Let u be i(0). Suppose -u*q = q - 480. Suppose a + 3*z = 32, 3*a - 5*z = -0*a + q. Does 11 divide a?
False
Let n(g) be the second derivative of 0*g**3 - 13/10*g**5 + 1/2*g**2 + 2*g - 1/6*g**4 + 0. Is n(-1) a multiple of 20?
False
Let p = 28 - 14. Does 3 divide p?
False
Does 43 divide 254 + ((-6)/5)/(69/(-230))?
True
Suppose -4*d + 2057 = 5*g - 5*d, 0 = -4*g - 2*d + 1640. Does 53 divide g?
False
Suppose -2*v + 8 = -v. Suppose 0 = -2*i + o, -4*o - 4 = -5*i + 2. Let n = v - i. Is n a multiple of 5?
True
Suppose 2*t = 2*b - 2*t - 12, -4*b - 5*t + 24 = 0. Suppose -4*s = b - 78. Is 6 a factor of s?
True
Let y(r) be the third derivative of r**5/24 + r**4/24 - 2*r**3/3 - 3*r**2. Let d(f) be the first derivative of y(f). Does 10 divide d(2)?
False
Suppose m + 0*m + 4*l + 8 = 0, 0 = -2*m - 4*l - 8. Suppose m = -2*a + 7*a - 25, -5*a + 235 = 5*t. Does 5 divide (-2)/(-1)*t/7?
False
Let a = 3 + 1. Let d be (-2 - 8)/(a/(-6)). Is 5 a factor of d/5*2*2?
False
Let v(m) = -m**2 - m + 6. Let q be v(0). Let i be 2*1*15/q. Is 11 a factor of i/15*(52 + -1)?
False
Let b = 149 - 99. Does 10 divide b?
True
Suppose 27 - 197 = -5*x. Is x a multiple of 11?
False
Suppose -g + 112 = 3*g. Suppose 0 = -q + 2*p + g, 4*q = 6*q - 2*p - 62. Does 20 divide q?
False
Let c be (36/15 - 2)*-20. Let j be (-11 - c) + 3 + 0. Suppose -2*g + j*m + 26 = m, 3*m - 54 = -4*g. Is 8 a factor of g?
False
Suppose -3*n + 70 = -2*n. Does 14 divide n?
True
Suppose 882 = -0*h + 6*h. Is 16 a factor of h?
False
Let f = -10 + 14. Suppose f*n - 122 = 130. Is 14 a factor of n?
False
Suppose 46 = w + 2*s, 0 = 4*w + s + 3*s - 164. Let x = 67 - w. Is x a multiple of 13?
False
Let p(v) be the second derivative of v**3/3 - 7*v**2/2 - 2*v. Let r be p(5). Suppose -4*w = -3*c - 0*w + 1, 8 = -c + r*w. Is c a multiple of 5?
False
Let r(j) = j**2 - 3*j - 6. Let z(f) = 2*f**2 - 5*f - 12. Let g(t) = -7*r(t) + 4*z(t). Let l be g(-6). Let w = 46 - l. Is w a multiple of 11?
True
Suppose 4*d + d = -10. Let r(c) = -c. Let f be r(d). Let b = 27 - f. Is 9 a factor of b?
False
Suppose 15 + 13 = -2*x. Is 7 a factor of (9 + -3)*x/(-4)?
True
Let x = -23 - -36. Let r(v) = v**3 + 6*v**2 + 5*v + 1. Let i be r(-5). Let j = x - i. Is j a multiple of 9?
False
Does 6 divide ((-135)/(-30))/((-2)/(-12))?
False
Let t = 9 - 7. Does 26 divide (-55 - (-1 - t))/(-1)?
True
Let p = 2 - 3. Let w be (p - -1) + 0 + -3. Does 11 divide 33/6*w*-2?
True
Suppose 5*a + 3*z - 512 = 0, 2*z - 12 = -a + 89. Let x = a + -53. Does 13 divide x?
False
Let i = -4 + 6. Is i*1 - (-12 - 2) a multiple of 16?
True
Let r(f) = -5*f**2 + f - 10. Let d(x) = 14*x**2 - 4*x + 30. Let q(o) = 6*d(o) + 17*r(o). Let z be q(-8). Suppose -z*t = 13 - 51. Does 10 divide t?
False
Let h be 55/20 - 2/(-8). Suppose -3*s - h = 6. Let p(i) = i**3 + 3*i**2 - 2*i - 3. Does 3 divide p(s)?
True
Let a = 8 - 14. Let d be (3/a)/(2/(-12)). Suppose d*j - j = 16. Is 4 a factor of j?
True
Let i(h) = -h**3 - 8*h**2 + 8. Let g be i(-8). Suppose -g*k + 4*k = 0. Suppose k = -4*j - 0*j + 32. Is 8 a factor of j?
True
Let h = -2 - -17. Let k = h - 5. Is 10 a factor of k?
True
Is -3 + (-3 - (-39 - 4)) a multiple of 8?
False
Suppose 5*l = 0, 3*l + 228 = 3*u + u. Suppose 81 = 2*v - u. Does 20 divide v?
False
Suppose 3 = 4*y - y, 3*y - 111 = 4*n. Let p = n - -16. Let d = 18 + p. Is d a multiple of 3?
False
Let y = 29 + -19. Suppose -g - 4 = -0*g, -y = -5*l - 5*g. Is 3 a factor of l?
True
Let n(j) = 2*j - 5. Let v be n(7). Suppose -v - 7 = -4*x. Suppose -4*t - 3*o = -x*o - 28, 0 = 4*t + 3*o - 12. Is t a multiple of 4?
False
Let b = 3 + -4. Let o be -2 + (2 - b) - -3. Suppose -143 = -o*l + 9. Is 19 a factor of l?
True
Let m be (-2 - -1) + 0 + 46. Suppose 3*f - 5*q = -7 - 19, -3*q = 3*f + 66. Let b = m + f. Is b a multiple of 9?
False
Let v = -30 - -42. Is v a multiple of 6?
True
Let g be 6/2 - (-3 - -7). Suppose 2*f - 83 = -5*u + 18, 4*f + 64 = 4*u. Is 9 a factor of 2*g + u + 1?
True
Let s(a) = 15*a - 7. Does 4 divide s(2)?
False
Suppose -4*d - 192 = -7*d. Is 16 a factor of d?
True
Does 8 divide 2*(-3)/(-2) - -21?
True
Suppose -11*q = 1085 - 3758. Is 27 a factor of q?
True
Let k(x) = x**3 - 12*x**2 + 12*x - 8. Let r be k(11). Suppose 8 = -f + r*f. Is f a multiple of 3?
False
Let k be (-9)/15 - (-729)/15. Suppose 0 = v - 5*u + u - k, -5*u + 59 = 3*v. Suppose v = 2*g - 12. Is g a multiple of 10?
True
Suppose 2 - 62 = -3*u. Is u a multiple of 8?
False
Let s = -146 - -209. Is 21 a factor of s?
True
Suppose -4*b + 159 = -z, -3*b + 4*z + 50 = -79. Suppose -4*c - 12 = 0, -4*i = 2*c + c - b. Is i a multiple of 12?
True
Suppose 5*q - 4*r = 2*q - 4, 2*q - 5*r = -12. Suppose -q*f - 3*b = f - 14, -10 = 5*b. Suppose 4*u = -f*k + 12, u - 56 = -5*k - 21. Is k a multiple of 3?
False
Is 6 a factor of -1 + 8 - 2/2?
True
Let d = -27 + 8. Let q = 41 + d. Is 11 a factor of q?
True
Suppose -g + 5*g + 24 = 0. Let h = g - -28. Does 9 divide h?
False
Let n = 256 - 129. Does 19 divide n?
False
Let c = -57 - -99. Is c a multiple of 7?
True
Let c(j) = j**2 - 3*j + 4. Does 21 divide c(7)?
False
Let l = -12 + -94. Is 3*l/(-6) + 3 a multiple of 13?
False
Is 4 a factor of ((-36)/(-63))/((-2)/(-35))?
False
Suppose 2*l - 1 = -r - l, 27 = 3*r - 3*l. Let q(j) = -j**3 + 8*j**2 - 3*j - 9. Is 5 a factor of q(r)?
False
Suppose i - 425 = -3*i - 3*c, c + 309 = 3*i. Suppose -r - i = -2*b, -r - 4*r - 214 = -4*b. Is b a multiple of 17?
True
Let a = -541 - -910. Is a a multiple of 11?
False
Suppose -31 = 9*f - 10*f. Is f a multiple of 20?
False
Let x be (2 - -1) + -2 + 18. Suppose 2*c + 30 = 2*z, -5*c + 4*c = z - x. Let n = 30 - z. Is 12 a factor of n?
False
Suppose -4*l + 219 = -53. Suppose 0*t = -2*t + l. Is t a multiple of 17?
True
Let p(i) = i**2 + 136. Does 34 divide p(0)?
True
Suppose 4*l = 7*l - 3*i - 207, 3*l - i = 203. Does 16 divide l?
False
Let t(w) = 4*w - 1. Let k = 3 + -2. Let p be t(k). Let m = p + 3. Is 5 a factor of m?
False
Suppose s - 5*s = -176. Suppose -r + 4 = -s. Is 21 a factor of r?
False
Suppose -2*i + 4*s + 364 = 0, 928 = 5*i - 3*s + 2*s. Does 26 divide i?
False
Let t(l) = l + 1. Let c(d) = d**3 + d**2 + 5*d + 5. Let p = -8 - -7. Let h(j) = p*c(j) + 3*t(j). Is h(-3) a multiple of 11?
True
Suppose -4*t + 0*t + 912 = 0. Suppose 0*k = 4*k - t. Does 10 divide k?
False
Let w(z) be the first derivative of 11*z**4/4 - z**3/3 - z**2/2 + z + 5. Is w(1) a mu