). Solve -2*k = -a + 1, -4*k + 2*k - t*a = 10 for k.
-2
Let g(a) = -a**2 + 8*a + 2. Let o be g(8). Let x = 15 - 10. Suppose -t - 13 = -4*v, -5*t - 14 = v - 4*v. Solve f - 14 = 2*r - o*f, v*r - x*f + 22 = 0 for r.
-4
Let z = 7 - 4. Suppose k - 14 = -z*m - 2*m, m + 3*k = 14. Solve 5 = 5*p - 0*q - m*q, -2*p - 3*q + 2 = 0 for p.
1
Let s be 1 + (-2 - (-4 + -1)). Let m = 7 - s. Solve 0 = -3*d - 2*a + 8, -a - 12 = -4*d - m*a for d.
4
Suppose 3 = q - 0*q. Let c be (-3)/((0 - q) + 2). Solve -4*j + c = 7, 0 = 2*m - 3*j - 9 for m.
3
Suppose r - 50 = -3*t, -3*t + 2*t + 14 = -r. Solve 2*p = 3*w - t, w - 6*w = -10 for p.
-5
Suppose 4*s + 5*z = 5, 5*z = 5*s - 0*s + 5. Let r(w) = w**3 + w**2 + 3. Let n be r(s). Suppose -3*b + n = -3. Solve 0 = -b*l + 2*j, -5*j + j + 1 = -3*l for l.
1
Let g be (-4 - -2) + (8 - 0). Let m be -1 - 3/(g/(-20)). Let y = -3 + m. Solve 2*f + y = 4*l, -l + 3*f = -0*f + 6 for l.
3
Suppose -3*r - 45 = 5*h - 11, -3*h = -r + 26. Let z be -2 - -1 - (h - -1). Solve -2 + 7 = 4*a - n, 0 = 3*a - 3*n - z for a.
1
Let r be (1 + -1)/(6 + -8). Suppose -7*m + 2*m + 10 = r. Solve 2*z + m*p = 4, 3*z = 5*p - 2 - 24 for z.
-2
Let m = -151 - -154. Solve 2*j = -4*t, m*j - 2 - 7 = 3*t for j.
2
Suppose -2*w - w = -27. Suppose -52 = 2*m - 4*m - 4*v, v + 95 = 4*m. Suppose -m = -y - y. Solve 4*k + w = h, -h + 0*h = 3*k + y for k.
-3
Let h = 5 - 0. Solve h*j = -2*f + 15 - 1, 4*f + 5*j - 18 = 0 for f.
2
Let a(h) = -h**3 + 6*h**2 + 8*h - 5. Let u be a(7). Suppose 4*c + u - 17 = -3*r, -2*c - 2*r = -10. Solve -4*n = s + 2*s + 3, -3*n + 9 = c for s.
-5
Suppose -31*d + 42 = -10*d. Solve -3 = d*f + 3*m, f = -f + m - 7 for f.
-3
Suppose -3*a = -5*h + 7, -h - 2*h + 1 = -5*a. Suppose 3*y + 41 = -34. Let b be y*(1 - 21/15). Solve h*l + 8 = 2*i - i, i = 3*l + b for l.
-2
Let i(h) = h**3 + 8*h**2 + 5*h + 9. Let a(p) = -19*p - 1. Let s be a(1). Let f = s - -13. Let w be i(f). Solve -5*q = -5*n + 3*n - 23, -3*n = 4*q - w for q.
5
Let a(v) = -v**3 + 6*v**2 + 2*v - 8. Let o = -11 + 17. Let z be a(o). Solve -2*p + 17 = -3*k, -p + 2*p - z*k = 21 for p.
1
Let n(r) = r**2 - 4*r + 5. Let f be n(5). Let w(y) = -2*y - 2. Let s be w(-5). Solve -4*d + 12 = -s, 5*d - f = -5*a for a.
-3
Suppose 8 = u - n, 2*u + 2*u + 5*n = 14. Suppose 3 = 3*i - u. Solve o = 2*c + 2, 2*o - i*c + 20 = -7*c for o.
-4
Suppose -2*l - 4*i + 6 = -0*l, 2*i + 6 = 2*l. Solve -25 = 5*a, 0 = 2*y - 2*a + l - 15 for y.
1
Let y be (10/(-3) - 0)*-3. Suppose 5*x - 1 = -11. Let i be 33/9 + x/3. Solve -3*p - i*c + 2*c - 10 = 0, -y = -5*c for p.
-4
Suppose -21 = -3*r + 12. Let g be r/((-2)/(-4)*-2). Let k = 15 + g. Solve -2*p - k*y + 2 = 0, -2*y - 10 - 4 = -2*p for p.
5
Suppose 4 = -2*u + 12. Suppose 2*z - 16 = 4*n, -z - 4*n - 16 = 2*z. Let r = z - -2. Solve 5*b + 3 = -2*x + 6*b, u*x = -r*b - 10 for x.
-2
Suppose -3*p - 5 = 5*i, -4 = -5*p + 3*i - 1. Suppose p = -f - f. Suppose 0 = -3*t - t + 20. Solve f*w + 3*r = 3*w - 9, -w = -5*r + t for w.
5
Let t = 68 - 38. Solve 4*v - t = -v - 5*c, -2*c + 18 = 4*v for v.
3
Let x(r) be the first derivative of 2*r**2 + r - 1. Let s be x(4). Suppose 0 = 5*l + 47 - 62. Solve 0 = -3*c - y - l*y - s, y = -5*c for c.
1
Suppose -5*r = 2*t - 62, -4 = -2*r + 3*t + 17. Solve -3*f = -3*j - r, 3*f + 4*j = -j + 20 for f.
5
Suppose 0 = r + 2*t - 4, 6*t - t = 4*r - 3. Suppose -q = -r*z + 5, -37 = -5*q - 2*z - 2. Solve 3 = -q*a - 2*n, a = 2*a + 3*n - 2 for a.
-1
Let s = -3 + 8. Suppose 2*t + 3 = s. Let v = 7 + t. Solve -2*n - u + 3*u - 8 = 0, -v = 5*n - u for n.
-1
Let p(f) = f**2 + 10*f - 4. Let v be p(-11). Let o(z) = -13 + 4 + 2*z + 0*z. Let n be o(v). Solve q + 2*u - 3 = -1, 5*u - 15 = -n*q for q.
4
Suppose 0 = 11*f - 6*f. Solve k + 4*c + 20 = -f*k, 0 = 4*c + 16 for k.
-4
Suppose 2*a + 1 = -3*h, -5*h - 2*a = -6*a - 35. Solve h*i - 7 = 7*i + v, 14 = -2*i - 4*v for i.
-1
Let w(c) = -c. Let a be -5 - (2 - (3 + 2)). Let k be w(a). Solve 4*o - 3*g = k, -o - 2 = 3*o - g for o.
-1
Suppose 14 = -y + 16. Solve 0 = 2*h - h - y*p, 4*h + p + 9 = 0 for h.
-2
Let k(g) = 7*g + 1. Let v be k(1). Let d(o) = -o**3 + 3*o**2 - o. Let n be d(2). Solve n*j + j = 3*s - 21, 4*j = -v for s.
5
Let y = -4 + 6. Solve -2*f - 12 = -2*o, y*f + 7 = -0*o - 3*o for o.
1
Let a(w) = w**2 - 4*w - 15. Let m be a(-10). Suppose 0*y - m = -5*y. Solve -3*x = -2*c - 4, -y = 5*x + 2*c + c for x.
-2
Let k be (-15)/3*(-6)/5. Suppose 0 = 4*u - s + 5, -8 = -5*u + 5*s - 3. Let l be (-2 + -2)*u/4. Solve -l*v + 5*a = -k*v - 40, 4*a = 3*v - 1 for v.
-5
Let r = 18 + -18. Solve r = -4*a + 4*l, 7*a + 3*l = 4*a - 6 for a.
-1
Let s be 18/5 - 2/(-5). Suppose f = -5*c + 10, -4*f = s*c + f + 13. Solve -g + c = 2*x - 4, -x = -g - 5 for g.
-1
Suppose -2*d = 3*d. Solve -5*c = d, p - 5 = -c - c for p.
5
Let p be 0*2/4 + 4. Suppose -4*z + 92 = p*w, 0*z = 4*z + 5*w - 97. Solve -z = -3*n + 2*f, -f = -4*n + f + 22 for n.
4
Let h be -2*(2/(-4))/(-1). Let p be (h/4)/((-2)/8). Suppose 3 = q - p. Solve 0 = -y + 3*k + 3 - 13, -5*k = q*y + 6 for y.
-4
Let l(g) = g + 2. Let c be l(3). Let u be (-5)/c + 36/2. Solve 5*o - 2*h = 6 + u, 0 = -5*h - 20 for o.
3
Suppose -4*h + c = -6*h + 11, 0 = 4*h - 4*c + 8. Solve 3*t = -2*l - h + 2, 5*l - 3*t = 29 for l.
4
Let g be 16/(-12)*27/2. Let t be (-20)/(-3) - g/(-27). Solve -3*l - 1 = -2*u, -t = -u - 5*l + 14 for u.
5
Suppose 1 = 4*d + 21. Let w be (8/d)/4*-5. Solve 4*x + 20 = -5*n - 5, 0 = -w*x for n.
-5
Suppose 8 = -2*m + 3*p, 0*m - 20 = -2*m - 4*p. Suppose 20 = 5*v + m*x, -2*v - 4 = -3*v - x. Solve 22 = -5*a + v*k, 2*a - 3*k + 7 = 3*a for a.
-2
Let j be 0/(3 + 0 - (12 + -11)). Solve j*o + 5*o = 20, 8 = -2*m + 2*o for m.
0
Let l = -42 + 46. Solve -2*t = -7*t - l*m - 19, 3 = -3*m for t.
-3
Let b(j) = -j**3 + 2*j**2 + 5*j - 2. Let o be b(3). Solve -13 = o*d + 3, 5*d = -2*l - 12 for l.
4
Let m be ((-6)/21)/((-5)/35). Solve -25 = -j + 4*i, -2*j + m*i + 30 = -2*i for j.
5
Let q be (-8)/12*-3 - 2. Let v(j) = -1 + j**2 - 2*j**2 + 3. Let x be v(0). Solve -3*p - x = 2*r + 2, q = p - 5*r - 10 for p.
0
Suppose 0*m = -m + 1. Suppose 2 = u - m. Solve 5*c = -2*a - 0*a + 10, 4*c - u*a = -15 for c.
0
Let n = -24 - -17. Let t = 8 + n. Let q be -1 + 0/t + 3. Solve -3*f - 11 = q*a, -4*f - 15 = -4*a + 13 for a.
2
Let c be 14/70 - 9/(-5). Solve -4*u - 4 = -4*o + o, -5*u = -c*o + 12 for o.
-4
Let d = 9 + -3. Suppose -4*z = -3*z + d. Let m(y) = y + 6. Let r be m(z). Solve 2*x - 4*c - 16 = -r*x, 0 = -3*x + 4*c + 20 for x.
4
Suppose 4*n = 5*r - 117, -6 = -4*r - 4*n + 66. Let u(x) = x + 4. Let p be ((-9)/12)/(2/8). Let c be u(p). Solve -c = -i - s, i + 3*s + r = 4*i for i.
4
Suppose 100 + 20 = 4*p + 2*y, 2*p + 5*y = 76. Solve d - 11 + p = 5*c, 2 = -d for c.
3
Let o = 8 - 3. Solve o*k = 2*u + 25, 2*u + 3*u = -4*k + 20 for u.
0
Let l(c) = -2*c**2 - 5*c - 4. Let k be l(-4). Let q = -11 - k. Solve -g - 27 = -6*g + 3*f, q*f = -4*g - 8 for g.
3
Let h be 2/(-6)*-1*21. Let l = -4 + h. Let y be 4 + (3 - 2)*-1. Solve -l = -2*n - 1, -5*n + 17 = y*r for r.
4
Suppose 0 = -4*s + 19 + 41. Solve -2*a + s = -3*o, -15 = -o + 6*o for a.
3
Suppose a - 4*a = -9. Suppose -a*d + 20 + 1 = 0. Solve y + z + d = 0, 0 = -2*y - 5*z - 20 - 9 for y.
-2
Let p = -23 + 25. Solve 2*t - 4 = 4*t - k, p*t + 10 = 4*k for t.
-1
Let v(s) = s**3 - 11*s**2 + 7. Let p be v(11). Solve 0 = -4*q + p*w - 2*w + 13, 4*w + 4 = 0 for q.
2
Let a = 13 - 8. Suppose -c - 2*c = -3*x - 39, -a*c = -3*x - 59. Solve 0 = 5*p - c, -f + 7 = -2*f + 2*p for f.
-3
Let n be 6/(-15) + 1*388/20. Solve -x = -5*z - n, 3*x = -7*z + 3*z for z.
-3
Suppose -g + 1 = 2*c, 5*g - c - 5 = -3*c. Let m be (g - -5)*(-10)/(-15). Solve -m*a = -2*y - 30, -3*y - 5 = -2*a + 20 for y.
-5
Let i be 3 + -12 + 5 + (-14)/(-2). Solve -i*a - 5*d = -4, 5*a + d + 2 = -3*d for a.
-2
Let l(h) = 5*h + 1. Let a(t) = t. Let p(u) = 4*a(u) - l(u). Suppose -15 = -5*x, 2*b - 2*x = b - 7. Let c be p(b). Solve -10 = -5*i, 0 = 2*g + i - c*i for g.
-1
Let f = 16 + -18. Let n be 2 + -3 + (0 - f). Solve -12 = -4*b, 2*b - n = w + 3*b for w.
-4
Suppose -3*f = -5*n + 1, 6*f - f - 15 = 0. Solve -c - 5*s - 17 = 0, 9 = -n*s + 3 for c.
-2
Let g(s) = -s + 5. Let o be g(0). Solve 4*w + 6 = 5*h, 3*w + 1 = 3*h - o for w.
-4
Suppose 4*o = o + 24. Let z = -6 + o. Solve r = -5*p + 17, z*r + 2*p + 5 - 7 = 0 for r.
-3
Let u(t) = -t - 4. Let k be u(-7). Suppose 0 = -k*z - 0*z + 18