+ 2. Let q be w(-7). Let z(h) = h - 4. Let s be z(9). Solve s*n = -2*o - 2*o + 28, n - o = q for n.
4
Let w = 16 + -12. Let u = w - -1. Let v(k) = -k - 5. Let r be v(-5). Solve 5*z - o - u = -0*o, r = -o for z.
1
Let j(h) = 2*h + 4. Let z be j(0). Solve c = 4*c - 2*f - 7, -z*c - f + 13 = 0 for c.
3
Let x be ((3 + -3)/1)/3. Suppose 2*p - 20 = -y, y + x = 5*p + 20. Solve 5*l - 4*q = 16, l + 5*q + y = -0*l for l.
0
Suppose 0*b + 5*b - 5 = h, -4*b - 5 = h. Suppose b = -3*t + 5*s + 31, -t = -3*t + s + 9. Solve 0 = 2*i + t*w + 4, -4*w = -0*i - i - 7 for i.
-3
Let b(o) = 2*o**2 - 2*o - 4. Let r be b(4). Solve -m = -3*w + 1, m = -m - 5*w + r for m.
5
Suppose -3 = 2*o - 5*m + 15, 0 = -2*o - 2*m - 4. Let h be (-2 + 1)*(o + -28). Suppose 7 = -0*l + l. Solve 17 = 2*b + 3*x, -h = -5*x - l for b.
1
Suppose 2*s + 5*g - 2 = -s, 4*s - 24 = 4*g. Solve -19 = 4*p + 3*a, 6 = s*p + 5*a + 35 for p.
-1
Let k be 0/(0 - (-4 - -2)). Suppose -3*t - x - 2 + 15 = k, -5*t + 15 = 5*x. Solve 2*s = t*u - 20, -15 = -4*u + 1 for s.
0
Let s = -2 + 0. Let z be (-2)/s*(2 + -1). Solve -4*d + 17 = -y, -4*y + z + 3 = 2*d for y.
-1
Let z be ((-6)/(-4))/((-5)/(-80)). Suppose 2*q + z = 3*q. Suppose 2*b - 6*b = -2*i - q, -7 = -3*b - 4*i. Solve 5*x - 4*h - 16 - 4 = 0, -b = x + h for x.
0
Suppose -15 = 31*v - 36*v. Solve -5*t - b = -t + 2, v = t + 2*b for t.
-1
Let t be (-2)/(-6) + (-140)/(-12). Let g = 7 - t. Let o = g - -8. Solve 0 = o*q + 5*j - 20, j - 3*j + 7 = q for q.
5
Let w be ((-2)/3)/(4/(-30)). Suppose 5*c - 13 = -3. Suppose c*i + f - 6 = -0*f, 0 = 5*i + 3*f - 15. Solve -3*j + p + 20 = 5*p, 0 = -w*j + i*p + 14 for j.
4
Let o be -1 + -1*(1 + -3). Suppose 3*t = o + 5. Suppose 4*g - g = -3*y, 3 = 4*y + g. Solve -t*i - 10 - y = 3*q, -2*q = -3*i + 16 for i.
2
Suppose -54 = 3*t - t. Let v be 2/(-9) - 6/t. Let y = 3 - v. Solve 5*a + 2*g + 27 = -2, -y*g = 5*a + 31 for a.
-5
Suppose 0 = -3*v - q + 7, 4*v = v - 4*q + 1. Let t be (-3 + v)*-1*-1. Solve t = -4*r - 2*x - 8, -2*x = r + x + 12 for r.
0
Let w(b) = b - 6. Let t be w(5). Let q be (0 + 2/(-1))*t. Let s be 0 + 3 - 0 - 1. Solve -q*n + 21 = -3*p + 7, -8 = -s*n for p.
-2
Let o(m) be the first derivative of -m**3/3 - 11*m**2/2 - 10*m + 5. Let p be o(-8). Solve 3*w = -4*c - p, -4*w + 2 = -3*c - 2*c for w.
-2
Let p = -9 + 14. Let h be (4/p)/((-4)/(-30)). Solve 5*l = -3*b - 4, l + 2*l + h = -3*b for l.
1
Let t = 12 - 8. Suppose -2*u - u = -2*y - 1, 0 = -5*u + t*y - 1. Solve 0 = 2*b, h - 1 = -u*b + 4*b for h.
1
Suppose 5*b - 30 = -b. Solve -4*t + 23 = -u, t - 3*t - b = 5*u for u.
-3
Let i = 8 + -5. Suppose 5*a + 4*y = 2*a + 8, -i*a + 10 = 2*y. Suppose 5*v - 54 = 6. Solve 20 = -d + a*j + j, -3*d + 3*j = v for d.
0
Let y = -24 + 24. Suppose -2*o + 6 = y, 4*a + 5*o = 45 - 14. Solve 0*g + 17 = a*b - 5*g, 4*b = -g - 13 for b.
-2
Let b(j) = -j**2 - 14*j + 20. Let c be b(-15). Solve 0 = -4*s + 4, 5*s - c - 9 = 3*l for l.
-3
Let s(o) = -2*o + 1. Let c be s(-1). Let r = 13 + -10. Solve -3*x = v + c*v + 3, x - 4 = -r*v for x.
-5
Suppose 3*f = q - 6*q - 7, -4 = 3*q + 2*f. Suppose 8*x + 10 = 3*x. Let l be 6 + x/q + -3. Solve -l*t - 15 = -k, -2*t = 2*k + 9 + 1 for k.
-1
Let r be 2 + (-1)/((-3)/9). Suppose -c = -5 - r. Solve s + 5*n = -0*n + 18, -s = 3*n - c for s.
-2
Let p be 3/(-6) + (-14)/(-4). Suppose -3*i - 10 = 4*s, p*s + 5*i - 2*i = -9. Let b be (1/1)/s - -1. Solve 0 = z - b*l + 4*l - 2, 4*z + l - 8 = 0 for z.
2
Suppose -5*d - 64 = -9*d. Solve -5*r + 11 = -4*n, 5*r = r - 4*n + d for r.
3
Suppose -4*o + o = -12. Let j be -1*3/(-6)*o. Solve -j*x + 2 = -5*h, -3*h + 1 = x - 2*h for x.
1
Let r = 26 - 13. Solve -2*f + i = -7, -f + r = 2*f - 2*i for f.
1
Let v be (2 - (2 - -2)) + -1. Let q be -1 + (v - -13) + -4. Solve f - 1 + 6 = o, 0 = 3*f + q*o + 15 for f.
-5
Suppose 2*s + 2*s = 4*o - 64, -20 = -3*o - 4*s. Let d = 31 - -1. Suppose 5*l - d = -o. Solve -15 = t - l*j, 2*t + 3*j + 0*j = 25 for t.
5
Suppose -13 = -p - 3*s, -4*p - 4*s + 19 = -9. Suppose 3*g + 4 = -5*f + 1, -4 = -4*g - p*f. Solve -o + 11 = 2*v, 3*o - g - 4 = -v for o.
1
Let p = -46 + 48. Solve -2*s + p*r = -3*r + 13, 0 = 3*s - 5*r + 12 for s.
1
Let k(j) = j - 3. Let l be k(6). Suppose d - l*d = -4. Solve -30 - 10 = -5*r + 5*x, -d*x = -r + 11 for r.
5
Suppose -3*m + 3 = -12. Let r = -13 - -17. Suppose -2*o = -5*o + m*z + 27, -r*o + 19 = -z. Solve 25 = 5*c + o*d, -4*d - d - 10 = -2*c for c.
5
Let k = 32 - 12. Suppose 0 = -2*t + 7*t - k. Let d = t - -1. Solve -5*r + c = -c + 20, 5*r = d*c - 35 for r.
-2
Let v(u) = u**2 + 2*u + 2. Let l be v(0). Solve 3*m + 0*m - 6 = 0, 4 = -h + l*m for h.
0
Suppose -12 + 4 = -4*n. Solve 5*g = n*g - 4*u + 7, 2*u - 8 = 0 for g.
-3
Suppose 10*u + 28 = 24*u. Solve 0 = -4*t + 2*t - u*f, -2*f + 2 = 0 for t.
-1
Let h(v) = v**2 - 7*v + 2. Let r be h(7). Solve 3*f - n = 13, -f + 5 = n - r*n for f.
4
Suppose -2*v + o = -6 - 1, 11 = 4*v + o. Let n be 15/2*-1*-2. Solve -n = -v*t, 3*t - 15 - 6 = -2*k for k.
3
Let h = -93 - -95. Solve u + u = 2, 0 = -h*g + 5*u - 13 for g.
-4
Suppose 12 + 2 = b + 2*s, 0 = -2*b - 3*s + 24. Suppose z = -x + 6*x + 2, -5*z - x = -10. Solve z*o + 11 = -w - 0*o, o + b = -w for w.
-1
Suppose -f + 0 = -4. Let s = f + -2. Suppose 0*a + s*a = 0. Solve 4*x + 14 = 2*l, 2 = -a*l - 2*l for x.
-4
Suppose 15 = -3*g - 5*o, -3*g - 4*o - 12 = g. Suppose -5*l = -g*l - 25. Solve -5*u + 10 = -l*v, -2*u + 3 + 3 = 0 for v.
1
Suppose 3*u = u + 12. Solve 3*q = -u, -3*c - 4*q = -6*c + 17 for c.
3
Let x(m) = -5*m - 5. Suppose -i = -s, -i - 6*s = -2*s + 10. Let v be x(i). Solve -12 = -4*b, 0 = 3*g - 2*g + v*b - 14 for g.
-1
Let r(x) = -4*x + 32. Let b(t) = 3*t - 21. Let y(w) = 7*b(w) + 5*r(w). Let m be y(-10). Solve -m*o + 2*l - 5 = 0, -5*o + 4*l = 6 - 1 for o.
-5
Let l = -12 - -4. Let h be 5/(-2)*l/10. Suppose 4*z = 0, -h*j + 16 = 2*j - 3*z. Solve 5*d - 3*d + 2 = 2*s, 16 = j*d + s for d.
3
Let a(u) be the first derivative of u**3/3 + 5*u**2/2 + 6*u - 3. Let g be a(-4). Solve 3*m = w - 11, 4*m - 7*w + g*w + 33 = 0 for m.
-2
Suppose -4 = -l - 0. Solve l*j + 18 = -d, -2*j - 2 = -d - j for d.
-2
Let o(g) = -g - 1. Let x be o(-3). Let y(i) = -i**3 - 9*i**2 - 14*i + 5. Let m be y(-7). Solve -m*a - d = -7, -3 = 3*a - x*d - 2 for a.
1
Let o(d) = 2*d**3 - 2*d**2 + 2*d - 1. Let q be o(1). Let m be 8*q/4*3. Suppose 0 - 3 = -i. Solve 0 = -s + 1, m*g = 5*g - i*s for g.
-3
Suppose -7*f + 34 + 8 = 0. Solve -2*y = -f*y - 4*k - 32, 4*k - 13 = 5*y for y.
-5
Let m(w) be the first derivative of 3*w**4/2 - 2*w**3/3 + w**2/2 + 3. Let q be m(1). Let c be 26/q - 1/5. Solve -4*d - c*f = -0*f + 13, 4*f + 20 = 0 for d.
3
Let l = -30 - -40. Solve u + f = -4*u - l, 4 = -2*u + 3*f for u.
-2
Let t(o) = -4*o**3 - o**2. Let u be t(-1). Solve -3*j - u*g - 2 = 1, 4*g + 28 = 2*j for j.
4
Let h(r) = -2*r**2 + 2*r + 2. Let b be h(2). Let p be 6/(1 - b) + 12. Solve -2*v + 3*f + p = 3*v, v + 2*f - 8 = 0 for v.
4
Suppose 5*r + 3 = 4*d + 10, 5*d = 10. Solve 0 + 3 = -3*t, -3 = 2*l - r*t for l.
-3
Let h be (0 + -4)/((-4)/(-10)). Let a = h - -13. Solve -2*l + 1 - 7 = a*r, 3*l - 3*r = 21 for l.
3
Suppose -4*b - 3*k - 15 = 0, 2*b + 3*b + 5*k + 20 = 0. Let t be (-4)/8*-4 - b. Solve t*w = j + 5 - 14, -4*j = 3*w + 10 for w.
-2
Let q(t) = -4*t + 1 + 3*t**2 + 3*t - t**2. Let i be q(1). Solve 0 = 5*y + 3*z - 14, -i*z + 7 = -2*y + z for y.
1
Let s be 17/2 + (-6)/(-12). Suppose 30 = 5*i - 4*g + s, 2*i + 4*g - 14 = 0. Solve -i*u + u + 2 = 2*c, -3*c + 4*u = -13 for c.
3
Suppose -3*u - 56 = -5*a - 4*u, 0 = -5*a + 2*u + 53. Solve 2*c - 5*c = -4*k + a, c = -k + 1 for k.
2
Let s = -2 - -4. Solve -5 = -3*v - s*q, -2*v - 5*q + 22 = -4*v for v.
-1
Suppose -o + 72 = 3*o. Let q be (8/(-6))/((-2)/(-6)). Let z be 6/q*(-24)/o. Solve 0 = 2*f - 4*f + z*t - 20, 3*f + 3*t = 0 for f.
-5
Let i be (-663)/(-91) + (-2)/7. Solve -o + i*x = 2*x - 19, 3*o - 5*x - 27 = 0 for o.
4
Let w = 176 - 166. Let n = -5 - -8. Solve -y - y - 13 = -n*a, 4*a - w = -y for a.
3
Suppose q - 6 = -2*q. Solve -4*y = 0, -2*l - 4*y = -q*y - 6 for l.
3
Let g(p) = 10*p - 3*p**3 + 2 + 6*p**2 - 2*p - 1 + 2*p**3. Let l be g(7). Let x be (-2 - (-5)/2)*l. Solve x*s + 2*z = -2*z, 0 = s - 4*z + 20 for s.
-4
Suppose 0 = 2*z - 0*z - 4*m + 52, 0 = -2*z - 4*m - 84. Let c(s) = 3*s + 8. Let l be c(-8). Let u = l - z. Solve -4*r + u = -k, -5*r - 5*k - 4 + 14 = 0 for r.
4
Suppose -4*q 