6 = 0, 159 = 2*b - i. Is b a multiple of 8?
False
Let q = 4 - 5. Let b be q + 3 + 1 + -1. Suppose 4*t = 5*p + 101, 3*t - b*t + 4*p + 1 = 0. Does 9 divide t?
False
Let d(c) = c + 10. Is d(-4) a multiple of 4?
False
Suppose 4*a - 380 = -148. Does 16 divide a?
False
Let w(g) = -3*g**3 - 11*g**2 - 8*g + 11. Let c(d) = 4*d**3 + 12*d**2 + 8*d - 12. Let q(t) = 4*c(t) + 5*w(t). Is q(8) a multiple of 5?
False
Let t = -57 + 270. Is t a multiple of 28?
False
Let i = -26 + 16. Let s(x) be the third derivative of -x**5/60 - 5*x**4/12 + 4*x**3/3 + 2*x**2. Does 8 divide s(i)?
True
Suppose -5*w - 3*u + 43 = 0, -2*w = -w - 4*u - 4. Suppose -4*r = 2*v - 162, -4*r + v - 163 = -w*r. Is r a multiple of 18?
False
Is (-2)/((-8)/204) + 0 a multiple of 17?
True
Let x = 43 - 1. Is x a multiple of 14?
True
Suppose -5*d - 620 = -n, 4*d - n - 60 + 557 = 0. Let o be ((3 + d)/3)/(-1). Suppose 3*g - 5*c = o, 2*g - 2*c - 30 = 2*c. Is g a multiple of 5?
True
Suppose 3*u - 2*j = j - 27, -3*u - 4*j = -8. Let f = u + 55. Does 12 divide f?
False
Let i(h) = h + 9. Let p be i(0). Let j(q) = -2*q**2 - 4*q + 4*q**2 - q**2 + p. Is j(6) a multiple of 10?
False
Is 9 a factor of (-2)/9 - (-3 + (-872)/36)?
True
Let b be ((-36)/8)/(1/(-2)). Suppose -3*x + b + 24 = 0. Is 7 a factor of x?
False
Suppose -59*t = -57*t - 198. Is t a multiple of 9?
True
Suppose 0 = -6*t + 3*t - 84. Let f be (-24)/(-14) + (-8)/t. Is (-10)/(3/f - 2) a multiple of 10?
True
Let r = 17 + 23. Is r a multiple of 20?
True
Let k be 1/(2/(-8)*-2). Suppose -4*h = k - 10. Suppose 0 = -h*w + 118 - 26. Does 14 divide w?
False
Suppose -7*z = -2*z - 70. Let d = -21 + z. Let u = -3 - d. Is u even?
True
Let z(s) = s**3 + 4*s**2 - s - 2. Let a = 4 + -8. Let h be z(a). Suppose -r = -10 + h. Is 5 a factor of r?
False
Let i be (-4)/(-18) + 2040/54. Suppose -4*s = -6*x + 3*x - 73, 2*s - 2*x - i = 0. Is 8 a factor of s?
True
Suppose 0 = -3*r + 266 + 22. Suppose 5*s + 3*d - 160 = 0, 0*s - 3*d = 3*s - r. Is 16 a factor of s?
True
Let l = -16 + 20. Suppose 2*o - 86 = l*h, -2*o - 3*h + 96 = -2*h. Is 10 a factor of o?
False
Suppose -4*r = 2*f + r - 11, -4*r = f - 10. Let x be 12/18*(-15)/f. Suppose 13 = x*w - 127. Does 17 divide w?
False
Let f = 57 - -6. Is 2/((-6)/f*-3) a multiple of 7?
True
Let b(y) = y**2 + 0*y**2 - 2 + 0 + 3. Does 11 divide b(5)?
False
Let h(s) = s**2 - 7*s - 5. Let l be h(8). Suppose -r + l + 3 = 0. Is 14 a factor of 0 - 3*(-68)/r?
False
Suppose 6*d = 4*d + 10. Is d a multiple of 2?
False
Let f = 11 - 8. Let b(n) = n**3 - 2*n**2 + 3*n. Is 6 a factor of b(f)?
True
Let c be 0 - -2 - (-80)/5. Suppose -c = -a + 9. Does 9 divide a?
True
Let d be 4/18 + (-7)/(-9). Let c be -3*(0 - 6/2). Let z = c - d. Is z a multiple of 7?
False
Suppose 0*j + 4*u - 33 = -3*j, j - 27 = 4*u. Suppose -4*m + j + 3 = h, -4*h + 3*m = -167. Is 19 a factor of h?
True
Let k(a) = 6*a - 39. Is 8 a factor of k(18)?
False
Let z = -16 - -30. Is 8 a factor of z?
False
Is 8 a factor of 383/8 + (-3)/(-72)*3?
True
Let r = -8 + 11. Suppose -18 = z - r*z. Let y(w) = -w**2 + 13*w - 12. Is 12 a factor of y(z)?
True
Let v = -3 + 3. Suppose 2*h = u - v*h - 43, -3*u = -2*h - 121. Is u a multiple of 13?
True
Let x be 1/3 + 115/15. Suppose 5 = 5*t - 10. Suppose 31 = t*g - x. Does 13 divide g?
True
Let v(n) = n**2 - 4. Let s be v(3). Suppose q - s*q = -32. Is 8 a factor of q?
True
Let q(s) = -12*s**3 + s**2 - 4*s - 3. Let o be q(-2). Suppose -o = -4*l + 2*u + u, 0 = -4*l + 5*u + 111. Is 8 a factor of l?
True
Is (-244)/(-10) + (-14)/35 a multiple of 6?
True
Suppose 2*l = -l. Does 8 divide 1 + l/2 + 13?
False
Let i = 1 - -3. Suppose y - 2 = -3*u + 2, -4*y = i*u + 8. Suppose -15 = -u*a + 18. Is 11 a factor of a?
True
Let y(n) = -n**2. Let i(b) = 9*b - 5. Let o(r) = i(r) + y(r). Let g be o(8). Suppose -p + g = -4*j, -6*p + 3*j + 6 = -4*p. Does 3 divide p?
True
Let r = -128 - -238. Is 22 a factor of r?
True
Let y(i) = 9*i**2 + 5*i - 23. Let c(p) = 4*p**2 + 2*p - 12. Let a(o) = -7*c(o) + 3*y(o). Let n be a(0). Let j = 40 - n. Does 11 divide j?
False
Let o(k) = k**3 + 2*k**2 - 4*k - 1. Suppose 0 = 3*s - c - 6, 4*s - 5 = -c + 10. Let p be o(s). Suppose 6*a - 4*a - p = 0. Is 8 a factor of a?
True
Does 15 divide (169 - 16)/(3/2)?
False
Let b(x) = x + 5. Suppose -d - 7 = -2. Let u be b(d). Suppose -4*g + 105 - 25 = u. Is g a multiple of 20?
True
Suppose 2*c - 4 + 0 = 0. Suppose c*r = i + 8, 3*i + r - 8 = -r. Let d(o) = -o**3 + 18. Is d(i) a multiple of 18?
True
Let v = -193 - -277. Does 14 divide v?
True
Suppose 5*s = -3*a + 13, 2*a + s = -0*a + 11. Let d(w) = 3*w**2 + 4*w + 3. Let m be d(-1). Is 111/a - 1/m a multiple of 18?
True
Let f = 1 - 2. Let l = f - -4. Suppose -a + 5*m = -l*a + 16, -5*a - m + 40 = 0. Does 8 divide a?
True
Let m(j) = -52*j**3 + 2*j - 1. Let o be m(1). Let v = -9 - o. Is v a multiple of 21?
True
Let b(a) = a**3 - 7*a**2 + 2*a + 1. Let q = -8 - -13. Let g be b(q). Let m = g - -81. Does 21 divide m?
True
Let j(z) = 65*z**2 - 2*z + 1. Let w(g) = -g**2 + 11*g + 13. Let d be w(12). Is j(d) a multiple of 14?
False
Let q(g) = -2*g + 6. Does 8 divide q(-13)?
True
Let g(u) = 30*u + 3. Is g(1) a multiple of 7?
False
Let m(z) be the second derivative of z**4/12 + 3*z**3/2 + z. Let k be m(-9). Is (1 - -57) + k + -1 a multiple of 20?
False
Suppose 0 = -g + 3, -3*q + g + 30 = -g. Does 6 divide q?
True
Let z(q) = 15*q + 10. Does 15 divide z(3)?
False
Suppose 5*i = 1 - 6, 3*i - 197 = -5*b. Is 3 a factor of b?
False
Let p = 9 + -6. Suppose -3*f = 3*y + p - 0, 2*y - 23 = 3*f. Does 4 divide y?
True
Let d = -61 + 94. Let v = d - 23. Does 4 divide v?
False
Suppose -4*v = -8 - 28. Suppose 0 = 5*k - 11 - v. Is k even?
True
Let n = 60 + -25. Is n a multiple of 35?
True
Let d(s) = -s**2 + 6*s + 1. Let v(r) = 2*r. Let k be v(3). Let n be d(k). Does 18 divide n + 45/1 + 2?
False
Let n(o) = -1. Let a(r) = r - 7. Let m(f) = -a(f) + 4*n(f). Let z(s) = s**3 - 3*s**2 - 2*s + 3. Let t be z(3). Does 6 divide m(t)?
True
Suppose -z + 5*d = -82, 82 = 2*z - d - 82. Does 10 divide z?
False
Suppose 6 = 2*n, 5*p + 2*n = -11 + 407. Suppose -4*z - p = -5*y - 0*y, 3*y + 5*z = 32. Is 7 a factor of y?
True
Suppose -8*o + 11 = -77. Does 2 divide o?
False
Let o = -100 + 186. Is 11 a factor of o?
False
Suppose 2*o - 20 = -5*h, h = 2*o - 0*o + 16. Is 13 a factor of 3/h - (-157)/2?
False
Let v = 41 + -16. Let r = v - 10. Does 15 divide r?
True
Suppose 5*j - 22 = -3*m, j + 12 = 3*j - 2*m. Suppose -4*v = -3*v. Suppose j*d + v*d = 85. Is d a multiple of 9?
False
Let b = 39 + -18. Suppose -5*y + 14 = -b. Is y a multiple of 4?
False
Suppose -5*w - 11 = -6*w. Is w a multiple of 7?
False
Let r be (-2)/(-9) - (-65)/(-9). Let m = r + 1. Let n(s) = -s + 4. Is n(m) a multiple of 5?
True
Let a = 86 - 62. Is a a multiple of 3?
True
Let g(w) = w + 19. Is g(-10) even?
False
Let j(i) = i - 1. Let r be j(1). Suppose -4*x + 5*g + 50 = r, 3*x - 1 = -2*g + 48. Is x a multiple of 4?
False
Let q(r) = r + 2. Let f be q(5). Suppose -f*a + 52 = -5*a. Is a a multiple of 13?
True
Let j = 1 - -4. Does 3 divide 32/5 + 3/j?
False
Suppose 5*n - 10*n = -380. Does 15 divide n?
False
Let h(c) = -c**3 + 5*c + 2 - 7 + 10*c**2 - 2*c**2. Let m be h(4). Is 9 a factor of 2/8 - m/(-4)?
False
Let i(c) = c**2 + 8*c + 7. Let m be i(-5). Is 6 a factor of (m/10)/((-16)/120)?
True
Let f(z) = -13*z + 9. Let n be f(7). Let x = -24 - n. Suppose 58 + x = 3*j - 4*r, 3*r + 77 = 2*j. Is j a multiple of 20?
True
Let p be (-14)/(-14) - (-1 - -3). Is 17 a factor of 20/(-6)*(-25 - p)?
False
Let o be (-47)/4 + (-5)/20. Does 18 divide (o + 118)*2/4?
False
Suppose 2*l - 185 = 363. Suppose -2 - 6 = -4*w, -2*w + l = 5*k. Is k a multiple of 27?
True
Let i(b) be the first derivative of -b**4/4 + 5*b**3/3 - 3*b**2/2 - 4*b - 6. Is 4 a factor of i(3)?
False
Suppose -b + 9*r = 4*r - 7, -4*b + 53 = 5*r. Let n = 49 - 7. Let w = n + b. Is 21 a factor of w?
False
Let o = 36 - -24. Is o a multiple of 12?
True
Let k = -37 + 52. Is k a multiple of 13?
False
Suppose 5*t - 4*v - 25 = 0, 6*v = -2*t + 5*v + 10. Suppose -y + 10 = x, 0 = 3*x + t*y - 16 - 8. Does 6 divide x?
False
Suppose 3*n - 3*z = 72, z - 3*z = 8. Does 3 divide n?
False
Let n(c) = -c**3 - 8*c**2 - 13*c - 9. Does 24 divide n(-8)?
False
Let o(g) = 14*g**2 - 26*g - 6. Let p(r) = 5*r**2 - 9*r - 2. Let w(f) = -6*o(f) +