= j - v for j.
2
Suppose m = -2*m + 3. Let c be ((1 + -2)*-2)/2. Let u be c/6 - m/6. Solve -4*g + 22 - 6 = u for g.
4
Let x be 1*(1 + 0)/1. Let b = x - -4. Solve b = -5*y - 0 for y.
-1
Suppose 5*h + 12 = 3*p, 20 = 5*p - h - 0. Solve -p*f + 3*f = 1 for f.
-1
Let w(u) = -u - u**3 - u - 1 + 2*u - 2*u - 2*u**2. Let z be w(-2). Solve 0 = -z*l - l + 8 for l.
2
Suppose -2*x - 37 + 113 = 0. Let d = 56 - x. Suppose 4*o = 3*w - d, 4*w - 3*o + o = 14. Solve -w*k + 11 - 1 = 0 for k.
5
Let b = 4 + -2. Suppose 4*i - b*i - 16 = 0. Solve i = 4*d - 6*d for d.
-4
Suppose -2*o - h + 3 = 0, -6*o = -3*o + h - 7. Let r = o - 1. Suppose 0 = 2*z - 3*z - 0*z. Solve z = -3*n - 0 + r for n.
1
Let u = -11 + 14. Solve -u*c = -0*c for c.
0
Let y = 13 + -9. Let h = 8 - 2. Suppose 0 = h*z - 4*z. Solve z = 2*g - 0 + y for g.
-2
Let g = 8 - 5. Solve -s + 0 + g = 0 for s.
3
Let x(y) = -y**2 + y. Let a(d) = d + 5. Let v be a(-5). Let k be x(v). Solve k*n - n = 0 for n.
0
Let z be (-49)/(-10) + (-2)/(-20). Solve -5*c + z = -4*c for c.
5
Let g(c) = c**2 + 6 + 0*c**2 - 2. Let r be g(0). Solve -2*y = 2*y - r for y.
1
Let i(f) = f**2 - 6*f + 7. Suppose 0 = 5*p + c - 29, -5*c + c + 1 = -3*p. Let l be i(p). Suppose d - 2 = l. Solve 0 = d*t + 4 for t.
-1
Let t be ((-40)/12 + 0)/((-4)/6). Suppose 0 = 5*b + 5 + 15. Let u(j) = -j**3 - 4*j**2 - 3*j + 2. Let n be u(b). Solve t = -3*p + n for p.
3
Suppose 4*y - 5 = 7. Let m be -3 + 3 + 0/(-3). Solve m = i - y*i - 4 for i.
-2
Suppose -5*o + 2*i - 6 + 2 = 0, 2*o + 6 = 3*i. Solve -2*b + 6 = -o*b for b.
3
Let j = 107 - 104. Solve c = 7 - j for c.
4
Let m be (-186)/8 + 1/4. Let d = -11 - m. Solve -d = -0*n + 3*n for n.
-4
Suppose 0 = -5*i - 3*y + 12, -4*y + 4 - 14 = -2*i. Solve 0 = i*t + t - 8 for t.
2
Suppose -6 = -4*i + 22. Suppose -4*d + i*d + 34 = 5*f, 0 = 3*f + 5*d. Suppose -2*n - 8 = -3*b, 1 - 2 = -3*b - 5*n. Solve 8 + b = f*r for r.
2
Suppose 2*g = -7*u + 3*u + 16, -2*g - 4 = -u. Suppose m - 2*n = 9, m - 5 - 2 = 4*n. Suppose 0 = -o - 0*o + m. Solve 0 = u*r + o + 5 for r.
-4
Let r(d) = -5*d - 5. Let a(p) = -11*p - 11. Let c(v) = -v**2 + v - 4. Let x be c(0). Let y(u) = x*a(u) + 9*r(u). Let k be y(-2). Solve -o = -0*o - k for o.
1
Let c(m) = m + 4. Let u be c(11). Solve 0 = -3*f - u for f.
-5
Let c = 5 - 19. Let z be 4/c + (-30)/(-7). Solve -6*q + z*q - 10 = 0 for q.
-5
Suppose 16 = 4*z - 2*z + 5*l, -z = 3*l - 9. Let o be (-1 - z)*6/(-8). Solve 3 = -6*f + o*f for f.
-1
Let w(a) be the third derivative of -a**5/60 + a**4/4 - a**3 + 4*a**2. Let l be w(4). Suppose -l*o + o = 0. Solve 0 = -2*g + 2 - o for g.
1
Let x be 0/(4 + -2 + -3 + 5). Solve x*d = -d for d.
0
Let k = -60 - -65. Solve k = -2*i - 3*i for i.
-1
Let j = -19 - -14. Let h = j + 9. Solve h + 8 = 4*u for u.
3
Suppose 3*p - 4 = 2*p. Solve -3*v + p = 16 for v.
-4
Let v be 1/(-2)*(-72)/6. Solve -a + v = 1 for a.
5
Let i = -16 - -27. Suppose 0 = 2*h - 2 - 0. Let c = h + -1. Solve 5*s + 9 + i = c for s.
-4
Suppose u + 0*u + 5 = 0, 27 = 3*o - 3*u. Suppose -o*r + 1 = -5*h, -2*r = 3*r + 5*h - 35. Solve 0 = 5*y - 1 - r for y.
1
Suppose y + 2 = -3*z + 11, 0 = 2*z - 5*y + 11. Suppose z*n + 3*f = -2, n = -2*n + f + 8. Solve 2*g - 4*g - n = 0 for g.
-1
Suppose 4*i - 3*i = 1. Let z = i - -2. Solve -2*g + 10 = z*g for g.
2
Let t be (-4)/6 + (-20)/(-3). Suppose 3 = -o + t. Suppose -o*j = -2*j. Solve -3*v - 15 = -j*v for v.
-5
Suppose -9*b + 12*b - 9 = 0. Solve -b*z = 2 + 13 for z.
-5
Let b(a) = a - 3. Let s be b(4). Suppose g + l - 4 = -l, -5*g = 3*l + s. Let d(x) = -x**2 - x + 2. Let u be d(g). Solve 3*f + 0 + 3 = u for f.
-1
Let p be (-69)/15 + (-4)/10. Let t(j) = -j**3 - 4*j**2 + 6*j + 5. Let r be t(p). Solve r*v = 4*v + 8 for v.
-2
Suppose -3*m + 35 - 14 = 0. Let j = m - 2. Suppose 0 = -j*k + 15 + 30. Solve 3*z - k = -0*z for z.
3
Let o = -44 - -53. Solve -o = 4*k - 25 for k.
4
Let f = 18 + -25. Let u = f - -23. Suppose 0 = -2*c + 6*c - u. Solve c*d = d + 12 for d.
4
Let z(a) = a**2 + 2*a + 1. Let w be z(0). Suppose -w - 3 = -2*c. Solve 0 = -5*h + c*h for h.
0
Suppose -2*o - 1 = 2*r - 3, -3*r = o + 1. Solve g = 5 - o for g.
3
Suppose 5 - 8 = -3*b. Solve 3*i + b = 16 for i.
5
Suppose 4*b - 9 = -3*z + 3, -z - 5*b = -4. Suppose z*h = -0*h + 12. Suppose 3*u + 0*u = 0. Solve u = h*y - 8*y for y.
0
Let n = -13 - -16. Solve 2*u = 5*u - n for u.
1
Let o = 18 - 11. Let w(k) = -o*k**2 + 4 + 3*k**2 + 3 - k**3 + 6*k. Let x be w(-5). Solve -3*n - 1 = -x*n for n.
-1
Let o = -2 + 4. Suppose 0 = -z - o + 5. Solve -z = -n + 2*n for n.
-3
Suppose 5*t = -15, -h + 0*t + 27 = -5*t. Solve h + 0 = 4*k for k.
3
Let l = -4 - -6. Suppose 5*y = 3*h - 7 + 39, -12 = l*y + 5*h. Let r be ((-8)/(-5))/(y/10). Solve 15 = -p - r*p for p.
-3
Let p be 0 - (0 + -11) - 0. Let i = -8 + p. Solve 7 = -4*v + i for v.
-1
Suppose v - i - 11 = -6*i, -34 = -5*v - 4*i. Solve -q - q - v = 0 for q.
-3
Suppose 12 = 2*z + 2. Solve -20 = -0*h + z*h for h.
-4
Let p(y) = -y**3 + 10*y**2 - 10*y + 12. Let j be 24/40 - 84/(-10). Let z be p(j). Suppose 3*d = -2*a - 6, -a + z*d - d + 11 = 0. Solve -a + 11 = 4*w for w.
2
Let m(o) be the third derivative of -1/3*o**3 + 2*o**2 + 0 + 1/8*o**4 + 0*o. Let z be m(2). Solve z*v - 11 = -3 for v.
2
Let w(j) = -11*j + 16*j - 6*j + 16. Let s be w(11). Solve 0*i = -s*i - 10 for i.
-2
Suppose v - 2*t - 3 = 0, 0*v + 3*t + 2 = v. Suppose -v*q - 6 = -16. Solve q*d = 3*d for d.
0
Suppose 5*r = 5, -5*b = -0*b + 5*r - 30. Suppose -2*f + 3*j + 28 = -j, -f = -j - 9. Suppose -4*i = -f*s, b*s = -4*i - 17 + 44. Solve -a = -0*a + s for a.
-3
Suppose b + 3*b + 2*o - 34 = 0, 4*o = b + 14. Suppose b = -4*u - 2. Let n be (u/5)/((-2)/30). Solve 3*x - n = x for x.
3
Let c(s) = 4*s - 7. Let d be c(13). Let o be (1/3)/(3/d). Let y(a) = a**3 - 4*a**2 - 4*a - 5. Let p be y(o). Solve 16 = -p*j + 4*j for j.
4
Let a be (-4)/18 + 58/18. Solve -j = 2 + a for j.
-5
Let h be (0 + (0 - -1))/((-1)/(-5)). Solve h*y = -9 - 6 for y.
-3
Let m(b) = b**2 + 5*b - 8. Let q be m(-7). Let s = -23 + 33. Solve 0 = 4*a + s + q for a.
-4
Let p(o) = -o**2 + 11*o + 12. Let x be p(12). Solve -b + 4 = -x*b for b.
4
Let r be ((-5 - -4)*2)/(-1). Solve 0 = -2*f - 4 + r for f.
-1
Suppose 2*g + 26 = 4*g - 4*v, -5*g + 71 = -4*v. Suppose 0 = -4*p + p + g. Solve -s + p*s + 12 = 0 for s.
-3
Let b = -3 + 5. Suppose 5 = 3*v + m, m + b*m + 6 = -2*v. Solve 0 = v*o + 3 + 6 for o.
-3
Let k be (-5 - -9)/(-2) + 9. Solve -4*d + 9 = -k*d for d.
-3
Let a be (15/(-2))/((-4)/24). Let r = a - 29. Solve 2*k - r = 6*k for k.
-4
Let l(y) = y**3 + 11*y**2 + 8*y - 14. Let g be l(-10). Suppose w - g*w + 5 = 0. Solve 0 = s + 2 - w for s.
-1
Suppose -7*z + 34 = -1. Let h = 6 - 3. Let w = z - h. Solve -w*p - 1 - 5 = 0 for p.
-3
Let g(x) = x**3 + 2*x**2 + 2. Let r be g(-2). Suppose r*t = 3*q + 26, -t - 5 - 8 = 5*q. Solve -3*l = -t*l for l.
0
Let h(v) = -9*v + 49. Let x be h(5). Solve 8 = -4*g - x for g.
-3
Let v be 0 - (-4)/((-4)/(-2)). Solve -v*h + 3*h = -2 for h.
-2
Suppose -3*k + k = 2*s, 3*s = -5*k + 8. Let p(a) = 4*a + a**3 + 1 - 2 + 5 - 3 - 5*a**2. Let i be p(k). Solve 0*o = -o + i for o.
1
Let c be (-2)/8 + (-36)/(-16). Suppose 0 = 4*p - 3*l - 25, c*p - 5*l = 17 + 6. Solve -p*d + 6 = -6 for d.
3
Suppose 5*v - v = -64. Let g be (6/12)/((-2)/v). Let l = 18 - 12. Solve -14 = g*n - l for n.
-2
Suppose s = -4*s + 30. Let h = -4 + s. Let g be 3/9 + h/(-6). Solve -n + g*n - 4 = 0 for n.
-4
Suppose -r - 6 = -2*r. Solve -d + r = -4*d for d.
-2
Let o = -36 + 38. Solve -o*m = m - 12 for m.
4
Suppose -2*z - 4 + 16 = 0. Solve -9 - z = 3*i for i.
-5
Suppose 0*s + 3*s + t - 24 = 0, s - 5*t + 8 = 0. Suppose -3 = 2*o - s. Solve 0 = -0*q + 2*q + o for q.
-1
Suppose 5*f + 1 = 6. Suppose -2*n + u + 5 = 0, -3*n - 1 = -5*u - 26. Suppose n*g - 6 = -2*g. Solve f = -p + g for p.
2
Suppose -q = 4*q - 2*b - 4, 2*b = -5*q + 16. Suppose k = q*k. Solve k = 2*r + r for r.
0
Suppose 2*w + 19 = -3*i, -2*w = -i - w + 2. Let l = -3 - i. Solve l = 3*j - 4*j + 5 for j.
5
Suppose 4*q = -2*h + 4 - 0, -4*h + 2*q - 2 = 0. Solve 4*c = -h*c + 4 for c.
1
Let l = -24 - -26. Solve 0 = -l*r - 0*r for r.
0
Suppose -3*n + 14 = 4*y, -3*y - 2 = n - 10. Let t be 2/6 + 22/6. Solve 4 = y*i - t*i for i.
-2
Let s(u) = -3*u**2 + 4*u + 3. Let z be s(-3). Let f be ((-1)/(-2))/((-1)/z). Solve 5*t - 3 = -f for t.
-3
Let d = -18 - -34. Suppose -3*