+ s*j - t = 0 for g.
4
Suppose 5*k = 13*k. Solve -o - 1 = 4, k = -4*u - 3*o - 15 for u.
0
Suppose 0 = -2*n - 2 - 0. Let h be 16/(n/(0 - 1)). Suppose -3*r + 3*q + 7 = -q, -4*r + h = -4*q. Solve 0 = 2*a + 4*o + 22, -4*o - r - 7 = 0 for a.
-3
Let q be 2/(-4)*0 + -1. Let m be 0/(q/((-3)/6)). Solve 3*d + 3 = -r, 0*r - 2*r = m for d.
-1
Suppose 5*f - 35 = -10. Solve -c = 2*t + 2*c + 10, f = -t - 3*c for t.
-5
Let t(q) be the third derivative of -q**4/24 + 11*q**3/6 - 2*q**2. Let a be t(11). Suppose 2*o - 6 - 10 = 0. Solve -7*d + o = -3*d, a = 4*n - 4*d + 20 for n.
-3
Suppose 4*q = -4*d - 8, d = -2*d + 3*q + 24. Solve -5*b = c - 3 + 6, 5*c = -d*b + 7 for b.
-1
Suppose 235 = 3*x + 61. Suppose -x - 72 = -5*a. Suppose 11 - a = -3*w. Solve 3*v + 3*s - 15 + 0 = 0, w*s = 0 for v.
5
Let s = -36 - -13. Let d = s - -25. Solve -h = 0, -z - d*h - h = -5 for z.
5
Suppose 0*y + y = 2. Suppose 4*o + y*p = p + 18, 0 = -3*o - p + 13. Solve -o = 3*t + 2*k, 0 = 2*t + 2*k + 2 + 4 for t.
1
Let s be -3 + 4/4 + 3. Suppose h = 3*h - 2, x - s = -h. Solve -5*q + 3 = -q + 5*c, x = -5*q - 4*c - 3 for q.
-3
Let n(o) = -12*o**3 + o**2 + o + 1. Let j be n(-1). Solve 2*q + j = 3*a, -5*q - 19 = a - 4*a for q.
-2
Suppose -2*c + 5*v = -4*c - 22, v = 0. Let w = -6 - c. Solve 4*l - 3*a - 11 = 3*l, 3*a + 35 = -w*l for l.
-4
Suppose 5*z - 40 = 5*w, 10*z - 5*z + 5*w = 20. Solve 4*p = 3*c + 5, c = -5*p + 2*p - z for c.
-3
Suppose 0 = 5*z + 8 - 18. Solve -4*p - 2*u - z*u - 12 = 0, 3*p + 5*u = -11 for p.
-2
Let f(t) = t**2 + 2. Let u be f(0). Let r(k) = -2*k**2 - 3*k + 5. Let p be r(-4). Let o = 4 - p. Solve -o = -2*w - 3*s, -3*w - 2*w - u*s + 20 = 0 for w.
2
Let t(d) = 2*d**2 + 7 + 6*d + d - d**2. Let p be t(-6). Let r be (-2)/(-2) + (6 - p). Solve -4*g + 2*a = -26, 29 = 4*g - 5*a - r for g.
5
Suppose -5*t = -4*y + 45, 7*y + t - 15 = 3*y. Suppose -5 - 5 = -y*k. Suppose 2*i - 16 - 6 = -f, -3*f - 2*i = -66. Solve u + f = -5*x, 0*u = -x - u - k for x.
-5
Let q(h) = -h**3 + 19*h**2 - 15*h - 14. Let l be q(18). Suppose 6*u - 4*u + 4*o - 26 = 0, -o = u - 8. Solve 3*z - u*s + 35 = -2*z, -4*s = -5*z - l for z.
-4
Suppose 0 = -v - 3*m + 4, -v = 3*v + 4*m - 16. Let x = 7 - v. Solve -4*t - 2 = -2*t, -4*s - x*t - 3 = 0 for s.
0
Let v be 0*(-2)/(-4 + 8) + 0. Solve -y + u = v, 4 = y - 2*y + 2*u for y.
4
Let r(s) = s**3 + 7*s**2 + s + 9. Let t be r(-7). Let m = t + 0. Solve c + 4 = m*l - 3, 0 = -2*l + 10 for c.
3
Let c(p) = 5*p. Let h be c(-3). Let q = h - -25. Solve l - q = 3*l, -4*l - 23 = 3*t for t.
-1
Let s = -18 - -8. Let m be (8/s)/(2/(-5)). Solve z - 9 = -2*v, 3*z - 21 = -m*v - 2*z for v.
3
Let t be 2 + -1 + (-1)/(-1). Suppose -30 = -22*l + 7*l. Solve -2*m = -5*m + s - 8, -t*s + l = m for m.
-2
Let p(n) = n**2 + 5*n - 1. Let j be p(-6). Suppose -34 + 4 = -2*h. Solve 4*a = 5*m + 6 + 7, -j*a - h = 0 for m.
-5
Let f be (-10)/4*36/(-10). Let i = -5 + f. Solve b = -2*y - i, -3*y + 8 = -6*y - b for y.
-4
Let a(f) = f**3 + 7*f**2 - 9*f - 6. Suppose 0 = 2*l + 3*l + 40. Let h be a(l). Solve h*g = -10, -4*q + 0*q = -2*g + 2 for q.
-3
Let w be 3 - -1 - (-2)/(-2). Let z be w/(-3) + 6 + -1. Suppose 3*v - 3 = -3*m, -z*m + 2*v = 5*v - 5. Solve -t - 18 = m*d + 3*t, d - t = -3 for d.
-5
Suppose 480*a - 484*a = -24. Solve -3*g + a = -m, -2*m - 11 = -4*g - g for g.
1
Suppose 0 = -g - 3*c + 6, 0 = g - 3*c + 8*c - 8. Solve 28 = -4*o - g*v, 3*o - 2*o - 4 = 2*v for o.
-4
Suppose 3*y + 2*y = 20. Let s(f) = -f**3 - 4*f**2 + 8*f + 4. Let z be s(-5). Let j = 20 + z. Solve 0 = 5*a - t, 29 = -y*t + j for a.
-1
Let z(u) = u - 1. Let t be z(6). Let w(d) = d + 10. Suppose 5*a + 32 = -3. Let b be w(a). Solve -m + 4*c = 17, 3*m - t*c + 33 = b for m.
-5
Let x(k) = -1 + 4*k + 1 - k - 5. Let j be x(4). Solve 3*n - j*c + 21 = -3*c, 4*c = 12 for n.
-3
Let d(y) = -2*y - 2. Let v = -4 - -1. Let a be d(v). Solve 0 = -2*l - 2*l - n + 15, -l + a*n - 9 = 0 for l.
3
Let l(p) = p**3 + 4*p**2 - p + 1. Let h be l(-3). Solve 0 = -2*g + 5*z - h, -3*g + z - 5*z - 8 = 0 for g.
-4
Suppose -5*n + 5 = p + p, -2 = -2*p - 4*n. Let c = 0 - p. Solve 0*z - 3*z - 3*h = 3, c = -3*z - 4*h for z.
1
Suppose -b - 10 = -6*b. Suppose -5*u + 55 = 5*m, -2*u = 2*u - 20. Solve -3*q - 4*k = m, 0*q = -3*q - b*k - 6 for q.
-2
Let g be 4/(-3)*(-6)/4. Suppose -g*u = -3*k - k - 18, -4*k = 5*u - 87. Solve a - 3 + 4 = 0, -5*a = 5*c - u for c.
4
Let z be (-216)/(-6) - (1 - 1). Suppose -5*m + z = -29. Solve 0 = 3*j - 5*q + m, -2*j - 16 = -5*q - 4 for j.
-1
Suppose -2*p = -7*p. Let q(f) = f**2 + f + 4. Let w be q(p). Solve 0*u - 5 = h + w*u, 3*u + 8 = -5*h for h.
-1
Let m be (-3)/(-4) + 208/64. Suppose -f = -3*n + 13, -4*f = -5*f - 4. Let r(c) = c + 4. Let l be r(-4). Solve l = -2*j - 4*w - 24, 3*w - m*w = n*j + 11 for j.
-2
Let p = 67 - 64. Solve p = -x + 8, -2*d - 4*x + 26 = 0 for d.
3
Let i = -19 - -20. Solve 11 = -5*w + 3*h, 4*h + i = 2*w + 11 for w.
-1
Let w(r) = -r - 9. Let b be w(-13). Solve -7 = n - 2*u, -n + 2*n + b = -u for n.
-5
Let j be (-1)/(16/(-5) - -3). Suppose 0 = j*h - 8 + 3. Solve -3 = s - q, -5*s - h = -q - 2 for s.
1
Let h be 3*(-2 + (-20)/(-3)). Suppose -3*s - 31 + 58 = 0. Solve 0 = -8*v + 3*v - 3*r - h, 0 = 3*r + s for v.
-1
Let c(j) = -j**2 - 6*j + 14. Let q be c(-6). Solve 5*z + q = -v, 0 = 4*z + v + 10 + 1 for z.
-3
Suppose -5*d + 95 = -5*q - 55, 3*q = -15. Suppose w + 5*m = 12, 4*w - 2*m = d + 23. Let i = -1 + 1. Solve 0 = -c - 3*t - 8, c - 2*t - w = -i*c for c.
4
Let v(b) = -2*b**2 - 14*b - 8. Let s be v(-6). Solve 0 = s*i - m + 5*m, -m + 3 = 4*i for i.
1
Let t be (-1*(2 + -2))/2. Suppose 22 = 2*a + 2*z - 3*z, t = -5*a + 4*z + 61. Solve -20 = -5*f, 4*r = -r - 4*f - a for r.
-5
Suppose -i - 8 = -0*r - 2*r, -i = 5*r - 6. Solve 0 = -v - r, -z - 2*z = v + 8 for z.
-2
Suppose 2*o = -2*o - 4. Let h = 0 - o. Let b = h - -1. Solve 3*i + i + 2*y = -16, -3*i + b*y = 19 for i.
-5
Suppose -8 = -2*y + 4. Suppose -52*a + 24 = -44*a. Solve n + 10 = 5*o + 6*n, a*n = 5*o + y for o.
0
Suppose 4*m + 2*l = 26, -2*m + 5*l + 6 = -13. Solve -2*t + m = 3*i - 3, 2*t + 6 = i for i.
4
Let i be 108/(-8)*4/(-6). Let q = -5 + i. Suppose -4*o = -12 - 0. Solve 26 = -b + 3*b - q*a, o*b + 16 = -5*a for b.
3
Let g be 14/2*(-6)/(-7). Suppose 0 = 4*n - 2*n - g. Let x(k) = k**3 + 8*k**2 + 4. Let b be x(-8). Solve 0 = 2*i + 2*m + 14, 3*i - b*m + 5 = -n*m for i.
-3
Let f = 1 - 1. Solve 5*z + f*z + 26 = -4*x, -2*z = -3*x - 8 for x.
-4
Suppose 3 = -3*u + 3*l, -2*l + 0*l = 5*u - 16. Let j(d) = d**3 - d**2 - d + 8. Let t be j(0). Solve -3*w + 6*w - 2*i + t = 0, -u*w - i = -4 for w.
0
Suppose -4*y = -9*y + 25. Solve 9 = 2*a + y*c - 7, 4*a = -2*c + 16 for a.
3
Suppose -8 - 4 = -3*v. Solve 2*g - k - 9 = 0, 4*g - 22 - 2 = -v*k for g.
5
Let d(u) be the third derivative of u**5/12 + u**4/24 + u**2. Let w be d(-1). Solve -5*i = 3*k + 11, -5*i + w*k - 9 = 23 for i.
-4
Suppose 5*u + 6 = -4*b, 3*u + 2*b + 3*b + 14 = 0. Let c be 4*(4 - u - 1). Solve -2*d + l - 29 = -4*l, -33 = c*d - 5*l for d.
-2
Let w = -4 + 6. Suppose -w*g + 21 = 3*q, 0*q + 14 = 2*q + 5*g. Suppose 50 = 5*i + 5*o, q = -i + 4*o - 8. Solve 0 = r + 3*a + 11, a - i*a = -r + 17 for r.
1
Let y(w) = w**3 + 4*w**2 + 2*w. Let f be y(-3). Solve 0 = r + 4*h - 18, f*h - 5*h = -3*r - 2 for r.
2
Let x be 34/(-8) - (-1)/4. Let f be x*((-6)/4 - -1). Let t be f/3*(-18)/(-3). Solve 2*d - 4 = t*d + 2*j, 0 = -2*j + 6 for d.
-5
Suppose 30 = 2*a + a. Suppose -2*u + a = 2. Solve 5 = -w, u*i = -w - 4 - 13 for i.
-3
Let m(x) = 2*x - 10. Let c be 4/10 - (-66)/10. Let q be m(c). Solve q*p = 2*o + 2*p - 4, -3*p = 3*o + 24 for o.
-3
Let n(p) = 75*p. Let y be n(1). Suppose 5*o = a + y, 2*o - 3*o - 1 = 3*a. Solve 2*i = 5*i - 5*m + o, 7 = -3*i - 2*m for i.
-3
Let k be -12*(-1)/4*2. Let r be (-1)/(-2) + 9/k. Solve 0 = 3*a + 2*b - r, 3*a - 2 = -b - 1 for a.
0
Suppose -12 = -3*y - 4*b, -b = -4*y + 2*b + 16. Suppose y*w = -w. Solve 3*z - 2*q - 1 = w, -3*z - 2*q + q = -13 for z.
3
Let a(g) = g**2 - 3 + 0*g + 0*g - 2*g. Let f be a(3). Let u(k) = -2*k - 1. Let m be u(-3). Solve -23 = -2*p + 4*p + m*b, f = -2*p + b + 7 for p.
1
Let x(g) = -g**2 - 3*g + 30. Let m be x(-5). Solve 5*f - m = 5*v, 0*v = -4*v - 3*f - 2 for v.
-2
Let a be (-12)/16 + 22/8. Suppose -3*r - a*s = 6, -5*s - 12 = 3*r + 3. Solve r = 3*t - 5*z - 40, 7*z + 20 = t + 4*z for t.
5
Let m be 2/(-6) + (-28)/(-12