a multiple of 5?
True
Does 30 divide (-1197)/(-2) + 213/142?
True
Let k = 2089 - 1720. Is k a multiple of 8?
False
Let x(g) be the third derivative of -17*g**6/720 + g**5/120 + g**4/8 + 8*g**2. Let y(h) be the second derivative of x(h). Is y(-3) a multiple of 13?
True
Let k = -6 - 2. Let v be 60/(-16) + 2/k. Does 3 divide (-96)/(-15) + v/10?
True
Suppose -3*i + 4*o + 172 + 306 = 0, 5*o + 321 = 2*i. Is 12 a factor of i?
False
Let c(v) = v**3 + v. Let b be c(2). Suppose 4*q - 45 - 243 = -4*f, 3*q = -f + 212. Suppose -b = -4*d + q. Is d a multiple of 5?
True
Suppose 0 = 19*h - 14*h - 1400. Is h a multiple of 28?
True
Let i be (-5)/((-20)/(-52)) - -1. Is 19 a factor of 10*(5/3 - 2)*i?
False
Suppose 4*z + 4*x = 2308, 3078 - 200 = 5*z - 2*x. Is z a multiple of 48?
True
Let o = 2883 - 2066. Is 19 a factor of o?
True
Let k(b) = -2*b**3 + 2*b**2 + b - 2. Let z be k(-2). Suppose -28 = -3*c + z. Is c a multiple of 3?
False
Let i(d) = d**3 - 38*d**2 - 161*d - 24. Does 9 divide i(42)?
True
Let t(q) = 59*q + 77. Is 12 a factor of t(5)?
True
Let i = -1 - -145. Does 16 divide i?
True
Suppose 2*t - m - 231 = 0, -t - m + 111 = -0*m. Suppose -4*k = -t - 14. Is 7 a factor of k?
False
Suppose 11096 = 15*v + 1286. Does 15 divide v?
False
Let r(p) be the third derivative of p**5/6 - p**4/24 + 7*p**3/6 - 28*p**2. Is 25 a factor of r(-3)?
True
Let l be 15/(-6)*69/15*-6. Let a = 25 + l. Is 12 a factor of a?
False
Suppose 0 = -6*b - 89 + 179. Is 5 a factor of b?
True
Suppose -2*q = 202 + 44. Let x(w) = w**3 - 18*w**2 + 13*w - 11. Let h be x(17). Let j = h - q. Is j a multiple of 12?
False
Let w be ((-1 - -1)/(-2))/1. Suppose w = 6*r - 5*r - 2. Suppose l = 40 + r. Is 14 a factor of l?
True
Suppose -187 = -26*q + 62213. Is q a multiple of 25?
True
Suppose -4*j = -6*l + 10*l, j - 12 = -5*l. Let q(s) = -5 + 4 - 8 + 11*s. Is q(l) a multiple of 8?
True
Let i be (3 + -4)/((-2)/4). Suppose -3*b + i*b = -19. Is b a multiple of 2?
False
Let a(n) = -n**3 - 17*n**2 - 14*n + 2. Let m be a(-15). Is 13 a factor of 4/(-14) - 6256/m?
True
Let v(i) = -i**3 - 6*i**2 + 2*i - 7. Let y be v(-6). Let d = -86 + -20. Let g = y - d. Is g a multiple of 29?
True
Let x(u) = -5*u**2 - 15*u + 10. Let k(f) = -2*f**2 - 6*f + 4. Let y(h) = -8*k(h) + 3*x(h). Let z = -16 + 8. Is 38 a factor of y(z)?
True
Suppose 0*j - 980 = -7*j. Is j a multiple of 11?
False
Let j(f) = -f**3 + f**2 - 25. Let a be j(0). Let k = a + 40. Is k a multiple of 2?
False
Suppose -k - n + 614 = 132, -n = -2*k + 955. Is k a multiple of 24?
False
Let y(c) = 8*c - 46. Let a be y(7). Is 13 a factor of 4/a + (3 - (-3940)/25)?
False
Let c be 3 - 8/((-24)/(-9)). Let d be 1*1*-1 + 3. Suppose c*s + 444 = 4*y - 2*s, d*s = 4. Is 37 a factor of y?
False
Let m be (-2)/(-3)*(-20 - (-2 + 0)). Is 31 a factor of (6/m + 1)/((-1)/(-310))?
True
Let p(c) be the second derivative of -c**5/20 + 2*c**4/3 - c**3/6 + c**2 - 7*c. Let r be p(8). Let i(g) = -g**3 - 6*g**2 - 4*g - 6. Is i(r) a multiple of 6?
True
Let z(g) be the third derivative of g**5/30 + g**3/6 + g**2. Let i be z(-2). Is 16 a factor of (i/(-6))/((-6)/132)?
False
Suppose 0 = 5*o - 3 - 2. Does 23 divide 4 + 44 - 2/o?
True
Suppose -4*w - 2*d = 44, 5*d + 19 = -4*w + w. Let g = w + 5. Let b = 23 + g. Is b a multiple of 4?
False
Suppose -2*k + 210 = -3*a, -479 = -0*k - 5*k - 4*a. Let m be (-2)/(-9) + 31460/k. Suppose -3*r = -3*z + 7*z - m, -2*z = -3*r - 150. Is 26 a factor of z?
True
Is 67 a factor of -670*(-6)/25*840/126?
True
Let x(q) = -4*q**3 - 4*q + 3. Let y(b) = 3*b**3 + 2*b - 1. Let t(d) = -3*x(d) - 7*y(d). Is t(-1) even?
False
Let y = -26 - -68. Let r be (1/3)/(1/y). Suppose 10*f - r*f = -364. Does 24 divide f?
False
Let n = 73 - -256. Is n a multiple of 10?
False
Let u(j) = -j**3 - 3*j**2 - 2*j + 2. Let a be u(-2). Suppose a*f - 76 = 24. Is f a multiple of 3?
False
Let v(f) = 5*f**2 + 7*f - 3. Let b be v(-6). Suppose -15*x + 10*x = -b. Suppose 0 = 4*a - x - 213. Does 10 divide a?
True
Let f(i) be the second derivative of 1/20*i**5 + 0 - 3*i**2 - 2*i - 11/6*i**3 - 1/2*i**4. Is 11 a factor of f(8)?
False
Suppose 0 = -4*z - 4*c + 12, -3*z + 1 = -c. Is z/(-5) + (-4608)/(-40) a multiple of 30?
False
Suppose -25 = -4*b + 3*p + 11, 20 = -5*p. Let l(g) = -g**2 + 30*g - 101. Let w be l(4). Suppose w*i - b = 3. Does 3 divide i?
True
Let t be (12/10)/(20/50). Suppose 0 = -3*d + 5*k + 22, t*d + d + k = -9. Is 3 a factor of (-5)/d + (-40)/(-10)?
True
Let z be 2/12 - 17/(-6). Suppose -115 = -3*a - z*v + v, 40 = a + v. Does 14 divide a?
False
Let u(p) = -p**2 + p + 1. Let l be u(-5). Let j = 39 - l. Let a = -44 + j. Does 12 divide a?
True
Let o(p) = -p**3 - 15*p**2 - 14*p + 3. Is 12 a factor of o(-16)?
False
Let v(f) be the first derivative of 5 + 7/3*f**3 - 3/2*f**2 - 2*f - 1/4*f**4. Is v(6) a multiple of 12?
False
Suppose -6*u + 24 + 0 = 0. Let q(s) = 4*s - 13. Does 3 divide q(u)?
True
Is (-5 - 8/36*-3)*-6 a multiple of 14?
False
Let z = -4047 - -6087. Is 136 a factor of z?
True
Suppose 0*j = j. Suppose 2*c + 106 - 12 = j. Let w = 107 + c. Is w a multiple of 20?
True
Let c be (-123)/5 + 2/(-5). Let y = c + 35. Suppose -75 = -5*j + 5*z, 2*j + 3*z = y + 20. Is j a multiple of 15?
True
Let c(j) = 166*j**2 - 2*j + 1. Let y be c(2). Suppose -6*n = -3*f - 2*n + 934, 2*f - y = -5*n. Does 13 divide 21/(-28) - f/(-8)?
True
Let j(b) = 5*b**3 - 20*b**2 - 9*b. Let h(o) = o**3 - o**2 + o. Let f(l) = -6*h(l) + j(l). Let t(r) = r**2 + 10*r + 8. Let q be t(-7). Is 5 a factor of f(q)?
False
Let w = -163 - -69. Is -160*(w/70 + 4/28) a multiple of 24?
True
Let r(l) = -l - 4. Let w be r(-8). Let m be w/(20/5) + 4. Suppose -m*q + 0*h + 433 = 3*h, q + h - 85 = 0. Is q a multiple of 21?
False
Suppose 3*y = 4*y - 12. Let x = 12 - y. Is 100 + x - 3/(-3) a multiple of 26?
False
Let d(b) = 3*b**2 - 16*b + 5. Is 4 a factor of d(7)?
True
Let o(u) = 2*u. Let k be o(2). Suppose -k = f - 169. Is f a multiple of 15?
True
Suppose -a + 6*j = j + 71, 240 = -4*a - 2*j. Let p be (-10)/1*(68/5 - 2). Let o = a - p. Is o a multiple of 30?
False
Suppose 2*j = 7*j + 2*l - 11, 1 = -3*j - 5*l. Let x be (543/6)/(j/6). Let o = -126 + x. Does 12 divide o?
False
Suppose 2*u - 1094 = 5*g, 19*u + g + 1094 = 21*u. Is 15 a factor of u?
False
Let p be ((-2)/6)/((-15)/(-765)). Let t = p + 32. Let d = 27 - t. Is d a multiple of 3?
True
Let a(o) = -86*o - 3. Let u be a(-5). Let x = 197 - u. Is x/(-15) - 4/(-6) a multiple of 8?
True
Let o(q) = 3*q + 8. Let l be o(0). Let c = 13 - l. Suppose z + 2*z - 61 = -5*i, -c*i = -z - 13. Is z a multiple of 4?
True
Suppose -l = 2 - 10. Suppose -l = p - 5*p. Suppose 26 + 76 = p*t. Does 18 divide t?
False
Let q(v) = 65 + 7*v - 4*v - 4*v. Is q(19) a multiple of 23?
True
Let k be -5 + -4 + 7 + 5. Suppose -r = 3*r - k*c - 202, -r + c + 50 = 0. Is 4 a factor of r?
True
Let x = 27 + -23. Suppose 4*m = x*g + 516, -915 = -5*m - 4*g - 261. Does 15 divide m?
False
Let v(u) = -66*u - 7. Is v(-5) a multiple of 17?
True
Let s be (-4)/(-18)*-3*15. Let u = 95 + -140. Is 30 a factor of ((-24)/s)/((-3)/u)?
False
Let y = 102 + 59. Is 27 a factor of y?
False
Suppose 5*m = 20, 2*w + 69 - 253 = 5*m. Does 73 divide w?
False
Let q = 2 + 0. Let f(j) = 18*j**3 - 6*j**2 + 2*j - 5. Let i(m) = -6*m**3 + 2*m**2 - m + 2. Let y(z) = 4*f(z) + 11*i(z). Does 36 divide y(q)?
True
Let x be 1/2*-1 + (-267)/2. Let b = x - -242. Is 12 a factor of b?
True
Let h be 1 + 20/5 + -2. Is 6 a factor of 1 + ((-210)/40)/(h/(-16))?
False
Let u = -206 - -210. Let w(x) = 3*x**2 + 1 - 2*x - 2 - 2. Is 7 a factor of w(u)?
False
Let l(n) = n**2 - 7*n - 4. Let i(k) = -2*k + 5*k - 5*k**2 - 4*k + 5 - k**3 - 2. Let g be i(-5). Is 4 a factor of l(g)?
True
Suppose 18 - 225 = -3*a. Suppose 3*d + 173 = 5*l - a, 5*l = 5*d + 240. Is 19 a factor of l?
False
Let v(a) = 19*a. Let s be v(-3). Suppose 3*b + 8 = -94. Let j = b - s. Does 11 divide j?
False
Let f be 3/12 - 220/(-16). Suppose 3*o - f - 25 = 0. Let l = -8 + o. Does 2 divide l?
False
Suppose 0 = 2*l - 23 - 15. Suppose -l*q = -16*q + 18. Let n(a) = 3*a**2 + 3*a - 14. Does 19 divide n(q)?
True
Suppose 0 = -4*b - 3*l - 1743, -3*l = b + 4*b + 2181. Does 14 divide 6/(-10) - b/30?
True
Suppose 2*k + 2 - 56 = 0. Suppose -k*s + 300 = -22*s. Is s a multiple of 6?
True
Let j(p) = 3*p + 12 + 7*p + p**3 + 16*p**2 + 4*p - 20. Let o be j