374. Does 26 divide f?
False
Let r(v) = 2*v**3 + v - 4. Let c be r(2). Suppose c*o = 11*o + 987. Is 21 a factor of o?
False
Let j be 8/(-2) + 19 + -5. Suppose -4*x - 6*d + d = -j, 5*x - 3*d - 31 = 0. Suppose -5*v = x, 3*k + 2*v = -k + 86. Is k a multiple of 22?
True
Suppose -5*g + 3104 = 11*g. Does 20 divide g?
False
Suppose 2*l + 28 = 46. Suppose l*v - 11*v + 234 = 0. Is 13 a factor of v?
True
Suppose -5*p = -2*x + 322 - 2160, 4*x = -3*p + 1108. Is p a multiple of 5?
False
Let j(w) = 18*w**2 - 2*w + 1. Is 33 a factor of j(-4)?
True
Suppose -4*k + 8 = 0, -4*k = b - 3*k - 43. Let g = b + -9. Is g a multiple of 8?
True
Suppose -5806 - 9554 = -8*c. Does 8 divide c?
True
Let j be (-1)/(0 + 1) - -3. Let s(a) = -3*a**3 + 2*a**2 - 8*a - 4. Let b(n) = 6*n**3 - 4*n**2 + 15*n + 7. Let c(q) = 6*b(q) + 11*s(q). Does 6 divide c(j)?
True
Let i(w) = -w**3 + 25*w**2 + 50*w - 29. Is i(26) a multiple of 35?
True
Let q(h) = -5*h + 34. Let d be q(8). Let a(w) = -63*w - 59. Is 47 a factor of a(d)?
False
Let y(s) = 45*s - 52. Let u(p) = -9*p + 10. Let q(h) = 33*u(h) + 6*y(h). Does 36 divide q(-8)?
False
Suppose 8271 + 15084 = 15*w. Is w a multiple of 74?
False
Let u(p) = p**2 - 7*p + 2. Let b be u(7). Suppose -2*s + 142 = 5*a - 164, s - 123 = -b*a. Is 15 a factor of a?
True
Let q = 30 - 23. Suppose -q*h = -5*h - 36. Is h a multiple of 6?
True
Is 7 a factor of (10 - (-560)/(-16))*(0 - 6)?
False
Does 3 divide 10/4*1170/25?
True
Suppose q = 5*q - 176. Let b be ((-11)/q)/((-2)/(-8)). Let v(s) = -12*s + 1. Is v(b) a multiple of 13?
True
Suppose 21330 = 62*w + 17*w. Is w a multiple of 45?
True
Let d = 2155 + 105. Is 55 a factor of d?
False
Suppose 11 = 4*l - 5. Let d(z) = -z**2 + z. Let t(g) = -10*g**2 + 5. Let p(h) = 6*d(h) - t(h). Is 16 a factor of p(l)?
False
Let h be 1/(-2)*(-432)/3. Let k = h + -55. Does 17 divide k?
True
Suppose -8*i + 15576 = 2136. Does 24 divide i?
True
Is -1*(-2 + (6*94)/(-4)) a multiple of 20?
False
Suppose -39 = 2*d - 23. Let r(n) = n**2 - n + 1. Let h(o) = -o**3 - 12*o**2 - 11*o - 10. Let f(g) = -h(g) - 2*r(g). Is f(d) a multiple of 15?
False
Suppose -189 - 351 = -6*b. Is b a multiple of 10?
True
Let n = -17 + 26. Let k = 12 - n. Is -4*(-1 - k/(-12)) even?
False
Suppose -252*l - 129600 = -277*l. Does 24 divide l?
True
Suppose 13578 = -2*c + 33*c. Is 3 a factor of c?
True
Let x(j) = -116*j + 108. Is 3 a factor of x(-2)?
False
Let v = 2691 + 1782. Does 35 divide v?
False
Let g(t) = 4*t + 1. Let m be g(1). Suppose m*l - 72 = 18. Is 3 a factor of l?
True
Let l(i) = -24*i**3 - 7*i**2 - 5*i + 6. Let g(w) = -23*w**3 - 8*w**2 - 6*w + 7. Let n(o) = 5*g(o) - 6*l(o). Is n(1) a multiple of 10?
True
Is 10 a factor of 49/(2 + -9) - -27?
True
Let p = -163 - -234. Let q = -39 + p. Is 16 a factor of q?
True
Let p(h) = h**3 + h**2 - 1. Let v(j) = 8*j**2 - 4. Let l(b) = 6*p(b) - v(b). Is 10 a factor of l(2)?
False
Suppose -61*o - 836 = -80*o. Is 6 a factor of o?
False
Is 23 a factor of (-129450)/(-125) + ((-12)/10)/2?
True
Let l = -2 - -12. Let d = -5 + l. Suppose 0 = u - 2, -67 = -3*h - d*u. Does 18 divide h?
False
Let v(r) = -3*r - 10. Let h be v(-5). Let i(n) be the first derivative of n**4/4 - 5*n**3/3 + 2*n**2 + 2*n + 9. Is i(h) a multiple of 11?
True
Let g(h) be the first derivative of 2/3*h**3 + h**2 - 2 + 0*h. Is g(3) a multiple of 12?
True
Let g = 0 - 5. Let k(i) = i**3 + 7*i**2 + 5*i + 2. Let o be k(g). Suppose 3*z = o + 21. Does 8 divide z?
True
Suppose 0 = 11*f - 7*f + 12. Let v be 16*(-12)/4 - f. Does 27 divide 5*(-3)/(v/96)?
False
Suppose -2*f = -0*f + 2, -5*j + 911 = -f. Is 13 a factor of j?
True
Suppose 0 = -6*y + 168 - 198. Let j(x) = x**3 - 5*x**2 - 5*x + 6. Let l be j(5). Let q = y - l. Is q a multiple of 7?
True
Let p be ((-20)/(-20))/(2/8). Suppose 3*o - 735 = -p*o. Is 16 a factor of o?
False
Let n(j) = 6*j**2 - 7*j + 2. Let b(t) = 7*t**2 - 8*t + 1. Let g(y) = -5*b(y) + 6*n(y). Is 8 a factor of g(6)?
False
Suppose 235 = 5*y - 5*s, -5*y + 13*s + 211 = 16*s. Suppose k = -q + 68, -3*q + 0*q + 204 = -3*k. Let v = q - y. Does 17 divide v?
False
Suppose 0*h - 5*k = 5*h - 785, 604 = 4*h - 4*k. Suppose 2*i = 2*u - 310, 341 + h = 3*u + 3*i. Suppose 4*p - u = -p. Does 7 divide p?
False
Let p(i) = -i**3 + 9*i**2 - 4*i - 8. Let d be p(8). Let z = d + -22. Suppose -3*r = z*a - 208, -351 = -4*r - r + a. Is 35 a factor of r?
True
Suppose 87*b - 75*b = 6480. Is 45 a factor of b?
True
Let p be 1/(-3) + (-2)/(-6). Suppose 10 = 3*b - 4*c, 5*b + 0*c + c = 9. Suppose -b*r + 0*r + 52 = 4*o, p = -r + 5*o - 2. Does 6 divide r?
True
Suppose 0 = -4*x - x + 170. Let s = 41 + x. Is 15 a factor of s?
True
Let b be 0 - ((-20)/6 - (-2)/6). Let f(y) = y**2 - y + 3 + 0*y**2 - 2*y. Does 2 divide f(b)?
False
Suppose 6015 = 11*k + 4*k. Is 31 a factor of k?
False
Let l = 23 - 18. Let s(x) = x**3 + 6*x**2 - 8*x + 10. Let p be s(l). Suppose -p = 2*f - 7*f. Is 11 a factor of f?
False
Let g(c) = c**3 - 6*c**2 + 4. Let z be g(6). Suppose 0 = 4*f - z*n - 48, 80 = f + 4*f - n. Does 17 divide f?
True
Let l(f) be the first derivative of f**3/3 - 3*f**2/2 + 6. Let a be l(-5). Suppose -3*s - z = -32, 5*s + z - a = 6*z. Is 10 a factor of s?
True
Let a = -217 + 282. Is a a multiple of 14?
False
Suppose 0 = 4*a - 205 - 23. Suppose o = 5*f + 2*o + 136, -3*f + 3*o - 78 = 0. Let t = a + f. Is t a multiple of 10?
True
Let a(r) = -r**3 + 9*r**2 - 9*r + 11. Let w be a(8). Suppose m = 2*m - 3*b - 4, -w*b = -3. Is 6 a factor of m?
False
Let p = 41 - 11. Let u = -47 + p. Let y = 35 + u. Is y a multiple of 10?
False
Suppose 3*a - 5*a - 4*l - 12 = 0, a - 3*l = 9. Suppose -2*z = -2*g + 124, -g + a*g + 4*z = -59. Does 31 divide g?
False
Let d be (18/(-3))/6*0/2. Suppose -5*a + 80 - 45 = d. Is a even?
False
Suppose 710 = 5*u + 5*q, 2*q = -5*u - 9 + 713. Let m = u - 125. Does 5 divide m?
True
Suppose -x + 508 = 3*x + 3*r, -x = -r - 120. Suppose 17 + 8 = u - w, 5*u - x = 4*w. Is u a multiple of 12?
True
Let a(k) be the third derivative of k**4/12 + 10*k**3/3 - k**2. Is a(-5) a multiple of 5?
True
Let f(r) = -4*r**3 - 5*r**2 - 6*r - 10. Let k be f(-3). Suppose -4*z - i = -7*z + k, z + i - 25 = 0. Does 24 divide z?
True
Let v = -2274 + 4353. Does 63 divide v?
True
Let l be (-74)/(1 + (-3)/6). Let p be 0*(-4)/(-16) + l. Let c = 211 + p. Is 17 a factor of c?
False
Suppose 5*b - 792 = 2*z, 285 + 179 = 3*b - 4*z. Does 16 divide b?
True
Suppose 2 = 2*q - 8. Let x = 6 - -66. Suppose 76 + x = 4*i - t, 5*t + 200 = q*i. Does 12 divide i?
True
Let t(s) = 2*s - 7. Suppose 2 = 3*w - 1. Let a = 12 - w. Is 11 a factor of t(a)?
False
Let b be 10 + 4/(1 + -2). Let j be b/(-3*2/(-4)). Is (-4)/(-8) + 206/j a multiple of 17?
False
Let q = 70 + -22. Suppose q = -3*f + 96. Does 8 divide f?
True
Let l(b) = -7*b**3 + 6*b**2 + 3*b + 4. Let h be l(-5). Let z = 90 - 30. Does 23 divide (-24)/z - h/(-10)?
False
Let k(o) = o**2 - 12*o + 84. Is 28 a factor of k(23)?
False
Let l(d) = -54*d**3 + 5*d**2 + 7*d + 2. Does 4 divide l(-1)?
False
Let p = 64 + -60. Suppose w + 91 = 3*j - 79, 3*j + p*w - 175 = 0. Is 5 a factor of j?
False
Does 9 divide 7/(21/90)*372/18?
False
Suppose 16*v + 4*k - 450 = 13*v, 0 = 2*k. Is 25 a factor of v?
True
Does 25 divide 8230/10 - (-1 + (-2 - -1))?
True
Let q(d) = d**2 - d - 1. Let c be (-24)/8 - -3*2. Let j be q(c). Suppose j*b - 106 - 169 = 0. Is 14 a factor of b?
False
Let o(t) be the second derivative of -t**8/2240 - t**7/504 - t**6/240 - t**4/6 - 7*t. Let p(m) be the third derivative of o(m). Is 22 a factor of p(-3)?
False
Let s = 353 + 538. Is s a multiple of 27?
True
Let m be (-2)/(-7) - 264/(-56). Suppose -x + 5*d + 25 + 4 = 0, 0 = -d - m. Suppose 3*v - z = 4*v - x, -8 = -2*v + 3*z. Is v a multiple of 2?
True
Let n = -5 + 10. Let y be (n - 0)/(2/(-6)). Let k = 22 + y. Is k a multiple of 7?
True
Is (-36)/(-10)*(-3 + 1078/6) a multiple of 53?
True
Let y be (-6)/((45/(-6))/5). Suppose -5*t = 4*u - 391, -u + y*t + 332 = 2*u. Suppose 0 = 2*p + f - 4*f - u, -2*p = 2*f - 124. Does 10 divide p?
False
Let c be (0/1)/((-8)/(32/4)). Is 7 a factor of c - 1/((2/(-87))/2)?
False
Suppose 0 = -0*h - 6*h + 288. Is 12 a factor of h?
True
Let b = -47 + 41. Is (11/2)/((b + 7)/10) a multiple of 5?
True
Suppose 0 = 8*x + 5*x - 1469. Is x a multiple of 4?
False
Let b = -151 - -246. Suppose -2*n = 3*n - b. Is n a multiple 