-2*h - 4*t, -y*t - 3 = h + 1. Solve 3*k = -5*m + 37, m = k - h*m + 21 for k.
4
Let p = -47 + 50. Solve 2*n - 4 = n + 4*j, 0 = -4*n - 3*j - p for n.
0
Suppose 5*d - d = 0. Suppose -2*h + 5*o = -17 - 5, d = -3*h - o + 16. Suppose -3*l = -l - h. Solve -3*q = b - 2, 4*b - 5 = -l*q + 12 for q.
-1
Suppose 3*a - 38 = 8*t - 3*t, a - 2*t = 12. Solve 5*n = -4*b - a, b = 2*b + 4 for n.
0
Let d = 10 - 6. Let i be (-20)/5*21/(-6). Let v be i/2*(-2)/(-7). Solve 4 = 2*o - 4, -v*m - d*o = -20 for m.
2
Let o(n) = -n - 5. Let j be o(-6). Suppose 5*x - 2*x = 6. Suppose 0*b = 4*a + x*b + 8, 0 = -2*a + b + 4. Solve j = u + d, -u + 2*d + 10 = -a for u.
4
Let x be (-2)/3 - (-2)/3. Let b be (x + (-6)/3)*1. Let d = b - -13. Solve -f - d + 4 = -2*m, 5*f = -m - 2 for m.
3
Suppose -2*t + 58 + 62 = 0. Suppose l + t = 6*l. Suppose 5*a = l + 8. Solve -f - v + 3 = 0, -3*f - a*v + 15 = 2*f for f.
3
Let a(j) = -2*j. Let c be a(-1). Let h = -41 - -60. Solve 2*s - c = 0, -2*u + 5*s - h + 6 = 0 for u.
-4
Let s(x) = x. Let u be s(3). Solve -u*q - 2*g + 8 = -4*g, -12 = -5*q + 3*g for q.
0
Let y(r) = 3*r - 6. Let h be y(3). Solve -k + 2*k = h*s - 14, -2*s = 4*k for k.
-2
Let x be 5 - (-8*(-1)/(-2) + 4). Solve x*t - 21 = t + 3*k, -t = -5*k - 18 for t.
3
Let t = 80 - 54. Solve 2*u - t = -5*j, -2*u + 10 = j - 0*j for u.
3
Let r be 2*-1*(-3 + 2). Suppose 3*u = r*u + 12. Let t = 7 + -4. Solve -4*c - v + u = -1, t*v - 5 = 5*c for c.
2
Suppose 3*a + 21 = 2*b, -34 = -4*b + 2*a - 12. Solve 2*m = 5*l, b = m - 0*m - l for m.
5
Let w(g) = -g**3 + 2 + 8*g**2 + 2 - 2*g**2 + 0. Let y be w(6). Solve y = -4*h, -3*n + 6*h - 3*h + 9 = 0 for n.
2
Suppose -s + 3 + 1 = 0. Solve 3*h - s*j + 7 = 0, j - 1 = 2*h + 2 for h.
-1
Suppose 0 = -5*r - 6 + 26. Suppose -220 = -4*p + r*v, -2*p + 2*v = -v - 108. Let t = -39 + p. Solve -2*n = -4*d - t, 5*d + 2*n - 15 = -3*n for d.
-2
Suppose 0 = -2*v + 2 + 4. Suppose -3*t + 3*j + 48 = 0, -5*j + 2*j + 29 = 4*t. Solve -3*y = -5*x - 0*x - 31, -v*y + x = -t for y.
2
Let i(q) = -q**3 - q**2 - 3*q - 6. Let x be i(-2). Solve x*w = 5*f - 10, -3*w + 2*f = 3 + 1 for w.
0
Suppose -3*x + x + 6 = 0. Suppose x*g + 19 = 2*k, g + 3*g + 22 = 2*k. Solve 0 = -o - k*q + 11, -4*q = o - 0*o - 9 for o.
1
Let k = -12 - -16. Suppose -3 = -g - k, -2*u = -3*g - 65. Solve -f = -3*y + 17, 3*f + 0*f + u = 4*y for y.
4
Suppose 0 = -2*s + s + 2*s. Let z(f) be the first derivative of 5*f**3 - f**2/2 - f - 2. Let j be z(-1). Solve 3*x + o = j, -5*x = -s*o - 4*o - 25 for x.
5
Let a = 5 - -20. Suppose 8 = q - t, 13 + 17 = 5*q - 3*t. Suppose -3 = z + b, -q*z - 4*b + 0*b = 14. Solve a = z*s + 3*s + 5*g, -s - 20 = -4*g for s.
0
Suppose 0 = 4*f + 20, 5*o = 6*f - 3*f + 25. Solve 3*q + 14 = y - o, 2*y - 3*q - 20 = 0 for y.
4
Suppose 0 = 5*l - 10, -u + l + l = 4. Suppose u = 7*n - 2*n. Solve m = 0, m + 15 = -3*a - n for a.
-5
Suppose -4*c = 5*d - 16, -3*c + 4*d = d - 12. Suppose -c*p + a = 0, -p + 0*a - 3 = -a. Let v be p/(((-3)/(-9))/1). Solve -2*o + 14 = -v*x, 1 = -2*x - 3 for o.
4
Suppose 0*a = 3*a - 30. Let d be -3 - -3 - (-5 - (-15)/5). Solve 0 = k + 4*u - 7, a = 3*k + k - d*u for k.
3
Let q = -69 - -69. Solve a = 2*x - 3*x, -5*x - 4*a + 3 = q for x.
3
Let l(q) = -q**2 + 9*q + 5. Let j be l(7). Solve y - r + j = -6*r, 5*y + 2*r = -26 for y.
-4
Let c(g) = -g + 8. Let k = 2 - -4. Let i be c(k). Suppose 5*b = i*b + 6. Solve -3*n - n - 3 = -5*v, -b*v + 3*n = 3 for v.
3
Let o = -17 - -26. Solve h - 2*b = o, 3*b = 5*h - 0*b - 10 for h.
-1
Let j = 3 + 0. Let v be (6/(-4))/j*-8. Solve 5 + 0 = -3*t + v*q, -3*q + 5 = -t for t.
1
Suppose 28 = 6*b - 2. Solve g + q - 2*q = -10, 0 = b*g - 4*q + 45 for g.
-5
Let f(u) = 1 - u**3 + 4*u + 1 - u + 2 + 3*u**2. Let z be f(4). Solve -3*p + 12 = 3*t, z = 7*t - 3*t - 12 for p.
1
Let u(p) = -8*p - 1. Let g be u(-7). Solve 0 = -3*b - 3*j, 3*j = 5*b - g + 15 for b.
5
Suppose 3*h - 6*h = -9. Suppose -h*j + 58 = -j. Solve -3*g - v - 4*v = -j, -4*g = 3*v - 24 for g.
3
Let l = -157 - -162. Solve 3*a = -t - l, -t + 23 = -5*a + t for a.
-3
Suppose 13*f = 5*f + 48. Solve 0 = a + v - 1, -a + f*a - 23 = v for a.
4
Let q(x) = -x**2 + x + 6. Let v be q(0). Suppose 0 = a - v*a + 20. Solve -r - 15 = a*r, -r = -o for o.
-3
Suppose 2*w + 10 = o, -7*w = -o - 3*w + 16. Suppose 45 = 5*g + s, 2*s = 5*g + 2 - 32. Solve o*u + 6*v = 5*v + 18, -3*u + 2*v + g = 0 for u.
4
Let q be ((-12)/(-18))/(1/6). Solve -2*g - 3*c + 10 = 0, -3*g + 2*c + q = 2 for g.
2
Suppose 0 = 5*c - 3*m - 148, -m - 114 = -4*c - 3*m. Solve -2 = -5*l - 2*t + 13, -5*t = 4*l - c for l.
1
Suppose z = 3 - 4. Let p(t) = -3*t - 1. Let w be p(z). Solve 2*h = -2*i + 8 - w, -h = 5*i - 3 for i.
0
Suppose -5*n + 0*n = -20. Suppose -u = -n*u + 6. Suppose 2 = u*h + 2*r - 3*r, h + 2*r - 11 = 0. Solve 2*y = 2*q, 4*y - 6 = -2*q + h*y for q.
2
Let j be 30/(-9)*12/10. Let c(t) = -3*t - 3. Let g be c(j). Solve -b - 2*m = b - 10, 5*m = 3*b + g for b.
2
Suppose -2*j - 4 = -0*j, -3*s - 5*j = 1. Solve -3*i + 31 = 4*k, -s*k + 3*i = 8*i - 37 for k.
4
Let h be (-3)/(-2 - (-4 - -3)). Solve 5*a - h*a = 5*c - 21, 5*c = -3*a + 6 for c.
3
Let w = 6 - 14. Let f = -5 - w. Solve 4*u = f*v - 11, -v = -5*u + 2*v - 10 for u.
1
Let l(p) = p**2 - 2*p. Let o be l(3). Suppose -2*i = -0*b + o*b - 10, -4*b = -4*i + 20. Let y = -73 - -75. Solve 4*j + 3*q = -4, b = -2*j - q - 6 + y for j.
-4
Suppose 5*f = 15, 4*n + 3*f - 33 = 8*f. Solve 16 = -4*x + 4*l, x + 3*l + n = -2*x for x.
-4
Suppose 5*h + 4 - 24 = 0. Suppose -h*p - p - 10 = 0. Let m be p/(-1) - (1 + -4). Solve -6*a - 45 = -a + m*r, 0 = 2*a + r + 14 for a.
-5
Let f(w) = -w**2 + 5*w - 3. Let c be f(3). Let j = 5 + c. Suppose 3*z - 14 = -5. Solve 2*r + 5*g + j = -8, 4*r - 20 = z*g for r.
2
Suppose -5*d + d + 56 = 0. Let n = d - 11. Solve n*r + 0 = 2*y - 17, -3*y + 2*r + 18 = 0 for y.
4
Let p = 6 - 20. Let y be 10/p + (-6)/21. Let v be 1/2*(y - -7). Solve 3*f - 5*b = -f - 29, -v*b = -f - 16 for f.
-1
Let u be (0 + 10)*8/10. Let w be 2/u*2*6. Let b = 7 + 0. Solve 5*g - w*v = b, g - 5*v = -2*g + 17 for g.
-1
Let h(v) = -7*v**3. Let f be h(1). Let q = -2 - f. Let r = 18 - 12. Solve -2*y - 12 = 4*g, r = -q*y + 2*g - 12 for y.
-4
Let g be -2*(5 + -3)/4. Let y be (3 + g - 3) + 4. Solve -3*z - 13 = 5*u, 2*z - y = 2*u - 1 for z.
-1
Suppose 1 = 2*x - 1. Suppose -4*q = -17 + x. Solve -12 = -q*c - 0*i - 4*i, 5*i = -3*c + 7 for c.
4
Let c be 21/6 - 1/2. Solve g = -5*y - 3, -2*g - 3*g = c*y + 15 for y.
0
Let v be (78/9)/((-2)/(-3)). Suppose -5*h + v - 3 = 0. Solve -2*z + 1 = -r, h*z + 6 = -2*r - 2 for r.
-3
Let b(o) = 2*o + 1. Let a be b(6). Let i = a + -13. Solve v + i*h + 19 = -4*h, -h - 6 = -v for v.
1
Let y = 1 + 12. Suppose -4*f = -67 - y. Suppose -4*l = l - f. Solve -4*h = 5*x - 15 + 5, l*x - h = -13 for x.
-2
Let r be (12 - 6)/(6/3). Solve -25 = 5*o - 2*q, 3*o - 2*q = r*q - 34 for o.
-3
Suppose -p + a = 4*p - 51, 4*a + 28 = 4*p. Solve 4*l + 4 = g + p, -3*l + 3*g = 6 for l.
3
Suppose -11 = -w - 3. Suppose 0*i = -2*i + w. Suppose u - 15 = -i*u. Solve a = -2*b + 1, u*a + 6 + 12 = b for b.
3
Let a(x) be the first derivative of x**2/2 + 2*x - 6. Let k be a(4). Solve 0 = 2*z, 0 = k*o - 2*o - z + 4 for o.
-1
Suppose 0 = -0*b - 3*b - 2*r + 10, 0 = -b + 2*r - 2. Suppose -s + 0*s + b = 0. Solve -10 = -5*f - 5*o, 11 = 2*f + s*f + 5*o for f.
-1
Let g be 3/((-1)/(2/(-2))). Suppose 3*x = l - 6, 5*l + 6*x + 10 = x. Let z be (-8)/(-12) - (-26)/6. Solve l = 2*p + 3*o - 18, -z*p + g = -2*o - o for p.
3
Suppose -7*a = a - 32. Solve 2*z - 6*z + 2*f - a = 0, 4*f + 19 = -z for z.
-3
Let l be -8 + -2 + 6 + 16. Solve v + 2*u - 3 = 1, -3*v + l = -u for v.
4
Let j = -12 - -18. Let b be 1/((j/33)/2). Solve 4 = i, 2*i - b = -5*q - 3 for q.
0
Suppose 2*d + 0 - 8 = 0. Suppose 0 = -4*g - d. Let u be g/(-3) + (-8)/(-3). Solve 3*x - 3*t - 9 = 0, 0*x + u*x + 4*t = -12 for x.
0
Let k(o) = o**3 - o - 1. Let d be k(0). Let s be (-4)/3*(d + -2). Suppose -9 + 1 = -4*m. Solve 9*u + f - s = 4*u, -m*u - f = -1 for u.
1
Suppose 9 = 3*c - 3. Solve p - 4 = -3*d + 2*p, 0 = 4*d - c*p - 16 for d.
0
Let c(k) = -8*k + 1. Let r be c(-1). Solve 0 = 5*a - i - 15, -2*a + 0*i + r = -i for a.
2
Let d = -37 + 28. Let g be (-1 - -7)*d/(-18). Suppose 12 = m - 2*n, 3*m - 20 = -0*m - 2*n. Solve 2*u + g*q = -7, 2*u + q + 1 = -m for u.
-5
Let g = 21 - 17. Solve -2*a - 6 = -7*r + 4*r, 0 = -