= g - q*l + 12 for g.
3
Let c be ((-12)/(-8))/((-3)/(-10)). Solve 0 = -2*t + 8, c*t - 14 = 4*b - 6 for b.
3
Suppose 10 = -0*r - 3*r - 5*i, -2*i = -5*r + 4. Solve -f + 3*k - 12 = -r*f, 12 = -5*f + 3*k for f.
0
Suppose -4 = -18*h + 16*h. Solve -2*b - 22 = h*r - 2, -2*b - 15 = r for r.
-5
Let h be -2 - (-1 - -5)/4*-5. Solve 4*l + 5*s + 1 = 0, -l + 6 = 2*l - h*s for l.
1
Let w(p) = -2*p - 11. Let a be w(-7). Let o be a - 0/(8/2). Solve o*u - 18 = -3*s, 4*s - 6 = 3*u - 17 for s.
1
Let f = 0 - 0. Suppose -j + 4*j - 30 = 0. Solve -4*w + 2*i - j = 0, w - 5*i - 1 - 1 = f for w.
-3
Let v(n) = -n**3 + 4*n**2 - 2*n + 1. Let k = 30 + -27. Let p be v(k). Solve y - 25 = -2*u - 2*u, 0 = p*u - 20 for y.
5
Let n be -27*(-6)/45 - 2/(-5). Solve -17 = 3*r + n*b, 2*r + r + 7 = b for r.
-3
Suppose p - 2*q - 3 = -1, -5*p = -4*q - 16. Suppose -2*k + 44 = -8. Let h = k - 14. Solve 16 = 5*v + p*y, -3*y + 0*y = -v - h for v.
0
Let l be (-19)/(-3) + 6/9. Solve s + 3*t = -l, s - 4*t - 5 = 2 for s.
-1
Suppose -3*r + r - 5*v = -64, 5*r = -2*v + 139. Suppose -4*d = -4*h - 52, 2 = 3*d + 2*h - r. Let y = -6 + d. Solve -2*o + 2 = -o, 3*o = -y*j - 9 for j.
-3
Let g be (-164)/10 - (-33)/(-55). Let r be (g - -1)/(-4) - -1. Solve -5*v + 27 = 3*o + 2, 30 = r*v + 4*o for v.
2
Let i(a) = a**2 + 22*a + 23. Let l be i(-21). Solve -4*n + 8 = -l*k + 34, -3*n - 3*k = 6 for n.
-5
Let p be ((-5)/10)/(2/(-12)). Suppose -p*y = -0*y - 9. Solve 3*c + 2*j - 5 = -2*c, -4*c - y*j + 11 = 0 for c.
-1
Let d(n) = -n - 5. Let q be d(-5). Suppose -5*l = -q*l. Let y be (-1)/(-2) - (-1)/(-2). Solve 5*k - 5 = -5*t - l*t, y = -2*k + 4*t + 26 for k.
5
Let l be 4 - (4 + 0 + -4). Solve 2 = l*j - 3*h, -4*j + 5 + 1 = -5*h for j.
-1
Suppose 3*d + 4*a + 2 = -6, -4*a - 20 = 0. Solve -u + 3 = 3*w, -3*w + 3 = d*u + 9 for u.
-3
Let r(x) = -x**3. Suppose 5*j - 3*c - 8 = -0*j, -5 = -j + 4*c. Let q be r(j). Let i be (q/3)/(2/(-24)). Solve l - 4*b = 3 + 6, -i*b = 2*l + 18 for l.
-3
Suppose -d + 2*d - 4 = 0. Suppose -4*s + 16 = -y, -3 = -y - 3*s + 16. Suppose 4*v - 4 = y. Solve -d*w - 9 = -2*w - n, 2*n + 12 = -v*w for w.
-5
Let m(y) = y**2 + 2*y + 1. Let d be m(-3). Suppose -2*n + d = -2. Solve n*v + 11 = -h, -h - 4 = 3*h + 2*v for h.
1
Suppose -h + 23 - 8 = 0. Solve -d = 2*q + 4*d - h, 10 = q + 3*d for q.
-5
Let g = 15 + -8. Let v = g + 1. Solve -2*k = -t - t - v, -5*t = 5*k for t.
-2
Let q be 0*(-3)/24*-4 - 0. Solve p - 3*j = -q*p + 13, 17 = 5*p - 3*j for p.
1
Let j(w) = 14*w + 1. Let m be j(1). Let a = -4 - 26. Let s = a + 59. Solve -2*h - 6*l + l = s, 5*l + m = 5*h for h.
-2
Let m(r) be the first derivative of r**4/4 + r**3 - 2*r**2 + 3*r + 2. Let i be m(-4). Let s be -1*(-1 - 0) - -2. Solve -3*p = -s, -i*f + p + 8 = -6*f for f.
-3
Let i(j) = -j + 8. Let p be i(6). Let k be 4/p*(-5)/(-2). Solve -4*w = -4*l + 16, -k*l - w - 2*w = -12 for l.
3
Let t = -4 + 6. Let r = 2 - -5. Suppose 2*w - r = 1. Solve -11 = w*j - 3, -q - t = -j for q.
-4
Let f = 20 + -1. Let x = f + -9. Solve -b + 5*z + 23 = 0, 0 = -2*b - 0*b - 4*z - x for b.
3
Suppose 13 = 5*w + 3. Suppose 0 = -2*h - w*h + 12. Let x be (-2 + h/3)*0. Solve -8*y + 4*y + 2*k - 2 = 0, -2*y - k - 7 = x for y.
-2
Let n(s) = 3*s**2 + 3*s + 2. Let c be n(-2). Suppose -4*t = -4 - c. Solve 2*u = -2, -t*u = -5*m + m - 1 for m.
-1
Suppose 17 + 4 = 7*x. Solve 0 = g - 0*u - u - x, -3*g - 2*u = -9 for g.
3
Suppose 3*y = 3*t - 1 - 14, 10 = -2*y. Let b be (0 + 1 + 0)*4. Suppose -2 = -i + 1. Solve t*v + i*x = 2*v + 11, b*v - 4*x + 16 = 0 for v.
-1
Let d be (2/4)/((-2)/(-68)). Let o(y) = -4*y**2 - 4*y - 2. Let j be o(-2). Let f be 5/j*(-1 + -5). Solve 2*k - 4*r - d = f, -2*r - 10 = 0 for k.
0
Let t be 258/14 + (-12)/(-21). Let m = 24 - t. Solve 3*s + 2*j = -s + 2, -4*s - 7 = m*j for s.
2
Suppose -5 - 10 = -3*a. Solve a*q = -2*m - 12, 3*q + 0 = 5*m - 1 for q.
-2
Let n(u) be the third derivative of -u**4/6 + u**3/6 - 8*u**2. Let j be n(-1). Solve -4*b = d - j - 0, -5*d + 25 = -2*b for b.
0
Let i = -25 - -28. Solve -t - 4*b = 1, -4 = -3*t - i*b + 2 for t.
3
Suppose -6*z = -n - 4*z + 14, -5*n + 3*z = -42. Solve b - n = -2*h - 1, 5*b = h + 25 for b.
5
Suppose -4*n - 107 = -4*w + n, 2*n - 2 = 0. Solve 15 = -5*t - 10, 4*s = -4*t - w for s.
-2
Suppose 3*x = 4*l + 13 + 3, 2*l - 2 = -x. Solve -p = -4*v + 3*p - x, -5*v - 13 = 3*p for v.
-2
Suppose t + t + 4*h = 10, -5*t + 39 = -4*h. Solve t*u - 4*u = -4*y + 20, -2*u = -2*y + 10 for u.
0
Let q be (7/(-2))/(1/2). Let p = 9 + q. Solve t - p*f = -6, -3*t = -2*f - 2*f + 12 for t.
0
Let p(c) = c**2 - 8*c + 2. Let a be p(3). Let d = -9 - a. Solve 3*r + 5 = -5*u, 9*u - d*u - 15 = r for r.
-5
Let f be -2*3/(-2) + -1. Suppose i - 2*o + 0 - 3 = 0, f*o = 5*i - 31. Let w = i - 4. Solve 2*g = 8, -w - 1 = -4*l - 3*g for l.
-2
Suppose 0 = 4*s - 2*r - 10, s + 3*r - 5 = 15. Suppose s*m - 24 - 26 = 0. Let x = -7 + m. Solve h - 18 = -x*p - h, -p + 13 = 3*h for p.
4
Let o(u) = u - 1. Let a be o(4). Solve -t + z + a*z = 0, 0 = z + 1 for t.
-4
Let o(j) = 5*j**3 + 2*j**2 - 2*j + 1. Let i be o(1). Suppose 0 = s - i + 3. Solve -4*a - s - 1 = -5*t, 5*t = 5*a for t.
4
Suppose -r + 14 = 10. Solve -5 = 2*t - 3*t, 5*t - 41 = -r*s for s.
4
Let p = -29 - -33. Solve -h = -2*q + 2 - 9, 3*h - 15 = p*q for h.
1
Let s(d) = -d**3 + 5*d**2 + 7*d. Let f be s(6). Let c be (-4 + -2)/(f/(-4)). Solve 5*m + 9 = -c*y, 0*m + m + 1 = 0 for y.
-1
Let h = -33 - -36. Let l = -1 - -1. Let o(y) = y**2 + 2. Let r be o(0). Solve 5*g = -r*f + 17 - h, -2*f - 6 = l for g.
4
Let b = 8 - 4. Let j = 8 + -5. Suppose -2*y + 3 = y - j*n, -n - 1 = -5*y. Solve -3*f - 2*p - 16 = 0, p = b*f - y*p + 3 for f.
-2
Suppose 0 = -5*n + 4 + 16. Suppose 44 + 8 = 4*o + 3*u, -5*o - n*u = -65. Solve -4*p + 3*x + 2*x + o = 0, -5*p = -3*x for p.
-3
Let q be 6*1 + 0 - 1. Let z be (-2)/((-1)/((-2)/10))*-40. Solve q*u = 2*x + 17, 2*u - z = -3*u + x for u.
3
Let l = 4 - 4. Suppose -4*k + 10 = -5*x, -4*x + 7*x + 5*k - 31 = l. Solve -2*i - 2*v = -2, -3*i = -x*i + 5*v + 7 for i.
3
Let k(o) = o + 2. Let m be k(2). Solve -2*i - 2 = 4*w, -3*i - m = -2*w - 1 for w.
0
Suppose -6*a + 7*a = 5. Let i = 37 - 17. Solve -4*k = -i, -3*k + a = -5*l + k for l.
3
Suppose 4*m - 2*m + 12 = 0. Let l be -2*(-3)/m + 6. Solve -3*s - l = -2, 0 = -3*t - 5*s - 14 for t.
-3
Suppose 0 = -4*z + 9*z. Let k be z - -3 - (6 - 6). Let w be (-4)/12 - (-13)/k. Solve -l - 1 = m + 3, -w = 5*l - 3*m for l.
-2
Suppose -f - 13 = 4*g + 32, 4*g + 46 = -2*f. Let k = 20 + g. Solve -3*z - k = -z - i, -4*z = -i + 19 for z.
-5
Let m(j) = -j**2 - 9*j + 4. Let h be m(-9). Let y(u) = 5*u + 1. Let a be y(h). Let q = a - 5. Solve -2*l + q = -5*i, 4*l = -i + 12 - 2 for l.
3
Suppose s = -4*c - 3, 4*c - 4*s + 5 + 3 = 0. Let q be (-57)/(-2) - c/(-2). Solve 2*u + 2*u = 2*y - q, 8 = -3*y - 4*u for y.
4
Let x be 1/2*-1*(0 + 0). Solve -5*i + 14 = 2*k, i + x*k - 3*k = 13 for i.
4
Let d(c) = 5*c - 43. Let f be d(9). Solve 0 = 5*u + j + 10, 2*j + j - 4 = f*u for u.
-2
Let m(y) = y**3 - 4*y**2 + 2*y - 5. Let x be m(4). Suppose -p + x*p + 10 = 3*i, -5*i - p = -21. Solve i = h, 2*h - 16 = 4*g - h for g.
-1
Let b = 6 + -1. Solve -b*p + 3*l + 1 = 11, 5 = -l for p.
-5
Let n(x) = 3*x**2 - 4*x + 11. Let v be n(2). Solve 0 = 3*g + v, -m + 2*g = -4*m - 13 for m.
-1
Let y = 1 + -1. Suppose 2*h + 2*h = 0. Let j = y - h. Solve -n + 5*g - 11 = 0, 5*n + 3 = -g - j for n.
-1
Suppose 5*k = -5*t + t + 17, 4 = k + t. Suppose -k = y - 6. Solve 4*m + y - 3 = 2*p, 2*p = -5*m + 2 for m.
0
Let a(q) be the second derivative of -3*q**5/10 - q**4/12 - q**3/6 + 5*q. Let t = -2 - -1. Let d be a(t). Solve 0 = 4*l + r - 12, l + 3*r - d = 4*l for l.
2
Let x(p) = p**2 + 0 - 2 - 5*p - 1. Let b be x(6). Let h(w) = -w**2 - 5*w + 2. Let s be h(-5). Solve -v = z + 4*v + 25, -s*v - 23 = b*z for z.
-5
Let u = 6 + -2. Suppose -u = 4*r - 0. Let p = r + 4. Solve -p*f = -3*z, -3*z + 2*z = -5*f - 20 for z.
-5
Let n be 15*((-24)/9)/(-4). Let k be -1 + n/(-3)*-3. Let w be 12/k*(-6)/(-4). Solve -6 = -2*f - w, 4*p - 3*f = -10 for p.
-1
Let r(z) = 2*z + 10. Let l be r(-6). Let v be (l/(-5))/((-2)/(-10)). Solve -5*x + 5*u = -15, 2*u = v - 4 for x.
2
Suppose 4*c = -0*c. Let z be (c - -8)*(-1)/(-2). Solve b - z*o = -3*b - 4, -b + 2*o = 6 for b.
4
Suppose -2*x = -3*d + 4, d + x - 3 = -0. Solve 4*l + 2*y = -l - 1, d*l + 5*y = 8 for l.
-1
Let a = 11 