= 9. Solve -o*v - 2*v + l = 0 for v.
4
Let y be 290/25 - 3/5. Suppose -13*n + y*n = 0. Solve v - 1 + n = 0 for v.
1
Suppose 5*m + a + 180 = -41, -a - 131 = 3*m. Let d = -12 - m. Suppose 4*x - d = -5*k, -k + x = -4*x + 5. Solve -4 + 24 = -k*y for y.
-4
Let w = 12 + -4. Suppose -i + 4 = -0*i. Suppose i*f - 4 = 3*f. Solve y + w = f for y.
-4
Let w(a) = a**3 + 8*a**2 + 5. Let h be w(-8). Solve 0 = g - h*g for g.
0
Let p be 1/(-5) - (-567)/35. Solve -5*l + l - p = 0 for l.
-4
Suppose 0 = 2*b + 1 + 3. Let q be 12/(-9)*21/b. Suppose -3*f = -1 - q. Solve 2*g + f - 15 = 0 for g.
5
Suppose -3*r = w + 8, w = r - 0*r + 4. Solve 0*z + z - w = 0 for z.
1
Suppose -2*d + 0*p - 3*p - 11 = 0, -4*d - p = 7. Let u(a) = a - 5. Let c be u(6). Let q be c - 2/2*d. Solve 0 = -q*w - w for w.
0
Let r(l) = -l - 16. Let i be r(-19). Solve -i*k + 2 = 11 for k.
-3
Let m(u) = -u**3 - 5*u**2 - u - 2. Let f be m(-5). Suppose 5*g - 25 = 2*k - 0*k, f*k = -2*g + 10. Let n = -3 - -6. Solve -i + g = n for i.
2
Let u(c) = -c - 2. Let i be u(-3). Solve g = -2 + i for g.
-1
Suppose -2*r = 4*p - 18, 1 = -2*p - 5*r + 6. Solve -6*t = -p*t for t.
0
Let q be (-1 - 12/(-2)) + -1. Suppose 0*r = -q*r + 24. Suppose -3*s + 39 = 5*i, -5*i - 25 = s - r*s. Solve 5 - s = k for k.
-3
Let y(i) = 3*i - 3. Let n be y(6). Suppose 4 = -2*q - 5*w + w, -10 = 5*w. Solve -f = q*f + n for f.
-5
Let d(r) be the second derivative of -2*r + 0 + 5/6*r**3 + 0*r**2. Let p be d(1). Solve -p*b - 11 = -1 for b.
-2
Suppose -4 - 1 = -3*b - 2*h, 2*b - 12 = 3*h. Solve 0 = -b*a + 1 - 7 for a.
-2
Let m = -34 + 36. Solve -m*d + 15 = 3*d for d.
3
Suppose 5*i - 19 = -4*t, i = -t + 5*i + 10. Solve -2*k = -4*k - t for k.
-3
Suppose 5*f = -2*k - 5, 5*k - 2 = -f + 20. Suppose -h - 6 = -k*c, c - h = -0 - 2. Solve -c*b - 11 = -3 for b.
-4
Suppose d + 5*v = 3 + 33, -4*d = 2*v - 90. Let a = d - 13. Solve -4*q + 0 = -a for q.
2
Let n be 8/(0 - -2) - 0. Let c be ((-3)/n)/(2/(-16)). Suppose -4*y = -2*y - c. Solve 0 = -2*i - y*i + 5 for i.
1
Suppose 2*h = -0*h + 2. Solve -6*a = -7*a + h for a.
1
Let w(t) = 4*t + 31. Let x be w(-7). Solve x = -4*p - 13 for p.
-4
Suppose 12 = 5*l - l. Suppose -l = y + 3. Let u(f) = f**3 + 5*f**2 - 6*f. Let h be u(y). Solve 0 = -3*j - h + 3 for j.
1
Suppose 2*q - 5*o = -6, q + 4*o = -2 + 12. Suppose 4*y - 6 + q = 0. Solve 17 - y = -4*p for p.
-4
Suppose -14*c - 288 = -38*c. Solve 9*a = 5*a + c for a.
3
Let g(y) = 2*y - 8. Let k be g(6). Let i be 2 - (2 + -3 + -5). Solve -3*p - k = i for p.
-4
Suppose -p + 5*c - 8 = 0, -3*p + 2 = -6*p + 4*c. Solve -p*i - 20 = -7*i for i.
4
Let i = 8 - 9. Let s = 3 + i. Solve 4*l = 6 - s for l.
1
Let k be 12*(-1 - 2/(-1)). Let s = k - 6. Suppose v + 45 = s*v. Solve -v = -2*z - z for z.
3
Suppose 6*b = 2*b + 72. Suppose -b = -5*p + 2. Solve -p*n + 15 = -9*n for n.
-3
Let z(w) = -w**2 - w - 1. Let k(o) = -3*o**2 + 6*o + 1. Let a(f) = -k(f) + 2*z(f). Let y be a(7). Let g be (-18)/(-15)*y/(-4). Solve g*x - 5*x = -10 for x.
5
Let s = -8 - -8. Solve s = -3*x - 0 - 3 for x.
-1
Suppose -3*q + 7*q + 16 = 0, -3*w - 4 = q. Suppose 3*h + c = -w*h + 19, -3*h + 2*c = -7. Let x(k) = k**2 - 5*k. Let z be x(h). Solve 0 = -z*v + 5*v - 20 for v.
4
Suppose -5*h + 2*t + 24 = -5, -5*h + t + 27 = 0. Solve -f - h = -3 for f.
-2
Let x(z) = z**3 + z**2 - 5*z - 2. Let t be x(-3). Let p = t - -13. Let i be (0/(-1))/(-2 - -3). Solve -5*j + 12 + p = i for j.
4
Let y = 202 + -141. Let t be 6/27 - y/(-9). Let b = -8 + 11. Solve -b*k = t + 5 for k.
-4
Let o = 6 + -2. Let l(t) = -t**3 - 5*t**2 + 5*t - 3. Let h be l(-6). Solve -o = h*v + 2 for v.
-2
Let a be (-2)/(-4)*-6*6/(-9). Solve -3*k = a*k - 5 for k.
1
Let m be (2/4)/(4/(-8)). Let w be (3/2)/((-3)/(-20)). Let i = w + m. Solve 0*r = 3*r - i for r.
3
Let b(i) = -i**2 - 1. Let q(z) = -4*z**2 + 2*z. Let a(s) = -3*b(s) + q(s). Let w be a(3). Let u = w + 0. Solve u = 4*f - 0*f - 12 for f.
3
Suppose -b - 3*t - 6 = 0, -2*b + 1 - 7 = 4*t. Let c(z) = -z**2 + 4*z - 3. Let k = 3 + 0. Let f be c(k). Solve f = -2*x - b - 1 for x.
-2
Suppose 9 = 2*y - q, -5*y + 4*q + 11 = -13. Suppose 0 = 3*z - y - 5. Solve h + 0*h = -z for h.
-3
Suppose 10 + 0 = 5*b. Let g be (-8)/(-4) - (-1 - -2). Solve b*z - z = -g for z.
-1
Let b(h) = -4*h + h**2 + 0 - h + 0 - 10. Let i be b(7). Solve -i*z = -14 + 6 for z.
2
Let l(o) = o**2 + 7*o + 2. Let k be l(-7). Suppose -5*u + 20 = 0, k*u + 2*u = 3*r + 10. Solve r*b - b = 4 for b.
4
Let u(r) = 4 - 6 + r + 4 + r**2. Let l be u(0). Let f be (-2 + l)*1/2. Solve 5*p + f*p + 20 = 0 for p.
-4
Let q be (-34)/(-8) - 6/24. Solve -q*i = 3 + 1 for i.
-1
Let x(n) = n + 11. Let y be x(-7). Solve -m = -0 - y for m.
4
Let p = 3 - 1. Suppose 0 = -p*m - m. Suppose m = -2*u - 2, -4*y + 3*u + 3 = -0. Solve y*j = 4*j for j.
0
Let t = 63 - 47. Solve 5*a = 1 - t for a.
-3
Suppose 0 = -2*s - 0*s. Suppose s = -f - z, -3*f - 2*f - 3*z = -10. Solve -2*w = -f*w + 12 for w.
4
Suppose -2*y = y - 9. Suppose 0 = 2*t - 3*t + y. Suppose 2 + t = -5*f, 2 = -3*s - 2*f. Solve s = 2*o + o for o.
0
Let g be ((-1)/(-3))/((-7)/(-105)). Suppose 3*h = g*h + 6. Let t = h + 7. Solve -t*o = 1 + 3 for o.
-1
Let o = -3 - -12. Suppose -3*a = -f + 6, -f = -5*a + 3 - o. Solve 2*m - f*m - 16 = 0 for m.
-4
Let f(u) = 4*u - 4*u**3 + 5*u**2 - 9*u**2 - 2*u**3 + 7*u**3. Let q be f(3). Solve 0 = 2*g + q + 1 for g.
-2
Suppose -4*z = -3*j - 33, 0 = -3*j - j - 12. Let b(t) be the second derivative of -t**4/12 + 2*t**3/3 + 2*t. Let u be b(3). Solve 3*p = -u - z for p.
-3
Let w(v) be the first derivative of 5*v - 1/3*v**3 - 2 + 2*v**2. Let q be w(5). Solve 4*r - r + 3 = q for r.
-1
Let v(j) = -2*j + 7. Let n be v(1). Solve n*i - 3 = 12 for i.
3
Let z = 10 - 11. Let l be 2 + 2 + 1 + z. Solve 0 = l*o - o for o.
0
Suppose 2*n - 5*w + 22 = 6*n, 4*w - 8 = 0. Suppose -3*x + 5*y = -40, -4*x = x + n*y - 10. Let s be ((-13)/(-4))/((-2)/(-16)). Solve -x*d - s = -1 for d.
-5
Let n(o) = 2*o**2 - 6*o - 1. Let m be n(5). Suppose -1 - m = -4*z. Let w be (z/(-4))/((-1)/4). Solve -2*a = -a - w for a.
5
Suppose 3*j + 5 = s, 5*j - 2*s + 25 = 3*s. Suppose -4*y = -8*y - 2*n + 22, 2*n + 2 = 0. Solve -3*d + j = -y for d.
2
Suppose 0*d + 4 = d. Suppose -z = d*u + 9, 0 = -z - 3*z - 4*u + 12. Solve -z = 3*g - 22 for g.
5
Suppose 20 = 6*i - i. Suppose -5 = -2*w + w. Suppose 2*h = 2*d + w - 1, 3*h = 2*d + i. Solve h = 7*v - 3*v - 16 for v.
4
Let n be (2 - 2) + -3 - 36. Let l = -27 - n. Solve l = -0*d + 3*d for d.
4
Let v = -5 - -10. Let m(q) = -q**3 + 4*q**2 + q + 1. Let t be m(4). Let r be (-5)/(t/2) - -15. Solve r = v*g + 3 for g.
2
Let z be (0 - 1) + 1*2. Let v be 1 + -6*z/(-2). Solve v = 5*c - 6 for c.
2
Let s = -12 + 12. Solve 3*g + 0*g + 15 = s for g.
-5
Let l(t) = t - 5. Let i be l(7). Solve i*h + 2*h - 12 = 0 for h.
3
Let j(d) = d**3 + 7*d**2 - 8*d + 1. Let w be j(-8). Solve -2*h - w = -11 for h.
5
Let y = 6 - 2. Let h be ((-4)/(-5))/(7/35). Suppose d - 5 = 3*v - h, v - 9 = -2*d. Solve -y*t + d = -0*t for t.
1
Suppose 4*z = -2*z + 36. Solve -z*n + 15 = -11*n for n.
-3
Let a = 15 - 15. Suppose -2*m + 16 + 4 = 0. Solve 0*l + 2*l - m = a for l.
5
Suppose 4*d = -2*c + 2*d + 20, 4*c - 5*d = 31. Let q = c + 0. Suppose 3*g + q = 6*g. Solve 0 = -g*p - p + 4 for p.
1
Let w be (2*(-4)/(-24))/(-1)*0. Let b = -1 + 1. Suppose 35 = 5*x + 4*j - j, 5*x - 4*j = b. Solve w = -x*g - 0*g for g.
0
Let u be (7 - 7)/(0 - -1). Solve -4*h + 9*h = u for h.
0
Suppose m + 2*m = -c + 13, 5*c = -2*m + 26. Let k = 3 - m. Suppose 5*d + k*h = -4*h + 27, 4*d - 3*h - 3 = 0. Solve -d*x = -x for x.
0
Let u(g) = g**3 - 8*g**2 + 11*g + 10. Let m be u(6). Solve m*d + 4 = 5*d for d.
4
Suppose 0 = -3*a - 4*m - 0*m - 3, 4*a - 5*m - 27 = 0. Suppose -t = a*q - 2*t - 21, -t - 29 = -4*q. Solve -q + 3 = -5*h for h.
1
Suppose 4*g + 7 = -1, -2*s + 8 = g. Solve -s*m - 2 = 8 for m.
-2
Suppose -c + 2 = -1. Suppose -u + 4 = -c*k, -5*k = 4*u + 10 - 26. Suppose o - 5*o + 48 = k. Solve n = -3*n + o for n.
3
Let i be -3 + 7 + -4 + 2. Suppose 2*a = -f + 20, i*a - 6*a + 60 = 3*f. Solve -m + 6*m = -f for m.
-4
Let v be 0*-1*4/8*1. Solve -5 = 5*u - v*u for u.
-1
Let g = -6 + 9. Suppose -c = g*c - 16. Solve 0 = c*j - 21 + 1 for j.
5
Suppose 0*y + 8 = -4*y. Let v = 6 + y. Solve -v*h = h for h.
0
Let z = 1 + 1. Suppose h - 17 = -x, -3 = -z*x + 1. Solve 2*p = -p + h for p.
5
Let d(a) =