 Solve -l*v + 4*v + 4 = 0 for v.
2
Let l(v) = v**3 - 9*v**2 + 10*v + 5. Let i be l(8). Solve i = -5*b - 4 for b.
-5
Let f(c) be the first derivative of 5*c**2/2 - c - 1. Let y be f(2). Solve -y = -5*o - 34 for o.
-5
Let f = 147 + -101. Suppose -f = -3*w - 5*r, -3 = w - 5*r + 3*r. Suppose -w - 1 = -4*l. Solve -2 = -y + l for y.
4
Let f be -24*((-30)/9 - -3). Solve 5*n - 3*n = -f for n.
-4
Let x = -15 + 17. Suppose x*l = -4*y + 24 + 64, -5*y + 92 = -2*l. Solve 0 = -k - 4*k + y for k.
4
Let a be 2 - 1/(3/(-24)). Suppose 8*f = 3*f + a. Solve 0 = -t - 1 - f for t.
-3
Let x(h) = h**3 - 3*h**2 - 4*h + 4. Let v be x(4). Let f be 33/15 - v/20. Solve -b + 1 = -f*b for b.
-1
Let b(x) = x**2 - 2*x + 5. Let y be b(3). Solve 2*l = -0*l - y for l.
-4
Let m = 10 - 9. Solve 6 - m = c for c.
5
Let h be ((-2)/(-6))/(14/126). Suppose 0 = h*p - 5 - 4. Solve d = -1 + p for d.
2
Let l = 2 - 2. Solve l = 3*k - 9 + 3 for k.
2
Let m be ((-2)/4)/(2/32). Let s(b) = -b**3 - 9*b**2 - 8*b + 11. Let u be s(m). Let f = u - 8. Solve -f*t = -7*t for t.
0
Let j be ((-4)/6)/(4/(-12)). Suppose 2*r + j*b = -4, 4*b = -r + b - 12. Solve a + r*a - 16 = 0 for a.
4
Let m(u) = u. Suppose -5*w - 3 + 18 = 0. Let q be 8/w*(-36)/(-16). Let y be m(q). Solve -l - l = y for l.
-3
Let r be (5/30)/((-6)/72*-2). Let y = -6 - -10. Solve 0 = -y*f + 15 + r for f.
4
Suppose 5*d - 3*a - 1 = 3, 3*d - 14 = -4*a. Suppose -d = -s + 1. Solve 0 = s*h - h + 4 for h.
-2
Suppose 4*f = 3*u - 5, 0*u = 3*u - f - 8. Solve u*c + 1 = -8 for c.
-3
Suppose -3*x = -2*x - 1. Suppose 15 + x = w. Solve 5*g = g - w for g.
-4
Let f = -14 - -5. Let z = -1 - f. Solve -9*x = -5*x + z for x.
-2
Let k(a) = a**3 + 8*a**2 + 5*a - 9. Let g(l) = l**2 - 5*l - 7. Let t be g(5). Let s be k(t). Solve 2 = -3*m + s for m.
1
Let r(t) = 6 - 2 - 4*t + 5*t. Let j be r(0). Suppose 3*x - j = -n + 1, -5*x + 19 = 3*n. Solve -v = v + n for v.
-4
Let r = 5 + -2. Suppose -s + 0*s + r = 3*p, s = 3. Solve -z + p = 1 for z.
-1
Let d(x) = -x**2 - 4. Let a(b) = 4*b**2 + 11. Let f(l) = 3*a(l) + 8*d(l). Let k be f(-1). Solve 2*n - n + k = 0 for n.
-5
Suppose 0 = -11*r + 12*r. Solve 5*z = -r*z for z.
0
Let j be (-1)/(-3) - (-28)/6. Suppose 4*u + 2*b = -0*b + 12, -j*b + 2 = -4*u. Solve -u = w + w for w.
-1
Suppose -5*u - 2*n + 26 = -3*n, 4*u + 5*n = 15. Suppose -8 = -u*r + 2. Solve r - 6 = 4*z for z.
-1
Let r(f) = 5*f + 2. Let s(y) = 9*y + 4. Let c(q) = -5*r(q) + 3*s(q). Suppose 2 - 10 = -4*d. Let x be c(d). Solve l + l = -x for l.
-3
Let f = 15 - 3. Suppose 8 + f = 5*k. Solve -k*z + 4 = -4 for z.
2
Suppose -3*t + 0*t = 0. Let i = 3 - t. Solve i*l = 7*l for l.
0
Let c = -23 - -23. Solve -3*y + y - 8 = c for y.
-4
Let r be 24/11 - 2/11. Let a be (-9)/(2 - 7/r). Solve -h + 3 = a for h.
-3
Let g(l) = l**2 - 8*l**2 + l**3 + 4 - 10*l - 3*l**2 + l**2. Let x be g(10). Solve 13 = x*u - 3 for u.
4
Let h(x) = -x**2 - 9*x - 5. Let y be h(-8). Let f(i) = -i**3 + 2*i**2 + 3*i + 3. Let k be f(y). Solve 0 = 3*l - k - 12 for l.
5
Let x(w) = 7*w + 38. Let l be x(-5). Solve -r + 8 = -l*r for r.
-4
Suppose w - 2*j = 0, w + 0 + 3 = 5*j. Solve 0 = w*o + 1 + 5 for o.
-3
Suppose 0 = i + 5*d, -16 = i - 3*d - 0*d. Let f(v) = -v**2 - 9*v + 14. Let g be f(i). Solve -g + 0 = a for a.
-4
Let y(u) be the first derivative of u**2/2 + 10*u + 2. Let c be y(-7). Let m be 0*c/6*-2. Solve m*a + a = -4 for a.
-4
Let d be ((-9)/4)/(3/8). Let j = -6 - d. Suppose -3*s - 4*h - 20 = 0, h + 5 = s - j*h. Solve -t - 3*t = s for t.
0
Let m = -6 + 4. Let j = 0 - m. Suppose j*f + 0*n - 16 = 4*n, -5*f + 12 = 4*n. Solve -6*s = -2*s - f for s.
1
Suppose 2*g - 12 = -g. Solve -4 = g*i + 12 for i.
-4
Let d be 39/9 + (-2)/6. Solve 0 = -a - a + d for a.
2
Let v = -24 + 43. Suppose 4*a - 84 = 24. Let d = a - v. Solve -d = -g - 3*g for g.
2
Let s = 45 - 41. Solve 0 = -s*y + 5*y - 1 for y.
1
Let j = 31 + -22. Let y be (-2)/(-4)*(j - -1). Solve y*n + 1 = 16 for n.
3
Suppose 9*f - 50 + 5 = 0. Solve f*k - 7*k + 2 = 0 for k.
1
Let n be (-6)/(-15) + (-37)/5. Let o = n - -7. Solve o = l + 1 + 3 for l.
-4
Let v(m) = 2*m**2 + 23*m + 12. Let x be v(-11). Solve -3*j + 5 = -x for j.
2
Let l be (-1 - 0) + (-84)/(-4). Solve 5*g = -0*g + l for g.
4
Let y(d) = d + 6. Let u be y(-5). Solve u = 2*l + 3 for l.
-1
Let r(m) = 2*m + 22. Let g be r(-11). Solve -2 = -2*q - g for q.
1
Suppose -5*k - 1 = 2*f - 4, 24 = 5*f - 4*k. Suppose f*q = 10 - 2. Solve -q*x = 2*x - 4 for x.
1
Suppose 31 = 3*n - 8. Let l = -8 + n. Solve -l*y + 2*y = 15 for y.
-5
Suppose 5*b + 4 = -5*f + 39, -5*f + 17 = 2*b. Suppose 3*o = -3*p + b, o + 0*o = 4*p - 3. Solve -2*r - o = -5 for r.
2
Suppose 8*w - 5 = 11. Solve -5*m + w = -8 for m.
2
Let w be ((-16)/(-24))/((-4)/(-54)). Solve 5*s = 11 + w for s.
4
Let v(r) = r**2 - r - 6. Let d be v(-2). Solve p = -d*p - 2 for p.
-2
Suppose 2*s - o + 2 = -1, -4*o = -20. Solve -s = k - 0 for k.
-1
Let b = 11 - 7. Let f = -5 - -7. Suppose 7 = 6*u - 17. Solve -u - b = -f*c for c.
4
Let p(i) = i**2 - 6*i - 5. Let z be p(7). Let r be (3/z + -1)*22. Let m = r + -7. Solve -18 - 2 = m*g for g.
-5
Let o(j) = -j**3 + 5*j**2 - 3*j - 2. Let p be o(4). Let q = p + 2. Suppose 0*i + i = q. Solve i*l = 2 - 14 for l.
-3
Let h(n) = n**2 + 3*n + 4. Suppose -2*j - 63 = 7. Let r be 4/(-6) - j/(-15). Let t be h(r). Solve 25 = i + t*i for i.
5
Suppose 3*j - 4*c = 25, -c - 1 = j - 0*j. Solve -g + 10 = -j*g for g.
-5
Let b = -9 + 13. Solve p - b = -p for p.
2
Suppose 13*p = 15*p + 20. Let k(r) = r**2 + 9*r - 7. Let y be k(p). Solve -y*u = -18 + 3 for u.
5
Suppose 7*n - 6*n = 2. Solve -y - n = -1 for y.
-1
Suppose 2*l = 0, 0 = -2*s - 3*l + l + 14. Solve 3 - s = -r for r.
4
Let j be 4 + (6/6 - 2). Solve 0 = -5*w - j + 13 for w.
2
Let v(x) = -x + 2. Let l be v(4). Let m be (l/6)/((-1)/9). Let n(z) = -z + 5. Let q be n(m). Solve q*c = -c for c.
0
Let t(x) = 3*x - 2. Let z be t(2). Solve 6*s = z*s + 6 for s.
3
Let j(g) be the third derivative of g**4/12 - 5*g**3/3 - g**2. Let o be j(9). Solve o = -s + 3*s for s.
4
Let w(z) = -2*z + 3. Let j be w(0). Solve 0*o = j*o + 9 for o.
-3
Let x = -9 - -13. Suppose -y - 125 = -6*y. Let g = y + -18. Solve -g - 1 = -x*t for t.
2
Let z(n) be the second derivative of -n**4/12 - n**3/6 + 3*n**2/2 + 3*n. Let p be z(-3). Let t = p + 3. Solve t = -2*m + 1 + 9 for m.
5
Suppose 0 = -4*i + 3*i - 3, f - 5*i = 19. Solve f = 5*r - 1 for r.
1
Suppose 2*y = -a + 12, 3*y = 5*y - 10. Solve -9 = -a*q - 1 for q.
4
Let g be 12 + -14 + 6 + -1. Solve 0 = -4*d + d - g for d.
-1
Let o be -1 + (1 - -2) + -1. Suppose 3 - o = x. Solve 0*v - x*v = 0 for v.
0
Let b(g) = g + 6. Let l be b(-6). Solve -2*o + 4 = -l*o for o.
2
Suppose -3*z = 4*z. Solve -4 = 4*k - z for k.
-1
Let t(f) = f + 3. Let l be (-4 + 3)*(-4)/1. Let y be l - 1 - (-54)/(-9). Let x be t(y). Solve s + 4 = -x for s.
-4
Suppose 0 = u + 4*u + 5, -3*b + 3*u + 18 = 0. Suppose 2*g + 10 = -2*t + 6*g, -2*t = -2*g. Let x = t - 0. Solve -x*v - 20 = b for v.
-5
Suppose -4*a = 4*y - 18 - 14, 0 = 3*a + 4*y - 24. Solve t - a = -3 for t.
5
Let t = 26 - 19. Solve -5*q = t + 3 for q.
-2
Let l = -21 - -6. Let w be 5/(l/(-9)) + 9. Suppose o - 2*r = 2*o - 8, -w = -3*o - 3*r. Solve -2*f - 1 - 1 = o for f.
-1
Suppose 2*v = -4, v = u + 2*v - 4. Suppose 3*q - 24 = -2*n, 0 = -q + 4*n + u + 16. Suppose -q = -5*y + 3*y. Solve o = y*o - 8 for o.
2
Suppose d + 80 = 21*d. Solve d*y - 2 = 5*y for y.
-2
Suppose 0 = 3*s - 4*z + 51, 5*s - 2*z + 61 = -10. Let l = s - -18. Solve 0*p + 10 = -l*p for p.
-2
Let r = -7 + 10. Suppose m = -r*m - 24. Let b = 9 + m. Solve 5 = b*l - 4 for l.
3
Let d(m) = 5 - 11*m + 1 + 1 - m**2 - 1. Let p be d(-11). Let n = 5 + -3. Solve -p*j = -n*j for j.
0
Let m be 12/(-7) + 2 - (-396)/84. Let q be 4 + (-4 - -2) - -6. Let u = 15 - q. Solve -4*v + u = -m for v.
3
Suppose f - 3*k = 5, 20 = -0*k - 4*k. Let j = f - -13. Solve -6*n + j*n - 12 = 0 for n.
-4
Let c(j) = 3*j**2 - 2*j**2 + j**3 - 10*j**2 + 2 + 8*j. Let q be c(8). Solve 3*l + q*l = 15 for l.
3
Let h(a) = a**3 + 8*a**2 + 6*a - 5. Let r be h(-7). Solve g + r = 6 for g.
4
Suppose -7*q = -4*q - 15. Suppose 15 = -x + q*i, 3*x - 4 = 2*i + 3. Solve o = -0*o + x for o.
5
Suppose -6*m - 12 = -2*m. Let i be (-1 - 2)/m - 8. Let y(l) = l**2 + 7*l + 2. Let o be y(i). Solve t + o = 1 for t.
-1
Let g(a) = -a**3 + 4*a**2 - a - 4. Let y = 17 + -1