*b = 4*t - 20, y*b + 2*t + 8 = 4*b for b.
3
Let j = 18 + -13. Let t be (1 + j/(-3))*-3. Solve 2*y = -4*v + 8, 0 = -2*v - t*y - 2*y + 10 for v.
1
Let m be 8/(-5)*5/(-2). Solve -4*t - 29 = 5*f, 3*t - m*t - 26 = 5*f for t.
-1
Let s = 10 + 0. Solve 0*f - 4*a = -2*f - 2, 4*f - 2*a + s = 0 for f.
-3
Let s be 1*(-4 - (-6 + -2)). Solve -8 - 3 = f + s*k, 0 = -f + 5*k + 25 for f.
5
Let v = 29 - 29. Suppose 5*a + 5*u = -5, 5*a + 11 = 6*a - 3*u. Suppose 2*g = g + 3. Solve -g*o + v*j - j = -16, -4*o + a*j + 8 = 0 for o.
4
Let t(p) = 4*p. Let d be t(1). Let h be (d/(-4))/(2/(-4)). Suppose 0 = -h*b - 0 + 2. Solve 5*s + 19 = -3*v, s = -b - 4 for v.
2
Suppose 2*w - 3*g - 21 + 2 = 0, w - 3*g - 14 = 0. Solve v - w*v = -2*f - 6, v = -3*f + 12 for v.
3
Let i be ((-66)/(-12) + -3)/((-2)/(-4)). Solve -2*b = d - b, 0 = -d - 2*b - i for d.
5
Let g(i) = -i**3 + 3*i**2 + 3*i + 1. Let k be g(3). Solve d + 4*l = 2, -d + k = 4*d + 3*l for d.
2
Let y(g) = -g**3 - 6*g**2 + 3. Let s be y(-6). Suppose 3*p - 24 = -s*m, -3*m + m - 3*p + 20 = 0. Solve -m*o - 4*c + 2 - 14 = 0, 3*c = -o - 1 for o.
-4
Suppose 6*q - 141 = 3. Solve -3*d + 0*d = 5*h - q, -d = 5*h - 18 for d.
3
Let a be -1 + -1 + (6 - 2) + 2. Solve d - a*d - 4*p = 13, 0 = 3*d - 3*p - 15 for d.
1
Let d(a) be the third derivative of -a**5/60 - 5*a**4/12 + a**3/3 - 4*a**2. Let w be d(-10). Solve 0 = -2*s + w*n + 2, n - 1 = 2*s + s for s.
-1
Let d = 1 - -1. Let w = -4 - -4. Solve 4*h + w*r = d*r - 14, -2*r = -2*h - 10 for h.
-2
Let f(r) be the third derivative of r**6/120 - r**4/24 + 5*r**3/6 + 7*r**2. Let k be f(0). Solve 3*j - k*i + 5 + 5 = 0, 3*i = 4*j + 17 for j.
-5
Let n be (-1 + -1 - -2)/(-3). Suppose -k - 1 + 6 = n. Solve 4*w - 2*a = -12, -3*w + 15 = -8*w + k*a for w.
-3
Suppose -8*w + 55 = -3*w. Suppose -f - w = 5*g - 32, -2*f + 18 = 2*g. Solve -5*y - 2*a - 12 = 0, -f*a = -2*a - 16 for y.
-4
Let v be 1*(0/(-3) + 0). Suppose v = -0*x - x + 5. Solve 0 = 5*c - 3*z - 3, 5*c = -x*z - 5 for c.
0
Let v be 26/143 - 42/(-11). Solve s + 23 = 4*k + k, k = v for s.
-3
Let f = -4 + 9. Let d = f + 0. Let y(p) = 5*p**2 - p. Let i be y(1). Solve 0 = -5*h + d*o, -1 + 4 = 3*h - i*o for h.
-3
Let p be (-5)/((-20)/32) - 2. Suppose 0 = w + 2*w - p. Solve 0 = 2*u, -3 = 4*i - w*u + 1 for i.
-1
Suppose 0 = 5*l + 4 - 29, -3*l = s - 30. Suppose f = 6*f - s. Solve -f*h = 2*p + 8, -3*h - 20 = 2*h for p.
2
Suppose 5*l = 154 + 36. Let r be 14/49 + l/14. Solve -2*g - u + 16 = r*u, 5*u - 31 = 3*g for g.
-2
Let w be (-4)/(((-2)/(-4))/(-1)). Suppose 4*c - 8 - w = 0. Solve 0*t - c*v = t - 21, -t = v - 6 for t.
1
Let i(b) = b**2 + 3*b. Let s be i(-4). Suppose -s + 12 = 4*f. Solve -5*m + 10*m = 3*r + 5, 30 = 5*m + f*r for m.
4
Suppose -8 = 2*k - 2. Let c be (2/(-3))/(k/63). Solve -c = 5*a - 2*l, -l = -3*a + 2*l - 12 for a.
-2
Suppose -3*o = -4*x + 6, 5*x = 4*o + o + 5. Solve o*h - 5 = n, -4*h + 2*n + 1 = -9*h for h.
1
Let q(u) = -u. Let b be q(-4). Solve -b*m + 32 = -3*a, 0 = -0*m + 3*m - 15 for a.
-4
Let q = 6 - 5. Suppose -2*j = -4, q = -3*z + 2*j - 3. Solve 3*l - 12 = -3*d, -2*d - 3*d + l + 14 = z for d.
3
Suppose 0 = f - 2*s + 4 - 14, -25 = -3*f + 5*s. Solve a = 4*g - 1, -4*g + f*g = 4 for a.
-5
Let y = 402 + -399. Let w be -1*2*1 - -21. Solve -5*b = 3*f + 2*f - 5, f - y*b + w = 0 for f.
-4
Suppose 2*n + 30 = 4*k, -n + 6*n = 5*k - 50. Let t(z) = 4*z**3 + 2*z - 1. Let g be t(1). Solve -3*l + g*v - 37 = 0, -k*l + 1 = -v + 26 for l.
-4
Let a = -7 - -9. Let i(b) = 5*b + 4. Let g be i(-4). Let t be g/(-6) - a/(-6). Solve -2*p = -c + 8 - 2, -5*c = -t*p - 2 for c.
-2
Let a be 2*(-2)/(-4) - 1. Suppose u + 1 - 4 = a. Solve 0 = -2*k + 2*n + 16, -u*k + 4*n - 8 = 9*n for k.
4
Suppose 15 = -0*a + a + 2*f, 2*f + 27 = 5*a. Solve -4*b + 2 = 2*m, 4*m + 0*m + 5*b - a = 0 for m.
3
Let n(h) = 2*h**3 - 2*h**2 - 2*h + 1. Let x be n(2). Solve -x*k + 2*j = -23, 25 - 6 = 5*k - j for k.
3
Suppose 4*g = -3*i + 24, -5*g - 12 + 42 = -2*i. Let t = -6 + 8. Solve -2*x - t*r + g = -0, -4*r = 3*x - 11 for x.
1
Let y(m) = 4*m - 1. Let r(s) = -19*s + 6. Let g(d) = -2*r(d) - 11*y(d). Let i be g(-3). Solve -t - 3*f + 4 - i = 0, -3*t = 3*f + 21 for t.
-4
Let h = -58 - -68. Solve -2*y = h, 10 = -i - 3*i - 2*y for i.
0
Suppose -2*g + 4*g = 6. Suppose 0 = -d - g*d. Solve -3*p + q + q - 7 = d, 5*p + q + 29 = 0 for p.
-5
Let f = 1 - -5. Solve 2*r - f*k = -k - 17, -4*k = 4*r - 36 for r.
4
Suppose -22 = -4*h - 6. Solve 0 = -h*i - 8 + 24, -4*u = i - 4 for u.
0
Let z(m) = m**3 - 4*m**2 - 5*m + 1. Let t be z(5). Let s be -3*20/(-12) - t. Solve 0*w + s*w + 5*b = -37, 4*w + 3*b = -27 for w.
-3
Suppose -5*g = 3*y - 54, -2*g = -4*y - 0*y - 32. Solve -24 = -4*d - b, -2*b = b - g for d.
5
Let t(c) = -c + 11. Let b be t(9). Let y(p) = -p + 3. Let u be y(b). Solve -4*z = 5*g - 7, -4*z - 3*g + u = -0 for z.
-2
Let h(k) = -k**2 - 3*k + 1. Let o be h(-2). Solve -o*g = -5*u + g + 29, -5*g = -u + 10 for u.
5
Suppose 2 = -a - 7. Let b = a - -13. Solve -2*f = b*c - 12, 0 = 3*c - f - 4*f - 9 for c.
3
Let h = 7 - 2. Suppose -2*p + 2 = 2*y, -3*p - y = -2 + h. Let z(r) = -r - 1. Let v be z(p). Solve -1 = -n - 2*g + v, g + 5 = n for n.
4
Suppose 0*b - 2*b + 48 = 0. Let d = 29 - b. Solve -d*u = 2*o + 20, u - 8 = 3*u + 4*o for u.
-4
Let x be ((-14)/(-10) + -1)*10. Let u = -6 + 6. Let v = 4 + u. Solve 3*l - 3 = 0, -5*h + x*l - v = -2*h for h.
0
Let n(w) = -2*w - 2. Let j be n(0). Let g be j - (-5 - (4 + -4)). Solve 2*l = 2*o - 6, g*l + 4*o - 11 = 2*o for l.
1
Suppose -1 = -2*t - 3. Let v be 7/21*(13 + t). Solve 2*j + 24 = v*p, 3*p = 3*j + p + 16 for j.
-2
Let m(r) = r - 4. Let h = 6 - 0. Let s be m(h). Suppose 46 = s*z + 16. Solve 3*o + o - 24 = 2*v, 5*o + 5*v = z for o.
5
Suppose 0*z - z + 103 = 0. Suppose -z = -5*d - 18. Solve 4*o = 4*q - q + 18, 4*q + d = 3*o for o.
3
Let k(d) = d - 5. Let l be k(7). Solve -l*x - 5 = 3*x + 4*s, -5 = 5*x + 5*s for x.
-1
Let b be 1*0*1/(-2). Suppose 4*o + 0*o = b. Let j = o + 2. Solve -2*y - j*k - 21 = y, -3*y = -4*k + 3 for y.
-5
Let w be (8/(-10))/(5/(-25)). Solve 4*y - 3*y - w*g - 14 = 0, 5*y + 3*g - 1 = 0 for y.
2
Suppose -q - 42 = -5*p, 2*p + 0*p - 26 = 5*q. Solve 5*v = 0, 0*v = -2*f - v + p for f.
4
Let b = -76 + 78. Let n(w) = -9*w - 3. Let u be n(-2). Suppose -3*l - b*l = -u. Solve -6 = -5*p - g + 3, l*p = -g + 7 for p.
1
Let r(m) = -3*m - 17. Suppose 3 = -3*w, l + 31 = -4*l + 4*w. Let a be r(l). Solve -1 = d + a*y, 3*d - 5*y - 17 = -d for d.
3
Suppose -h + 0*h = 0. Suppose h = -2*x + 3 + 7. Solve -f - 2*s + 5*s = 13, -x = f - s for f.
-1
Suppose m - 2*h + 5 = 0, -2*h - 3 = -5*m + 12. Solve 4*o + 5 - 1 = -m*d, -d = 4*o + 4 for d.
0
Let p be (10/(-25))/(2/(-10)). Suppose 4*a + l + 16 = p, -a - 5*l + 6 = 0. Let k = a + 6. Solve 0 = 3*q + w - 5, k*q + 10 = 4*q + 4*w for q.
1
Let f be (-12)/18 - (-2)/3. Solve f = 3*d + 3*c, 14 = 3*d - d - 5*c for d.
2
Let u be (-2 + 2)*2/(-2). Let i = 1 - 1. Suppose -4*l + 33 = -3*c, -2*c = -3*l - i*l + 26. Solve -3*w + 5*h - 22 = u, 2*w - h = h - l for w.
-4
Suppose -3*n + 31 = -0*n + 5*y, 0 = 2*y - 10. Solve q = 3*q + 2*g, n*q - 1 = -3*g for q.
-1
Let d(m) = -6*m. Let u be d(-3). Let p(a) = -a**3 - 12*a**2 + 14*a + 15. Let o be p(-13). Solve -h = -3*y - o*y + 5, -y + 4*h = u for y.
2
Suppose 0*x - 4 = -2*x. Suppose 4*g - 8*g = -32. Suppose -2*z - 4*m + 2*m = 4, -2*m - g = 0. Solve 4*k = 4*h + 8, x*h + z = -5*k + 12 for h.
0
Let z be 6 - (8 - 2)*(-4)/(-6). Let j = -11 - -4. Let c(t) = -t - 5. Let v be c(j). Solve z*q = y + y - 6, -y - v = 4*q for y.
2
Let d(y) be the first derivative of y**2/2 - 5*y + 2. Let n be d(6). Let j be n*(2 + 3) + 1. Solve -5*l = -4*c - 10, j*l + 15 = -c + l for c.
-5
Let y = 30 + -18. Solve -z = -3*k + y, -3*z = -5*k - 0*z + 20 for k.
4
Let n be (-66)/4*(-4)/6. Let f = -5 + n. Solve -4*q + 3 + f = -3*d, 9 = 2*q - 3*d for q.
0
Let l(v) = 2*v + 5. Let k be l(9). Solve -4*u - k = -2*q - 5, -3*q - 3*u = 0 for q.
3
Suppose 4*m = -3*y + 8, -2*y + 6 = m + 2*m. Suppose m*d - 2 = f, f - 8 = -f. Solve -g + 3*g + 2 = -5*v, 4*g - 22 = d*v for g.
4
Suppose 7*u = 2*u. Suppose -2 = 3*d - 2*r, u = 5*d - 0*d - r + 1. Suppose 4*x = -4*m + 8, -5*m + 10 = 3*x - 7*x. Solve 2*q + x*q = -3*f + 5, d = -f - q for f.
5
Let m be 1 - -1 - (-24)/8. Suppose -m*q = -22 - 3. Solve 3 + 16 = n + q*u, 3*n = 3*u - 15 for n.
-1
Let w be (-1)/(-1)*(-2 