Let t be -1*(20/b - (2 + 4)). Solve -2*g - 2*a = -4, -t = -0*g - g - 3*a for g.
-1
Let x be ((-10)/12)/((-145)/87)*(-23 - -23). Solve x = -h - 15*f + 17*f + 1, 3*f = 0 for h.
1
Let f(q) = -q**3 - q**2 + 13*q - 3. Let c be f(-5). Let x = c + -27. Solve -4*r + 5*a + 13 = 0, -x*r + 11 = -3*a + 2*a for r.
2
Let u = 85 + -77. Suppose -4*x = y - u, 2*y - 2 = 5*x - 12. Solve 0*l - 5*f = -l, -x*f = 4*l + 22 for l.
-5
Let o = 256 + -529. Let w = o - -273. Solve w = 2*g - 4*f - 16, -5*g + 3*g = 4*f for g.
4
Let a(r) be the first derivative of -r**4/4 + 5*r**3/3 - r**2 - 4*r + 56. Let m be a(4). Solve -4*v + x = -3*v - 9, 3*v + 8 = -m*x for v.
4
Let t(l) = -l**2 - 46*l - 202. Let j be t(-5). Solve 0 = j*q - 3*v - 21 - 3, -2 = 2*q + 4*v for q.
5
Suppose -76*v + 258 = 64*v - 11*v. Solve -r + 3*r + 8 = -2*u, 0 = v*u + 6 for r.
-1
Let a be 1862/154 + (-12)/132. Solve 4*f - a = -5*t - 33, 0 = 4*t + 2*f + 18 for t.
-5
Let n be (3 + (-20)/(-12))*(-126)/(-49). Suppose -3*k + o + n = 2*k, -2*k = -2*o - 8. Solve -2*p - k = -p + h, -10 = 2*p + 5*h for p.
0
Let c = 3705 + -3678. Solve 3*k = 3*u - c, 4*u + 19 = -k + 7*u for k.
-4
Suppose 0 = -a - 4*g + 14, 2*a - 20 = a - 6*g. Solve -a*y + 8 = 3*p + 26, -2*p - 8 = 0 for y.
-3
Suppose -2*w = 5*g - 318, -27 + 23 = 4*w. Solve 2*r + 62 - g = -5*m, -5*m = 4*r + 6 for m.
2
Let c(f) = -f**3 + 12*f**2 + 86*f - 1055. Let l be c(10). Solve r - l*m - 7 = 0, 3*r - 6*m + 3 = -3*m for r.
-3
Let y = -31299 - -31427. Solve 3*l - 3*d = -15, -3*l - 131*d + y*d + 15 = 0 for l.
0
Suppose 10*o = 2*o + 120. Suppose -5*s + y + o = -2*y, -4*s - 4*y = 20. Suppose s = 6*i - 11*i + 30. Solve -3*j = -5*t + 17, 0 = -i*j + j + 3*t - 23 for j.
-4
Let f(x) be the third derivative of 0*x - 1/24*x**4 - 1/6*x**3 + 12*x**2 + 0. Let n be f(-3). Solve 0 = -r - n*v - 2, -2*r - 4 = v + 3 for r.
-4
Let g(q) be the first derivative of -2*q**2 + 16*q + 169. Let r be g(3). Solve 0 = 5*p - r - 6, 7 = 5*z - 4*p for z.
3
Let x = -57 + 59. Let a = 4962 - 4947. Solve 0 = -5*n + x*d + 6, 5*n = -3*d + 8*d + a for n.
0
Let l(i) = -i**2 + 9*i + 31. Let s be l(-3). Let u be 4 - (0 - -2)/(s - -4). Solve 5*y + 20 = u*d - d, 4*y = 4 for d.
5
Suppose 0 = -3*f - 12, 21*y - 22*y + 3*f = -14. Suppose 3 = -s + 6. Solve -y*b + 7 = 2*b - s*o, 3*b - 3*o = 6 for b.
1
Suppose 0 = 31*d - 36*d - 30. Let h be 0*3/6*2/d. Solve h = 4*k + 3*i + 5, -5*i = -k - 3*i - 4 for k.
-2
Let i(m) = m**3 + 14*m**2 + 8*m - 53. Let b be i(-13). Solve 4 = 5*z + 3*w, -2*w + 0*w = -4*z + b for z.
2
Suppose -74*z + 4 = 2*j - 72*z, 4*j - 4*z + 8 = 0. Let m(b) = -7*b - 14. Let u be m(-5). Solve -10 = 5*x - 5*p, x + 4*p + 3 - u = j for x.
2
Suppose -138 - 72 = -42*b. Suppose 3*m + b*i = 29, -m + i - 7 = -2*m. Solve 16 = s - 5*s, -2*s - m = -5*n for n.
-1
Let y be ((5 + 0)*(-2)/(-6))/((-61)/(-732)). Solve 0 = 4*p + 16, 0*j - 4*j - y = 4*p for j.
-1
Let b be -1*(-50)/((-25)/5). Let j be (-2 + -3 - -6)*(1 - b). Let q be j + -9 + 4 + -2 + 0. Solve -3*p - 14 = -q*g, p = g - p - 6 for g.
2
Let s(o) be the first derivative of 5*o + 8 - 1/2*o**2. Let p be s(1). Solve -2*h = g - 6*h, -g - p*h - 8 = 0 for g.
-4
Suppose 0 = 3*y + 4*g - 36, 40 = 142*y - 138*y + 4*g. Solve -q + 0 = -s - 1, 0 = y*q for s.
-1
Suppose -7*z - 12 = -11*z - 2*k, -z + 3*k = 4. Suppose 0 = 2*o + h - 11, o - z*h = 3*h. Let l = -5 + 7. Solve -o*v + 2*u = 14, 0 = -v + 4*v + l*u + 2 for v.
-2
Let u(v) = -3*v**3 + 31*v**2 - 7*v - 30. Let k be u(10). Solve k = 10*j - 11*j - 5*z + 21, -4*j - 4*z + 20 = 0 for j.
1
Let o be (-9)/(-6) - 21/14. Solve 5*y + o*u = 2*u - 9, u - 7 = 5*y for y.
-1
Let x(i) = -4*i - 10. Let k be x(-3). Let a be k/4*2*(-4 - -9). Solve -2*b - 4*s + 0*s = 0, 0 = -a*s - 5 for b.
2
Let y be 1/(-12) - 980/(-240). Solve -y*w - 3 = -3*i, -6*i + 4*w = -10*i + 4 for i.
1
Let m(l) = 3*l**3 + 60*l**2 - 10*l - 184. Let h be m(-20). Solve -18*x = -3*j - h*x + 13, j - 1 = 4*x for j.
5
Let i(b) = b**2 - 2. Let z be i(2). Let u(c) = 33 + 7*c + 233 + 5*c + 42 + 120. Let a be u(-35). Solve w - a = 4*p, z*p - w + 4 = 2*w for p.
-2
Let r = -20072 - -20086. Solve d - 4*y = -r, 0*y + 4*y = -5*d + 26 for d.
2
Suppose 6*k + 49 + 29 = 0. Let l = k + 137. Let p = -119 + l. Solve -6 = -3*v - 3*i, -3*v = p*i - 7 - 1 for v.
1
Let o = 494 - 264. Let h be 1/(4/(-7) - o/(-280)). Solve 0 = -d - 2*w + 3*w + h, -16 = -4*d - w for d.
4
Let n(z) = -4*z**3 - 25*z**2 - 11*z - 16. Let s be n(-6). Solve 5*o - 12 = g, -4*g = 2 - s for o.
3
Let g be 30 + (114/(-27) - 2/(-9)). Suppose -4*f + 37 = 5*x, -3*x - x + g = 2*f. Solve 4 = -2*j - b, -j + f*j - 2*b - 8 = 0 for j.
0
Let x(h) = h - 4. Let b be x(-3). Let t = 11 + b. Let i = -14481 + 14485. Solve -i*s - 4 = 4*o + 12, -o = t*s + 7 for s.
-1
Let h = -272 - -70. Let b = h + 204. Solve 0 = -4*s + 4*l - 32, s + b*s + 2*l = -9 for s.
-5
Suppose 0 = -2*v - v + 33. Let i(c) = -14*c**2 + 16*c + 14 + 2*c**2 - 12*c + 6*c + c**3. Let g be i(v). Solve 2*p = -g*x + 2, p + 2*x = 2*p + 6 for p.
-2
Let b be (-3)/9*0 + 3. Suppose 0 = v + b*v - 24. Let c(s) = s - 6. Let z be c(9). Solve -2*x + x = -2*u - 5, -u - v = z*x for u.
-3
Suppose -5*o = 5*b - 1035, -2*b - 641 = -9*o + 6*o. Let y = -207 + o. Solve u - y*u = -3*z, 3*u + 3*z - 12 = 0 for u.
2
Suppose 0 = -o + 5*x + 53, 0 = 2*o + 5*x + 63 - 49. Solve 0 = 5*s + 5*t - 20, -4*s - 19*t = -18*t - o for s.
3
Let n = -18326 - -18328. Solve 5*f - 3*s = -0*s, -n*f - 7*s = 0 for f.
0
Let j = 29 - 29. Let v be ((-12)/14)/((-2)/(j - -14)). Let a(b) = -b**2 + 4*b + 2. Let k be a(3). Solve 5*m = k*o - 5, -5*m + o = -3*m + v for m.
-5
Let u = 404 + 140. Let b = u + -541. Solve 2*x - 1 = -b*s, 2*x + 2*s = 3*x + 3 for x.
-1
Suppose 3*k + 6 = k, -2*u + 15 = -5*k. Suppose u = r - 17 - 33. Suppose -r = -6*x + 40. Solve 0 = 5*g - 2*t - 2*t + x, -4*g - 2*t - 12 = 0 for g.
-3
Suppose -672 = -5*d - 202. Let q = -92 + d. Solve -5*u + 21 = -2*x, q*u = 3*x + 2*x for x.
2
Suppose 5*g = u + 26, 0*g - 3*u = 4*g - 17. Suppose -k = -s + g, -8 - 4 = -2*s + 3*k. Solve -p - 1 = 0, -s*d = -d - p + 3 for d.
-2
Suppose -15*y = -5*y + 31*y - 410. Solve y*r - 16 = 4*n + 6*r, -3*r = 0 for n.
-4
Let i be 3/(10/45 + (-10)/18). Let f be 12/42 - i/(-7) - -3. Suppose -5*x + 12 = f. Solve x*d + 10 = -4*c, c - 10 = 4*d + 4*c for d.
-1
Let a = 4268 - 4265. Solve 5 = 3*t + 17, a*t = -4*b - 28 for b.
-4
Suppose -2*i = 2*i. Suppose 21*h - 5*h - 7312 = 0. Let a = -452 + h. Solve -s + 2 = -2*s - x, x + a = i for s.
3
Let s(y) = y**2 - 19*y + 22. Let g be s(18). Suppose 0 = -22*b + 24*b - 8. Solve 6 = -b*x + 2*i, x - 6 + 3 = -g*i for x.
-1
Let c be (-29 - (-11 - 10))*2/(24/(-57)). Solve 2*h - 9 = 5*o, -o + 11 = -c*h + 36*h for h.
-8
Let l be ((-1)/2)/((-1)/66). Suppose 5*r - 28 = -3*z, 2*r - 4*z - 3 - 3 = 0. Let u(f) = 8*f - 21. Let t be u(r). Solve t = k - 0*c + 3*c, 2*k - l = -5*c for k.
4
Let f = -23102 - -23105. Solve 0 = -f*c - 15, -w + 153 = 3*c + 167 for w.
1
Suppose 9*d = -5 + 185. Suppose -4*w - 4*t = 16, -3*w - 2*w - d = -4*t. Let s be (w + 12/3)/(-1). Solve -2*x + 2*b = -12, 4*b = -s*x - x - 19 for x.
1
Suppose -119 = -9*s + 2*s. Let u be (-2)/s - (-1980)/935. Solve 0 = u*c - 5*t - 2 + 10, -2*t = -4*c - 16 for c.
-4
Let a(j) be the first derivative of 2*j**3/3 + j**2/2 + 1. Let v be a(1). Let o be 26 - (605/(-5))/(-11). Solve 4*b - g - 20 = -0*g, -o = -v*b + 2*g for b.
5
Suppose -68 = -28*w + 72. Solve -a + 8 = w*i, i - 4*a - 10 = -0*a for i.
2
Suppose 5*m + 2 = 11*l - 7*l, -3 = -l. Solve 7*v - 4*f + 11 = 6*v, v - m*f + 5 = 0 for v.
1
Let p(t) = t**2 - 2*t + 1222. Let w be p(0). Suppose -w = -4*y - 422. Let d be 30/(-4)*y/(-75). Solve -5*z = -5*n - 40, -2*z = -5*n - d - 5 for z.
5
Suppose -3*d + 274 = n + 3*n, 3*n - 2*d - 214 = 0. Let v be (-4)/(-5) + 84/n. Solve 19 = -3*g + v*u, 4*g - 3*u + 4*u = -18 for g.
-5
Suppose 5*a = -i + 24, 3*a + 2*i - 16 = a. Let j be ((-174)/a)/(30/(-80)). Let u = -113 + j. Solve d + 5*o - 20 = 0, 0*d - u*o = 4*d - 12 for d.
0
Let u be (54/(-30))/(2/10). Let x = u - -21. Let i = x + 0. Solve -5*k + 3*t = -t + i, -4*t = 3*k - 12 for k.
0
Let x(u) = -3*u**3 + 46*u**2 - 86*u - 3. Let j be x(13). Solve 61*y + 3 = n + j*y, 5*y = n - 27 for n.
7
Let u = 3532 + -3529. Solve -u*d + 3*r = -9, 2*d - 6*d - r = 13 for d.
-2
Suppose -193*c = -200*c. Let w = -376 + 388. Solve -f - 4 = g, -2*f - 4*g - w = -c*g