z = 5, d = 5*z - 2*z - 9 for n.
1
Let j(i) = 0*i**2 + 42 - i**2 - 32 - 6*i. Let d be j(-7). Solve -4*s = -d*k - 12, s = -4*s - 2*k - 8 for s.
0
Suppose 0 = 7*l - 14. Let n = -1 + 10. Solve -l*r + n + 26 = -5*x, -5*r + x = -30 for r.
5
Let m(d) = -d. Let i be m(-5). Solve -2*s - 2*l = -i*l + 2, -2*s + 6 = l for s.
2
Suppose -u + 2 = 2*r, -2*u = -5*u - r + 6. Let x be 1 - (-1 + -7 + -3). Solve 6 = 5*d - u*s, -3 = -3*s - x for d.
0
Suppose 4*f = -0*x - 2*x, -2*x - f = -3. Solve 4*i - 10 = 2*d, -x*d - 3 = -2*i - 1 for d.
3
Suppose -10 + 2 = -2*c. Solve -c*w = -9*w, 4*t + 3*w + 4 = 0 for t.
-1
Let s = -52 + 79. Solve 4*t + 5 - s = -5*g, 0 = 2*t - 4*g + 2 for t.
3
Let x be 16/(4 + -8 - -6). Let y(s) = 2*s - 2. Let g be y(-3). Let q = x + g. Solve -n = 3*k + 1 + 11, 2*k - 5*n - 9 = q for k.
-3
Let g = 20 + -12. Solve 2 = 5*a - o + g, 20 = -2*a - 4*o for a.
-2
Suppose -16 = -5*a + b, -6*b = -3*a - 2*b + 13. Suppose 0 = 3*n - n - 8. Solve 0 = y - 4*o - 9, n*y + a*o + 3 = 6*o for y.
-3
Let f be 0/(2 + 2 - 1). Suppose -3*k + 3 + 36 = f. Solve -4*x = -2*x + 3*w + k, -3*x + 2*w + 13 = 0 for x.
1
Suppose -3 = -3*w + 6. Let z be 2 + (-2 - (-9)/w). Let p(g) = 6*g**2 + 1. Let q be p(-1). Solve y - f + 0*f = 5, -y - z*f - q = 0 for y.
2
Let q(a) = -5*a**3 - 2*a**2 + 2*a - 1. Let w be q(1). Let g(n) = n**2 + 7*n + 8. Let j be g(w). Solve j*z = 2*s - 3 - 3, -2*s + 4 = 0 for z.
-1
Suppose 0 = 5*u + 3*i + 9, 3*i = -3*u + 8*i + 15. Solve u = -4*t - 5*o - 17, 5*t + 0*o + 20 = -5*o for t.
-3
Let t = 30 + -10. Suppose 0*g - t = -g. Solve 4*u + 3*x = 9, -x - g = -5*u + 4*x for u.
3
Suppose -3 = -4*b + 29. Let g be 10/((-3)/(-6)*2). Suppose -2*f = -2*q - 12, -f - 4*q = -q + g. Solve -4*l - 5*z - 12 = -f*l, 0 = -2*z - b for l.
4
Let i(y) = -y + 8. Let j be i(3). Suppose -2*p - 4 = -4*v, 2*p + 4 = j*v - 0*p. Solve v*a = -2*a, 5*a - 15 = 3*q for q.
-5
Let w(a) = -a**2 - 11*a + 8. Let o be w(-6). Suppose -5*d + 59 = 4*r, -d + 5*r = -4*d + o. Let q = d + -8. Solve -5*t = 5*h - 10, 5*h + 30 = 8*t - q*t for h.
-2
Let r(w) = -w**3 - 10*w**2 + 12*w + 14. Let m be r(-11). Solve 0 = 4*s - 3*s - 3, m*n = -5*s + 18 for n.
1
Let i be (-2 - 4)*(-2)/1. Suppose -2*r - 3*u + i = r, 15 = 3*r + 2*u. Solve -n = 2*f + r, 3*n = -f - n for f.
-4
Let k(w) = -w**2 - 4*w + 2. Let j be k(-4). Solve -3*d - j*q - 18 = 0, 8 = -d - 5*q - 11 for d.
-4
Let u(d) = -d**3 + 14*d**2 + 2. Let j be u(14). Solve -3*g - 4*n - 17 = 0, 5*g + 11 = -0*n + j*n for g.
-3
Let r(f) = -f**3 - 6*f**2 - 2*f - 8. Let n be r(-6). Suppose -1 = h - n. Solve o = 0, u = h*o - 8 + 4 for u.
-4
Let n = -13 + 17. Let d(a) = a + 7. Let b be 2 + -1 - (4 - -1). Let h be d(b). Solve -n*r + 13 = h*i + r, 2*i - r = 0 for i.
1
Let z be 6*(5/2 + 0). Let a be (-8)/(-2) - (2 + 0 + -2). Solve 5*m - 4*l = m + 24, -a*l = -m + z for m.
3
Let u = 24 - 19. Solve -3*v + 0 = 2*i - 14, u*v - 30 = -5*i for v.
2
Let n be (-2)/(-5) + 17/(-5). Let m be (-34)/n + 8/12. Let u be -76*(0 + 1/(-2)). Solve -5*a + 2*t = 0, -3*a = 4*t + u - m for a.
-2
Let i = -6 - -6. Let x = i + 3. Solve -3*y = 5*p - 6, -y - 1 = -5*p - x for y.
2
Suppose 3*p = -0*p - n + 57, 0 = 3*p - 4*n - 72. Let o = p + -4. Solve -g - 9 = -2*b, -g + o = 2*b + b for b.
5
Let n(q) be the third derivative of -q**4/24 + q**3 + 6*q**2. Let w be n(3). Solve 0*r + 3*v + 12 = 5*r, 3*r - w*v - 6 = 0 for r.
3
Let o be (-21)/(-6)*(-96)/(-28). Let d = -8 + o. Solve 0 = 3*v - 4*p - 1, -d*v = 2*p + 6 for v.
-1
Let c be (-8 - -7) + (-12)/(-1). Let n = -8 + c. Solve -5*i + 11 = n*y - 4*i, 0 = 2*y - 5*i - 30 for y.
5
Suppose -2*c - 2 = -3*c. Suppose 5*r + 5*b = -600, 2*b = 4*r - c*b + 512. Let z be r/(-24) - 2/12. Solve z*l - 23 = -3*w + 3, -3*w + 18 = 3*l for l.
4
Suppose -5*q - 4*i + 160 = 0, -87 = -4*q + 2*q + 3*i. Let b be (-20)/(-6)*q/30. Solve 3*y + 4 = 5*t, -3*y - b*t + 16 = y for y.
2
Suppose 6*q - 4 - 20 = 0. Solve 2*r + q*t = 18, 0 = 5*r - t + 4 - 5 for r.
1
Let m(d) = 5*d**2 - 3*d + 8. Let p(r) = 6*r**2 - 2*r + 8. Let y(o) = -7*m(o) + 6*p(o). Let c be y(-10). Solve c*k - 3 - 1 = 2*i, 0 = 5*i - 5 for k.
3
Let p = 2 + 1. Suppose -p*m = -2*w - 16, 0*m + m - 2*w = 12. Suppose 5*v = -4*z + v + 8, m*z - 6 = -v. Solve -3*l + z*q - 12 = -6*l, -3*l + q = 3 for l.
0
Let h(c) be the first derivative of -c**2/2 - 3*c - 2. Let d be h(-3). Suppose 2*v - 10 + 0 = d. Solve 4*u - 2*l + 0*l = 10, -14 = -v*u + 4*l for u.
2
Suppose -2 = 7*b - 8*b - 5*v, -4*b + 8 = 2*v. Solve -h - 5*t = 7, 0 = -6*t + b*t - 4 for h.
-2
Let g(x) = -x**3 - 7*x**2 + 9*x. Let u be g(-8). Let k = u + 10. Solve -t - 3 = 2*w, 4*t - 21 = w + k*w for w.
-3
Let d = -8 - -13. Suppose -4*u + 9*u = -15, -2*i = -u - 13. Suppose m - i*m = 0. Solve -x - b + 2 = 0, b - 2*b + d = m for x.
-3
Suppose 2*y - y = 2. Suppose 2*u = -2 + 6. Suppose 0 = 2*x - 4*w - 20, 0 = -u*x - y*w + 3 - 1. Solve 0 = -x*a - h - 3, -5*a - 5*h - 6 = 9 for a.
0
Let i(b) = -8*b**3 - b**2 - 2*b - 2. Let m be i(-1). Solve r + 3 = z + 10, 4*r - m = -3*z for z.
-3
Let c = 12 - 12. Suppose 5*w - 43 - 37 = c. Solve -p - 3*k - w = 0, -3*k + 7*k + 8 = 2*p for p.
-4
Let i = -10 - -17. Suppose -i - 2 = -3*c. Suppose 0 = -c*h + h - 2, h - 3 = -t. Solve 2*d - 2*j = t - 2, d + 5*j = 1 for d.
1
Let v = -1 + 3. Solve -5*o + 35 = -4*i, 0*o - v*o = i - 1 for o.
3
Let b(m) = -m**3 + 3*m**2 + 2*m. Let g be b(3). Let a = g + -13. Let x = -5 - a. Solve x*i + i + 9 = 0, -5*i = 5*z + 10 for z.
1
Let t = -8 - -11. Solve -r + 3*m - 12 = 0, 4*r + 5 - 2 = -t*m for r.
-3
Let k = -1 - -2. Let d be 7/k - (3 + 0). Suppose 5*b = 5*g - 2*g + 34, -d*g = 5*b - 13. Solve -c = -5*u - 15, c = -c - b*u for c.
5
Suppose -100 + 20 = -5*h. Solve 0 = -4*w + 4*z - h, 2*z - 14 = 2*w - 2*z for w.
-1
Let r be (24/(-9))/((-2)/30). Suppose v - r = -v. Solve -6 = 3*k, 4*m + 5*k = k - v for m.
-3
Let n be (-1 - -9) + -2 + 4 + 0. Solve 0*t + t = 3*v - 2, -3*v - t = -n for v.
2
Suppose l - 2*z = 5 + 3, 3*l - 16 = 4*z. Suppose -1 = -p - l. Suppose -7 - p = -2*g. Solve 5*a = -4*t - 40, -5*t + g = -2*a + 21 for a.
-4
Let y be (1 - 6/4)*0. Suppose y = 5*i - 5*t - 20, 0 = i - 3*i + 4*t + 12. Solve -c + i*h = -5*c + 14, -2*c + 13 = 3*h for c.
2
Let s(l) = l**2 - 18*l + 17. Let p be s(17). Solve -q + p*q = 5*b - 29, -6 = -4*q + 2*b for q.
4
Suppose -4*m = -6*m + 40. Suppose m = -2*c + 7*c. Solve u = 1, -3*o = -c*o - 3*u + 7 for o.
4
Suppose 0 = 3*w + 5 + 19. Let d be 15/6*(0 - w). Solve -2*t = -2*u - 8, -4*t - t - 3*u = d for t.
-1
Suppose l = 0, m + 4*m - l = 10. Solve -m*x = 3*d - 9 - 4, 2*x - 10 = 0 for d.
1
Let f = -4 + 7. Let q(h) = -h**2 + 7*h + 8. Let d be q(7). Suppose -d = -5*g + 17. Solve f*w = -g*p - 22, 3*w = 6*p - p + 28 for p.
-5
Let v(c) = c**3 + 2*c**2. Let a be v(-2). Let x = 6 + a. Suppose 3*s + 2*h - 61 = 0, -2 = -s + 2*h + h. Solve -4*g + s = -k, -g = -x*g + k + 21 for g.
4
Let f(q) = q**2 + 5*q - 9. Let b be f(-8). Let p be (38/6)/((-5)/b). Let r = 28 + p. Solve -4*w + 3*d = -1, r = -3*w - 2*d + 31 for w.
4
Suppose -3*d - 2 = -11. Suppose -5*n + d = -22. Let a = 0 - -2. Solve -i + a = -5*w + 26, 0 = -n*i - 20 for w.
4
Let a(k) = 0*k**2 + 2 + k**2 + 0 + 5*k - 8. Let q be a(-6). Solve -4*i = 4*r - r + 1, q = 3*r - 15 for i.
-4
Let a = -1 + 1. Solve a = 4*f + 4*j - 10 + 38, 0 = -f - 4*j - 16 for f.
-4
Let a = -21 - -23. Solve 0*r - r + 1 = a*o, 4*o - 32 = 4*r for r.
-5
Suppose -3*d = d - 48. Solve 3*j + 9 = 4*q, 4*j + d = -0*j + 2*q for j.
-3
Suppose 2*h - 23 + 9 = 0. Suppose 1 - 16 = -3*n. Solve -2*u - h = u + g, -u + n*g = -3 for u.
-2
Let g(n) = n + 5. Suppose 8*t - 5*t = -15. Let q be g(t). Solve -3*v = 4*s + 1, -2*v = 3*s - q + 1 for v.
1
Let n be 36 - 6/(-8)*(-36)/27. Solve 3*s + n = -4*j, -5*j - 30 = s - 0*s for s.
-5
Suppose 5*q - 4*f = 48 + 23, -4*q + 2*f + 52 = 0. Solve -j - q = -4*o, -j - j = o - 5 for j.
1
Let j(q) = 25*q**2 + q. Let m be j(1). Let d be 3/(-9) + m/6. Suppose c - 3*c = -12. Solve -2*k - 2*x = -4*k - c, d = 2*x for k.
-1
Let g(l) = -l**3 + 8*l**2 + 2*l + 4. Let z be g(8). Suppose 4 = 4*d - z. Let n be (d/(-2))/(0 + -1). Solve -n*a + 31 = 5*q, -5*q - 5*a + 35 = -0*a for q.
5
Let m(s) = -s**2 - 5*s + 14. Let w be m(-7). Solve 0 = 2*l + 5*d - 10, w*l = -2*l - d + 10 for l.
5
Let g = -10 - -12. Let p(b) = b + 1. Let n be p(-4). Let r be 3/(-3 + 0) - n. Solve i + r = g*w + 4*i, 0 = -3*w + 5*i +