/(-18) - (-20)/6. Suppose -2*g = 4*z - 20, -r*g - z - 2*z + 15 = 0. Solve -l + g*l = f for l.
-2
Let v be 0/(10/(-2) + 6). Let x be 2/(-2 + 4) + 3. Solve -l + x = -v*l for l.
4
Let m(z) = 2*z + 12. Let d be m(-8). Let w be 66/12 + (-2)/d. Let t = -5 + w. Solve 0 = q - t + 2 for q.
-1
Suppose -2*d + 6 = -d. Suppose -w = -0*q + 3*q - 4, q + 5*w = d. Solve -3*u = 4 - q for u.
-1
Suppose -15 - 5 = -4*g. Let u = g - -11. Suppose 0 = -2*y - 2*i + 3 + 9, -5*y + 22 = -3*i. Solve y*n - n - u = 0 for n.
4
Suppose -n + 1 + 3 = 0. Solve 0*f + 12 = -n*f for f.
-3
Suppose 0 = -3*t + 5*q - 3, 5*q - q - 8 = t. Let d be 6/t*(-10)/(-3). Suppose c = d*c. Solve 5*g + 8 + 12 = c for g.
-4
Let w(d) = 0 - 9*d**2 + 3*d**2 + 11*d + d**3 - 4*d - 6. Let a = 11 + -6. Let x be w(a). Solve 2*c - x = 4*c for c.
-2
Suppose -4*j + 4 = -0. Let w(f) = 2*f**2 + f - 1. Let v be w(j). Solve v*p - p = -2 for p.
-2
Suppose 2*l - l - 1 = 0, 3*o + 5*l = 5. Suppose o = -2*y + 5*y - 36. Solve y + 3 = -3*h for h.
-5
Let q(v) = -3*v - 3. Let a(u) = -u**3 + 2*u**2 + 2*u - 4. Let x be a(3). Let p = 2 + x. Let z be q(p). Solve -3*t - z = -0*t for t.
-4
Let w = 3 - 1. Suppose -4 = -4*g - s, -2*g - 2*g + w*s = 8. Let h = g + 3. Solve 4*t - h = t for t.
1
Let x(f) = -f**3 - 9*f**2 - 10*f - 6. Let w be x(-8). Solve 6*z - z = -w for z.
-2
Let q(t) = t**2 + t - 12. Let d be q(4). Solve -4*j + d = -0*j for j.
2
Let x = 2 - 0. Suppose 0*a + 8 = 3*f - a, -5*f - 4*a = -x. Let h be 4 + 1 + (-3)/(-3). Solve h*i - f*i + 16 = 0 for i.
-4
Suppose -2*q + 2 + 3 = j, 0 = -2*j + 3*q + 3. Suppose -10 - 2 = -3*n. Solve -r - n = j*r for r.
-1
Suppose -7*g + 18 - 4 = 0. Let y be -1*1/(1 + -2). Let k be (-1)/(-1) + 3/y. Solve g*h + k = -6 for h.
-5
Let c be (-2 - -5)/1 + -1. Suppose -5*r + 4 - 8 = -4*m, 5*r = c*m - 2. Solve r = -3*z + 2 - 14 for z.
-4
Suppose 2*d = -3*d - 25. Let f = d - -9. Solve -f + 1 = -g for g.
3
Let n = 6 + -6. Suppose -3*y + 8*y + 5 = n. Let a be y/(-1 - (-15)/18). Solve 0 = 4*g - 2 - a for g.
2
Let n(w) = -w**3 - 17*w**2 + 19*w + 21. Let x be n(-18). Suppose -3*p + p = -10. Let q = -3 + p. Solve 0 = x*g + 1 + q for g.
-1
Let j be (12/3)/(4/(-2) - -4). Solve 0 = -j*p - 2*p - 8 for p.
-2
Let n be (4 - 1)/(3/(-14)). Let k = -10 - n. Solve -k*c = -2*c - 6 for c.
3
Suppose -3*g + 6 = -5*w - 18, 0 = -3*g - 5*w - 6. Suppose 17 = g*j - 19. Solve 4*d + j = d for d.
-4
Let x = -5 - -22. Let b = x - 14. Solve -b*p = -p + 2 for p.
-1
Let z(u) = -u**3 + 7*u**2 + 3*u - 6. Let j be z(7). Solve -4*h - j - 5 = 0 for h.
-5
Suppose 4 = 3*l + 2*v, 2*l - 4*l + 5*v - 10 = 0. Suppose l = 5*r + 4 - 19. Suppose 0 = -3*k + r*z + 21, -6*k + 4*z + 32 = -k. Solve -4*n + k = -0*n for n.
1
Let d(u) = -u**3 - 7*u**2 + 4*u + 3. Let a(y) = -5*y**3 - 29*y**2 + 16*y + 13. Let b(v) = 2*a(v) - 9*d(v). Let o = 5 + -2. Let k be b(o). Solve 0*x = k*x for x.
0
Let w = -1 + 5. Suppose v + 5 = 0, -3*n - w - 6 = 5*v. Solve 0*k + n*k = -15 for k.
-3
Suppose -5*q + 78 - 3 = 0. Let m = q - 0. Solve -x + 6*x = m for x.
3
Let s = 0 + 3. Suppose -15 = 2*p + s*g, 0 = 2*p - 5*p + 4*g + 20. Solve -3*a + p*a = 15 for a.
-5
Let u = 118 + -114. Let k = -6 - -8. Solve -b = -k*b - u for b.
-4
Suppose -3*s + 73 = -8. Solve -s = 4*o - 7 for o.
-5
Let u = -73 - -43. Let o be (u/(-3))/(0 + 2). Suppose -2*j - m = 3, -o*j - 5*m = -m + 15. Solve -s + j = -0 for s.
1
Suppose m - 4 - 1 = 0. Solve -m*j + 3*j = 8 for j.
-4
Let k be 2/(-18)*-2 - 16/(-9). Solve -k*t = -7*t - 20 for t.
-4
Let d be -2 + 3 + (-1)/(-1). Let t(m) = m - 5 + d + 8*m - 5 - m**2. Let r be t(8). Solve -l + r + 3 = 0 for l.
3
Let d be ((-1)/(-3))/(4*1/36). Suppose 3*s + 5*t = -16, -2 + 0 = -4*s - 2*t. Solve -2*r + d = -s for r.
3
Let m = 18 - 13. Suppose 0 = m*k - 3*k - 50. Solve -r - k = -6*r for r.
5
Let f(h) = -h**2 + 12*h - 9. Let y be f(11). Suppose 5*s + y*z = 34, s - 3*z - 12 = -6*z. Solve 25 = v - s*v for v.
-5
Let u(j) = j**2 - j - 1. Let b be u(3). Suppose -h = -b*n + 11, -h + 4*h = 3*n - 9. Suppose 6*i - 4*i - n = 3*s, -2*i + 2 = -2*s. Solve -4 = -m - s*m for m.
4
Let g(w) = -w**3 + 4*w**2 - 3*w + 2. Let f = 6 + -3. Let u be g(f). Solve -u*p - 2 = -3*p for p.
2
Suppose 4*c - c - 15 = 0. Let s(t) = t**3 + 4. Let n be s(-4). Let o be (n/c)/(3/(-4)). Solve 2*x + 2*x = o for x.
4
Suppose -3*d - 4 = -10. Solve 0*r - d*r - 8 = 0 for r.
-4
Let j be 2 - -2 - 0/(-2). Suppose 0 = 5*n - 153 + 28. Solve j*d = -d - n for d.
-5
Let i be 12/8 + (-74)/(-4). Suppose 0 = t - i + 4. Suppose -4*o - t = 2*c, -o + 1 = 3*c - 0. Solve 0 = -0*q - q + c for q.
2
Let l be (-1)/((-3 + 2)/1). Solve m = -l + 2 for m.
1
Suppose 1 = -4*u + 3*u. Let y be (-9)/(-3) - (u - -3). Let r be (2 - y)/(-1)*-1. Solve -o + r + 2 = 0 for o.
3
Let d(v) be the first derivative of v**2/2 + 1. Let o be d(1). Solve 0 = 2*q - 7 + o for q.
3
Let d be 4/((-4)/(-5)) - -3. Solve 15 = -11*v + d*v for v.
-5
Suppose 0 = 6*a - a. Suppose -10*f = -5*f - 5. Solve k = -a*k - f for k.
-1
Suppose -10*n = -13*n. Solve 3*q + 7 + 2 = n for q.
-3
Let y be ((-6)/4)/(1/(-2)). Let x be 0 + 0/y + 3. Solve 0 = x*v - 8*v for v.
0
Let b(o) = -4*o - 13. Let u be b(-5). Solve u = -5*i - 8 for i.
-3
Suppose u + 0*u - 5 = 0. Suppose 0 = 5*z - v - 5, 2*z - 2*v - 4 = -2. Solve -2*r - u = -z for r.
-2
Suppose -b + 2*b - 4 = 0. Suppose b*w = 8 + 8. Solve 3 = w*m + 11 for m.
-2
Let s(b) = -2*b - 9. Let p(r) = r**2 + 9*r - 7. Let u be p(-9). Let y be s(u). Let t = 0 + 2. Solve -t*o + o = y for o.
-5
Suppose 4*i - 5 = -1. Suppose 1 + i = -o + 2*s, o - 5*s - 7 = 0. Let b be ((-35)/28)/(2/o). Solve 0 = -5*y + b - 0 for y.
1
Let n(l) = -l**2 - 6*l - 5. Let z be n(-6). Let t = -9 - z. Let o = -2 - t. Solve -o*y = y - 3 for y.
1
Let c(v) = v + 1. Let n be c(0). Suppose -5*q - 3 = -3*h, h + 4*q - q = n. Solve 4*o - h - 3 = 0 for o.
1
Let y = -20 + 16. Let u be y/(-16) - (-46)/8. Suppose 3*b - 5*b = p - 7, -b - 1 = -p. Solve -4*h = -b*h - u for h.
3
Let w be ((-4)/16)/((-2)/24). Solve -w*n + 6 = -n for n.
3
Suppose -4*a = -8*a - 24. Suppose 0 = -l + 16 - 22. Let k = a - l. Solve 3*b + 3 + 9 = k for b.
-4
Let a(h) = -h**3 + 7*h**2 - 5*h - 4. Let q be a(6). Solve -2*w - q - 2 = 0 for w.
-2
Let k(h) = h**3 + 4*h**2 + 3*h + 3. Let c be k(-3). Suppose 3*j + 0*j = c*t + 39, j = -2*t + 10. Solve -2*z + j = z for z.
4
Let h(l) = l**2 - 6*l - 11. Let p be h(8). Let w be (1 - 2)/((-1)/3). Suppose -w*i - 4*k + 10 = 0, 4*k + 9 = -11. Solve -p*o - i = -0 for o.
-2
Let w(z) = z**3 - 7*z**2. Let t be w(7). Suppose 0 = -t*q - 2*q + 4. Solve 2*u = -q*u - 16 for u.
-4
Let k(c) = c**3 + c**2 - 2*c + 1. Let l be k(1). Suppose 0 = p - 2 - l. Solve -p*v = -2*v + 4 for v.
-4
Let h(s) = -s**3 - 6*s**2 - 4*s + 7. Let d(r) = -r**3 - 4*r**2 + r - 1. Let u be d(-4). Let x be h(u). Solve -x*l + 5 = -l for l.
5
Let w = -34 + 43. Solve 0*n = 3*n - w for n.
3
Let n be (-1 + 1)/(-3 + 4). Solve -2*c = -n*c for c.
0
Suppose 0 = n - 3*z + 2 - 11, -4*n + 2*z = -6. Solve -3*q = -n*q + 6 for q.
-2
Suppose -20 + 2 = -6*b. Solve b = -3*v - 0 for v.
-1
Let s(q) = 4*q + 4. Let b be s(2). Let k be 0 + 2/(-1) + b. Solve 9*a = 4*a + k for a.
2
Let m(x) = x**3 - 6*x**2 + 2*x - 7. Let k be m(6). Solve -k - 5 = 2*j for j.
-5
Let d(u) = u**2. Let l be d(0). Suppose l = -s - 2*s. Solve s*t = t - 1 for t.
1
Let x(h) be the first derivative of -h**3/3 + 4*h**2 - 6*h - 2. Let s be x(6). Let i = s - 3. Solve 2 = w - i for w.
5
Suppose 0*z = -4*z + 32. Let h = -2 + z. Solve 0 = d - 3 + h for d.
-3
Let r(t) = t**2 + 3*t. Let j be r(-6). Let f be -3 + j + (-6 - -3). Solve -f = -a - 2*a for a.
4
Let b be 5/(-2)*44/(-10). Suppose m - b = 9. Solve 7*y - 2*y = -m for y.
-4
Suppose 0 = 5*n - 5 - 0. Let v be 3 + n + (-1)/1. Solve 0 = -5*y + v + 2 for y.
1
Let v be (-3)/(-1)*(0 - -1). Suppose 0 = -0*c - v*c + 24. Solve -2*k + 6*k = c for k.
2
Let x be ((-1)/1)/(1/(-3)). Suppose 3*n = -2*c + c + 16, -4*c + 24 = 2*n. Solve n = x*t - t for t.
2
Let r(i) = -2*i + 1. Let j be r(-1). Suppose -3 = k + j*a - 7*a, -4*a = 2*k - 18. Solve k*f - 1 = 14 for f.
3
Suppose 0*y = -2*y + 24. Solve 0 = 6*j - 3*j + y for j.
-4
Let x = 154 - 153. Solve -q + x = -2 for q.
3
Let n = 18 - 17. Let o be (-10)/(-4) + (-1)/2. Solve g + o = n for g.
-1
Let j(g) = -g**2 - 6*g + 6. Let m be 10*2/10*2. Let u be m/(-10) + 112/(-20). Let t be j(u). Solve h = t*