lse
Suppose -2*d = -3*w - 906, -2*w = -d + 5*d - 1828. Does 43 divide d?
False
Let m = -420 - -502. Is 8 a factor of m?
False
Let a(x) = 2*x + 684. Is a(40) a multiple of 2?
True
Suppose 0 = 4*s - 4 + 20. Is (-2)/s*(-21 - -67) a multiple of 3?
False
Does 21 divide (-18943)/(-114) + (-2)/12?
False
Suppose 4*a + 66 - 686 = 0. Does 11 divide a?
False
Suppose 8*h - 70 = 3*h. Let m be (-12)/(-5) - (-10)/(-25). Suppose -h = -m*u + 14. Is u a multiple of 3?
False
Let l = 19 + -17. Suppose -2*v + 12 = -m + 3*m, -m - 6 = -2*v. Suppose v = p - l. Is 2 a factor of p?
True
Let v(d) = d**2 + 5*d + 2. Let x(a) = 2*a + 3. Let y be x(-4). Let k be v(y). Suppose k*z - 21 = -z. Is z a multiple of 2?
False
Let d be 103*1/(-3)*-3. Suppose 2*c - 3*f = d, -3*c = 3*f - 4*f - 137. Suppose 2*x - 10 - c = -3*g, 3*x + 3*g - 84 = 0. Is x a multiple of 10?
True
Suppose -835 = -4*a + 385. Is a a multiple of 49?
False
Let x(o) = -o**2 + 2*o - 2. Let p be x(1). Does 7 divide ((-2)/4)/(p/84)?
True
Let y be ((-1)/((-3)/(-2)))/((-23)/12213). Suppose 10*b - y = 7*b. Is 31 a factor of b?
False
Suppose -2*s - 75 = -7*s + 2*w, -s = -5*w - 38. Does 3 divide s?
False
Let y(n) = n**2 - 10*n + 56. Is 9 a factor of y(20)?
False
Suppose -3*h + 1 = -8. Let k be (-1 + 1)*(2 - h). Suppose k = -4*c - q + 97, -2*q - 7 = -2*c + 29. Is 7 a factor of c?
False
Let k = -289 + 299. Is k a multiple of 8?
False
Let y(k) = -2*k - 1. Let a be y(-3). Suppose a*u + p - 13 = 257, 270 = 5*u + 2*p. Suppose -3*g = -2*d - 4*g + u, 2*d = g + 46. Is d a multiple of 5?
True
Suppose 3*c + 46*y - 44*y = 4468, -3*y = -4*c + 5946. Is 24 a factor of c?
True
Let q = 395 + -140. Suppose -2*c = -7*c + q. Is 17 a factor of c?
True
Let q(o) be the first derivative of o**3/3 - 3*o**2/2 - 2*o - 1. Does 6 divide q(8)?
False
Let d = 499 + 1921. Is d a multiple of 20?
True
Suppose -6 = -3*f - 0. Suppose -2*l = -3*d - 0*d + 161, f*d + 5*l = 82. Suppose -4*s = -3*b + d, 0 = 3*b + 2*s - 5*s - 48. Is b a multiple of 10?
False
Let d be (1 + 1 - -1)*(-23)/(-3). Does 23 divide d/(-3)*(0 + -6 + 3)?
True
Let c = 996 - 421. Is c a multiple of 32?
False
Let v be 8/(-5)*(30/(-12) - 0). Suppose 5*x + k - 245 = -k, -4*x + v*k = -224. Does 10 divide x?
False
Let d(v) = v**2 - v - 2. Suppose 0 = -s + 2. Let w be d(s). Suppose y + 23 = 2*l, -2*l + 0*l - y + 29 = w. Is 5 a factor of l?
False
Suppose 4*b - 3*b + 40 = 0. Let x = b - -94. Is 27 a factor of x?
True
Let x = 20 + -18. Does 23 divide (2/4 + 1/x)*46?
True
Let p(k) be the second derivative of 1/20*k**5 + 7/6*k**4 - 5*k + 0 + 4/3*k**3 - 11/2*k**2. Is 18 a factor of p(-13)?
True
Suppose 2*f + 23 = 389. Let q = 263 - f. Suppose 3*c + l = -c + 142, -2*c + 4*l = -q. Is 9 a factor of c?
True
Let f(g) = 2 + 2*g**2 - 3 + 0 - 11*g**3. Does 3 divide f(-1)?
True
Suppose 4*n + n = 4*v + 42, -4*v - 12 = 0. Suppose 0 = 3*i - 0*i - n. Suppose -m = -i*m + 59. Does 19 divide m?
False
Let s(v) = -v**3 - 13*v**2 + 14*v - 10. Does 14 divide s(-15)?
False
Suppose 0 = -8*r + 24*r - 7104. Is r a multiple of 2?
True
Suppose -m - 2*m + 27 = 0. Suppose -s + 2*n = 0, 5*s + 2*n + m = 33. Suppose s*r - 72 = -2*i, -r = 2*i - 121 + 37. Is 8 a factor of i?
False
Suppose -19*b + 33*b = 2352. Is b a multiple of 17?
False
Let g = 274 - -261. Is g a multiple of 23?
False
Let a(h) = -2*h**3 + 2*h**2 - h + 1. Let j be a(2). Let k = -3 - j. Let b(d) = 11*d - 13. Is b(k) a multiple of 14?
False
Suppose h - 4*w - 1 = 0, 4*w - 11 = 6*h - h. Let b(k) = -2*k - 3. Let r be b(h). Suppose 0*z = r*z - 93. Does 7 divide z?
False
Suppose 1455 - 111 = 8*c. Suppose s = 5*y - c, 0 = 2*y - 2*s + s - 69. Is 12 a factor of y?
False
Let r = 151 - -59. Is r a multiple of 30?
True
Let w(c) be the first derivative of -11*c**5/20 + c**4/6 - c**3/6 - c**2 - 13*c + 4. Let o(j) be the first derivative of w(j). Is o(-2) a multiple of 24?
True
Let z(m) = m**3 - 4*m**2 + 18*m - 26. Is z(6) a multiple of 11?
True
Let p(t) = -t**3 + 8*t**2 + 11*t + 2. Let s(c) = -c**3 + 4*c**2 - 1. Let q be s(3). Is p(q) a multiple of 9?
True
Suppose 246*v + 48 = 249*v. Let i(x) = x**2 + 2*x + 2. Let t be i(-3). Suppose -h = -t*o - 4, v = h - 2*o + 3. Is h a multiple of 19?
True
Let i = 2137 - 2005. Is i a multiple of 3?
True
Let z be (-1)/(4/(-2))*-2 - -4. Suppose -3*v = z*v - 108. Is 4 a factor of v?
False
Let w(q) = 2*q - 6. Let c be w(5). Suppose 0*x = -x - 3*d - 4, -4*d = c*x. Suppose l = k + 21, 2*l + x*k + 92 = 6*l. Does 5 divide l?
True
Let t = 1713 + -1133. Suppose -t = 13*v - 17*v. Is v a multiple of 29?
True
Suppose 2*q + q = 6. Suppose q*f = 4 + 72. Let k = f + -18. Is 8 a factor of k?
False
Let q(v) = 12*v**2 - 1. Let h be q(1). Suppose -h = u - 9. Is 9 a factor of (-54)/u - (2 - 2)?
True
Let f(u) = -2*u + 4. Let m = -7 + 0. Is 6 a factor of f(m)?
True
Suppose -2*l + 2*j = -342, 0 = -4*j + j - 12. Is 46 a factor of l?
False
Let c(y) = 3*y**2 - 33*y + 33. Let m(t) = t**2 - 17*t + 16. Let g(w) = 3*c(w) - 5*m(w). Is 31 a factor of g(10)?
True
Let z = -21 + 22. Let x be z/(-4)*(-12)/1. Suppose -x*b = -5*b + 38. Does 6 divide b?
False
Let r(d) = -11*d - 6. Let v be r(-4). Suppose k - 2*c - v = -6*c, 5*k - 124 = 2*c. Does 3 divide k?
False
Let n be (-3 - -1) + (64 - 22). Suppose -n*w = -37*w - 369. Is w a multiple of 40?
False
Let d = 6 + -7. Let y be (1 - 6)*d*1. Is 1/y + (-2020)/(-25) a multiple of 30?
False
Let o = 1019 + -717. Is o a multiple of 42?
False
Let n be ((-1 - -4) + (-11 - -11))*6. Suppose -j = k - n, j + 5*k = -4 + 30. Is j a multiple of 2?
True
Let a = -20 - -32. Suppose r - 8 = -2*p, -3*p + a = -0*r + 5*r. Suppose 0 = -2*x + 3*k + 160, -5*k + 240 = 3*x - r*k. Is 16 a factor of x?
True
Let l(x) = -16*x**3 + 3*x**2 + 12*x - 15. Let q(z) = -5*z**3 + z**2 + 4*z - 5. Let y(g) = 2*l(g) - 7*q(g). Is y(4) a multiple of 25?
False
Let r(z) = -z**3 - 7*z**2 - 4*z + 12. Let k be r(-6). Suppose k = 4*v + 60 - 344. Does 7 divide v?
False
Suppose 0*k - 140 = -4*k. Let h = k + -17. Suppose 80 = 5*i - 4*d, -2*i + 52 = -2*d + h. Is 5 a factor of i?
False
Let i(d) = 13*d - 89. Does 11 divide i(17)?
True
Let c = -210 - -635. Is 59 a factor of c?
False
Suppose 4*s = 3*r - 24, 5*r - 3*s = -8*s + 75. Let g = r - 7. Suppose g*a = 2*a + 30. Does 5 divide a?
True
Let j = 1271 + -1162. Is 22 a factor of j?
False
Let l(f) = 9*f**2 + 17*f - 36. Is l(14) a multiple of 117?
False
Suppose 0 = 3*k - 5*p - 731, -5*k + 5*p = 3*p - 1193. Is 45 a factor of k?
False
Let u = 1037 - 292. Does 5 divide u?
True
Is 8 a factor of 315/(3 - -2) - 7?
True
Let y be (-252)/(-20) - (-2)/5. Let q(k) = k**2 - 2*k - 7. Let f be q(y). Is 2 a factor of (-4)/22 - f/(-22)?
True
Let p be (-6)/(-4)*(-1044)/(-54). Let o = p + 35. Does 3 divide o?
False
Suppose 0 = -5*k + k. Suppose -4*q = -k*q - 272. Suppose -6*t + 2*h = -3*t - 92, -2*t + q = -3*h. Is t a multiple of 7?
True
Let j(r) = -11*r + r - 3*r. Let a be j(-1). Let z(y) = 6*y + 16. Is 28 a factor of z(a)?
False
Suppose -7*m = 5*v - 3*m - 440, 5*m - 176 = -2*v. Suppose v*b - 93*b + 240 = 0. Is 12 a factor of b?
True
Let d(v) be the third derivative of v**5/60 + v**4/4 + v**3/6 - 6*v**2. Let w = 9 - 17. Is d(w) a multiple of 6?
False
Suppose -46*z + 2241 = -27567. Is z a multiple of 81?
True
Let t(p) = 5*p**2 - 25*p + 8. Is 17 a factor of t(11)?
False
Let h(m) be the first derivative of 33*m**2/2 + 3*m + 11. Let k(n) = -17*n - 1. Let j(o) = 5*h(o) + 9*k(o). Is 15 a factor of j(2)?
True
Let b(r) = -r**2 + 2*r - 63. Let y be b(0). Is 19 a factor of (-2)/(-9) + ((-38248)/y)/4?
True
Let y(g) = 9*g**3 + 6*g**2 + 20*g + 9. Is 6 a factor of y(5)?
False
Suppose 9*f - 7*f - 556 = 2*t, 4*f = 3*t + 1112. Does 35 divide f?
False
Suppose 0 = -9*g + 15*g - 12. Let o = 6 + -2. Suppose -5*w + 2*n + 36 = 0, w - o = -0*w + g*n. Is 8 a factor of w?
True
Is 24 a factor of (-9 - -1) + 1757 - (-4 + 1)?
True
Let c(j) = j**3 + 12*j**2 - 16*j - 15. Let s be (-13)/(-2)*4/(-2). Let m be c(s). Suppose 5*q + m = 2*u - 0*q, -3*q + 6 = 0. Is u a multiple of 17?
True
Suppose g + 0*g + 1066 = 5*d, -848 = -4*d - 4*g. Let s = d + -134. Does 16 divide s?
False
Let f(q) = -q + 5. Let h = 30 - 37. Is 4 a factor of f(h)?
True
Let i = -27 - -37. Suppose t + i = -14. Does 21 divide (-2034)/t + (-1)/(-4)?
False
Let o(x) = x**3 + 18*x**2 + 13*x - 11. Let r be o(-17). Let m = r - 39. Is m