41. Is q a multiple of 8?
False
Let n(j) = 2*j**3 + 12*j**2 - 5*j - 4. Let y be n(-6). Suppose t + 5*w = 62, -5*t = -t + 4*w - 200. Let q = t - y. Is q a multiple of 18?
False
Let s be (12/10)/(6/15). Let f = 57 + s. Is 30 a factor of f?
True
Let a be (-4)/(-6)*(-9)/(-2). Suppose 2*b + a*b = 10. Is b even?
True
Let m(n) = 8*n + 4. Let r be m(6). Suppose -5*c + 133 = -r. Let l = c - 11. Is l a multiple of 26?
True
Let i(q) = 2*q**2 - 11*q + 7. Is i(7) a multiple of 26?
False
Suppose 0*i = -4*i. Suppose 3*q + q - 44 = i. Does 2 divide q?
False
Let o(k) = -41*k - 3. Is 16 a factor of o(-3)?
False
Let j be (-8)/(-6)*(-54)/12. Let c be j*(16/(-6) - -2). Suppose -2*m - c*k + 26 = 0, 5*m + 0*k + 3*k = 37. Is m even?
False
Does 6 divide 250/(-15)*(-6)/4?
False
Is 19 a factor of -3*1 - (-6 + -16)?
True
Suppose -3*q + 2*i = 3*i - 44, 0 = 2*q - i - 36. Is 9 a factor of q?
False
Suppose -4*h + 13 + 55 = 0. Is 2 a factor of h?
False
Suppose 0 = 4*x + 3 + 1. Let n be (-2)/(-1) - (x + -7). Suppose 5*k - 15 = n. Is k a multiple of 2?
False
Let c(i) = 10*i**2 + 1. Let z be c(2). Suppose 0 = 3*k + 15, 4*t - 5*t + 83 = -2*k. Let u = t - z. Does 13 divide u?
False
Let q(l) = l**2 - 9*l + 20. Does 14 divide q(11)?
True
Suppose 13 = -x - 5*k, -12 = -0*k + 4*k. Suppose -x*w + 6*w - 8 = 0. Suppose 36 = w*b + 8. Is b a multiple of 9?
False
Suppose -4*d + 2*z + 84 = 0, d - z - 16 = -3*z. Does 20 divide d?
True
Let p(f) = f + 6. Suppose 4*b - 15 = 13. Does 13 divide p(b)?
True
Suppose -k - 5*b = -3*k + 14, 4*b = k - 10. Let h = k + 11. Suppose h = 2*u + 3. Is u even?
False
Let m = 2 + 0. Let j(g) = 2*g**2 + 4*g + g**2 - g - 2*g**m + 3. Is j(-3) even?
False
Let c(n) = -4*n**3 + n**2 + 2*n + 1. Let h be c(-1). Let j be (-13 + -2)/((-3)/h). Is 25*1*32/j a multiple of 20?
True
Suppose 3*s - 3 = -3*p, 1 = -3*s - 14. Is 3 a factor of (p/(-10))/(13/(-195))?
True
Let i = 169 - 55. Is 19 a factor of i?
True
Let o = -182 - -353. Does 14 divide o/6 - (-2)/(-4)?
True
Let d be ((-66)/(-8))/((-1)/4). Let c = -19 - d. Is c a multiple of 8?
False
Let l(g) = -g**2 + 13*g - 8. Let r be l(12). Suppose 0 = 2*d - r*f - 124, 5*d - f - 237 = 64. Is 20 a factor of d?
True
Suppose 2*q = -3*c + 357, -4*c + 357 = -c - 5*q. Is 46 a factor of c?
False
Let r = 31 + -26. Does 5 divide r?
True
Let y = -23 - -13. Let b = 6 - 2. Does 4 divide 38/b + 5/y?
False
Suppose 3*w = -0*w. Let b be (w/1)/(0 + 2). Let j = b - -9. Is 9 a factor of j?
True
Let q(m) = m**3 + 9*m**2 + 5*m - 5. Does 3 divide q(-8)?
False
Suppose 2*o - 12 = 2. Does 2 divide o?
False
Is (-9 - -6) + 26 + 1 a multiple of 6?
True
Suppose 2*c = 5*c. Let a(g) = g + 45. Is a(c) a multiple of 9?
True
Suppose c + 4*c = 40. Suppose -2 = 2*u - 8. Let a = c - u. Is a a multiple of 2?
False
Let k(q) = 0*q - 4 + 1 + 2*q. Let h be (1/(-3))/((-2)/18). Is k(h) a multiple of 3?
True
Let b = 16 - 2. Let u = b - 9. Is u a multiple of 5?
True
Let l(o) = 170*o**3 - o + 1. Is 22 a factor of l(1)?
False
Let k = 56 - 52. Suppose 563 - 70 = 4*n - 3*x, 137 = n + 2*x. Suppose -k*v + 5 = -n. Is 9 a factor of v?
False
Suppose 0 = u - 3*u. Let d(j) = j**3 + j**2 - j + 5. Let v be d(u). Suppose k = -v*f + 23 + 4, k = 5*f + 37. Is 26 a factor of k?
False
Let l(o) = 3*o**2 + 11*o + 3. Is 21 a factor of l(-9)?
True
Let j = 132 - 62. Is j a multiple of 14?
True
Let y = 173 - 41. Does 6 divide y?
True
Let u = -9 + 9. Suppose u = -0*o - o + 39. Does 13 divide o?
True
Let u(q) = 3*q**2 + 4*q**2 + 49 - q**2 - 5*q**2 + q. Let j(f) = -f - 1. Let h be j(-1). Is 14 a factor of u(h)?
False
Let b = 0 + -7. Let a(j) = -j**2 - 6*j + 7. Let k be a(b). Suppose -8 = -3*s - 4*t, k = -4*s - 3*t - 0 + 13. Does 3 divide s?
False
Suppose -4*d + 4 + 4 = 0. Suppose -d*a = 3*a - 210. Is a a multiple of 16?
False
Is 72/(-21)*63/(-6) a multiple of 6?
True
Let t(u) = -u**3 - u**2 + 2*u. Let j be t(2). Is 10 a factor of -33*(j/3 + 2)?
False
Let c(k) = 2*k**2 + 2*k. Suppose -4*r - t = -19 + 3, r = -3*t + 15. Is c(r) a multiple of 8?
True
Let g = 44 - 26. Does 2 divide g?
True
Let j(d) = -d**2 - 7*d - 6. Let k be j(-6). Suppose 180 = -p + 4*p. Suppose 5*q + 5*s - p = k, 0*s - 1 = -s. Does 11 divide q?
True
Let b = -17 - -24. Suppose 2*g - b*g - 33 = -2*q, 0 = q + 5*g - 24. Does 9 divide q?
False
Let z = 9 + -6. Suppose -z*k = -k. Suppose -2*o + o + 17 = k. Is 9 a factor of o?
False
Let p = -4 + 3. Let d(j) = 2*j**2 - 4*j - 1. Let u be d(3). Let r = p + u. Is 4 a factor of r?
True
Let m(s) = -2*s**3 - 3*s**2 + s - 4. Let a(p) be the second derivative of -p**4/12 - 3*p**2/2 - 2*p. Let j be a(0). Does 7 divide m(j)?
False
Suppose -3*z = 2*z + 3*d - 258, -5*z + 254 = 4*d. Is 9 a factor of z?
True
Let u be (3/12 + 0)*-4. Let p(f) = 3*f**2 + f. Let z be p(u). Suppose 15 + 9 = z*d. Is 6 a factor of d?
True
Suppose 2*d - 112 = 2*b, 0 = -3*b - d - 237 + 57. Is 4 a factor of (-2 - b)/3 + 0?
False
Let p = 55 + -17. Does 29 divide p?
False
Suppose -40 = 6*o - 250. Does 16 divide o?
False
Let k(b) = -b**2 + 79. Let j be k(0). Suppose -4*x = x + s - j, -3*x + 45 = 3*s. Is 7 a factor of x?
False
Suppose 4*v = 54 - 14. Let h = -5 + v. Let f = h + 5. Does 5 divide f?
True
Suppose -89 = -4*h + 11. Does 14 divide h?
False
Suppose -4*x + 183 = -x. Suppose 119 + x = 4*h. Is h a multiple of 20?
False
Suppose 72*q - 73*q + 79 = 0. Does 8 divide q?
False
Let g = -188 + 440. Is 36 a factor of g?
True
Suppose -4*c - 27 = -4*f - c, 2*c + 32 = 5*f. Let p(b) = b**2 - 3*b + 4. Is p(f) a multiple of 11?
True
Suppose 9 = 2*k + r, 2*k - r + 1 = -0*k. Suppose -3*f + k = 2*q - 3*q, -5*q + f = -18. Is 2 a factor of q?
True
Suppose 3*p - 7*p = -240. Does 16 divide p?
False
Is 4 a factor of -1*(3 + (-11 - 1))?
False
Let g = -22 - -4. Let q = g + 23. Does 5 divide q?
True
Is 3 a factor of 1/(0 - (-3 + (-152)/(-52)))?
False
Suppose 0*f - 132 = -4*f. Let b be (f/(-12))/((-1)/4). Let z = 31 - b. Is z a multiple of 9?
False
Let w = -61 + 124. Is w a multiple of 9?
True
Let s = 2 + -1. Is 15 a factor of (-2)/s + 0 - -19?
False
Suppose 0 + 2 = v. Let t be 137/v - (-1)/2. Suppose 3*l = -0*l + t. Does 7 divide l?
False
Let t be (-1)/(-1)*(0 + -1). Is (1 - t)*(-2 - -27) a multiple of 25?
True
Let s = 18 + -11. Suppose -s = 5*i - 132. Does 14 divide i?
False
Let c(r) = -3*r**3 + r**2 + 2*r. Let n be -1 - (-4 + 1) - 0. Suppose n*i + 2 = 8, -21 = 3*k - 5*i. Does 8 divide c(k)?
True
Suppose 2*h + 8 = 3*w - 6, 2*w = 5*h + 24. Is 23 a factor of (-126)/(-7)*11/w?
False
Let z be 3/(2 - 1) - 6. Let f = 12 + z. Is f a multiple of 3?
True
Suppose -a - 10 + 26 = 0. Is 4 a factor of a?
True
Suppose 5*n = 4*g + 671 - 4675, -2*g + 1988 = n. Suppose 4*s + g = s. Is 7 a factor of s/(-16) - (-2)/8?
True
Let z = -21 - 25. Let j = 71 + z. Is j a multiple of 9?
False
Suppose -9*i = -0*i - 81. Is 3 a factor of i?
True
Suppose 0 = -4*k - 20 + 412. Is k a multiple of 17?
False
Let z(u) = u**2 + 7*u - 49. Is 11 a factor of z(-12)?
True
Suppose 5*i = -2*s - 59, 5*s - 5*i + 4 = -91. Let r = s + 41. Does 9 divide r?
False
Suppose -5*u - 5*g + 10 = 0, 5*g = 4*u + u + 20. Is 21 a factor of (0 - -21)*u/(-1)?
True
Suppose 0 = -b - 5*z + 287, 0 = 4*b - 7*z + 10*z - 1131. Does 48 divide b?
False
Let s = 20 - -13. Suppose -i + 13 = -s. Is 23 a factor of i?
True
Let k = -3 - -6. Suppose 0 = 4*o - k*o - 13. Is o a multiple of 11?
False
Let m(c) = 2*c**2 + 4*c + 2. Is 8 a factor of m(-5)?
True
Suppose 0 = -10*a + 5*a + 1290. Let r be (-2)/(3/(a/(-4))). Suppose -r + 9 = -2*l. Is 8 a factor of l?
False
Let v = 167 + -119. Suppose 0 = 3*u - u - v. Does 14 divide u?
False
Let u(y) be the third derivative of y**6/120 - 7*y**5/60 - y**4/4 + y**3/3 - 3*y**2. Is 11 a factor of u(8)?
False
Is 0/(-6) + 0 + 5 a multiple of 3?
False
Suppose h - 2*h = 0. Suppose h = m + 2*m - 54. Does 10 divide m?
False
Let s(d) = d + 8. Let f be s(-8). Suppose -5*p + 15 = -f*p. Suppose -x + p + 2 = 0. Is 2 a factor of x?
False
Let a = -44 + 102. Is 5 a factor of a?
False
Is 11 a factor of 1*(3 - (-144)/2) + 2?
True
Let z = -9 + 14. Suppose z*t + 43 = 153. Suppose 0 = 2*w + j - 5*j - t, 3*j + 76 = 5*w. Does 13 divide w?
False
Suppose 5 = -w + 15. Suppose -3*d + 8*d = w. Let s(y) = 12*y + 2. Is s(d) a multiple of 9?
False
Suppose -347 = -5*l + 2*m, 0 = 5*l - m - 157 - 194. Does 8 divide l?
False
Let y(b) = -b*