e 2*l = -l + p for l.
2
Let z(r) be the second derivative of -r**5/20 + r**4/2 + 4*r**3/3 - 3*r**2/2 - 8*r. Let u be z(7). Solve -u*o - 11 = 9 for o.
-5
Let b(d) = 4*d - 3*d + 10 + d**3 - 3*d**2 - 9. Let z be b(3). Solve z*c - 14 = 6 for c.
5
Suppose 2*j + j = -9. Let z(w) = -w - 3. Let v be z(j). Solve -6*a + 5*a - 5 = v for a.
-5
Let g(v) = -5*v - 6. Let x be g(-3). Solve -4*u - x + 1 = 0 for u.
-2
Let d be (-6)/(-3) - (-3 + 1). Solve 0 = -4*g + d for g.
1
Let c be 0 + -1 + -2 + 19. Let z be 24/(c/(-4))*-4. Solve 5*h = -z + 4 for h.
-4
Let d(z) = z**3 - 4*z**2 - 5*z + 10. Let v be d(5). Solve 0 = k - 3*k + v for k.
5
Suppose 2*j = s - 9 + 1, j = -s + 11. Solve 0 = y - 6*y - s for y.
-2
Let a be 1/(3*4/48). Solve 0 = -2*u - a for u.
-2
Suppose -3*d - 2*i + 24 = -d, 4*d - 23 = i. Solve -a + 12 = -d*a for a.
-2
Suppose -v - 3*v + j + 2 = 0, 10 = 5*v - 5*j. Solve v = -2*m + 1 + 3 for m.
2
Let j(x) = x**3 + 3*x**2 + 3*x + 4. Let z be j(-2). Solve z*q + 11 = 1 for q.
-5
Let t = -29 + 29. Solve t*m = m + 4 for m.
-4
Suppose -3*r - 18 = -5*d, -5 - 6 = -5*d - 4*r. Suppose n + 12 = -5*h + 2*h, d*h = -12. Suppose -6 = -n*m - 3*m. Solve 3*q = m*q + 5 for q.
5
Let x be (-1)/(-3)*-3*-5. Let l be x + (-6)/(-2) + 0. Solve -3*d = -4 - l for d.
4
Let s be (-1)/(39/(-26) + 14/12). Let l be 1 + (1 - (2 - 0)). Suppose -6*t + 2*t + 100 = l. Solve -t = s*k - 10 for k.
-5
Suppose 164*a = 166*a - 20. Solve 2*y = 4*y - a for y.
5
Suppose 5*q = -0*q + 4*b + 44, -8 = -2*b. Let j be 4/q - 1/3. Suppose j = -5*l + 4*v + 6, 0 = -2*l - 4*v + v + 7. Solve -3*k - l*k - 15 = 0 for k.
-3
Suppose 3*p = 7 + 20. Suppose p - 15 = -2*v. Solve r + 6 = v*r for r.
3
Suppose 0 = z - 3*z. Suppose -y - 10 = 4*y - 5*n, -5*n = y - 10. Suppose z = -2*q + 4 - y. Solve -12 = 5*d - q for d.
-2
Let i be ((-9)/6)/(1/(-2)). Solve j + i*j + 8 = 0 for j.
-2
Let d(y) = -y**3 + 5*y**2 - 3*y - 2. Let p be d(4). Suppose 0 = 5*i - 2*c - 65, -23 = -3*i - 0*i - p*c. Solve -5 = -2*q - i for q.
-3
Suppose 0 = -2*s + 3*m + 7, -3*s + 8*m + 10 = 3*m. Solve -16 = i - s*i for i.
4
Let w = 13 - 8. Suppose w*v + 6 - 1 = 0. Let h be (10/25)/(v/(-5)). Solve 0 = h*b - 3 + 5 for b.
-1
Let l be 2/(-11) + (-536)/(-44). Solve -2*f + 6*f = l for f.
3
Let u = -25 - -29. Solve -3*k + u = -k for k.
2
Suppose -28 = -5*l - 8. Solve 6*w = l*w for w.
0
Suppose -5*g - 2*h - 4 = -4*g, -2*g = 3*h + 5. Let j = 9 - g. Solve 2*b = j*b + 10 for b.
-2
Let w(q) = -q - 1. Let g be w(-5). Solve 14 = 5*r + g for r.
2
Suppose 0 = -2*c - 2 - 8, 4*u + 46 = -2*c. Let z = u + 18. Let i be z + 2*(-3)/6. Solve 3*k = -k + i for k.
2
Suppose 0 = 6*z - 8*z. Solve -5 = d - z*d for d.
-5
Let x = 77 + -66. Solve 1 = 4*v - x for v.
3
Suppose 5*j - 2*i + 17 - 42 = 0, -15 = -3*j + 5*i. Suppose -2*n + 1 = -z - 2, 0 = n + j*z + 15. Solve v + v + 6 = n for v.
-3
Let b = 37 - 33. Solve -m - b*m + 25 = 0 for m.
5
Let x = 0 + 0. Suppose c - 5*c = x. Suppose 1 = h - 2. Solve c = o + h*o - 12 for o.
3
Let h(u) = 5*u - 25. Let w be h(10). Solve 10*t - 5*t - w = 0 for t.
5
Let a = -5 - -9. Suppose -20 = -2*r + a*y, -r = -y - 4 - 1. Solve r = -0*w + w for w.
0
Let k be (-3 - 0) + 12 + 1. Suppose -2*c + 0 + k = 0. Solve c = -0*z + z for z.
5
Suppose -2*b - 6 + 2 = 0. Let f be (-1 - 1)/(b/7). Solve 20 = f*d - 3*d for d.
5
Suppose 4*y - 7 = 3*y. Suppose y = 4*a - 21. Solve -2*x = a - 17 for x.
5
Suppose 3*r = 2*n - 6, r + 4*r - 3*n = -9. Solve r*k = 4*k for k.
0
Let p(a) = 2*a - 2. Let x be p(2). Suppose -4*i = -x*i + 10. Let u be ((-2)/10 + -1)*i. Solve -3*t = -5*t - u for t.
-3
Let r = 12 + -11. Solve -2*f = r + 7 for f.
-4
Let t be (-19 - -16)*(-2)/2. Solve t*q + 6 = 6*q for q.
2
Suppose -5*i - 5*b = -0*i + 15, -b - 9 = 4*i. Let v be (3/((-3)/i))/(-2). Let h be (-3)/(v + (-1)/2). Solve -2*j + j - h = 0 for j.
-2
Let k = 12 - 6. Let o be (k + -22)*(-1)/2. Solve o = 4*c - 8 for c.
4
Suppose 18 = z - 18. Let k be (-1)/(-6) - (-642)/z. Solve 4*j + k = -2 for j.
-5
Suppose 3*q = q - 8. Let y = 0 - q. Suppose r + 13 = y*m, -m = m - 5*r + 7. Solve -1 = -m*k - 5 for k.
-1
Let h = -20 + 31. Let r = h - 4. Suppose r*f - 4*f - 24 = 0. Solve 3*m - f = -m for m.
2
Suppose -3*q + 92 = -31. Let n = q + -23. Let u be ((-4)/(-12))/(2/n). Solve -u*j + j = 0 for j.
0
Let u(q) = q**2 + 2*q. Let f be u(-3). Suppose -4*h + f*s + s + 4 = 0, 4*h - 34 = -2*s. Suppose -7 - 8 = -3*w. Solve w*r - h = 4 for r.
2
Let z be (-2)/6 - 110/(-15). Let a be z + 1 - (2 - -1). Suppose f + 5*h - 15 = 0, -2*f = -3*h + 4*h - 21. Solve -25 = a*c - f for c.
-3
Let d be 5/3 - (-12)/36. Solve 5*b + 7 = d for b.
-1
Suppose c - 14 = 4*s, -4*c - s = s - 38. Solve 2*i - c = 4*i for i.
-5
Let a(z) = -z**3 + z**2 + z + 14. Let d be a(0). Suppose -3*n - 1 = 2*i + 32, 3*i + 2 = 5*n. Let u = d + i. Solve u*x = 2*x - 6 for x.
-2
Let w = -2 - -14. Solve w = -l + 5*l for l.
3
Suppose -7 + 10 = y. Solve 0 = q + y - 6 for q.
3
Let g(j) = -j**3 + 2*j. Let q be g(-2). Suppose -q*l = -l + 5*u + 20, 0 = 4*u + 16. Solve 2*x - 6*x = l for x.
0
Let v(f) = 6*f**2 + f. Let l be v(-1). Suppose 0 = -4*g - g. Solve 25 = -l*x - g*x for x.
-5
Suppose -2*k = 3*l + 43, -64 = 2*k + 3*l - 7*l. Let a = k + 10. Let y be 4/a - (-2)/8. Solve y*q - 2 = -q for q.
2
Let z = -13 + 9. Let m = z - -5. Suppose 4*a - 13 + 1 = 0. Solve -a*k + 16 = m for k.
5
Suppose -2*y - a - 8 = a, -5*y - 2*a = 26. Let t = y + 14. Solve 2*k - 6*k = t for k.
-2
Suppose 0 = s - 10 - 0. Suppose -a = -3*a + 2. Suppose d - 4 = a. Solve 3*v - d*v - s = 0 for v.
-5
Suppose 2*x - 6 = 2. Suppose 0 = -4*t + 4*n - 12, -2*t + 21 = x*n + 3. Solve -a = 6 - t for a.
-5
Let d(b) = b**3 + 6*b**2 + 5. Let u be d(-6). Solve 0 = 6*p - u*p - 3 for p.
3
Suppose -5*y + 5*a = -40, 0 = 4*y - 0*a + a - 52. Let s = -5 + 8. Suppose s*q + 9 = -3*b, 5*q - 2*q - b = 11. Solve -q*n + y = n for n.
4
Let c = 21 + -23. Let z be (c - (-2 - -1)) + 3. Solve 9 = -z*o + 1 for o.
-4
Let f be ((-5)/10)/((-2)/8). Let w(x) = -2*x**2 - 6*x + 2 + x**f + 4*x. Let b be w(-2). Solve 3*v + b = 11 for v.
3
Let b = 9 - 6. Suppose -3*y + b = -0. Let h be -2 - (-2 - (-1 + y)). Solve 0 = -h*u - u for u.
0
Let c = -5 - 11. Let q be 3 + -4 + 3/(-1). Let n be c/6*6/q. Solve -n = -2*f + f for f.
4
Let l = -10 + 1. Let u = -5 + 8. Let x be (-2 + u - l) + 0. Solve 5*b + 30 = x for b.
-4
Let t(b) = b - 6. Let s be t(9). Suppose -6 = s*r + 3*n - 0*n, -3*r + 4*n = -29. Solve -l = -r*l for l.
0
Suppose 0 = 2*c + 2*c. Solve 0 = j - c*j + 1 for j.
-1
Let i(u) = -u**3 - 16*u**2 - 2*u - 30. Let j be i(-16). Solve 5*x + 13 + j = 0 for x.
-3
Let s(x) = 5*x + 0*x**2 - 2*x - 2*x + x**2. Let z be s(-1). Solve -n = -z*n - 2 for n.
2
Suppose 2*n - 6 = -0. Suppose -6 = n*b + 4*c - c, 0 = c + 3. Solve 2*q - q + b = 0 for q.
-1
Suppose f - 2 = -15. Let l = f - -13. Solve -5*u + 7 - 32 = l for u.
-5
Suppose -c + 23 = 2*g - 10, -4*c = 4*g - 124. Let h = 41 - c. Let p be 49/4 - 3/h. Solve 3*y = -p - 0 for y.
-4
Let p = 1 - 1. Solve a + p*a = 0 for a.
0
Let r(q) = q**3 - 5*q**2 - q + 7. Let t be r(5). Solve t*d - 9 = -3 for d.
3
Suppose 8 = 4*x + 2*b, -1 + 6 = 5*x + 5*b. Solve -y = -6 + x for y.
3
Suppose 0 = c + 10 - 13. Solve c*z - 2*z = 4 for z.
4
Let j(l) be the third derivative of l**5/30 - l**3/3 + 3*l**2. Let p be j(-2). Solve -3*x - 6 = -p*x for x.
2
Let k(q) = 3*q + 1. Let a be k(1). Let z = a + 0. Solve 9*s = z*s + 25 for s.
5
Let j(t) = -t**3 + 4*t**2 + t - 2. Let l be j(4). Suppose z = 4*g - 5, 3*z = 3*g - 6 - 0. Suppose -2 + g = -y. Solve l*k - 3 = -y for k.
1
Suppose 5*o = -4*j - 1, 3*o + 2*o + 7 = -3*j. Suppose 10 = -g + 6*g. Suppose -g*k = -j*k + 8. Solve k*d - 7 = 3 for d.
5
Let h(n) = 4*n + 20. Let p be h(-5). Let s = -6 - -14. Solve -2*k + 0*k + s = p for k.
4
Suppose -8*y - 92 = -4*y. Let u = 24 + y. Solve -3*s - u - 2 = 0 for s.
-1
Let s(h) = h**2 - 7*h - 27. Let m be s(10). Solve -m*x + x - 4 = 0 for x.
-2
Suppose -3*h = 9, 4*h + 20 + 12 = 5*z. Suppose -4*g + z = -0. Solve -g + 4 = u for u.
3
Suppose 35 = 2*p + 3*p. Let b(t) = t**3 - 7*t**2 - 2*t + 8. Let x be b(p). Let a(m) = -m**3 - 6*m**2 + 2. Let c be a(x). Solve 0 = 4*o + 6 + c for o.
-2
Suppose 5*b = -2*i - 0*i + 10, -b = i - 2. Suppose -2*m - m = -5*h + 22, b*h + m = 0. Solve h*q + 4 = 3*q for q.
4
Suppose 10*q - 12*q = -10. Solve 4*x - 5*x = -q for x.
5
Let j(b) be the