. Solve 10 + 9 = -k + 4*u, -5*k = u - h for k.
1
Let a = -107 - -109. Solve 3*c + j + 2 = 0, 0*c - a*j - 4 = -c for c.
0
Suppose 0 = 3*l - 7*l. Let m be 0 + l - (1 - 4). Let h = 1 - -3. Solve z = h*i - 3*i - 6, 0 = -2*i - m*z - 3 for i.
3
Let b be (-2)/(-7) - (-52)/14. Suppose 0*m = 3*l + 4*m - 12, -5*l + 5*m + 20 = 0. Solve 18 = -a + b*y + 3, l*y - 16 = 0 for a.
1
Let c(g) = -g. Suppose 4*l = -5*z + 6*z - 12, 3 = z - l. Let u be c(z). Solve 0*o = n + 4*o + 18, u = -n + 3*o + 10 for n.
-2
Let a(c) = 6*c - 1. Let s be a(3). Solve 4*w + 0*w + 26 = -2*m, -w - 4*m - s = 0 for w.
-5
Let t be 15/6*6/5. Suppose c = 2*c - t. Let g be 2/(-3) + (-11)/(-3). Solve -c*j + 9 = 3*w, 2*w - 3*j = 3*w - g for w.
3
Suppose 5*i - 138 = -33. Let p be (-6)/4*(-56)/i. Solve -8 = -5*s - 2*t + 16, s = 4*t - p for s.
4
Let a = 26 - 24. Suppose 0*s = -2*p + 3*s - 3, 18 = a*p + 4*s. Solve -2*r + 2*i - 2 = -4*r, -p*r - i = -11 for r.
5
Let m(c) = -c**2 - 5*c + 4. Let t be m(-5). Solve t*d + 0*d + 2*r = 20, d - 4*r = 5 for d.
5
Let l = 6 - 20. Let j = -9 - l. Solve 1 = -5*o - 4*p + 14, -5*o = -5*p + j for o.
1
Let m = -2 - -2. Suppose 0*d + 5*d - 3*h = 5, 0 = -d - h + 9. Suppose m = -j - 0*j + d. Solve j*y + 6 = 2*b + 22, -2*b = -3*y + 14 for b.
-4
Suppose 0 = -w - 3 - 4. Let k be 1*5 + (w - -5). Solve -k*d + b = -5, 5 = 4*d - b - 3 for d.
3
Let s(h) be the first derivative of -3*h**2/2 - 11*h - 6. Let r be s(-5). Let n be 1/1 + (1 - 0). Solve 0 = n*z + z - 5*x + 7, -2*z = x - r for z.
1
Let d = 13 + -10. Solve v - d*v = f - 5, -5*f = v - 25 for f.
5
Let t = 209 - 205. Solve 3*u - t*r = 0, 3*u = -r - 16 + 1 for u.
-4
Suppose 3*l - 2*v - 4 + 6 = 0, -2*l - 4*v = -4. Solve -5*b - 1 = -2*z, -2*b - 5*z = -l*z + 12 for b.
-1
Let l(c) = -c + 12. Let z be l(8). Suppose -3*d + 18 = -3*a, z*d - a + 3*a = 12. Solve -n = -d*x - 4, -6*x = -x + 3*n + 5 for x.
-1
Suppose 0 = -o - 4*n - 6, -3*o + o - n + 2 = 0. Solve 2 = -3*f + o*f, v + 8 = -4*f for v.
0
Let t be (2 - 0)*15/6. Suppose -4*i - 10 - 2 = -2*m, -3*i - 9 = t*m. Solve -2*p + 5*k = -m*p - 12, 4 = -k for p.
-4
Suppose 3*t - 8 = 4, 5*o + 5*t - 45 = 0. Let s be (8/6)/((-2)/(-6)). Solve 5*f - o*l = 5, -9*f + s*f = 3*l + 11 for f.
-1
Let j = -15 - -9. Let t = 8 - j. Solve -4*f - 3*x = t, -x + 0 + 2 = -2*f for f.
-2
Suppose 4*f = -65 + 85. Solve -f*b = 3*h + 16, 23 = -2*b - 2*b + h for b.
-5
Let c(q) = q**2 + 5*q + 1. Let b be c(-7). Suppose -6 + b = 3*i. Suppose 0 = 5*k - 15, -k - 7 = -5*m - 0. Solve -3*o = -i*r - 6, -m*r + r = 0 for o.
2
Suppose -3*f + 4*q + 8 - 2 = 0, -f + 2 = 3*q. Let d be (3 + 3)/(4 + (-8)/4). Solve 4*l + 16 = d*y + f*y, l + 4 = -3*y for y.
0
Let f = -21 - -26. Solve 0 = 2*j - i + 3, f*i = -5*j + 24 - 9 for j.
0
Suppose 5*l = 89 - 19. Suppose 4*s - 2*s - 12 = 4*z, 2*z = 5*s - l. Solve 0 = -5*w - 4*p + 4, w = -s*w - 2*p + 4 for w.
4
Let a(w) = -w**3 + 3*w**2 + w + 2. Let l be a(3). Solve -2*q + 0 - 2 = l*k, -k - 2 = 0 for q.
4
Suppose -k = -4*w + 14, 5*k - 1 = -4*w + 1. Solve z + w = 0, -2*o + 6*o + z = 17 for o.
5
Suppose 8 = 7*r - 3*r. Suppose -o + r*o = 0. Suppose -5*h + 14 = 3*k, 0*h = -h - 4*k - 4. Solve -2*z + z - 3*n - 16 = o, -z + 12 = -h*n for z.
-4
Suppose 0 = 4*g + 2*g - 12. Suppose 0 = 4*u + g*u - 42. Solve 2*z = 3*v - u, v + v + 6 = 4*z for z.
4
Suppose -45 + 197 = 19*k. Solve 0 = 5*f - 3*l - 28, 3 - k = 5*l for f.
5
Suppose 4*w + 4*y = 16, 2*y = 5*w - 3*y - 30. Solve -w*d + 14 = -2*r - 7, 3*r + 12 = d for d.
3
Let q(h) = h - 8. Let t be q(8). Solve t*w = 2*s + w, -2*w = 2*s - 4 for s.
-2
Let x be (-2)/5 + 13/(-5). Let t be 1/(x*(-2)/18). Suppose -u - 3*u = 0. Solve 2*h - 3*l - 13 = 0, u*l = -t*h + 4*l + 19 for h.
5
Let w(x) = x**3 - 12*x**2 - 15*x + 29. Let y be w(13). Solve -2*v - y*u + u - 4 = 0, -2*u = -5*v - 3 for v.
-1
Suppose d = -5*y - 0 + 15, 2*y - 3*d - 23 = 0. Solve -y*t + 3*f = -9*t - 20, 0 = -5*t - 4*f - 25 for t.
-1
Suppose 0 = -4*s + 50 + 22. Suppose -4*t - s = -2*u, -t + 2 - 4 = -u. Let y be (t/2)/(3/(-6)). Solve -5*w + 2*h = 29, h = -4*w - 11 - y for w.
-5
Suppose 5*z = -3*j + 23, -z = j - 5*j. Solve 0 = 2*q + 4 + z, -5*q = 5*t + 15 for t.
1
Let b(q) = -q + 3. Let j be b(0). Solve 2*y + 6 = -4*a - 0*a, -1 = 4*a - j*y for a.
-1
Suppose 0 = -2*g + 3*m + 7 + 204, 3*m = 5*g - 541. Let o = g - 77. Let u = o - 1. Solve 4*h = -5*x - u, 5*x + h - 4*h + 11 = 0 for x.
-4
Let g = -49 - -60. Solve m + 0*m - 3*r + g = 0, -5*m + 9 = r for m.
1
Let s be 0/3 - (-3 + 3). Solve s = d - 3*m + 3, 2*d + 3*m - 3 - 9 = 0 for d.
3
Suppose v = 6*v - 15. Solve 0 = -4*w + 3*w + v*d + 15, -3*d = 2*w + 15 for w.
0
Let s be (-2 + 2/2)*-2. Let w(b) = 3*b**3 - 3*b**2 + 3*b - 1. Let t be w(s). Let y be (18/(-4))/(6/(-8)). Solve -y = h + 3*h - 2*a, 2*h = 5*a + t for h.
-4
Suppose -2*k + 3 = -k. Suppose -5*j = 3*z + 5, j = 6*z - 3*z + 17. Let f(m) = m - 2. Let u be f(4). Solve -u*q = -5*c + 27, -j*c = -6*c - k*q + 17 for c.
5
Let a be 1 - 2/(-1) - -2. Let y = a + -3. Let i be 10/(2 + 0 + 0). Solve 3*n - b = -20, 0*n + i*n + 15 = -y*b for n.
-5
Let h(p) = p**3 - 5*p**2 - p - 5. Let v be h(6). Solve -3*q + 5*w - v = 0, -4*q - 19 + 4 = -3*w for q.
0
Let h be (-3 + 4)/(-3 - -2). Let d = 1 - h. Suppose -3*x - z = -15, -d*x + 6*x = -4*z + 20. Solve -16 = -x*t + 4*c - 3*c, -3*t = -c - 8 for t.
4
Suppose -4*b + 2*k = -22, -1 = 4*b + 2*k - 19. Suppose -4*l - 2 = -10. Solve -b*s - d = -25, 6*s + 4*d = l*s + 20 for s.
5
Let w be 2/(2/(-5) + (-26)/(-40)). Let t be -9 + -1 + (2 - 0). Let r = t + w. Solve r*z + z - x + 5 = 0, -5*z + 11 = 4*x for z.
-1
Let r = -4 + 2. Let o be -1*5*(-1 - r). Let p be -2*o/2 + -2. Solve -z = -3*a, -2*a = -2*z - p*a - 7 for z.
-3
Let g = -13 + 15. Solve -5*t - 7 = -g*u, 5*u + 25 = -t + 2 for t.
-3
Suppose -77 + 57 = -10*d. Suppose -16 = -3*j + 2*j. Solve 12 = -3*h, -d*w - j = 2*h - 0 for w.
-4
Let j(v) be the second derivative of -v**3/3 - 3*v**2/2 + v. Let k be j(-3). Solve 4*w + 4*b = 24, k*b + 8 = 3*w + 4*b for w.
1
Let m be (6/4)/(3/10). Let t be -1*(-3)/(3/m). Solve 3 = t*r + 2*d, 5*r - 2*d - 7 = -0*r for r.
1
Let q(t) = -4*t - 4. Let v be q(-4). Let p be 18/v*8/6. Solve -p*n - 2*h - 3 = -5*n, n - 4*h = 1 for n.
1
Let z be 2 + 3*(-4)/(-12). Suppose p = -z*p + 8. Solve 0 = -h + p*h + 5*s + 30, -25 = 4*h + s for h.
-5
Let d(b) = -3*b - 1. Let c(o) = o**2 + 5*o + 1. Let j be c(-2). Let g be d(j). Suppose 0 = -2*q + 6*q - 12. Solve -6*z + z + m = g, -8 = q*z - m for z.
-3
Let u(s) = s**2 - 3*s - 5. Let p be u(6). Let f = p + -11. Solve -c = 2*c - 5*t - 20, -f*c = -2*t - 8 for c.
0
Suppose -m = 3, -4*n + 4*m = -0*n - 12. Let v be (-2 + -8 - n)/(-1). Solve -j + 1 = 4*y, 4*j - 3*j = 5*y + v for y.
-1
Let z be (-3)/((6/4)/(-1)). Suppose 20 = 2*j + z. Solve j*f - 4*f - 3*k = 28, f - 1 = -4*k for f.
5
Let k be (1/(-2))/((-2)/20). Let j(x) = x + 11. Let q(f) = -6*f**2 - f + 1. Let r be q(1). Let b be j(r). Solve 0*u - u = b*g + 21, 35 = -3*g + k*u for g.
-5
Let c(t) = t**3 + 11*t**2 - 15*t + 16. Let x be c(-12). Let s = -34 + x. Solve 2*u - 5*q - 3 = 0, 0 = -0*u + 4*u + 2*q - s for u.
4
Suppose 5*o - 42 = -p, -2 = 3*o + 2*p - 23. Solve -a + 3*u + 19 = 0, 0 = -a + 2*u - u + o for a.
4
Suppose 4*v - 3*v - 5*m + 5 = 0, 4*m = -3*v + 61. Let c(b) = b**2 + b + 9. Let a be c(0). Solve 5*d - v = 5*n, -n = -0*d + 5*d - a for n.
-1
Suppose o - 5 = y, -y + o + 7 = -3*y. Let v = y - -8. Solve 2*h - 2*c - 19 = -5, -v*h - 4*c + 4 = 0 for h.
4
Let z(r) = 2*r + 1. Let o be z(1). Solve -o*c + 3*s = -2*s - 30, 26 = 4*c - 2*s for c.
5
Let n be (7/14)/((-2)/(-68)). Solve 4*g - n = 5*x, 0 = -3*g + g - 4*x - 24 for g.
-2
Suppose -7*y - 2*y = -y. Solve q - 5*o = 15, -o - 1 - 2 = y for q.
0
Let v = 9 - 9. Suppose 2*l - 6*l = v. Solve 5 + l = -p + 5*u, 3*p - 3 = -3*u for p.
0
Suppose 65*x = 69*x - 16. Solve 4*a = -2*j + 8, -j = x*a - 3*a - 2 for a.
2
Suppose 8 = 4*u, 35 + 5 = 4*b + 2*u. Let f = 12 - b. Solve -2*p = z - 7*p - 16, f*p + 8 = -z for z.
1
Suppose -d = 2*d - 12. Suppose -5*p + 20 = -2*a, 0*p - 8 = -2*p + d*a. Solve -l - 3*l - 14 = 2*j, -p*j + 4*l - 16 = 0 for j.
-5
Let v be 15 - (-5 - -3 - -5). Let a be (1/3)/(3/18). Suppose -v = o - a*o. Solve 0 = 4*h - o, 2*d - h - 15 = -6*h for d.
0
Suppose -4*p + 5 + 11 = 0. Suppose -z = p*z + j - 25, -3*z + 2*j = -15. Solve -2*h = -2*d + 9 + z, -4*d = -3*h - 26 for d.
5
Let i(h) 