+ 2. Let j be i(-4). Let n(d) = d + 3. Let t be n(3). Solve -t - j = 2*l for l.
-4
Let r(b) be the first derivative of -b**2/2 - 3. Let j be r(0). Suppose -k = -j*k - 1. Solve 0 = 5*t - 11 + k for t.
2
Let h(q) = -q**2 - 5*q + 2. Let m be h(-3). Let n = -6 + 9. Suppose n*j = m*j. Solve j = -0*y + 3*y - 3 for y.
1
Let p(q) = -4*q + 6. Let l(h) = -3*h + 5. Let i(o) = 3*l(o) - 2*p(o). Let f be i(3). Solve f = -5*r + 9 + 11 for r.
4
Let d(o) = -o**2 + 7*o - 6. Suppose -6 = h - 2*h. Let q be d(h). Solve q = -4*b + 2*b for b.
0
Suppose 1 = l - 3. Solve -i + l = 1 for i.
3
Suppose 2*h - 27 = -3*h + 4*v, -v = 3. Let n be -3 + (0 + h - 0). Solve n = -z - 4*z for z.
0
Let g = 7 + -6. Solve 0*f + g = -f for f.
-1
Suppose 5 = 2*g - g. Let i = g + -3. Suppose -i*x = -3*x + 10. Solve x = -3*c + c for c.
-5
Let t be 0/((-2 + 1)/(-1)). Suppose t*b + 18 = 3*b. Solve o - 4*o - b = 0 for o.
-2
Suppose 1 + 14 = 5*k. Solve -2 = -5*f + k*f for f.
1
Suppose q + 5 = 8*j - 3*j, 0 = 3*q + 3*j - 3. Solve 5*s + 3 - 28 = q for s.
5
Let f = 31 + -29. Solve -f*o = -7*o + 20 for o.
4
Let t be (1/2)/((-2)/(-8)). Let p be t/(-1) - (1 - 7). Solve -n = -0*n + p for n.
-4
Suppose 0 = r + 2*r - 36. Solve 0 + r = -3*p for p.
-4
Let v = 0 + -1. Let s be ((-1)/v)/(3/(-18)). Let h be 2 + 3/(s/(-2)). Solve -4 + h = x for x.
-1
Let o(b) = b**3 - 4*b**2 - 3*b + 16. Let s be o(4). Solve -3*h = -2*h + s for h.
-4
Let g be (0 + -1 + 1)/(-3). Suppose -j = -0*z - 5*z + 25, g = -2*z + 10. Solve j = -2*w - 3*w + 5 for w.
1
Let p be (0 + 1 - 0)*0. Let j be -2 + 0 - (-4 + p). Solve -c - j*c = 0 for c.
0
Let t = 30 + -28. Solve -5*s = -3*s + t for s.
-1
Let m(p) = -3*p + 1. Let a be m(1). Let j be (-2 - 0)*(a - 0). Suppose 5*x - 11 = j. Solve -x*z + 2*z = -5 for z.
5
Suppose -4*t = -0 + 40. Let v = 14 + t. Solve q + 5 = -v*q for q.
-1
Suppose 3 = -5*z - 27. Let w(c) = c + 7. Let d(r) = 2*r + 13. Let v(m) = -6*d(m) + 11*w(m). Let b be v(z). Solve b = -x - 0 for x.
-5
Let g(a) = -a**3 + 11*a**2 + 13*a - 12. Let s be g(12). Solve 2*f + 8 = -s*f for f.
-4
Let k = -2 - -2. Suppose 4*n - 56 = -2*v, k = 5*v - 10. Suppose -4 = -4*l, -a - 3*a + 3*l + n = 0. Solve a*g - 20 = -0*g for g.
5
Suppose -20 = -0*j - 4*j. Suppose 8 = j*d + 33. Let i = d + 10. Solve 26 - 6 = i*f for f.
4
Let g(b) = b**2 - 9*b + 15. Let t be g(7). Solve -2*o = t + 9 for o.
-5
Suppose -6*a - 9 + 9 = 0. Solve 2*p + a*p + 6 = 0 for p.
-3
Suppose 3*p + d + 22 = 2*d, 3*p + 2*d = -28. Let o = 86 - p. Suppose 5*a = 6 + o. Solve 4*g + g = -a for g.
-4
Let x be 12/(-66) - 2/(-11). Solve 4 = k - x for k.
4
Let p(g) be the second derivative of -g**5/20 + g**4/6 + g**3/6 + g**2/2 + 2*g. Let d be p(2). Solve -2*l - 3 = -d*l for l.
3
Suppose -5*v + 4*v = 0. Suppose 3*s + 3*c + 6 = v, -4*s = s + 4*c + 5. Solve 4*h = -15 + s for h.
-3
Let l(g) be the second derivative of -g**3/6 + 2*g**2 - g. Let f be l(-5). Solve -6 = 3*w + f for w.
-5
Let x(j) = -j - 4. Let t be x(-4). Solve 3*d - 4*d + 2 = t for d.
2
Let q be (-4)/(-8) - 9/2. Let s = -4 - -1. Let v be (-59)/q + s/(-12). Solve 0*o = 5*o + v for o.
-3
Let w = -3 + 7. Suppose 3*z - 35 = -4*h, -2*z + 3*h = -3*z + 15. Let p be (-49)/(-3) + z/(-27). Solve -4 = -w*f - p for f.
-3
Let v(l) = -l**3 + l**2. Let t be v(0). Suppose -u + 2 - 1 = 3*i, 3*i + 9 = t. Let q = -6 + u. Solve -2*j - q = -3*j for j.
4
Let m(h) = -h**2 - h + 4. Let g be m(-6). Let a = -24 - g. Solve -a = -3*j + 10 for j.
4
Let g = -3 - -3. Suppose g = -4*r - h - 22, 0 = r + 2*h + 16 - 7. Let q = 11 + r. Solve 3*b = q + 9 for b.
5
Let s = 58 - 57. Let h be (3/(-2))/((-3)/8). Solve -s = h*m - 9 for m.
2
Let n(x) = -x - 3. Let g be n(-3). Let f(u) = -u**3 + 4*u**2 - 4*u + 3. Let p be f(3). Solve g = -z - p*z for z.
0
Let z be 1/(-3)*(-9)/1. Solve 3*r = -12 - z for r.
-5
Suppose -a + 6 = a. Solve a = 4*g + 11 for g.
-2
Let q(l) = 2*l + 17. Let a be q(-7). Solve i = -a + 8 for i.
5
Suppose -3*l + 0 = -30. Suppose 0 = 3*h + 2*h - l. Let i be 0*(14/(-4))/7. Solve -v + 1 + h = i for v.
3
Let a(l) = -2*l - 2. Let h(p) = 2*p + 2. Let t(u) = -2*a(u) - 3*h(u). Let d be t(-4). Suppose -3*y + 0*y + d = 0. Solve 2*q = -0*q + y for q.
1
Let a = -5 + 21. Solve 5*j = a + 9 for j.
5
Let p = 43 - 21. Suppose y = -3*q + 55, q = -0*y - 4*y + p. Let x be (-3)/(q/21)*-2. Solve -2 = -5*h + x*h for h.
-1
Suppose -l - s = 0, -3*l = -5*s + 6 - 22. Solve 6 = -l*b - 0 for b.
-3
Let a = -4 + 6. Suppose 0*q - a*q = -6. Solve -2*u = -q*u + 5 for u.
5
Let k(w) = -w**3 - w**2 + 3*w - 4. Let s be k(-3). Solve s*f + 5 = 20 for f.
3
Suppose 5*k - 21 = -6. Solve 0 = k*n + 8 - 2 for n.
-2
Suppose 2*t - 5*a - 17 + 7 = 0, 5*t = -a - 2. Solve -m - 2*m = t for m.
0
Let j(q) = -q**3 - 2*q**2 - q - 2. Let z be j(-3). Solve 7*v = 2*v - z for v.
-2
Suppose -3*q - 216 = 3*q. Let a be -3 + q/(-3) - -3. Solve 5*l + a = l for l.
-3
Let g(b) = b**2 - 5*b - 5. Let f be g(6). Solve r + 1 = -f for r.
-2
Suppose -r - 4*u - 4 = -16, 4*r = 3*u + 29. Let v = -5 + r. Solve -5 = 2*o - v for o.
-1
Suppose -6 = 2*j - 3*o, 3*j - 2 = 3*o - 8. Solve j*h - 5*h - 25 = 0 for h.
-5
Let o be 10/(-4)*(-88)/110. Let l = 70 + -50. Solve -l = -3*j - o*j for j.
4
Let h = -4 + 3. Let b be h/(-4) - 142/(-8). Suppose 3*k + 3*y - b = 0, 2*k - y = y. Solve 0*t = -k*t for t.
0
Let k be (-28)/16 + 2/(-8). Let t = k - -4. Solve t*m + m - 6 = 0 for m.
2
Suppose -61 - 49 = 5*a. Let g = -7 - a. Solve g = 8*o - 3*o for o.
3
Suppose -3*r + 9 + 28 = 4*n, r - n = 17. Suppose 3*j + 3 = 5*h, -17 = 2*h - 5*h - 2*j. Suppose h*m = -t + 13, -6 = -t - 5*m + r. Solve f - t = 2 for f.
3
Let y(r) be the first derivative of -r**2 + 1/4*r**4 - 1/3*r**3 - 4 + 0*r. Let c be y(2). Solve -b - b = c for b.
0
Let g = -3 + 5. Solve 2*i = -g*i for i.
0
Let w(q) = q**3 - 5*q**2 + 3. Let o be w(5). Suppose -o*v = v - 52. Suppose 4*g = -4*n + 8, -4*g - 4 = -n + v. Solve 2*r - 3 - n = 0 for r.
4
Suppose 40 = 2*u + 3*u. Let d = -1 - 4. Let v = u + d. Solve -v*y = -2*y + 2 for y.
-2
Let y(f) = f - 8. Let g be y(6). Let d be (0*(2 - 1))/g. Solve u + 3*u - 12 = d for u.
3
Suppose 3*h - 11*h = -8. Solve -h - 5 = 2*f for f.
-3
Let c(v) = -5*v**3 + v. Let t be c(-1). Suppose -5*i - 49 + 161 = -4*m, 0 = 4*m + 12. Suppose -4*l + 3*s = -i, -2*l - t*s = 11 + 1. Solve -l*d = -d - 2 for d.
2
Let y be (-6 + 4)*-1 + 0. Solve y*s = 5*s for s.
0
Let y(g) = 12*g**2 - 1. Let w be y(1). Let p(i) = 3*i - 7. Let f be p(5). Let k = w - f. Solve k*n + 16 - 1 = 0 for n.
-5
Let w be (-1)/4 - 92/16. Let m = 12 + w. Solve -m*d - 20 = -d for d.
-4
Let m be (0 + -4)*69/(-92). Solve -m*c + 0*c = 9 for c.
-3
Suppose 0*y = -2*y + 28. Let c = 20 - y. Let v(o) = o**3 - 6*o**2 + 5. Let t be v(c). Solve t*r + 2 = -3 for r.
-1
Let n(o) = -14*o - 8. Let y(h) = -5*h - 3. Let p(t) = -4*n(t) + 11*y(t). Let r be p(4). Suppose -r*b = b. Solve 0 = -3*i + 3 - b for i.
1
Suppose 5*l - 1 - 109 = 0. Suppose 6 = 2*p, 0*c - 5*c = 4*p - l. Solve -2*h = 8 + c for h.
-5
Suppose 0 = -5*s - 5*m + 50, 0*s - s = -4*m + 15. Suppose -s - 5 = -5*r. Solve r*k - 7*k = -20 for k.
4
Let l be (1 - 72/40)/((-4)/10). Solve -3*q + l*q = -4 for q.
4
Let c(k) be the first derivative of k**3/3 + 2*k - 2. Let m be c(3). Let p be -3*2/3 - -5. Solve p*y - 5 = -m for y.
-2
Let y(c) be the first derivative of -c**5/120 + c**4/24 + 2*c**3/3 + 3. Let h(l) be the third derivative of y(l). Let s be h(-2). Solve -2*b = -s*b for b.
0
Suppose -3*x + 0*x + 6 = 0. Suppose -x*m = -3*u + 1 - 3, -4*u - 2*m = -2. Solve u = -3*g - 1 + 4 for g.
1
Let k be (-15)/((-7)/(-4) + -2). Suppose 3*u - 2*i - k = i, 2*i = 3*u - 55. Solve -6 = -3*v - u for v.
-3
Suppose j - 2*j = 2*r - 4, 0 = 4*j + 4*r - 20. Suppose 0*z - j = -2*z. Solve z*d = -4 - 5 for d.
-3
Let d(t) = t + 2. Let k = -7 + 1. Let q = k - -6. Let n be d(q). Solve 0 = -4*l + n - 6 for l.
-1
Let f(s) = s**2 - 2*s - 3. Let c be f(-1). Solve c = -w - 2 + 5 for w.
3
Let t be -1*4*1/(-2). Suppose x - t*x = -7. Solve -x + 17 = 2*p for p.
5
Let y be 6/10 + 4/10. Let f = 6 + -2. Solve f*p + 7 = -y for p.
-2
Let z(l) = -l - 3. Let j be z(-7). Suppose -6*u + j*u = -8. Solve -u = -2*q - 14 for q.
-5
Let k(j) = -j - 3*j**2 + j + j + 4*j**2. Suppose 5*u + 10 = -2*d - 0, 2*d = 4*u + 8. Let n be k(d). Solve 4*b + b - 10 = n for b.
2
Suppose 4*w - 12 = -2*w. Solve 3*z - 13 - w = 0 for z.
5
Let b(