e 0 = -r*t - p - 2 for t.
-1
Let j(m) = -m**3 + 3*m**2 - m + 1. Let w be j(2). Let r be -1 + -1 + (7 - w). Solve 2 = -l - r for l.
-4
Let n = -16 + 41. Suppose -o - 3*o = -12. Let c be (1/3)/(o/54). Solve -c*z - n = -z for z.
-5
Suppose 3*g = 3*f - 60, 5*f + 3*g = -0*g + 68. Solve -f = -4*u - 0 for u.
4
Suppose -7*r + 60 = -3*r. Solve 5*a + r = 35 for a.
4
Suppose -4*m = 20 - 68. Let a be (-14)/35 - m/(-5). Solve -3*d - 10 = a*d for d.
-2
Let h be 2/8 + (-12)/(-16). Suppose -v = -1 - h. Solve -v - 3 = u for u.
-5
Suppose -3*c + 16 = v, -c + 2*c + v - 8 = 0. Solve -c*x + 2*x + 10 = 0 for x.
5
Let m = 11 - 7. Suppose -3*p = -m*o - 15, 5*o + 0*o + 16 = p. Solve -p + 5 = 4*u for u.
1
Suppose 3*p - 6 = k, 4*k + 2*p = -2*p + 8. Solve -c + 3*c = k for c.
0
Let x = -6 - -14. Suppose 0 = -4*y + x. Solve 5*l = y*l + 6 for l.
2
Let n(c) be the second derivative of c**3/6 + 10*c**2 - 4*c. Suppose -2*r = -r. Let d be n(r). Solve -4*w - d = w for w.
-4
Let t(c) = -c**2 - 2*c + 7. Let j be t(-3). Solve 0*y + 20 = j*y for y.
5
Let z = 4 + -10. Let d(a) be the second derivative of a**5/20 + 2*a**4/3 + 3*a**3/2 + 7*a**2/2 + 2*a. Let v be d(z). Solve v - 5 = -4*b for b.
-5
Let s = -6 - -12. Suppose 3*w + s = 6*w. Solve w = -5*k + 3*k for k.
-1
Let c(i) = i - 10. Let g be c(10). Solve g = -v + 2*v - 5 for v.
5
Let a(b) = b - 1. Let j(d) = -5*d + 7. Let g(k) = 6*a(k) + j(k). Let m be g(-1). Solve -q + 2 + m = 0 for q.
2
Let x = 28 - 24. Solve 8*s - x*s = 0 for s.
0
Suppose 0 = 5*n - 25, 8 = 3*s + 4*n - 27. Suppose j - m + 7 = 2*j, -s*j - 2*m + 23 = 0. Solve -15 = -0*f - j*f for f.
5
Let y(x) = -2*x**3 - 3*x**2 + 2. Let l be y(-2). Suppose -l*r = -10*r. Let h be (-2)/(-4) + (-3)/(-2). Solve h = -r*t - 2*t for t.
-1
Let n = 43 - 41. Solve -n*z + 0*z = -8 for z.
4
Let g = 1 + 1. Suppose g*z - 3*p - 3 = -14, -3*p + 7 = -4*z. Solve -j - z*j - 3 = 0 for j.
-1
Suppose 3*p - 2*t - 4 = 0, -4*p - t + 12 = -2*p. Solve n = -2 + p for n.
2
Let v = 34 - 31. Solve -v*d + 6 = 3 for d.
1
Suppose 24 = 3*t - 4*t. Let u be (t/20)/((-2)/5). Solve j = 4 - u for j.
1
Let f(w) = w + 3. Let g be f(-6). Let b be 14/4 + g/2. Solve 0 = -3*j + j + b for j.
1
Let s be (-2)/(-5) - 24/(-40). Solve -13 + s = 3*i for i.
-4
Suppose -n + 3*q = -3 + 1, -4*n - 5*q = -8. Let u = 26 - 31. Let t be -3 - -4 - (u - 2). Solve n*z - 4 = -t for z.
-2
Let m = 12 + -5. Let v be 6/21 + 68/m. Solve v*d = 5*d + 10 for d.
2
Let b(m) = m**2 + 5*m + 3. Let r be b(-7). Suppose 0*q - 4*q + 2*t + 2 = 0, r = 4*q + 3*t. Suppose -2*d - q*d = -8. Solve -2 - d = 4*y for y.
-1
Let c be (-103)/(-7) - (-8)/28. Suppose 0 = -g + 6*g - c. Suppose -g*a = -6*a. Solve a = 2*m + 2 - 10 for m.
4
Let r be (-1 + -1 - 2/(-2)) + 4. Solve -o - 6 = -r*o for o.
3
Let x = 29 + -19. Let a = x + -10. Solve -4 = -2*r - a*r for r.
2
Let g(o) = -o**3 + 7*o**2 + 8*o - 12. Let p be g(8). Let i be 1*p/9*-15. Solve -c + i = 3*c for c.
5
Let p(x) = -x**2 - 8*x - 6. Let s be p(-6). Let d be s/4*(-20)/(-15). Suppose 0 = n + 4*n - 35. Solve h + d = n for h.
5
Let z be 2/5 - (-14)/(-35). Solve -3*l + 15 = -z*l for l.
5
Let w = 26 - 16. Suppose -2*m - 3*m + 80 = 0. Let l = m - 10. Solve -w = -4*q + l*q for q.
-5
Let u be ((-504)/78)/(-3) + 2/(-13). Solve u*j = -3*j - 5 for j.
-1
Let i(s) = -s + 3. Let r be i(1). Solve 0 = -0*z + z - r for z.
2
Suppose 0 = 4*i - 3*x + x - 22, 3*x = 3. Solve i*o = o for o.
0
Let k be 9/1 - (-4)/(-2). Suppose 3*y = 4*y + k. Let z(m) = -m**3 - 6*m**2 + 6*m - 3. Let x be z(y). Solve 2*v - 4 = x*v for v.
-2
Suppose -2*g - j = 4*j - 24, -5*g + 18 = 2*j. Let r(m) = m**2 + 6*m + 4. Let f be r(-6). Solve 0 = -g*l + f for l.
2
Let p be 42/9 + (-8)/12. Suppose -4*i = -5*n - 9 - 12, -p*n - 20 = -4*i. Suppose 2*q = -3*m - 3, -5*m - 3 = 2*q + 2. Solve i = -4*j - q for j.
-1
Suppose -c + 0*c = -5. Let b(g) = -6*g + 15. Let k(i) = 5*i - 14. Let w(l) = 3*b(l) + 4*k(l). Let j be w(8). Solve -2*d + c + j = 0 for d.
5
Suppose 0 = -5*f - 5*m + 5, 3*m - 10 = -4*f - 4. Solve 3*z - 4*z = -f for z.
3
Let f(v) = -3*v. Let d be f(-1). Let k be (-2 - (-3)/2)*-4. Solve -k*s + d = -s for s.
3
Suppose -22 = 3*u - 52. Suppose -m = 4*m + u. Let w = m + 3. Solve 2*o - 3*o = w for o.
-1
Suppose 28 = -3*f - f. Let d = f - -7. Solve -4*b + b = d for b.
0
Let g(a) = 23*a**2 - 2*a - 1. Let h be g(-1). Let d(x) = 2*x**2 - 3*x - 3. Let q be d(3). Let v be (q/18)/(2/h). Solve v = -p + 1 for p.
-3
Let t be (-1 - 0)/((-2)/26 - 0). Solve t = -4*d - 7 for d.
-5
Suppose 22 = 4*a - 14. Solve 0 = -5*l + 2*l + a for l.
3
Let k = 124 + -60. Suppose -4*x - 24 = -k. Let y(b) = -b**2 - 8*b + 14. Let h be y(-9). Solve x*g = 5*g - h for g.
-1
Let b be (-78)/65*50/3. Let o = 26 + b. Solve 0 = 4*z + 2 + o for z.
-2
Let l(h) be the second derivative of -h**3/2 + h. Let i(z) = z**3 + 9*z**2 - 1. Let q be i(-9). Let c be l(q). Solve c = -0*y + y for y.
3
Let m(s) = s**3 - 21*s**2 - s + 23. Let i be m(21). Solve i*l + 8 = -2 for l.
-5
Suppose -2*h + 32 = -s, -4*h + 5*h - 5*s = 34. Suppose 0 = 2*g, -3*j - 5 = -3*g - 11. Suppose 2*n - 8 = -5*q + 2*q, n - 4 = 2*q. Solve n*w - h = j for w.
4
Suppose 4*m = -3*m + 3*m. Solve 3*y + 2*y - 25 = m for y.
5
Suppose -3*o = -0*o. Solve q + 3*q - 16 = o for q.
4
Let t(v) be the first derivative of v**3 + v**2/2 - v - 7. Let x be t(-1). Solve -24 = -5*s + x for s.
5
Suppose 2 = 5*q - 8. Solve -q*o - 2*o + 20 = 0 for o.
5
Let z(d) = d**3 - 2*d**3 + 51*d + 7*d**2 - 4 - 40*d. Let v be z(8). Solve v = -2*b - 3*b for b.
-4
Let w(i) = i + 6. Let m be w(-7). Suppose -4*n = -3*n + 3. Let r = m - n. Solve 10 = 4*f - r*f for f.
5
Let y = 58 - 40. Suppose 5*s + y = p, -2*p + s - 3 = -21. Suppose -m + 4 = -0*m. Solve -m*u = -p*u for u.
0
Let s = 2 - 8. Let r = -6 - s. Solve r = -4*d - 24 + 4 for d.
-5
Let b(v) = 3*v**2 + v. Let a be b(-1). Suppose -4 - 2 = -a*w. Solve 0*z = w*z for z.
0
Let j(o) = -o**2 + 6*o - 5. Let w be j(5). Solve -3*u + 3 + 9 = w for u.
4
Suppose -17*q + 19*q - 14 = 0. Suppose s + 2 = -2, -4*s - 4 = -4*y. Let n = y + q. Solve 2*u - n*u = 0 for u.
0
Suppose -4*i + 4*h = -120, -2*h - 8 = -4*i + 102. Solve 8*b = 3*b - i for b.
-5
Let t(o) = 5 - 1 + o + 3 - 5. Let p be t(8). Solve -6*z + z = p for z.
-2
Let f be (-4)/(-6)*207/6. Suppose 2*r = -3*h + 17, f = 2*h + 4*r + 1. Solve -h*w = -w - 8 for w.
4
Suppose 0 = -3*h + 44 + 1. Suppose 6*a + 3 = 3*a - 4*o, -5*o - h = 0. Solve a*y + 4 - 7 = 0 for y.
1
Let w = 8 - 3. Let y = w + -3. Let i(o) = o**3 + 2*o**2 - 5*o - 4. Let l be i(-3). Solve -y*p = l*p + 12 for p.
-3
Suppose -s - 2*s = -12. Solve 0 = 3*b - 2*b - s for b.
4
Let n(x) = -2*x - 2. Let a be n(-2). Suppose -4 = a*q - 8. Suppose -t - 1 = -q*t. Solve -6 = p - t for p.
-5
Let q be (-2 + 6)/(2/25). Suppose q + 75 = 5*g. Let k be 3*(g/(-3))/(-5). Solve -k*w - 28 = -3 for w.
-5
Let i be (-2 - (2 - 1))/(30/(-20)). Solve -2*n - 2 = i for n.
-2
Suppose 0 = -4*t - 0 - 4, 0 = -x + 4*t + 8. Suppose -x*p - 3 = 1. Let w(c) = -2*c**3 - 2*c - 1. Let b be w(p). Solve -q = b*q for q.
0
Let b(h) = -h**3 - 2*h**2 + h - 2. Suppose 3 = k + 6. Let f be b(k). Suppose 5*p - 9 = -3*m, 0*p - f*p = 3*m - 9. Solve m*o = -o for o.
0
Let b(u) = 6*u + 1. Let c be b(1). Let s(l) = l**2 - 10*l + 2. Let k be s(10). Solve -3 = k*d + c for d.
-5
Suppose r = -h + 12, -13 + 37 = r + 4*h. Solve -s + r = s for s.
4
Suppose -6*g + 4*g + 10 = 0. Let k be 2/g + (-33)/(-5). Solve 0 = -5*m - 2 + k for m.
1
Let x(u) = 6*u**3 - 3*u - 9. Let r(y) = -y**3 + y**2 + y + 1. Let b(s) = -5*r(s) - x(s). Let k be b(-5). Solve -3*m - k = -5 for m.
-3
Let j(b) = 3*b**2 + 2*b - 1. Let t be j(1). Solve 0 = 3*z + t - 1 for z.
-1
Let r be 3 + -1 + (1 - 2). Let n(p) = p**3 - p**2 + p - 1. Let t be n(r). Suppose t = -5*c + 10, -i - 5*c = 13 - 38. Solve -q = 2*q + i for q.
-5
Let u = 10 - 6. Suppose -3 = -u*d + 1. Let b(p) = 4*p**2 - 1. Let v be b(d). Solve v - 9 = -3*s for s.
2
Suppose -39 = 5*m - 54. Solve -2*i - m - 5 = 0 for i.
-4
Let l(i) = 2*i**2 - i. Suppose 0*h = -2*h + 6. Let t = h - 1. Let s be l(t). Solve -s = b + b for b.
-3
Let a be 2*(-2 + 5/2). Let b(k) be the third derivative of k**4/24 - k**3/6 + 7*k**2. Let w be b(a). Solve -s - 4*s = w for s.
0
Suppose x + 3*x - 5*m + 8 = 0, 5*x - 4*m + 1 = 0. Let q = -1 - -4. Suppose 8*k + 37 = g + q*k, 3*g - 21 = -3*k. Solve g = -x*c - c for c.
