 16 = -2*r - 124. Let g = 47 + r. Let d = g - -41. Is 9 a factor of d?
True
Let u be (-1 - 0/3)*-3. Suppose 2*n + u*h = 3*n - 7, 4*h = 8. Does 13 divide n?
True
Let h = -2 - -64. Does 25 divide h?
False
Let j be 2/3 - 434/(-6). Suppose 0 = -2*a + j - 1. Is a a multiple of 18?
True
Let z(m) = -5*m - 2 - 5 + 1. Is 13 a factor of z(-9)?
True
Suppose -i + 5*p = -37 - 46, 3*p = -5*i + 471. Let g = -60 + i. Is 18 a factor of g?
False
Suppose 2*l - 132 = -0*l. Is 33 a factor of l?
True
Let h = 147 + -52. Suppose -6*g - 3*i - 165 = -g, 3*g + h = -i. Let s = -1 - g. Is s a multiple of 16?
False
Let a(l) = l**3 - 5*l**2 + 2*l - 5. Let d = 5 - 0. Does 2 divide a(d)?
False
Suppose 2*d = 3*d + 35. Let l = d - -50. Let h = 24 - l. Is h a multiple of 9?
True
Let n be ((-36)/(-15))/(3/15). Let d = n - 5. Is d a multiple of 5?
False
Let z = 563 + -379. Is z a multiple of 16?
False
Let r(u) = u**3 + 2*u**2 - 3*u + 2. Suppose 27 = 5*w - 4*i - 0*i, 5*w = -2*i + 39. Suppose 3*n = 2*d + 5, 2*d = -2*n + w + 3. Is r(d) a multiple of 12?
True
Let q be 2 + (1*-63 - 4). Let b = -36 - q. Is 5 a factor of b?
False
Suppose -2*u + 2 = c + c, 7 = -u - 5*c. Let t(j) = -j**3 + 6*j**2 + j. Let q be t(3). Suppose -q = -u*v - 0. Does 5 divide v?
True
Let d(z) = -z**2 - 11*z - 7. Does 21 divide d(-4)?
True
Let i(c) = -c**3 - 2*c**2 + 4*c - 5. Suppose -1 + 9 = -2*g. Does 3 divide i(g)?
False
Does 4 divide -4 - 5/(20/(-64))?
True
Is 1/(-9)*3 - 440/(-6) a multiple of 16?
False
Suppose 0*h + 72 = 4*h. Let u = h - -2. Does 13 divide u?
False
Let b(p) = 2*p + 15. Let f be b(7). Suppose 3*j = 43 + f. Is j a multiple of 24?
True
Suppose 171 = 5*k - 2*k. Let f = k - 31. Is 7 a factor of f?
False
Let x(d) = d**2 + 4*d + 3. Let b be x(-2). Let z = 3 + b. Suppose 4*f = -5*a + 139, 4*a - 110 = -4*f + z*f. Is 13 a factor of a?
False
Suppose -5*n - 3*o = 274, -5*o + 2*o + 230 = -4*n. Does 14 divide (-1)/(-7) + (-2568)/n?
False
Let f = -95 - -159. Let v = f + -44. Is 20 a factor of v?
True
Let x = 5 - 3. Let l be (-2 - -7) + 0/x. Suppose 23 = -0*s + 3*s - 5*g, 5*s + l*g = 25. Is 3 a factor of s?
True
Let h be (-2)/(2 + 24/(-10)). Let v = h + 0. Suppose 3*o - v*r = 37, 3*r + 5 + 1 = 0. Is o a multiple of 6?
False
Let r be 91/(-3) - 6/9. Let o = -17 - r. Is 4 a factor of o?
False
Suppose 0 = 3*j + p - 24, p + 3*p = 0. Does 5 divide j?
False
Let z be (-2)/(-4)*(5 + -231). Let a = z + 194. Does 27 divide a?
True
Let h = 193 + -96. Is 16 a factor of h?
False
Let o be 6 + -5 - 1*13. Suppose 20 = -p - 3*p. Is (36/p)/(o/40) a multiple of 9?
False
Let n be (1 - (-1 + 1))*0. Suppose -2*f = -4 - n, -26 = -2*b + 3*f. Does 8 divide b?
True
Let q = -6 - -11. Suppose -10 = -2*z, -q*k + 445 = 5*z - 0*z. Suppose 3*g - g = k. Is 15 a factor of g?
False
Suppose -6*j + 99 = -2*j + 3*s, -74 = -4*j + 2*s. Let f be ((-6)/4)/(6/(-8)). Is 10 a factor of (-3)/((-45)/j + f)?
False
Let r(o) = -o**2 - 7*o. Let x = 7 - 1. Let l = -12 + x. Is r(l) a multiple of 5?
False
Suppose 4*a + 17 - 1273 = 0. Does 11 divide a?
False
Suppose 37 = 2*b + 2*g + 1, -3*b + 50 = 4*g. Suppose -2*c + 40 = -b. Is c a multiple of 18?
False
Suppose -4*l + 4*s = -30 - 50, l - 18 = 3*s. Is 5 a factor of l?
False
Suppose 0 = -0*s - s + 2. Suppose -4*z + 9*z = -5*n + 95, -53 = -s*n + z. Is 14 a factor of n?
False
Let c(p) = 2*p - 3. Let g be c(3). Let o(t) = -9*t**2 + 2*t + 6. Let y(a) = -8*a**2 + 2*a + 5. Let x(q) = 5*o(q) - 6*y(q). Is x(g) a multiple of 11?
False
Let o be (-1296)/(-28) + (-2)/7. Suppose 2*h - o = -0*h. Is h a multiple of 5?
False
Suppose -2*w = 4*x - 142, 3*w = x + 127 + 65. Suppose 3*j - w = m + 3*m, 2*j = 4*m + 42. Is j a multiple of 6?
False
Let f be 75*-37 + (-3)/(-1). Is f/(-81) - 4/18 a multiple of 18?
False
Let g(r) = -r**2 - 4*r - 1. Let b = -9 + 14. Let x = b - 7. Does 2 divide g(x)?
False
Does 15 divide ((-91)/(-28))/(2/32)?
False
Let m(l) = -l + 15. Is m(7) a multiple of 8?
True
Let d = 5 - 3. Let g = 26 + d. Is g a multiple of 14?
True
Let i(z) = 5*z**2 - 4*z - 6. Let s(m) = 4*m**2 - 4*m - 6. Let q(y) = 5*i(y) - 6*s(y). Let b be -2 + 5/(-1 + 0). Does 13 divide q(b)?
False
Let m(v) = v**2 - 5*v - 3. Let y be m(6). Suppose 0 = y*l + l - 12. Suppose 0*f + 27 = l*f. Is f a multiple of 9?
True
Let o = -170 + 245. Does 15 divide o?
True
Suppose 2*f = -8, -2*f = 5*u + 2*f - 179. Does 13 divide u?
True
Let g(y) = y**3 + 4*y**2 - y + 3. Let l be g(-6). Is l/(-3) - (-4)/(-2) a multiple of 7?
False
Suppose -15 = -4*c - 2*d + d, 5*c = 3*d + 6. Is 13 a factor of 24 - c*6/(-9)?
True
Let j be (-2 - (2 + -3))*-2. Suppose j = s + 1, -z + 3*s = -18. Is z a multiple of 14?
False
Let y = 1 + 16. Let f = y - 26. Let r = f - -21. Is r a multiple of 7?
False
Let o(q) = q**2 - 7*q - 10. Let y be o(9). Suppose 3*g + 55 = y*g. Does 7 divide g?
False
Let p(o) = o + 3. Let s be p(-3). Suppose 2*b + 3*j = 2*j + 32, s = 2*j. Let f = -3 + b. Is f a multiple of 11?
False
Let n(a) = -a + 2*a - 2*a. Let o be n(0). Suppose 4*u - 1 + 13 = o, -3*h + 111 = u. Does 19 divide h?
True
Let l(v) be the first derivative of v**2/2 + 5*v - 2. Does 3 divide l(6)?
False
Does 4 divide (-7)/((-8)/(-12) - 1)?
False
Let j = 0 - -3. Suppose -6*b + j*b = -9. Suppose -33 + b = -o. Is o a multiple of 15?
True
Let m = 96 - 44. Does 13 divide m?
True
Let v be 22/3 - (-1)/(-3). Let u = v - 2. Is 5 a factor of u?
True
Suppose -w - 5*n + 416 = 0, 416 = 5*w - 4*n - 1519. Is 19 a factor of w?
False
Suppose 0*p - 2*p - 5*h = 9, 5 = 5*h. Let w = p - -27. Is w a multiple of 14?
False
Let d(a) = -6*a**3 + 2*a**2 - 1. Let w be d(1). Let f(v) = -7*v - 1. Let t be f(w). Suppose 4*k + 0*k + 3*s - 136 = 0, -k + t = -2*s. Does 17 divide k?
True
Let m = 27 + -3. Does 7 divide m?
False
Let y(w) = w**3 + 8*w**2 - 2*w - 12. Let m be y(-8). Let k(a) = -a**3 + 6*a**2 - 5*a. Let p be k(m). Suppose 0 = -3*b + p + 60. Is 9 a factor of b?
False
Suppose -696 - 528 = -6*g. Is g a multiple of 17?
True
Let x(y) be the third derivative of y**6/30 - y**5/15 + y**4/12 - 2*y**2. Suppose -t + 1 = -1. Does 20 divide x(t)?
True
Let q be 63/28 - (-9)/12. Suppose 16 = 6*r - 4*r. Let s = r - q. Is s a multiple of 3?
False
Suppose -3*s - 12 = 4*o, 3*o - 4*s = -o + 16. Let n = 3 - o. Suppose 4*p - 71 = -5*u, -u - p + n = -11. Does 8 divide u?
False
Let t = 11 + -7. Suppose -s - 1 = -t. Suppose 3*m = s + 69. Does 8 divide m?
True
Suppose 4*x - 13 = 3. Suppose x*r - 35 = 37. Is r a multiple of 4?
False
Suppose p + 288 = 3*u - 2*u, -3*p - 1436 = -5*u. Is u a multiple of 13?
True
Let h be 72/4 - (-1 + 1). Suppose 3*x = 2*k + 45, 3*x + 5*k = 63 - h. Is 15 a factor of x?
True
Suppose 5*m - 50 = 245. Is m a multiple of 25?
False
Let z(q) = -q**2 + 19*q + 13. Is z(18) a multiple of 4?
False
Suppose 0 = a - 2*m - 15 - 49, 3*a - 5*m - 196 = 0. Is 6 a factor of a?
True
Suppose 0 = -2*d - 0*d + 50. Let f = d - 17. Is 8 a factor of f?
True
Is (-39)/6*300/(-6) a multiple of 39?
False
Let d be -5 - 3*(-1)/(-3). Let o(f) = -4*f - 6. Let b be o(d). Is 8 a factor of (20 - -1)*b/21?
False
Does 10 divide -3 - ((1 - 2) + -52)?
True
Let w = 0 - 0. Suppose 23 = -g + 2*g - 2*n, w = -4*g + 3*n + 117. Is 20 a factor of g?
False
Suppose -105 = -5*i - 5*t, t = -5*i - 55 + 156. Let n be ((-2)/5)/(2/i). Is (2/n)/((-4)/88) a multiple of 11?
True
Let i = 8 + 40. Is i a multiple of 24?
True
Suppose 0 = 2*l - h, -1 = l - 4*h + 13. Suppose l*t - 52 = 3*d, -d = 5*t - 189 + 25. Is 17 a factor of t?
False
Let v be 2*(-6)/(-4) + 0. Suppose -v*z + z - 2*n = -24, -2 = -z + 4*n. Is 10 a factor of z?
True
Let f(m) = -m**2 - 3*m + 14. Let x be f(-13). Let p = -44 - x. Suppose 0 = 5*d - 93 - p. Does 18 divide d?
False
Suppose 4*j + z - 23 = 0, 5*j + z - 40 = -4*z. Suppose -j*i + 18 = -7. Is 2 a factor of i?
False
Let p = -73 + 145. Is p a multiple of 24?
True
Suppose 5*w - p + 0*p = 99, 4*w - 79 = p. Is 10 a factor of w?
True
Let j = 381 - 214. Is 45 a factor of j?
False
Suppose -9 = -2*x - x. Suppose -2*j + 14 = -4*w + 6, 0 = -j - x*w + 19. Is 9 a factor of j?
False
Let q = 8 + -5. Suppose 0 = q*j - 52 - 8. Suppose 5*i - 5 - j = 0. Does 2 divide i?
False
Let o = -2 - 3. Let p(h) = 2*h + 0*h**2 - 2 + 2*h - h - h**3 - 4*h**2. Is p(o) a multiple of 8?
True
Let d be 1/4*(7 + -3). Let w be (1/d)/(-1) + -58. Let s = 104 + w. Does 16 divide s?
False
Let z = -7 - -1