 5*r for o.
1
Let d = -7 - -5. Let o = 4 + d. Suppose -14 = -3*b + 10. Solve -5*f + b - 2 = 4*z, 8 = 5*f + o*z for f.
2
Let d be (-396)/(-48) + (-2)/8. Solve t + 2 = -h + 1, -h + d = -2*t for h.
2
Let y = -29 - -49. Solve -4*p + 18 = 2*b - 0*p, 4*p = y for b.
-1
Let t(w) = w**2 + 7*w + 8. Let a be t(-7). Let d(p) = -p**2 + 9*p - 3. Let h be d(a). Solve -h*v - 5 = 3*f + 8, -5*v = -f + 9 for v.
-2
Let o be 8/20 + 66/10. Let x be (-10)/(-35) - (-5)/o. Solve -4*c = 3*i - 3 - 2, c = -i + x for c.
2
Let n be 4/(-14) + 4/14. Solve z = 2*i, n = -z + 3*z + i - 5 for z.
2
Suppose -7*l + 5 = -6*l. Suppose -3*m + 13 = -2*m. Suppose -m = c - 2*c. Solve 4*y - 3 = -l*k, 5*y - 2*k - k - c = 0 for y.
2
Suppose 2*f - 2 = 2. Let t(b) = -b**2 - 7*b. Let z be t(-7). Let r be (1 + (-2)/3)*z. Solve y = 3*o - r*y - 12, f*o - 25 = -5*y for o.
5
Let m be (-4)/6 - (-287)/21. Suppose -p - 6 + 1 = 2*c, -3*p = -c - m. Solve -5*s + 5 = -u + 23, -u = p*s + 14 for s.
-4
Let z(i) = -i. Let y be z(-3). Solve -2*d + 15 = y*n, 0*d = 3*n - 2*d - 3 for n.
3
Let n(l) = -l - 11. Let x be n(-13). Let s = -13 + 24. Solve c = x*v - s, 2 = -5*c - 2*v - 5 for c.
-3
Let k = 33 - 31. Solve 9 = -j - 3*s, k*j = -j + 4*s + 25 for j.
3
Suppose -3*j = -8 - 4. Solve 0*q - j*c - 21 = 5*q, c - 1 = 0 for q.
-5
Let i be (-2 + 4 + -2)/(-2). Suppose -t + 2 = -i. Solve 0 = 5*x + 4*u - 4 + 3, 3*x + 5*u + t = 0 for x.
1
Let d(n) be the first derivative of -n**4/4 + 5*n**3/3 + 7*n**2/2 - 4*n - 2. Let i be d(6). Solve -12 = -i*j - 0*j - 2*y, 5*j - y = 12 for j.
3
Let a(z) = -4*z**2 - z. Let c be a(2). Let b = -14 - c. Solve 3*v + 20 = b*o, -13 = -2*v - 5*o + 12 for v.
0
Suppose 11*m - 25 = 6*m. Suppose -5*z = -3*q - 26, 0*z + 2*z - q = 10. Solve c = m*o + 2 + z, -3*o + 10 = -4*c for o.
-2
Let z = -6 - -6. Solve c + 11 = -3*v, z = -4*v - 9 + 1 for c.
-5
Let q(v) = -4*v**3 - 2*v**2 + v + 1. Let c be q(-2). Suppose 0 = 2*m - 7 - c. Let t = -10 + m. Solve -2*o - 3*s = -0*o - 7, -t*o = 2*s + 10 for o.
-4
Suppose 8*u - 23 = 3*u + d, 0 = -3*u + 2*d + 11. Suppose -12 = -2*h + h - 4*s, -4*s - 12 = -u*h. Solve 0 = -2*t + 5*z - 14, -h*t - z - 11 = -9*t for t.
3
Let o(c) = -c + 1. Let a(j) = 1. Let m(b) = -4*a(b) + o(b). Let l be m(-8). Solve -s = -3*s + 3*k + 25, l*s + 4*k = 5 for s.
5
Suppose -5*b + 14 = 2*a - 31, -a + 4*b = -3. Solve 0 = -n + 5*t + 5, 0*t + t = -3*n + a for n.
5
Suppose -x + 22 - 7 = 5*n, -x = -n + 9. Solve -5*j + j - 18 = -r, 3*j = -n*r - 23 for j.
-5
Suppose 27 = 12*k - 57. Solve -q + k = -2*q - 4*h, 3*q = -2*h + 9 for q.
5
Let l(k) = -k**3 + 14*k**2 + 16*k - 7. Let m be l(15). Let h be -3*m*3/(-18). Solve n = -0*q - 4*q + 21, -3*n - h*q + 23 = 0 for n.
1
Let t = 87 - 67. Let i be ((-1)/1)/(2/(-10)). Solve 6*n + 9 = r + 2*n, 3*r - i*n = t for r.
5
Let b = 15 - 10. Solve -g + 0*g + 11 = -4*j, j + b*g = -8 for j.
-3
Suppose -15*u + 12*u + 15 = 0. Solve 0 = -u*r - 4*a + 33, a + 24 = 4*r + 3*a for r.
5
Let t be (-5*12)/(12/(-8)). Solve 0*o + 17 = d + 3*o, t = 4*d + 5*o for d.
5
Let l be 2/1 - (3 + -3). Suppose 0 = -p + 4*z + 21, 3*p - 15 = 4*p + 5*z. Suppose 3*n - p*n + 6 = 0. Solve -k + 5*w = n, l*k + 1 + 5 = -w for k.
-3
Suppose -5*f + 15 + 5 = 0. Solve -f*k + 15 = p - 0*k, p + k = 0 for p.
-5
Let l = -16 - -28. Solve -3*i - v + l = -3*v, -i + 3*v + 4 = 0 for i.
4
Let m = 15 + -21. Let k be ((-8)/m)/(1/9). Let u be ((-6)/(-4))/(9/k). Solve 2*i = -5*y + 27, -u*y + 5 = -2*i - 3 for i.
1
Suppose -5*r - 5*y - 15 = 0, -5*r + 3*y = -r - 9. Solve r = 5*b + 2*m - 0*m - 17, -5*b + 5*m = -10 for b.
3
Let w(n) = n**3 + 4*n**2 - n. Let o be w(-4). Suppose -12 = z - o*z. Solve -2*t - 2 = 0, -3*v + z + 1 = t for v.
2
Suppose 4*a - 16 = 12. Suppose 2*h = -5*r + a, -h - r + 17 = 2*h. Solve -3*i = -0*i - h, 5*k = -2*i - 11 for k.
-3
Let x be 33/(-2)*(-18)/27. Solve -4*a = 5*c - x, -2 + 12 = 4*c + 2*a for c.
3
Suppose 0*x + 25 = x. Solve 2*c = 4*t - 1 + 21, c - 5*t - x = 0 for c.
0
Let k(c) be the third derivative of c**4/24 + 2*c**3 - 2*c**2. Suppose -s + 30 = -7*s. Let j be k(s). Solve -4*o = -5*m + 7, -2*o + j + 0 = m for m.
3
Suppose 0*f + 6 = 3*f. Suppose -t + 0*t + f = 0. Solve t*k = -5*j - 6, -j = 4*k - 3*j + 12 for k.
-3
Let g = 109 - 105. Solve 2 = 3*s + 3*o - g, 3*s - 5*o + 18 = 0 for s.
-1
Let m be (-64)/(-16) - (5 - 1). Suppose x = -m*x + 5. Solve 6*z - 3*z = -x*c - 10, -4*c - 25 = -z for z.
5
Let f = 18 - 14. Solve 0 = b - 4*c + 8, 2*b + 0 + 4 = -f*c for b.
-4
Let p(g) = 3*g + 1. Let m be p(4). Let t(v) = v**2 - 4*v + 2. Let k be t(4). Solve 0 = h + 2*z - 7, k*h - 2*z = h - m for h.
-3
Let d(t) = 2*t**3 + 3*t**2 - t - 2. Let o be d(1). Solve 5*v + 40 = -2*h - o*h, v = -5*h - 29 for v.
-4
Let u be 5/(1 + -3 + 3). Let w = u + -5. Suppose w*s = 2*s. Solve s = 2*m - 2*k + k - 8, -4*m + 4*k + 16 = 0 for m.
4
Suppose 10*k - 11*k = 0. Solve 5*j = 5*p - 10, 0 = 2*p - k*p - 5*j - 10 for p.
0
Suppose m = 3*w - w - 6, -3*m - 22 = -5*w. Let q = -5 - m. Suppose -q = s - 4*s. Solve 4*o + 20 = -4*r, 0 = 4*o - o - s*r - 9 for o.
-1
Let o(q) = -q**3 + 8*q**2 - 9*q + 9. Let s be o(7). Let b = 2 - s. Let v be b + 1/(3/(-3)). Solve -4*m + v*m + 5*i = -8, 4 = -m + 3*i for m.
-4
Let y(m) = -m - 7. Suppose 2*t + 22 = -4*r, 3*t + 9 = 5*r - 13. Let g be y(t). Solve 0 = 2*s + 5*v + g, 2*s + 0*v = v + 10 for s.
4
Let o(v) = -v - 10. Let r be o(-14). Let z be (-1)/r + 36/16. Solve -4*t + 6 = -z*t - 2*k, -3*t + 2*k + 10 = 0 for t.
4
Let q(k) = k**2 - 7*k. Let h be q(7). Suppose h = 4*y - y - 6. Suppose -j = -4 - y. Solve 2*t + j = b - t, -2*t = 2*b + 12 for b.
-3
Let y = 6 + -9. Let z be 8/y*(-63)/(-28). Let k be (0 + z)*(-2)/6. Solve -w + k = -u + 5*u, -3*u - 8 = -4*w for u.
0
Let u(f) = 2*f**2 + 27*f + 1. Let k(m) = -m**2 - 13*m. Let x(g) = -7*k(g) - 3*u(g). Let d be x(-12). Solve -o = -5, 3*o = -3*i + d - 0 for i.
2
Let f = -16 - -13. Suppose 20 = -5*b, 3*a + 3*b = 2*b - 22. Let t be (6/1)/(a/f). Solve -5*o - 2 = 3*p, 5*p + 5 + 9 = -t*o for o.
2
Let p be 22/(-4) - (-33)/22. Let g be (-10)/p - (-3)/6. Solve -1 = z + 2*a, -g*z + 0*a + 11 = -a for z.
3
Suppose -3*d = 3*k - 129, k - 2*d = -0*d + 49. Suppose 3*f + 2*f - k = 0. Solve -w = 4*r + f, 4*w + 2*r = -3*r - 14 for w.
-1
Suppose 2*l + 3 = 1. Let m = l + 21. Solve 0 = -v - 3*p - m, 3*v - 2 = -3*p - 32 for v.
-5
Let m = -22 - -31. Solve 3*b = -2*g - 9 - m, 16 = -4*g - b for g.
-3
Let z be -3 - (1/(4/(-8)) - 5). Solve -33 = 5*s - z*a, 15 = -4*s + a - 7 for s.
-5
Let l = -3 - -15. Let b(j) = -3*j**2 + 0*j**3 + 0*j**3 - j**3 + 2. Let a be b(-3). Solve a*t - 4*s + l = 0, -2*t + s = -4*t - 2 for t.
-2
Let l(v) = -v**3 + 5*v**2 + 5*v + 8. Let j be l(6). Suppose 6*k + 20 = 8*k. Suppose -5*g + 35 = k. Solve 4*m = j*m + 2*c, 0 = 4*m - g*c + 1 for m.
1
Suppose -15*y = -21 - 24. Solve -5*w + 40 = -5*i - 0*w, y*w - 32 = 5*i for i.
-4
Let d(r) = r**2 + 5. Let q be d(0). Suppose -2*k + w - 10 = -32, k = -q*w. Solve o - 3*o + 3*b = -1, -k = 4*o - 2*b for o.
-4
Let w be 4/(-14) + 128/7. Suppose -3*r - r = -g + 16, 2*g - 6 = -5*r. Let v(j) = -j + 10. Let u be v(g). Solve 0 = p + u*p - 3*x - w, x = -5*p for p.
1
Let y be (1 + 25/(-15))*-3. Solve -i = -3*x - y*x + 21, 7 = 2*x + i for x.
4
Let h = 3 - -3. Let t(m) = m**3 + 9*m**2 + m + 12. Let w be t(-9). Solve 2*i = 6*i - c + h, -4 = -i + w*c for i.
-2
Let y(r) be the first derivative of -1/3*r**3 + 1/2*r**2 + 25*r - 2. Let f be y(0). Solve -4*z - f = 5*x, -4*z = -x - 3*x - 20 for x.
-5
Let i(l) be the first derivative of l**2/2 - 8*l + 7. Let c be i(8). Solve 4*a + 5*s = 9, 4*a - a - 3*s = c for a.
1
Let j be 3 - 2 - 0 - -5. Solve 4*v = 5*k + 11, 0*v + 3*v - j = 3*k for v.
-1
Let t be 2/(-3) - (-2)/3. Solve 0 = -4*r - 3*j - 21, -3*j + t = -2*r + 3 for r.
-3
Suppose 9*m - 4*m = 180. Solve -8 = 3*h + 4*g - 4, -4*g = -5*h + m for h.
4
Let i be (-8)/(-14)*(23 - 16). Suppose 0 = 3*k + 5*d - 51, 3*k + 9 = 5*k - 5*d. Solve i*s + k = -4*n, -n + 4*n + 5 = -s for s.
-2
Let d(m) = -m**3 - 5*m**2 - 6*m - 3. Let g be d(-4). Solve 0 = g*n, -q + n = -2 + 5 for q.
-3
Let p(w) = -w**2 + 6*w - 1. Let h be p(5). Let j(r) = r**2 - 4*r. Let f be j(h). Solve 2*l - 3*a - 5 = 0, f*l + 5*a = l - 20 for l.
-5
Let s = -11 - -16. Let o(y) = -y - 8. Let x be o(-12). Suppose 5*f = -5*r + 4*r + 6, x*r = -16. Solve 2*h + 7 = -w, f*w - w - s*h = 28 for w.
3
Suppose -2*f - 11