= 81 - u. Does 9 divide y?
False
Let f be 78/8 - 3/(-12). Does 8 divide (f/25)/(1/70)?
False
Suppose 10878 = 4*j - 0*h - 2*h, -2*j = h - 5433. Is j a multiple of 73?
False
Suppose -4*r + 2*r = 4*s + 24, -4*r = 5*s + 42. Let d be 46/4 - (-1)/2. Is r/(1 - 16/d) a multiple of 9?
False
Let q = -399 - -829. Is q a multiple of 55?
False
Suppose 506 = -4*r + 202. Let c = r + 109. Suppose -5*b + c = -122. Does 19 divide b?
False
Let l = -13 - -18. Suppose 3*c + b - 658 = l*b, -194 = -c - 5*b. Let p = c - 147. Does 35 divide p?
False
Suppose -2*z + z = 4*m - 82, -2*z + 176 = 2*m. Suppose 2*l = 7*l - z. Suppose 0 = 3*y + 3*f - 63, 3*f - l = -y + 7. Does 19 divide y?
True
Suppose 82 - 18 = -3*m + 4*d, 2*m - d + 41 = 0. Let x = -19 - m. Suppose -2*h + x + 125 = 0. Is h a multiple of 21?
True
Let f(r) = -7*r - 10. Let a be f(-2). Suppose 5*p = -4*b + 88, 4*p - 27 = -a*b + 57. Is b a multiple of 17?
True
Let w = -8 + 10. Let r be 9*(w/6 + 0). Suppose 0 = 4*d - r*h - 31, 3*d - 3*h + 0*h - 21 = 0. Is 5 a factor of d?
True
Is (-10)/(5/(-4 - 221)) a multiple of 30?
True
Let y(d) = d + 4 - 2 + 1. Let q be y(0). Is 3 a factor of (-3)/(-9)*q - -2?
True
Let y(k) = -k**2 - 14*k + 3. Suppose 4*w = 12, 2*w = i + 6 + 8. Does 17 divide y(i)?
True
Let k(l) = 2*l**2 - 13*l - 1. Let t(y) = y**2 + 7*y + 7. Let p = 1 - 8. Let n be t(p). Is k(n) a multiple of 2?
True
Let t be 2/(-4 - (-630)/156). Let u = -4 + 6. Suppose 5*h + t = -2*g + 131, -u*g + 49 = -5*h. Is g a multiple of 8?
True
Suppose 3*o + 175 = 13. Let i = o + 90. Suppose -4*t + 88 = i. Does 4 divide t?
False
Suppose -23 + 107 = -4*s. Let o = 26 + s. Is o a multiple of 5?
True
Suppose 12*w - 1513 - 359 = 0. Is 52 a factor of w?
True
Let p = -58 - -60. Suppose 3*g = 2*g - 5*d + 72, -g + p*d + 86 = 0. Does 7 divide g?
False
Let a(d) = 1. Let w(o) = -o - 3. Let y(v) = -a(v) + w(v). Let z be y(-6). Suppose 0 = m - 4*x, -4 = -m + z*x + 6. Is 4 a factor of m?
True
Let c be (-23370)/14 + (-4)/(-14). Let f = -1169 - c. Suppose 0 = 6*n - 178 - f. Is n a multiple of 31?
False
Suppose -8*h = -3*h - 35. Suppose h - 4 = q. Suppose -q*p = -0*p - 186. Is 10 a factor of p?
False
Let k(s) = -s**2 + 9*s - 8. Let p(x) = x**3 - x**2 + 2*x - 3. Let a be p(2). Let z be k(a). Suppose -2*n + 96 = z. Is 14 a factor of n?
True
Suppose -4*w - 41 = -5*f - 0*w, w = 5*f - 29. Suppose -c = -f*c + 112. Suppose -k - k = -c. Is k a multiple of 9?
False
Does 3 divide (-8671)/(-115) + (-2)/5?
True
Let c(y) = 5*y**3 + 2*y**2 + y + 3185. Does 91 divide c(0)?
True
Let n = 86 + -80. Suppose 2*w - 120 = 4*h, n*h - 152 = -2*w + 2*h. Does 17 divide w?
True
Let t(p) = 9*p - 27. Suppose -12 + 6 = -l. Does 12 divide t(l)?
False
Let p = 3 + -3. Suppose p = -3*y - 12, n - 2*y - 22 = 3*y. Suppose 7*v = n*v + 275. Is v a multiple of 12?
False
Let c = -212 - -274. Does 7 divide c?
False
Let c(m) = -2*m**3 + 2*m**2 - 4. Let n be c(4). Let k be n + -2*9/(-6). Let x = k - -136. Is 13 a factor of x?
True
Let x(u) = -14*u + 2. Let c(h) = -15*h. Let i(l) = 5*c(l) - 6*x(l). Is 4 a factor of i(4)?
True
Let a = -96 - -265. Let s = 22 + a. Is s a multiple of 9?
False
Suppose -4*m + 224 = 3*c, -5*m + 120 = 4*c - 160. Is 4 a factor of m?
True
Does 3 divide 13878/324 - 2/(-12)?
False
Suppose 6*c + 2*g - 2052 = 0, -2*c - g + 0*g + 683 = 0. Is c a multiple of 7?
True
Suppose 2849 = -295*i + 302*i. Does 11 divide i?
True
Let a be (1/1)/(-1)*-1. Is ((-5)/2)/(a/(-6)) a multiple of 4?
False
Suppose 11*f - 15*f = -1572. Is 2 a factor of f?
False
Let k(t) = -t**2 + 12*t - 3. Let q be k(3). Suppose -19*b = -q*b + 150. Is 5 a factor of b?
True
Let j = 2 + 2. Let o(t) = 2*t - 2. Let h be o(j). Is ((-3)/h)/(2/(-72)) a multiple of 9?
True
Suppose -5*i - 3*l = -339, -3*i - 2*l = -2*i - 65. Let u = 195 - i. Is 41 a factor of u?
False
Suppose 5*v + 3 + 50 = 2*k, 76 = 3*k - 4*v. Is k/(4*4/24) a multiple of 36?
True
Suppose -5*x + 797 + 523 = 0. Does 13 divide x?
False
Suppose -5*m = -3*c - 0*c + 40, 4*c + 20 = 0. Let g = -2 - m. Is g - (-3)/12*-4 a multiple of 2?
True
Let c be 18/(-8)*(5 + -9). Suppose 15 = 4*z - c. Does 3 divide z?
True
Let l(o) = 37*o**2 + o - 3. Let k(f) = -2*f + 2. Let q be k(2). Is l(q) a multiple of 38?
False
Suppose 0 = -0*o - 4*o + 12. Suppose m + o + 0 = 4*g, 4*m = -2*g + 6. Suppose 9 - g = i. Does 8 divide i?
True
Suppose -p + 0*x = -4*x + 5, -20 = -p - x. Let b(m) = -m**3 + 14*m**2 + 24*m - 35. Is b(p) a multiple of 25?
True
Suppose 30 = -2*r - 5*m + 6*m, 0 = -4*r + 3*m - 60. Does 3 divide (6/2)/(r/(-85))?
False
Let h be (1 + 0)/((24/45)/8). Does 11 divide (-4)/10 - (-2061)/h?
False
Is 52 a factor of ((-169)/4)/(1188/240 + -5)?
False
Let d(z) be the second derivative of -z**3/3 - 15*z**2/2 - z. Let k be d(-10). Suppose l - 5*p = 27, 0 = -2*l - 0*p - k*p + 9. Is l a multiple of 3?
True
Suppose 5*n = -3*w + 3188, -3*n - w + 2513 = 597. Is 20 a factor of n?
True
Suppose -5*s - 3*h = -884, -4*h = -2*s + 252 + 112. Suppose -6*o + 2 = -s. Does 17 divide o?
False
Let g(h) = h**2 + 9*h + 8. Let x be g(-6). Let a(y) = 4*y**2 + 50*y - 14. Let f be a(-13). Is (-24)/x + f/20 even?
False
Suppose 0 = -6*m - 2*m + 32. Suppose 105 = m*v - j, 0 = -6*v + 3*v + 4*j + 95. Is v a multiple of 4?
False
Let i(f) = f + 12. Let o(s) = s**2 + 4*s. Let w = -9 + 4. Let b be o(w). Is i(b) a multiple of 17?
True
Let i = 53 + 58. Let z = -50 + i. Is z a multiple of 16?
False
Suppose -4*b - 8*t = -12*t - 6696, 0 = -4*b - 2*t + 6684. Does 76 divide b?
True
Let f = -351 - -231. Is 31 a factor of f*((-36)/10 + (-3 - -5))?
False
Let n = -2164 - -4091. Does 41 divide n?
True
Let j(o) = 1 - o + 1 + 4. Is 4 a factor of j(0)?
False
Let c = -82 + 310. Suppose -8*u - c = -12*u. Suppose 30 = 3*v - u. Does 29 divide v?
True
Suppose 3*l - s = 4799, 0 = -2*s + 7 - 5. Is l a multiple of 50?
True
Let z be -3 - 1*(3 - 92) - 2. Let w = z + -71. Is w a multiple of 2?
False
Suppose 2*g + 2 = 10. Let j(z) = -z**3 + 6*z**2 - 2*z + 12. Let f be j(6). Suppose -3*a + g + 140 = f. Is 17 a factor of a?
False
Is 56/98 - (-52)/7 a multiple of 8?
True
Let k be 5*(342/15 - -2). Suppose -185 + k = -n. Is n a multiple of 22?
False
Suppose 0 = -17*h + 786 + 2614. Is 10 a factor of h?
True
Let m(k) = 4*k**2 + k + 6. Let c be (-30)/4*4/(-5). Let h be m(c). Suppose -p = p - h. Does 13 divide p?
True
Let k be (-1690)/(-546) + (-4)/42. Suppose 0*u = -2*u + 40. Is 8 a factor of u + k/(-3) + -3?
True
Suppose 0 = -13*q + 302 + 1297. Suppose 29*h - 26*h - q = 0. Is 26 a factor of h?
False
Let z = -153 - -345. Does 21 divide z?
False
Let h(a) = -a**2 + 8*a - 10. Let z be h(7). Is 27 a factor of (-1)/(z/147)*(-15 + 16)?
False
Suppose r + 20 = 6*r. Suppose -3*o + 3 = -2*s + 1, -3*s + 31 = r*o. Suppose -o*c - 52 = -152. Is c a multiple of 5?
True
Let h(w) = 54*w**2 - 2*w + 1. Let i be h(1). Suppose -5*v + 95 - 436 = -3*z, -z + 3*v + 107 = 0. Let b = z - i. Is b a multiple of 21?
False
Suppose -c + 205 = 4*c. Is 8 a factor of (19 - 16) + (c - 0)?
False
Does 83 divide 6/(458/(-1220) + (-8)/(-20))?
False
Let b be 59/4 + (-6)/8. Suppose -k - 4*f + b = -2*f, 2*k - 2*f - 22 = 0. Is k a multiple of 12?
True
Let s = -117 + 84. Let g = 36 + s. Is 3 a factor of g?
True
Suppose 12*q - 4*i = 7*q + 6042, 3*q + i = 3615. Is q a multiple of 18?
True
Let o(t) = -54*t + 2. Let h be o(-2). Suppose -4*a + h + 50 = 0. Let f = a - 20. Is f a multiple of 10?
True
Let f(b) = -62*b + 36. Let z be f(-9). Suppose -z = -20*g + 14*g. Is g a multiple of 33?
True
Let u = 43 + -67. Is (-2)/16 - 939/u a multiple of 13?
True
Let l be -3 - -1 - (-2 - 2). Let n be 1 + l + (-14)/(-7). Suppose 0 = 2*x + n*p - 92, 5*p = 16 + 4. Does 13 divide x?
False
Is 74 a factor of ((-788)/7)/(10/(-175))?
False
Let x(r) = -31*r**2 + 1. Let w be x(-1). Let j = w - -33. Does 3 divide j?
True
Let k(o) = -27*o - 216. Is k(-52) a multiple of 66?
True
Let h(b) = -b**2 - 64*b - 11. Is h(-13) a multiple of 4?
True
Let z(x) = 11*x**2 - 7*x - 11. Let w = -83 - -81. Does 5 divide z(w)?
False
Let b(f) = -f + 11. Let v be b(8). Suppose -3*t + v = -t - 5*j, 0 = -t - j + 5. Suppose 1 + 0 = -h, -4*h - 40 = -t*s. Is s a multiple of 3?
True
Let i(s) = -1. Let u(n) = -13*n**2 + 6*n + 37. Let y(b) = 7*b**2 - 3*b - 19. Let o(k) = -6*u(k) - 11*y(k). Let a(x) = -5*i(x) + o(x). Does 13 divide a(-6)?
False
Let o = 