. Let a = m - -4. Solve 3*f + 3 + a = 0 for f.
-4
Suppose 0 = -x + 3*x - 6. Suppose 0*w - x*r - 15 = -5*w, 3*r = w - 15. Solve w = 2*o + 1 - 5 for o.
2
Suppose 0 = 4*x - j + 15, -2*j = 4*x - j + 25. Let t(r) = -r**3 - 6*r**2 - 6*r - 5. Let k be t(x). Solve 0*f + f - 2 = k for f.
2
Let r(i) = -i**2 + 3*i + 1. Let d be r(3). Let m be (0 - -2) + (d - -1). Suppose -m*k - 15 = -7*k. Solve 0 = -k*g - 0*g + 10 for g.
2
Suppose g - 9 = -2*g. Let v be -1 + -1 + -1 + g. Solve v*f + 4 = -f for f.
-4
Let b be (-5)/(-2)*4/(-5). Let w be (-3 + 5)*(-15)/b. Suppose 2*y - w = -3*l, -2*y - y + l = -6. Solve o + y*o = -8 for o.
-2
Let t(c) = c + 1. Let k(u) = -4*u - 3. Let f(l) = -6*k(l) - 17*t(l). Let n(b) = b**2 + 2*b - 1. Let v be n(1). Let g be f(v). Solve -p = -4*p - g for p.
-5
Let c be (-14)/21 - 28/(-6). Solve c - 24 = 5*v for v.
-4
Let f be 14/5 + 2/10. Suppose -c + 12 = f*c. Solve 3 = c*h - 0 for h.
1
Let y be (-2 - 0)*-1 - -2. Suppose -3*s + y = s. Solve h - s = 4 for h.
5
Suppose v - 8 = -1. Solve v*h = 3*h for h.
0
Let h be -2 - -3*(2 - 1). Let k = 2 - h. Suppose -4*t = -2*v - 19 + 71, -43 = -3*v - t. Solve 3*c = v - k for c.
5
Suppose 13 = -3*u - 4*y - 2, 4*u + 2*y = -10. Let x be (-1 - -2) + u - -5. Let k(o) = o + 4. Let b be k(-2). Solve 8 + b = -x*d for d.
-2
Let w = 36 + -33. Solve -a = -w*a - 6 for a.
-3
Let z be -3 + 9 + 0*5/(-10). Solve 3*b - z = 5*b for b.
-3
Suppose 2*z = 0, 5 = -i + 2*i + 3*z. Solve -i*j - 8 = -j for j.
-2
Suppose 3*w = 6*g - 2*g - 16, -5*w = 5*g - 20. Suppose 0*b + 4*b = 5*v - 3, -2*b - 3*v = 7. Let m be (-10 + g)*b/4. Solve 8*p = m*p - 5 for p.
-1
Suppose -6*t = 5*t - 11. Solve -5*o = t - 6 for o.
1
Suppose 2*n + 0*n = 44. Suppose 5*a = -3*w + n, w + 2 = 3*a - 0*w. Solve -2*m = a*m for m.
0
Let w(f) = -f**2 + 6*f - 3. Suppose -4*j - i - 71 = -6*i, i - 43 = 2*j. Let n be j/(-4)*4/6. Let v be w(n). Solve 0 = v*s - 1 - 4 for s.
1
Let x(s) = 2*s**3 + 2*s + 2*s - 2*s**2 - 6*s. Let q be x(2). Solve -3*m - q + 13 = 0 for m.
3
Let r be (-13)/(-3) + -4 + 56/12. Solve -7*y = -r*y - 8 for y.
4
Let j(h) = h**3 - h**2 - 3*h - 3. Let y be j(3). Suppose 6*b + y = 9*b. Solve b*n = 1 + 3 for n.
2
Let l = 7 + -5. Solve l*b = b for b.
0
Let s(d) be the first derivative of d**3/3 - d**2/2 - 2*d + 3. Let b be s(2). Solve -2*q + 4 + b = 0 for q.
2
Let q(r) be the third derivative of 7*r**5/40 - r**4/24 + r**3/3 + r**2. Let b(t) be the first derivative of q(t). Let w be b(1). Solve -w = 3*s + s for s.
-5
Suppose 2 = -4*i + q - 0, -4 = -3*i - 2*q. Let s be -1 - (-1 + i + -2). Let r be 2/s - 4 - -5. Solve -r*g = -0*g - 6 for g.
3
Let a be (3/(-5))/(1/(-5)). Suppose -6 = c - a*c. Solve 0 = 2*d - c*d - 3 for d.
-3
Let o be 1/(-4) - (-62)/(-8). Let m = -6 - o. Suppose -3*u + 4 = -2*h - 8, -m*u + 8 = 0. Solve 0 = y - h*y + 1 for y.
-1
Let m be 13/(-4) + (-1)/(-4). Let g = 5 + m. Suppose 0*t - g*t + 6 = 0. Solve 0*o - 3*o + t = 0 for o.
1
Suppose 0 = -u + 1 + 4. Solve -u*q + 0*q = 15 for q.
-3
Let t = 52 - 50. Solve 0*a + t*a = 0 for a.
0
Let j be (-4)/18 + (-987)/(-189). Solve 4*p = j*p for p.
0
Suppose 0 = -0*r - r - 4*c + 12, -3*c = -3*r + 36. Suppose 0 - r = -4*q. Solve 2 = -q*l - 1 for l.
-1
Let x = -34 + 36. Solve -x*g + 8 = -6*g for g.
-2
Suppose c = 5*c - 84. Let f = c - 17. Solve f*s = -7 + 3 for s.
-1
Suppose -3*g - 12 = -n - 44, 3*n = -15. Suppose -4*u + g*u = 125. Solve -v + 6*v + u = 0 for v.
-5
Let g = -3 - -3. Suppose -3*m = -g*m. Solve -3*z - z - 20 = m for z.
-5
Let j(n) = -9*n + 1. Let b be j(-2). Suppose 2 = k + z, 3*k + 5 = 5*z + b. Solve 4 = -v + k for v.
-1
Let l = -9 - -7. Let q be (2 - l)/(3/12). Let u(d) = -2*d - 6. Let a be u(-5). Solve a + q = -5*x for x.
-4
Let b be (-2)/(-4) - 23/(-2). Let u be ((-6)/4)/((-3)/4). Let y = 0 - 0. Solve -o - u*o - b = y for o.
-4
Let a be 7/((-112)/12) - 12/(-16). Solve a = -2*d + 5*d - 12 for d.
4
Let j(h) be the first derivative of -h**4/4 + h**3/3 - h**2/2 - h - 1. Let o be j(-1). Let n be (-12)/(-9) + o/3. Solve -n*r + 4 = -r for r.
4
Let x = 11 - 3. Let r be (0 + -6)*6/9. Let d = x + r. Solve 4*q + 0 = d for q.
1
Let a be 0/4 - (-1 - 2). Solve -h = -2*h - a for h.
-3
Suppose -d - 2*d - 3*q = -30, 4*d + q - 37 = 0. Solve -d*w - 9 = -6*w for w.
-3
Let y(i) = 2*i**3 + 3*i**2 - 3*i + 3. Let v be y(2). Suppose -v = -2*s - 3*s. Solve -s*c + 5 = -0 for c.
1
Suppose 0 = -4*k + 21 + 23. Solve 3*j + k = -1 for j.
-4
Let k be (1/2)/(2/80). Suppose j - 5*j + k = 0. Solve -t = -j*t for t.
0
Suppose -4*t - 36 = -10*t. Solve 18 = 3*o + t for o.
4
Let x(r) = 3*r + 44. Let l be x(-13). Solve l*q = -0*q + 5 for q.
1
Let w = 0 - -3. Let t be (6/8)/(3/24). Suppose -w*l = -3*o + t, 3*o + 4*l - 2*l + 4 = 0. Solve 2*q + 6 + 2 = o for q.
-4
Let f be (-12)/2*18/4. Let d be ((-4)/6)/(6/f). Solve n = -d*n for n.
0
Let s be 22/(-4) - (-2)/(-4). Let m be (20/(-6))/(s/9). Suppose 0 - 20 = -m*i. Solve -j = -i*j - 15 for j.
-5
Suppose -p - 2*p - a + 7 = 0, 1 = -3*p - 5*a. Let v be (p + 5/(-2))*0. Solve -3*b - 2*b - 10 = v for b.
-2
Suppose -3*o = 4*l - l + 36, -3*l - 46 = 5*o. Let c = -10 - l. Let n = 0 - c. Solve -20 = -n*p + 8*p for p.
-4
Suppose 145 = 5*a + 35. Let c = a - 18. Solve c = -0*b + 2*b for b.
2
Suppose 3*i + 9 = 0, -3*i - 12 = -3*j - 2*i. Suppose 2 = -5*k + j*k. Let r be 1/(9/(-12) - k). Solve 24 = -r*t + 4 for t.
-5
Let r be 34/85*5/2. Solve -4 = -h + r for h.
5
Let j be 0 - 2/(-8)*0. Solve 7*x - 2*x - 20 = j for x.
4
Let o be 6 + -1 + (-3 - (4 - 3)). Let u be 2*-1 + 2*2. Let g be 4 - -7 - 2*1. Solve -o - g = u*f for f.
-5
Suppose 3*s = 7*s + 4*s. Solve -4*h + h - 6 = s for h.
-2
Let o be (14/(-8))/(2/(-8)). Let x = 8 + -5. Solve -x*i = 1 - o for i.
2
Let l(q) = q**2 - 6*q - 3. Let u be l(6). Let r be 2 - (u/(-3) + 1). Solve -10 + r = 5*s for s.
-2
Suppose 15 = 3*g - 3*i, -3*g + 4 = i - 3. Suppose 4*h = 3*v - h - 31, -4*v - 3*h = 7. Let w(s) = s**3 - 3*s + 2. Let c be w(2). Solve c = g*z - v for z.
2
Let m = -7 + 0. Let t(z) = 0 - 1 + 2 + 6 + z. Let c be t(m). Solve c = -l - 2 for l.
-2
Suppose -5*r = 2*s - 25, -2*s + 2 = 4*r - 4*s. Solve 0 = j + r + 1 for j.
-4
Suppose 4*o + 2*o - 60 = 0. Suppose 5*b - o - 90 = 0. Solve 5*q - b = -0*q for q.
4
Suppose 0 = 2*j + 5*f - 22, 0 = -3*j + 4*f - 0*f - 13. Let i = j - 1. Suppose 0 = -g + 5*g + 4*m, i = 5*g - 2*m. Solve 0*q + q = g for q.
0
Let s = 15 - 13. Solve s*i - 5 - 1 = 0 for i.
3
Suppose 3*d + t - 4 = -2*d, 0 = -4*d - 2*t + 8. Solve -2*f + 3*f - 5 = d for f.
5
Let n = 3 + -1. Let s = -16 + 20. Solve 2*a = s*a - n for a.
1
Suppose -3*f + 5*f - 24 = -2*q, -2*f - 5*q + 36 = 0. Solve 0 = -4*y - f for y.
-2
Let k = 7 + -5. Solve k = -x + 7 for x.
5
Suppose 7*u - 9 = 4*u. Suppose -5*y = -u - 12. Solve 4 = y*q - 8 for q.
4
Let u = 0 + 1. Let s be (-1 + u)/(3 + -5). Solve s = q - 2*q - 2 for q.
-2
Let m = 12 + -9. Suppose -35 = -5*t + 4*h, 3*t - h - m*h = 29. Solve 3*d = 9 + t for d.
4
Suppose 0 = 4*p - 1 - 3. Let z = -1 + p. Suppose -4*y + 1 + 7 = z. Solve -3 = m + y*m for m.
-1
Let d = 2 + -3. Let j be 4/d*(2 - 3). Suppose j*b + 37 = 4*w + 9, -2 = b. Solve -4*p + 11 = -w for p.
4
Suppose 0 = 3*u, -2*c + 6*c - 4*u = 12. Let t = -1 + c. Solve -8 + t = 3*y for y.
-2
Let k(d) be the first derivative of d**3/3 - 3*d**2 + 1. Let g be k(6). Solve 0 = 3*m - g*m - 6 for m.
2
Let b be 4*(-2 + (-15)/(-6)). Suppose 0 = 2*p - b. Solve -2*m + p = -1 for m.
1
Let g(c) = -c**3 - 12*c**2 + 12*c - 9. Let p be g(-13). Solve 0 = p*q - 12 - 0 for q.
3
Let t(z) = z**3 - 5*z**2 + z - 5. Let b be 84/15 - (-9)/(-15). Let h be t(b). Solve -g - 3 = -h*g for g.
-3
Let s = -5 + -2. Let p = -5 - s. Let h be 3 + 1*(p - 3). Solve 3*f = h*f - 5 for f.
-5
Suppose 8*v + 69 = 109. Let x be 9/(3/2 - 0). Solve -x = v*s - 3*s for s.
-3
Suppose z = 4*z - 15. Let b = -2 + z. Solve -h = -0*h - b for h.
3
Let v = -2 + 8. Let u(m) = m + 3. Let z be u(-7). Let w be 0 - (-1 + z/4). Solve w*t = v - 0 for t.
3
Suppose q - 10 = -2*v, q = 5*v - q - 16. Solve 2*o = v*o + 2 for o.
-1
Let g(k) = 0*k + k + 2 - 4*k - k - k**2. Let c be g(-3). Solve -4*j - j = -c for j.
1
Suppose 0 = f - 16 - 9. Let y be (-5*2)/(10/(-5)). Let h = f - y. Solve l - h = 6*l for l.
-4
Let t be (-3)/((-3)/6*3). Suppose d + t = -0, 3*c - 34 = 5*d. Let w = c + -8. Solve w*q = 4*q - 20 for q.
5
Let u = -131 - -214. Suppose 0 = -3*c 