 - 0*b - v*j - 23 for b.
3
Let g = 15 + -42. Let w = 47 + g. Suppose 5*c - w = -5. Solve -9 = c*h + l, 12 = -3*h - 0*h - 2*l for h.
-2
Suppose -m = 2*w - 6, -2*w - w - 3*m = -6. Let d = -6 - -12. Let q = 9 - d. Solve -t - 3*g = -q*t - 8, 4*g - w = t for t.
-4
Let y(b) = b + 1. Let u be y(3). Suppose -3*q - u*r = -47, -2*q - 5*r + 75 = 3*q. Solve 3*l - 5*j + q = 0, 2*l + j = -0*l + 13 for l.
4
Suppose -o = -g + 5*g - 8, -5*g + 2*o = -23. Solve g*v - 3 = 2*v, -v = 5*b - 28 for b.
5
Suppose -4*p - p + 5 = 0, 2*t + p - 11 = 0. Suppose 4*o + 7*c - 3*c = 12, 0 = 5*o - t*c - 15. Solve -o*v - 10 = 5*i - 1, 23 = -5*i + 4*v for i.
-3
Let y be ((0 - -4) + 1)*1. Let l(j) = -j**3 + 10*j**2 - 10*j + 13. Let p be l(9). Solve p*u = -r - 0*r + y, -2*u - 15 = -3*r for r.
5
Suppose -4 = 4*j - 6*j. Solve -2*u - 5*g + 30 = -4*u, 0 = -2*u - 3*g + j for u.
-5
Let y(h) be the third derivative of h**5/60 - h**4/8 - 5*h**3/6 + h**2. Let f be y(5). Solve -2*v + 7*c + 16 = 3*c, -f*c = 3*v + 31 for v.
-2
Let h be 18 - (5 + 1)/(-3). Suppose -2*v - h = -7*v. Solve -m + v = -5*p, 0 = -m + 3*m + 2 for p.
-1
Suppose -3*p = -0*p. Let r = 4 + p. Solve 2 = -h, -5*h - 8 = r*i + 10 for i.
-2
Let h(t) = -2 + 4*t + 0 + 2. Let l be 3 + 1/(-1)*2. Let f be h(l). Solve 5*x + f*b + 2 = -12, -5 = 3*x - b for x.
-2
Let m = 2 - 4. Let g be (18/(-15))/(m/5). Suppose -4 - 14 = -g*i. Solve -2*o - 2*q + 0*q + i = 0, -4*q = 2*o - 14 for o.
-1
Let p be (-3 - (-44)/6)/(3/9). Let z be 1*-1 + 1 - 1. Let j(w) = -11*w + 1. Let h be j(z). Solve h + 9 = 4*s + y, p = 2*s + y for s.
4
Let r(l) = l**3 - 5*l**2 - 2*l - 7. Let h be r(6). Let x = h + -16. Solve -2*s = m + x - 0, s + 23 = -5*m for s.
2
Let g be 2/(-4 - -2)*-37. Suppose u = -5*n + 28, 0*n + g = 4*u - 5*n. Solve 4*i + 3*q + 1 = -u, -2*q = -3*i - 19 for i.
-5
Suppose -12*p + 9*p = 6. Let j = -1 + 5. Let o = p + j. Solve 0 = -o*r + 5*c + 6 + 16, 0 = 5*c + 20 for r.
1
Let l be 0/(-2) - (-3 + (-22)/(-2)). Suppose 0 = -c - c - 10. Let m = c - l. Solve 4*d = -0*a + m*a + 12, 0 = 5*d + 4*a - 15 for d.
3
Let t be 15*(-2 - 21/(-9)). Suppose 2*b - 6 = 5*w - 24, t*w = 4*b + 26. Suppose 0 = w*j + 2 - 6. Solve -2*f = -j*z + 6*z + 12, -9 = 3*f - 3*z for f.
-4
Let i = -4 + 8. Suppose -i*n = -n. Solve -r - 4*d = 3, n = 2*d - 3*d for r.
-3
Suppose z - 15 = 4*x - 2, 2*z + x = -1. Suppose -5*a - 3*l = -0 + z, -1 = -5*a - 2*l. Solve -7 = -5*q + 4*k, 0 = q - 0*k - k - a for q.
3
Let j(v) = -2*v**2 - 5*v + 4. Let b be j(-4). Let h = -5 - b. Suppose h*x + 11 - 56 = 0. Solve 4*k = -2*f + x - 3, k = -4*f - 4 for k.
4
Suppose 0*p = -2*p + 36. Solve -2*s - p = -3*i, s - 1 = -3*i + 8 for s.
-3
Let k(g) = -g**3 - 10*g**2 + 2*g + 22. Let v be k(-10). Solve -23 = -s + v*s + 5*q, 3*s = 2*q + 16 for s.
2
Let f(b) = b + 1. Let u be f(5). Suppose 3*c = 3*n + 9, 0*c + 2*n = 5*c - u. Solve c = -d - 2*o - 2*o + 15, -4*o = -4*d for d.
3
Suppose -3*c - 3*d + 7*d + 23 = 0, -25 = -3*c + 5*d. Suppose 4*m = -i + 16, -4*m + 10 = 5*i - 6. Solve 41 = 4*u + 5*t, -m*u - 4 = -5*t + c for u.
4
Suppose 2*p + 6 = 0, -3*w + 7 - 16 = 5*p. Suppose -w*m + 21 = -1. Let u = -21 - -41. Solve -o - m = 4*o - 4*y, -u = -5*y for o.
1
Suppose -4*s = -12, -18 - 2 = -4*p - 4*s. Solve -5*z + 2*v - 5 = 0, -4*v + 23 = -p*z + 5*z for z.
1
Let g = 10 - 8. Suppose r + d = 10, -g*r + 5 = 2*r - 3*d. Solve 0 = -t + 3*x + 13, -t + 12 = -r*x - 11 for t.
-2
Suppose -216*u + 15 = -211*u. Solve -2*o + 18 = 2*w - 0*w, -u*w = -5*o + 13 for w.
4
Let b = 15 - 10. Suppose b = 4*r - 3. Solve 4*z - 18 = 2*i, z + r = -3*i + 3 for i.
-1
Let z(c) be the first derivative of c**4/4 - c**3/3 + c - 2. Let k be z(0). Let u = 32 - 27. Solve m - 2*m + 2*g + k = 0, -u*m = -2*g + 3 for m.
-1
Suppose 5*p + 4 = 59. Solve 5*f - 4 - 10 = -3*m, -p = f - 4*m for f.
1
Let i = -18 - -21. Let f(s) = s**2 + s - 7. Let w be f(i). Let x = -1 - -2. Solve 20 = -u - 4*u + w*d, 5*u - x = -2*d for u.
-1
Suppose 3*m + 4 = 4*m. Solve 7*r - 5*t = m*r + 26, -2*t - 8 = 0 for r.
2
Let b(r) = -r**2 - 5*r. Let s be b(-4). Let p = s - 3. Solve -n - 2*z + p = 0, 5*z - 1 = -n - 2*n for n.
-3
Let r be (5/(-15))/((-1)/3). Let w(j) = r + 1 + 2 + j + 6. Let n be w(-6). Solve -q + 5*q - 32 = n*k, 3*q + 2*k = -1 for q.
3
Let d(q) = q**2. Let x(f) = -f**3 + 4*f**2 - 4*f. Let r be x(3). Let v be d(r). Let s(i) = i - 6. Let t be s(v). Solve 10 = o - 2*n, 3*n + 0*n = t*o - 18 for o.
2
Suppose -z - 3 = -4*z. Let w(p) = -p**3 + 4*p**2 + p - 5. Let v be w(4). Let t = z - v. Solve 4 - 1 = 3*o, t*i = -5*o + 11 for i.
3
Suppose a - 3*a + 3*w = 9, 3*a + 1 = 2*w. Suppose -2*q + 30 = q - 3*u, 4*q = -4*u. Suppose -q*o = -0*o - 55. Solve -o = -5*n - v, -n + v = -a - 4 for n.
3
Let l(o) = o**2 - 7*o + 2. Let h be l(7). Solve -v + h*p = -9, -v - p - 3 = 3*p for v.
5
Let r = -11 - -11. Solve 5*w + 3*c + 12 = r, 5*c + 22 - 2 = -3*w for w.
0
Let c(m) = -m + 10. Let u be c(6). Suppose 7*t = 2*t + 25, -t = u*j - 21. Solve 0 + 4 = -j*g - 5*z, 0 = -2*g + 4*z + 24 for g.
4
Let b be (-38)/(-14) - 22/(-77). Solve 4*f + f - b*o + 9 = 0, 0 = 5*f + 2*o - 6 for f.
0
Let h(f) = -f**3 + f + 2. Let g be h(0). Let b be 48/27 - (-4)/18. Solve -p = 4*d - 1, b*p + 6*d = 3*d + g for p.
1
Suppose -2*a = 4*n - a - 13, -2*a = 6. Solve 0 = -4*l - v - 17, 6 = l - n*l - 3*v for l.
-5
Let t = 66 + -42. Let d = t + -2. Solve -q - 4*c + d = 0, -q + 4 = 5*c - 23 for q.
2
Suppose 0 = -5*s - 0*s + 40. Solve u = 2*f + 12, -2*f + 4*f = -s for u.
4
Let q(p) = -2*p**3 - p**2 + p + 1. Let l be q(-1). Let b be (1 + 3 + -1 + 4)/1. Suppose -2*y + b + l = 0. Solve -y*s = -4*j, -5*s + 22 + 18 = 3*j for j.
5
Let n(z) = -z - 1 + 5*z - 5*z. Let w(x) = -5*x**2 + 2*x + 1. Let h be w(-1). Let c be n(h). Solve 0 = -c*v - 10, -6*r - v + 7 = -3*r for r.
3
Suppose 0*k + 7 = 4*s + k, 3*s = 5*k + 11. Suppose -y = s*y - 24. Solve 5*n + 3*m - 2 = 0, 0 = -5*n - 4*m - 2 + y for n.
-2
Suppose 8 = 3*k + k. Let d be (-2)/((-5)/(215/k)). Let y = d + -27. Solve t + 4*n + 12 = 0, -t - 2*t = -n - y for t.
4
Let o be (2 + -3)*(-3 + 2). Let a be 20/(-4)*(-1)/o. Suppose 2*p - 7*i = -3*i - 14, -3*p = -i - 4. Solve 9 = 3*n - p*q, 2*n - q = -a*q - 24 for n.
-2
Let t be 9/(-2)*(-10)/(-5). Let d(v) = -v - 8. Let q be d(t). Solve 3 + q = -3*l - 2*s, -4*l - 5*s - 10 = 0 for l.
0
Let p(r) = -r**2 + 8*r - 3. Let t be p(7). Suppose -3*j + t = 13. Let h = j + 3. Solve 2*n - 6 = -4*d, -d + 1 = -h*d + n for d.
2
Let v be (38/6)/((-2)/(-6)). Solve -4*x - 5*j = -v, x - j = -3*j + 7 for x.
1
Let z(k) = -k**3 - 3*k**2 - k. Let j be z(-3). Suppose -j = -2*u + u. Suppose -2 = -3*x - 2*n - 2*n, 5*n = -5. Solve -x*d + 0*d - 2 = u*v, -2*d = -v + 10 for d.
-4
Let v(h) = -2*h**3 - h**2 + h - 2. Let s be v(-3). Solve 4*o + 4*y + s = 0, 5*o = -3*y + 8*y for o.
-5
Suppose 5*n - 20 = -0*n. Let l be (-885)/(-35) - n/14. Solve 0 = 4*r - 2*p + 5*p - l, p = r - 1 for r.
4
Suppose -1 = 4*n + 11. Let r = n + 4. Let u be (-1 + 2)/r*5. Solve -3*m - 17 = 4*h - 2*m, 0 = -h + u*m + 1 for h.
-4
Let s(y) = y**3 + 6*y**2 + 7*y + 6. Let b be s(-5). Let g = b - -4. Let w be g + (-2 - (2 + -6)). Solve 5*q = 4*u - 10, 2*u - 6 = w*q - 0 for u.
5
Suppose 3*o + 0*o + 6 = 0. Let t = 3 + o. Let d(w) = 9*w. Let x be d(t). Solve 5*j + x = 4*j + 4*l, j = -5*l + 9 for j.
-1
Suppose 0 + 6 = 2*w. Suppose -23 = -p - m, -w*p + 2*m = -15 - 64. Solve -2*q = x - 10, -p = 2*x - 6*x - 3*q for x.
4
Let w be 1 - -1*1/(-1). Solve 2*y + w*y = 4*u - 20, -y + 4*u = 20 for y.
0
Suppose -27 = -3*d - 3*w, -3*d - 2*w - 13 = -7*w. Let b = 6 + 18. Let m = b + -11. Solve -3*l + i = -m, -3*l + 2*i = d*i - 19 for l.
5
Let n = 5 - 0. Let c(b) = -b**3 + 6*b**2 + 4. Let m be c(6). Solve -n*t + 10 - 5 = 5*l, 31 = -5*l + m*t for l.
-3
Suppose 5*g - 24 = -n, 2*g + 3*g - 20 = 0. Suppose -4*c + 11 + 21 = -n*q, 4*c - q - 20 = 0. Solve -5 = -0*p + 4*p - 3*x, c*x = 12 for p.
1
Suppose 4*x + 8 = -8. Let h be (3/(-2))/(6/x). Let t = 7 + -4. Solve g + 3 = 0, r + 3*r + t*g + h = 0 for r.
2
Suppose 13 = -5*c + 13. Solve c = -2*y - 2*d + 9 + 3, -2*y + 6 = -4*d for y.
5
Let p be (-5)/(-1)*(-4)/(-5). Suppose -20 = -2*z - 8. Solve g = 3*f - 2, p*f + f - 3*g = z for f.
0
Suppose -n - 4*r - 5 = 1, -2*n + 12 = -4*r. Suppose 27 = f + n*f. Let x be ((-40)/(-6))/(3/f). Solve 5*u - 2*y = -0*u + 20, 5*u - y - x = 0 for u.
4
Suppose 0 = -4*x + 3 - 51. Let o = x + 