-3*o - 17. Suppose 9*h - 6*h + 24 = 0. Let a be d(h). Let n(z) = z**3 - 5*z**2 - 7*z + 4. Is 26 a factor of n(a)?
False
Let w(l) = -3*l**2 + 27*l - 16. Let u be w(8). Suppose u*o - 7*o = t + 34, -2*t + 88 = 2*o. Is 5 a factor of o?
False
Let l be (-1 + -1 + (-52)/(-10))*20. Let b be ((-76)/(-6))/(l/96). Let s(u) = -u**2 + 23*u - 42. Is 8 a factor of s(b)?
False
Let w(k) be the third derivative of -11*k**4/6 - 17*k**3 + 16*k**2. Does 50 divide w(-10)?
False
Let u(i) = i**3 + 13*i**2 - 3. Let p = -75 - -62. Let n be u(p). Is 22 a factor of (-13)/4*(n + -25)?
False
Suppose -4*y = c - 2908 - 4096, -2*c = 2*y - 14002. Is 140 a factor of c?
True
Let w(k) = k**2 + 30 - 56 - 6*k + 27. Is w(10) a multiple of 4?
False
Suppose -15*n + 7*n = 9*n. Suppose -5*h + 1890 = 5*s - 8*h, 2*s - 2*h - 752 = n. Is 7 a factor of s?
False
Suppose 4*r = 3*s + r, 3*r + 12 = 0. Does 2 divide (-150)/(-14) - ((-330)/77 - s)?
False
Suppose 0 = -3*d - 15, 4*f + 16 = -2*d - 2*d. Let p be (5 - f)/(4 + -2). Is 11 a factor of 20 - (2 - (p + 2))?
True
Suppose 4*h - 4 = 0, -31*h = -2*p - 32*h + 5601. Is 50 a factor of p?
True
Let a be (-25)/(-4)*(-7 - -58 - -5). Is 2 a factor of -5*14/a - 11/(-5)?
True
Let d(k) = -221*k + 78. Let t(u) = u**2 + 2*u - 26. Let q be t(-6). Is d(q) a multiple of 5?
True
Let y = 102908 + -50690. Is 18 a factor of y?
True
Suppose -3*v + 3356 = s - 7086, -s = v - 3476. Is 2 a factor of v?
False
Let g = 21225 - 14054. Is g a multiple of 71?
True
Is 3 a factor of (-188*(-5)/(-2) + 1)*-2?
False
Suppose -5*u = -2*n + n - 750, u - 5*n - 126 = 0. Let l = u - 106. Suppose 0 = -4*r + 4, 2*p - r + 0*r - l = 0. Does 23 divide p?
True
Suppose -2*v + 5*v = -2*b + 10914, b - 5466 = 3*v. Is b a multiple of 140?
True
Does 145 divide (5*1)/(95280/(-669900) + 1/7)?
True
Let u(k) = -30*k - 6. Suppose r - 4*r = -t + 49, 5*t - 35 = r. Let o be u(r). Suppose -1588 = -8*g - o. Does 38 divide g?
False
Let v(j) = -9*j**2 - 650*j - 139. Is v(-71) a multiple of 28?
False
Let q(h) = -h**2 - 269*h + 1591. Is q(-86) a multiple of 129?
False
Suppose 27*a - 78 = -12*a. Does 10 divide (-10)/((-60)/6774) + a?
False
Let t = -823 + 1406. Suppose 8*h - t = 1121. Is h a multiple of 11?
False
Is 17 a factor of -262*(-5)/(-50)*-65?
False
Let w = -6337 + 6624. Does 35 divide w?
False
Suppose -5*o - 104 = -9*o + 2*f, 4*f - 111 = -3*o. Let r = -91 + 142. Let q = r - o. Is 4 a factor of q?
False
Let k be ((-476)/51)/((-2)/(-273)). Let n = -356 - k. Is n a multiple of 18?
True
Let t(x) = 3*x**2 - 4*x + 8. Let h be t(5). Let j(c) = 9*c**2 + 19*c - 18. Let b be j(1). Suppose b*y = 13*y - h. Does 9 divide y?
False
Let m = -10 + 52. Let n be ((-2443)/m*-3)/((-1)/(-2)). Suppose 145 - n = -2*o. Is 6 a factor of o?
True
Suppose 36*x = 969 + 75. Let a(u) = 56*u - 149. Is 14 a factor of a(x)?
False
Let j be 4/(1 + 1) - 25. Let g = j - -200. Suppose -g + 61 = -o - 4*t, 3*o + 3*t = 357. Does 30 divide o?
True
Let v(m) = m**3 + 2*m**2 - 2*m + 1. Let b be v(1). Suppose 0*x + b = -x. Let u(g) = 16*g**2 - 8*g - 3. Is 23 a factor of u(x)?
False
Let k be (-5 + 2)*(-3 + 4)/(-1). Suppose 0*g - 48 = -5*t + k*g, -3*g - 21 = -2*t. Suppose 0 = 2*s - 5*s + t, -2*s = 4*x - 146. Is 6 a factor of x?
False
Let j = -139 - -126. Let r be 12/78 - 37/j. Suppose -r*v = -5*v + 224. Does 7 divide v?
True
Suppose -271912 = -65*s - 34*s - 48073. Is 7 a factor of s?
True
Let m be 0/((-3)/(-6)*2). Suppose -5*h - 689 = -2*a, m = 2*a + 3*a - h - 1711. Does 9 divide a?
True
Suppose -4*s + 2031 = 3*b, 22*s = 27*s - 3*b - 2532. Let i = s + 221. Is i a multiple of 17?
False
Let n = -3284 - -9896. Is n a multiple of 58?
True
Suppose 5*k - 6388 = 3*y, 0 = -2*y - 185 + 193. Is k a multiple of 80?
True
Suppose 3*w - l - 17 = 0, w + 4 = 3*l + 23. Suppose -w*f - 2*f + 798 = 0. Is 11 a factor of (-16)/32 + f/2?
True
Let i(m) = m**2 - 9*m. Let h = 60 - 51. Let t be i(h). Suppose -3*s - 114 + 438 = t. Is s a multiple of 12?
True
Suppose 2*s + 1246 = 2*w, 3*s + 3*w = -2*s - 3075. Let k = s - -898. Is 28 a factor of k?
True
Let x = -308 - -308. Suppose -5*g + 4*z + 2014 = x, -2*g + 386 = -g - 5*z. Is g a multiple of 14?
True
Let j = 1029 - -772. Suppose -4*s + d + 3196 = -407, -2*s = -d - j. Does 53 divide s?
True
Let h = -25 - -31. Let l(g) be the first derivative of 4*g**2 + 15*g + 8. Is l(h) a multiple of 14?
False
Let o(b) = 11*b + 180. Suppose -13*z = 16*z - 580. Is 5 a factor of o(z)?
True
Let o(v) be the third derivative of v**5/60 + 3*v**4/4 - 2*v**3 - 2*v**2 - 26*v. Let k be 1/(-4) - (-190)/(-8). Does 11 divide o(k)?
True
Suppose -1510370 - 352671 = -107*f - 199405. Is f a multiple of 173?
False
Suppose -3*i - m = -17981 - 37109, 0 = 5*i + 2*m - 91815. Does 166 divide i?
False
Let c = 5786 + 355. Is c a multiple of 69?
True
Let i be -2 + 3 + -5 + -80. Let x = i + 121. Let h = 93 - x. Is h a multiple of 28?
True
Let s(p) = 291*p + 9054. Does 15 divide s(26)?
True
Suppose 0 = 85*v - 262568 - 639112. Is v a multiple of 26?
True
Let b(j) = j**2 + 7*j - 6. Let m be b(-36). Suppose 3*q - 1440 = -m. Does 3 divide q?
False
Let g(w) = 39*w + 10. Let p = 43 - 37. Is g(p) a multiple of 27?
False
Let x(r) = 14*r - 79. Let p = 72 - 56. Is x(p) a multiple of 34?
False
Let d be 1 + 3/(-9) + (-40)/(-12). Suppose -5*h = 4*x + 40, d*x + 8*h + 52 = 6*h. Let w = 43 + x. Is 22 a factor of w?
False
Suppose -3*n = 2*n + 20. Let z be (3/12*4 - 4) + n. Let m(x) = 2*x**2 + 4*x - 5. Does 12 divide m(z)?
False
Suppose -4*w + 37 = 345. Let g = w - -84. Does 14 divide 99/g - 1/7?
True
Let h(o) = -1 - 5 - 2*o + 5 + 6*o**2 + o. Is h(4) a multiple of 13?
True
Does 6 divide 527 + 3 - (22 - 22)?
False
Let d(o) = 16*o**2 - 25*o + 84. Let a be d(4). Does 73 divide (-81)/(-2*9/a)?
False
Let v(n) = 4*n - 2*n - 2*n - n - 8. Let h be v(-13). Does 14 divide (4/h)/((-16)/(-560))?
True
Suppose -g = 4*v + 1117, -4*v + 2*g - 89 = 1049. Let l be (-5*3)/((-1)/(-13)). Let f = l - v. Does 19 divide f?
False
Let a(k) = -35*k**2 - 2*k. Let y be a(2). Suppose -203 = -8*g - 843. Let r = g - y. Does 13 divide r?
False
Suppose -105348 = -22*j + 100462. Is j a multiple of 74?
False
Let v = 8588 - 4903. Is v a multiple of 127?
False
Let a be (-1)/(-3)*(-2 + 68). Suppose 580 = -17*y + a*y. Does 24 divide (y - 0)/(-1)*(-14)/8?
False
Let b(z) = 71*z**3 + 19*z + 2*z**2 + 16*z + 26*z**3 + 5 - 40*z. Is b(2) a multiple of 11?
False
Let z(s) = -4*s**3 - 6*s**2 - s + 7. Let j = 36 + -35. Suppose -y + j - 4 = 0. Is 16 a factor of z(y)?
True
Let x = -36 - -43. Suppose 0 = 2*d - x*g + 3*g - 776, -4*g = 3*d - 1204. Is d a multiple of 30?
False
Suppose 57*p = 24*p + 8*p + 466725. Is 147 a factor of p?
True
Let z = 224 + 14. Suppose -6*m + z = -224. Is 4/2 + -2 + m + -2 a multiple of 11?
False
Let y(i) be the first derivative of 12*i**2 + 17*i + 19. Let x(t) = 4*t + 12. Let p be x(-1). Is y(p) a multiple of 14?
False
Let c(l) = 46*l + 87. Let g be c(8). Suppose m - 6 = z + 171, 3*m + 3*z - 561 = 0. Suppose g + m = 7*y. Is y a multiple of 13?
True
Let p(d) = -7*d**2 - 37*d - 39. Let o be p(-18). Let s = o + 2489. Is s a multiple of 53?
True
Suppose -2*z + 4246 = -70*q + 75*q, 5*q - 4240 = -5*z. Does 24 divide q?
False
Let a = -10 + -107. Let k be (-18)/a - 2/13. Is 11 a factor of k + 4 + (15 - -29)?
False
Let z be 11 + -2 + 3 - (1 + -4). Suppose -10*f + 680 = -z*f. Does 34 divide (-6)/6 - (f + -1)?
True
Let s(y) = 9*y**2 + 6*y + 26. Let i be s(-11). Suppose 0*l = -2*l + 3*a + 517, -4*l + a + i = 0. Let o = l + -138. Is 25 a factor of o?
True
Let n = 0 - 13. Let w(g) be the first derivative of -7*g**2/2 - 9*g - 11. Is 18 a factor of w(n)?
False
Suppose -13 = -2*g - 4*j + 343, -2*g - 5*j + 359 = 0. Let u = -159 + g. Is u a multiple of 9?
False
Let b(v) = -132*v + 11. Let t be (-30)/25*(-4 - 44/(-6)). Is b(t) a multiple of 11?
True
Let c(p) = 3*p**2 + 25*p + 24. Let o(l) = 5*l + 87. Let w be o(-19). Does 3 divide c(w)?
False
Suppose -3*b + 5 = -4. Suppose m + 4*t - 589 = -197, b*m - 4*t - 1240 = 0. Is 17 a factor of m?
True
Is 2/(-9) - (-35)/(5355/34) - -2235 a multiple of 24?
False
Let d(q) be the second derivative of q**5/20 + 7*q**3/6 - 2*q**2 - 8*q - 3. Suppose -6 = -4*f + 6. Is 12 a factor of d(f)?
False
Let i be (-637)/(-28) - (-3)/12. Is 4/((-20)/(-15)) + i a multiple of 10?
False
Suppose -516*h = -534*h + 18