) + 69?
False
Let y = 20 + -15. Let k be 3/y + (-396)/60. Does 4 divide (-96)/(-8) - k/(-3)?
False
Suppose u - 15041 = -2*n, -4*u + 30096 = -48*n + 52*n. Is 10 a factor of n?
False
Let k(t) = -2*t - 5. Let z be k(-4). Let q be (-372)/(-4) - (2 - z). Suppose 2*i = 2*j + 62, 0 = 2*i - j - q + 37. Is i a multiple of 16?
False
Suppose -i = u + 45, -2*u = -i - 15 + 90. Is 10/(-25) + (-6576)/u a multiple of 25?
False
Let z(i) = 3*i**2 + 3. Suppose -62 - 68 = 10*b. Let v(u) = u**3 + 13*u**2 + u + 15. Let x be v(b). Is z(x) a multiple of 11?
False
Suppose -2*p + 5 = 5*b, -6*b - p - 1 = -7*b. Let f be -4 - (-32 + 2)/b. Let a = 131 - f. Is 21 a factor of a?
True
Let m be -4 + 5 + (-5 - -1)*1. Let f be 5*m/(-30)*(2 + 6). Suppose f*w - 8*w + 700 = 0. Is 21 a factor of w?
False
Suppose 932*s = 936*s - 135184. Is 96 a factor of s?
False
Let s = 1360 + 276. Does 37 divide s?
False
Does 7 divide 17/170 + 1250508/120?
False
Let o(h) = 2*h + 68. Let r(d) = d + 34. Let a(i) = 7*i**2 + 2*i - 3. Let v be a(1). Let l(x) = v*o(x) - 11*r(x). Is 9 a factor of l(-16)?
True
Let j be (5 - -8) + (-1 - -2). Let m = 65 - j. Does 10 divide m?
False
Let p = 220 + -218. Suppose -3*h + 5*z = -200, -2*h - 9 + 145 = -p*z. Is 5 a factor of h?
True
Let h(y) = -y + 1 - 20 - 3*y - 7 - 3*y. Does 3 divide h(-6)?
False
Is (-85799)/(-11) - 12/(-11) a multiple of 29?
True
Let h(v) be the third derivative of -3*v**4/2 + 59*v**3/6 + 10*v**2. Is 39 a factor of h(-5)?
False
Let k be 83741/(-539) + (-4)/(-11). Let s = 312 + k. Does 18 divide s?
False
Let n(o) = 236*o - 1246. Is n(15) a multiple of 31?
True
Suppose 8*m - 1059 + 4043 = 0. Is (0 - m) + (-6)/(-3 - -6) a multiple of 33?
False
Suppose 2*x - 10 = 2*j, 3*x - 7 = 2*j - 2*x. Let c(w) = -34*w + 2. Let z be c(-1). Let a = j + z. Does 3 divide a?
True
Suppose -33*c + 17260 + 2969 = 0. Let u = c + -543. Does 6 divide u?
False
Suppose -5*c + 5762 = t - 2455, 3*c - 10*t - 4909 = 0. Is c a multiple of 7?
False
Is ((-19776896)/3670)/((-2)/5 + 0) a multiple of 16?
True
Let q(r) = -3*r + 28*r**2 - 6*r**2 - 8057 + 18*r - r**3 + 8021. Does 6 divide q(21)?
True
Let y be 3/5*(-12)/((-84)/35). Suppose -y*z - i = -204, -3*z - 4*i = 84 - 279. Is z a multiple of 8?
False
Let f(n) = 2345*n**2 + 446*n + 1333. Is 100 a factor of f(-3)?
True
Suppose d - 4*g = 64, -6*d = -4*d + 3*g - 106. Does 3 divide (32/d - (-117)/(-21)) + 113?
True
Let f = 9682 + -2714. Is f a multiple of 83?
False
Let y = -4002 - -16050. Is y a multiple of 48?
True
Let r(h) = 4*h**2 - 8*h. Let a be r(2). Is (a + (5 - 1))*14 a multiple of 3?
False
Suppose -3*q = 3*h - 30, 6*h - 3*q = 11*h - 42. Is h/210*-7 + 926/5 a multiple of 18?
False
Let j(n) = -20*n**2 + 4 + 3*n**2 + 8*n**2 + 8*n**2 - 11*n. Let g be j(-11). Suppose 3*s - 245 = -g*f, 0*f - 370 = -5*s + f. Is s a multiple of 13?
False
Let w(q) = -q**2 - 11*q + 15. Suppose 2*m - 5 + 3 = 2*i, 0 = 5*i - 15. Suppose 3*f - 3*b + 30 = 0, 0 = 5*b - 1 - m. Does 7 divide w(f)?
False
Let w(y) be the first derivative of -10*y**2 - 15*y - 1. Let p(q) = -q**2 - 54*q - 336. Let l be p(-47). Is 27 a factor of w(l)?
False
Suppose 5*a + g = -4, 0*a - 4*a = -g - 4. Let j(y) = 27 + 20 - 2 + 0*y + 6*y. Is j(a) a multiple of 17?
False
Suppose -816964 + 169062 - 1772090 = -122*h. Does 18 divide h?
True
Let b = 549 + -546. Does 6 divide b*(137/3 + (34 - 36))?
False
Suppose 9 = 2*g - 1. Suppose -7*u + 5*u - 2706 = -g*z, -2694 = -5*z - 2*u. Suppose 5*h = z + 60. Does 10 divide h?
True
Suppose 5*x - 5560 = -5*y, 0 = -x - 17*y + 22*y + 1118. Is x a multiple of 5?
False
Is 9 a factor of ((-58175)/(-175) + 9)/(1/14)?
False
Let v(h) = 19*h**2 - 106*h - 1989. Is 8 a factor of v(-29)?
True
Let c(q) = -223*q + 3309. Is c(-34) a multiple of 65?
False
Let h(u) = -121*u - 56. Let s(b) = 81*b + 37. Let a(y) = -5*h(y) - 8*s(y). Let r be a(-10). Does 11 divide r/9 + 1*(2 - 4)?
True
Suppose -3*y = 37*o - 32*o - 4640, -2*o = -2*y - 1856. Let l = -397 + o. Does 9 divide l?
True
Suppose 2*b + 4*s - 5 = 9, 4*s = 4*b + 20. Let x(j) = -10*j**2 - 3*j + 4. Let n(w) = w**2 + w. Let g(i) = b*x(i) - 3*n(i). Does 12 divide g(4)?
True
Let z(y) = -y**3 - 2*y**2 - 2*y. Let d be z(-2). Let h be (d/(-6))/((-4)/18). Suppose 2*f - h*a - 64 = -a, -a + 88 = 3*f. Is 19 a factor of f?
False
Let y be -91*(11 - 14)*(-4)/3. Let s = 741 + y. Does 14 divide s?
False
Let m = 1500 - -8561. Is 22 a factor of m?
False
Suppose 7*w - 5*w + 2*n - 2678 = 0, 2*n = 3*w - 4022. Let m = -26 + 44. Suppose -13*d + m*d = w. Is d a multiple of 33?
False
Let z = 56812 + -28384. Is z a multiple of 276?
True
Let k(b) = 17*b**3 + b**2 - b - 7. Let x be k(-3). Let y be ((0 + x)/2)/(8 + -9). Let m = y - 124. Is m a multiple of 9?
False
Let z = -1 - -62. Let b = -1 - z. Let j = b + 109. Does 7 divide j?
False
Let g = 33 - -511. Suppose -n + 8 = -3*n, -5*w = n + g. Is 21 a factor of (-6 - -3)*1 - w?
True
Let f(g) be the third derivative of -g**4/24 + 3*g**3/2 + 31*g**2. Let q be f(-25). Is (q/6)/((-13)/(-351)) a multiple of 17?
True
Let v be (-4)/(-38) - 2229/57. Let a(p) = -2*p**3 - 76*p**2 + 74*p - 23. Is 2 a factor of a(v)?
False
Suppose 2*f = -4*m + 5238, -53*f + 55*f + m - 5247 = 0. Does 4 divide f?
False
Let g(u) = 29*u**2 + 33*u - 127. Does 10 divide g(4)?
False
Let c(i) = -3967*i - 713. Is 23 a factor of c(-5)?
False
Let l(j) be the second derivative of -4*j**3/3 - 85*j**2/2 - 50*j. Is 2 a factor of l(-23)?
False
Let l be 0/((-1)/1)*(-2)/(-4). Suppose 5*i + 5*x = -265, l = i - 0*i + 5*x + 41. Let c = i + 104. Is 16 a factor of c?
True
Let k be ((-45)/6)/(4/(32/6)). Let l = k + 54. Suppose -5*a + 3*q = -108, -2*a + l = -4*q + 2*q. Does 7 divide a?
True
Is 35 a factor of (4/(-15)*-1435)/(32/15 - 2)?
True
Suppose 93 = -9*h + 12. Let p(x) = x**3 + 9*x**2 - 31*x - 9. Is p(h) a multiple of 18?
True
Let s(x) = -304*x - 936. Is s(-22) a multiple of 15?
False
Let y = 509 - -2036. Does 11 divide y?
False
Let v(z) = 14*z + 8. Let f be v(7). Let o = f + 62. Is 21 a factor of o?
True
Let h be (-6)/5*20/(-8). Let b = 1332 + -880. Suppose -h*n + 8*n = -2*d + b, -d = -2*n + 188. Does 46 divide n?
True
Suppose 31*p + 3684 = 32*p - 5*k, -2*p + k = -7377. Is 17 a factor of p?
True
Suppose 7*v = 2*v - 12*v + 54349. Does 3 divide v?
False
Let r(m) = m**3 - 18*m**2 - 18*m - 16. Let t be r(19). Let f(b) = -b**3 + 6*b**2 - 2 - t*b**2 + 71*b + b**2 - 70*b. Does 4 divide f(3)?
False
Let k be (-108)/189 + -3*(-54)/14. Suppose -455 = -k*j + 6*j. Is 26 a factor of j?
False
Let j = -93 - -99. Suppose -o = j*o - 4116. Suppose 0 = 5*m + 5, -5*d + o = -m - 2*m. Does 13 divide d?
True
Suppose 3*k + 6 = 0, 5*k - 69 = -c + 2*k. Let v = -71 + c. Suppose x = -3*m + 106, -232 = -0*x - 2*x + v*m. Does 11 divide x?
False
Let i = -35 + -65. Is 16 a factor of (-40)/i - -1*(-1313)/(-5)?
False
Let w be (6 - 8/8)/(4/140). Is (4410/w)/((-1)/(-10)) a multiple of 28?
True
Suppose -3*l = 9, 4*f - 23 = 5*l - 0. Is ((-1154)/(-4) - 40/(-10))*f a multiple of 15?
True
Is 162 a factor of (-46 + 34)*34478/(-12) - 7/(-1)?
False
Let p = 106 + -106. Suppose p = -11*x + 892 + 76. Suppose -y + x = y. Is 44 a factor of y?
True
Let j = 56350 + -39829. Does 29 divide j?
False
Let h(g) = -9*g + 8. Let q be h(8). Let d = -62 - q. Suppose d*r + 3*j = 427, -j + 15 = 2*j. Is r a multiple of 39?
False
Let t be ((-4)/2)/(393/(-132) + 3). Let w(h) = -58*h - 12. Let j be w(-3). Let i = j + t. Is i a multiple of 8?
False
Let w be (-4 + -2)*(44/(-12) + 3). Suppose 183 = p + 4*r, 0 = w*p + 2*r - 1150 + 460. Is 3 a factor of p?
True
Let o(v) be the third derivative of -v**6/24 + v**5/15 + 3*v**4/4 - 2*v**3/3 + 166*v**2. Is 11 a factor of o(-4)?
True
Suppose -9*w + 140 = 527. Let r(h) = -7*h + 312. Does 38 divide r(w)?
False
Suppose -b - 12 = -274. Let g = -210 + b. Is g a multiple of 13?
True
Let i = -3102 - -5667. Suppose i = 2*r + 5*k, -3*r + 16*k = 13*k - 3879. Is 15 a factor of r?
True
Let x(n) = 1731 + n**2 + 7*n - 566 - 555 - 586 + 0*n**2. Suppose 38 + 2 = -4*u. Does 27 divide x(u)?
True
Let h(c) be the third derivative of -8*c + 19/6*c**3 + 4*c**2 + 0 + 1/3*c**4 + 13/60*c**5. Is 16 a factor of h(-3)?
True
Let i(g) be the second derivative of g**4/12 - 7*g**3/6 - 131*g**2/2 - 47*g. Is 4 a factor of i(-12)?
False
Let s be (-36)/(-27)*31/2*3. Suppose -n - 3 = 0, w + 5*n = s + 4. Is w a