oes 27 divide q?
True
Let g(d) = -60*d + 67. Is g(-6) a multiple of 6?
False
Let y be 27/(-4) + ((-10)/8 - -1). Let d = y - -18. Does 10 divide d?
False
Suppose m = -6*m + 3472. Is m a multiple of 17?
False
Let q be (1 - -5) + -8 + 6. Let y = 7 - q. Suppose -224 = -5*u - 2*w, -y*w = -4*u - 5*w + 178. Is u a multiple of 12?
False
Let g = 302 + -86. Is 13 a factor of g?
False
Let n(o) = -2*o + 8. Let u be n(-8). Suppose 5*z + g = -0*z + 44, -z - 4*g = -u. Suppose -z*p + 12*p - 216 = 0. Is 31 a factor of p?
False
Is 8 a factor of 18/18 - (-21 + -2)?
True
Let i(p) = 123*p**2 + 4*p + 2. Does 114 divide i(-1)?
False
Let n(u) be the first derivative of 47*u**2/2 - 9*u - 5. Let f be n(3). Let y = f - 69. Is y a multiple of 21?
True
Let x = -1430 + 1997. Is 27 a factor of x?
True
Let m(i) = i. Let c be m(3). Suppose 4*d - 19 = -c. Suppose 0*y = -u + 2*y + 20, -5*y = d*u - 28. Does 6 divide u?
True
Let x = 236 + -151. Let g be -2 - -1 - (20 - -1). Let d = g + x. Does 21 divide d?
True
Let y = 100 + -78. Suppose y*z - 17*z = 500. Is z a multiple of 17?
False
Suppose 5*i = 0, 0 = 2*w - 5*i + 823 - 2999. Is 64 a factor of w?
True
Let j(n) = 8*n + 18. Let o = -3 - -9. Is 16 a factor of j(o)?
False
Let y(k) = 7*k**2 + 7*k - 3. Is y(1) a multiple of 8?
False
Suppose 11*k - 25 = 6*k. Suppose -66 = 2*m - 4*m + k*q, -m + 28 = -5*q. Does 6 divide m?
False
Let k(z) = 120*z**2 + 3*z + 3. Let f be k(-1). Let q = 190 - f. Does 9 divide q?
False
Let d = -254 + 377. Is d a multiple of 3?
True
Let a be -451 + (-2 - 2) - (-1)/1. Does 32 divide (-3)/(6/a) - (15 - 12)?
True
Let o = -45 - -66. Is 6 a factor of 426/14 - 9/o?
True
Let v(y) = y**3 + 8*y**2 + 16*y + 8. Let f be v(-6). Let n = f - -16. Suppose n*q = 5*x + q - 187, 0 = -5*x + 4*q + 202. Is x a multiple of 16?
False
Suppose -60 = -3*c - 2*c. Suppose 2*m + 28 = -c. Let s = 40 + m. Does 10 divide s?
True
Suppose -3*p - 32 = -5*y, 5*y = 2*p - 7*p. Suppose 0 = -5*b + 5*m + 180, 0 = m + y*m. Suppose 0 = -3*a - r + 16, a = -4*a + 3*r + b. Does 3 divide a?
True
Let r(m) = 3*m + 5. Let x be r(7). Let p = x + -22. Suppose -3*y - p*s + 131 = 0, 2*y + 2*s - 86 = -0*s. Is y a multiple of 16?
False
Let x = -4746 - -7118. Is 21 a factor of x?
False
Suppose -2*p + 5*g = 5, 3*p + 3*g - 3 = 4*p. Let z be 4 + -6 - (p + -12). Does 5 divide (2/(-4))/(z/(-300))?
True
Suppose 5*v = -5*z + 590, -12*z + v - 233 = -14*z. Is 26 a factor of z?
False
Suppose 48 = -a - 263. Let l = -628 + a. Does 13 divide (-10)/(-35) - l/21?
False
Suppose 81*y - 70*y - 5544 = 0. Does 56 divide y?
True
Suppose -2*f - 8 = 0, -5*r + 4*f + 224 = -92. Does 5 divide r?
True
Suppose -4*q + 5 = 5*v, -3*q + 17 + 1 = -v. Let a be (24/(-9))/(6/(-9)). Suppose -93 = -q*b - a*r, r - 21 = -b - r. Is b a multiple of 17?
True
Does 19 divide ((-47)/3)/((119/42)/(-17))?
False
Let g(a) = 217*a**3 - a**2 + a + 1. Let w be g(1). Suppose j = -4*l + 386, 3*l - w = 4*j + 62. Does 16 divide l?
True
Suppose -122*w + 147*w = 72900. Does 36 divide w?
True
Suppose 1499 = 5*a - 4066. Is 38 a factor of a?
False
Suppose -12480 + 4920 = -18*h. Is 9 a factor of h?
False
Let f = 27 - -8. Suppose -5*p = -f - 105. Let g = 0 + p. Is g a multiple of 7?
True
Let q(s) = 2556*s**3 - s**2 + 25*s - 24. Is q(1) a multiple of 71?
True
Let w(l) be the second derivative of l**3/3 + 5*l**2/2 + 5*l. Let f be w(0). Suppose -48 = -4*p + f*z, -2*p - z = p - 55. Is p a multiple of 17?
True
Let u(y) = -43*y + 36. Let h(g) = 11*g - 9. Let w(l) = -9*h(l) - 2*u(l). Does 6 divide w(-3)?
True
Let x(y) = 12*y + 3. Let a be x(1). Let n be (1 - 0) + (-1 - -4). Suppose n*u = 9 + a. Does 3 divide u?
True
Let u = -1618 - -1650. Is 5 a factor of u?
False
Let h(x) = -x**3 - 26*x**2 - 68*x + 45. Does 63 divide h(-29)?
False
Let z = 88 - 150. Let m = 4 - z. Does 12 divide m?
False
Suppose 5563 = -52*a + 40039. Does 5 divide a?
False
Let v(f) = 63*f + 1. Let p be v(2). Suppose 5*z - p = 193. Is z a multiple of 8?
True
Suppose 0 = -29*n + 4*n + 24975. Does 12 divide n?
False
Suppose -10*t + 2253 = -67. Is t a multiple of 29?
True
Suppose 5*n = 7*n - 6. Suppose 30 = n*l - 9*l. Let f(a) = -a**2 - 5*a + 6. Is 3 a factor of f(l)?
True
Let y(f) = 62*f. Let n be y(2). Let i = n + -89. Does 12 divide i?
False
Let s(w) = w**2 - 15*w + 25. Let z be 13 - (8/(-12) + (-4)/3). Is s(z) a multiple of 5?
True
Suppose -2*u - u = -k + 13, -5*k + 3*u + 29 = 0. Suppose -b = -3*n - 0*b + 129, 0 = -k*b + 12. Is 11 a factor of n?
True
Let g(v) = 9*v**3 - v**2 - 18*v + 5. Is 29 a factor of g(4)?
True
Suppose -3*a + 149 = 2*d - 4, -366 = -5*d - 2*a. Is 6 a factor of d?
True
Suppose -12*h = -515 - 2509. Does 14 divide h?
True
Suppose j + 494 = 5*o + 3*j, -4*j - 12 = 0. Suppose -5*z = 2*v - o, 33 = 4*v - 4*z - 195. Suppose 3*x - v = -5*r, 3*r - 2*x = 24 + 28. Is 4 a factor of r?
False
Let j(k) = 14*k + 1 - 3 + 7. Is j(1) a multiple of 5?
False
Suppose 6*i - 29 = -2*n + i, 5 = -5*n + 3*i. Suppose 32 = n*v + 8. Is 4 a factor of v?
True
Let b = -61 + 97. Suppose 0 = v + 9 - b. Is 4 a factor of v?
False
Let u be 24/24 + 1 + -2. Suppose 3*d + 27 - 114 = u. Does 5 divide d?
False
Suppose -5*p - l = -20081 + 758, 0 = -p + 5*l + 3849. Is 14 a factor of p?
True
Let d(v) = v**2 + 4*v + 304. Let i be d(0). Let m = 468 - i. Is 11 a factor of m?
False
Suppose -3*q = -u - 4, -8 = -5*u - q + 4. Suppose 4*p - 564 = -4*v + u*p, -v + 150 = 5*p. Is v a multiple of 14?
True
Let f(t) be the third derivative of t**5/60 - t**4/12 + 4*t**3/3 + 15*t**2. Is 11 a factor of f(3)?
True
Let w(b) = -b**2 + 2*b + 3. Let t be w(-12). Let k = -81 - t. Does 24 divide k?
False
Is 4*(237/12 + 0) a multiple of 5?
False
Let b be -9 - (3 - 5 - 0). Suppose 0 = -3*h + h + 4*x - 2, 4*h - 3 = x. Does 20 divide (50*h)/(b/(-14))?
True
Let p = 686 - -328. Is 111 a factor of p?
False
Let c = 5882 - 2912. Does 21 divide c?
False
Let g = -125 + 242. Is g a multiple of 22?
False
Is (-460)/(-6)*(-6)/(-5) a multiple of 5?
False
Let k = 15 - 35. Let j = k + 21. Let w(o) = 27*o - 2. Is w(j) a multiple of 9?
False
Let n(d) = d**2 + 3*d - 2. Let y be n(-4). Let t(s) = 2*s**2 - 96*s - 197. Let u be t(-2). Suppose y*w = -b + 4 + 34, -3*b = -u*w - 105. Is b a multiple of 9?
True
Let x(k) = 143*k - 255. Does 98 divide x(3)?
False
Let i be (-6)/((-16)/4 + 2)*-1. Does 13 divide i/(-9) - 1004/(-12)?
False
Let r(m) = -8*m + 46. Let v be r(5). Let i = 187 - 131. Suppose -5*z - i = -v*z. Does 11 divide z?
False
Suppose 0 = -67*j + 62*j + 630. Is j a multiple of 7?
True
Suppose 2*q - 4*j = -14 - 16, -5*q - 2*j - 75 = 0. Is (-62)/(-1) + 5/q*3 a multiple of 5?
False
Suppose -w - 4 = 0, y + 20 = -0*w - 5*w. Suppose 104 = 2*c - 5*v - 4, y = -c - 5*v + 24. Is c a multiple of 11?
True
Let c = -12 + 10. Let v be 1734/9 - c/6. Suppose p - 49 = n, 0*p - 5*n = -4*p + v. Does 26 divide p?
True
Let g(j) be the first derivative of j**4/4 + 17*j**3/3 - 15*j**2/2 - 27*j + 3. Does 12 divide g(-17)?
True
Let s(q) = -4*q + 4. Let y(p) = -7*p + 7. Let g(m) = -5*s(m) + 3*y(m). Let i be g(1). Suppose -5*b = -2*f - 22, 0 = -i*b - 2*b - 2*f + 6. Does 4 divide b?
True
Suppose -3*a - 7 = -16. Let s = -200 - -336. Suppose a*l - s = -l. Is l a multiple of 11?
False
Does 4 divide (-4)/(-24) - ((-77)/6 + 5)?
True
Is (-164)/((-6)/(-9)*-3) a multiple of 5?
False
Let m = -1375 - -2455. Is (4/5 + 0)/(9/m) a multiple of 21?
False
Suppose 5*y + 52 = d, 2*d + d = y + 212. Suppose -5*i - r + 82 = 0, 4*i - 2*r - d = -6*r. Is i a multiple of 16?
True
Let n(s) = -s + 36. Let x be n(-19). Let h = x - -15. Is h a multiple of 10?
True
Suppose -2*g - 337 = -3*s, 0 = 2*s - 0*s + 2*g - 238. Suppose q - s = -3*h + h, -180 = -3*h - 4*q. Does 28 divide h?
True
Let z(a) = -81*a - 166. Does 3 divide z(-3)?
False
Suppose 3*m = 2*a - m + 26, 15 = 3*m. Let y = 2 - a. Suppose -244 = -y*p - 14. Does 12 divide p?
False
Let x(h) = -h**3 + 4*h**2 + 2*h + 4. Let i be (-4)/(-18) - 374/(-99). Is x(i) a multiple of 10?
False
Let k(m) = 7*m - 4. Let d be k(2). Suppose 3*r - 59 = r - 3*a, 5*a + d = r. Is r a multiple of 22?
False
Suppose 5*u = 2*b - 6*b + 20, -3*b + 12 = 3*u. Suppose b = -3*j + 15. Suppose -h + 2*s + 58 = 4*h, j = 5*s. Does 12 divide h?
True
Suppose -1238 = -5*a - 2*k, 223 + 770 = 4*a - k. Suppose -4*q = 2*p - 36 - a, -p = -5*q + 362. Is 12 a factor of q?
True
Let 