lve -4*r - 2*s - 8 = 2*s, -5*r = -v*s - 26 for r.
2
Suppose -y = -6*y + 10. Suppose 0 = y*w - 3 - 1. Suppose 3*r = 41 - 11. Solve w*k + r = -4*m, -k = -3*k - 5*m - 14 for k.
3
Suppose g = 2*v + 17, -4*g + g - 2*v + 27 = 0. Let b(s) = 1 + g - s + 0. Let n be b(9). Solve 0 = 3*d - 2*h + n, -3*h + 2 = -d - d for d.
-1
Let v = 6 + -11. Let u = v + 10. Suppose -4*b - d = -4*d + 6, 0 = -3*b - u*d + 10. Solve o + 8 + 12 = 4*q, b = o for q.
5
Let w = 12 - 9. Solve 0 = w*c - 2*l, 0 = 5*l - 6 + 21 for c.
-2
Suppose k - 6 = 2*k. Let w be 2 - 5 - (-1 + k). Solve 3*i + 0*i = u + w, -4*u + 5*i - 16 = 0 for u.
-4
Suppose -18 + 3 = -5*l. Solve l*c + 20 = 4*x, -2*c - 2*x - 4 = -14 for c.
0
Let b = 3 - 0. Solve 8*q + 8 = 4*q - 2*d, -12 = -b*d for q.
-4
Suppose -5*j + 2*x + 18 = -2*j, 5*j - 3*x = 30. Let q(s) = j + s - 1 - 2*s. Let p be q(-5). Solve -n - 13 = 3*d - 8*d, 2*d + 2*n = p for d.
3
Suppose -3*b + 2*b = -4*t + 18, -4*t = -5*b - 10. Solve -b*p = -d + 10, d - 5*p - 14 - 8 = 0 for d.
2
Let h = -7 + 11. Suppose -5*v - 236 = -4*l, -5*v - h - 124 = -2*l. Let p = l - 31. Solve 5*z = 2*a - 7, a - 3*a - p = 5*z for a.
-4
Let s(z) = 5*z - z**2 + 1 - 5*z. Let d be s(1). Solve 5*x + 9 = 2*h + h, d = 5*x for h.
3
Suppose -10 = -7*v + 2*v. Solve -v*a - 24 = 5*z, -5*a - 50 + 20 = 5*z for a.
-2
Let j be (-14)/(-6) + (-14)/(-21). Solve 5*a - 5*t = 0, j*t = 5*a - t for a.
0
Let z be 4/2 + (1 - -1). Solve -2*j + 22 = 3*n, -z*n - 2*j + 3 + 23 = 0 for n.
4
Let o be (1 - -2)/1 - 0. Suppose -2*q + 5 = -2*v + 17, 14 = 3*v - 2*q. Let b be (v/(-4))/((-1)/6). Solve 4*s + 0 = b*k + 11, -5*k - o*s - 28 = 0 for k.
-5
Suppose 0*r = 5*r - 25. Solve 3*l - w + 2 = 0, -l - r*w = -4*w + 6 for l.
-2
Let b be 6 - 5 - (-2 - -2). Solve -2*i + v = -5 + 1, 0 = i - 2*v + b for i.
3
Let g = -3 - -6. Solve 0 = -2*c - 4*s + 10, 2*c + s - g - 1 = 0 for c.
1
Suppose 42 = -4*c - 14. Let x = c - -23. Solve -4*r + 3*r + y = x, 5*y = -2*r + 10 for r.
-5
Let s be -2 + (-1)/(-1) - -5. Suppose -4*l = -3*h - 94, -3*l + 65 = -4*h - 9. Solve s*q + 2*z - 12 = 0, 5*q - l + 5 = -3*z for q.
1
Suppose 0 = -3*z + z + 4*v + 26, -3*z + 35 = -5*v. Suppose -t - z = -22. Solve -t = -h - 3*m, -5*m + 21 = 3*h - 5*h for h.
2
Suppose 2*n = 5*s + 15, 0*s + 5*s + 10 = n. Solve 3*d + 12 = m - 0, -n*m = -d - 18 for m.
3
Let y(s) = -s**3 - 3*s**2 - 4*s - 3. Let u be y(-2). Let r be 1/((-2)/22) + u. Let p = 14 + r. Solve 3*t - 26 = 2*q + 3*q, -20 = -p*t + 3*q for t.
2
Let f(j) = j**2 - 7*j + 10. Let g be f(5). Solve o - 2 = g, -14 = -4*b + 2*o + o for b.
5
Suppose 2*r = -3*r + 90. Solve 0*w = -4*w - j - r, -5*w - 35 = -5*j for w.
-5
Suppose -8 = -4*g, 2*v - 12 = -2*v + 2*g. Suppose v*z = z + 15. Suppose z*r - 6*r = -11. Solve 3*l - 2*n = 8*l - r, 8 = 2*l - n for l.
3
Let n = 14 + -2. Suppose -3*c + n = 3*d, -4 - 6 = -2*c - 3*d. Let v be c*1/(-2)*-2. Solve 0 = -4*j + v*o - 14, -j = o + 4 + 1 for j.
-4
Let n = -3 + 4. Let f = n - -4. Let x(h) = -3*h**3 - h**2 + h + 2. Let k be x(-2). Solve -37 = 4*q + f*t, t = 5*t + k for q.
-3
Let m(a) = -a**3 - 16*a**2 + 15*a - 17. Let o be m(-17). Solve -8 = -2*z, k - 2*z - z = -o for k.
-5
Suppose 7 - 1 = 3*l. Suppose u - 5 = -l. Solve -c - u = m - 4, 2*m + c = 0 for m.
-1
Suppose 3 = -p + 14. Let y = -6 + p. Solve 0 = y*l - 2*r + 36 - 7, r = l + 7 for l.
-5
Let r = -35 - -39. Let d be (-8)/(-6)*(-6)/(-4). Solve 3*z + z = -4*h - 4, 3*h + d = -r*z for h.
-2
Suppose 0 = 3*d, -2*v - 16 = 2*d - 5*d. Let l = 8 + v. Suppose 0 = -2*y - l + 6. Solve 12 = 3*h, h - 11 - y = -5*p for p.
2
Let l(d) = d**2 - 2. Let f be l(0). Let s be -1*(-10 - (0 - f)). Solve -s = 4*h, -2*h + 2 = 2*c - 0*c for c.
4
Let i = -1 - -6. Suppose 5*l - 8 = -0*m + 2*m, -4*l - 4 = m. Solve -2*r - 10 = -i*k - l*r, k - 2 = -4*r for k.
2
Let o be 10*(2 - 1)/1. Suppose -2*t + m = 2*m - 33, -m = -2*t + 23. Let l = t - o. Solve -l*x - 3*s + 9 - 4 = 0, 2*s = -10 for x.
5
Let u(b) = 2*b + 17. Let q be u(-7). Let j be 23 - 2 - (q + -2). Solve -2*s = -2*r - 3*s, -2*r + 4*s = j for r.
-2
Let p(m) be the second derivative of m**5/20 + 5*m**4/6 + m**3/6 + 6*m**2 - 2*m. Let n be p(-10). Solve 2*f = -n*r + 8, -f - f + 5*r + 1 = 0 for f.
3
Let i = -4 + 9. Solve 2*u - i*q = -4, 0 = 6*q - 2*q for u.
-2
Suppose 3 = -4*f - 3*l, 3*f - 4*l - 23 = 2*f. Solve 0*o + f*r + 7 = -5*o, o - 3*r - 13 = 0 for o.
1
Let p = -12 + 17. Solve -5*w - 28 = s - 5*s, 0 = -p*w - 5*s - 10 for w.
-4
Let l(y) = 4*y - 3. Let s be l(3). Let v = 14 - s. Solve -3*x - 19 = 3*f - 4, 4*x = v*f + 16 for x.
-1
Let r be 3/(-5) + (-465)/(-25). Let d = -10 + r. Solve d = 2*i + 5*c - 11, 4*i = -5*c + 23 for i.
2
Let f = 200 - 186. Let h = 7 - 4. Solve -z + 4*t = -h*z - 22, 5*t = 2*z - f for z.
-3
Let u(o) = -o - 1. Let z be u(-1). Solve 5*l - 3*l + 8 = z, -2*d + 5*l + 26 = 0 for d.
3
Let h = 65 - 63. Solve 4*g + 30 = 5*n - 0*n, h*g + 16 = 3*n for g.
-5
Let k(h) = -h**2 - 4*h - 4. Let l be k(-3). Let j be 3/(l/1) - -3. Let o be (5 - j) + -2 + -1. Solve y - 8 - 1 = 5*z, -y + o*z = -6 for y.
4
Let f(m) = 2*m - 10. Let n be f(7). Let d(s) = -s**3 - s**2 + 1. Let a be d(0). Suppose g - 3*g + 6 = 0. Solve 0 = -n*r - u + a + g, 0 = -u + 4 for r.
0
Let h(j) = -2*j**2 - 5*j + 3. Let l be h(-4). Let q be 10/6 + (-3)/l. Solve 5*g + n = -11 - 7, 0 = -2*g - q*n - 4 for g.
-4
Let q(l) = l. Let r(u) = -7*u - 2. Let y(k) = 6*q(k) + r(k). Let s be y(-7). Solve s*v + c = v - 20, -v - 4*c = 20 for v.
-4
Let u be 0/(-2)*(-5 - -6). Let s(d) = d**2 + d + 3. Let w be s(u). Suppose 2*c = l - 5, -w*l = 2*c - 68 + 21. Solve -4*j - 3*o = l, -o - 4*o + 25 = -5*j for j.
-4
Let t(a) = -2*a**2 + 37*a + 23. Let u be t(19). Solve 0 = -3*b + 4*q - 6*q - 8, -u*q = 3*b + 10 for b.
-2
Suppose -5*r + 2*d = -16 - 5, -5*r + 19 = -3*d. Solve 5*s + 2*n + 17 = 6*n, 0 = r*s - 3*n + 19 for s.
-5
Suppose -3*c - 4*h = -27, 4*c + 0*h = -h + 36. Let n(k) = -k**2 + 8*k + 12. Let q be n(c). Solve 4*r - 5*i - 21 = 0, 4*r - 20 = i + q*i for r.
4
Let n be (-72)/(-5) - (-18)/30. Solve -f = -5*l + 20, -4*l + 3*l - n = -4*f for l.
5
Let n(r) = r + 1. Let u(q) = -7*q - 2. Let t(v) = -6*n(v) - u(v). Let l be t(4). Let w = 27 - 12. Solve k - 25 = 4*b, l*k - 5*k = 2*b - w for b.
-5
Let q = 20 - 16. Solve 0 = -q*t + 12, 5*t = 2*u + 3*t + 10 for u.
-2
Let o(q) = q**2 - 14*q + 2. Let p be o(14). Solve -p*a = i - 4, 6*a - 2*i = 2*a + 16 for a.
3
Let k(f) = -f + 7. Let b be k(5). Solve 3*w = -3*n + 12, -b*w + n - 2 = -4 for w.
2
Suppose -5*q = a + 66, -2*q + q - 10 = a. Let p = -10 - q. Solve -4*d - y - 2 = 5, p*y + 6 = -5*d for d.
-2
Let o be 11*1 + (-1 - -1). Suppose -4*a - 12 = 0, 2*g - a - o - 6 = 0. Solve 0 = -3*s, -5*s = -2*y + g*y + 20 for y.
-4
Let l(u) = 2*u**2 + 2*u - 1. Let o be l(1). Solve h = -2*z - 5, -o*z + 9*h - 40 = 4*h for z.
-5
Suppose 8 = i + 3*i. Let j be 2 + 2/2 + -3. Solve j = -4*t, -d + 3*t - 2 = i for d.
-4
Suppose -2*m + 2*c + 3*c = -26, 3*c + 9 = -m. Suppose 3*a = 5*a. Let l = m + a. Solve -4*u + g - 1 = 0, -u - l*g - 4 = -4*g for u.
1
Suppose -20 = h - 3*h. Let g = h + -6. Suppose g*v - 3 = -3*n, -n + 7 = -4*v + 22. Solve -6 = -4*w + 5*l, 2*w - 6*w - 10 = v*l for w.
-1
Let f be 5/25 + 19/5. Solve 3*k = -5*s + f, 0*k - 2*k - 6 = -s for k.
-2
Let v(g) = g**2 - 2*g + 1. Let w be v(-5). Solve 5*b - 2*p = 8 - w, -3*p = b - 8 for b.
-4
Let f(t) = 15*t**3 + t - 1. Let i be f(1). Let y = 0 + 3. Let c be 26/5 - y/i. Solve c*m = u + 17, -m - 20 = -6*m for u.
3
Let r(o) = 12*o**3 + o**2 - 2*o + 1. Let b be r(1). Let i be (-1 + -2)*((-12)/9)/2. Solve i*m = -w + 6, m = -m + 2*w + b for m.
4
Let z(q) = -2*q**3 + 3*q + 2. Suppose r - 2*r + 2*u = -8, -4*u = -3*r + 14. Let i be z(r). Solve k = 2*p - 13, -3*k - i + 5 = 2*p for p.
4
Suppose -5*g = -4*w + 36, 2*g + 2*w = 5*g + 20. Let z = 6 + g. Solve -2*u + z*k = -4, 0*k + 7 = 2*u + k for u.
3
Let g(m) = -7 + 12 + 0*m - m**2 + 0*m**2 + 4*m. Let l be g(4). Solve -l*y - o + 8 = 0, -3*y + 7*o = 3*o - 14 for y.
2
Let w = 22 + -8. Let s be (-2 + w/4)*14. Let l = s - 13. Solve 4*r - 16 = -5*h + 19, -h = r - l for h.
3
Let c be (6/(-4))/((-3)/(-16)*-2). Solve 0 = 3*m - 5*r + 12, 5*m - c*r + 12 + 8 = 0 for m.
-4
Let g(o) = 3*o**2 + 2*o - 2. Let l be g(-2). Let h be (-21)/(-2) - 3/l. Suppose 0*r = 2*r - h. Solve 0 = r*f + x + 8, -4*x = 3*f - 0 - 2 for f.
-2
Let r = 16 + -11. Solve -3*h = -p + 3 - r