= -3*k + 5*h + 16, h - l = 4*k for k.
-4
Let p be (4/6)/(1/6). Suppose -p*r - g - 3*g = -8, -4*g + 15 = 5*r. Let t be (-46)/(-10) + 2/5. Solve t*m - 30 = r*h - 2*h, m = -5*h for m.
5
Suppose -3*u - 5*t + 5 = 0, 0*t - 6 = 3*t. Let v(k) = k**2 - 6*k + 7. Let s be v(u). Let r be 2 - (s + 0)*-1. Solve -8 = -2*b, 4*b + 3 - 11 = -r*c for c.
-2
Let h(f) = f**3 - 6*f**2 + 4. Let q be h(6). Let a = 61 - 44. Solve 5*j = q*c - a, c = 4*c + 6 for j.
-5
Let j be 3/(-6)*(1 - 3). Let i be (-2 - j)*(-8)/6. Suppose -2*l = -2 - 6. Solve l*q + 12 = i*k, q + k + 7 = -0*k for q.
-5
Let q = -4 + 2. Let z be ((-18)/(-45) - (-8)/5) + 3. Let t = z + q. Solve -9 + 1 = 2*n - t*b, 5*b = 3*n + 12 for n.
-4
Let n = -5 + 8. Solve 0 = 3*j - n*o + 6, 0 = 4*j + 3*o + o + 8 for j.
-2
Let q(b) = b**2 - 2. Suppose -4*k = 12, -2*x - 2*x = -k + 5. Let g be q(x). Solve -4*o = -g*h + 10, 3*o - 5*h + 3*h = -8 for o.
-2
Suppose 20 = -3*g + 5*g. Suppose -5*n - 4*l + 16 = 0, -3*n + l - 3*l = -g. Solve -2 = -5*o - v + 5, -4 = 4*o + n*v for o.
2
Let b = 1156 - 1151. Let i = -3 + 6. Solve -i*q = 5*r - 5, -10 = 3*q + b for r.
4
Let a(n) = -n**2 + 2. Let b be a(3). Let i = b + 11. Solve 2*j + 2*d = i, 3*j = -d - 3 + 11 for j.
3
Let a(b) = -b**3 + 7*b**2 - 4*b + 4. Let o be a(6). Solve 14 = 2*i + 2*t, 4*i - 3*t + t = o for i.
5
Suppose l = 5*l. Let p be 1/(2/6) + 2. Suppose h = 2*q - 3*h - 30, q = 5*h + 30. Solve q*c = -4*d - 4, p*d - 4*c = -l*c + 36 for d.
4
Let a be (6/(-4) - -1)*0. Suppose -m - 5*q - 15 = 0, a = 5*m + q + 3. Solve 4*u = 2*r + 2*u - 14, m = -3*r + 4*u + 23 for r.
5
Let y(i) = -5*i - 13. Let o be y(-3). Solve h + 4*j = o*h - 1, -4*h = 3*j + 15 for h.
-3
Suppose 3*b = b + 26. Suppose -2*m + 12 = q, -m - 11 = -q + b. Solve -4*j - q = 0, 0 = 3*z - 8*z + 4*j + 15 for z.
-1
Let n = 67 - 32. Solve -5*v + 5*m - n = 0, 3*m - 2*m = -5*v - 23 for v.
-5
Let m be (-6)/10 + (-206)/(-10). Suppose 0*y = -y + m. Solve y = -4*l, 0 = 2*h + 4*l + 35 - 7 for h.
-4
Let b be (-2 - 1) + 4 + -1. Let t = b + 4. Suppose 3*r - 21 = -3*y, y - 10 = -4*r + 9. Solve r*w + 0 = t*p - 8, -2*w - 2*p = 0 for w.
-1
Suppose 0 = -2*z + 6, 0*l - z - 2 = -l. Solve 0 = -r + t + 5, -l*r - 2*t + 3 = -1 for r.
2
Suppose 3*r - 5*f = -2*r + 65, 2*f + 34 = 3*r. Let s be 18/r + 4/(-16). Suppose -4*w + s = -30. Solve -4*m + w = 2*u, 3*m = u - 5 + 1 for u.
4
Let g(j) = 2*j + 4. Let y be g(10). Let u be y/11 - 8/44. Suppose -3*d + 8 = -0*h - 4*h, -h = 3*d + u. Solve -19 = 2*f - 5*a, d = 2*a - 0 - 6 for f.
-2
Let q be -3 - -1 - (-4 + 2). Let x be (-2 - 1) + 2*6. Let s be x + (3 - 4/2). Solve 8 = -q*h + 3*h + 4*v, -5*v + s = -h for h.
0
Suppose -3*v + 7 + 8 = t, 3*t = -5*v + 29. Suppose -t*z - z + 64 = 0. Suppose -f + z - 4 = 0. Solve g - 4*o - 16 = 4*g, 2*g = -3*o - f for g.
0
Suppose 7 = 2*a + 3. Solve 0 = -4*f - 2*w - 16, -a*f = -3*f - 2*w - 1 for f.
-5
Suppose -14 = k - 4*g, -27 = -3*k + k - 3*g. Let v(n) = n**3 + 2*n**2 - 4. Let y be v(-3). Let m = y - -29. Solve m = 2*l + x - k*x, -12 = 2*l + 2*x for l.
-2
Let r be 16/(-28)*(-14)/4. Let o(y) = 4 + 4*y + y**2 + 0*y**2 + 0*y**2. Let a be o(-3). Solve f + a = 5*m, 14 = 5*f - 2*f + r*m for f.
4
Suppose 3*j + 3*k = -33, 5*j = -0*j + 5*k - 5. Let u be (56/21)/((-4)/j). Solve 5 = -4*q + h - u, 2*q = 2*h - 12 for q.
-1
Suppose -23*f + 90 = -5*f. Solve f*u - 2*s = -15, -2*u - s = -0*s - 3 for u.
-1
Let g be 8/(-12) + (-8)/(-3). Suppose -4*q = -9*q + 20. Let i = q - g. Solve h = -5*o + 22, 3*o = i*h - 2*o + 31 for h.
-3
Let k be (-15)/3*(-4 + 0/(-3)). Solve -5*r = -2*f + 2, 2*f = -f - 4*r - k for f.
-4
Let h(c) = 2*c. Let r be h(1). Suppose r*w + 4*i = 26, -5*w - 3*i = -10*w. Solve w*m = m - 4, 0 = 4*t + m + 14 for t.
-3
Let d(g) = -12*g - g**2 + 0*g**2 + 10 - 20. Let c be d(-10). Solve -2*f - c = -4*f - 2*n, 5*n = -2*f + 25 for f.
0
Let q = -53 + 55. Solve q*b = 3*z + 8, -4*z - 6 = 2 for b.
1
Let v be (9 + 11)*2/4. Solve d + 12 = 4*s, 2 - v = s - 3*d for s.
4
Let u be 2 - -3*2/3. Suppose 13 - 5 = -2*v. Let j be (-2)/(v/2) + -1. Solve -i - u = j, 4*n - 6*n = -i + 6 for n.
-5
Suppose -57 = -2*a - 15. Solve -3*p + 6 = -5*m, a = -2*p - m - 4*m for p.
-3
Let r = 43 + 24. Suppose -r = 5*t - 7. Let p be (-3)/2 + (-90)/t. Solve -5*k + 19 = 3*g, 0*k + 2*k = -2*g + p for k.
5
Suppose -100 - 75 = -5*u. Let w = u + -20. Let s be (w/(-6) - -3)*8. Solve -2*i = -3*i - n + 1, s*i + 10 = 3*n for i.
-1
Let g = -6 + 8. Suppose g*d = -6 + 16. Suppose -5*z - 5 = -5*t, -2*t = -0*t - 6. Solve 4*h - d = -o, -7*h + o + 4 = -z*h for h.
1
Suppose 2*w = 5*l - 0*w + 29, 38 = -5*l - w. Let k be ((-2 - -1) + l)/1. Let p be 44/10 - k/(-20). Solve 0 = 3*s - 3*x + 9, p*x + 3 - 13 = 5*s for s.
2
Let v be 1 + 4 - 0 - 3. Solve -4*y + v*f + 6 = 0, -2*y - 4*f = -7*y for y.
4
Let j(b) = 2*b - 3. Let x be j(-3). Let a be (x/6)/(3/(-8)). Suppose t = -2*q - 4, a*q - 1 = -5*t + q. Solve t*l - 5*o - 22 = 0, -4*o - 5 = 5*l + 6 for l.
1
Let i = 11 + -7. Suppose -24 = -4*c - 0*c. Solve 0 = 2*f - u, 2 = -4*f + i*u + c for f.
-1
Suppose 3*t = 16 - 7. Suppose -2*m + t = -7. Suppose s - 1 = u, 3*u + 5 = -m*s - 2*u. Solve 4*l = -2*p + 2, s = -4*l + p + p - 10 for l.
-1
Suppose -2*u + 3*c - 2 = 0, -2*u + 0 + 2 = -c. Let m be (-1 - -6)/(u/2). Solve 3*f + m*l = 6*l - 8, -2*f - 6 = -l for f.
-2
Suppose -3*f + 20 - 4 = 2*q, -4*f + 28 = 4*q. Suppose -3*c + 4 = -f. Solve 5*y - l = 4, 0 = c*y - 7*y - 2*l + 7 for y.
1
Let f = 205 + -197. Solve -p - 8 = -4*w, -4*w + 0*p + 3*p = -f for w.
2
Let g(o) = o**3 - 3*o**2 - o + 5. Let w be g(3). Solve -5*x - 9 = 3*r - 2*x, -x + 3 = -w*r for r.
-2
Let k(z) = -60*z. Let t be k(-1). Suppose -2*a - 2*a + t = 0. Let r be 69/a + 4/10. Solve 0 = -4*j - r*p + 19, 9 = -0*j - 3*j + 4*p for j.
1
Let i be (-2)/(-3)*(7 - 1). Suppose 0*j = -2*j + 8. Suppose -i*m - 4 = 5*x, 3*x + 3*m = j*x - 3. Solve 2*d = -2*y + 6*d - 6, x = 4*y - 2*d + 18 for y.
-5
Suppose 4*q = 2*q + 48. Solve 5*u - j = 24, -5*j - q = -0*u - u for u.
4
Let p be ((-8)/(-4))/(2/4). Let c = p - 2. Solve -a - 13 = 4*z + c, 4*z + 13 = -3*a for z.
-4
Let c = 44 - 41. Solve 4*a - 4*h = -36, -3*h + c = a - 8 for a.
-4
Let t = -2 - -6. Suppose 0 = 2*s - 3*d + 9 - 0, -3*d = t*s - 27. Solve -3*j - s*a = 6, -5*j + 14 + 0 = -3*a for j.
1
Let j be 4/28 - (-26)/14. Let r be ((-8)/(-5))/((-4)/(-60)). Solve -j*w - 5*n - 5 = -3, -4*n - r = -4*w for w.
4
Suppose 3*t - t + 10 = 0. Let h = 7 + t. Solve 2*y + 3*u - 5 = 6, h*u - 14 = 2*y for y.
-2
Let x(t) = -t**2 - 7*t - 6. Let s be x(-5). Suppose -s*k = 5*w - 26, -w + 4*k + 7 = 21. Solve 0 = u + 4, -g - 15 = u + w*u for g.
-3
Let q = 1 + 1. Let b be q/8 - 11/(-4). Solve -b*f = -5*a - 29, 0*f + 8 = -4*f - 5*a for f.
3
Let j = 89 + -72. Solve 0 = -4*i - 2*t - 2, -j = i - 5*t for i.
-2
Let g = -13 + 17. Suppose 2*y = -h + 4, -g*y + 7*y + 5*h = 6. Solve y*f - 4*w = 3*f + 1, -2 = 2*f + w for f.
-1
Let l = 20 - 16. Solve -3*j - l = -0*y - 2*y, -5*j - 13 = 3*y for y.
-1
Let v be (3 + (-6)/2)/3. Solve 5*c - 25 = v, -2 = -3*h + c - 7 for h.
0
Let y = 41 - 38. Solve y*b = i, 0 = 3*i - 7*i - 12 for b.
-1
Let w(n) = n**3 + n**2 - n + 3. Let h be w(0). Let p be 1 + 1/(-1) + h. Solve s - 4*z + 15 = 0, -z - 6 = p*s - 0*z for s.
-3
Suppose 64 = 3*l + 55. Solve -i = 4*g + 19, -l*g = 2*i + g + 18 for i.
1
Suppose -5 = -2*h + 1. Suppose 0*p + 11 = -5*g + p, -4*g + h*p = 0. Let x be g/2*4/(-3). Solve 3*r = -0*b - 3*b - 12, x*r + 16 = -4*b for r.
0
Suppose 5*y + 4 = 14. Suppose -5*u + 17 + 58 = 0. Solve -j = -0*t - t + 6, 0 = 3*t - y*j - u for t.
3
Suppose 0 = -0*v + 2*v - 18. Let z = v - 4. Suppose z*n = -g - 4*g + 5, 3*n - g - 23 = 0. Solve 2*f + 4*x = 8, n = -4*f - x - 6 for f.
-4
Let o(w) be the first derivative of -w**2/2 + 9*w + 5. Let q be o(3). Solve -q*u + 4 = -f - 2*u, -4*u = -3*f - 4 for f.
0
Let j = -15 + 17. Solve 3*i - 2*h = -3, j*i - 2 + 4 = h for i.
-1
Let l(q) = 7*q + 4. Let f be l(-2). Let m = f - -12. Solve m*h = -0*v - 4*v - 4, 2*h - 2*v = 8 for h.
2
Let x(p) = p**3 - p - 2. Let n be x(2). Suppose 52 = -0*i - n*i. Let l = i + 18. Solve z - 5*v + 5 = -v, z - l*v + 7 = 0 for z.
3
Let f(g) = -34*g**3 + g. Suppose 0*y = 3*p + 4*y - 10, 2*p + 8 = y. Let i be p/3*6/4. Let h be f(i). Solve -2*x - 7 + 1 = 2*o, 4*x = 5*o + h for x.
2
Let u = 2 + 9. Let g = 11 - u. Solve 5*h = -5*s + 30, g = 3*s - h - 2*h + 12 for s.
1
Let