= 1 - -1. Let h be (c - 1 - -1)/2. Solve 2*k - 5 = -h for k.
2
Suppose -s + 9 = 2*s. Suppose q = 5*d + 34, -32 = -s*q + 3*d - 2*d. Solve 0 = -3*z - q + 21 for z.
4
Let d be (-4)/6 + (-17)/(-3). Solve -2*o - d = -o for o.
-5
Suppose -3*s = -2*s - 4. Suppose -l - 2 + s = 0. Suppose f - 4*f = -30. Solve -4*r + f = l for r.
2
Suppose -5*c = -5, 2*d - 4 = -3*d - 4*c. Suppose 2*o + 3*o - 10 = d. Solve -2*f = -f + o for f.
-2
Suppose 3*l = -11*l + 70. Solve -y + l*y = -16 for y.
-4
Let g(w) = w**3 - w**2 + 4. Suppose 3*j = 2*f + 7 - 3, -j - 5*f - 10 = 0. Let b be g(j). Suppose -b*m = m - 15. Solve o = m*o - 6 for o.
3
Suppose -11*k + 79 = -9. Solve q - k = 3*q for q.
-4
Suppose 2*r - 18 = 2*t, -3*t - 6 - 3 = 0. Let q(u) = 2*u - 6. Let x be q(r). Let b be (-3)/x + 2/4. Solve 5*g - 2*g = b for g.
0
Let n(t) = t**2 + 6*t. Let z be n(-6). Let h = z - 0. Solve -k + 1 - 6 = h for k.
-5
Suppose 3*f - 29 = 4. Solve -4*t - f = 9 for t.
-5
Suppose 4*s + 20 = 2*u, -u = -2*s - 2*s - 16. Solve 3*f - 2*f = u for f.
4
Let i = -1 - -5. Let u(c) = -2*c + 21. Let g be u(9). Solve i*s = g*s + 5 for s.
5
Let j = -2 + 1. Let h = 8 - j. Solve 3 = 3*d - h for d.
4
Suppose 0 = 6*x - 2*x + 52. Let s(t) = t**3 + 13*t**2 - t - 13. Let v be s(x). Solve v = 3*z - 3 + 6 for z.
-1
Let o(v) = v**2 + 2. Let k be o(0). Let h be (-4 - -2)*(-1)/k. Suppose 0 = j - 6 + h, w = 5*j - 21. Solve p = -w - 0 for p.
-4
Suppose 5 = -0*o - o + 3*p, -6 = 2*o - 4*p. Suppose 4*q - 23 = -3. Let u = o + q. Solve b - u*b = 25 for b.
-5
Let c be (0/(3 - 2))/1. Let f = 0 + c. Let p = 2 + -2. Solve p*r - 5*r + 10 = f for r.
2
Suppose 3*c - 2*b + 0*b = 44, -c = -3*b - 17. Let m = c + -14. Solve m = -h + 2*h + 2 for h.
-2
Suppose -14 = -4*v - a, -2*v = -5*a + 3 + 1. Suppose v*s = -0*s + 9. Solve 3*b = s - 9 for b.
-2
Suppose -2*u = 5*q - 15 - 3, 2*u - 2*q - 4 = 0. Let y be (5/(-10))/((-1)/u). Solve 4*t = y*t - 8 for t.
-4
Let t = -2 - -7. Let w = t + 1. Suppose 2*a = -a + w. Solve -5*x + a = -4*x for x.
2
Let g(w) = w**2 + 5*w + 2. Let q be g(-5). Let h = -19 - -13. Let s(f) = f**2 + 7*f + 8. Let l be s(h). Solve 4*z = l + q for z.
1
Let i = -32 + 44. Solve -i = 3*w - 3 for w.
-3
Let b be (-3)/(84/32 + -3). Let c be 3/(-12) + 26/b. Solve -c = -0*p - 3*p for p.
1
Suppose 2*u - 5 = w, -w = 4*w - 2*u + 33. Let c(m) = -m**3 - 8*m**2 - 6*m + 7. Let o be c(w). Solve o*v - 25 = -5*v for v.
5
Suppose -18*b - 12 = -16*b. Let y = b + 9. Solve o = y*o + 6 for o.
-3
Let i be -1 - -5*(-1)/(-1). Suppose -18*h + 17*h - 5*o - 10 = 0, -5*o - 10 = 0. Solve -3*d - i + 1 = h for d.
-1
Let j(z) = -z**2 - z + 8. Let k be j(-3). Solve -2 + 0 = k*i for i.
-1
Let h be ((-5)/(-10)*8)/2. Solve -h*p - 8 = -0*p for p.
-4
Let f be 48/24 + (3 - 1). Solve f = x + 5 for x.
-1
Let o = -125 - -132. Solve -2*g + 25 = -o*g for g.
-5
Suppose -2*y = -5 + 1. Let i be y + ((-3)/(-1) - 2). Solve -i = 2*p - 5*p for p.
1
Let q = -38 - -57. Let c be (-5)/30 + q/6. Solve 5*l - 8 = -c for l.
1
Let x = -65 + 67. Solve -x*c + 2 = -4 for c.
3
Suppose t + q = 3, 3*t + 4*q - 4 = 6*q. Suppose 1 = -b - 3*d, -3*b = -6*d + t*d - 10. Solve -7 = 3*m + b for m.
-3
Suppose 0 = g + 4*g. Let k be 2/2*g/(-1). Solve s + 5 = -k*s for s.
-5
Suppose c = 4*c - 5*t - 46, c = -2*t - 3. Let d = 5 - 4. Solve 2*j - c - d = 0 for j.
4
Let t(c) = c**2 - c + 2. Let d be t(1). Solve 2*w + 10 = d for w.
-4
Suppose 21 - 27 = -3*p. Solve 0 = -p*z - 2*z - 16 for z.
-4
Suppose -2*l = -2*q + q + 12, -3*q + 2*l = -16. Solve -q*h = -h for h.
0
Suppose 0 = p, 13 = -2*f + 3*p + 37. Solve -2*c + 6*c = -f for c.
-3
Let t be (42/(-12))/((-1)/2). Solve h = -t + 4 for h.
-3
Let u = 74 - 71. Solve -i + u = -0 for i.
3
Let r = 12 - 8. Solve -2 = r*l + 2 for l.
-1
Let g = -71 + 73. Solve 7 - 5 = g*o for o.
1
Suppose 0 = -4*v + 27 + 9. Let n = v + -7. Solve -n = -2*u - 0*u for u.
1
Let l(j) = j**3 - 3*j**2 + 4*j - 2. Let k be l(2). Suppose 9 = -i - 4*s, 0*s - 3*s - 3 = 2*i. Solve -k*y + 10 = i*y for y.
2
Let q(a) be the first derivative of a**3/3 - 3*a**2/2 + 1. Let w be q(3). Solve -2*z - z + 6 = w for z.
2
Let o(k) = k**3 - k**2 + k + 1. Let g be o(0). Let n(r) = 4*r + 1. Let s be n(1). Suppose 3*u - s = 1. Solve -3*p = u + g for p.
-1
Suppose -4*l - 5*c + 15 = 0, 4*c - 13 + 1 = -5*l. Solve l = -3*h - 1 - 2 for h.
-1
Let k = 17 - 14. Let n be 3 - (k + 2*-10). Solve -4*q + n + 0 = 0 for q.
5
Let w(h) = h**3 - 6*h**2 + 2*h - 8. Let y be w(6). Suppose 5*r + 75 - 29 = -4*t, -r - 14 = 2*t. Let k = -4 - r. Solve -y*j - 10 = -k*j for j.
-5
Let f = 16 + -12. Solve -f*z = -z - 15 for z.
5
Suppose 2*f = -0*f + 10, 0 = 3*c + 4*f - 26. Solve 15 = -5*n + c*n for n.
-5
Let n(d) = 3*d - 4. Let a be n(4). Let b(k) = -4*k + 3 + a*k + 5 + 4*k - k**2. Let t be b(8). Solve -t = 6*x - 4*x for x.
-4
Suppose -5*y + 6 = -2*y. Let o be (204/10)/6 - (-12)/20. Solve -y*p + 10 = -o*p for p.
-5
Suppose -2*s - 4 = -14. Suppose 3*d = -s + 11. Let v(c) = -c**2 + 2*c. Let u be v(d). Solve u = w - 4*w for w.
0
Let f be 3/(-9) + 10/3. Solve 8 = f*y - 1 for y.
3
Let j = -46 + 61. Solve 4*r - j = -r for r.
3
Suppose -2*d - 1 = -k, -4*k + 0*d + 3*d + 9 = 0. Solve 0 = 2*o + o - k for o.
1
Suppose v - z = 4, -3*z - 12 = 2*v - 4*v. Let i = -2 + 4. Solve -t + i*t = v for t.
0
Suppose 4*h + 11 = 3*n - 10, 3*h = 0. Let f be (n/(-14))/((-1)/8). Solve -1 = -b + f for b.
5
Suppose -4*t - t + 35 = 0. Let w be 37/t + 2/(-7). Let u = w + -3. Solve r = -u*r for r.
0
Let a be 2/6*(-1 - 1 - -2). Solve -4*q - 2 - 10 = a for q.
-3
Let z be (-54)/(-24) + 2/(-8). Solve o + z*o = 6 for o.
2
Let q = 16 + -11. Solve -q*b + b - 20 = 0 for b.
-5
Let x(m) be the third derivative of -m**4/24 + m**3/6 - m**2. Suppose 5*l + 30 = -5*h, l = -h + 2*l. Let i be x(h). Solve 5*w + 5 = i*w for w.
-5
Suppose -8 + 33 = 5*g. Suppose 13 = g*n - 27. Solve 3 = a + n for a.
-5
Suppose 4*z + z = 0. Solve z = -l - 2*l + 12 for l.
4
Let l(w) = -w**3 - 7*w**2 - 7*w - 4. Let c be l(-6). Let k be c - (-6 + (-1)/(-1)). Solve f = k - 3 for f.
4
Let l be 6 - -2 - 4/2. Suppose 13 = l*q - 11. Solve -9 = q*m + 3 for m.
-3
Let h be 82/8 + 1/(-4). Let p be (6/8)/(18/(-60))*-10. Solve -p = 3*u - h for u.
-5
Let x = 0 + 0. Suppose -a + 0*a = -2. Let u be a/3 + (-4)/(-3). Solve v + u - 4 = x for v.
2
Suppose 2*b = -2*b - 4*i - 4, -4*b + 2*i = -20. Solve -5 = -4*g + b for g.
2
Let v be 9/(-2) + (-3)/6. Let f(a) = -a**3 - 6*a**2 - 4*a + 7. Let t be f(v). Suppose t*r = -r. Solve 0 = -5*y - r*y for y.
0
Let k(z) = z**2 + 8*z - 9. Let j be k(-9). Solve j = -2*r + 6 for r.
3
Let v be (9/(-6))/((-3)/18). Let z = -12 - -6. Let d = v + z. Solve -12 = d*w + w for w.
-3
Let u = 11 - 9. Suppose -u*m = -0*m - 12. Solve -5*t = -2*t - m for t.
2
Let b be (15/2)/((-6)/(-8)). Let q be ((-4)/b)/((-3)/15). Solve -q*j = -j + 1 for j.
-1
Suppose 12 = 4*v - 0. Let p = 7 - v. Solve p*u - 11 = 9 for u.
5
Suppose -4*z - 5*o = -8*z, 5*z = -o + 29. Suppose 3*i - 21 = 66. Suppose -d - i = -5*b - 3*d, -5*b + 2*d + 21 = 0. Solve -b*v + 5 = -z for v.
2
Let r = 9 - 4. Solve 0*u + r*u = 0 for u.
0
Let p = 148 - 146. Solve 2 + 8 = -p*t for t.
-5
Let n = 3 - -7. Suppose n = 2*a + 3*a. Solve -r = -a*r - 4 for r.
-4
Let n(i) = -i**2 - 13*i - 10. Let f be n(-10). Solve -2*b - 2*b = -f for b.
5
Suppose -2 = 4*q - 14. Solve -4*r - 23 = -q for r.
-5
Let l be 5 + (4 - (-4 - -11)). Solve -l*b + 1 - 7 = 0 for b.
-3
Suppose 0 = 2*l - l - 4. Suppose 3*i - l*i = -92. Let w be (-2)/6 + i/6. Solve -8*a + 5*a = w for a.
-5
Let z(i) = -i**2 - i + 1. Let j be z(0). Suppose -p = -5*u - 4, 2*u + 3*u = 0. Solve 3 + j = -p*g for g.
-1
Suppose -3*y - y = 0. Let c be 0 - y - (-3)/3. Let i be (c/1)/(2/8). Solve i*l - 3 = 3*l for l.
3
Suppose 10 = -2*h - 5*i, 5*h - i - 24 = h. Let f = h + -6. Let d = 1 - f. Solve d*p = -p for p.
0
Let h(z) = 2*z + 12. Let w be h(-8). Let o = -8 - w. Let m = -4 - o. Solve m = j + 4 - 3 for j.
-1
Suppose 136 = -4*x + 156. Solve m = -4*m + x for m.
1
Let g be ((-12)/16)/(2/8). Let m = 0 - g. Suppose -12 = -s - m*i, 0 = 4*s - 2*i + 5 + 3. Solve -4*a + s = -8 for a.
2
Let w(n) = -n**2 + 3*n + 3. Let t be w(3). Suppose t*s - 23 = -5. Let m(f) = f**3 - 7*f**2 + 7*f - 3. Let j be m(s). Solve -2*k - 15 = j*k for k.
-3
Let r(a) = a**3 - 17*a**2 + 2. Let j be r(17). Solve j*w + 2 = -0 for w.
-1
Let u(p) = p**3 + 2*p**2 + 2*p 