 -4*b = -7*b. Suppose b = -3*d + 8*d. Suppose d*m + 235 = 4*m - 3*o, 2*m = -5*o + 85. Is 11 a factor of m?
True
Let i = -97 + 88. Let p(x) = -x**3 - 7*x**2 + 2*x + 4. Is p(i) a multiple of 37?
True
Suppose 2*a = 2*n - n + 4, 4*n + 3*a = 6. Let c(o) be the second derivative of o**5/20 + o**3/6 + 44*o**2 + 15*o. Does 22 divide c(n)?
True
Let j(g) = -g**2 + 7*g + 10. Let n be j(8). Suppose n*p = -4*p. Suppose p = m + 3*m - 144. Is m a multiple of 18?
True
Is 22 a factor of (5 - 11)/6 + 536?
False
Suppose 0 = -0*x - 9*x. Suppose 3*b + r - 292 = x, -5*r = -0*b - 2*b + 172. Is 11 a factor of b?
False
Let x(k) = -k**2 - 50*k - 60. Is x(-30) a multiple of 18?
True
Suppose 109 = -p - 2*w, 4*p + 2*w - 3*w + 454 = 0. Let u = 243 + p. Does 10 divide u?
True
Let l = -222 + 402. Let v = l + -44. Does 33 divide v?
False
Suppose -3*h + 5*d + 37 = -73, h + 4*d = 65. Suppose 0 = 2*q + k - h, -3*k + 1 = 4. Let y = -20 + q. Is 2 a factor of y?
False
Is 34 a factor of 2/4*(-60776)/(-71)?
False
Let f(g) = 441*g - 94. Does 38 divide f(2)?
False
Let o = -344 - -804. Suppose -3*a - 4*y + o = 0, 4*a - y - 868 = -261. Suppose -a + 42 = -2*n + 5*b, n = -4*b + 68. Is 20 a factor of n?
True
Suppose 0 = -5*q - 5, -2*a + 2 + 3 = 3*q. Suppose m - 76 = -a*h, 4*m - 3*h - 207 = 2*m. Does 9 divide m?
False
Suppose -3*g + 7*g = -5*u + 181, -5*g = 2*u - 69. Let z = u - 9. Is 14 a factor of z?
True
Suppose 2*g = -5*f + 122, -2*f = 6 - 2. Suppose 0 = -a - 0*a - w + 21, 0 = 4*a - 2*w - g. Is a even?
True
Suppose -4*v = 4*p - 40, 2*p - 1 = v + 4. Suppose -p*b + 268 = -b. Let u = -27 + b. Is u a multiple of 10?
True
Let z(c) be the first derivative of -c**2/2 - c - 3. Let h(k) = -k**2 - 8. Let s be h(0). Is 2 a factor of z(s)?
False
Suppose -5*p + 5 + 14 = 2*o, -5*p + o + 13 = 0. Suppose 0 = 3*n - p*c + 4*c - 110, -181 = -5*n - 4*c. Let a = n - 22. Does 10 divide a?
False
Let f = -432 - -651. Does 6 divide f?
False
Does 14 divide -6 + 1079 + 5 + 0?
True
Suppose -i - 4*i = -330. Suppose 0 = -3*n + 9*n - i. Let o(b) = b + 10. Is 21 a factor of o(n)?
True
Let k(n) = -2*n - n + n**3 + 6*n**2 + 3*n - 7 - 6*n. Does 14 divide k(-5)?
False
Let g = 159 + 9. Is g a multiple of 56?
True
Let p be (-3 + 0 - -2)*-20. Let j = 190 + -190. Suppose -g - g + p = j. Does 5 divide g?
True
Is (-104740)/(-90) - (-2)/9 a multiple of 12?
True
Suppose 2*g - g - 227 = z, -2*g + 457 = -5*z. Suppose -g = -5*m - 86. Does 7 divide m?
True
Let i(v) = 15*v**2 - 10 + 0 + 0 + v**3 - 16*v. Let d be i(-16). Does 3 divide (-5 - d)/(1/3)?
True
Suppose -279*y + 273*y + 7182 = 0. Does 33 divide y?
False
Let h(p) = 37*p**3 - 2*p**2 + 2*p - 1. Let z = 5 + -1. Suppose -2*f + 2*j + 5 = -j, 5*f - z = -j. Is 9 a factor of h(f)?
True
Let g(n) = 17*n + 254. Is g(26) a multiple of 12?
True
Let s(l) be the first derivative of -l**2/2 - l + 6. Let k(m) = 16*m + 20. Let o(x) = -2*k(x) - 22*s(x). Is 8 a factor of o(-9)?
True
Suppose 4*f - 282 = -5*o, -4*o - 9*f + 224 = -5*f. Does 18 divide o?
False
Suppose 4*j = 5*z + 44, 0 = 3*j + 2*z - 7*z - 38. Let o be (-4)/j*(-141 + 3). Suppose -o = -4*f + 8. Does 12 divide f?
False
Let h be 10 + 0 + 4/2. Let r(l) = l**3 - 11*l**2 - 8*l - 10. Is 8 a factor of r(h)?
False
Suppose 3*a + 22 + 8 = 0. Let v be (0 + 2)*(-85)/a. Let o = 0 + v. Is 17 a factor of o?
True
Suppose -3*u + 3*h = -15 - 15, 2*u = h + 18. Suppose 4*n - u*n = 0. Suppose 4*k - x + 2*x = 108, -4*x = n. Does 12 divide k?
False
Suppose m = 5*c + 64, 2*m + 5*c - 4*c = 84. Is 4 a factor of m?
True
Suppose 0 = -373*i + 379*i - 162. Is i a multiple of 3?
True
Let k(m) = 15*m**3 + 2*m**2 + 3. Does 5 divide k(2)?
False
Let s = 176 - 74. Is 12 a factor of s?
False
Let y = -30 + -29. Let i = y - -155. Is 26 a factor of i?
False
Suppose -8*g + 216 - 752 = 0. Let z = g + 169. Is z a multiple of 17?
True
Let p(n) = -89*n + 4. Let d(t) = -89*t + 4. Let m(z) = 6*d(z) - 7*p(z). Does 12 divide m(1)?
False
Suppose 462 = -2*l + 2*c + 2578, 2*c = -2*l + 2124. Is l a multiple of 42?
False
Suppose -4*m - 2*d = -5082, d + 0*d = -4*m + 5081. Is 33 a factor of m?
False
Is 26 a factor of 9/(621/(-208) - (-1 - 2))?
True
Let p(q) = -q**2 + 12*q + 14. Suppose -2*m + 5*j = -4*m + 44, 2*m - 4 = 5*j. Does 2 divide p(m)?
True
Suppose 5*w - 4*m + 53 = 0, -2 - 2 = -2*m. Let z(q) = -q**3 - 8*q**2 + 4*q - 9. Is z(w) a multiple of 12?
True
Suppose -24 = j - 7*j. Let l = 9 + j. Does 7 divide l?
False
Suppose 47 = 2*c - 37. Suppose c = 2*o - 10. Suppose 0 = 3*f - o - 94. Does 13 divide f?
False
Let t(y) = -y - 11 + 8 - 25*y. Let l be t(-3). Suppose -5*j + 280 = 5*g, -l = -3*j + 5*g + 101. Is j a multiple of 12?
False
Let p = 576 - 162. Does 46 divide p?
True
Suppose 5*c = 3*m - 172 - 398, m + 3*c = 190. Is m a multiple of 30?
False
Let l(k) = 2*k**2 - 44*k + 21. Is l(22) a multiple of 8?
False
Let h(m) be the first derivative of -m**4/4 + 4*m**3 + 3*m**2/2 - 2*m - 5. Is h(12) a multiple of 13?
False
Let v = -22 + -8. Let l = v - -30. Suppose 27 = -l*j + 3*j. Does 8 divide j?
False
Let t = -974 - -1473. Is t a multiple of 47?
False
Let z = 1828 - 1604. Is 16 a factor of z?
True
Let w(s) = 18*s + 64. Is 41 a factor of w(14)?
False
Let n(b) = 69*b**2 - 2*b - 1. Let j be n(-1). Suppose -j = 6*s - 8*s. Is 7 a factor of s?
True
Let r = -1040 - -2128. Does 17 divide r?
True
Let b(s) = -s**2 + 11*s - 12. Let i be b(9). Suppose 4*x - i = -4*k + 150, -2*k - 62 = -2*x. Is x a multiple of 5?
True
Let h(f) = 3*f**2 - 12*f - 10. Let v be h(9). Is 14 a factor of v/3 + (-4)/(-3)?
False
Let v(f) = -13*f - 44. Let a be v(-24). Suppose -4*p - 4*z = -7*p + a, 500 = 5*p + 4*z. Is p a multiple of 17?
False
Let h = 2792 + -1414. Does 28 divide h?
False
Let k = -14 + 10. Let p be ((-30)/k)/(2/4). Is 24/((-24)/p + 2) a multiple of 15?
True
Suppose 0 = 5*l + o + 230, 3*l = -3*o - 117 - 33. Let k = l - -84. Suppose -2*b - 4*d = -19 - k, b = 5*d + 22. Does 8 divide b?
False
Suppose 2*n + 2*n = 5*h + 6, -5*h - 4*n = 14. Let a be (5/5)/(h/52). Is 26 a factor of (-10)/65 - 1018/a?
False
Suppose -2*v = -12*m + 16*m - 224, -v - 4*m = -108. Is 4 a factor of v?
True
Let p be 30/(-9)*6/(-4). Let l(g) = -12*g + 4. Let a(s) = -s + 1. Let z(q) = p*a(q) - l(q). Is z(2) a multiple of 4?
False
Suppose -5*l - g = -765, 8*g = -l + 10*g + 142. Let u = l - 108. Is u a multiple of 11?
True
Let t(k) = -k**2 - 9*k - 2. Let p be t(-7). Is (3 + 5)*15/p a multiple of 3?
False
Suppose -8*g = -45 - 739. Is 39 a factor of g?
False
Let d = 31 - 14. Let b = d - -7. Is 4 a factor of b?
True
Let n = -594 + 759. Does 3 divide n?
True
Let a(k) = -68*k**3 + 2*k**2 + 67*k**3 + 3 + 0. Suppose -32 = c + 3*c - 5*t, -3*t + 18 = -2*c. Is a(c) a multiple of 17?
False
Let j(p) be the second derivative of -p**5/20 - p**4/6 - 3*p**3/2 + 5*p**2 + 25*p. Is 31 a factor of j(-5)?
False
Does 57 divide (-7841)/(-11) + ((-790)/(-110) - 7)?
False
Let x(w) = 21*w**2. Let i be x(4). Let d = -192 + i. Is 18 a factor of d?
True
Suppose -3*o - 8 = -146. Suppose 32 = -3*l - o. Does 8 divide ((-4)/(-2))/(l/(-169))?
False
Let m(p) = p**3 - 11*p**2 + 21*p - 58. Does 27 divide m(10)?
False
Let m(l) = -5*l - 27. Let z be m(-7). Suppose z*t = -t + 1341. Is t a multiple of 7?
False
Suppose -15509 + 571 = -22*d. Is d a multiple of 22?
False
Let o = 664 - -118. Is 23 a factor of o?
True
Let h = 1126 + -910. Does 9 divide h?
True
Suppose 0 = -2*j + 4*i, 2*j - 5*i + 2 = -0*j. Suppose 99 = 5*o + j. Let h = 64 - o. Is h a multiple of 15?
True
Let l = -195 - -311. Let c = -62 + l. Is 18 a factor of c?
True
Suppose -3*g - 421 = 4*h - 1288, 0 = -g - 5*h + 300. Does 6 divide g?
False
Let f(u) = u**2 + 10*u - 16. Let l = -13 - 0. Does 23 divide f(l)?
True
Suppose 5*z = 5*u - 1585, 1 = 5*z + 26. Is 8 a factor of u?
True
Let c be 1/(20/(-7) + 3). Suppose -4 + 0 = f. Is 68 - (c + (f - 0)) a multiple of 19?
False
Let q be 4*2 + (-48)/(-16). Suppose 6 = -9*l + q*l. Suppose 87 = l*h - 2*h. Is h a multiple of 31?
False
Let u = 405 - -1334. Is 47 a factor of u?
True
Let h(n) = -2*n**3 - 4*n**2 - 2. Suppose -2*w - 6 = -w + c, -2*c + 9 = -5*w. Does 8 divide h(w)?
True
Let s(g) = g**3 - 13*g**2 + 21*g - 4. Does 10 divide s(12)?
False
Let h(r) = r - 1. Let s(c) = 6*c - 2. Let l(v) = -4*h(v) + s(v). Does 7 divide l(5)?
False
Suppose -5 = 3*u + 82. Let j = u - -56. Does 9 divide j?
True