+ 0*o + c*o = 11, -4*o = 3*d - 19 for d.
1
Suppose 809 = 5*k + 4*s + 811, 22 = 5*k - 4*s. Solve 91*v - 4 = 90*v, -k*i - 5*v + 18 = 0 for i.
-1
Let c = 6214 + -6214. Solve -12 = -2*v - 4*z, c = -5*z + 4*z + 1 for v.
4
Let s(q) = -5*q + 184. Let i be s(32). Solve 4*a + i = 5*n + 3, -2*n - 4*a = -14 for n.
5
Let n(d) = 6*d**2 - 1. Let h be (6/10 + 2/5)*1. Let u be n(h). Solve -4*v + 2*r - 5 = 5, 0 = v - 3*r - u for v.
-4
Let b = 1700 - 1696. Suppose 0*l - 3*l + 12 = 0. Suppose -5*r + 25 = -0*r + m, -8 = 3*r - l*m. Solve 2*w - r = -b*t, -w + 2 = 3*t - 0*w for t.
0
Let c = 62 + -60. Let r(q) = -8 - q**2 + 11*q - 8 + c - 4. Let b be r(9). Solve -i = -h - 2, b*h + 3*h + 6 = -i for i.
0
Let t be (5 + -3)*-2 - (0 - 31). Suppose t = -5*y + 14*y. Solve -j = -5*f - 5, -3*j - 3 = y*f - 0 for f.
-1
Suppose 13*n - 20*n = -196. Let b be 1*(-16)/24 - n/(-6). Solve -3*u + b = -2*k + 4*k, -3*u + 3*k + 9 = 0 for u.
2
Let w = 724 + -709. Solve -w*a - x + 17 = -12*a, 2*x + 6 = 4*a for a.
4
Suppose -3*u - 5*g = 20, 3*u - 5*g = 7*u + 15. Solve -u*d - 5*h = -7*d - 6, 3*d = 2*h + 2 for d.
2
Let j be (1 - -1) + -1 + 3. Suppose 5*n - 16 = 2*r + r, j*r + 2*n = 22. Let f be ((-2)/2 + r)*1. Solve 1 = -4*u + 2*k + 5, -u - f*k + 1 = 0 for u.
1
Let g(d) = 4*d + 1. Let s be g(-1). Let n be ((-12 - -6)*-4)/(s/(-2)). Suppose 0 = 18*x - n*x. Solve -p = -3*k - 12, x = -7*k + 2*k + 4*p - 27 for k.
-3
Let j(a) = a**3 + 25*a**2 + 74*a + 656. Let d be j(-23). Solve -4*s + 19 - 11 = 3*m, -3*m + d = 0 for s.
-1
Let y(b) = 122*b - 240. Let k be y(2). Solve -k*g = a - 19, -g + 2 = -a + 1 for a.
3
Suppose 5*c = i + 4*i - 25, -2*i = 5*c - 3. Let y(h) = 3 - 1 - h - i - h. Let u be y(-8). Solve -v + u = 4*k - 0, 4 = k for v.
-2
Suppose -8*c + 25 = -23. Let u be (-24)/(-280)*21 - 1/(-5). Solve -u*d - 3*q - 12 = -8*q, 4*d + 5*q - c = 0 for d.
-1
Let t = -22 + 32. Suppose -3*l = 0, 3*l = -3*f + t + 23. Suppose 10*n = f*n - 3. Solve 3*q + 9 = -n*w, 4*w = q + q + 6 for w.
0
Suppose 4*b + 35 = -45. Let i = b - -23. Solve a - 4*r = i - 9, -3*a - 5*r = 1 for a.
-2
Let b = 170 - 165. Solve b*v - 58 = q - 50, 0 = q + v + 2 for q.
-3
Let f(i) = -3*i + 5*i - i**2 + 15*i + 5 + 9. Let p be f(18). Let y be -2*(-12)/(3 + 0) + p. Solve 0 = -5*d + g - 14, 5*g = y*d - 2*d + 24 for d.
-2
Suppose 152*z = 134*z + 108. Solve 0 = 3*k + z + 6, 2*w + 4*k = -22 for w.
-3
Let v(d) = -10*d + 9. Let f be v(3). Let c be f/(-6) + 2 + (-2)/4. Solve 9 = 5*p + j + 30, -c*p + 5*j - 45 = 0 for p.
-5
Let o(p) = 36*p**2 + 274*p + 157. Let s be o(-7). Solve 27*h = 26*h + s, -15 = -4*j - 5*h for j.
0
Suppose -10*v - 7*v = v - 54. Solve 2*x = -v*h + 19, 7*x - 5*x = 5*h - 21 for x.
2
Suppose 0 = -3*r - r - 8. Let l be (56/8 - 8)*r. Solve -u - l = -q, -q - 3*u - 1 = 1 for q.
1
Suppose 13 + 23 = 4*r - 4*t, 0 = 5*r - 2*t - 42. Suppose -42*l = -38*l - 28*l + 672. Let n be (-40)/(-7)*l/r. Solve -n = -5*m - 4*w, -14 - 6 = -4*w for m.
0
Suppose -117 = -2*h - 105. Solve -2*i - 20 = 4*g, h*g - 9*g = -4*i + 4 for i.
-2
Let f(q) = 730*q + 5114. Let r be f(-7). Solve 0 = r*g + 3*t - 24, 4*t = 2*g - 3*g + 19 for g.
3
Let d(x) = 2*x**2 - 14*x + 3. Let v = 190 + -183. Let u be d(v). Solve 0 = -4*m - f + 1, -2 = -m + u*f - 5*f for m.
0
Let k be 12*6/9 + (-72)/12. Solve 2 = -3*w + 6*w + 2*v, 5*w = -k*v + 2 for w.
0
Let n be (-2 - (-20)/15)/((-4)/18). Let k(z) = -z**3 - 8*z**2 - 7*z. Let y be k(-7). Suppose -3*o - o = y. Solve 5*l = -d + 3*l, 3*l + n = o for d.
2
Let m(j) = 5*j**2 - 346*j - 271. Let f be m(70). Solve 3 = -t + 2*l, f*l - 18 = -t + 4*l for t.
3
Let i = -10 - 9. Let j = -11 - i. Suppose -5*f + f = -j. Solve g + 14 = 2*r, 2*r - 5 + 3 = -f*g for g.
-4
Let x = -15472 + 15475. Solve 0 = -2*l + 6*c - 3*c - 26, -x*c = 2*l - 22 for l.
-1
Suppose 22*x = 26*x - y - 18, 0 = 2*x + 3*y - 16. Solve -5*b = -x, 4*b = 3*u + 9*b + 13 for u.
-6
Let f be (0/(-1))/(-15*(-5)/75). Solve -2*i + 4 = -2*c - 8, f = -4*c - 2*i for c.
-2
Let s be 12/(-5)*(-65)/39. Solve 4*f - 68 = -5*i - 28, -1 = -s*i + 3*f for i.
4
Let s(n) = 2*n - 7. Let a be s(5). Let h(w) = w**3 + 82*w**2 - 225*w - 11784. Let o be h(-83). Solve -2*v + q - 5 = 0, -v = a*v + o*q + 6 for v.
-2
Let h = -5 - -7. Suppose -2*z + 16 = 5*y + z, 0 = -y + h*z - 2. Suppose -3*d - y + 8 = 0. Solve 0 = -0*p - 5*p - 5*g - 10, d*g = 3*p + 16 for p.
-4
Let b be 417/695*(-1 + (-46)/(-6)). Solve b*j + 9 = 2*c + 29, -6 = -2*j for c.
-4
Let h = 11223 + -11220. Solve -5*d = -10, 2*n = -h*d - 10 + 6 for n.
-5
Suppose 0 = 3*s + 5*u - 84, 166 = 3*u + 184. Solve -4*b = -2*y + 8 - s, 0 = -5*b - y + 20 for b.
5
Let g = -8 + 5. Let t be (-4)/(g - 1) + 49. Suppose 4*c = t - 14. Solve b + 6*m = 3*m + 17, -c = 3*b - 3*m for b.
2
Let v = 77 - 18. Solve 4*m - 3*w = -24, v*m + 3*w = 62*m + 21 for m.
-3
Let w(u) = u**2 - 54*u + 250. Let r be w(49). Let l be (r - (15 + -7))/(-3). Solve 0 = 4*x + c + l, 0 = -c - c - 10 for x.
1
Let d(v) = 6*v**2 + 14*v - 26. Let n be d(-6). Suppose 0 = 3*j + 4*q - 72, 3*j - n = q - 19. Solve 5*s + 4*p - 13 = 0, 5*s - 2*p - j = -p for s.
5
Let v(z) = z**2 + 21*z + 56. Let y be v(-18). Solve 4*f + 5*a - 16 = 0, 0 = f + 2*f - y*a + 11 for f.
-1
Let m(o) = -o**3 - 59*o**2 - 60*o - 83. Let q be m(-58). Solve 2*n = 4*c + 8, -4*c - q = -n - 21 for c.
-4
Suppose -20*f = -14*f + 330. Let j be 11/(f/(-30))*-15. Let t = j + 97. Solve -i - 13 = 4*x, t*x - 4*i = 3*x - 8 for x.
-3
Suppose -g - 3*c + 52 + 44 = 0, g + c = 94. Suppose r - 96 = -g. Solve r*n = p + 5 + 10, 5*n = p + 23 for p.
-3
Let w = 2126 + -2122. Solve 0 = w*v - u + 28 - 8, -3*u - 10 = 2*v for v.
-5
Let o be -81*((-80)/12 - -6). Suppose 2*t - 26 = 76. Let u = o - t. Solve -r = 3*h + 7, r = u*r + 4*h + 12 for r.
-4
Let d = -41 + 45. Let t(i) = 3*i**3 - 4*i**2 - 7*i - 9. Let n be t(d). Let c = n + -87. Solve -4*l + 28 = 4*z, c*z + 3*l = -0*z + 26 for z.
5
Let q(n) = -295*n - 3243. Let r be q(-11). Solve 2*o = -5*x - 12 - r, 3*x + 8 = -o for x.
-2
Let r be (0 - -1) + (1 - 3). Let m be 1*0/(3/(6 - 3)). Let d be m*(12/(-6) + (-3)/r). Solve d = -4*a + 3*i - 0*i - 10, 0 = 3*a - 4*i + 11 for a.
-1
Let i = 3 - 3. Let h(y) = y**3 - 9*y**2 + 8*y + 3. Suppose -11*f + 3*f + 64 = 0. Let q be h(f). Solve 4*m = -q*b - 4, i = 2*m + b + 2*b - 4 for m.
-4
Let i(w) = -w**3 - 10*w**2 - 34*w - 30. Let s be i(-4). Solve -4*m = -m, 2*h = m - s for h.
-5
Let w(m) = 2*m**2 + 15*m + 10. Let t be w(-7). Suppose 0*y - t*y + 66 = -3*h, 4*h = -2*y + 50. Solve 0 = 4*k - 3*q + y, 3*q + 6 = -k + 4*q for k.
-5
Let w be (-9)/(2 + -2 + 2 + -1). Let z be 39*22/9 - 6/w. Suppose -15*b = -11*b - z. Solve 3*a = 3*s - 2*a - b, 4*s + 2*a = 6 for s.
3
Let p(s) = 8*s**2 - 184*s + 5. Let d be p(23). Solve 0 = d*g - 5*u, 3*u = 6 - 3 for g.
1
Let x be 1 - (1 + -1 + -1). Let g(z) = z**2 - 22*z + 113. Let f be g(8). Let y(l) = 39*l - 34. Let m be y(f). Solve -6 = q + m*r + 5, -x*q + r = 0 for q.
-1
Suppose -5*v + 9 = 4*n, 3*v + 1 = 53*n - 57*n. Solve -5*z = 5*u - 4*z + 15, 0 = v*z for u.
-3
Suppose -3*q - 2*q = -20. Suppose 2*x - 9*x = 9*x. Suppose 0 = -5*f + 3*z + 8, 0 = 4*f - x*z + 5*z + 1. Solve -4 = -r - 4*r - j, 3*r = -q*j - f for r.
1
Let g(z) = -z**3 - 8*z**2 - 6*z + 1. Let y be g(-7). Let v be 2/((y/9)/(-1)). Let c = v + 2. Solve -i + 2*t = 2*i + 5, 3*i + c*t = 23 for i.
1
Let w(o) = -3*o**2 - 38*o - 21. Let l be w(-12). Solve 0*f - l*f + s - 4 = 0, 26 = -2*f - 4*s for f.
-3
Let f(c) be the second derivative of c**5/10 + c**4/4 - 2*c**3/3 - c**2/2 - 5*c - 1. Let h be f(-2). Solve 5 + 10 = 3*x + t, 0 = 2*x - h*t + 1 for x.
4
Let s(z) = 37*z + 37*z - 55 - 77*z. Let x be s(-20). Suppose -2*t + p + 42 = 8, -3*t = 5*p - 77. Solve 0*k + x = -2*f + 5*k, -t = -2*f - 3*k for f.
5
Let g(d) = d - 3. Suppose -3*h + 22 = -2*m, -h + 3*m + 2 = -3. Let x be g(h). Suppose 10*p = x*p + 90. Solve -2*i + 7 = 4*a - 3*a, 2*a - p = -5*i for a.
-1
Let b = -168 + 177. Suppose 36*m - 33*m = b. Solve 4*c + 2*t + 12 = -0, 4*t = -m*c - 9 for c.
-3
Suppose 2*i + z - 11 = -0*z, 3*z - 3 = 0. Let l(u) = u**3 + 5*u**2 - u + 5. Let v be l(-5). Solve 0*m = -i*h + 5*m - v, -5*h - 2*m = 31 for h.
-5
Let p(v) = -2*v**2 - 23*v + 4. Let l be p(0). Let n be 8*2/l - 2/(-2). Solve 2*r = -5*o + 15, -4*r - 9 = -n*o + 6 for o.
3
Suppose 0 = -18*c - 3852 - 6642. Let z = 586 + c. Solve 3*k - 9 = 5*d, -z*k + 5 = -3*d - k for d.
-3
Let