. Is (-8)/((-1)/2 - -2)*m a multiple of 9?
False
Let b(s) = -s - 142. Let c(v) = -2*v - 284. Let f(q) = 11*b(q) - 6*c(q). Let d be f(0). Suppose -3*u + d = -5*a, -u + 2*a + 205 = 4*u. Is 13 a factor of u?
True
Let j(v) = 2*v**3 - 14*v + 22. Is 2 a factor of j(4)?
True
Suppose -602 = -10*d - 4*d. Is 6 a factor of d?
False
Let r = -507 + 1459. Does 68 divide r?
True
Let c = -10 - -12. Suppose 0 = c*f - 8. Let i(a) = 10*a + 1. Does 24 divide i(f)?
False
Let s(u) = -5*u - 8. Let i(d) = 11*d + 17. Let b(c) = -6*i(c) - 13*s(c). Let y be b(-4). Suppose -v + j - 103 = -y*v, 3*j = -3*v + 57. Does 7 divide v?
True
Suppose 0*z + 3*d = 2*z + 8, 3*z - 3*d + 6 = 0. Suppose 0 = -6*n + z*n + 64. Suppose -23 - n = -k. Is 13 a factor of k?
True
Suppose -3*r + 573 = -216. Let g = r + -104. Is g a multiple of 29?
False
Let t be 2946/10 - (-4 + (-90)/(-25)). Suppose -3*u - t = -8*u + 3*h, u - 4*h = 76. Is 9 a factor of u?
False
Suppose -4*g - 163 = 4*l + l, -27 = g + 4*l. Let d = g - -87. Does 20 divide d?
True
Suppose 2 - 4 = -l. Suppose -3*g - l = -8. Suppose -g*t - 2*t + 4*s = -144, 0 = -5*t + 3*s + 174. Does 14 divide t?
False
Suppose 343 = -8*w - 353. Let x = w + 135. Suppose 8*u - 6*u - x = 0. Is u a multiple of 12?
True
Let p(s) = -291*s - 10 + 0 - 159*s. Let z be p(7). Is 24 a factor of z/(-44) + 4/22?
True
Suppose 8*z = 174 + 4386. Is z a multiple of 10?
True
Let a(b) = -b**3 - 7*b**2 - 6*b + 1. Let l be a(-6). Let c be 0/4 - (l - -1). Is 32 a factor of ((-1)/c)/((-1)/(-66))?
False
Let p = 841 + -380. Does 10 divide p?
False
Let o = -458 + 809. Is 39 a factor of o?
True
Let t be 15 + -5 + 3/3. Suppose 0*c + t*c = 1694. Is 11 a factor of c?
True
Let g(d) = 541*d**3 - d**2 + 7*d - 5. Is g(1) a multiple of 6?
False
Is 3 a factor of 3/(4/(2472/18))?
False
Suppose b + 17 = 4*c, 7*c = 3*c + 5*b + 21. Suppose 20 = -3*t + 2*n + 6, c*n = 16. Is 5 a factor of 10/2*(-10)/t?
True
Suppose -2*k + 3 = -3. Suppose 0 = s + 3*z + 27, -z + k = 8. Let d = -9 - s. Is d even?
False
Let b(n) = 4*n**3 - 3*n**2 - 2*n - 1. Let x(z) be the first derivative of -z**3/3 + 3*z**2 + 10*z + 12. Let j be x(7). Does 29 divide b(j)?
False
Suppose 2*j - 3*u - 13 = -2*u, 27 = 3*j - 3*u. Let w = 79 - 77. Suppose 0 = j*r + z - w*z - 62, -4*r + 2*z + 60 = 0. Is 11 a factor of r?
False
Let f = -162 + 290. Let o = 198 - f. Is o a multiple of 18?
False
Suppose 14 = 5*z - 6. Suppose -z*g = -2*k - 5*g + 130, -4*k + 240 = -3*g. Is k a multiple of 21?
True
Let o(i) = -401*i - 1. Let p be o(-1). Suppose 2*d - b + 163 = 0, -3*d - p = 2*d + 5*b. Is (-9)/(d/(-30) + -3) a multiple of 8?
False
Let h(q) = -q**3 - 12*q**2 - 11*q - 8. Let z be h(-9). Let m be z/32 + 2/(-8). Is 21 a factor of (m - 16)/(1/(-2))?
True
Suppose -436*f = -399*f - 11803. Does 2 divide f?
False
Let m = -3845 + 7853. Is 12 a factor of m?
True
Suppose -r + 2*z - 6*z = -17, 2*r + 2 = z. Let q(m) = 37*m - 1. Does 12 divide q(r)?
True
Let r = -92 - -240. Suppose 4*k - 5*c = -2*c + r, 5*c = -3*k + 82. Is k a multiple of 3?
False
Suppose -6 = m - 2*m. Let w(p) = 5*p + 4 - 4*p - 3 + m. Is 13 a factor of w(6)?
True
Is 77 a factor of ((-301)/172)/(2/(-4576))?
True
Suppose 3*k + o - 1382 = 0, -k + 0*k - 4*o = -446. Is 21 a factor of (2 - k)/(-4) - -4?
False
Let x(p) = 2*p**3 + 59*p**2 - 42*p - 70. Is x(-29) a multiple of 51?
True
Suppose -4325 = -163*r + 158*r. Is r a multiple of 9?
False
Let z be (0 + -3)/(-3) + 2. Suppose -5*q + 64 = z*p - p, -p = -2*q - 23. Suppose -2*s + 3*v - 5 = -s, 2*v = 5*s - p. Does 2 divide s?
False
Let w = 426 - 397. Is w a multiple of 15?
False
Let v(q) = 2*q + 32. Let i be v(-14). Suppose 0 = -0*h + i*h - 544. Is 34 a factor of h?
True
Suppose a - 1 = 3*n, 4*n + 8 = -2*a - 10. Let r = 3 + a. Does 8 divide -6*r/((-24)/(-76))?
False
Suppose 2 + 2 = 2*b. Let n = 24 - 22. Suppose -5*t = -r - 287, b*t + n*t - 4*r = 236. Does 13 divide t?
False
Suppose -5*f = -3*b + 512, 11 - 91 = f + 5*b. Let n = 142 + f. Is n a multiple of 21?
True
Let h = -657 + 1167. Is 7 a factor of h?
False
Let m(o) = -o. Let x be m(10). Let s = x - -10. Suppose 2*d + z = 5*d - 156, -5*d - 3*z + 246 = s. Is 17 a factor of d?
True
Suppose -2*c + 3*c - 6 = 0. Suppose -c*k = -10*k. Suppose 5*r + 0*r - 90 = k. Is 9 a factor of r?
True
Let p = 105 + -60. Suppose 7*h - 6*h = p. Is h a multiple of 9?
True
Let p = 54 - 49. Let k(z) = -z**3 + 5*z**2 + 6*z + 3. Does 5 divide k(p)?
False
Does 24 divide 801/12*112/84?
False
Suppose 75 = m - 2*n, 73 = m - 5*n + 7. Is m a multiple of 9?
True
Let k = -97 + 100. Suppose k*m + 13*m = 896. Is m a multiple of 17?
False
Let b(c) = -2*c**3 - 6*c**2 - 6*c. Is 28 a factor of b(-4)?
True
Let u = -11 + -69. Is ((-7)/4)/(2/u) a multiple of 10?
True
Let c = 70 - -217. Does 10 divide c?
False
Is 33 a factor of ((-2)/3 - 0)*10467/(-6)?
False
Is 5 a factor of 7960/11 + 476/1309?
False
Let n(t) = -t**3 - t**2 - 7*t - 8. Is n(-8) a multiple of 16?
True
Is (198/12)/((-6)/(-12)) a multiple of 17?
False
Suppose -2*w - 2*w = 40. Let j = 51 - w. Suppose 0 = 3*g - j - 53. Does 12 divide g?
False
Let v(o) = o + 18*o - 8*o - 36 + 14. Is v(5) a multiple of 3?
True
Let t = 41 - -1. Does 3 divide t?
True
Suppose 4*r + 4*k - 1913 - 215 = 0, 0 = 2*r - 5*k - 1029. Suppose -4*f + r + 537 = 0. Does 34 divide f?
False
Let l(d) = d**2 - 3*d - 164. Is l(-14) a multiple of 2?
True
Suppose 0 = 5*w - w. Suppose -5*u - 3*z = -w*u - 370, 25 = -5*z. Is u a multiple of 11?
True
Let r(m) = -m**3 + 4*m**2 + 5*m + 3. Let t be r(5). Suppose -4*n + 4 = -t*n. Suppose 0*k - 84 = -n*k. Does 10 divide k?
False
Let a = -11 + 12. Does 11 divide (9/(-18))/(a/(-132))?
True
Suppose 3*v - 5*x = 13 - 5, -10 = -5*x. Suppose -415 = -v*u + u. Suppose -u - 67 = -5*f. Does 10 divide f?
True
Suppose -14*s = -2596 - 1828. Is s a multiple of 4?
True
Suppose 0 = -11*n + 14*n + 195. Let x = n + 91. Is 14 a factor of x?
False
Let f(v) = 314*v**2 - v. Let d be f(1). Let j be d - (4 + -2 + -3). Suppose -2*b + 192 = 4*a, -j = -3*b + 3*a - 44. Is b a multiple of 22?
False
Let v = 2060 + -1079. Does 122 divide v?
False
Let v(f) = f**2 + 6*f - 2. Let g be v(-7). Suppose g*w + 35 + 195 = -5*z, -4*w = -z + 169. Does 17 divide (w/(-2))/(1/2)?
False
Let a be ((1 - 0)*1)/(9/(-1827)). Let x = a - -379. Does 25 divide x?
False
Suppose 0 = 53*d - 2939 - 44125. Does 10 divide d?
False
Let r = 54 - 38. Suppose 15*h + 27 = r*h. Is h a multiple of 7?
False
Is 286 + -13 + 2 + -8 even?
False
Suppose -2 = -i + 8. Let l(b) = -b + 12. Let s be l(i). Suppose -31 = -4*m - 5*p + 103, -s*m = -2*p - 76. Is m a multiple of 9?
True
Suppose -5*t = -2280 - 430. Is 9 a factor of t?
False
Let b(u) = -u + 1. Let f be b(1). Suppose -4*v = -2*z - f*z + 12, 2*z + 2*v = 6. Suppose -2*g + 3*i = -216, -214 - 218 = -4*g + z*i. Is 12 a factor of g?
True
Let m = 134 + -116. Does 35 divide (-2)/(-12) - (-1257)/m?
True
Suppose 5*q = 7*q. Suppose -4*m = -5*f - 298, -3*m + q*f + 2*f = -220. Is m a multiple of 13?
False
Let d(z) = -z**3 + 7*z**2 + z + 2. Let b be d(7). Let l(o) = 2*o**2 - 9*o + 6. Does 31 divide l(b)?
False
Let l(n) = -106*n - 215. Is 9 a factor of l(-5)?
True
Let l = 45 - 47. Does 13 divide ((-2)/(4 - l))/((-1)/327)?
False
Suppose -6*f + 103 = -107. Is 7 a factor of f?
True
Let u = -4 - -14. Let j(p) = p**3 + 7*p**2 - p - 6. Let i be j(-4). Let v = u + i. Is 18 a factor of v?
False
Suppose -a + 1 = -0*b + 3*b, 5*b + 4 = 4*a. Let p = 3 + b. Suppose 5*m - m = -p*r + 26, 3*r = -3*m + 27. Is 5 a factor of r?
True
Let z be ((-8)/24)/(2/(-12)). Suppose 0 = z*p - 2 - 2, 0 = -4*b + 4*p + 256. Is 30 a factor of b?
False
Let i be 2/2 - -5 - 3. Suppose -313 = -2*n + i*x + 4, 0 = n - 2*x - 160. Is n a multiple of 22?
True
Suppose 7 = -3*r - 2. Does 10 divide -1 + 49 + 12/r?
False
Let t be 18/(-12) - (-6)/4. Let s be 4 + 1 - t - 2. Suppose -u + 4*u + 3*g - 27 = 0, 0 = -s*g - 15. Is 11 a factor of u?
False
Let d(h) = h**3 - 10*h**2 + 4*h - 15. Let f be d(10). Suppose z + g = -18, -f = z - 4*g + 18. Let w = 35 + z. Is w a multiple of 6?
True
Suppose -108 = -3*l - l. Suppose 4*h + h + 85 = 0. Let o = l + h. Is 5 a factor of o?
True
Let m(k) = 232*k + 32. Is m(6) a multiple of 49?
False
Suppose 0 = -4*k + 2*j + 16, -3*j - 20 = -4*k. Is k even?
True
Let r = 2 - 0. Suppose 2*b = 4 + r. Suppose i - 212 = -b*i. Is i a multiple of