 = 3 - 1. Solve -l*z - 1 = f for z.
-1
Let q(o) = 2*o + 3. Let v be q(-2). Let h be 4/v + 12/3. Let s(p) = 2*p - 6. Let d be s(5). Solve -y = -h*y + d for y.
-4
Suppose 0 = -4*d + 2*d - 10. Let w = d + 9. Solve 6*b - 4 = w*b for b.
2
Let t = -31 - -35. Let q(l) = 24*l - 1. Let c be q(1). Let d = -14 + c. Solve z = t*z + d for z.
-3
Let k(f) = -f**2 - f + 2. Let a be k(-2). Solve 0 = -a*x + 2*x for x.
0
Let y(i) = -i**3 + 17*i**2 - 15*i - 17. Let j be y(16). Let x be (-1)/(-2)*(j + 1). Let s = -17 + 26. Solve x = -5*t - 1 - s for t.
-2
Let v = -3 + 6. Suppose 0 = 3*w - 27 - v. Let k = 7 + -5. Solve -4*q + w = -k for q.
3
Let q(d) = -d**3 - 5*d**2 + 7. Let n be q(-5). Let r = n + -1. Let p(w) = w**3 - 3*w**2 - 5*w + 6. Let y be p(4). Solve -y*t + 8 = -r*t for t.
-2
Let r(q) = -q**2 + 20*q - 15. Let j be r(19). Solve -3*t + 8 = -j for t.
4
Let o(t) = 3*t - 2. Let i be o(9). Suppose 3 = -2*x + i. Solve 1 - x = 2*a for a.
-5
Let p = 100 + -97. Solve -q - 6 + p = 0 for q.
-3
Suppose 2*z - 20 = -2*z. Let c(w) = 4*w + 7. Let b be c(6). Suppose 0 + 55 = 5*m. Solve z*q = b - m for q.
4
Let j = -41 - -42. Solve 1 = -b - j for b.
-2
Suppose -j = -3*c + 11 + 9, 5*c - 2*j = 34. Solve 2*y - c = -0*y for y.
3
Suppose 3*g + 1 = 7. Let u = -89 + 90. Suppose -2 = z + g*t, -4*z + t + 0 + u = 0. Solve z*d = -d for d.
0
Let x = 15 - 12. Solve 5*k + x - 8 = 0 for k.
1
Let f(r) = -2*r + 13. Let z be f(5). Solve n = -z + 5 for n.
2
Suppose 0 = h - 5*h + 120. Suppose -4*q + 38 = -3*m, -q + h = 4*q + 5*m. Solve -3*d - d = q for d.
-2
Let v(m) = -3 - 3*m - 5*m + m. Let d be v(-3). Suppose -5*u - 3 = -d. Solve u = -4*l + l for l.
-1
Let f be 2/(-8) - 26/(-8). Let s be 3 + 1 + (-4)/2. Let o be (-5)/((-15)/s)*6. Solve f*g = o*g for g.
0
Let w(m) = m**2 + 5*m - 4. Let c be w(-5). Let t be ((-5)/4)/(1/c). Let a = 388 - 382. Solve a = -t*d - 4 for d.
-2
Let b be ((3 - 5) + -6)/1. Let l be (b/4)/(-1 + 0). Solve 0 = d - l*d + 3 for d.
3
Let m(w) = -5*w + 4. Let n(a) = -a + 1. Let c(q) = -5*m(q) + 20*n(q). Let k be c(1). Solve -k*r + 12 = -r for r.
3
Let b = -195 + -17. Let p = 67 + b. Let t be p/(-7) + 6/21. Solve -t = -5*o - 6 for o.
3
Let i(h) = 11*h - 1. Let j be i(1). Let f be 3*1 - (11 + -11). Solve j = l - f*l for l.
-5
Let w(x) = -x**2 + 10*x - 5. Let n be w(7). Let l be (-4)/n + (-34)/(-8). Suppose l*s = 8 + 4. Solve -17 = -5*h + s for h.
4
Suppose 0 = h + 4*l - 14, h - 3*l = -0*l - 7. Let f be 4 - 2 - 0 - h. Solve r + f + 4 = 0 for r.
-4
Let a = 3 + -1. Suppose 8*o = 3*o + a*f + 12, -3*o - 4*f = -2. Solve o*h = 5*h - 6 for h.
2
Let z(n) = n**3 + n**2. Let v be z(0). Let f = 5 + v. Suppose -s - 12 = -f*h, -h - 45 = -5*s - 9. Solve 3*u - u - s = 0 for u.
4
Let f(n) = n + 6. Let w be f(-11). Let v(y) = y**3 + 5*y**2 - y - 5. Let m be v(w). Solve -4*i + m = -4 for i.
1
Let n(x) = x**3 - 3*x**2 - 5*x + 4. Let w(q) = -q**2 - 17*q + 4. Let l be w(-17). Let b be n(l). Solve -2*o - 3*o + 15 = b for o.
3
Suppose 10 = 2*b + 2. Solve l + b*l = 15 for l.
3
Suppose -2*c = -8 - 10. Solve -2*v = v + c for v.
-3
Let b(v) = -v**2 - 2*v + 16. Let w be b(0). Solve -2*z = 2*z + w for z.
-4
Let y = -13 + 21. Suppose 0 = -3*l + 4*k - y*k + 21, -l - 4*k = -15. Suppose 3*o = -l*q + 21, -5*o + 0 = -q + 1. Solve m - 25 = q*m for m.
-5
Let n = -24 + 17. Let u(y) = y**3 + 8*y**2 + 8*y + 7. Let h be u(n). Let k = 23 + -11. Solve h*a + 4*a = -k for a.
-3
Suppose 86 = 2*v + 4*x, -2*v - 3*x + 187 = 2*v. Suppose 0*a - 5*a - 2*m = -v, -a + 17 = -2*m. Let t = a - 8. Solve -p = 4 - t for p.
-1
Suppose -2*d = -5*d. Solve d = -4*y + 18 - 6 for y.
3
Suppose -3*l = -3*a - 6*l + 27, 5*a - 10 = 2*l. Suppose 4*b - 3*x + 11 = 0, -4*b - x - 19 = a. Let q = b - -7. Solve -q*f = -0*f - 8 for f.
4
Let a(q) = -q**2 - 5*q - 2. Let m be a(-4). Let v(h) = h. Suppose -15 = -4*u - 3. Let l be v(u). Solve -m = r - l for r.
1
Let c = -22 - -13. Let o = -3 - c. Let z(g) = -g + 7. Let p be z(o). Solve p = -0*k - k for k.
-1
Suppose -q - q = -28. Let y = q - 10. Solve 1 = y*x - 3 for x.
1
Let m = 0 + -1. Let o = m + 3. Solve -o*v = v + 3 for v.
-1
Let z be (4 + 8/(-12))/((-4)/(-6)). Let b be ((-10)/(-3))/(4/6). Solve 20 = -z*g + b for g.
-3
Let z = 10 + -5. Suppose 7 = 3*y + h - 8, 0 = -3*y + z*h + 15. Solve -2*f - y = 3*f for f.
-1
Suppose 0 = -3*z + 5*w - 24 - 0, 0 = -5*w. Let y be (1 - 4)*z/3. Solve 5*d - 23 = -y for d.
3
Let u(k) = k**2 + 2. Let h be u(2). Let n(j) = j**3 - 7*j**2 + 7*j + 1. Let y be n(h). Solve 12 = y*m - 3*m for m.
3
Let s = 5 + 1. Suppose -5*j = -5*b - 0 + 20, -2*b - 4 = 0. Let x = j + s. Solve x = r - 4*r for r.
0
Suppose v - 2*v = -3. Let d be 1 - (-60)/3 - -2. Let g = d + -13. Solve -v*f + 5 = -g for f.
5
Let l be (-2 - 1)/(9/(-12)). Suppose 7*m - 12 = l*m. Suppose -a + m*d + 5 = 3*d, d = 2*a - 10. Solve 0 = a*i - 3 - 7 for i.
2
Suppose -4*t - y + 0*y = -7, y = -5*t + 9. Solve 0 = -3*i + 2*i - t for i.
-2
Let r(f) be the third derivative of 0*f - 3/8*f**4 + 4*f**2 + 1/6*f**3 + 0. Let b be r(-1). Solve -30 = 5*a - b for a.
-4
Suppose -4*q + 8 = -8. Solve -i - q*i = 25 for i.
-5
Let v = 33 + -31. Let r be ((-38)/(-8))/(1/(-4)). Let l = -9 - r. Solve 3*c = -v*c - l for c.
-2
Let x(a) = a + 6. Let k be x(0). Let t = k + -3. Solve -t*q - 16 = q for q.
-4
Let x = -5 + 10. Solve 0 = v - x for v.
5
Suppose -2*b = 2*b - 24. Suppose 8 = c - 13. Solve -3*r + c = b for r.
5
Let m(n) = n**3 - 3*n**2 - 3*n + 3. Let a be m(4). Let l = 5 - 1. Solve -l = q - a for q.
3
Let i be (3/(-6))/((-4)/32). Let y be (-1)/4 + 9/i. Solve -2 = f + y for f.
-4
Let n = -19 - -17. Let v be 20/(2/n*-1). Solve -v = -4*p + 8*p for p.
-5
Let q(o) = 3*o - 3. Let n be q(2). Suppose -n = -2*t + 7. Let w be 32/6 + 1/(-3). Solve -6*c + w*c = t for c.
-5
Let f(g) = g + 1. Let d be f(4). Suppose d = -3*m - 1. Let s be m/(-1)*2/2. Solve -5*x - 12 = -s*x for x.
-4
Let o(h) = h**2 + 14*h - 32. Let w be o(-16). Solve 4 + w = u for u.
4
Let v(m) = -3*m**2 - 7*m + 2*m**2 + 2 + 11*m. Let h be v(4). Suppose -4 = -h*j - 0. Solve j + 0 = -2*y for y.
-1
Suppose j = -3*k - 11, -4*k = 4*j - k - 1. Solve j = 2*w + 10 for w.
-3
Suppose -4*t = 4*b - 16, -5*b - 11 = -5*t - 1. Solve t*c - 3 = -0 for c.
1
Suppose 6*w + 24 = 2*w. Let g = w - -11. Suppose -2 - 24 = -4*p - g*q, -p - 5*q - 1 = 0. Solve 3 - p = -2*d for d.
3
Suppose 2*w - 20 = -3*w. Solve 0 = -4*s + w for s.
1
Let n(s) = -s**3 - 9*s**2 + 2. Let k be n(-9). Suppose 3*u = u + k. Let f = 3 - u. Solve -f*v + 7 = 5 for v.
1
Let a be (3 - 1)/(8/(-56)). Let b = 16 + a. Solve b*w + 8 = -2*w for w.
-2
Suppose -6*a + 3*a = -3*b, 3*b - 6 = a. Let r be 8/b + 3/9. Let m(p) = 2*p - 10. Let f be m(7). Solve -r*i = -2*i - f for i.
4
Let m = -3 - -2. Let v be (m/2)/(4/(-32)). Solve -v = -3*b + b for b.
2
Suppose 5*v + 4*k = -k + 55, -v + 2*k + 8 = 0. Suppose -4*d = -2*h + 10, -4*h - 5*d + v = -23. Let s = h - 4. Solve s = -5*p - 7 for p.
-2
Suppose 0 = -8*p + 6*p + 8. Solve -2 = p*s + 10 for s.
-3
Let p = 62 - 58. Solve -4 = -p*z - 24 for z.
-5
Suppose 2*o - 5 = -17. Let x = -2 - o. Let s(w) = 7*w**2 + 1. Let g be s(1). Solve g*c = x*c + 4 for c.
1
Suppose 25 = g + u, -g = -5*g - u + 85. Suppose 5*j - 3*r - 22 = 0, -4*r + 6*r = 3*j - 14. Let s = j - -4. Solve k = s*k + g for k.
-4
Let t(c) = -c**2 + c + 4. Let w be 1/(-5) - 3/(-15). Let y be t(w). Solve m = y*m for m.
0
Let n = 15 - 10. Suppose y - 4*r = 4*y - 24, 0 = -n*y - 2*r + 26. Solve y*x = -x + 20 for x.
4
Let a be (-6)/(-9)*(-30)/(-2). Suppose 2 = -f + 1, -3*g - 5*f + a = 0. Solve 0 = -2*b + g*b for b.
0
Let k be ((-64)/6 - -4)/((-4)/6). Solve -g = -3*g + k for g.
5
Let o(z) = 2*z - 11*z - 3*z. Let s be o(1). Let y be 4/(-6) + (-8)/s. Solve y*l = 3*l + 3 for l.
-1
Let o(a) = a - 2. Let y be o(0). Let w be 3/(-4) - (-102)/(-24). Let f = y - w. Solve 0 = 4*m + 23 - f for m.
-5
Let y be (-1)/(-1 + 4/8). Suppose c = -3*a + 5*a + y, -5 = -c + 5*a. Solve 0 = -z - 2 - c for z.
-2
Suppose -2*c - 3*k + 11 = -4*k, 2*c + 3*k = 7. Suppose 4*w = -2*x - 6, 1 = c*x + 16. Solve 0*o - 3*o = w for o.
0
Let j(c) = 2*c**2 + 4*c + 3. Let h(n) = -n**3 + 10*n**2 + n - 12. Let v be h(10). Let y be j(v). Solve 0 = -k - 0*k - y for k.
-3
Let x(q) = q + 3. Let c be x(-1). Suppose 0 = 2*o + a, o - c*a - 10 = -0*a. Solve o*g + 20 = -3*g for g.
-4
Let j(f) be the second derivative of -