- 5*a**4/24 + 5*a**3/3 - 3*a**2. Let z be h(7). Suppose f + z = 3*f. Does 6 divide f?
True
Let b(n) = n**2 + 3*n + 6. Let o be b(-6). Suppose -3*k = -7*k + o. Is 2 a factor of k?
True
Let o be (-1 + 0)*6 + 0. Let l be 2 - (-15 + o/(-3)). Suppose -3*j + 33 = -l. Is j a multiple of 9?
False
Suppose -n + 6*n = -2*h - 10, -2*n - 4 = -5*h. Suppose -32 = -2*i - 5*l, -4*i - 2*l - 3*l + 74 = h. Is i a multiple of 7?
True
Let n be 1/(-1) + (-4)/(-1). Suppose -n*o + 2*o = -12. Suppose -a + 0 = -o. Does 12 divide a?
True
Let g = -4 + 12. Suppose -5*s + 165 - g = 3*j, -j - 83 = -3*s. Let m = 76 - s. Does 19 divide m?
False
Suppose -53 - 7 = -4*k. Suppose -i - k = -6*i. Is 3 a factor of i?
True
Suppose 4*g = -0*g + 32. Let z be (-2)/(g/(-3) - -2). Suppose 35 = z*w + 11. Does 4 divide w?
True
Let r be (1 - 3)*(-3)/(-2). Does 14 divide -41*r/(-6)*-2?
False
Let x(c) = c**3 - 7*c**2 + 6*c + 6. Is 5 a factor of x(6)?
False
Let r(c) = c - 1. Let j be r(6). Suppose 3*k - 4 = j. Does 5 divide 10*k/6 - 0?
True
Suppose 0 = -7*y + 6 + 1177. Is 35 a factor of y?
False
Suppose 4*r = 27 - 11, 5*b = r + 516. Is (-4)/10 + b/10 a multiple of 10?
True
Suppose -3*l + 0*l - 5*f = -20, 0 = -l - 3*f + 12. Suppose 3*s - 83 - 70 = l. Is s a multiple of 17?
True
Let f be (-2 + 8/6)*9. Does 3 divide 6/(2/(f/(-3)))?
True
Suppose -b - 5*j + 132 = 0, 139 = b - 4*j + 7. Is b a multiple of 33?
True
Suppose 4*g + 91 = 247. Does 18 divide g?
False
Let h = -6 + 8. Is (2/1)/(h/21) a multiple of 10?
False
Let m(z) = 2*z**3 - 6*z**2 - 3*z + 3. Let l be m(-4). Let u = -146 - l. Let p = u - 38. Does 14 divide p?
False
Let l(f) = f**3 + 14*f**2 + 5*f + 18. Is 10 a factor of l(-12)?
False
Let m be -1*6 + (-8)/(-4). Is 18 a factor of (-4)/(-6)*(-366)/m?
False
Let c = 17 - 14. Is (4/(-6))/(c/(-54)) a multiple of 4?
True
Suppose -m - 204 = -5*m + 5*n, n - 255 = -5*m. Is 17 a factor of m?
True
Suppose 0 = 4*g - 2 + 14. Let o be ((-1)/g)/(2/66). Is (o/(-3) + -1)*-3 a multiple of 14?
True
Let k be (4 - (2 + 0))*12. Suppose 5*r - k = 4*r. Is 12 a factor of r?
True
Let s = -154 + 221. Is s a multiple of 15?
False
Let d(h) = 6*h**3 - 3*h**2 + 4*h - 2. Is 7 a factor of d(2)?
True
Let g(d) = 2*d**2 - d**3 - 1 - 4*d**2 + d**2 + 4 - 3*d. Does 15 divide g(-3)?
True
Let l = -3 + 7. Suppose -12 = -3*b - 2*n - n, -n + 28 = l*b. Is 4 a factor of b?
True
Is 8 a factor of 14 - (2 + -4)/(-1)?
False
Let w(k) = -12*k + 9. Let h(y) = 7*y + 2. Let l(n) = n + 1. Let t(u) = -h(u) + 4*l(u). Let m(q) = -9*t(q) + 2*w(q). Is 5 a factor of m(4)?
False
Suppose -2*x - x = -69. Is 23 a factor of x?
True
Let s(p) be the first derivative of p**2/2 - 3*p + 1. Is s(8) a multiple of 2?
False
Is 12 a factor of ((-24)/(-10))/((-4)/(-120))?
True
Let s = 236 - -16. Suppose s = 5*o - 2*o. Suppose p - 4*p = -o. Is 10 a factor of p?
False
Is 12 a factor of 26/(-52) + 497/2?
False
Let r = -3 - -10. Suppose 168 = 10*c - r*c. Suppose h - 2*h + c = 0. Does 19 divide h?
False
Let z(d) = -7*d**3 - d. Let s be z(1). Let h(r) be the second derivative of -r**5/20 - 2*r**4/3 - 2*r**3/3 - 7*r**2/2 + r. Does 18 divide h(s)?
False
Suppose w - 4 = -w. Suppose -w*f + 14 = -38. Is 13 a factor of f?
True
Let w(d) = 2*d**2 + 2. Let g be w(4). Suppose -a + 5 = -0*a - 2*q, 5*a - q - g = 0. Does 3 divide a?
False
Let h be (2/3)/((-2)/(-3)). Does 7 divide (-10)/(h - 2 - 0)?
False
Let h be 3/(-6)*0 + 20. Let w be (-626)/(-10) + 8/h. Let x = w + -34. Does 10 divide x?
False
Let h(x) = 3*x**3 - 2*x**2 - x + 1. Let l be h(2). Let a = 9 - l. Let y = a - -9. Is y a multiple of 3?
True
Let t = -1 - -6. Suppose -4*u + t = -7. Is 3 a factor of u?
True
Suppose 0 = -2*n - 86 - 82. Let t = 128 - 185. Let a = t - n. Is a a multiple of 12?
False
Is (1 - 3)/((-2)/75) a multiple of 25?
True
Suppose -m + 68 = m. Suppose 0 = -3*i - 5 - m. Let c = 0 - i. Is 7 a factor of c?
False
Suppose 4*n - 26 = 74. Let k = 4 + n. Does 12 divide k?
False
Let u = -9 - -13. Does 4 divide u?
True
Suppose 0 = p - 4*d - 16, 4*p - 2*d = d + 12. Suppose 0*y + y - 31 = p. Does 11 divide y?
False
Suppose -2 = -3*w - 74. Let t = 10 + w. Let d = 25 + t. Is d a multiple of 4?
False
Let a = 8 - 11. Let q = 3 + a. Suppose q*d - 3*d + 39 = 0. Does 7 divide d?
False
Let l(w) = -w**3 + 5*w**2 + 8*w - 10. Let g be l(6). Suppose 0*c - 68 = -g*c. Is 17 a factor of c?
True
Let s be (-1)/3 + (-50)/(-15). Suppose 4*j - s*j + 4*q - 56 = 0, 52 = j + 3*q. Let d = -26 + j. Is d a multiple of 7?
True
Let t be (18/4 + -4)*148. Let c = t - 21. Is c a multiple of 16?
False
Let u(v) = -25*v**3 + v**2. Let w(y) = y - 7. Let a be w(6). Let k be u(a). Suppose 8 = 4*x - 2*x, 4*x + k = l. Is 14 a factor of l?
True
Let j(f) = -13*f + 3. Let g(l) = -14*l + 4. Let y(x) = 3*g(x) - 2*j(x). Let r be y(-6). Let a = -68 + r. Is a a multiple of 17?
True
Let o be ((-5)/3)/(3/(-9)). Let s = 8 + -4. Suppose o + 15 = s*w. Is w a multiple of 2?
False
Let u = -86 - -122. Is 12 a factor of u?
True
Let l(h) = h**2 + 15*h + 2. Let g be l(-15). Suppose 36 = u - 3*t, -g*u + 72 = -t + 3*t. Does 18 divide u?
True
Let b = 37 - 7. Is 5 a factor of b?
True
Does 16 divide (-80)/(-6)*(-5 + (-5 - -22))?
True
Let f = -38 + 69. Let m = -3 + f. Does 14 divide m?
True
Suppose -14 - 10 = -2*t. Suppose -4*c = -t - 48. Does 9 divide (-5)/c + 158/6?
False
Suppose -5*u + 188 = -27. Does 30 divide u?
False
Let u = -698 - -1209. Does 73 divide u?
True
Suppose 3*h + 15 = 0, 5*y + 6*h = 2*h - 15. Is ((y - -2) + -38)*-3 a multiple of 21?
True
Suppose -13*j + 1768 = -5*j. Is 13 a factor of j?
True
Let d be (1 - 1) + (-4 - -2). Is 1*(12 + 4/d) a multiple of 5?
True
Is (-4)/18 - (-329)/63 a multiple of 5?
True
Let w be ((-18)/45)/(1/40). Is 4*-4*3/w even?
False
Suppose 4*r = -4*s - 28, -5*s - 3*r + 20 = 53. Is (-2)/s*(99 + 0) a multiple of 16?
False
Let k(v) = v + 8. Let i be k(-4). Suppose -r = i*r + 2*z - 65, -5*r + z = -80. Does 4 divide r?
False
Let r(o) = -6*o. Let i = -4 + 1. Is 18 a factor of r(i)?
True
Let o(f) = -21*f - 4. Let j be ((-3)/2)/((-2)/(-4)). Is o(j) a multiple of 21?
False
Let l be (-7 - -1)/(1 - 0). Suppose -4*z + 90 = -2*t, 5*z - 4*z - 28 = -5*t. Let k = l + z. Is k a multiple of 12?
False
Suppose 0 = -38*h + 43*h - 150. Is h a multiple of 8?
False
Let w(o) be the first derivative of o**4/2 - 5*o**3/3 - 5*o**2/2 + 6*o - 5. Is w(4) a multiple of 22?
False
Is 25 a factor of 2/8 + (-199)/(-4)?
True
Let m = -116 - -165. Is 7 a factor of m?
True
Let o be (-29 + -1)*(-144)/27. Suppose 0*f + 4*f = o. Is 10 a factor of f?
True
Let t(a) = 5 + 3*a + 7 + a - 3*a. Is 7 a factor of t(8)?
False
Let y be 8*(1 + (2 - 1)). Suppose -w + 3*w - y = 0. Is (-90)/(-4)*w/6 a multiple of 12?
False
Let j = 21 - -61. Is j a multiple of 14?
False
Suppose d + 23 = 3*l, 5*l - 3*d - 2*d = 45. Is 6 a factor of l?
False
Suppose 5*l + 3*k - 322 - 10 = 0, -2*l - 3*k = -140. Does 14 divide l?
False
Suppose 4 = -3*a + 7. Let s(k) = 70*k**3 + k**2 - 1. Is s(a) a multiple of 14?
True
Let q be 25 - 4 - (-1 + 1). Let i(s) = -s**3 - s**2 + s + 1. Let l be i(-1). Suppose o + l*o - 29 = -3*r, 0 = o + r - q. Is o a multiple of 7?
False
Suppose -5*k + 20 = 4*s, 0 = -2*s + 6*k - k + 10. Is 208/20 + (-2)/s a multiple of 7?
False
Suppose -4*g + 8*g - 12 = 0. Suppose 0*t + g*t + 45 = 0. Let q = 0 - t. Is q a multiple of 5?
True
Suppose -2*z = -9*z + 70. Is z even?
True
Suppose -c - 3*c = -8. Suppose m = b - 0*b - 70, -5*b - c*m + 322 = 0. Does 11 divide b?
True
Let d(p) be the second derivative of 2*p**3 - p**2 + p. Let y be (-2)/(-1) + (0 - 0). Does 11 divide d(y)?
True
Let t = 0 - -3. Suppose 5*g - 130 = t*g. Suppose 3*f - g = -4*a, -5*f + 26 = 3*a - 64. Does 6 divide f?
False
Let w(c) = 3*c**3 - 7*c**2 - 2*c + 9. Let l(g) = -5*g**3 + 10*g**2 + 3*g - 14. Let m(x) = -5*l(x) - 8*w(x). Suppose -5*q - 8 = -3*q. Is m(q) a multiple of 13?
True
Is ((-20)/(-6))/((-4)/(-36)) a multiple of 15?
True
Suppose 54 = 2*p + 4*a, 3*p - 15 = 3*a + 21. Is 5 a factor of p?
False
Let v = 2 - -3. Is 3 a factor of v?
False
Let n = 10 + -5. Suppose -4*k - n*d = -0*k, -d = -k. Suppose -24 = -z + 2*j, 4*z = -k*z + j + 103. Is 13 a factor of z?
True
Suppose 0 = -2*s + 3*s + 4. Let u(z) = z**3 + 4*z**2 - 2*z + 2. Let o be u(s). Suppose p - 3*p = -o. Is p even?
False
Let k be (7 + -5)*(-27)/(-2). Does 18 divide (-2)/((3/k)/(-