4*m - j for m.
4
Let v be ((-6)/(-9))/(-1)*-3. Suppose -v = -q - 0. Solve -2*d + h = 7, -5 + 13 = -q*d + 2*h for d.
-3
Suppose -4*t - 18 = -5*t. Let v = t + -13. Solve -v*d + 2*b = -20, 0*d = -2*d - 5*b + 8 for d.
4
Suppose 0 = 12*s - 9*s - 6. Suppose 0 = w - s*q - 5, 0 = 4*q + 2 + 2. Solve v + 5*j + 4 = w*j, 2*j = 0 for v.
-4
Let c = 4 + -3. Let h(i) = i + 9*i + c - 3*i. Let o be h(2). Solve -5*s + o = 5*x, 3*s = 4*x - 3*x - 7 for s.
-1
Suppose 3*q + 9 = 21. Let h be ((-10)/q)/(10/(-20)). Solve h*w + f = -9, -3*f - 2*f + 9 = -2*w for w.
-2
Suppose -4*v - 20 = -9*v. Suppose -4*f = -2*s, -2*f - 6 + 18 = 5*s. Solve -v*u + 14 = -s*y + 4, -u = -5 for y.
5
Let o be (1*35 - -1) + -1. Suppose 32*s - 164 = -36. Let g(x) = x**3 + 4*x**2 - 6*x - 3. Let m be g(-5). Solve -o = 5*d - s*v, 4*v - v - 21 = m*d for d.
-3
Let c be (-511)/(-35) + 2/5. Suppose 4*i - c = 1. Solve 2 = -w + k + 8, -i*k = 12 for w.
3
Let v = -38 - -68. Solve 4*g + 2*n + 30 = 0, 3*g - 8*g - v = n for g.
-5
Suppose 2*p + 0*y = -y, 0 = -4*p + 3*y + 20. Solve 1 - 5 = p*d, -2*u + 4*d = 0 for u.
-4
Suppose -3*x = -3*g, 8*x - 3*x - 25 = 0. Solve 2*k + 2*k + 30 = -g*v, 0 = -4*v - 8 for k.
-5
Let m(z) = -z**3 - 6*z**2 + 8*z + 5. Let l be m(-7). Let u be (10 - 10)/(0 + l). Solve -3*d + 5*d - 8 = u, -3*d = -a - 11 for a.
1
Let r(w) be the first derivative of w**3/3 + w**2/2 - 2*w + 2. Let n be r(-2). Let j = 10 + n. Solve -5*f - 3*u - 25 = 0, f + 4*u + 32 = j for f.
-2
Let c = 85 + -81. Solve 0 = 5*x - 0*p + 3*p - 18, -c*p + 1 = -x for x.
3
Let a(v) = v**3 - v**2 - 4*v - 2. Let w be a(3). Solve -2*m + 30 = -w*n - 7*m, -3*n - m = 17 for n.
-5
Suppose 0*x = -x + 7. Let b = x - 4. Suppose 5*l - 24 = -2*q, -4*q = -4 - 4. Solve 0*d + 10 = 2*g - l*d, -2*g - 18 = b*d for g.
-3
Let i = 67 - 62. Solve 0 = 4*g + i - 1, -2*w + 3*g + 5 = 0 for w.
1
Suppose -5*l + 20 = -l. Let r(d) = -d**2 - 7*d - 2. Let s be r(-7). Let i be ((-2)/6)/(s/12). Solve p + 2 = 0, -i = -3*f - p + l*p for f.
-2
Let y(f) = f**2 - f + 4*f**2 - 1 + 0*f + f**3. Let c be y(-5). Suppose c*s = -5*x, 9*x - 4*x = -3*s. Solve 5*b - 10 = q, s = -3*q + 3*b + 2*b for q.
5
Suppose -2*x - 1 = -11. Solve -x*q = i - 2 - 3, 21 = -2*q - 5*i for q.
2
Suppose 2 = h - 5. Let n = 12 - h. Solve 5*l = 2*j - 18 - 13, n*j = -2*l + 5 for j.
3
Let j(p) = 3*p**2 + 6*p + 2. Let x be j(-4). Solve -2*g = 2*g + 2*v - x, -4*v = -g - 16 for g.
4
Let s = 10 - 10. Let o be 7 + 2 - s/1. Solve 0*w + w = 5*k + o, 4*k + 12 = -4*w for w.
-1
Let j(z) = z**2 - 2*z - 4. Let w be j(4). Solve -w*r + 14 = 2*a - 7*r, -17 = -a + 4*r for a.
1
Suppose -o + 0 = -2. Suppose -3*l + 4*l = -3*y + 4, 0 = -4*l - 2*y - 24. Let p be -3 - -2 - l - o. Solve 3*s + 4 = 5*h, -14 = -p*h - 6*s + 4*s for h.
2
Suppose 2 = 3*i - i. Let b be (i + 0 + -1)*-1. Solve -3*j - 4*u - 17 = b, -j = 3*j - 5*u + 2 for j.
-3
Let g(b) = 5 + 0*b + 7*b + b**2 - 1. Suppose 2*x + 0*x = -14. Let k be g(x). Solve 3*r - 4*z = -2*z - k, 0 = 4*z + 4 for r.
-2
Let w(z) = -10*z. Let k be w(-1). Let d be 1/2 - 66/(-44). Solve 16 = 5*s + 3*t, -d*s = -3*s - 5*t - k for s.
5
Suppose -v + 3*v = 4*f - 84, v - 98 = -5*f. Solve 3*z = 5*o + 8, 0 = 3*o - 2*z + 4*z + f for o.
-4
Let i be (-6)/(-6)*6/2. Solve 3*v - 2*x - 13 = -6*x, 6 = v + i*x for v.
3
Suppose -2*f + 3*f = 3. Solve -3*y - 1 = 2, 3*u = -3*y + f for u.
2
Suppose -3*v - 18 - 13 = -4*k, 0 = -3*k + v + 27. Suppose -8 = 3*d - 5*d. Suppose c = -0*c + d. Solve -15 = 4*r + f, 5*f = c*r + 11 + k for r.
-4
Let i be ((-3 - -6)*2)/1. Let n(c) be the third derivative of -c**5/60 + 7*c**4/24 + c**3/3 + c**2. Let j be n(i). Solve 3 = w + a - 4, -4*a - j = -5*w for w.
4
Let w(a) = 2*a + 2. Let l be w(0). Let u be 1 + 3/(l - 5). Solve -t + u = -4*f + 17, -f - 2*t - 7 = 0 for f.
3
Let b be -1 + (2/6)/1*3. Solve 5*o + 0*c = 3*c + 6, -3*o + c + 6 = b for o.
3
Suppose -4*i + 2 = 2*r, -2*r = i + 4*i - 5. Suppose i*v = 5*v - 4. Let u be -1*2*(-20)/v. Solve 0 = -5*z - l + 25, -4*l + 0*l - u = -4*z for z.
5
Let a be (-4 + 1)/((-12)/(-8)). Let p be a/6 - 50/(-15). Solve 0 = -p*w - 6, -13 = i + 5*w - 3 for i.
0
Let d(b) = -b**2 + 5*b + 8. Suppose 11 = 2*z - 1. Let p be d(z). Suppose -5*i + 4 = -11. Solve 0 = -w + i*a - 8, -5*w + p*a = -a + 28 for w.
-5
Let o(y) = -2*y**3 - y**2 - 4*y - 2. Let h be o(-2). Solve 4*n + h = -b, 5*b = 2*n + 2*n + 30 for n.
-5
Let l be (8/52 - 18/(-52))*6. Solve l*c - 2*x - 6 = -6*x, -x + 10 = 5*c for c.
2
Let a = 24 - 15. Solve -9 = 3*t + 3*p + a, -t + 12 = -5*p for t.
-3
Let i(u) = -u**3 + 6*u**2 - 4*u + 3. Let y be (-1 + 0)*(-20)/5. Let q be i(y). Solve -5*k + 23 = n - k, 2*n + q = 5*k for n.
3
Suppose w - 2 = -0*w. Suppose 0*x = x - 3, w*x = 4*h - 6. Solve -2*g - u + h*u - 4 = 0, 0 = -5*g + 3*u for g.
3
Suppose 0 = -4*a + 4*a + 2*a. Solve 0 = -a*z + 4*z - 3*d, 0 = 2*d for z.
0
Suppose 13 - 3 = 2*z. Solve 2*q + 19 = -0*q - 3*p, z*p = 4*q + 5 for q.
-5
Let l(q) = q**2 - q + 4. Let d be l(0). Let n(t) = 3*t - 2. Let w be n(2). Let v = w - d. Solve v = 2*a - 0*b - b - 5, 3*b = -3*a - 6 for a.
1
Let a(g) = -3*g**2 - 2*g + 1. Let x be a(2). Let w = x + 17. Solve 0 = -3*q + 12, -w*q = 5*h - 4*q + 13 for h.
-1
Suppose 3*d = 3*a - 8*a - 2, -12 = 3*d. Suppose 6 = k + a*k. Solve 4*x = o - 8, -k*x - 1 = -4*o + 3 for x.
-2
Let a(n) = -3*n**2 - n**2 + 5*n**2 + 3*n. Let v be a(-4). Solve -2 = 2*l + o, 0 = 3*l - l - v*o + 12 for l.
-2
Let d(t) = -t**2 + 9*t + 6. Let p be d(8). Let i be (1 + p)*4/12. Let h = i - 0. Solve -r - 3*b + 1 = 0, r + 5*b = h*r - 4 for r.
1
Suppose 0 = -3*s - y + 5, -4*y + 4 = 3*s - 2*y. Let b be (-3)/(-9) - s/6. Let j = 19 - 16. Solve b = -4*f - 8, 6*h + j*f + 26 = 2*h for h.
-5
Suppose 2*i - 86 + 12 = 0. Suppose -s - 3*s = r - 32, -5*s = r - i. Suppose 4 + 1 = -2*x - 3*o, -3*x = -2*o - r. Solve 3*c - 5*g + x = -7, 3*g = c + 7 for c.
2
Let w(r) = -r**3 - 3*r**2 - 2*r - 2. Let d be w(-3). Solve 0 = -k + d*f - 17, -k - 20 = -3*f - 6 for k.
-5
Let j be 300/(-40)*(-8)/10. Solve -5*q + j = d, -q - 4*q = -5*d - 30 for q.
2
Let t(a) = -a**2 - 7*a + 6. Let p be t(-6). Suppose -w = -0*w - p. Suppose 21*u = 20*u + 5. Solve -w = -u*d - 4*h, -3*d - 4*h + 1 + 3 = 0 for d.
4
Let i(g) be the second derivative of g**4/12 - 3*g**3/2 + 6*g**2 - 2*g. Let n be i(8). Solve 5 = x + d, 3*x - 15 = 4*x - n*d for x.
1
Let h = -31 - -19. Let p be ((-2)/1)/(2/h). Solve 3*b + 4*u - 16 = 3*u, b = 4*u - p for b.
4
Let f = -22 + 39. Suppose -2*t = 3*i - 1, -i - 2*i + 2*t = -f. Solve 5 = -q + 5*u, -i*q - 2*q + 2*u - 2 = 0 for q.
0
Let v = 2 + 3. Suppose 0 = -v*y - 4*m + 26, 3*y - 5*m + 7 + 7 = 0. Suppose 0 = -2*s, -8 = -y*x - 0*x - 5*s. Solve -2*o - o = -t - 12, 12 = x*t + 3*o for t.
0
Let i = 5 - 1. Suppose i*s - 3 = s. Let f be 14 - 1/s*-1. Solve y - f = 2*r - 6, -r + 9 = 4*y for r.
-3
Let n = -3 - -6. Suppose -10 = -4*o - 2*y + 18, -n*y - 22 = -2*o. Suppose -3*b = -b - o. Solve 2 = 2*r - d, -4*r = -d + b*d - 4 for r.
1
Let u(g) = -g**3 - 9*g**2 + 11*g + 8. Let j be u(-10). Let h be 4 + -1 + (-2)/j. Solve 0 = -v + 3*i - 7, 5 = -3*v + h*v + 3*i for v.
-1
Let k(t) = -4*t - 20. Let g be k(-6). Solve -21 = -g*r + l, 0*r - 3*l - 18 = -3*r for r.
5
Let u(g) = 2*g - 12. Let o be u(10). Let w be -4*(100/o)/(-5). Solve p = 2*a + w, -18 = 5*a + 2*p - 2 for a.
-4
Let t(n) be the third derivative of n**4/24 - n**3/3 + 2*n**2. Let v be t(2). Suppose 10 = 4*r + r. Solve v*h + 4*h - 2*o - 16 = 0, r*h + 3*o = 0 for h.
3
Suppose 14 = 2*h + 4*j, 0 = -2*h - 3*j - 2*j + 13. Let r = -9 + h. Solve -5*n + 5 = 5*w - r*w, n - 4 = -4*w for w.
1
Suppose 5*d + 56 = -4*p, -2*p = -3*p - 3*d - 21. Let i(y) = -4*y + 5. Let g be i(5). Let n be g/(p/2 + 3). Solve -3*o - 32 = 5*j - n, 8 = 2*j - 3*o for j.
-2
Suppose 6 = 3*p, 5 = 2*b + 3*p - 11. Solve -b*u = -5*o - 30, 2*o = -o - 9 for u.
3
Suppose -b + 1 = c + 4, -3*b + 3*c + 21 = 0. Solve -12 = -4*m + 4*d, b*d = m + 7*d - 15 for m.
5
Suppose 0 = -3*v + v + 10. Solve -16 = -4*a - 4*k, -4*a = -0*a + v*k - 21 for a.
-1
Let o(j) = 4*j - 1. Let a be o(4). Suppose 3*b - 5*d = b - 2, -20 = -3*b - 4*d. Suppose -a = -v - b*v. Solve 3*p = -2*g + 10 - 3, -2*g = -v*p + 11 for p.
3
Let g = 5 + -7. Let o be (g + 2)*1/(-2). Let f be 256/18 + (-2)/9. Solve 5*d - 29 = -3*i, -2*i + o*i + f = 2*d for i.
3
Suppose 7 = 4*r - 1. Let t(b) = -b**2 + 6*b - 5. Let s = 15 + -10. Let u be t(s).