ve o = -2*o - l for o.
-4
Let d be 0/(-2*(1 - 2)). Solve d = 2*g - g for g.
0
Let b = -4 + 4. Suppose 0 = -4*g - 8, b = 2*x + 2*g - 2 - 0. Solve 0 = x*f - 2*f + 2 for f.
-2
Let m(t) be the third derivative of t**5/60 + t**4/8 - 2*t**3/3 + t**2. Let q be m(-5). Let r = -4 + q. Solve 0 = -r*a - 7 - 1 for a.
-4
Suppose -1 + 7 = -3*l, 5*k - 4*l - 28 = 0. Solve 4*r = -0*r - k for r.
-1
Let p = 8 + -3. Solve p*j + 2 + 3 = 0 for j.
-1
Let r(h) = h**2 + 5*h + 12. Let v be r(-4). Solve -z + 9 - v = 0 for z.
1
Suppose 2*t - 14 = -4*x, t + 2*x = -4*t + 19. Suppose 0 = -2*r - m + 20, -t*m - 6 = -r + 4. Solve b - 3*b - r = 0 for b.
-5
Suppose 3*f - 4*n - 9 = 0, 3*n + 15 = 5*f - 0*f. Suppose 1 = -w - 1, 4*w = -o - 4. Suppose 0 = -o*y + y + 75. Solve y = f*m + 2*m for m.
5
Let o(l) = 5 + l + 3*l - 3*l. Let a be o(5). Solve 2*d - 2 = -a for d.
-4
Suppose -5*g - 4*x - 2 = 0, 5*g = -5*x + 3 - 8. Solve -g*a + 9 = 7 for a.
1
Let f = 10 - -4. Let s = -4 - 0. Let t be s/10 + 64/10. Solve -f = -5*i + t for i.
4
Suppose -4*x + 3*a = x - 12, 0 = -a - 4. Suppose 0 = -3*v, x = i - 0*v - 3*v - 7. Let n = 5 - 3. Solve -i*m + n*m - 10 = 0 for m.
-2
Suppose 5*r = -6 + 56. Let x be r/6 + (-1)/(-3). Suppose 4*l + l + 5 = 0, 0 = 5*i + 3*l - 22. Solve i*u - x*u = -3 for u.
-1
Suppose 0 = -5*p + 2*s + 62, -p + 11 = 5*s + 4. Solve 2*g + p - 4 = 0 for g.
-4
Suppose -4*i = -0*i - 12. Let d(j) = 4*j**2 + 0*j**3 + j**3 + 3 - 2*j**i - 4*j. Let f be d(2). Solve 3*a - f = -0 for a.
1
Let w = 41 + -34. Let h(x) = x. Let v be h(-3). Let l be ((-8)/6)/(1/v). Solve -c = w - l for c.
-3
Let m = -2 - -80. Suppose 2*c = 3*y - m, c = -5*y + 32 + 98. Suppose i - 4*b + 12 = -7*b, -y = -2*i + 4*b. Solve i = -3*h - 0*h for h.
-1
Let n = -8 + 10. Solve n - 14 = -4*k for k.
3
Let z be (-7)/2*24/4. Let c = 23 + z. Solve w + w = c for w.
1
Suppose 30 = -5*g - 25. Let c = g - -17. Solve -w - c = w for w.
-3
Suppose 10*l = 11*l + 10. Let k be (4/(-6))/(l/30). Solve -6*o = -k*o + 16 for o.
-4
Suppose l - 1 = v, -3*v - 5*l + 0*l - 43 = 0. Let k = v - -9. Let t be (0/(-1))/(-3) - -25. Solve 2*g = -k*g - t for g.
-5
Let w = -93 + 158. Let f = 96 - w. Let s = f - 15. Solve s - 6 = 5*u for u.
2
Let g be (3 + (-52)/20)*5. Solve 2*w - 12 = -g*w for w.
3
Let g(b) = 4*b**3 - 1. Let s be g(1). Solve 0 = -t + s + 1 for t.
4
Suppose -r + 2*r - 4 = 0. Solve -5 = r*y + 7 for y.
-3
Suppose 2*h = -2*r + 6*r - 54, -3*r - 9 = 0. Let u be (-105)/h + 2/(-11). Suppose 3*w = -w + 20. Solve -w*q + 7 + u = 0 for q.
2
Suppose f = 10*f. Let s(g) = -3*g**3 - 2*g**2 - g - 2. Let j be s(-2). Solve 5*v - j + 1 = f for v.
3
Let z be (1/(5/(-9)))/((-15)/50). Solve -2*b = -z*b for b.
0
Let t = -6 - -7. Let p(a) = 12*a**2 + a. Let g be p(t). Suppose -2*j + 2*v = 2*j - 10, 0 = -2*j - 2*v + 20. Solve g = -j*y - 7 for y.
-4
Suppose -4*x = x - 240. Suppose -5*z = -4*y + x, -4*y + 3 = -3*y + z. Suppose -q - m = -2 - 1, -3*m = -5*q + y. Solve q*p + 5 = 1 for p.
-2
Let c(w) = -w**2 - 3*w + 3. Let n be c(-5). Let r be 4/n*28/(-8). Suppose 5*t - 4*d - 35 = 0, 6*t - 2*t - 2 = -2*d. Solve -r*v + t = v for v.
1
Let w be ((-4)/(-6))/(2/3). Suppose 6*s - 5*s = 13. Solve s - w = 4*d for d.
3
Suppose -4*n + 9*n = 2*o + 18, -4*n - 5*o = 12. Suppose 0 = n*b - 4*b. Solve b*v = 2*v + 8 for v.
-4
Let g be (-4)/(-6) + 8/6. Suppose b = -0*b + 10*b. Solve b = 6*t - g*t + 12 for t.
-3
Suppose -5*m + 11 = -2*r, -m + 2*m - 1 = r. Let l(f) = -3*f - 2*f**3 + f**3 + 4*f + 2 + 2*f**2. Let g be l(r). Solve g*v - 10 = -v for v.
2
Let f = -5 + 8. Let w = -2 - -4. Let c be (0 - 1)*(1 - w). Solve c = -f*t - 11 for t.
-4
Let g = -7 - -10. Let l be (-76)/(-4) - 2/1. Solve g*k = l - 2 for k.
5
Let j = -2 + 4. Let i = j - 1. Let s be (-1 - i) + (-7)/(-1). Solve -s*f = -6*f for f.
0
Suppose 3*g + 2*g - 29 = -2*u, 0 = 4*g - 12. Suppose 0 = -2*j + u + 1. Solve 5 - j = x for x.
1
Let w = 10 - 6. Let q be 2/4 + (-2)/w. Solve q = -2*n + 3 + 5 for n.
4
Suppose 57 = 9*b + 21. Solve -3*u - b = u for u.
-1
Let c be 5*(87/(-15) + 3). Let q = c + 19. Solve 0 = m - q for m.
5
Let g(a) = a**3 + 5*a**2 - 6*a. Let h be g(-6). Suppose 30*n - 32*n + 10 = 0. Solve -f + n*f = h for f.
0
Suppose -h = -4*d + 14, -3*d + 6*d = -2*h + 16. Suppose 12 = 2*w + h*w. Let k be w/(-15) - (-2)/10. Solve 5 = 5*j - k for j.
1
Let v be (-3 + 1)*6/(-4). Let m be (-2)/((-10)/4 + 3). Let g = -1 - m. Solve 0*t = g*t - v for t.
1
Let y(c) = -c**3 - 2*c**2 + 6*c + 2. Suppose -5*u - 20 = -0. Let l be y(u). Solve -l + 5 = -5*m for m.
1
Let o = -1 + 8. Let k be ((-2)/2 + 2)*1. Let v = o + k. Solve 0 = -p - p - v for p.
-4
Let p = -31 - -35. Solve 3*m + p = 5*m for m.
2
Let y be 0 + (1 - -1) + 0. Let t(v) = -v**3 + 11*v**2 + 2*v - 22. Let q be t(11). Solve -u = -q - y for u.
2
Let v be (-6)/9 + 2/(-6). Let z be v/(((-6)/(-20))/(-3)). Solve -n - z = -3*n for n.
5
Suppose 5 = -39*v + 44*v. Solve 5 = -2*u - v for u.
-3
Suppose u - 10 = p, 2*p + 20 = -p + u. Let x(f) = -f**2 - 4*f + 5. Let o be x(p). Solve -1 = -j - o for j.
1
Let w(l) = -l**2 - 7*l - 4. Let z be w(-5). Let b be ((-2)/z)/(1/(-12)). Suppose -1 = g - b. Solve o = -g*o - 16 for o.
-4
Let l(o) = -o**3 + 4*o**2 + 3*o + 10. Let m be l(5). Solve 0 = -m*t + t for t.
0
Let k be (80/(-15))/(3/(-9)). Solve 0*u - k = 4*u for u.
-4
Suppose -4*a = -3*w - 8, -2 = -a - 3*w + w. Solve -7 = -a*q - 1 for q.
3
Suppose 5*s - 21 + 1 = 0. Solve 2 + 10 = -s*k for k.
-3
Suppose -7*u = -2*u - 5*a + 15, -5*u + 3*a = 5. Solve u*t + 12 = 6*t for t.
3
Let j(m) = m + 2. Suppose -2*x = 3*x + 10. Let o be j(x). Solve o = 4*c - 5 + 1 for c.
1
Suppose 12 = 5*t - u, -5*t + 2*u + 9 = -0*t. Solve -8 = z - t for z.
-5
Let v(n) = n**2 + 3*n - 6. Let g be v(-7). Solve g - 2 = -4*p for p.
-5
Let w(n) = 4 - n**2 - 10*n + 0 + 2. Let m(a) = a**3 + 7*a**2 - 10. Let c be m(-7). Let x be w(c). Solve 14 + x = 5*u for u.
4
Let o be (0 - 1) + 20/2. Solve -4*q - 3 = o for q.
-3
Let t be 38/4 + 3/6. Let c(y) = -3*y - 6. Let z be c(-7). Let g = z - t. Solve 2*u - u = -g for u.
-5
Let m = -4 - -6. Let x(f) = -f**3 - 6*f**2 - 7*f - 6. Let l be x(-5). Suppose 2*b - 8 = -4*v, v = 3*b - 2*v + 6. Solve b = 2*n + m*n + l for n.
-1
Let y = -12 - -20. Let c = -13 + -3. Let h be (-4)/c + 30/y. Solve 2*f + h = -0*f for f.
-2
Let p = 14 - 11. Suppose -5*t - 4*y + 7 = 0, -3*y = t - 0 + p. Solve -t*r + 5 = 2 for r.
1
Suppose -2*m = -2*t - 0*m, 5*m - 12 = 2*t. Suppose t*v - 30 = 2*r, 8 = 3*v + 3*r - 19. Solve z - 3*z + v = 0 for z.
4
Suppose 0 = x + 4*n - 12, 2*n - 4 = -x + 2. Let p be 5 - ((0 - -1) + x). Solve 2*l - 10 = p*l for l.
-5
Suppose -l = r - 4, 2*l - 1 - 4 = r. Let b(v) = 0*v**2 - v**3 - 9 - 11 + 2*v**2 + 3*v + 22. Let z be b(l). Solve 1 = -n - z for n.
-3
Let c be ((-3)/2)/(2/(-4)). Suppose c*x - 6*l = -l + 43, 2*l + 22 = 2*x. Let m(i) = 2*i - 7. Let j be m(x). Solve -j*r = -13 + 3 for r.
2
Let d(u) = -4*u. Let i be d(2). Let f be (12/i)/(2/(-4)). Solve -o = f*o - 16 for o.
4
Let v be (8/20)/(-1)*-50. Let p be ((-2)/(-4))/(1/12). Solve -y - v = -p*y for y.
4
Let u(t) = -t**3 + t**2 + t + 2. Suppose 5*y - 3*y = -2. Let o = 1 - y. Let n be u(o). Solve n = 3*f - 6*f - 6 for f.
-2
Suppose 0 = -2*p - 0*q + q - 10, 0 = 3*p + q + 10. Let o = -2 - p. Suppose v - 9 = -2*v. Solve o*f - v = 5 for f.
4
Let v(t) = t**2 + t - 1. Let r be v(2). Let z(j) = 3*j - 5. Let s be z(r). Solve -s = 2*n + 3*n for n.
-2
Suppose d = -3*d. Suppose 3*y - 5 = -2, d = -5*j - 5*y - 5. Let i be (-1)/((-2)/((-8)/j)). Solve 3*r + i = -4 for r.
-2
Suppose 4*f + 3 + 1 = 0. Let g = f + 3. Let v be (-4 - g)/(6/(-4)). Solve -10 = v*k + 2 for k.
-3
Let q(m) = -m**2 - m + 2. Let s be q(-7). Let j = -22 - s. Solve -j = 3*d - 3 for d.
-5
Suppose 0*s = s. Solve s = -2*j + j for j.
0
Let p = 18 - 9. Let r(j) = -1 - j**2 - 6*j + 9*j**2 - 7*j**2. Let t be r(p). Solve -4*g - 10 = -t for g.
4
Let i be 3/((3/15)/1). Let b be (-1 - (-5 - -3))*i. Solve 0 = -6*u + u + b for u.
3
Let s be (-14)/(-8) + (-4)/(-16). Let n(d) be the third derivative of d**4/8 - 10*d**3/3 + d**2. Let c be n(8). Solve -s*i = -4 - c for i.
4
Let h be (-3)/((21/(-20))/7). Suppose 5*a - h = 0, 5*m - 4*a = -0*m + 339. Suppose 4*x = 4*y - 2*y - 22, 2*x = 5*y - m. Solve 3*z + y = -2*z for z.
-3
Suppose -3*p = 4*a - 41, -a - 2*a = -2*p - 1. Solve 3 = 4*t + p for t.
-1
Let v(k) = k + 6. Suppose 