 a). Suppose 8*u - 3*u - m = 3*k, -2*u + 2*k + 40 = 0. Is 7 a factor of u?
True
Let m(x) = -x**2 - 2*x + 18. Is m(0) a multiple of 6?
True
Let p = 31 + -25. Suppose 3*q = p*q - 162. Suppose 5*j + 2 = -8, -3*j - q = -l. Is 10 a factor of l?
False
Let f = 149 - 101. Let u = 40 + -52. Let p = f - u. Is 20 a factor of p?
True
Let u = -1846 - -2550. Is 67 a factor of u?
False
Let j(n) = n**2 + 4*n - 28. Is 16 a factor of j(24)?
False
Let w = -228 - -258. Is w a multiple of 15?
True
Is 6 + (0 - (-2)/(-2)) a multiple of 5?
True
Suppose -5*m - 32550 = -35*m. Does 33 divide m?
False
Suppose -8*a + 5*a + 9 = 0. Let u be 12*((-9)/(-2) + a). Suppose -5*n + i = -408, n + 0*i - u = 3*i. Does 17 divide n?
False
Let c = -270 + 467. Suppose 31 = 2*k + c. Let z = -47 - k. Does 6 divide z?
True
Let q(w) = -w + 4. Let d be q(0). Let l(u) = 2*u**3 - 4*u**2 + 5*u - 3. Let t be l(d). Let x = -48 + t. Is x a multiple of 12?
False
Suppose -2*w - 38 = -5*a, 4*w + 0*w - 3*a + 48 = 0. Does 17 divide (-615)/w + 2/(-6)?
True
Let d(k) = k**2 - 5*k - 6. Let l be d(0). Let c(a) = 5*a + 3. Let g(i) = 5*i + 2. Let r(p) = -7*c(p) + 6*g(p). Is 7 a factor of r(l)?
True
Let i = -1 - -11. Suppose 6*w = i*w - 84. Is w a multiple of 18?
False
Suppose 7*f - 186 = f. Let g = f - 16. Does 3 divide g?
True
Suppose 848 = 44*l - 40*l. Is 45 a factor of l?
False
Let p = -94 - -274. Suppose 0 = -5*u + b + 50 + p, 15 = 3*b. Is 5 a factor of u?
False
Let a = -115 + 149. Does 8 divide a?
False
Suppose -2*w = -20 + 12. Let d = 4 - -1. Suppose -d*q + 54 = w*o, q - 45 = -3*o + 1. Is o a multiple of 10?
False
Let o(r) = r**2 + 39*r - 7. Is 18 a factor of o(18)?
False
Let c(l) = 3*l**2 - 3*l + 6. Let r be c(-4). Suppose k = -2*k + r. Let t = 31 + k. Does 15 divide t?
False
Let q(s) = 580*s**3 - 2*s**2 + 2*s. Is q(1) a multiple of 7?
False
Let d = -58 - -61. Suppose 72 = 2*s + m + 10, 0 = d*s - 2*m - 107. Is s a multiple of 33?
True
Suppose -l + 2 = -0*l. Suppose -l*f + 130 + 30 = 0. Is f a multiple of 8?
True
Does 22 divide ((1 - -4) + (-1758)/(-18))*9?
True
Let t(v) be the third derivative of v**6/120 + v**4/24 + 17*v**3/6 - 7*v**2. Does 17 divide t(0)?
True
Let c be 1*(-1 + (-1)/(-1)). Let p be c + -2 + 30 + -2. Suppose -10 = 2*o - p. Is o a multiple of 8?
True
Let r(x) = x**2 + 15*x + 51. Let f be r(-9). Let s = 1 + 1. Is 21 a factor of -3 + s - f*21?
False
Let l(m) = -6*m**2 + 33*m + 146. Does 3 divide l(8)?
False
Let w(s) = -s**3 + 10*s**2 - 17*s + 13. Let p(j) = -j**3 - 21*j**2 - 2*j - 34. Let q be p(-21). Does 4 divide w(q)?
False
Suppose -7*u - 4 + 32 = 0. Suppose -p - 88 = -u*g, 2*g - 3*p - 71 + 17 = 0. Is g a multiple of 17?
False
Suppose -3*g = -2*g. Suppose 4*f - 2*o - 3*o - 169 = g, -f + o = -41. Does 9 divide f?
True
Suppose 4799 = 11*u + 366. Is 31 a factor of u?
True
Suppose 2*g - 1 = -5. Let k be g*4/(8/(-2)). Let c = 5 + k. Is 2 a factor of c?
False
Let o(d) = 2*d**2 - 12*d - 3. Let c(s) = 3*s**2 - 2*s - 2. Let f be c(2). Let m be o(f). Does 8 divide -1 - m - (-2 + -44)?
True
Let g = 35 + -4. Suppose -g = -3*y - 3*h + 5, -4*y = h - 51. Suppose -14*r + 17 = -y*r. Is r a multiple of 5?
False
Let x = 61 + -53. Suppose 5*d - 240 = -4*m, -x = -4*d + 2*d. Is m a multiple of 15?
False
Suppose -3*v = 2*p - 119, 1 = 2*v + 3. Let j = p + -55. Is j a multiple of 3?
True
Let h = -273 + 182. Let n(k) = -35*k - 3. Let d be n(-4). Let w = d + h. Is w a multiple of 23?
True
Let a(d) = 41*d - 131. Is a(12) a multiple of 19?
True
Let v be (-348)/(-36) - (-2)/(-3). Let u be (v/6)/((-1)/(-84)). Suppose 0 = -5*a + 3*a + u. Is a a multiple of 18?
False
Suppose 20 = 5*l, -491 = -5*h - 4*l + 120. Let w = h + -72. Is 13 a factor of w?
False
Let y = 7 - 1. Let j be (24/18)/((-2)/y). Does 19 divide (38/j)/(7/(-14))?
True
Let g = -607 + 1082. Is g a multiple of 8?
False
Let d = 0 - 3. Is 9 a factor of 6/10 + (591/(-5))/d?
False
Let t(u) = -2*u + 10. Let n(q) = -4*q + 21. Let z(f) = 3*n(f) - 7*t(f). Let m be z(5). Suppose -m*w + 2*p + 0 = -14, 0 = -3*p - 12. Is 2 a factor of w?
True
Suppose -2*u - q = -7, 37 = -u + 6*u - 4*q. Suppose -3 - u = -2*x. Suppose -3*s = 4*c - 104, -x*s = -5*c - s + 130. Is c a multiple of 12?
False
Suppose 141 = 5*p - 2*q, 0*p - 91 = -3*p - 2*q. Suppose 5*c = -0*u - 3*u - 89, 0 = u + 3. Let f = c + p. Does 4 divide f?
False
Suppose 7*y + 5 = 8*y. Let o(m) = 6*m**2 + 4*m - 35. Does 15 divide o(y)?
True
Suppose 80 = -4*n + 2*n. Let i = 68 + n. Does 14 divide i?
True
Is (6864/56)/((-24)/(-112)) a multiple of 13?
True
Let g = -6 - -86. Suppose 0*y + g = 5*y. Suppose -8 = -2*t + y. Is 5 a factor of t?
False
Suppose 8 = 3*s - 4. Let p = -63 - -102. Suppose s*q - p - 9 = 0. Does 8 divide q?
False
Let c be 23/(-2)*(24/(-3) + 4). Suppose 2*q - 145 = -u, 2*q + 5*u = c + 79. Is q a multiple of 13?
False
Let y(d) = -d**2 + d + 1. Let k(o) = -o + 10. Let q(i) = -k(i) - 5*y(i). Is q(5) a multiple of 5?
True
Let x = 16 + -12. Is 13 a factor of (-107)/(-2) - x/8?
False
Suppose 11317 = 13*x - 6974. Is x a multiple of 67?
True
Let c = 385 + -364. Is c a multiple of 6?
False
Suppose -3*u + 5*u = -12. Let n be u + (-2 - -5) - -3. Suppose 0*t - t + 4 = n. Is 4 a factor of t?
True
Let t(l) = 3*l**2 - 126*l - 64. Is 5 a factor of t(44)?
True
Let b = -38 + 32. Is (-219)/(-9) + (-4)/b a multiple of 11?
False
Suppose -5*o = -10 + 10. Suppose o = d - 0*d - 2, -78 = -5*g - 4*d. Is 7 a factor of g?
True
Let b(s) = -3*s - 7. Let m be b(-7). Let y(l) = l**3 - 13*l**2 - 12*l - 12. Is 3 a factor of y(m)?
False
Let g(a) = -a**2 - 12*a + 10. Let k be g(-9). Suppose r + 65 = 5*q, -r - k = -3*q - 0*r. Let s = 20 + q. Does 9 divide s?
False
Is ((-178)/(-5))/((-12)/(-60)) a multiple of 9?
False
Let b be 2802/((-2)/(-2)) - 2. Suppose -b = -12*j - 4*j. Is 25 a factor of j?
True
Let h = -126 - -130. Let s(y) = -y**3 - 2*y**2 + y - 4. Let p be s(-3). Suppose 3*f - p*q - 31 = 19, -h*f + 76 = -5*q. Is f a multiple of 14?
True
Suppose -5*x + 9*x - 368 = 0. Let r be x/12*(-24)/(-4). Let w = r - -17. Does 11 divide w?
False
Suppose -8*r - 7*r + 45 = 0. Let z = 24 + r. Does 7 divide z?
False
Suppose -a = -2*h + 8, 0 = 4*a + 3*h - 1. Let c = 0 + a. Let k = c + 9. Does 7 divide k?
True
Is 28 a factor of 0 - 18*(2 + (-826)/21)?
True
Is ((-54)/12 - -1)*-8 a multiple of 4?
True
Let a(z) = z**3 - 4*z**2 + z - 1. Let k be a(4). Let i(r) = -7*r**3 - r**2 + 3*r + 1. Let o be i(k). Is (4 + -1)*o/(-12) a multiple of 10?
False
Suppose -5*p = -25 - 65. Let v be (-8)/6*p/(-8). Suppose 0 = 5*k - o - 203, -v*k = o - 6*o - 135. Does 17 divide k?
False
Let u be 404/(-34) + (-2)/17. Let f = 9 + u. Let c = 45 + f. Is 6 a factor of c?
True
Suppose -5*a = 0, 4*x - 7 - 1 = -a. Suppose x*t = 3*t + 3*p - 15, -5*t + 5*p = 25. Does 19 divide 19*(t + 2 + 0)?
True
Let r = 81 + -75. Suppose r*p - 202 = 2. Is p a multiple of 34?
True
Let i(t) = 60*t**3 - t**2 - t + 1. Let n(g) = g**2 - 7*g + 11. Let d be n(5). Let s be i(d). Suppose 2*b + c = 3*b - s, -2*b + 4*c + 116 = 0. Does 10 divide b?
True
Let z(m) = 28*m**3 + 4*m**2 - 13*m + 15. Is z(4) a multiple of 17?
True
Suppose -7*h = -16*h + 648. Is 36 a factor of h?
True
Let x(a) = 2*a - 2. Let m be x(7). Let i = m - 72. Is 5/(-2)*912/i a multiple of 15?
False
Let w = 511 - 389. Is w a multiple of 20?
False
Suppose -b + 4*f = -4*b - 88, f + 100 = -4*b. Let w = b - -106. Is 41 a factor of w?
True
Let v(r) = -r**3 - 2*r**2 + 4*r + 6. Let i be v(-3). Suppose -t + 1 = -2*z, -i*z = -3*t + 2*z + 5. Suppose 0*u = t*u - 110. Is u a multiple of 22?
True
Let s(v) = v - 2*v - v**2 + 4 - 2. Let y be s(-2). Suppose 15 = -3*r, 3*r = -2*p - y*r + 45. Does 15 divide p?
True
Let k = -11 + 19. Suppose 5*s + 73 - k = 0. Let y = s - -24. Does 6 divide y?
False
Suppose -2*x = -4*w + 46, 5*x = 3*w - 48 + 17. Is (2067/52)/(2/w)*2 a multiple of 61?
False
Does 63 divide (64/(-48))/(28/(-31521))?
False
Let l(a) = -9*a**3 + a**2 - 3*a - 2. Let h be l(-1). Suppose 2*m - 17 = 7. Let y = h + m. Is y a multiple of 23?
True
Is 50 a factor of 9/(-3) + (-1353)/(-1)?
True
Suppose 3*l - 95 - 587 = -4*d, 5*l - 1102 = 2*d. Suppose -939 = -4*j + 3*c, -3*c = j - 9 - l. Suppose 4*u + 6*s = 3*s + 249, j = 4*u - 2*s. Does 15 divide u?
True
Suppose -4*u - 70 = -3*a, a - 2*u + u - 25 = 0. Is 12 a factor of 4/a - ((-6114)/45 + 0)?
False
Let p(a) = 96*a + 