) = -139*r**3 + 17*r**2 - 11*r + 181. Is k(-7) a multiple of 16?
True
Suppose -5*h - 13*h - 6*h + 1668696 = 0. Is h a multiple of 15?
False
Suppose -m = -3*q + 14, 0*m = 3*m + 6. Let f be ((-26775)/(-20))/(-7)*q. Is 16/10*f/(-18) a multiple of 11?
False
Let j(p) = 15 - 10*p**2 + 11*p - 3*p - p**3 + 16 - 7. Is 8 a factor of j(-12)?
True
Is ((-1428)/48)/((-2)/128) a multiple of 17?
True
Let o(p) be the second derivative of p**7/840 - p**6/24 - p**5/10 + p**4/3 - 3*p**3/2 - 7*p. Let h(i) be the second derivative of o(i). Is 14 a factor of h(16)?
False
Let s(f) = 333*f + 1110. Is s(5) a multiple of 15?
True
Let t(j) = 387*j**2 + 30*j - 33. Is t(5) a multiple of 18?
True
Let k(b) be the third derivative of 5*b**4/24 - 23*b**3/6 - 41*b**2. Let i(o) = o - 1. Let y(w) = 6*i(w) + k(w). Is y(5) a multiple of 13?
True
Suppose 5*d - y = -30, -8*d + y - 9 = -6*d. Does 2 divide (d/70*5)/((-2)/68)?
False
Let g(o) = o**3 - 8*o**2 - 10*o + 13. Let a(k) = -2*k**2 + 12*k - 1. Let j(f) = -f**3 - 7*f**2 - 11*f. Let u be j(-5). Let i be a(u). Is g(i) even?
True
Suppose 0 = 5*z - r - 15415, -1441 - 1642 = -z + 5*r. Does 18 divide z?
False
Let g = -1529 + 3766. Is g a multiple of 9?
False
Let r = 92 - 42. Let n be 1/(-2)*(-7 + 7). Suppose 54*d - r*d - 76 = n. Does 3 divide d?
False
Is -2419*(-6 + ((-12)/(-72))/((-2)/(-36))) a multiple of 87?
False
Suppose -22*s + 8*s + 45136 = 0. Suppose -4*c + 12*c = s. Is 10 a factor of c?
False
Suppose 0 = -f + 5 - 15. Let l(j) = -7 - 2 + 6 - 9*j - 2. Is 17 a factor of l(f)?
True
Let q = -33 - -36. Suppose 2*w + 731 = -5*v, 0*w + q*v + 1875 = -5*w. Let r = 539 + w. Is 30 a factor of r?
False
Let c be (3 - 5)*(-4 + 1052/(-8)). Suppose -a + c - 218 = 0. Is 53 a factor of a?
True
Let g(n) = -n - 7 - 2 + 7 + 2*n. Let r be g(5). Suppose 2*m + 3 = r*m, -3*h = 4*m - 36. Does 6 divide h?
False
Let n be (-2)/(-6) - (76/(-6) + -3). Suppose n = 12*h - 8. Suppose -117 - 185 = -5*w + 4*a, -5*a = -h*w + 114. Is 13 a factor of w?
False
Let j = -37 - -74. Suppose 13 = 5*a - j. Is 16 a factor of ((-16)/a)/4*(-120)/1?
True
Let k be (2 + -9)*39/(-91). Suppose -4*m = -4*z + 104, 6*z + k*m = 2*z + 90. Is z a multiple of 6?
True
Let m(t) = 4*t**2 + 2*t - 14*t**2 + 44*t**3 - 2 + 10*t**2. Does 12 divide m(1)?
False
Is 59 a factor of 245328/42 + 50 + -44 + 43/(-7)?
True
Suppose -4*u + 12 = 0, 5*p - 910 + 78 = u. Let f = 290 - p. Is f a multiple of 18?
False
Let n be 94/10 + 27/45. Suppose 6*z - z = n. Is 14/1*z + -4 a multiple of 3?
True
Let i(c) = c**3 - 26*c**2 - 98*c - 183. Is 63 a factor of i(34)?
True
Suppose -21*k = -4*x - 17*k + 76, 5*k = 2*x - 47. Let q = 270 - x. Is q a multiple of 18?
False
Suppose -18*o + 65293 = -3*o + 433. Is 46 a factor of o?
True
Let h(z) = 64*z**2 - 16*z + 121. Is h(14) a multiple of 11?
True
Is 69 a factor of 5*((-77936)/(-20))/4?
False
Suppose 281 = s - 2*u, 5*s - 25*u = -28*u + 1470. Suppose -s = 57*c - 60*c. Does 23 divide c?
False
Let t = -21572 + 28084. Is t a multiple of 44?
True
Let z = 13 - 7. Is 75/(-50)*(-484)/z a multiple of 22?
False
Suppose 0 = -3*z, -3*q + 2 = -5*q + 4*z. Let u be 0 - 4 - (-74 - q). Suppose u = -7*h + 8*h. Is 13 a factor of h?
False
Let v(g) be the second derivative of -g**5/20 - 19*g**4/12 - 4*g**3 + g**2 - 16*g. Let l be v(-18). Is 15 a factor of -3 + l - (4/2 + 0)?
True
Let x = 109 - 107. Suppose x*l - 11*p = -7*p + 428, 4*l - 5*p - 868 = 0. Is 37 a factor of l?
True
Suppose 61160 = 103*v - 59*v. Does 6 divide v?
False
Let d(p) = -p - 37. Let c be d(-12). Let m(b) = -5*b + 10. Is m(c) a multiple of 15?
True
Let q(v) = v**3 + 16*v**2 + 5*v - 86. Let h be q(-12). Let u = h - -218. Is u a multiple of 33?
False
Does 4 divide 720/(-14)*(-24 - -17 - 238/4)?
True
Let c(r) = -r**2 - r. Let g(a) = 3*a**2 - 4*a + 13. Let f(u) = 4*c(u) + g(u). Let m be f(-15). Let j = m - -150. Is j a multiple of 3?
False
Suppose 5*d - 28 = -2*d. Let o be 463 - 9*d/12. Suppose 2*x + 118 = v + o, -171 = -x - 4*v. Is 14 a factor of x?
False
Suppose 9*n - 7*n = 2*w + 4, 5*n = -5*w + 10. Suppose 3*p + n*v = 321 + 407, 0 = -3*p + 4*v + 704. Does 4 divide p?
True
Suppose -2*g = -71 + 47. Let l(d) = -g - 15*d**2 + 150*d - 147*d - 14 + d**3. Is 10 a factor of l(15)?
False
Suppose -o - g - 2 = 0, 0 = o - 4*g - 4 - 14. Let u(k) = k**2 + o*k - 7*k - 12 + 0*k. Is u(8) a multiple of 12?
True
Let v(i) = i**3 - 10*i**2 + 4*i + 49. Let r be v(9). Suppose 0 = 3*b + r*k - 834, b = k + 2*k + 291. Is 17 a factor of b?
False
Let g(z) = -15. Let c(y) = y - 90. Let k(i) = -6*c(i) + 34*g(i). Does 4 divide k(-7)?
True
Let z(o) = -4*o**3 - 11*o**2 - 8*o - 3. Let y(l) = -l**3 + 19*l**2 + 42*l - 7. Let n be y(21). Is 28 a factor of z(n)?
False
Let o be ((-6064)/(-5))/(0 + 5/25). Suppose 129*g - 127*g - o = 0. Suppose g - 92 = 10*y. Is 49 a factor of y?
True
Suppose 0*p = -p - 6*p + 101535. Is 6 a factor of p?
False
Suppose 12*b = 3*k + 7*b - 3617, -5*k + b + 5999 = 0. Suppose -s = -l + 492, -5*l = -4*s - 3661 + k. Does 33 divide l?
False
Let t(r) = -104*r**2 + 2*r + 4. Let q(y) = -53*y**2 + y + 2. Let v(k) = -5*q(k) + 2*t(k). Is 8 a factor of v(2)?
True
Let o be (-14)/(-175)*65 - (-2)/(-10). Is o + (-895)/(-5) - 3 a multiple of 6?
False
Suppose 8*r - 663 = -199. Let o = r - 56. Does 4 divide o - (1/(-2))/((-15)/(-900))?
True
Let k = 89 + -79. Suppose 7*t + 325 - k = 0. Does 5 divide 9/(-15)*1 + (-612)/t?
False
Suppose -h + 7 - 1 = 0. Let g be 200/72 + h/27. Suppose -2*w + 166 = 3*s, -4*s = g*w + w - 220. Is 19 a factor of s?
False
Suppose 0 = -11*c + 20*c - 56079. Is 67 a factor of c?
True
Let d = -2088 - -6644. Suppose -d - 3652 = -12*z. Suppose 0 = 4*k - 22*k + z. Is 13 a factor of k?
False
Let p be ((-312)/130)/(3/(-280)). Is 14/(p/(-24))*(-34)/3 a multiple of 3?
False
Let l = -336 - -984. Let b = 1292 - l. Is 43 a factor of b?
False
Let v = 43 - 25. Let x(c) = -2*c**2 + 10*c - 18. Let m be x(3). Let b = m + v. Does 3 divide b?
True
Suppose 10 = 4*d - 2*y - 30, 0 = -5*d - 4*y + 50. Let p(o) = 80*o + 70. Is p(d) a multiple of 15?
True
Let m(t) be the third derivative of -t**6/12 - t**4/12 + t**3/6 - 16*t**2. Let l be m(1). Let c = 60 + l. Is c a multiple of 7?
True
Let l(d) = -131*d + 17. Suppose 2*z + 50 = 40. Let c be l(z). Suppose -2*v + c = 4*v. Is v a multiple of 14?
True
Suppose -4*x + 55 = -9*x. Let y(m) = m**3 + 10*m**2 - 9*m + 25. Let o be y(x). Suppose 0 = -2*b - o*b - 2*v + 648, -b - 2*v = -128. Does 44 divide b?
False
Let i(j) = -4264*j - 6446. Does 9 divide i(-6)?
False
Let l = -4332 - -7349. Does 19 divide l?
False
Let r(s) = -2*s**2 + 7*s + 8. Let y be r(4). Suppose -7*i + y*i + 12 = 0. Suppose 0 = -i*q, 4*q = -2*u - 0*u + 78. Does 13 divide u?
True
Let k be (1 - (-2)/(-4))*6 + 873. Is 19 a factor of k/3 - (-3 - -10)?
True
Let s = -4 - -9. Suppose -s*k + 2*w + 18 = -6, 5*k = w + 22. Is (213/6)/(1/k) a multiple of 13?
False
Let p be (1/2)/(5/150). Suppose -p = 6*g - 2*g + 3*q, 3*g - 5*q = -33. Is 14 a factor of (g + (-6 - -4))*42/(-4)?
True
Is 28 a factor of 141*-1*-68*(-2)/(-168)*7?
False
Let p(v) = -4*v**2 - 13*v + 3. Let m be p(-3). Let h be (-1 - 1)*9/(-2). Is 36 a factor of (-8)/m + 984/h?
True
Let f(c) = 2005*c**2 + 351*c - 2. Does 62 divide f(-2)?
True
Let y(a) = a**2 + 10*a + 2. Let k be y(-10). Suppose k*c - 649 = 247. Is 32 a factor of c?
True
Let q(m) = -278*m + 158. Does 6 divide q(-14)?
True
Is 2 a factor of (21/4)/((-2)/(2080/(-30)))?
True
Let k(f) = -20*f + 820. Let q be k(41). Suppose i - 86 = -3*x, 5*x + 259 = 3*i + 1. Suppose 2*o - 164 - i = q. Is o a multiple of 25?
True
Let m(y) = 154*y**2 + 17*y + 22. Let u(o) = 462*o**2 + 51*o + 65. Let q(d) = -17*m(d) + 6*u(d). Is 9 a factor of q(-1)?
True
Let l(t) be the first derivative of -t**4/4 + 2*t**3 + 5*t**2 + 21*t + 5. Let j be (-4)/(-3)*-1*3. Is l(j) a multiple of 26?
False
Let h be (-248128)/96*3/(-2). Let s = -2720 + h. Is 74 a factor of s?
False
Let l = 255 - 252. Suppose 0 = i - 4*h - 985 + 29, l*h - 4895 = -5*i. Does 61 divide i?
True
Let c = -12126 - -17219. Does 22 divide c?
False
Let w be (0 + 1 + -1)*-1. Suppose w*i + 10*i = 4260. Let a = i + -279. Does 21 divide a?
True
Let x(n) = n**3 + 14*n**2 + 37*n - 3. Let l(i) = i**3 + 7*i**2 + 19*i - 1. Let a(b) = -5*l(b) + 3*x(b). Is a(-4) a multiple of 34?
False
Let k be 6/8 + (-17)/(204/1269). Let v = 2