 25, u = 4*v - l + 5 for v.
0
Let r(h) = -h + 13. Let m be r(11). Suppose -2*x = -w + 6, -2*x - 6 = -m*w - 2*w. Suppose 10*f - 91 - 159 = 0. Solve w = d - 1 - 4, -c + 4*d - f = 0 for c.
-5
Let l = 1569 + -1567. Solve -8 = -4*h - 2*c, 0 = -2*h - 3*c + l + 14 for h.
-1
Let j be 19 - -14 - (36 + -17). Solve 5*h = 5*q, 0 = h + j*q - 12*q - 12 for h.
4
Let x = 11449 - 11428. Solve -3*z + 4*g - x = 0, 377*g - 378*g - 6 = 3*z for z.
-3
Suppose y = 3*p - 12, -y + 36 = 2*p + 28. Solve -p*c + 20 = 0, 53*c - 25 = -5*j + 50*c for j.
2
Let c(p) = 8*p**2 - 10*p - 49. Let n(l) = -23*l**2 + 28*l + 145. Let d(k) = 17*c(k) + 6*n(k). Let q be d(0). Solve 0 = i - 4*s - 15, -i = 4*s + q - 12 for i.
-5
Let t(f) = -1114*f - 4453. Let p be t(-4). Solve -2*x + 7 = p*d, 4*d + x - 6*x = -6 for d.
1
Let a(g) = 18*g**3 + g**2 - 11*g + 10. Let k be a(1). Solve -2*n - 3*d - k = 2*n, 4*n - 3*d + 6 = 0 for n.
-3
Let u be 4/(-12) + (-484)/(-66). Suppose -2*f + 4*s + 18 = 0, -5*f + u*f - s = 12. Solve -3*o - 16 = 3*k - 2*o, -f*o = -k + 16 for k.
-4
Let u be -1 + -2 - ((-893)/285 + 4/30). Solve 3*j - 5*r - 26 = u, -25 + 9 = 4*r for j.
2
Let a(l) = -5*l + 93. Let m be a(18). Suppose 2*s + m*v - 10 = 0, 3*s = s + 4*v - 4. Solve 3 = -5*j + 4*y - 23, 5*y - 24 = s*j for j.
-2
Let o(y) be the second derivative of -4*y**3/3 + 45*y**2/2 - 30*y. Let r be o(5). Solve 12 = -2*l - l, -2*j + r*l = -28 for j.
4
Suppose 0 = 11*f + 37 - 81. Suppose 0 = -2*x - f, -6*p + 10*p - 24 = 4*x. Solve 0*l + 4*l + 8 = -p*b, 3*b = 2*l - 16 for b.
-4
Let m(g) = 20*g - 138. Let j be m(7). Solve 0 = 2*w - 4*r + 2, -j*w + 0 = -2*r + 2 for w.
-1
Suppose 2*x - 6 - 4 = 0. Suppose -2*r + 2 = 0, -4*r - r - x = -5*d. Let a be (15/9 - d)/(5/(-60)). Solve -2*b + 3*y + 3 = -0, 4 = a*y for b.
3
Suppose 7*c - 45 = -17. Let n be (-10)/c*(-32)/10. Solve 2*u = -4*i + 5*u - 28, 5*i + 3*u = -n for i.
-4
Let f = -125 - -169. Let c = 44 - f. Solve 3*w = -3*j - 9, -5*w - 2*j = -c*j + 9 for w.
-1
Let p(m) = m + 2. Let h be p(0). Let d = -98382 + 98388. Solve -3*c + 2*c + 15 = -4*x, -2*c = -h*x - d for c.
-1
Suppose -s = 3*s + 16. Let q = 4 + s. Let x = -2896 + 2900. Solve -21 = -4*v + d, q*d - 5*d = x*v + 9 for v.
4
Let r be 34 + 49/((-784)/(-192)). Solve -3*x + 8 = -r*m + 45*m, 3*x = 3*m for x.
4
Suppose 0 = 81*g - 4094 + 3608. Solve 2*x + g = -4*n, -100*n - 4*x = -96*n + 4 for n.
-2
Let c be 4 + -2 + (7 - 0). Let s = 563 + -551. Let a = s - c. Solve 2*h - a*x = -2, -5*h + x + 12 = 2*x for h.
2
Let j(k) = -k**3 + 36*k**2 - 321*k + 23. Let n be j(16). Solve g - n = -35*z + 31*z, 0 = -g - 5*z + 9 for g.
-1
Suppose -3*p = 30 + 12. Let l(d) = -d**2 - 17*d - 31. Let z be l(p). Suppose z*j - j - 30 = 0. Solve -2*f + 3*x + 8 = -j*f, 5*x = 5*f for f.
-2
Let t be 11/2 - (-1)/(-2). Let q be ((-27)/(-81))/(2/(-30)). Let d be 11*(-3 - q - 1) + 3. Solve t*v + d = -4*h, -4*v = -h - 5*v - 3 for h.
-1
Suppose 0 = 5*u + 3*l, -5*u + 3*l = -82 + 52. Solve t + 10*y = 12*y - 11, -15 = -u*y for t.
-1
Suppose -4 = 2*p - 14. Let g be 17/(-51) - (-13)/3. Suppose 0 = -15*w + 13*w + g. Solve 4*l = 5*s - w*s - 14, p*s - 4 = -3*l for l.
-2
Suppose 3*c - 462 = -6*z + 3*z, 5*z = 4*c - 616. Let f = -149 + c. Solve 0 = -5*x + 4*b - 0*b + 5, 4*x + f*b - 45 = 0 for x.
5
Let s(x) = -48*x + 14. Let j be s(-4). Let v = 209 - j. Solve -v*w - 12 = 0, -2*w - 13 = 4*y + y for y.
-1
Suppose 7*n - 172 = -137. Solve 2*a = -5*c + 6, c = 4*c - n*a + 15 for c.
0
Suppose -4*l - 12 + 18 = -s, 0 = -s + 2*l - 2. Solve 0 = 5*m + s*k + 1 - 3, 3*k = -12 for m.
2
Let i be 20/6 - -1 - (-11620)/17430. Let h(u) = u**3 + 4*u**2 + 3*u. Let v be h(-2). Solve 0 = -v*q + 4*x - 24, i*q - x + 25 = 2*x for q.
-2
Let i = -121 + 119. Let o be i/(1 - (-63)/(-57)). Let s = 75 - 70. Solve -s*f + 3*z = -o, z = -f + 2*f - 3 for f.
5
Suppose -5*t - 45 = -5*w + 85, -9 = -3*t. Solve 31*f - w*f + 3*r = 21, -2*f - 4*r + 24 = 0 for f.
6
Let a(g) = 9*g + 118. Let w be a(13). Let c = -232 + w. Solve -t + 0*v + 5*v + 15 = 0, -c*t - 2*v = 6 for t.
0
Let z(c) = -5*c - 81. Let l = 336 + -353. Let q be z(l). Solve 4*a - 5*s = -16, 0 = q*a - 2*a - 5*s + 8 for a.
-4
Let u(p) = -p**3 + 33*p**2 - 258*p - 20. Let k be u(13). Solve 4*f + 5*o = -k, -41 = 2*o - 37 for f.
1
Let f = -22 - -10. Let u be ((-33)/4)/((-3)/f). Let w = u - -39. Solve -4*o = -2*l - 0*l - 22, -3*o - 3*l = w for o.
3
Let g = -13 + 6. Let d(m) = m**3 + 7*m**2 - 3*m - 17. Let h be d(g). Let x(k) = k**2 + k + 9. Let l be x(4). Solve -u - 2*w = 10, -2*u + h*w + l = 9 for u.
0
Let g = -69 - -163. Let z be 1/(-8)*-1 - 16214/176. Let a = g + z. Solve l = 3*l + 2*s - 4, 0 = a*s - 2 for l.
1
Suppose 2*u - u = -6*u. Let n be 6/(u - 6)*-4. Solve y = -2*x + n*x + 1, -4*x - 5*y = 37 for x.
-3
Let y be 20 + (367 - 15)/(-22). Solve y*k = 8, -27*x = -25*x + 2*k - 10 for x.
3
Let f(j) be the first derivative of -j**4/4 + 2*j**3 + 15*j**2/2 + 11*j + 53. Let r be f(8). Solve 2*z - 8 = 4*z - 2*c, 0 = 2*z + r*c - 2 for z.
-2
Suppose 6*c - p - 81 = 0, p + 99 = 5*c + 32. Solve -160*r - c = -162*r - 4*o, -18 = -3*r - 3*o for r.
5
Let t = 2568 + -2565. Solve 0 = -3*g + t, g = -2*k + 6*g - 15 for k.
-5
Suppose -35*i - 62*i = -194. Solve 5*n - 3*n = -4*r - 22, -n + r - i = 0 for n.
-5
Let t = 13792 - 13757. Suppose 4*u - 60 = 3*y - 7*y, -u + 3*y - 1 = 0. Let b = u - 8. Solve -3*k = -b*f - 30, -k + t = -4*f + 2*k for f.
-5
Let q(j) = 10*j**3. Let p be q(1). Suppose 4*o - 60 = p*o. Let h be ((-2)/(-5))/(o/(-250)). Solve 2*z + z = -4*c - h, -3*z - 2*c = 2 for z.
2
Suppose z + 4*z - 2214*k - 60 = -2218*k, 0 = -4*k. Solve 4 = 4*a + 3*d, -3*d - z + 22 = a for a.
-2
Let q(r) = 5*r + 108 + 61 - 39. Let v be q(-24). Solve 2*b + 2*n + v = 0, 2*b + 3*n + 2*n + 13 = 0 for b.
-4
Let h(z) = -24*z - 511. Let x be h(-22). Solve -3*l = -b - 4*b + x, -4*b = l - 17 for l.
1
Let r = 5691 - 5686. Solve -5*b - 10 = -r*f, -f + 0*f = -3*b for f.
3
Let h(x) = 23*x + 503. Let m be h(-21). Solve -m = -4*i + u, -22 + 2 = 5*u for i.
4
Let g(m) = -m**3 + 10*m**2 - 20*m - 22. Let r be g(6). Let x be r/(-3)*-6*6/24. Solve 4*s - p = -21, -4*s = -3*s + 4*p + x for s.
-5
Suppose -1 = y - 4. Let z be 12*1 + (-5 - (-3)/1). Let q(r) = r**3 - 10*r**2 + 5. Let s be q(z). Solve y*c - 3 = -3*d, d + 6*c - s = c for d.
0
Suppose 7*w + 11 = -3*n + 2*w, 0 = 5*n + w - 11. Suppose 4*b + 5 = 4*s + 3*b, -5*s - b = 5. Solve s = p - n*o - 18, 0*p - 5*p + 4*o + 35 = 0 for p.
3
Let g = 5188 - 5183. Solve 5*z + g*f - 28 = 8*f, -2*f + 3 = z for z.
5
Let v be (-9)/5*(-2)/(102/85). Solve -u + 5*u + 13 = -5*r, -3*r - 24 = -v*u for u.
3
Let j be 84/18*(1584/(-14))/(-4). Let w be (-140)/(-44) - 24/j. Solve 0 = w*i + 2*i + l + 2, -4*i + 3*l + 6 = 0 for i.
0
Let x(s) = -2*s**3 + 44*s**2 - 33*s - 137. Let f be x(21). Solve -2*w + u = 4, 0 = -57*u + f*u - 10 for w.
-3
Suppose 18*w = -1285 + 1465. Solve -4*m - i + 2 = 0, 2*m - 4*i - w = -0*m for m.
1
Let a be -1*4/(-16) - 19/(988/1053). Let h(w) = 3*w. Let g be h(-1). Let u be (g/6)/(2/a*1). Solve -3*v + 12 = 0, 2*v + 9 = -u*o - 2*v for o.
-5
Let l be (49 + 3 + 4)/1. Suppose 0 = 62*a - l*a - 12. Solve -a*i + p = -0*p + 8, 0 = -i - 5*p + 7 for i.
-3
Let k be 30/405 - 3/(-81)*106. Solve 2*a = -2*r - k, 2*a = -60*r + 65*r - 18 for r.
2
Let d(j) = -84 - 38 + 699*j**3 + 3 + 4*j + 32*j**2 - 700*j**3. Let s be d(32). Solve -4*w + n = -1, 2*n + 0*n = w - s for w.
-1
Suppose 6 = s - 5*k, 8*k - 6*k + 42 = -4*s. Let m(b) = -8*b + b**2 - 1 + 14 - 2*b**2. Let o be m(s). Solve o*v - 25 = -3*t, 3*t = 5*v + 5*t - 26 for v.
4
Suppose -5*h = 3*f - 0*h + 5, 2*f + 5*h = -5. Let v be (3 - (6 + f/2)) + -24. Let x = -2 - v. Solve -l + 15 = -3*c + 2*l, x = 4*c + 5*l for c.
0
Let a(u) = 90*u**2 + 6. Let y be a(0). Solve -5*g - 3*s - 10 = -y*g, 2*s = -4*g - 2 for g.
1
Suppose 5*p = 3*r - 23, 3*p + 10 = -r - 1. Let j(c) = -2*c - 6. Let f = -10 - -5. Let q be j(f). Solve 24 = -3*m + 5*l, 2 + r = q*m + 5*l for m.
-3
Let s(j) = -29*j**3 - j**2 + 22*j - 21. Let i be s(1). Let a(p) = -11*p - 303. Let t be a(i). Solve 0 = f + 3*m + 13, -t = -f + 4*m - 1 for f.
-1
Suppose 3*c - 5*m + 15 = 0, -25 = -c - 5*m - 10. Solve 5*u + 4*i + 9 = -c*u, 0 = -2*u - 2*i - 4 for u.
-1
Let n = -2484 + 2499. Let y(q) = -2*q + 8. Let o be y(-7). Suppose -u - 4*m + o = 2*u, -6 = 3*m. Solve 2*x = 4*f - u, 5*f - n + 3 = 2*x for x.
-1
Suppose