3 = 0. Solve v - 1 = -i for v.
-3
Suppose 0 = 61*d - 64*d + 12. Suppose 2*m = -2 + 6. Solve -m*h + 4 = -d*h for h.
-2
Suppose -3*x - 6 = 4*r, -7 = -5*x - 4*r + 3*r. Suppose -u = -x*b + 2*u + 31, -4*b + 52 = -4*u. Solve -5*y + 9*y = b for y.
2
Let o(k) = k - 8. Let c be o(8). Solve -5*n - 22 + 7 = c for n.
-3
Suppose -4*r - 4*a - 32 = -7*r, -2*r + 3*a + 23 = 0. Let k(s) = s**2 + 10*s + 4. Let f be k(-10). Solve -r*m + 16 + f = 0 for m.
5
Suppose u - 7 = -4. Suppose 10 - 4 = u*f. Let y be (f/(-1) - -3)*1. Solve -y - 2 = r for r.
-3
Suppose -7*n = -8*n. Solve n = -o + 5*o + 20 for o.
-5
Suppose 0 = 4*n + n. Solve 4*q + 10 - 30 = n for q.
5
Suppose 15 = -2*r + 5*r. Let w be 1/(-4) + (87/12 - -1). Solve r*h - w = -33 for h.
-5
Let w(n) = -n**2 + 4*n - 1. Let u be w(3). Let g(o) = -o + 2. Let r be g(-3). Suppose -4*k + 3*k - r*p + 26 = 0, -3*k = 5*p - 28. Solve -u - k = -s for s.
3
Let y(q) be the third derivative of -q**6/120 + q**5/15 + q**4/4 - 2*q**3/3 + q**2. Let a be y(5). Solve -7 = -3*n - a for n.
2
Let t(x) = -x - 7. Let b be t(-6). Let a be -1 + (b - (-16)/(-2)). Let q be (12/a)/(6/(-45)). Solve -6 = -5*h + q for h.
3
Let v(s) = s**3 - s**2 + s. Let r be v(0). Let x = r - -4. Solve -w = -x*w for w.
0
Let s = -15 + 35. Solve 0 = 4*h - s for h.
5
Let w(s) = -10*s**3 + 2*s**2 + 2*s + 1. Let m be w(-1). Suppose -3*o = -2*o - 4. Solve m = o*v + 3 for v.
2
Let v = 2 - 10. Let c(t) = -t**2 - 8*t + 3. Let n be c(v). Solve n*l + 3 = -0 for l.
-1
Let w(y) = -y - 10. Let c be w(-10). Solve c*d - 3 = 3*d for d.
-1
Let g = 21 + -19. Solve -s + g = 1 for s.
1
Let m(i) = -i**3 - 7*i**2 + 8*i + 4. Let o be m(-8). Let n = 4 - 2. Suppose -r - 18 = -k + 2*r, -4*k - 2*r = -n. Solve -k*y + 2*y = -o for y.
4
Let c = 14 - 12. Suppose -7*m + 16 = -2*m - 4*t, 20 = -c*m - 5*t. Solve 0 = -4*y - m + 4 for y.
1
Let g = -27 + 31. Let t = 8 + -6. Suppose -2 + 0 = -t*l. Solve -5*z = -l - g for z.
1
Let n = 34 + -29. Solve -n*d = -2*d - 3 for d.
1
Suppose 5*a - 12 = 2*a. Let r be (-12)/(-18)*(a - 1). Solve 3*b = -13 - r for b.
-5
Let f = 20 - 18. Solve -1 = f*p - p for p.
-1
Suppose -2*y - 45 = -y. Let w be (y/12)/(6/(-16)). Solve -w = 3*s - s for s.
-5
Let o = 47 + -27. Solve 0 = -0*h + 4*h - o for h.
5
Let d(p) = -p + 2. Let h be d(-3). Suppose -h*j + 2*l = -15, 3*j - l + 22 = -6*l. Let w be -18*j/(-2) + -1. Solve -c + w = c for c.
4
Suppose -2*j + 4 = y, -2*j - 2*j - 8 = -2*y. Solve y*i - 1 = -13 for i.
-3
Let f = -17 - -20. Solve 0 = p - f*p + 8 for p.
4
Let x(f) = -6*f**2 + f. Let m be x(-1). Let g be 2/(-6) - m/3. Solve 2*k + 0 = g for k.
1
Let r = -18 - 22. Let c be 2/5 - (-16)/r. Let l = c + 3. Solve b - 4 = l*b for b.
-2
Suppose -4*r + 0*i = -i - 1, -5*i = 5. Let h = r - -2. Solve -2*p + 0*p = h for p.
-1
Let f(g) = -5*g + 0*g**2 - g**2 + 5*g - 7*g. Let y be f(-6). Solve b = y*b for b.
0
Let t(m) = -m**3 - 5*m**2 - 4*m + 4. Suppose 23 - 3 = -4*s, 5*s = -3*u - 19. Let p be u/(-3) - (-40)/(-12). Let n be t(p). Solve n*l + 7 = -1 for l.
-2
Suppose 4*h - 5*g = 2*h + 8, 0 = -h + 4*g + 4. Let n(o) = 6 + 6*o + o - 6*o. Let c be n(-4). Solve h + 2 = c*y for y.
3
Let o = 3 - -2. Let h be ((-15)/(-9))/(1/3). Let k = o - h. Solve 5*b + 5 = -k*b for b.
-1
Suppose -3*k - 1 + 13 = 0. Let o be 1*-1*1 + 1. Let w = 2 - 0. Solve -w*c = -o - k for c.
2
Let g be (-4)/(-22) - 40/(-22). Suppose -3*b = 15, -g*m - b - 2*b = 5. Solve -m*i - 5 - 5 = 0 for i.
-2
Let n be ((-9)/(-6))/(6/8). Let b = 4 - n. Let o be b/(-3) + 2/3. Solve -2*f + f + 1 = o for f.
1
Suppose -3*m - 3 = -2*m. Let d = 2 - m. Suppose 2*f + 1 = -5*b, f + 2*b = 6*f - 12. Solve d*p + f + 3 = 0 for p.
-1
Let j(h) = 3*h - 12. Let n be j(8). Suppose 8*c - n = 4*c. Solve -c*v - 15 = -3 for v.
-4
Let j = 7 + 8. Let i be -3 + 1*j/3. Solve -3*b = -5 + i for b.
1
Suppose 0 = -j - 2, 0 = -3*p - 3*j - 18. Let m(w) = -w**3 - 3*w**2 + 4*w + 6. Let g be m(p). Let b = 18 + -13. Solve 3*d = b*d + g for d.
-3
Let a = -8 + 8. Solve a = -0*d - 2*d - 4 for d.
-2
Suppose -5*t = 3 + 2. Let q = 6 + t. Suppose -q*v = -5*x - 5, -3*x = -2*v + v - 1. Solve v*b = -1 - 9 for b.
-5
Let k(y) = y + 55. Let m be k(0). Suppose 4*z - 68 = -4*r - 0*r, m = 2*z - 5*r. Solve 0 = -4*v - z + 4 for v.
-4
Let d(b) = -2*b - 4. Let u = 7 + -10. Let k be d(u). Suppose -30 = -k*s - s. Solve s = 4*y + y for y.
2
Let n be (1 + -5)*1/(-2). Suppose q + k - 1 = -2, -2*k - n = -q. Solve -5*m + 6 + 9 = q for m.
3
Let k be 3/(-2)*4/(-3). Let x be (-2)/(-4) - (-42)/12. Solve 0 = -x*a + k*a + 2 for a.
1
Let i(m) = m**2 + m. Let g be i(1). Suppose 8*v - 7*v = g. Solve -t = v*t for t.
0
Suppose 7 = p - 3*n, 0 = -p - 0*n - 3*n + 1. Solve 2*q = -p + 10 for q.
3
Suppose 5*a + 2*n + 3 = 0, 4*a - 2*a + 4*n - 2 = 0. Let r(s) = -4*s + 1. Let f be r(a). Let j = 9 - 6. Solve 10 = -f*h + j*h for h.
-5
Let y be (0 + -1)/((-3)/6). Solve 13 = y*o + 5 for o.
4
Let x(i) = i**2 - 2*i - 2. Let b be x(-2). Solve -q - q = b for q.
-3
Let u(p) = -p**3 - 3*p**2 - p + 1. Let a be u(-3). Suppose b = 5*b - a. Solve 0 = -q - b - 2 for q.
-3
Let k = -4 + 8. Let v(t) = -t**3 + 2*t**2 - 2*t + 1. Suppose -z - 3*p + 9 = 2, -z + 3 = p. Let f be v(z). Solve -x - k + f = 0 for x.
-4
Let m = -4 + 33. Suppose 0 = 3*z - m - 16. Solve -l = 4*l + z for l.
-3
Let n = 41 + -11. Solve -5*g - 10 = -n for g.
4
Let x be ((-52)/8 - -3)*-2. Suppose 2 + x = 3*v. Solve v*z + 3 + 6 = 0 for z.
-3
Suppose 28 - 7 = 3*s. Solve -6*k - 1 = -s*k for k.
1
Let z(o) = 2*o**3 + o**2 + 2*o + 1. Let r be z(-2). Let n be 10/r*(-21)/2. Solve -3 = -4*u - n for u.
-1
Let t be (-8)/(-28) + 78/21. Solve 0 = t*n - 3*n - 5 for n.
5
Let r(u) = -1 + 7*u + 8*u - 13*u. Let b be r(4). Solve 5*p - b + 2 = 0 for p.
1
Let w = -24 - -17. Let u = 6 + w. Let h(y) = y + 2. Let a be h(u). Solve -7 = -2*q - a for q.
3
Let k(a) = 2*a**2 - 18*a + 16. Let o be k(8). Solve 3*p + 17 - 5 = o for p.
-4
Suppose 5*y - 17 = 8. Suppose -3*q - 2*u = -32, -2*q + 0*u + 23 = u. Suppose -q = -k - 5. Solve -k = -2*p + y*p for p.
-3
Let s be -2 - 1*(-18 - 2). Let u = s - 15. Solve u*c = -c - 12 for c.
-3
Let g(b) = -2*b - 2. Let p be g(-3). Suppose 8 = -2*u + p*u. Solve -5*w = -w - u for w.
1
Let k be 0 - (4 - 1 - 0). Let f be k/(-1) - (4 + -6). Solve -y + 1 = f for y.
-4
Suppose 0 = -4*a + 18 + 2. Suppose 3*r = -h + a*r + 6, -r = 0. Solve -3*k + h*k - 3 = 0 for k.
1
Suppose -4*t + 31 + 1 = 0. Let n(y) = 2*y - 12. Let a be n(t). Solve -a*b = -1 - 7 for b.
2
Let c = 5 + -2. Suppose 0*d - 5*d - i = -133, -2*d + 60 = -c*i. Solve 0 = -4*w + d - 11 for w.
4
Let y(s) = -s**2 + 9*s + 3. Let f be 7 + (3 - 1)/1. Let w be y(f). Suppose x = 3*t - 3*x - 14, x + 10 = 4*t. Solve w*d - 5*d + t = 0 for d.
1
Let m(u) = 3*u**2. Let x be m(-1). Suppose 0 = j - 0 - x. Solve 0 = -6*q + j*q - 15 for q.
-5
Let s(c) = -2*c + 1. Let j(z) = -z**3 + 1. Let p be j(0). Let n(m) = -3*m**3 + 2*m**2 - 1. Let w be n(p). Let k be s(w). Solve k*r = -7 - 18 for r.
-5
Let b = -12 + 24. Let d = 21 - b. Solve 2*l + l = d for l.
3
Let c(u) = 3*u**3 + 2*u**2 - u - 1. Let o be c(1). Solve -b + 2 = -o for b.
5
Suppose -i + 0*i = 0. Suppose 3*w - 6*w = i. Solve w = -4*m - 1 - 3 for m.
-1
Let j be (14/(-20) + 5/25)*-6. Solve 0 - j = m for m.
-3
Suppose 20 = -3*g + 5*g. Solve -3*l + g = -l for l.
5
Suppose 0 = -4*x - k - 4, 0 = 3*x + k + 2*k - 6. Let j be (x/(-3)*9)/1. Solve j*c - 4*c - 8 = 0 for c.
4
Let f = 22 + -20. Suppose -d = -f*d. Suppose 0 = -2*t + 5*l + 5, -t + l = -11 + 1. Solve t = 5*z - d*z for z.
3
Let x be (6/(-5))/(3/(-10)). Solve -10 + x = -2*s for s.
3
Suppose -28*t = -31*t + 9. Solve w = t - 5 for w.
-2
Let b(j) be the third derivative of j**5/10 - j**4/24 - j**3/6 + 3*j**2. Let u be b(-1). Suppose -14 = -x - u. Solve 0 = w - 3*w - x for w.
-4
Let l(r) = -7*r - 14. Let x be l(-2). Solve x = -2*q + 4 + 4 for q.
4
Suppose 2*t - 4 = -4*j, 0*j = 5*j + 4*t - 8. Solve j*i - 1 = -i for i.
1
Let l(b) = -b**2 + 7*b - 4. Suppose 6*g - g + 33 = 3*m, 0 = -5*g - 15. Let v be l(m). Solve 15 = v*x - 5*x for x.
-5
Let x(z) be the third derivative of -z**3 + 0*z + 4*z**2 - 1/12*z**4 + 0. Let p be x(-4). Solve -p*v - v - 15 = 0 for v.
-5
Let y(x) be the first derivative of -x**2 - 7*x - 2. Let f be ((-3)/4)/((-2)/(-16)). Let k be y(f). Solve k*j + 0*j = -20 for j.
-4
Let q(k) be the second derivative of k**3/6 + 7*k**