
Let o = -38 - -44. Suppose -k + 65 = 4*k. Suppose -o*l + 2*l + k = n, -5*n + 89 = -4*l. Is 6 a factor of n?
False
Let p be ((-15)/(-6))/((-1)/(-2)). Let f = p - -6. Let v = f + 5. Is 16 a factor of v?
True
Let c(r) be the second derivative of -8*r**3 + 21*r**2/2 - 26*r + 2. Is 30 a factor of c(-3)?
False
Let k = 173 + -110. Suppose 51 = r - k. Does 35 divide r?
False
Let s = -633 + 2305. Is 22 a factor of s?
True
Let z(w) = -w - 6. Let d be z(-2). Does 27 divide (d - 145/(-4)) + (-12)/(-16)?
False
Suppose 664*j = 668*j - 4608. Is 32 a factor of j?
True
Suppose 192 = 3*b + 3*n, 8*b - 128 = 6*b - 3*n. Is 4 a factor of b?
True
Let c(a) = 4*a + 120. Is c(-26) a multiple of 16?
True
Does 20 divide (112/(-6) + 2)*108/(-45)?
True
Let c = -77 - -128. Does 13 divide (-3)/(3/(-26))*(c + -50)?
True
Let q = 10 - 8. Suppose 4*b + q*t = 1688, 2*b - 4*t = b + 422. Suppose r = -k - 4*k + 74, 5*r - k - b = 0. Does 28 divide r?
True
Suppose -2*r - 14 = -7*g + 3*g, 2*g - 10 = 0. Suppose -170 = 2*c - 454. Suppose 3*l + i = 4*i + 150, -r*l - i = -c. Is 16 a factor of l?
True
Suppose 0 = 2*n - 137 + 171. Let j = n - -33. Is 8 a factor of j?
True
Suppose 8*g - 3*g = 20. Suppose 5*l = g*w - w + 1398, 0 = -4*l + 3*w + 1119. Is 31 a factor of l?
True
Is ((-328)/(-2))/(12 + (-340)/30) a multiple of 3?
True
Let y = -4 + 6. Let p = -25 - -29. Suppose -p*f = 3*o + 11, 3*o - o - 16 = y*f. Is 2 a factor of o?
False
Suppose -8*s + 210 + 798 = 0. Is 9 a factor of s?
True
Suppose -2*z = -3*y - 1, 2 = 4*z - 5*y - 1. Suppose -u + z*p = -19 - 10, 15 = 5*p. Is 4 a factor of u?
False
Suppose -3*c + 0*c - 4*a = -28, 2*a + 16 = c. Is -3 + 0 + (c - -1) a multiple of 3?
False
Let b(f) = -f**2 + 16*f - 18. Let d be b(12). Let s = 57 - d. Suppose 3*v - 2*v - s = 0. Is 21 a factor of v?
False
Let j(y) = -y**3 + 6*y**2 - y - 10. Let i be j(5). Suppose 5*f - 4*r = 22, 0 = 5*f - i*f - 3*r + 1. Is 25 a factor of f - -26 - (7 + -4)?
True
Suppose -63*j - 1104 = -65*j. Is j a multiple of 23?
True
Suppose -4*l - 138 = -4*s + 2*s, -3*s = -3*l - 195. Suppose w + 43 = s. Is 9 a factor of w?
True
Let n = 2995 - 2590. Is n a multiple of 15?
True
Let j(n) = 0*n + 3*n - 1 - 5*n + 5*n. Let q be j(1). Suppose -t - 66 = -q*t. Is 22 a factor of t?
True
Let g be (-5)/2*(-308)/55. Let h = -50 - g. Let n = -21 - h. Does 12 divide n?
False
Suppose h + 8 = 27. Suppose 3 = -4*y + h. Suppose -6*n = -n + 4*s - 144, -s - 132 = -y*n. Is n a multiple of 16?
True
Suppose -187*k + 1652 = -183*k. Does 13 divide k?
False
Let u = -92 + 229. Is u a multiple of 15?
False
Is (3 - 8) + 1144 + -5 a multiple of 42?
True
Suppose -3*s + 17 = -2*g, 13 = -s + g - 5*g. Suppose s*t + 6 = 0, 0 = 4*l + 3*t - 0*t - 162. Does 15 divide l?
False
Let g = 26 - 24. Suppose 10 = -2*s + 2, -g = -3*o - s. Let r(y) = 3*y**2 + y - 2. Is 9 a factor of r(o)?
False
Suppose s - 27 = -2*s. Suppose -2*f = -s + 1. Suppose 5*c = -f*a + 93, -44 = -0*a - 2*a - 2*c. Is a a multiple of 8?
False
Suppose 5 = 2*z - 3. Let r be (8 - 4) + -6 + z. Is (30 - 26) + r*32 a multiple of 16?
False
Suppose 513 = -32*a + 41*a. Is a a multiple of 3?
True
Suppose -3 = 5*c - 4*c - 4*l, 4*c - 5*l - 10 = 0. Is 27 a factor of 56*c/10 - 1?
True
Suppose 3*l - 19 = 4*k, -2*k + 5*l - 6 = 7. Is -4 - (-25 - 1 - k) a multiple of 17?
False
Suppose 2*n - 4 = h + h, 3*h = 2*n - 6. Suppose -14*u + 18*u - 192 = n. Is 3 a factor of u?
True
Let f(m) = -m**3 + 11*m**2 - 3*m + 7. Let o = -60 + 65. Does 10 divide f(o)?
False
Let p(z) = -z**3 - 3*z**2 - z - 1. Let b be p(-3). Suppose 3*q - d - 4 = 2, 0 = q - 2*d - b. Suppose 4 = 2*l, -l - 34 = -q*o - 6. Does 5 divide o?
True
Let m(x) = -x**3 - 4*x**2 - 3*x - 1. Let j be m(-2). Let q = j - -3. Suppose 0*w - w + 25 = q. Does 13 divide w?
False
Let b = 356 + -108. Suppose -2*t = 6, -5*m = 2*t - 0*t - 489. Suppose m = -g + b. Is g a multiple of 32?
False
Let d(r) = 2*r - 3. Let b(q) = -3*q + 2. Let l(a) = 3*b(a) + 4*d(a). Let o be l(-7). Suppose -5*m + o = k + 12, -4*k = -2*m - 22. Is k even?
True
Suppose 35*f - 5351 = -381. Is f a multiple of 2?
True
Let u = -80 + 153. Let n(k) = -35*k + 1. Let z be n(1). Let r = z + u. Does 14 divide r?
False
Suppose -l + 38 = 5*j, -14*j + 18*j = -3*l + 26. Suppose -j*z + 437 = -139. Is z a multiple of 3?
True
Let s = -91 - -146. Suppose -p = -4*n + 4 + 2, 4*p - 4*n = -72. Let x = p + s. Does 23 divide x?
False
Let a(t) = 18*t**2 - 16*t + 109. Is 17 a factor of a(8)?
False
Let k(f) = -10*f + 9. Let u(p) = p**2 + 8*p + 7. Suppose 4 = 3*m - 4*w + 2, m - w + 1 = 0. Let l be u(m). Is k(l) a multiple of 23?
False
Let w = 614 - -236. Is 34 a factor of w?
True
Let z = 13 + -13. Suppose 161 = g - z*b - 4*b, -869 = -5*g + 4*b. Is 1/5 + g/15 a multiple of 12?
True
Let u = -224 + 320. Is 16 a factor of u?
True
Suppose 0 = -9*t + 3020 + 1408. Does 51 divide t?
False
Suppose 4266 = -2*x + 5202. Is 39 a factor of x?
True
Let p = -1 - -3. Let l be 2*(p - 1)*1. Suppose 0 = -l*x + 12 - 4. Is x a multiple of 3?
False
Suppose 2*p + 0*p = -p. Suppose -x = -l - 65, p*x = -3*x + 5*l + 197. Does 8 divide x?
True
Suppose 5*z = -3*s + 1879, 5*z - 1882 = -32*s + 28*s. Does 22 divide z?
True
Let s(l) = -5*l - 8. Let r = -4 - 2. Let z be s(r). Suppose -k + 5*d + z = 0, 2*k + 6*d = 2*d + 44. Is 12 a factor of k?
False
Suppose 16 + 0 = 4*d. Suppose -d*r + 600 = -0*r. Is 38 a factor of r?
False
Let f be ((-6)/(-4))/((-9)/(-240)). Let s be (-1 - -2) + -4*(-199)/4. Suppose -w - w = g - f, 5*g - 5*w = s. Does 20 divide g?
True
Let a(b) be the third derivative of 13*b**5/30 + b**4/8 - b**3/3 + 11*b**2. Let n be a(1). Does 17 divide 1008/n - 1/3?
False
Let a(n) = -5*n - 4. Let b be a(3). Let v = -17 - b. Suppose v*c + 35 = 153. Does 19 divide c?
False
Let z be (0 - (-2 + -146)) + -13 + 11. Let w = z - 76. Is w a multiple of 10?
True
Let h(f) = -f**2 + 17*f - 16. Let v be 2/(-6)*(-40 + 1). Does 9 divide h(v)?
True
Suppose 2*q - 8 = 5*a, 2*a - 5 = -3*q + 7. Suppose 4*h = -4*k, -k = -h - q*k. Suppose -5*z + 2*i + 292 = h, 3*z + 113 = 5*z + 3*i. Is z a multiple of 25?
False
Suppose -3890 = -6*p - 1034. Is 17 a factor of p?
True
Does 114 divide 342/(-4)*6/(-36)*248?
True
Let a(f) = f**3 - 8*f**2 - 10*f + 12. Let d be a(9). Suppose -6*q = -d*q - 90. Suppose 0 = y - 0*n + 3*n - q, 127 = 4*y + 5*n. Does 12 divide y?
False
Let s = -1613 - -2765. Is s a multiple of 8?
True
Let j(v) = 10*v + 5. Let x = 14 - 8. Is j(x) a multiple of 13?
True
Suppose -2*u + 0*i + 4*i - 12 = 0, 3*u - 5*i + 15 = 0. Suppose m = -u*m - 5*n - 15, -4*m = 2*n + 78. Let o = m - -77. Is o a multiple of 18?
False
Suppose 2*t - 2036 - 2994 = 3*u, 7583 = 3*t + 5*u. Is 11 a factor of t?
False
Is 9 a factor of (-80)/(-2) - 8/2?
True
Let x(j) = 213*j + 3. Let c be x(1). Suppose 6*y = 10*y - c. Is y a multiple of 27?
True
Let r(k) = k**2 - 8*k + 1. Let t(b) = 2*b**2 - 16*b + 3. Let d(f) = 10*r(f) - 4*t(f). Does 27 divide d(12)?
False
Suppose 57*z - 45675 = 22*z. Is 45 a factor of z?
True
Does 5 divide 27/((-162)/456)*(-30)/8?
True
Suppose 84 - 24 = 5*z. Suppose -3*w - 3*v - v = 44, w = -4*v - z. Let h = w - -27. Is h a multiple of 9?
False
Suppose 0 = 5*z - 0*z + 5. Let c be (z - 2) + (-14 - -1). Let m = c - -32. Is m a multiple of 6?
False
Suppose -9*y + 6*y = 0. Let h(q) = q**2 - 2*q + 56. Is h(y) a multiple of 28?
True
Suppose 5*z - 5*f + 10 = 50, -4*z + 17 = f. Suppose 4*x + z = -3. Is (x*1)/((-2)/44) a multiple of 22?
True
Suppose 4*j = -10 - 30. Does 12 divide 32*j/(-4) - -4?
True
Let a(r) = -r**3 + 7*r**2 + 11*r + 19. Suppose -2*s + 4 = 0, -4*s = -2*q - 8 + 14. Is a(q) a multiple of 12?
True
Suppose -12*d + 27 = -21. Suppose -498 = -4*u - o + 3*o, d*u = -2*o + 494. Is 20 a factor of u?
False
Let s be 0*(-1 + 1 - 1). Suppose -4*r = -4*h - 3*r + 11, 4*h - 21 = -r. Suppose s = -5*j - 5*i + 40, 0 = h*j + 2*i - 41 + 9. Is 2 a factor of j?
True
Suppose 0*r + 4*r + 4 = 0, -3*r = 4*n - 5181. Is 54 a factor of n?
True
Let t = 6 + -5. Let m = t + 9. Suppose 4*r + n = 49, -3*r = -2*r - 2*n - m. Is 12 a factor of r?
True
Let s(j) = -8*j + 8. Let c be s(-8). Suppose l + 2*p + c = 5*l, 2*l - 24 = -2*p. Is l a multiple of 16?
True
Let w = 2319 + -1519. Does 7 divide w?
False
Suppose 5 = -r, 2*r + 2*r - 445 = -5*t. Let j = 50 - t. Let z = j + 63. Does 10 divide z?
True
Let r(j) = -2*j**2 - 6 + 2*j**3