se
Suppose -2*f - l + 261 = 0, -113 = -0*f - f + 3*l. Suppose -2*d + 6*d = f. Is d a multiple of 8?
True
Suppose -5*n = -0*n - 60. Let i = 19 + n. Does 31 divide i?
True
Let d be 1*(3 - (2 - 2)). Is -1 + 24/(9/d) even?
False
Let r(p) = p**3 + 7*p**2 - 6*p - 10. Let o be r(-7). Let w be (3234/(-56))/((-6)/o). Suppose 0*d = 3*d - 4*u - w, 0 = -3*d - 5*u + 344. Is 27 a factor of d?
True
Suppose 2 + 5 = i. Suppose -14 = -i*f + 238. Does 12 divide f?
True
Does 20 divide 1 - (4 - (-6)/(36/(-6918)))?
False
Suppose 7*q - 90 = 2*q. Let x = q + 27. Does 7 divide x?
False
Let o be (-5)/((-10)/4) - 2. Let j be (o + (-2 - -4))/1. Does 20 divide 1*j*10*1?
True
Suppose 0 = -3*c + x + 14, -3*c + 2*x + 13 = -6. Suppose -c*g + 50 = -2*g. Is 10 a factor of g?
True
Let n = -29 + 33. Let r be 13 + 1/((-2)/n). Suppose 0 = -3*g, c - 5*g = 7 + r. Does 4 divide c?
False
Let z(n) = 3*n + 18. Let h be z(-7). Is 8 a factor of -3*43/h - -2?
False
Suppose 5*f - f - r + 3 = 0, -3*f - 3*r + 9 = 0. Suppose 19 = p - f. Suppose -t = -0*t - p. Is 5 a factor of t?
False
Let w(d) = -d**3 + 11*d**2 + 5*d + 7. Let m be w(8). Suppose -4*s - 5*x = -178, 2*s = -3*s + 2*x + m. Is 7 a factor of s?
False
Let x(r) = -r**3 - r**2 - 6*r - 3. Let z be x(-2). Suppose 0 = b + b - 96. Suppose 3*d = 2*u + b, -z - 3 = -d - u. Does 16 divide d?
True
Suppose -5*w - 14 = 26. Let s be (-1)/(-2) - (-484)/w. Let p = s - -105. Is 15 a factor of p?
True
Let m be (-1)/(-2) + 14/4. Let g = m - 1. Suppose 8 = 4*n, -g*s - 3*n = n - 89. Is s a multiple of 5?
False
Let u(c) = -c**2 - 5*c - 54. Let f be u(14). Let n = 492 + f. Is 22 a factor of n?
False
Suppose -o + 29 = 2*k, 0 = -5*k + 4*o - o + 67. Let y = k - 12. Let q(f) = 6*f**2 - 2*f + 4. Does 10 divide q(y)?
False
Suppose -c + 38 = -4*g, 2*g = -15*c + 17*c - 46. Is 18 a factor of c?
True
Let t = 1214 - 1085. Does 3 divide t?
True
Let b(u) = 30*u**3 + 4*u**2 - 15*u + 69. Does 25 divide b(4)?
False
Does 38 divide (-610)/(-3) + (4 - (-40)/(-12))?
False
Let r = -370 + 722. Is 44 a factor of r?
True
Let u(b) = 5*b**2 + 30*b + 28. Is u(-14) a multiple of 12?
True
Let o = -2929 + 5164. Does 66 divide o?
False
Let n(f) be the first derivative of -11*f**2 - 4*f - 25. Does 12 divide n(-4)?
True
Let x be 36 + (-3 - 6/(-1)). Suppose -c + x = -k, -c - 4*k + 82 = 2*c. Is c a multiple of 9?
False
Is 14 a factor of 2/(-3 - (-100)/33)?
False
Let t(l) = 17*l + 5. Suppose 5*q = -0*q + 50. Is t(q) a multiple of 35?
True
Does 20 divide 30/(-60) - (-8043)/6?
True
Let g = -941 - -1861. Suppose 2*m - 463 = -6*z + z, -4*m - 4*z + g = 0. Is 35 a factor of m?
False
Suppose 3*r - 3*z = 1656, 2*r = r - 4*z + 542. Is r a multiple of 55?
True
Suppose 4 = -d - d, -3*q + d = -1514. Suppose -3*u - 4*s + 211 = -97, -2*s = 5*u - q. Does 20 divide u?
True
Let o(w) be the first derivative of 3*w**2 - w + 4. Let b be o(1). Let v = 1 + b. Is 3 a factor of v?
True
Let n(c) = -c**3 + 6*c**2 + 2. Let q be 4/(-3)*(-90)/20. Let l be n(q). Suppose 0 = l*t + p - 10, 3*t + 2*t = 3*p + 14. Is 2 a factor of t?
True
Let w = -1057 + 1477. Is 6 a factor of w?
True
Let h be 2 + -3*(-2)/3. Suppose 0 = -3*n - 5*f + 51, -h*f + 2 = 4*n - 58. Suppose -c + 4*k + n = k, -64 = -2*c - 4*k. Is c a multiple of 8?
True
Let o(s) = -s**3 + 10*s**2 + s - 3. Suppose -5*y = 3*x + 1, 2*x - 7*x + 5*y = -65. Does 25 divide o(x)?
False
Let c(s) = 57*s - 5. Let z be c(2). Suppose -5*q = -p + 103, -p + q = -2*p + z. Suppose 5*g + p = 8*g. Does 9 divide g?
True
Let o(g) be the third derivative of g**8/20160 + g**7/2520 - g**6/240 - g**5/10 - 2*g**2. Let r(d) be the third derivative of o(d). Is r(6) a multiple of 14?
False
Let b(p) = p**3 + 5*p**2 + p + 7. Let w be b(-5). Let f(v) = -5 - 3*v + 0 - w*v + 0. Is 12 a factor of f(-10)?
False
Suppose 361 = r - 5*t, 3*r - 1023 = -6*t + 9*t. Is 3 a factor of r?
True
Let f(i) = 47*i + 6. Suppose -2*d - p - 2*p = 6, 0 = 2*d + 2*p + 2. Does 21 divide f(d)?
True
Suppose -60*d + 64*d = 16. Suppose d*r + 99 = 303. Is 19 a factor of r?
False
Let n = -12 + 67. Let h be (-1)/(5/n*-1). Suppose -h*y = -9*y - 132. Does 11 divide y?
True
Let j be (-3)/3 + 5 + 120. Suppose -2*v + o = 3*o - j, 5*v = -o + 326. Is v a multiple of 17?
False
Let r = 622 - 123. Is r a multiple of 13?
False
Let a = -197 + 446. Suppose 2*f - a = -51. Does 9 divide f?
True
Let c = 27 - 100. Let y = 98 + c. Is 5 a factor of y?
True
Let w be 3/6*3*4. Suppose 3 - w = -f. Is 14 a factor of f - ((-42)/3 - -1)?
False
Let t(n) = -15*n + 19. Let r(p) = -5*p + 6. Let c(l) = 7*r(l) - 2*t(l). Let k be c(2). Let i = k - -10. Is i a multiple of 3?
False
Let a(z) be the first derivative of z**4/4 - 8*z**3/3 + z**2 - 4*z - 1. Let k be a(8). Suppose 0 = 4*m - k, 6*f + 3*m - 21 = 2*f. Is f a multiple of 2?
False
Is 11 a factor of (18/(-54))/(2/(-462))?
True
Let g(o) = 3*o + 68. Let k be g(-21). Let q = 61 - 27. Suppose -k*c - 40 = -5*r + 3*r, c - q = -r. Does 6 divide r?
True
Is 20 a factor of (-6)/12 - -6*(-339)/(-12)?
False
Let g(c) = -698*c - 178. Does 87 divide g(-2)?
True
Suppose 6 + 49 = 11*w. Suppose -w*t + 118 = -132. Is t a multiple of 10?
True
Let z(p) = -5*p**3 - 7*p**2 + 12*p + 6. Let o be z(-5). Let m = o + -216. Is 36 a factor of m?
True
Let m be (0 - 2)*299/(-13). Suppose c = -3*x + m, -2*c - 4*x = x - 96. Is 24 a factor of c?
False
Suppose -36*d - 12 = -42*d. Suppose 5*r = d*w + 521, 517 = 5*r - 2*w - 2*w. Does 15 divide r?
True
Suppose 42 = -5*v - 5*t + 157, 4*t - 120 = -5*v. Let c be (v/(-21))/((-1)/3). Suppose -c*w + 46 = -58. Does 6 divide w?
False
Let s = -61 + 52. Does 33 divide (-65)/(-9) + -7 - 295/s?
True
Let v = -5 + 7. Suppose 0 = -3*i + v + 7, i + 33 = 2*y. Is 15 a factor of y?
False
Let b(v) be the third derivative of v**6/40 - v**4/12 - 3*v**3/2 - v**2. Let k be b(5). Is 2/5 - k/(-10) a multiple of 10?
False
Let o(x) be the third derivative of x**4/12 - 4*x**3/3 - 3*x**2. Let f be o(-4). Let z(r) = r + 22. Is 6 a factor of z(f)?
True
Let v(x) = 466*x**2 + 2. Does 18 divide v(-1)?
True
Suppose -d - 85 = -3*s, -2*s = -4*d - 30 - 10. Suppose 7*r = -2 + s. Suppose -m + 5*m = r*f + 48, -51 = -4*m + 3*f. Is m a multiple of 15?
True
Let r be 2*1/(10/25). Suppose 64 = -r*c - 4*g + 252, -3*c + 116 = 4*g. Is c a multiple of 12?
True
Let m(k) = -7*k**2 - 74*k - 24. Let f be m(-10). Let s = -31 - -20. Let a = f + s. Does 2 divide a?
False
Let p = 133 + -37. Does 30 divide p?
False
Let c(t) = -t**2 - t - 4. Let f be -5*4*9/60. Let u be c(f). Let h = -3 - u. Does 4 divide h?
False
Let m(u) = u**3 + 14*u**2 - 9*u - 41. Is 41 a factor of m(-12)?
False
Let o = 27 + 69. Is 32 a factor of o?
True
Suppose 0 = 5*z + 2*b - 36, 4*z + 4*b - 4 = 32. Suppose -z*j - 7 - 35 = 0. Let k = j + 11. Is 3 a factor of k?
False
Let p = 38 - 36. Suppose -3*k = -2*k - 5*j - 189, -k = p*j - 182. Does 23 divide k?
True
Let t(z) = 6*z**2 - 8*z - 22. Let j be t(-6). Let c = j + -47. Is c a multiple of 39?
True
Let l be (1*(-4)/(-8))/(2/288). Let u = 160 - l. Is 27 a factor of u?
False
Suppose 3*r - 29 = 40. Suppose 27 + r = 2*w. Let k = w - 12. Does 10 divide k?
False
Let a = -17 - -22. Suppose -5*h + a*y - 10 = 0, 4*h - 3*y + 2 = -1. Suppose -2 = -h*z + 52. Is 6 a factor of z?
True
Let o(b) = b**2 - 13*b + 17. Let q be o(12). Suppose q - 1 = v. Suppose u + 45 = 4*u - d, 28 = u + v*d. Is u a multiple of 5?
False
Let h = 0 + 4. Suppose h*z + 26 = 3*z. Does 14 divide z/(-8)*2*10?
False
Suppose -6*l = -4019 + 1373. Is 9 a factor of l?
True
Let r(n) = 3*n + 4*n**2 - 11*n**2 + 5*n - 6*n - n**3 - 15. Does 17 divide r(-8)?
False
Let z = -57 - -37. Let d = -10 - z. Suppose -d = 4*v - 26. Is 4 a factor of v?
True
Is 10 a factor of (422 - -2) + (-56)/14?
True
Is 2024/161 - (-6)/14 a multiple of 2?
False
Is 4 a factor of ((-830)/(-25))/((-14)/(-70))?
False
Let q = 21 + 2. Let x = 92 - 73. Let a = q - x. Is 4 a factor of a?
True
Suppose -4*z = -12 + 52. Let i be (-42)/3*z/35. Suppose 1 = -i*o - 3, 5*s = 2*o + 227. Does 7 divide s?
False
Let w(t) = -2*t**3 - 34*t**2 - 3*t - 12. Does 17 divide w(-18)?
False
Let v = 102 + -62. Suppose 4*q = 2*t + 104, -5*q = t - v - 76. Suppose -5*c - q + 104 = 0. Does 4 divide c?
True
Let r(f) be the first derivative of 37*f**2/2 - 12*f - 6. Let b be r(8). Suppose 3*q = 5*q - n - 143, -4*n - b = -4*q. Is 12 a factor of q?
True
Suppo