 -b - 8 = l*b for b.
-2
Let b be (-2)/((-2)/(-1))*3. Let j(x) be the first derivative of x**3/3 + x**2/2 - 2*x + 17. Let p be j(b). Solve -p*t - t = 0 for t.
0
Let v be 5*2/((-20)/(-6)). Suppose -3*h - 2*y + 18 = -h, -v*h - 2*y + 22 = 0. Solve 3 + 13 = h*d for d.
4
Let i be 30/(-35)*(-42)/9. Suppose 9*h - 7*h = i. Solve -h*x = x + 3 for x.
-1
Let p be ((-100)/(-6))/(48/72). Solve u = -4*u - p for u.
-5
Suppose -5*m = a - 8 - 54, 0 = -4*m - 2*a + 46. Let s = 3 + m. Let d(i) = -i - 1. Let p be d(-1). Solve p*l - 4*l = -s for l.
4
Let l = -166 - -171. Solve -20 = -n + l*n for n.
-5
Suppose -12 = 10*f - 14*f. Solve -19*o = -16*o + f for o.
-1
Let r = 4 - -3. Let g(m) = m**2 - 8*m + 7. Let k be g(r). Solve z + k*z = -4 for z.
-4
Let q = 13 + -10. Suppose -2*k - 20 = -q*k. Solve k - 8 = -4*i for i.
-3
Let t(j) = j**3 + 8*j**2 - 3*j + 1. Let i be t(-8). Solve i = 2*k + 3*k for k.
5
Let x = 25 - 14. Suppose -4*n + 27 = 2*d + x, 4*d - 8 = -2*n. Let m = d - -4. Solve 0 = -2*b + m*b + 2 for b.
-1
Let n = 4 + -4. Suppose 3*m + 23 = 4*x - n*m, 5*x - 5 = -m. Solve 2*a + x*a = 20 for a.
5
Suppose 0 = 2*l - 5 - 3. Let b = l - 8. Let j = -1 - b. Solve 2*q = j*q for q.
0
Suppose 3*r = -15 + 60. Suppose -5*q = -6 + 21. Let c(u) = -2*u - 4. Let o be c(q). Solve -r = -o*g - g for g.
5
Let i(j) = j**3 + 12*j**2 - 14*j - 1. Let s be i(-13). Solve -3*z + s = -3 for z.
5
Let w = -6 - 0. Let d be w + 6/2 + 0. Let z = 1 - d. Solve 0 = -z*a - 17 - 3 for a.
-5
Let q(m) = -6*m**2 - 2*m - 4. Let l be q(-3). Let d be l/(-14) - (-2)/7. Solve 2*p = p - d for p.
-4
Let h(w) = -w**2 - w + 5. Let j be h(-4). Let d = j - -4. Let t be 2/6 - 20/d. Solve -3*m + 16 = -t*m for m.
-4
Let s(y) = -y**3 + 9*y**2 + 11*y - 8. Let r be s(10). Solve f + f = r for f.
1
Suppose 5*w = 19 + 1. Suppose -2*a = 2*a - 3*j + w, 2*j = 3*a + 3. Let i be a/(3/(-3)) - 1. Solve 6*v - v - 10 = i for v.
2
Let j = -3 + 6. Let l(s) = -s + j + 5 - 4 + 1. Let c be l(5). Solve c*w + 3 = -3*w for w.
-1
Let o(k) = k**3 + k + 2. Let c be o(0). Solve -m + c = -0*m for m.
2
Let p = 22 - 22. Suppose -l + 15 = 2*l. Solve -w - l = -p for w.
-5
Suppose -5*s = 5*x - 25, 0 = 3*s - 8*s. Solve 1 = x*n - 19 for n.
4
Let j(c) = -17*c**3 - 2*c + 1. Let h be j(1). Let r = -13 - h. Solve -2 + r = -3*u for u.
-1
Let k = 2 + 2. Suppose -5*f + 0*f = -4*a + 17, 3*a + 5*f - k = 0. Solve 6 = x - a*x for x.
-3
Let h be (6/4)/(9/24). Suppose -k = h*k - 10. Suppose -5*f - 4 + 25 = -3*u, k*f - u = 9. Solve -f = 3*w - 3 for w.
-1
Let b = -31 - -32. Solve u + 3 = b for u.
-2
Let z be (0 - (3/6 - 0))*0. Solve u + 1 + 4 = z for u.
-5
Let g(x) be the second derivative of -x**4/6 + 2*x**3/3 - 3*x**2/2 - 3*x. Let b be g(2). Let p be 2/4*(3 - b). Solve 0 = -p*r - r for r.
0
Let n be (0 - (-93)/3)*1. Suppose -2*u + 22 = 3*f, 2*u + n = 4*f - 17. Solve -2*q + 0*q = -f for q.
5
Let v be 6/(-12)*0/(-2). Solve v = -3*k + 5*k + 8 for k.
-4
Suppose 0 = 5*p - 5*r - 25, 4*r + 1 = -3*p + 2. Suppose -p*b = -38 - 46. Suppose 0 = -2*i - 5*k + 15, -2*k - b = -5*i - 5*k. Solve -i*g - 12 = 8 for g.
-4
Suppose -28 = 4*t - 6*t. Suppose c = 6*c - 4*r - t, 5*c - 8 = -2*r. Solve 16 = -2*l - c*l for l.
-4
Let n(m) = -3*m + 4*m**3 + 3*m**2 - 4*m**3 + m**3 - 2*m - 4. Let b be n(-4). Suppose b = 3*s - 9. Solve -4*p = -13 - s for p.
4
Suppose -2*o = -4*s + 8, -8 = 2*o + 4*s - 0*s. Let y(z) = -z**2 - 4. Let p be y(-5). Let k = o - p. Solve -k = -5*u - 0*u for u.
5
Let z(l) = -l + 23. Let b be z(6). Solve -5*s + 8 + b = 0 for s.
5
Let r(n) = n**3 + 6*n**2 - n - 3. Let h be r(-6). Solve 0 = -h*c - 0*c - 3 for c.
-1
Suppose -5*d + 11 = 2*o, -4*o + 2*d + 15 = 5. Suppose 3*j = 9*y - 5*y, -y = -3*j + 9. Suppose -2*a - 5 = 4*r - 3, -5*r = y*a + 1. Solve -a*c + 0 - o = 0 for c.
-1
Let s = 1 + 1. Suppose -7*g + s*g = -25. Solve 4*l + g = 1 for l.
-1
Let z(x) = -4*x - 3. Let u be z(-2). Solve 0 = -u*j - 5 for j.
-1
Suppose -4*m = -2*m + 3*m. Solve u + 3 = -m*u for u.
-3
Let z be -1*3/3*-2. Let i(u) = -3*u - 4. Let w(p) = -p**2 + 8*p - 3. Let l be w(8). Let a be i(l). Solve z*g = a*g + 12 for g.
-4
Let v(t) = t**2 - t - 2. Let g be v(-2). Solve 0*r = 2*r + g for r.
-2
Suppose -4*a = -6*a - 3*y, 0 = a - 5*y. Let k be -3*(-2 + (-6)/(-2)). Let f(p) = -p**3 - 4*p**2 - 4*p - 1. Let n be f(k). Solve -n*g + 4*g + 10 = a for g.
-5
Suppose 5 + 3 = 4*m. Let x be (-110)/(-5) - (-2)/(-1). Solve -m*t - x = 2*t for t.
-5
Let k be (0 + -7)*(-12)/(-14). Suppose -5 = -5*b, -5*c - 3 - 3 = -b. Let f = c - k. Solve f - 1 = -4*j for j.
-1
Let q = -114 + 116. Solve 5*m - 3 = q*m for m.
1
Suppose 4*y = 3*y - 5. Let b = -2 - y. Solve 0*f = -b*f + 12 for f.
4
Suppose -5*x = -x - 84. Suppose -3*f = -6*f + x. Solve 4*j = f*j for j.
0
Suppose 4*n = 76 - 24. Let s = 15 - n. Solve x = 3*x + s for x.
-1
Suppose 3*g + 12 = 4*o + 37, 2*g = 6. Let b = 9 + -16. Let f = o - b. Solve 2*h + 3 = -f for h.
-3
Suppose 0 = u + u - 5*w - 7, 3*u - 5*w - 3 = 0. Let i(s) be the first derivative of s**4/4 + s**3 - 5*s**2/2 + 2*s - 2. Let n be i(u). Solve 4*j = j - n for j.
-2
Let j(z) = -2*z - 5. Let i be j(-4). Let v be (-18)/(-8) + (-1)/4. Suppose -3 = -5*r + v. Solve r = -i*k + 4 for k.
1
Let q be 259/35 + (-9)/(-15). Let p = 16 + -12. Solve 4*l - p = q*l for l.
-1
Suppose 4*z + 3*v = 27, 4*v + v - 12 = -3*z. Let p = z + -18. Let j = p + 13. Solve j = -b - b for b.
-2
Suppose 14*s - 4 = 10. Let v(b) = -b**3 + 2*b. Let r be v(-2). Solve -3*f = -s + r for f.
-1
Let x(t) = t**2 + t + 16. Let p be x(0). Suppose -6 = -2*c - p, -2*c = -o + 13. Solve -10 = -o*v + 8*v for v.
-2
Suppose 9*v - 55 = 62. Solve m = -v + 8 for m.
-5
Suppose k + p - 2 = 0, 3*k + 5*p - 13 = -5. Let f(a) = -19*a**2. Let j be f(k). Let w = j + 29. Solve 3*r - 1 = -w for r.
-3
Let l be (-2 + 2)/((-4)/4). Solve l = -5*h + 3 + 12 for h.
3
Suppose -h = 2*h. Solve -2*l + l - 4 = h for l.
-4
Let o(j) = j**3 - 5*j**2 + 6*j - 6. Let r be o(5). Let h = -7 + r. Solve 5 - h = 3*d for d.
-4
Let w = 106 + -106. Solve 0 = -w*a - a for a.
0
Let n be ((-4)/(-4))/(5/15). Solve -n*o = -11 + 2 for o.
3
Let h be (-13)/(-2) + (-1)/2. Solve -3*g = -h*g for g.
0
Let n(r) = -r**2 - 10*r + 16. Let f be n(-11). Solve 0 = f*u + 2 + 23 for u.
-5
Let f = -5 - -7. Let k = f + 0. Solve -k - 7 = -3*t for t.
3
Let g = 13 - 21. Let b = 17 + g. Solve c - 4*c = b for c.
-3
Suppose -37 = -4*p + 71. Solve -7 + p = -5*y for y.
-4
Let t(o) = -2*o**2 + o. Let l be t(-1). Let x(k) = -1 + 4 - 2*k**2 + 12*k**3 - 13*k**3 + 4*k. Let w be x(l). Solve -10 = -w*n + 5*n for n.
-2
Let c = -3 - -6. Suppose c*m = 2*y + y + 36, -3*m + y = -40. Solve -m - 1 = 5*r for r.
-3
Let q be (2 - 1 - -9) + 0. Let a(i) = -i**3 - 5*i**2 + 7*i + 6. Let b be a(-6). Solve q = -5*s - b for s.
-2
Let j(h) = h - 1. Let w be j(-1). Let u be (3 + 3 + -6)/w. Solve 0 = -c - u*c for c.
0
Let m(u) = 3*u + 2. Let v(t) = 2*t + 1. Let r(k) = 5*m(k) - 7*v(k). Let g be r(0). Suppose 2*x + g*x + 2*s - 4 = 0, 3*x + s = 3. Solve b - x = 2*b for b.
-2
Suppose i = -0*i - 9. Let v = i - -13. Solve 5*t = v*t + 3 for t.
3
Let l(s) = s**3 + 2*s**2. Suppose 3 = -o + 2*o. Suppose 2*y + 4*r = -y - 18, -o*y + 2*r = 0. Let d be l(y). Solve 0 = -5*k - d + 10 for k.
2
Let j(v) = 4*v - 7. Let m be j(3). Solve 0 = -m*p + 12 + 13 for p.
5
Suppose x + 2*d = 18, 6 - 68 = -3*x + 2*d. Suppose m + j - 16 = -4*m, -4*m + j + x = 0. Let g = -7 - -10. Solve -4 = -g*a + m*a for a.
-4
Let k = -6 + 7. Let d be 3/(k + 2)*-4. Let l = 4 + d. Solve -2*a - 1 - 1 = l for a.
-1
Let q(s) = s**3 - 10*s**2 + 3. Let d be q(10). Solve d = -5*k + 8 for k.
1
Suppose 0*i = 3*i - 12. Solve c - 25 = -i*c for c.
5
Let n = -10 - -10. Solve 2*s + 0 - 8 = n for s.
4
Suppose 0*j = -2*j. Let y be (j - 2)*(-1)/(-2). Let i be 2*(2 - (1 + y)). Solve -i*g + 25 = g for g.
5
Let s(t) = 3*t**2 + 2*t - 1. Let b = 6 + -4. Suppose q + 1 = b*q. Let n be s(q). Solve -l + n*l = -15 for l.
-5
Let n(b) = -b - 5. Let j be n(-9). Suppose 6*y = 3*y + 45. Let d be y/4 + 3/12. Solve d*g - j = -16 for g.
-3
Suppose 5*f = 24 + 11. Solve -f = 3*q + 2 for q.
-3
Suppose 11 = 8*z - 13. Solve 6 = -z*x - 3 for x.
-3
Let o(q) = -7*q + 1. Let v be o(1). Let m(l) = -l**2 - 8*l - 8. Let a be m(v). Solve -a*p + 2 = -3*p for p.
2
Suppose -4*j = -j. Solve j*n + n + 1 = 0 for n.
-1
Let p = -1 - -2. Let i(f) = -f**2 + 3*f + 5. Let 