pose 0*m - 3*b = -2*m + 167, -222 = -3*m - 5*b. Is m a multiple of 15?
False
Let i(o) = -o - 3. Let q be i(0). Suppose -2*n + 4*d = -26, -3*n = -5*d + 4*d - 19. Let t = n - q. Is t a multiple of 6?
False
Suppose 14*u - 16*u + 526 = 0. Does 28 divide u?
False
Suppose -15 = -7*d + 10*d. Let y = d - -19. Is y a multiple of 13?
False
Let x(d) = d**2 + 2*d + 1. Let i be x(-1). Suppose -5*p - 3 - 2 = i. Is (-1 + -2)/(p/12) a multiple of 36?
True
Let i be 2/6 + (-5)/15. Suppose i*o + 4*o = 80. Is 20 a factor of o?
True
Does 14 divide (-3 - -1) + 1 - 741/(-13)?
True
Let a(o) be the second derivative of -o**3/6 + o**2 - 5*o. Let w be a(-2). Suppose 0 = 3*j, 2*j - 64 = -w*y + j. Is y a multiple of 16?
True
Suppose -4*g + 0*g = -360. Suppose -80 = -2*h + g. Suppose -5*d + h + 96 = 4*x, 0 = -5*d + x + 161. Does 16 divide d?
False
Let k = -251 - -209. Suppose 0 = 4*a - l + 3 + 237, 0 = a - 4*l + 60. Let x = k - a. Does 5 divide x?
False
Let b be 32/20 - (-6)/(-10). Is 9 a factor of (-644)/(-36) + b/9?
True
Suppose -a = -2*w + 1202 + 730, -2*w + 5*a = -1932. Is w a multiple of 23?
True
Let c be ((-6)/(-5))/(15/(-50)). Let z be 3/(2/c - -2). Suppose 0 = 2*i - i - z*u - 14, -i + 11 = u. Is 12 a factor of i?
True
Suppose 252 + 183 = 5*f. Is 10 a factor of f?
False
Let x(m) be the first derivative of m**3/3 + m + 7. Let w be x(2). Suppose 0 = 7*p - w*p - 64. Is p a multiple of 16?
True
Let v = -164 + 644. Is 120 a factor of v?
True
Let h(s) = -2*s + 27. Let q be h(12). Suppose -2*z + 21 = -q*j, -4*z = -3*j - 7 - 26. Is 6 a factor of z?
True
Is 21 a factor of -108*((-6)/16)/((-12)/(-168))?
True
Let p be -1 + (0 - 3)/(-1). Suppose -37 = -4*h + p*h - 3*s, -3*h = -s - 28. Is h a multiple of 8?
False
Let h be 88/9 - 10/(-45). Let u(w) = 0 - h - 3*w + 8*w + 3*w. Is 18 a factor of u(10)?
False
Suppose 418 = 8*k - 142. Let u be (-10)/((-1)/(1/2)). Suppose -5*h - 149 = -3*y, -u*y - k + 343 = 4*h. Is y a multiple of 14?
False
Suppose -44 = -m + 236. Is m a multiple of 14?
True
Let v(l) = 219*l**3 - l**2 - 2*l - 1. Let s be v(-1). Let d = 313 + s. Does 26 divide d?
False
Suppose -k - 4*a + 2078 = 0, 36*k = 34*k - 3*a + 4131. Is 35 a factor of k?
False
Suppose -4*d = 16, -33*s - 2*d + 1656 = -29*s. Does 2 divide s?
True
Let k(p) = -p**2 + 5*p + 4. Let g be k(4). Let s(w) = 2*w - 11. Let d be s(g). Suppose 0*f + 50 = d*f. Does 3 divide f?
False
Let n(p) = -5*p**3 - 99*p**2 - 8*p - 40. Does 16 divide n(-20)?
False
Let u be 7 + (-4 - 1/(4/(-16))). Suppose -5*v - b + u = -0*b, -v + 5 = -b. Does 2 divide v?
True
Let c be -4*4/(-16) + 2. Suppose -4*g = -5*j + 11 - 3, -c*j + 8 = -4*g. Suppose -2*b + 4*d = b - 22, b + 2*d - 24 = j. Is b a multiple of 6?
False
Let m(i) = i**3 + 10*i**2 + 2*i - 2. Let x be (8/(-6))/((-1)/(-3)). Is 7 a factor of m(x)?
False
Suppose -5*y - r - 51 = 0, 0*y - 2*y = 5*r + 2. Let c(a) = -a**3 - 10*a**2 + 8*a - 15. Is 6 a factor of c(y)?
True
Does 18 divide 5/(-1)*4*126/(-5)?
True
Suppose -4*x + 280 = -80. Is 9 a factor of x?
True
Suppose a = 4*g + g + 429, 5*a + 4*g = 2232. Is a a multiple of 4?
True
Let b = 308 + -649. Let f = b + 497. Is f a multiple of 22?
False
Let y be 2/12 - 5/30. Let a be (-1)/4 + 363/12. Let g = a + y. Is 7 a factor of g?
False
Let o be ((-72)/(-5))/(0 + 21/(-140)). Let x = o + 112. Is x a multiple of 16?
True
Let y(v) = 6*v**2 + 7*v - 7. Does 13 divide y(-9)?
True
Suppose -4*b + 1876 = 5*o - o, o - 1882 = -4*b. Suppose -13*c = -1817 - b. Does 22 divide c?
True
Suppose 3*d + 2*j - 64 = 0, -3*d + j + 13 = -36. Let r be -2 - ((1 - 1) + -5). Let x = d - r. Is x a multiple of 5?
True
Suppose 336*q - 5220 = 316*q. Is 9 a factor of q?
True
Let u(i) = -i**3 + 11*i**2 + 7*i - 9. Let r be u(10). Let k = r + -103. Is 13 a factor of k?
False
Let w(z) = z**3 + 7*z**2 - 9*z. Let f be w(-8). Suppose -3*b + b + f = 0. Suppose -b*u = -0*u + 3*h - 204, 2*u = 4*h + 102. Does 11 divide u?
False
Let i(g) = -g + 5. Let t be i(5). Let d(j) = -j**2 + 9*j + 5. Let s be d(9). Suppose s*u = -5*x + 100, -2*u - x + 59 - 19 = t. Is 10 a factor of u?
True
Is 40 a factor of (-108)/(-4)*7/6*2?
False
Let y(d) = 3*d**2 - 9*d + 1. Let f be y(9). Let x = 349 - f. Is x a multiple of 32?
False
Let m be 6 + 0 - (-6)/(-6). Let g be 11/3*15/5. Suppose m*l - 61 = -j - g, 5*j + 3*l = 206. Is j a multiple of 20?
True
Let h = -19 + 617. Is 26 a factor of h?
True
Let h = 464 - 251. Does 71 divide h?
True
Suppose -2*f + 8*g + 1602 = 4*g, 4*f - 3152 = -5*g. Is f a multiple of 12?
False
Suppose 0 = -3*y + 2*w - 127, -2*y + w - 9 = 74. Let f = 1 + y. Let j = 55 - f. Does 28 divide j?
False
Let c(g) = -29*g + 5. Let s be c(-7). Suppose -s = -w + i + 16, 5*w - 3*i = 1122. Is 19 a factor of w?
False
Is 21 a factor of 4 + (4 - -120)*57/4?
False
Suppose -4*j + 168 = -492. Does 33 divide j?
True
Let f(r) = -1 + 6 + 15*r - 23*r - 39. Does 5 divide f(-9)?
False
Suppose -b - 156 = -5*b. Let m = b + -17. Suppose m = 3*s - 17. Does 5 divide s?
False
Suppose 397 = 2*u - 771. Is u a multiple of 12?
False
Suppose -3*b - 1 = g, 4*b = 5*g + 30 + 13. Let i be (-2)/g - (-3230)/(-35). Does 17 divide 5 + -4 - i/2?
False
Suppose 17*a + 9 = 18*a. Is (24/6 - a) + 209 a multiple of 17?
True
Suppose 38*v + 13*v - 85425 = 0. Is 25 a factor of v?
True
Let b(d) = -13*d - 14. Let i be b(-10). Suppose 3*n + 20 = i. Let r = n - 22. Is r a multiple of 2?
True
Let j(h) = 3*h**2 - 6*h + 1. Suppose 2 = 2*u - 2*d, -2*u - d - 2 = -13. Does 9 divide j(u)?
False
Let x(u) = 2*u. Let p be x(2). Suppose -p = -3*i + 5. Suppose -90 + 30 = -i*f. Is 6 a factor of f?
False
Let f(u) = u**3 + 3*u**2 + 3*u + 5. Let v be f(-3). Let i(z) = 2*z**2 + 3*z - 4. Let y be i(v). Let m = y + 2. Is m a multiple of 9?
True
Let g(u) be the third derivative of u**4/6 - 5*u**3/3 + u**2. Let h be g(3). Suppose h*z - 35 = -5. Is z a multiple of 5?
True
Let m = 39 - 82. Let w = m - -82. Is 16 a factor of w?
False
Suppose -6 = -3*a + 3. Suppose -a*n - 3 = -21. Is (n*-1)/(8/(-12)) a multiple of 2?
False
Let o be ((-6)/(-4) + -2)*-44. Is (-4 - -6)/4*o a multiple of 3?
False
Suppose 2*n + 4*z = -n + 5260, 6*n - 10509 = 3*z. Is n a multiple of 12?
True
Suppose 5*u - 24 = -2*t, u = 5*t - 4 - 56. Is 40/3*27/t a multiple of 5?
True
Suppose -5*o + 2*l = -255, -3*o = -4*l + 18 - 157. Suppose -4*w - 132 = -4*v, v + 3*w - o + 8 = 0. Does 9 divide v?
True
Suppose -j + 286 = -t, -3*j = -0*t - 5*t - 854. Suppose -j = -5*h + 2*h. Does 12 divide h?
True
Let a(t) = -t**2 + 11*t - 10. Let n(k) = k. Let m(d) = a(d) - 2*n(d). Let y = -88 + 94. Does 3 divide m(y)?
False
Let p = -32 - -32. Suppose o - 38 - 34 = p. Is 18 a factor of o?
True
Suppose 3*h = -w - 52 + 8, -15 = 3*h. Let l = w - -125. Is 32 a factor of l?
True
Is (-2 - (-37)/5)/((-1)/(-5)) a multiple of 2?
False
Let u = 673 - 223. Is 10 a factor of u?
True
Let u be (0/55)/(2/(-2)). Let l be ((-4)/6 + -1)*-3. Suppose u = -3*q + 2*w - 0*w + 128, -3*q = -l*w - 131. Is q a multiple of 14?
True
Suppose -2*l + 1046 = 4*o - 0*l, o - 254 = 2*l. Let t = 20 - 8. Does 22 divide o/t - (-1)/3?
True
Let m = -225 + 581. Is m a multiple of 14?
False
Let z = -32 - -12. Let x = -41 - z. Let b = 12 - x. Is 11 a factor of b?
True
Is 3 a factor of 1630/9 - ((-700)/(-63) - 11)?
False
Suppose -4*v + 192 = 4*t, 0*t - 2*v = 3*t - 139. Suppose 0 = 4*h - 5*h - b - t, 0 = 3*h + 5*b + 133. Let z = -27 - h. Does 7 divide z?
True
Let i(n) be the second derivative of -n**5/20 + 5*n**4/6 + 17*n**3/6 + 5*n**2 + 57*n. Does 18 divide i(10)?
True
Let m(x) = 11*x - 4 + 5*x + 12*x + 15*x**2 - 32*x. Is m(2) a multiple of 12?
True
Suppose 5*p - 1226 = 1044. Suppose -586 = -10*h + p. Is h a multiple of 11?
False
Suppose -15*t + 12*t = -24. Let g = t - 6. Suppose 0 = 5*j - c - g*c - 75, 5*j = -2*c + 100. Does 6 divide j?
True
Suppose s + 4*g + 202 + 199 = 0, -5*g = 5*s + 2035. Let w = s - -582. Does 10 divide w?
False
Suppose 2*a = 7 + 1. Let z = a + 2. Suppose -4*u + 94 = 5*g, g - 8 = 4*u + z. Is g a multiple of 18?
True
Let d be (1/(-3))/(8/1272). Let o = -13 - d. Is o a multiple of 20?
True
Suppose -3*b + 9 = 0, g - 1 = -2*b + 7. Suppose 5*a - g*i = 250, -250 = -5*a + i - 6*i. Does 24 divide a?
False
Suppose 495 = 29*q - 172. Is 8 a factor of q?
False
Suppose -16422 - 14934 = -67*l. Does 12 divide l?
True
Is (0/4 + 1)/((-8)/(-4384)) a multiple