*x - 6 for x.
-4
Suppose -b + 3 = -0*b - 3*o, 0 = 2*b + 2*o - 38. Solve r + b = -j - 3*r, 35 = 3*j - 4*r for j.
5
Let r be 6 - (8 + -4 - 1). Solve -r*d - 2*f = 20, 5*d + 0*f = f - 16 for d.
-4
Suppose 7*y + 30 = 2*y. Let w = 9 + y. Solve 0 = -5*z + w*f + 22, -3*z = -z - 3*f - 7 for z.
5
Suppose 2*x + 5 = 3*x. Let o = x + -2. Solve -3*v + 3*k = 12, -o*v - 2*k + 3*k = 12 for v.
-4
Suppose -7*t + 15 = -2*t. Solve 0 = -t*w - f + 5*f + 8, -3*w - f - 2 = 0 for w.
0
Suppose -2*h = 8 - 12. Solve -4*k + h = -w - 7*k, 2*w + 2*k = -8 for w.
-5
Suppose 2*x = 5 + 3. Solve 0 = m + 2*v + v - 15, 0 = -x*v + 20 for m.
0
Let y be 80/(-30)*3/(-2). Let z(b) = -b**3 + 3*b**2 + 7*b - 6. Let s be z(y). Solve 3*g = -2*h + 6*g + s, -4*g + 12 = 4*h for h.
3
Let h = 165 - 161. Solve -m + 10 = 3*l, 0*m + h*m - 26 = -5*l for l.
2
Let b = -2 + 5. Solve b*p - 11 = 4*f - 0*f, 0 = 2*f + 4 for p.
1
Let z = 160 - 124. Let p be (-4)/(-20) + (-38)/(-10). Let c(f) = 2*f**2 - 3*f + 1. Let y be c(-3). Solve -s + 2*q = p*s + y, 4*s = 5*q - z for s.
-4
Let a(k) be the third derivative of k**5/60 - k**4/6 - 2*k**3/3 - 2*k**2. Let p be a(6). Solve -5*v = -5*t - 7 - p, 3 = v + 4*t for v.
3
Let q be (2 - (-4)/(-8))*(-40)/(-15). Solve -2*a = -5*k - 29, -q*k + 14 = -a + 36 for k.
-5
Suppose 7 = 5*x - 8. Suppose 0 = 5*k - 3*a - 2*a - 30, 0 = -2*k - a + x. Solve 0 = -4*g + v - 0*v - 8, 5*g = k*v - 17 for g.
-1
Let u be (-4 - -4)/(-4*(-4)/8). Solve 0 = -n + 3*v + 1, v = -u*n - n - 3 for n.
-2
Suppose 4*j = -2*i + 12, -2*i + 0 = j - 3. Suppose 5*o + 2*c + 2 = 7, 2*o - 2*c - 16 = 0. Let f = o - i. Solve 2*x + 0*g + 2 = -2*g, f*g - 9 = 0 for x.
-4
Suppose -3*q + 0*q = 0. Solve q = t - b + 6, 4*t + 16 = 8*t + 4*b for t.
-1
Suppose -h = -6*h - 25, 5*g = -5*h - 25. Suppose 5*d - 37 = -3*v, -3*d - 4*v - 1 = -21. Suppose -d = -0*z - z. Solve -2*b + 29 = -5*x, -4*b + z = -g for x.
-5
Let g be 0 - (2 + 0 + -1). Let x = g - -7. Suppose b - 2*w = -b + x, -3*w - 9 = 0. Solve b = -2*s - 3*r + 8 + 1, -3*s + 3*r - 24 = 0 for s.
-3
Suppose -4*y + 3 = -u, -3*u = -2*y + 4*y - 19. Suppose -y*m - 5 = -15. Let q be 1 + -1 + (m - 1). Solve q*h + 2 + 0 = 2*l, -l + 11 = 3*h for l.
5
Let j(l) = -5*l + 1. Let o be j(-1). Suppose 0*w = 2*w - o. Let z = 2 + -2. Solve 4*b + z*b - 12 = -2*q, -b = -w for q.
0
Let u = 7 + -3. Suppose 0 = -4*t - t - 40. Let l = 12 + t. Solve -l*j - 3 = -4*k + k, 3*j - k - u = 0 for j.
3
Suppose 2 = -3*a + 17. Suppose -3*v + 21 = 3*k, a*k + 1 = 2*v + 22. Solve 16 = -3*t + 4, 0 = k*o - t + 1 for o.
-1
Let n be 2/9 + 76/(-18). Let u(a) be the third derivative of -a**5/60 - a**4/3 - a**3 - 5*a**2. Let g be u(n). Solve 3*o = 3*i - 0*o + 12, 0 = -5*o + g for i.
-2
Let z = -1 - -6. Let d be (3/2)/((-6)/(-16)). Let r be 0 - (-1)/(-2)*-4. Solve -r*v + j = 7 - 1, -d*j + 18 = -z*v for v.
-2
Let w(d) = -d**2 + 7*d + 10. Let f be w(8). Suppose -8 = 5*k - 23. Suppose 5*v + z = f*z + 16, -v + 16 = k*z. Solve -v - 5 = 3*i - t, -3*t - 3 = i for i.
-3
Suppose -3*v + 28 = 5*n - 17, 5*n - 3*v = 45. Let f be ((-2)/6)/((-1)/n). Let p be 0 + (144/(-6))/(-3). Solve -p = f*s - 4*i - 0*i, -s - i = -9 for s.
4
Suppose 5*v - 4 - 6 = 0. Solve 4*l + 12 = v*l + 4*j, 3*l = -3*j + 18 for l.
2
Suppose 16 = 7*w - 26. Solve -3*a - 3 = 2*j + w, 0 = -j + 2*a + 6 for j.
0
Let u(h) = 11*h**2 + h. Let r be u(-1). Let c = 62 - r. Suppose z - 4*z + i = -45, -4*z + 4*i = -c. Solve 2*a - 5*y - 16 = -2*a, 0 = -4*a + 2*y + z for a.
4
Let n(t) = -t**3 + 3*t**2 - 2. Let h(i) = -2*i - 2. Let s be h(-2). Let k be n(s). Let g = -47 - -51. Solve -g*p = 4*f, -4*p - f = f - k for p.
1
Suppose -o = 6*o - 70. Solve -4*a + 5*l = a + o, -14 = -5*a - 3*l for a.
1
Let n(d) = 4*d**2 + d - 2. Let b be n(1). Solve 32 = -4*h - 4*v, v - b*v + 19 = -5*h for h.
-5
Suppose 3*l + b - 4 = 11, 10 = 2*l - 5*b. Suppose 6 = -2*u - 4*d, u = -4*u + d - 4. Let n = -1 - u. Solve 3*a - 3 = 4*w - n, -4*w + 37 = l*a for a.
5
Let r = 21 - 17. Solve 5*j = -q - 8, -r*j + 4*q = -15 + 7 for j.
-1
Let c be 0/(3/1 + -6). Solve -3*v + 16 = -2*k, -2*k - v - 8 + 0 = c for k.
-5
Let o(g) = g**2 - 4*g - 32. Let u be o(8). Solve -4*q = a + 8, 3*a + q - 9 = -u*q for a.
4
Suppose -2*m - 5*z = -29, 0 = 2*m + 3*m - 2*z. Let f = -8 - -18. Suppose m*d + 2 = f. Solve -5*k = 4*n, d*n - 28 = -k + 3*k for k.
-4
Let g be (8/(-6))/(12/(-18)). Solve -5*m - 5*s - 10 = -g*m, -3*m - 3*s = 0 for m.
5
Suppose 0*u - u = -6. Let z = u + -1. Solve 3*h - c - 5 = 8*h, -3*h - 31 = -z*c for h.
-2
Let x(f) = 5*f + 10 + 0*f**3 + 6*f**2 - 3*f + 4*f - f**3. Let i = -8 - -15. Let k be x(i). Solve -b + 5*g + 7 = 0, -b = 4*b - k*g - 13 for b.
2
Let q be ((-6)/9)/((-2)/6). Suppose -q*n + 2 = -n. Solve -n*b + b + 1 = 0, -3 = o - 3*b for o.
0
Let n be (-1)/(-4) - (-30)/8. Suppose 0 = 4*x - 0*x - 60. Solve 0 = 3*c + q + 1, 2 = n*c - q + x for c.
-2
Let a = -5 - 0. Let g = 7 + a. Solve 5*d + k = -21, 9 = -7*d + g*d - 4*k for d.
-5
Suppose 0*g = -2*g + 10. Let j = 0 + 0. Let y = 4 + j. Solve x + 5*z = 20, -y*z + 22 = x + g for x.
5
Let b = -6 - -6. Solve b = m + 3*m + 2*x + 8, 0 = 2*m - 2*x + 10 for m.
-3
Suppose -5*p + 95 = -4*i, p = -i + 3 + 7. Solve -4*c = 5*o + 4 + 21, -p = 3*o for c.
0
Suppose 3*k + 2 = -f + 14, -3 = -5*k + 4*f. Solve 0*q + q + k*v + 3 = 0, 2*q + v + 6 = 0 for q.
-3
Suppose 5*f - 2*f - 6 = 0. Let g = -10 + 12. Let v be 6/f + g/1. Solve -x + 3*u = -2*x - 3, 0 = 5*u + v for x.
0
Let y(u) = -u**3 + 3*u**2 + 3. Let r be -3 + (6 - (4 - 4)). Let f be y(r). Solve 2*m - f*b + 16 = 0, -2*m + 2*b = -6*m for m.
-2
Suppose -4*f = -7*f + 45. Solve -5*g - 2*k = -f, 4*k = -g - g + 22 for g.
1
Let a(m) = -2*m - 1. Let l be 2*(0 + 6/(-4)). Let n be a(l). Suppose -5*s + 2*s = n*i - 6, -2*s + 6 = 4*i. Solve i*u = 8*u - 4*k - 8, 6 = 3*u - 3*k for u.
0
Let r(c) = c**2 - 4*c + 5. Let l be r(4). Let n = 10 + -10. Solve -h = -5*i - 13, -i - l*h + 13 = -n*i for i.
-2
Let l(v) = -7*v - 5. Let f be l(-2). Solve -3*a + 0*a - 9 = 0, -3*n - a + f = 0 for n.
4
Let c be (-15)/(-4) - 1/(-4). Solve -y + 10 + 10 = -4*j, j + c = 0 for y.
4
Let l be ((-8)/(-6))/(1 + 6/(-18)). Suppose b - 5*n + 28 - 10 = 0, -10 = b - 3*n. Solve 5*i = 3*p + 12 + l, -2*p = b*i - 12 for i.
4
Suppose -3*a + 5*a + 4 = 0, 5*p = -2*a + 11. Solve 5*n - 22 = -4*v, 13 - 4 = v + p*n for v.
3
Suppose 3*o = 2*c - 7 + 21, -o + 6 = -c. Let n = -14 - -20. Let k be ((-10)/(-2))/(2/n). Solve q = -2*d - 9, -4*q - 3*d - k = -o*q for q.
-3
Let c be (-4)/22 + 268/22. Solve 4*x + 4 = -0*x - 3*a, -a = -4*x + c for x.
2
Let k = 10 + -6. Suppose 0 = 2*f + 5*i - 20, -2*f + k*i = -0*f + 16. Solve r + t - 5*t = 15, f = r - 2*t - 9 for r.
3
Let p be (-2)/(-5)*(2 + 3). Let t be -1*12/p - -1. Let n(y) = y + 7. Let z be n(t). Solve -4*u + 6 = -b, -2*u - z*u = 5*b - 18 for b.
2
Suppose 0 = 7*p - 3*p - 4, 2*m - 10 = -2*p. Solve -m*i + 5*o + 19 = 0, i = -0*i + 2*o + 7 for i.
1
Suppose -2*g - a = 8 + 7, 5*a = -5*g - 35. Let l = g - -12. Solve 4*f - 4 = 2*h + 14, l*h - 29 = -5*f for f.
5
Let w(f) = -7*f - 10. Let q be w(-2). Solve -3*b - 5 = m, 3*b + 8 = q*m + 28 for m.
-5
Let i(k) = k**3 - 5*k**2 - 5*k - 2. Let w be i(6). Let n be 6/w + 12/8. Suppose -n*q = -8*q + 15. Solve a + 5*x = 22, 0 = q*a + 4*x + 1 - 12 for a.
-3
Suppose 2 = -v - 2. Let m be 1 - 2*(v + 3). Solve k - 2*k - 2*h = 3, -4*k - m*h + 3 = 0 for k.
3
Let h(u) = 4*u**3 + u**2 - 2*u + 1. Let t = 16 - 15. Let m be h(t). Solve 0 = -d + 4*s - 18, 3*s - m = 5*d + 1 for d.
2
Let d = -97 - -99. Solve -4*x + 3*o = -8 - d, -2*x = o for x.
1
Suppose -8 = 2*h, 0 = -4*m - 3*h + 13 - 37. Let v be (m - 2/(-1))*-6. Suppose 3*s - v*s = 0. Solve 0 = 3*q - s*d + 5*d - 24, -q + d = 0 for q.
3
Suppose 0 = -n + 4*n. Suppose 4*z - 8 = -n*z. Let b be (-4 - -1)/(1*-1). Solve -l - z*u = -9, 19 = 4*l - b*l + 4*u for l.
-1
Suppose 0*u - 24 = -4*u. Solve -z + 5*i = -u*z, -4*z = 3*i - 2 for z.
2
Let f(o) be the third derivative of o**6/120 + o**5/6 - o**4/24 - o**3 - 4*o**2. Let y be f(-10). Solve -w - y*u + 1 + 6 = 0, 2*u - 17 = -5*w for w.
3
Let q be 8 + (3 - 2/1) + 0. Solve 4*l + 2*b - q = 3*b, -4*l = 4*b + 16 for l.
1
Suppose -a = a. Let s be 4 + (0 - (-6)/(-3)). Solve -2*n = 5*d + 9, s*n + a*d = 2*d - 2 for n.
-2
Let j be ((-24)/16)/(-1) + 2/4. Solve -5 = z - j*r + r, 12 = 4*r for z.
-2
Let d = 7 - 3. Solve -f = 5*o - d*f + 5, 3*o + 5*f - 31 = 0 f