t z be (-9 - -9)/(l - 2). Solve -i = j - z*j for j.
-1
Let q be 3*(1 + 0/1). Let v(z) = 5*z - 1. Let o be v(3). Suppose -5*m + 26 = -o. Solve q*r + 4 = -m for r.
-4
Let w be (3 - 0 - 2) + 1. Suppose 0 = 3*j - w*j - 4. Solve -j*v - 1 = 7 for v.
-2
Suppose 3*b - 6 = 0, -4*b + 14 = 4*v - 2*v. Suppose 17 = 5*z - 3*q, q - 4 = 4*z + v*q. Solve 3*y + 7 = z for y.
-2
Let o(f) = 4*f**2 - 1. Let p = -4 + 3. Let a be o(p). Suppose -a*b - 2*g + 32 = -b, -3*b = -4*g - 76. Solve 5 = -5*t + b for t.
3
Suppose -5*j + d + 17 = -j, -j = -3*d - 18. Solve -j*m - 10 = 2*m for m.
-2
Let m(k) = 6*k**2 - 2*k. Let y be m(2). Suppose -25*o + 26*o = 4. Solve 0*i = o*i + y for i.
-5
Let y = 77 - 149. Let w be y/10 + (-1)/(-5). Let g be w/(63/30)*-3. Solve 0 = 3*i - 8*i + g for i.
2
Let k = -142 - -146. Solve k*p = 3*p - 3 for p.
-3
Let n(w) = 4*w**2 + w. Let g be n(-2). Let x be (7/g)/((-2)/(-20)). Suppose 4*f = 2*t - 8, -5*t = -6*f + 3*f - 6. Solve t = -x*b + 2*b + 12 for b.
4
Let t = 21 + -16. Solve t*w - 12 = 13 for w.
5
Suppose 0 = 3*a - 2*r - 16, 4*a - 5*r - 1 - 32 = 0. Solve -i = a*i - 15 for i.
5
Suppose 5*v - 2*o = -0*o + 50, 29 = 2*v + o. Let a be ((-6)/8)/((-12)/32). Let b be -1*(-4 - (1 - 0)). Solve -a*x = -b*x + v for x.
4
Suppose -6 = -4*v + 2*v. Suppose -l + v*l = -16. Let g(k) = k**2 + 9*k + 11. Let p be g(l). Solve 5*s = p*s for s.
0
Let a = 3 + 0. Suppose a*h = -5*j - 20, -j = -h + 2*j + 12. Suppose -2*f + n - 3*n + 2 = h, 22 = 4*f - 5*n. Solve -2*b + 3*b - f = 0 for b.
3
Suppose 123*b - 119*b - 16 = 0. Solve -b + 0 = -c for c.
4
Let m(x) = -4*x**3 - 4*x**2 + 3*x - 3. Let w(p) = -p**3 + p. Let s(d) = -m(d) + 3*w(d). Let k be s(-4). Suppose -k*j = 2 - 14. Solve j = b + b for b.
2
Let x(d) = -d**2 - 2*d + 35. Let i be x(5). Solve i = 3*l - l for l.
0
Let r(w) = 4*w + 3. Let x(b) = -5*b - 2. Let j(h) = 3*r(h) + 2*x(h). Let s be j(5). Solve 0*p = 3*p + s for p.
-5
Let k(a) = 3*a + 26. Let v be k(-8). Solve 2*g + v*g = 20 for g.
5
Let m = 21 + -21. Suppose m = -2*w - g + 2 + 2, -5*g - 1 = 3*w. Solve 7*i = w*i for i.
0
Let v(u) = -u**3 + 6*u**2 - 4*u - 1. Let i be (3 + 2)/(-1 - -2). Let r be v(i). Suppose -8 = -n + b, -n + r*b = n - 18. Solve 4*s + n + 9 = 0 for s.
-4
Let h be 4 + (2/(-4))/((-4)/(-8)). Solve -h*i = -8*i - 25 for i.
-5
Let d(w) = w - 3. Let f be d(12). Solve -4*b - 20 = -f*b for b.
4
Let h(x) = -x**3 - 25*x**2 + 25*x - 22. Let i be h(-26). Solve -3 = -i*k + 5*k for k.
-3
Let s be 2/(-2 + 12/5). Let r = s + -2. Suppose 0*k + 24 = r*k. Solve -k + 0 = -4*p for p.
2
Let q = 123 + -121. Solve 3*f + q*f - 5 = 0 for f.
1
Let n(d) = -d. Let l(t) = 5*t**3 + 2*t + 1. Let o be l(-1). Let p be n(o). Solve 2*i = p*i + 8 for i.
-2
Suppose 3*o - o - 4 = 0. Suppose 0 = f + 4*f - 20. Let t be (f/3)/((-1)/(-3)). Solve o*l - t*l = 4 for l.
-2
Let a(v) = 2*v**2 + 2*v + 2. Let w be (0 - (-3)/6)*-4. Let j be a(w). Solve p + j = -p for p.
-3
Let a(j) = -j**3 - 2*j**2 + 7*j + 6. Let k be a(-4). Suppose i = 4*l - 18, -k = i - 6*i. Let f be 4/1 - (-2 - -2). Solve l*h - 1 = f*h for h.
1
Suppose 0 = 3*q - j - 5, -2*q + 6 = -4*q + 3*j. Solve 0 = 2*a - q - 7 for a.
5
Suppose 6*l = 5*l. Let h = l - -4. Let o(y) = -y - 1. Let w be o(-5). Solve 5*q = h*q - w for q.
-4
Suppose 140 = 5*j - 15. Suppose 5*a = 4*z - 10 - j, -4*a - 5*z = 0. Let b be (a/4)/((-2)/8). Solve -b*k = -13 + 3 for k.
2
Let o(n) = 2*n**2 + 44*n + 3. Let g be o(-22). Solve -7 = -4*k - g for k.
1
Let z(o) = -o**3 - 3*o**2 + 3*o - 2. Let s be z(-3). Let x(l) = l**2 + 12*l + 13. Let c be x(s). Solve -c*p = -6*p + 16 for p.
4
Let o(f) = -f**3 + 2*f**2 + 5*f - 4. Let w be o(2). Solve -5*i + w = 31 for i.
-5
Let z be (2/(-3))/(-4 + (-68)/(-18)). Solve 2*s + z*s = 5 for s.
1
Let b(s) = -2*s**2 - 8*s + 4. Let p be b(-4). Suppose 4*q - 43 = -4*v + q, 39 = 4*v - q. Suppose d = -p*d + v. Solve -2*k + d = -3*k for k.
-2
Let j be (1 - (3 - 2))/1. Suppose j = -5*z + s + 13, 0*z - 4*z = -3*s - 6. Let x = -1 + z. Solve 0 = -x*g + g - 3 for g.
-3
Suppose 3*f - 36 = 3*x, 7*f - 46 = 2*f - 2*x. Solve 0 = 3*u - f + 25 for u.
-5
Let d(g) = 4 - g + 1 + 3. Let b = -7 - -12. Let u be d(b). Solve 15 = -u*x + 8*x for x.
3
Suppose -b - 5*g = 1 - 22, 0 = 5*g - 15. Let f(x) = 3*x + 0 + 2*x - x**3 + b - 3*x**2. Let v be f(-4). Solve 2*z = z + v for z.
2
Let u = 82 + -79. Solve -2*d - u = -11 for d.
4
Let r = 51 + -26. Solve -4*o - r = o for o.
-5
Suppose s - 12 = -3*t, -4*t - s + 2*s + 16 = 0. Solve -t = -w + 3*w for w.
-2
Let p(q) = q**3 - 7*q**2 + 6*q + 4. Let r be p(6). Let x be r/20 - (-12)/(-10). Let j be (6/(-9))/(x/6). Solve j*z - 3*z + 5 = 0 for z.
-5
Suppose v + 5 = -0. Let n(k) = -5*k + 1. Let w(a) = 3*a. Let f(u) = -3*n(u) - 7*w(u). Let g be f(v). Solve 4*l - g + 7 = 0 for l.
5
Suppose -22 = -5*x - t, x + t - 2 - 4 = 0. Solve -x = -2*g + 4 for g.
4
Let p(z) = -6*z + 7. Let d(q) = q - 1. Let u(y) = -5*d(y) - p(y). Let j be u(10). Solve 5*k + 3 - j = 0 for k.
1
Let a(s) = -s**2 - 8*s - 5. Let u be a(-7). Suppose 0 = -5*q + 5*i + 65, 2*i + u*i = 20. Solve -2 = 4*l + q for l.
-5
Let b = -27 - -30. Let t be (b + -8)*9/(-15). Solve 5*a + 2 + t = 0 for a.
-1
Suppose -2*u = -6*u. Suppose -5*f = -0*f - 15. Solve u = x - f + 2 for x.
1
Suppose 0 = 2*g + 2*g. Suppose b = -g*b. Solve -n + 1 + 1 = b for n.
2
Suppose 5*f + 40 = 190. Suppose 5*u - 5*j + 23 - 133 = 0, -u = -5*j - f. Solve -2*b = 3*b + u for b.
-4
Let w(c) = -3*c + 1. Let z be w(-1). Suppose q + z*q = 0. Let a(v) = 2*v**2 + 4*v + 9. Let o be a(-3). Solve q = n - 6*n + o for n.
3
Let t = -11 + 16. Solve 0 = t*s - s - 12 for s.
3
Let t(y) = -3*y**3 - y**2 - 3*y - 5. Let z be t(-2). Let l be (-3 + 2)*-1 + -1. Suppose l*r + 3*r = 18. Solve -3*w + z = r for w.
5
Let a = 8 + -1. Solve -a*y - 16 = -3*y for y.
-4
Suppose 18 = 3*b - 12. Solve 0 = f - 3*f + b for f.
5
Suppose 2*i - 2*m - 6 = -4*m, i - 2*m - 12 = 0. Solve i*j + 9 = 9*j for j.
3
Let x be (-6)/(-2)*(-2)/(-6). Let u = -3 - -8. Suppose u*h - 6 = 5*s - x, -3*h + 4*s + 4 = 0. Solve h = 3*w + 4 - 1 for w.
-1
Let t(h) = -h**2 - h + 17. Let u be t(0). Suppose -3 = -4*f + u. Solve 2*j = f + 5 for j.
5
Suppose -19 = 8*v - 75. Solve 4*s + 9 = v*s for s.
3
Let h(v) = -2*v**3 + 3*v**2 - v - 2. Let c be h(2). Let r = c - -13. Suppose t - 3*t + 30 = 4*b, b + 3*t + r = 0. Solve -b = 5*o - 10*o for o.
2
Let g = -1 - -3. Suppose y - g - 1 = 0. Let r = y + -3. Solve 2*a + r = -4 for a.
-2
Let z(l) be the third derivative of l**6/120 + l**5/15 + l**4/8 + l**3/3 + 5*l**2. Let s be z(-3). Solve -n - s*n = -15 for n.
5
Let t(f) = -f**3 - 2*f**2 + 14*f. Let r be t(-5). Solve o - 20 = r*o for o.
-5
Let q = -22 - -27. Solve -3*d - q = -2*d for d.
-5
Suppose -3*b = b - 8. Suppose -b*v = 3*v. Solve 5*o - 10 = -v for o.
2
Let j = 59 + -54. Solve 3*w + 6 = j*w for w.
3
Let d(z) be the second derivative of z**5/20 + 3*z**4/4 - 11*z**3/6 - 7*z**2/2 + z. Let h be d(-10). Let a = 1 - 1. Solve a = 5*m - h*m for m.
0
Let n = -2 - -9. Suppose 4*s + 9 = 5*r, 0 = 3*s - 2*r + r - n. Solve -l = -s + 6 for l.
-2
Let y(d) = 3*d + 6. Let l be y(0). Suppose -l*p - 5 = -11*p, 0 = -4*g + 5*p + 3. Solve g*k + k = -6 for k.
-2
Let w be ((-27)/(-6) - 2)*2. Let g = 9 - -6. Suppose 0 = j - 2*j + g. Solve w*k - j = 10 for k.
5
Let t(b) = -b + 3. Let i be t(9). Let k be 2/i + 10/3. Solve -k - 2 = 5*c for c.
-1
Let g = -144 + 148. Suppose 4*n + 2 + 2 = 0. Let k(r) = 7*r**2 + r + 1. Let o be k(n). Solve -g*d - o = -23 for d.
4
Let o(f) = f - 5. Let v(h) = -1 + 2*h + 0*h - 3*h + 2*h. Let n(r) = -o(r) + 4*v(r). Let b be n(2). Solve 3*z - 5 - b = 0 for z.
4
Let f(s) = 13*s**2 - 2*s + 1. Let n be f(1). Let t be ((-63)/n)/((-6)/16). Let v = -2 + 6. Solve -6 = -v*l + t for l.
5
Let g = -22 - -21. Suppose -3*s - 10 = 2*s. Let u be 2 + (s - (g - 1)). Solve u*c - 8 = -2 for c.
3
Let k(u) = -u - 3. Let z be k(-7). Suppose z + 10 = -o + 4*j, -19 = -4*o + j. Let x(p) = p**3 - 6*p**2 + 3*p - 9. Let s be x(o). Solve -3*q = -0*q + s for q.
-3
Suppose 10 = 2*w + 4*f, -3*f - 13 = -w + 17. Let n = -50 - -52. Solve 5*i - n*i = -w for i.
-5
Let o(z) = -z - 15. Let v be o(-15). Solve 0*a + 3*a - 15 = v for a.
5
Suppose 0 = -4*t + 41 - 17. Let u = t + -2. Let b = 27 - 18. Solve -u*a + b = 29 for a.
-5
Let g be 4 + (3/(-3) - -2). Suppose 4 = g*v - 6. Solve -2*s = v*s + 20 for s.
-5
Let h be ((-40