ultiple of 8?
True
Let t = 40 - 29. Suppose 100*r - 103*r = -60. Let z = t + r. Does 20 divide z?
False
Suppose 0 = 107*c - 104*c - 144. Does 6 divide c?
True
Suppose -242 = -2*z - 4*p, 2*z + 3*p - 2*p = 233. Let t = z + -63. Suppose -5*x - 6*l = -2*l - 60, -4*x + t = 4*l. Is 4 a factor of x?
True
Let w(s) be the first derivative of s**3/3 - 2*s**2 - 3*s - 3. Let u be w(5). Does 21 divide (0 + (-122)/u)*-1?
False
Let j(u) = -4*u - 3. Let w be j(-2). Suppose -3*o - 71 = -w*m - 5*o, -5*m = -o - 77. Is 5 a factor of m?
True
Let f = 46 - 35. Is f even?
False
Let v be -49*(3 - (1 - -1)). Let z be 164/(-3)*(-6)/4. Let s = z + v. Is s a multiple of 13?
False
Suppose -3*u = 2*u - 25. Suppose 0 = u*c - 97 + 7. Is 6 a factor of c?
True
Let i = 33 - -39. Is 12 a factor of i?
True
Let f(z) = z**3 + 2*z**2 - z. Let g be f(1). Suppose -g*s = -s - 3. Suppose -27 - 6 = -4*d + s*r, -3*r = d - 12. Is d a multiple of 3?
True
Let s = 62 - 43. Is s a multiple of 4?
False
Suppose 0 = -c - 5*f - 41 + 14, 0 = 3*f + 15. Let a be 2 + (-2 - c) + 0. Suppose -40 = -a*j - 4*h, -5*j + h + 113 = -2*h. Does 8 divide j?
False
Let z(j) be the first derivative of j**3/3 - 6*j**2 + 9*j + 3. Let q be z(9). Let f = -11 - q. Does 7 divide f?
True
Let o(g) = 2*g. Let x = 5 + 2. Let s be o(x). Suppose -5*d = -s - 91. Is d a multiple of 21?
True
Let o(b) = -b**3 + 3*b**2 + 2*b - 3. Let u be o(3). Let m = -3 - u. Let t = 18 - m. Is 11 a factor of t?
False
Let f = 18 - 15. Suppose q = f, -2*k = 4*q - 41 - 19. Does 12 divide k?
True
Let p(t) = -12*t**2 - 2*t - 2. Let w(h) = -h**2 - 1. Let n(r) = -p(r) + 2*w(r). Suppose 3 - 1 = -b. Is 18 a factor of n(b)?
True
Let d(n) = -2*n**2 - 2*n - 1. Let a be d(-2). Suppose -7*z = -3*z, -s + 7 = 3*z. Let f = s - a. Is f a multiple of 12?
True
Suppose -3*d + u - 35 = -4*u, 4*u - 14 = d. Does 7 divide 26/4 + (-5)/d?
True
Let i(g) = g**2 - 3*g + 1. Let v be i(4). Let l be v/((-10)/4) + 2. Suppose -4*r - 190 = o - 4*o, l = 3*o - 3*r - 189. Does 22 divide o?
False
Let c(p) = 2 - 3 + 10*p + p**2 - 6. Let m be (-46)/4 + (-1)/2. Does 8 divide c(m)?
False
Let c(o) = 2*o + 5. Let u be c(6). Let v = u + -25. Let f(s) = -6*s - 6. Is 21 a factor of f(v)?
True
Let u be -2*(-10)/(-4)*-1. Let v(j) = -j**3 + 3*j**2 + 4*j + 4. Let q be v(u). Is (q/5)/(4/(-10)) a multiple of 13?
True
Let i = 168 + -117. Is 28 a factor of i?
False
Let d be 2*(15/6 - 1). Let y(a) = a**d + 12 - 5 + 9*a**2 - 15*a**2 + 5*a. Does 7 divide y(5)?
True
Let w be (1 - -45)*(-2)/4. Let a = 49 + w. Is a a multiple of 20?
False
Let t be ((-4)/5)/((-3)/105). Suppose t = 6*g - 2*g + 4*n, -5*n = -5*g + 65. Is 5 a factor of g?
True
Suppose 5 = -3*j + 2*j. Suppose 2*r - 18 = 5*z, 2*r - 6*r + 36 = z. Let p = r - j. Does 7 divide p?
True
Let i = 242 - 149. Does 38 divide i?
False
Suppose -165 = 4*t + t. Does 8 divide (1 + 5)/(t/(-176))?
True
Is 4/(8/34)*5 a multiple of 17?
True
Suppose 2*z - 5*q + 201 = 3*z, 586 = 3*z - 2*q. Is z a multiple of 49?
True
Let m be (-169)/(-9) + 14/63. Suppose 15*g - m*g = -156. Is 11 a factor of g?
False
Let i = -3 + -1. Let z be 170/30 - i/(-6). Suppose -z*m + 109 + 71 = 0. Is 18 a factor of m?
True
Suppose 5*y = -5*c + 250, -y + c + 70 = 6*c. Is y a multiple of 15?
True
Suppose 0 = w - 3, -7 = m - 3*w - 19. Let h = 66 - m. Is 10 a factor of h?
False
Let i = -64 + 3. Let p = -17 - i. Is p a multiple of 27?
False
Is 8 a factor of (5 + 4/(-2))*8?
True
Let b = -13 + 9. Let p = b + 10. Does 6 divide p?
True
Suppose 3*o + 4*q = 24, 5*o + 3*q - 8 - 21 = 0. Suppose 2*z = o*l + l + 32, z + 12 = -l. Is (l/16)/((-2)/16) a multiple of 3?
False
Suppose -p + 2*w = 7*w - 108, -2*p + 2*w = -180. Let z be (p/(-6) - -1)*2. Let a = -1 - z. Is 14 a factor of a?
True
Let s(k) be the third derivative of -k**6/120 - k**5/60 + k**4/24 + k**3/6 - 4*k**2. Is 16 a factor of s(-3)?
True
Suppose 0 = 5*p - 2*b - 31 + 6, 5*b = 0. Suppose 0 = -p*i + i + 96. Is 12 a factor of i?
True
Let c(z) = 27*z. Let a be c(1). Suppose 0 = 4*o - i - 36, a = -o + 4*o + 5*i. Is 7 a factor of o?
False
Let l be 4/(-24) + (-391)/(-6). Let q = l - 19. Is 23 a factor of q?
True
Is 4 a factor of 18/8*24/9?
False
Let k(j) = -j**2 + 8*j + 2. Let w be k(7). Let g = 16 - w. Let s(f) = 3*f - 5. Does 6 divide s(g)?
False
Let u = -233 + 331. Is u a multiple of 14?
True
Is 51 + (-5)/10*2 a multiple of 10?
True
Let b be (-1)/3 + 20/6. Let w be b - (1 + 0 - 1). Suppose -2*l = -w - 3. Is 3 a factor of l?
True
Suppose -3*y = -2*f + 10, 2*f + y = -3*f + 8. Let d = -1 + f. Is 10 a factor of d/(-4) + (-170)/(-8)?
False
Is 113/8 + (-7)/56 a multiple of 6?
False
Suppose -3*v + 3 = -0. Suppose -2*b + 3*b + v = 0. Is 9 a factor of 1 - 15/b - -3?
False
Let r(u) = -4*u**3 - 2*u**2 + 1. Let i be r(-1). Suppose -4*o + 64 = i*s - 7, 0 = -5*o + 10. Does 21 divide s?
True
Let v = -133 - -153. Is 17 a factor of v?
False
Suppose 1 - 4 = 3*l. Let v = 4 + -9. Does 6 divide 93/15 - l/v?
True
Let i = -3 - -8. Let a be -2 + -10*(-24)/20. Let f = a - i. Is f a multiple of 2?
False
Let s(p) = -p**2 - 8*p - 5. Let j = 7 - 12. Does 8 divide s(j)?
False
Does 12 divide (132/(-55))/(2/(-30))?
True
Suppose 0*f - 2 = -f. Suppose f*z - 9 = z. Is z a multiple of 8?
False
Let m = -6 + 2. Is (-62)/m - 2/(-4) a multiple of 15?
False
Suppose -4 = 5*h - 14. Suppose -h*r = -5*r + 57. Is 7 a factor of r?
False
Let w(s) = 3*s**3 + 6*s**2 - 3. Let r(i) = -4*i**3 - 6*i**2 - i + 3. Let x(d) = 4*r(d) + 5*w(d). Is x(5) even?
True
Suppose -c + 2*b = 5, -4*b - 2 + 32 = 2*c. Is 2 a factor of c?
False
Suppose -7*w + 1283 + 1209 = 0. Is w a multiple of 52?
False
Suppose 5*j + 4 = -16. Let h(s) = 2*s**2 + 7*s + 6. Is h(j) a multiple of 5?
True
Suppose -c - 3 = 0, -5*h + 4*c - 2*c + 6 = 0. Does 19 divide 19/(h - (-2)/4)?
True
Let a = 3 + 35. Does 38 divide a?
True
Suppose -4*k + 19 = -37. Is 12 + 7/(k/4) a multiple of 5?
False
Suppose -q - 3*x = 12 - 3, 5*x = 3*q + 41. Let n = -1 - q. Does 7 divide n?
False
Let c(w) = -w + 1. Let r be 110/(-8) - (-2)/(-8). Is c(r) a multiple of 8?
False
Suppose 680 = 5*u + 5*x, -2*u - x + 268 = -0*x. Suppose z - u = -3*z. Does 15 divide z?
False
Suppose 5*v + 60 = -4*u, -4*u = -6*u + 3*v - 30. Let z be (-18)/u*(-5)/(-2). Suppose 4*x - 12 = 2*x + 4*r, -4*r + 58 = z*x. Does 14 divide x?
True
Let s = -7 + 10. Suppose -4*y + 86 = y + x, y + s*x - 6 = 0. Is y a multiple of 18?
True
Suppose 201 = 4*p + 65. Suppose 2*c - p = -3*s - 5, 4*s + 3*c - 40 = 0. Is s a multiple of 7?
True
Suppose 5*x - 3*x + 4 = 0, 2*c + 2*x + 8 = 0. Is 15*(0 + c + 3) a multiple of 6?
False
Suppose -5*z - 600 = -5*t, -3*t = 2 + 1. Does 19 divide 22/z - (-1676)/22?
True
Let h(m) = 2*m**2 - 17. Is 27 a factor of h(-7)?
True
Suppose 2*y + 2*s - 12 = 30, -4*s = -5*y + 96. Suppose b - 3*k = 5*b - 45, -2*b = 4*k - y. Does 12 divide b?
True
Suppose 0 = -2*s + 3*t - 0*t + 165, 3*s - 254 = -2*t. Is s a multiple of 14?
True
Suppose 2*q - 5 = -3. Does 12 divide (-10)/(-5) + q + 33?
True
Suppose -f + 151 = 4*b, 3*f - 3*b + 8*b - 425 = 0. Suppose 4*h - f = h. Is 9 a factor of (12/(-10))/((-6)/h)?
True
Suppose -720 = -16*b + b. Does 16 divide b?
True
Suppose -b = 4*b - 1360. Suppose 3*z - 12 = 0, -3*j = 2*j + 3*z - b. Is j a multiple of 13?
True
Let c(z) = 58*z**3 - 2*z**2 + 3*z - 2. Does 16 divide c(1)?
False
Suppose -95 = -4*r - 7. Suppose 0 = 2*y - 0*y - r. Is y a multiple of 11?
True
Let z(u) = 13*u**2 - 4*u + 3. Is 22 a factor of z(-3)?
True
Let p = -29 + 21. Let r = p + 11. Suppose 12 = b + 3*f, -26 - 37 = -4*b + r*f. Is b a multiple of 12?
False
Let b = 0 + 11. Is b a multiple of 2?
False
Suppose 5*r + 94 = 14. Let t(w) = w**3 + 16*w**2 - 6*w - 13. Does 24 divide t(r)?
False
Suppose 5*c = 2*j - 34, 2*j + 6 = c - 6*c. Let v(s) be the first derivative of -s**3/3 + 4*s**2 - 1. Does 4 divide v(j)?
False
Let c = 61 + -16. Does 15 divide c?
True
Suppose 0*s + 12 = 2*s + 2*q, 0 = -s - 2*q + 8. Does 4 divide s?
True
Let i(k) = -3*k + k - 6*k + 1 + 4*k. Is i(-6) a multiple of 12?
False
Suppose 15 = 3*c, -c - 37 = -3*w - 0*c. Let t = w - -7. Is t a multiple of 7?
True
Let g(o) = o**2 - 10*o - 24. Is 15 a factor of g(-8)?
True
Suppose 5*i + 4*w = 104, 0 = 3*i - 6*w + 2*w - 88. Does 3 divide i?
True
Suppose -4*s + 6 = -4*h + 2, -5*h + 15 = 0. Suppose 0*k + 48 = s*k. Is k a multiple of 9?
False
Let b(g