). Let h = -8 + t. Solve h*u + 2*u + 25 = 0 for u.
-5
Let u be (-24)/(-2) - (-5 + 5). Let m be (-8 - -2)/(-3 + 1). Solve 3 = m*f + u for f.
-3
Let p(q) = q**3 - 5*q**2 + 2*q - 6. Let n be p(5). Let r = -22 - -7. Let a be (n/5)/((-6)/r). Solve -5*j - 3 = -a*j for j.
-1
Let r(b) = -2*b**2 - 10*b + 5. Let c be r(-5). Suppose -4 = 2*a - 6*a. Solve -21 = c*g - a for g.
-4
Let d = -1 + 0. Let m be ((-3)/(-9))/(d/(-6)). Suppose -m = 4*g - 10. Solve 2*p + 4 - g = 0 for p.
-1
Let f(u) = u - 5. Let a be f(3). Let b be (a/8)/(1/(-4)). Solve 0 = 3*k + b + 2 for k.
-1
Let v(b) = -b**2 + 4*b + 4. Let a be v(5). Let m be 1 - a*(0 + 3). Solve -m*y + 0*y + 4 = 0 for y.
1
Let j(h) be the first derivative of 1/4*h**4 - 2 + 0*h**2 + 0*h**3 + h. Let r be j(0). Solve -r + 16 = -5*w for w.
-3
Let g be 3 + -3 - (0 + 19). Let k be g/57 - (-26)/6. Solve k*q = -2 - 10 for q.
-3
Let w = 6 + -4. Let h be 2 - (-2 + 2)/w. Suppose -5*s = h*k - 20, 3*s = 3*k + 7*s - 30. Solve -5*x - k = 15 for x.
-5
Suppose 2*n = n + 12. Solve 4*d - 8 = n for d.
5
Let o be (0 - 1)/((-1)/10). Let c be 42/10 + (-2)/o. Suppose 0 = -c*y - 4 + 8. Solve y = 5*l + 26 for l.
-5
Let u(t) = -t + 11. Let h be u(8). Suppose 0 = 3*p + 6, 4*c + h = -3*p - 3. Solve c*w = w + 4 for w.
-4
Suppose -5*p = -5*v - 55, 3*p + 51 - 4 = -5*v. Let h be (-301)/(-35) + (-4)/v. Solve -4*y = -h*y for y.
0
Suppose -2*k - 6 = 2. Let q = k - -8. Let f = -2 + 2. Solve q*w + f*w = 8 for w.
2
Let y = -4 - -7. Suppose -4 = -2*r + y*r. Let a be r/(-6) + 7/3. Solve 0 = -2*c + a - 1 for c.
1
Suppose 0 = 4*d + 33 - 9. Let b be (d - -6)/(1 - -1). Solve b = -l - 0*l + 2 for l.
2
Let q = -10 - -13. Solve -1 - 14 = -q*z for z.
5
Let d = -26 + 26. Solve d = -4*m - m + 25 for m.
5
Let l(z) = -2*z**3 - 2*z - 1. Let m be l(-1). Suppose -m*i + 4*i - 8 = 0. Suppose -3*c - 35 = -i*c. Solve 0 = -c*x + 2*x - 25 for x.
-5
Let i be 4/(-14) + (-284)/(-14). Suppose 0 = 45*v - 50*v + 10. Solve -2*g = v*g - i for g.
5
Suppose 2*n + n = 6. Suppose 0 = l + 4*l. Let r(d) = -d + 9. Let v be r(l). Solve -v = -k - n*k for k.
3
Suppose -17*l + 13*l = -12. Solve 0 = -5*i + l*i for i.
0
Let j be 4 - (-2 + 3 + -1). Suppose 2*f - j = 3*f. Let d be 2/8 - f/(-16). Solve 0 = -g - d - 4 for g.
-4
Let j = 4 + -2. Let c = -6 - -4. Let f = c + j. Solve -m = 5 - f for m.
-5
Let w = -3 + -2. Let l = 6 + w. Solve s = l - 2 for s.
-1
Let c(s) = 2*s**3 + s**2 - s + 1. Let t be c(1). Solve 2 = -t*n - 13 for n.
-5
Let g be 0 + (-4)/2 - -2. Solve k - 2*k + 2 = g for k.
2
Let j(c) = -c**3 + 3*c**2 - c. Let u be j(3). Let n = u + 3. Solve n = x + x for x.
0
Suppose 5*v = o - 24, -3*o = -0*o + 2*v - 4. Let q(s) = s**2 - s - 2. Let d be q(o). Let u = d + -5. Solve -u*k + 3*k = 0 for k.
0
Suppose 15 = 2*m + m. Suppose -4*t + 24 = -2*w, 2*w + 19 = 5*t + m*w. Solve t*z = -0*z for z.
0
Let y = 9 + -5. Suppose y*a - 4 = 3*a. Solve -a*m - 2 = -3*m for m.
-2
Suppose -14*x + 13*x + t - 1 = 0, -t + 16 = 4*x. Solve 2*z + 2 = x*z for z.
2
Suppose 11 = -d + 16. Solve 9 = -d*f - 1 for f.
-2
Suppose 3 = -5*d - 3*v, -4 = 2*d + 5*v + 1. Solve 1 = -c - d for c.
-1
Suppose 2*p - 3*f = -2, -p = -0*p - 2*f + 2. Solve 7 = 3*m - p for m.
3
Suppose 0 = -2*y + 2, p + y = -y + 11. Let f be (1 - 0)*(12 - p). Solve 2*t = -f*t for t.
0
Suppose -3*x = 5 - 23. Let t = 1 + 2. Solve -6*w = -t*w - x for w.
2
Suppose -11 = -4*n - 3. Let k(l) = 5 - 3*l + 2*l + 0*l. Let s be k(5). Solve c - n*c + 5 = s for c.
5
Let r be -3 - -15 - 2*1. Suppose r = -2*u + 7*u. Let j = 11 + -1. Solve 7*q = u*q + j for q.
2
Suppose 0 = b - 2 - 1. Suppose b*m - 28 = -3*s - 2*s, 0 = s - 5*m. Solve l = s*l for l.
0
Let b = 3 + -1. Suppose 0 = b*m + p + 1, 3*m = -6*p + 2*p - 4. Suppose 6 = x + 4*c, -3 + 6 = 2*x - c. Solve x = -2*l - m for l.
-1
Suppose -4*r + 6 = -10. Let d = 3 + r. Solve t - d = -2 for t.
5
Let x be 0 + (-5)/(-4) - 9/(-12). Let d(y) = -y - 4. Let a be d(-4). Solve -x*l = -a*l + 6 for l.
-3
Let o be 1*(2 + 6/2). Solve 4*x - o = 11 for x.
4
Let q = -6 + 9. Let c = q + -1. Solve 0*l - c = -2*l for l.
1
Let a be 2/1*(2 + -1). Let w be (16/(-6) + a)*3. Let s(r) = -3*r - 3. Let p be s(w). Solve -3*v = 6 + p for v.
-3
Let j(w) = 4*w - 1. Let o be j(1). Suppose -3*f + 3 = -d - 2*f, 5*f + o = -d. Let h be 2*1*(-3)/d. Solve h*c - 6 = 5*c for c.
-2
Suppose 0*c + 4*k - 16 = -5*c, c + 20 = 5*k. Let d be (0/3)/(1 - c). Solve 3*l + 2 + 7 = d for l.
-3
Suppose -4*n + 7 = -3*y - 5, 0 = 5*y - 20. Solve -2*g = -4*g + n for g.
3
Let l(d) = d**3 + 17*d**2 + 29*d - 13. Let m be l(-15). Solve -5*j + m*j = 0 for j.
0
Let l = 14 - 12. Let o(f) = -f**3 + 3*f**2 + 1. Let g be o(l). Solve n - g*n = -16 for n.
4
Suppose 5*k + x - 36 = -0*k, -2*k + 2*x = -12. Solve -4*p + 3 = k for p.
-1
Let r be (-1 - 0)/((-5)/(26 - 6)). Solve -r*z + 2*z = -6 for z.
3
Let t = 97 - 81. Solve -3*f - f = -t for f.
4
Let h = 1 + -1. Solve 2*u + 10 = -h*u for u.
-5
Let n be 2 + (-1)/1 - 1. Let q = 3 + n. Suppose 3 = q*f - g, -f + 6*f - 6 = 2*g. Solve f = -4*i + 11 + 5 for i.
4
Let n = 82 + -57. Solve p + 4*p = -n for p.
-5
Let h(q) = q**2 - q. Let t be h(-1). Suppose -2*n + 1 = 5*x, -4*n + 3*x + 13 = t*x. Let f(m) = 2*m**2 - 3*m - 4. Let v be f(n). Solve 3*s - v*s = 0 for s.
0
Suppose -4*d = 56 - 156. Suppose i - 3 = 2*g + 5, -5*i + 4 = -g. Suppose k + 0*k = i. Solve k = -u - 4*u - d for u.
-5
Let q = 37 + -18. Let h = -13 + q. Solve -10 = -4*r + h for r.
4
Let b(f) = -7 + 3 + 2 + 1 - f. Let d be b(-5). Solve d*s - 16 = -0*s for s.
4
Suppose -4*y = -5*n - 91, -3*n = 3*y + n - 107. Let z = y - 4. Solve -3*i - 2*i = -z for i.
5
Suppose 2*s = -5*a - 10, 0*a = 4*a + 2*s + 8. Let c be (1 + a)*-3 + 12. Solve 4*v - c = v for v.
5
Let k(c) be the second derivative of c**5/20 + c**3/6 + 3*c**2 + c. Let i be k(0). Suppose 0 = -3*q - 0*q. Solve q = f + 1 - i for f.
5
Let n = -7 + 5. Let d = -2 - n. Suppose 3*g = -d*g. Solve g = 2*x + 2*x for x.
0
Let z(b) = b + 8. Let t be z(-5). Let n(l) = 4*l - 8. Let i be n(4). Solve -t*k = -i*k - 20 for k.
-4
Suppose -3*x - 2*x + 60 = 0. Suppose -p + 9 + 3 = -5*h, -2*p + x = -4*h. Solve -p*y = 3*y - 15 for y.
3
Let y(i) = 3*i + 2. Let l be y(2). Let c(v) = -v**2 + 8*v + 2. Let a be c(l). Let k be 3/a*(-16)/(-12). Solve d = k*d - 3 for d.
3
Let n(y) = -y**3 - 9*y**2 - 10*y - 10. Let h be n(-8). Suppose -2*u + h = v + 2*u, 43 = 4*v - 3*u. Suppose 0 = -0*b - 4*b + 20. Solve -v = b*k - 0 for k.
-2
Suppose 7*n = 3*n. Solve 0 = -2*i - n*i for i.
0
Let f(h) = -5*h + 13. Let v be f(7). Let i = -20 - v. Solve i = k - 1 for k.
3
Suppose -4*t - 5*d + 16 = 0, d = -2*t - 2*d + 8. Suppose -j + 17 = 3*x, -t*j + 14 + 26 = 5*x. Solve 3*o - 10 = j*o for o.
-5
Suppose -33 = 2*c - t, 6 = -c + 4*t - 7*t. Let l be (18/c)/((-3)/10). Solve v + 3*v = -l for v.
-1
Let f(i) be the first derivative of i**3/3 + 5*i**2/2 + 3*i + 1. Let w be 1 + (-8 + 2)*1. Let y be f(w). Solve -y*n = -1 + 4 for n.
-1
Let c = -2 + -7. Let r = -5 - c. Suppose 5*d - 12 + 2 = 0. Solve -d*u = -6*u - r for u.
-1
Suppose -12 = -8*v + 4*v. Suppose 68 = 5*m + 2*l, v*m - 6*m = -3*l - 24. Suppose -3*w + m = -0*w. Solve 21 = -w*h + 5 for h.
-4
Let s(b) = -b + 0 - 1 - 4 + 1. Let v be s(0). Let w be v/(0 - 3 - -2). Solve -n = w*n for n.
0
Let p be ((-15)/12)/(4/(-48)). Let x(o) = -2*o**3 - 4*o**2 - 5*o - 4. Let i be x(-3). Let t = i - p. Solve -t = 3*a + 1 for a.
-5
Suppose -4*l + 10 = f, -2*l = -2*f - 6 - 4. Solve -n + 5 = l for n.
2
Let u = -12 + 16. Suppose l - 3 = 1. Suppose 4*w - j = 2, -w - 4*j = 4*w + 8. Solve -u = -l*s - w*s for s.
1
Suppose 0*d = d - 245. Suppose 0 = 5*a - d - 290. Suppose 4*x - a = -27. Solve 7*u = 2*u - x for u.
-4
Let x = -127 + 129. Solve -17 = 3*j - x for j.
-5
Suppose 0 = -k - 2*k. Solve k*m = 2*m - 10 for m.
5
Let a = 0 - -2. Let m be 1*(a/1 + 7). Solve 5*n = -m - 1 for n.
-2
Let v(b) = 4*b**2 + b. Let n be v(-1). Suppose 4*m = -2*h + 18, n*h = h + 2*m. Suppose -5*p = h*l - 40, -5*p + 4*l - 3 = -8. Solve -p*o + 10 + 15 = 0 for o.
5
Suppose -15*s + 12*s = 0. Suppose 5*b = -s*b. Solve -6 = -b*u + 3*u for u.
-2
Let f(t) = t**3 + 6*t**2 - 7*t + 3. Let z = 7 - 14. Let h be f(z). Let a(d) = 2*d. Let s be a(h). Solve -s = -r - 2 for r.
4
Let z be (-124)/(-12) + -2*1/6. Solve -2 - z = 3*g for g.
-4
Let i(r) = -r + 4. Let o be i(6). Let u be (2 + o)*2/(-4). Solve u = -v - 2 fo