3 + 77. Solve u*r + 8 - 4 = 0 for r.
-1
Let a(q) = 3*q + 5. Let b(d) = d - 1. Let x be b(-3). Let m be a(x). Let g = 11 + m. Solve 0*v = g*v + 16 for v.
-4
Let h be (1/(-3))/((-3)/18). Suppose 4*p - h*p + 24 = 0. Let w be (-45)/p + 3/12. Solve -g - 1 = w for g.
-5
Let k be ((-12)/(-10))/(3/10). Let p be (1/(-2))/(1/(-4)). Suppose 0 = p*w + 3*w. Solve w - k = n for n.
-4
Let m(j) = j**3 + 6*j**2 - 9*j + 1. Let b = 10 - 17. Let k be m(b). Solve 0 = -2*t - t + k for t.
5
Let p be 7/(-5) - 2/(-5). Let k be -1 + 1*(2 - p). Let d(x) = 2*x**2. Let h be d(1). Solve -h*j + k = -3*j for j.
-2
Let i(m) = m**3 + 7*m**2 + 7*m - 5. Let c be i(-5). Solve 6*t = t + c for t.
2
Let b(y) = y + 1. Suppose 4*q - 3 = 5. Let n be b(q). Solve 2*d - n*d = 3 for d.
-3
Let x be (-1)/4*3*-4. Solve -x*d - 1 = 5 for d.
-2
Let c be ((-12)/(-10))/((-4)/10). Let x(v) = v**2 + 2*v - 3. Let s be x(c). Solve -4*l + 2*l - 10 = s for l.
-5
Let w = -7 - -11. Suppose s - 1 - 4 = 0. Suppose w = -s*j + 9. Solve 0 = 2*r - 7 + j for r.
3
Suppose -3*d - 2*d - 35 = 0. Let j(n) = n**2 + 7*n + 5. Let y be j(d). Suppose 3*h - 5*x + 65 = 8*h, -5*h + 79 = -2*x. Solve 0 = y*p + h for p.
-3
Let n = -33 - -36. Let t(j) = -2*j**2 - 1 - j**3 + 4*j + j**2 + 3*j**2. Let s be t(n). Solve 0 = s*u + 1 - 9 for u.
4
Let x(o) = o**3 - 3*o**2 - 8*o - 10. Let d be x(5). Solve d*w - 2*w + 10 = 0 for w.
5
Let d = -1 + 5. Suppose 0 = d*x - 11 - 1. Let z be 6 - (3 - 6/x). Solve l + 20 = z*l for l.
5
Suppose -2*z + 0*z - 18 = -2*a, 0 = -4*a + 3*z + 32. Let n(w) = -w + 5. Let d be n(a). Suppose d = -5*g - l, 5*l = 4*g - g. Solve 0 = h + 1 - g for h.
-1
Suppose 0 = c - s - 3, -10 - 7 = -5*c + 3*s. Suppose 0 = z - 5*z + 20. Solve z*v = c*v for v.
0
Let y = 34 + -29. Solve -y*v = -v - 20 for v.
5
Let l(i) = i**3 - 4*i**2 + 5*i - 4. Let p be l(3). Let f = -1 + p. Let h = f - -10. Solve -h = 3*z + 1 for z.
-4
Let l = 8 - 5. Suppose -4*f = 5*o - 99, o - 7*f + l*f = 15. Let t = o + -11. Solve -2 = 2*x - t for x.
3
Let c(x) = -x + 15. Let q be c(5). Let h = -8 + q. Solve 4 = -h*d - 0 for d.
-2
Suppose 5*k - 43 = 17. Let m(q) = q**3 - 5*q**2 - 4*q. Let w be m(6). Let l = 16 - w. Solve -x - k = -l*x for x.
4
Let g(v) = -v - 16. Let u be g(-13). Let s(a) be the third derivative of -a**4/8 + a**3/3 + a**2. Let x be s(u). Solve -4*l + x = -9 for l.
5
Let h = -14 + 9. Let f be (-15)/2*4/h. Suppose -4*d = -d - f. Solve d*i = -0*i - 2 for i.
-1
Let q = -4 - -9. Suppose 2*f + 6 = 3*d, 3*d - f + 4 = q*d. Suppose d*z - 2*b - 8 = 0, 5*z - 4*b - 17 - 4 = 0. Solve 0 = -z*n + 2*n for n.
0
Let w be (-2)/(-3)*(-117)/(-2). Let d = 58 - w. Solve -1 = -4*h + d for h.
5
Let t be 21/9 - 6/(-9). Suppose -15 = 4*l - 3*r, 3*l + 3*r = 8 + 7. Solve t*o - o = l for o.
0
Let w(p) = p + 12. Let x be w(-10). Let l be 5/(5/x) - -8. Solve b + b = l for b.
5
Suppose 0 = g - 7 + 2. Suppose 0*c = 5*c - v - 5, -v = 4*c + g. Let a be 5/2 + (-2)/4. Solve c = -u - a*u - 3 for u.
-1
Suppose -17 = m - 132. Let c = -66 + m. Suppose 3*y + 13 - c = 0. Solve 3*k + k = y for k.
3
Let u be 6/(-33) - 46/(-11). Solve 5 = 3*m - u*m for m.
-5
Suppose -10*w + 12 = -6*w. Suppose -x + w*x = 0. Solve -a + 3 + 1 = x for a.
4
Suppose -3*l + 39 = -5*o, -3*l + 27 = -4*o - 2*l. Let t(q) = q**2 + 3*q - 8. Let g be t(o). Solve 0*m = 2*m + g for m.
-5
Let b = -1 + 1. Suppose b = -4*i + 5 - 1, 0 = -5*g + 5*i + 15. Solve -g*h = -4 - 8 for h.
3
Let o(q) = -9*q - 8. Let k(h) = -1. Let r(a) = -5*k(a) + o(a). Let b be r(-2). Let d be 4/6 + 50/b. Solve -4*z + 12 = -d for z.
4
Let r(u) = 3*u + 1. Let x be r(-2). Let i(s) = -s + 4. Let l be i(x). Solve -2*y = y + l for y.
-3
Let i be 4/(-10)*(-9 + 4). Suppose -1 = -v + i*m + 2, 0 = -v - 4*m + 9. Solve 0 = v*f - 5 + 20 for f.
-3
Let g(p) = p**2 + p - 3. Let l be g(4). Let m(i) = -6*i**2 + 6 + 2*i + i**3 + 9 + 9*i + l*i**2. Let k be m(-10). Solve 8 + 12 = k*x for x.
4
Let h be (6 - (-68)/(-8))*(-2 - 0). Solve -3*n = -h*n + 4 for n.
2
Let w = -22 - -21. Let q be 3/1 + w - -4. Solve -5*u + 26 - q = 0 for u.
4
Let f be (-15)/10*20/(-6). Let r be 0 - (0 - (-16)/(-1)). Suppose -5*p = -p - r. Solve -2 = -p*h + f*h for h.
-2
Suppose v + v + 24 = 0. Let h = v - -12. Solve h*l = 3*l for l.
0
Let n = 9 + -5. Solve n*p - 1 = -5 for p.
-1
Let n(g) be the first derivative of -2*g - 1/4*g**4 + 1/2*g**2 - 2 + 2*g**3. Let b be n(6). Solve 5*p = p - b for p.
-1
Suppose -3*l + 39 = -6*l. Let r = l + 13. Solve r = -2*v - 0 + 2 for v.
1
Let c be (-4 + 25/10)/((-6)/8). Solve -2 = -4*i + c for i.
1
Let s(a) be the third derivative of 1/24*a**4 + 1/3*a**3 - 3*a**2 + 0 + 0*a. Let w be s(-2). Solve x + 4*x + 25 = w for x.
-5
Suppose -5*s + 2*s + 9 = 0. Suppose -3*y - 48 = -3*h, 10*h = 5*h - y + 104. Suppose 7*z - s*z = h. Solve z*o = o - 8 for o.
-2
Suppose -2*d + 6 = -h, 5*d + 4*h + 0 = -11. Solve 3*j = -10 + d for j.
-3
Suppose -61*i + 59*i + 8 = 0. Solve -b = i*b + 20 for b.
-4
Let k = 50 + -35. Suppose k = i - 6. Solve 3*h = i - 6 for h.
5
Let c(u) = u**2 - 8*u + 9. Let l be (2 - -1) + -1 - -7. Let z be c(l). Let s = z - 13. Solve 2*b - 6 = s*b for b.
-2
Let i(k) = k + 8. Let y be i(-4). Suppose 3 = -3*a - y*j, 21 - 3 = 5*a - j. Suppose 0 = a*s - s - 14. Solve s*g - 2*g - 20 = 0 for g.
4
Let n(m) = -5*m**2. Let w be n(1). Let o(i) = i**3 + 4*i**2 - 6*i - 3. Let y be o(w). Solve -c + y*c - 5 = 0 for c.
5
Suppose 2*o = -6, o = -3*b - 2*o. Solve -5*h + b = 13 for h.
-2
Suppose 6*i - 4*i = -28. Let p be 120/28 - (-4)/i. Solve 0*t + p*t + 12 = 0 for t.
-3
Let w(i) = -3*i - 2. Let q be w(-2). Suppose 0 = t - 4*t. Solve -l - q*l = t for l.
0
Let f(a) be the third derivative of a**4/12 + a**3/3 + a**2. Let d(r) = r - 2. Let u be d(7). Let x be f(u). Solve x = -s - 3*s for s.
-3
Let t be (-115)/(-25) - (-2)/5. Solve -20 = t*v - 5 for v.
-3
Let g be (-1)/(-6) + (-232)/(-48). Suppose 10 + 15 = g*d. Solve -11 - 4 = d*x for x.
-3
Let d(p) = 4*p**2 + 6 + 0*p**2 - 5*p**2 + 14*p. Let f be d(14). Solve 9 = -3*g + f*g for g.
3
Suppose -15 = -2*r - 3. Let d(b) = b**3 - 6*b**2 + 4. Let l be d(r). Suppose 4*a = -3*c - 2, -c + l*c + 5*a = -4. Solve 0 = -t + c*t + 4 for t.
-4
Let t = 14 - 11. Solve -h + t*h = 10 for h.
5
Suppose 2*c = -3*c. Suppose y + 4*y = c. Solve y = 3*d + 9 - 3 for d.
-2
Suppose o + 4*o = -30. Let r be (0 - 1)*2 - o. Solve 0 = 3*m + r - 16 for m.
4
Suppose 5*i - 3 - 27 = 0. Suppose 5*y - i*y = -8. Solve -3*s + y*s = 5 for s.
1
Suppose -12*l + 76 = 28. Solve l = 2*b - 6 for b.
5
Let x be (-2)/9 + 56/9. Let v(o) = 1 - o**2 + 2*o**2 - 3*o + 3. Let f be v(3). Solve -2 + x = -f*c for c.
-1
Let r = 117 + -114. Let b = 1 + -1. Suppose b = 3*d - 4*d. Solve -2*p - r*p + 15 = d for p.
3
Suppose 4*k - 3*t = 5, -k + 3*t - 7 = 3. Let n be (-6*2)/(-3) - 1. Let f = n + k. Solve 4*u - 8*u = f for u.
-2
Suppose 0 = -5*c + 5*k + 10, -c + 2 + 2 = -2*k. Solve c*j = 4*j for j.
0
Let i = 0 - -3. Suppose -5*u + k = -11 - 1, -3*u + 4*k - i = 0. Solve u*h - 4*h - 1 = 0 for h.
-1
Let r = -39 + 64. Suppose 5*a - r = 25. Solve 4*d - a = 2*d for d.
5
Let s(n) be the third derivative of n**6/120 - 7*n**5/60 + n**4/24 - 5*n**3/6 - n**2. Let t be s(7). Solve 10 = -t*l - 0 for l.
-5
Let x(v) = -v + 2*v + 4*v + 1 - 3*v**2 + 2*v**2. Let d be x(4). Solve -4*o + 7 = -d for o.
3
Suppose 16 - 4 = x. Let g = -10 + x. Solve 0 = -6*u + g*u for u.
0
Suppose -x - 3*t = 4, -4*x - 2 = -2*x + 3*t. Suppose 0*d = x*d. Solve -2*s = -d*s for s.
0
Let m be 8/3*(2 - -1). Suppose -4*c = -m*c. Solve a = -c*a for a.
0
Suppose t - 3*t + 5*g = 26, -66 = 4*t - 3*g. Let d = -15 - t. Solve 0 = -2*i + 1 + d for i.
2
Suppose -2*x + x = 0. Let c be (9/(-6))/(6/(-8)). Let m = c + x. Solve -d = m*d for d.
0
Suppose 3*h = -2*h - 3*r + 10, 3*h - 4*r - 6 = 0. Suppose -b - 5 = -a, -2*b + h*a = a + 5. Solve b = v + 2 + 2 for v.
-4
Let a be (4/6)/((-1)/(-6)). Let f be a/(-6) - 1/3. Let m be (1/(-2))/(f/6). Solve m*v - 8 = -5 for v.
1
Let n = -18 - -8. Let d = 13 + n. Solve -o = d*o for o.
0
Suppose 4*c - 3*d + 29 = 0, -d = c + d + 21. Let l = -11 - c. Solve -n + 6*n - 5 = l for n.
1
Let p be -1 - 2*(-20)/8. Suppose 2*d + 0 = p. Solve 3*k - 13 = d for k.
5
Let c(w) = w**3 - 7*w**2 + 12*w - 4. Let t be c(5). Solve 5*a = -t - 19 for a.
-5
Let p(c) = -c**3 - 8*c**2 + 10*c + 11. Let r be p(-9). Let q = 7 - r. Solve -q*i + i + 20 = 0 for 