False
Suppose 48 = w + 3*w. Suppose -3 - w = -3*d. Suppose 0 = -d*g + 5*l, 2*l = g + 4 - 1. Is g a multiple of 3?
True
Suppose -4*l = -230 - 150. Is l a multiple of 5?
True
Suppose 6*q - 240 = q. Is 14 a factor of q?
False
Let h = 15 - 16. Let m = h - -27. Does 13 divide m?
True
Let g be (184/6)/((-14)/(-147)). Does 18 divide ((-6)/(-4))/(7/g)?
False
Suppose -8*l + 196 = -700. Is 16 a factor of l?
True
Let g(s) = -3*s + 4. Let p be g(4). Let u(c) = -c - 5. Let j be u(p). Is 9 a factor of 2/j*228/8?
False
Let n(i) = i + 13. Let m be n(-10). Suppose t + 0*t + 32 = o, m*o - 76 = -2*t. Does 8 divide o?
False
Suppose -15 - 11 = 2*b - 2*x, -2*x = 2*b + 14. Let o(y) be the first derivative of -y**3/3 - 11*y**2/2 + 1. Is o(b) a multiple of 8?
False
Let d = -26 - -29. Is 3 - (-13 + 12/d) a multiple of 2?
True
Let m = 6 + -3. Suppose 2*s - 9 = -s. Suppose s*d - c = 42 + 27, m = -c. Is 14 a factor of d?
False
Suppose 50 = 6*o - o. Let j(s) be the third derivative of -s**6/120 + s**5/6 + s**4/6 - 2*s**3 + s**2. Is 13 a factor of j(o)?
False
Suppose -r + 4 = -0. Suppose 4*a = -2*s - 2, -3 = -r*s - 4*a + 5. Does 3 divide s?
False
Let r(f) = 167*f**2 - 7*f + 10. Let i(u) = -111*u**2 + 5*u - 7. Let n(l) = -7*i(l) - 5*r(l). Let w be n(-1). Let z = w - -83. Is 12 a factor of z?
True
Suppose 3*r = -3*y + 207, 0*r - 2*y = -r + 81. Suppose 0*p + 2*p = -3*c + r, 5*c = -p + 117. Suppose m - 41 = -3*f, -c = -f - 0*m + 2*m. Is 15 a factor of f?
True
Is 5 a factor of (1/2)/((-1)/(-58))?
False
Let h = 58 - 58. Suppose -18 = -4*n + n - 4*u, 0 = -n + 5*u - 13. Suppose x = 5*b - 4, -n*b = -5*x - h*b + 26. Is 6 a factor of x?
True
Suppose 3*n + 12 = 0, -5*k = 2*n - 20 - 7. Let q = -7 + k. Suppose q = -3*x + 3*m + 111, -2*m - 15 = 3*m. Is x a multiple of 19?
False
Suppose -3*f - 82 = -2*g, 28 = g + 2*f - 20. Is 21 a factor of g?
False
Suppose -24 = -0*r - r. Does 15 divide r?
False
Suppose 1276 = -11*c + 5533. Does 43 divide c?
True
Let f be (-4)/(-20) - (-192)/15. Let d = f + 7. Is 5 a factor of d?
True
Let z be (116/10)/((-2)/(-10)). Suppose 0*y - y = -z. Suppose 0 = 5*b - 4*s - 82 - 58, -2*b = -2*s - y. Is 11 a factor of b?
False
Suppose -4*j - u + 10 = 3, -2*j = -u + 1. Let i = j + 10. Is i a multiple of 11?
True
Suppose 3*f = 2*g - 154, 4*g - 33 = 2*f + 267. Is 22 a factor of g?
False
Let c(d) = -3*d**3 + d. Let r be c(-1). Suppose -4*n + r*i = 46 - 322, 2*n - 150 = 4*i. Does 17 divide n?
False
Let k be 11 + (1 - (0 + 2)). Suppose -1 = -5*c + 9, 0 = -2*j - c + k. Suppose -116 = -0*v - j*v. Is v a multiple of 11?
False
Let y = -139 + 214. Is y a multiple of 25?
True
Suppose 4*j + 167 = 5*h, 3*j - h + 85 = j. Let x = -8 - j. Suppose -o - 2*i + 16 = 0, 0*o - 2*o = 5*i - x. Does 5 divide o?
True
Let i be 3 + -7 + 0 + -2. Let g be 15/(-6) - 3/i. Let n = 7 + g. Is n a multiple of 3?
False
Let x = -27 + 48. Let r(y) = 2*y + 5. Let v be r(-7). Let l = x + v. Is l a multiple of 6?
True
Let u(v) be the second derivative of 9*v**5/10 + v**4/12 - v**3/6 + v**2/2 - 12*v. Suppose 6*x - 3*x = 3. Is u(x) a multiple of 14?
False
Suppose -4*h = -3*h - 9. Let u be h/15 - (-924)/10. Let b = u - 62. Is 12 a factor of b?
False
Let c be 127/(-5) + 12/30. Does 11 divide -2 - -3 - 0 - c?
False
Let i be 920/22 + (-6)/(-33). Suppose -5*j = -4*r + i, 5*r - 54 = r - j. Is r a multiple of 6?
False
Let i(c) = 3*c**3 - 14*c**2 - c - 5. Let m(k) = -5*k**3 + 21*k**2 + 2*k + 8. Let g(s) = -8*i(s) - 5*m(s). Let a be g(-7). Let x = a + -6. Is 7 a factor of x?
False
Let z = 28 - -43. Suppose -3*n = -2*n - l - 65, 5*l = -n + z. Is 19 a factor of n?
False
Suppose 25 = 5*d - 0. Suppose 0 = d*j - 3*w - 50 - 76, 2*w = -4. Is 12 a factor of j?
True
Let f(k) = k**3 + 7*k**2 + 6*k - 4. Let n be 2/(-6) - 28/6. Is f(n) a multiple of 8?
True
Suppose 2 = y - 2. Let b be y/(-22) + (-140)/(-44). Suppose -w - b*s + 7 = 0, -s + 9 = w + s. Is 13 a factor of w?
True
Suppose a + 3*a + 284 = 0. Let p = 99 + a. Is 14 a factor of p?
True
Suppose 331 + 1 = 4*n. Is 8 a factor of n?
False
Suppose -3*z = -3*f - 12, f = 2*f + 4*z - 21. Does 14 divide 4*(f + 52/16)?
False
Let l = -41 - -82. Is l a multiple of 23?
False
Let n(h) = 8*h**2 - 9*h + 18. Is n(5) a multiple of 13?
False
Suppose -4*l = l - 20. Suppose 2*w - j - 25 = -0*j, 64 = 5*w - l*j. Is w a multiple of 6?
True
Suppose -a = -37 - 124. Suppose -k - 3*k + 5*j + a = 0, -2*j = 4*k - 154. Does 8 divide k?
False
Is (12/18)/(4/(-6)) - -18 a multiple of 17?
True
Let o(v) = -v**2 + 19*v - 13. Let a be o(18). Suppose 0 = 4*m + 5*x - 364, 0*m - 116 = -m + a*x. Does 24 divide m?
True
Let v = 22 - -34. Let t be 18/(-4)*v/(-12). Suppose -d + b = -0*d - t, -5*b - 87 = -4*d. Does 11 divide d?
False
Is 506/8 - (-2)/(-8) a multiple of 21?
True
Let q(b) = -9*b + 56. Is 13 a factor of q(-8)?
False
Let d(c) = -28*c**3 + c**2. Let p = 1 + -2. Is d(p) a multiple of 13?
False
Suppose -6*h + 390 = -h. Let w = 2 + h. Does 22 divide w?
False
Suppose 0 = -6*o + o + 435. Is o a multiple of 29?
True
Let h(t) be the second derivative of t**4/12 + 5*t**3/3 + t**2/2 - t. Let d be h(-7). Let g = d + 33. Does 13 divide g?
True
Suppose k = 20 + 37. Is k a multiple of 19?
True
Is 26 a factor of (4 + 15/6)/((-2)/(-48))?
True
Let b be (-4)/10 - 1140/25. Let j = 9 - -72. Let k = b + j. Does 17 divide k?
False
Let b = -14 + 46. Is b a multiple of 16?
True
Let u(o) = 8*o**2 - o. Is u(3) a multiple of 10?
False
Suppose 9*c = 11*c - 108. Does 18 divide c?
True
Suppose 85 = a + 4*y, 0*a + 4*a - 4*y = 320. Does 11 divide a?
False
Let a(y) = y**2 - 2*y - 3. Let x(h) = h**2 - 7*h + 2. Let w be x(7). Let s be 0 + (-3)/(3 - w). Does 12 divide a(s)?
True
Let r(o) = -o**3 + o**2 + 70. Let g be r(0). Suppose -10*p + 5*b = -5*p - g, p - 39 = -4*b. Is p a multiple of 13?
False
Let b(z) = z**3 - 7*z**2 + 7*z - 2. Let i be b(6). Let m = 2 + i. Is 6 a factor of m?
True
Suppose -2*y + 72 = 5*h - 46, -177 = -3*y + 2*h. Does 17 divide y?
False
Suppose 5*b - 21 = -3*f, -f + 1 = -1. Suppose 0 = k + b*k - 148. Does 15 divide k?
False
Let z = 120 - 70. Suppose -2*t + 8 = 52. Let k = t + z. Does 14 divide k?
True
Does 13 divide (-8)/(-6) + -5 + 2540/12?
True
Let w(m) = -m - 1. Let c(l) = l - 4. Let i(u) = -c(u) + 2*w(u). Let j be i(3). Is 20 a factor of (-138)/(-7) + (-2)/j?
True
Let t(j) = -12*j. Let n be t(-4). Suppose 3*m - 12 = n. Is m a multiple of 6?
False
Let n = 0 + 5. Let u = n - 0. Suppose 25 + 51 = 4*d + 4*b, 3*d - 67 = -u*b. Is d a multiple of 12?
False
Suppose -85 - 345 = -5*i. Does 15 divide i?
False
Let r = -52 - -152. Is r a multiple of 25?
True
Suppose -3*t = -3*f - 420, f - 6*f = -4*t + 700. Is 12 a factor of f/(-6) + 14/21?
True
Let b = -4 - -5. Let h = b + 12. Does 11 divide h?
False
Suppose -2*a + 10 = a - 2*n, -4*n - 20 = -3*a. Suppose v - 2*f + 7*f - 62 = a, -v - 4*f = -60. Is 17 a factor of v?
False
Let k(a) = 10*a**2 - 2*a - 3. Let q be k(3). Suppose w = 2*w - q. Is 24 a factor of w?
False
Suppose 11*g - 6*g = 0. Let w = 76 - 43. Let b = w + g. Is 11 a factor of b?
True
Suppose 0 = m + 7 - 20. Suppose -m*p = -15*p + 92. Is p a multiple of 19?
False
Let u be 0/(0/(-2) - 1). Suppose j - 14 + 3 = u. Is 8 a factor of j?
False
Let d be (0 - (3 - 6)) + 1. Suppose -o - 4*g + 13 = -3, 19 = d*o + g. Is 2 a factor of o?
True
Does 9 divide (-13)/(34/(-8) + 4)?
False
Let m = 67 - -27. Does 20 divide m?
False
Let h(a) = 2*a**2 + 2*a - 3. Let g be h(-3). Suppose 3*k + j - 5 - g = 0, -k - j + 2 = 0. Does 6 divide k?
True
Let g(z) = -3*z**2. Let s be g(1). Let o = s - -13. Is o a multiple of 10?
True
Suppose 0 = -k - 2*k - 72. Is 22 a factor of 14/(-3)*324/k?
False
Suppose -4*j + 2*z + 370 = -z, -4*j + 5*z = -374. Is j a multiple of 28?
False
Let w(a) = a**2 - 8*a + 9. Let t = -11 - -18. Let i be w(t). Suppose 3*k - 52 = i. Is 18 a factor of k?
True
Suppose -3*p = -25 - 56. Does 27 divide p?
True
Let f(i) = 7*i**3 - 13*i**2 - 5*i - 9. Let p(a) = 8*a**3 - 14*a**2 - 5*a - 10. Let y(t) = 7*f(t) - 6*p(t). Is y(8) a multiple of 7?
True
Let b(c) = -c**2 + 15*c - 17. Is 13 a factor of b(8)?
True
Suppose -3 = -4*h - 27. Is 2/h - (-88)/3 a multiple of 10?
False
Suppose 0 = 2*t - 4*q - 10, 5*t + 35 = -5*q. Let v be (-30)/18 - (-1)/t. Is (62/(4/v))/(-1) a multiple of 24?
False
Suppose -8*y + 44 = -4*y. Does 11 divide y?
True
Let y(h) 