-s + 0 + f = h for h.
-2
Suppose n = -4*o + 4, n = -n + o + 8. Solve -n*x = -0*x + f, -3*x = -2*f for x.
0
Suppose -2*m = 1 + 23. Let s be -2 + m*(-4)/8. Solve -d = -s*w + 24, d = -2*w - 0*d + 6 for w.
5
Suppose p - i - 2*i - 21 = 0, 3*p + 5*i + 7 = 0. Solve 5*v + 9 = -4*d, 4*d + v = -d - p for d.
-1
Let b be (2/(-4))/(2/68). Let l = -5 - b. Solve -3*j - 2*k = 6, -j - 6*k = -2*k + l for j.
0
Let i = 3 + 2. Suppose -2*f - 5*m = -4*f + 28, -i*f = -4*m - 36. Solve -5*n = 4*t - 29, n + 4*n = f*t + 21 for t.
1
Suppose 2*f = -0*f + 4. Let q = 21 + -17. Solve t + 0*i - q*i - 25 = 0, i = f*t - 15 for t.
5
Suppose 6*z = 9*z - 9. Solve -d = -f + 7, 2*d = -z*f + 3*d + 11 for f.
2
Let x(r) = -9*r + 2. Let v be 2/(-1 + 3) + -3. Let i be x(v). Solve 0*p - i = 5*n - 5*p, n = -2*p + 11 for n.
1
Suppose -5*d + 2*n = 4*n - 54, 4*n = 8. Solve -2*z - d = 2*g, -28 = 5*z - 4*g - 3 for z.
-5
Suppose 0 = x - 2 - 1. Solve 5*y = -d + 16, 0 = -x*y - 0*d + 3*d + 6 for y.
3
Suppose 0 = -3*r + 5*r + 3*i + 3, 0 = -2*r - 5*i - 9. Solve -5*p - 5*f = -5, -5*f - r + 0 = p for p.
2
Suppose 28 = 2*u + 5*y, -u = -4*y + 8*y - 14. Suppose -6 = -3*f + f. Suppose -f*t + u = -1. Solve t*d = -3*z - 9, -3*z + 8 = 2 for d.
-3
Suppose 0 = 2*x + 3*x + 680. Let k be (-2)/(-9) - x/36. Suppose -f = -k*f + 42. Solve -4*o + s = 2*s + 4, -5*s = 3*o - f for o.
-2
Suppose -157*a = -155*a - 24. Solve 3*f - 3*g + a = -g, -2*f + g = 7 for f.
-2
Suppose 2*y - 7*y = -325. Let c be 4/(-26) - (-205)/y. Solve -3*q - w - 9 = 4*w, c*w = q + 3 for q.
-3
Suppose 4*u = -2*u + 18. Let h(z) be the first derivative of z**3/3 - 2*z**2 + 3*z + 1. Let q be h(u). Solve 2*s - 1 = k + 5*s, q = -2*s for k.
-1
Let h be (-286)/(-33) - 1/(-3). Solve -n - 4*q - h = -2*q, 2 = -2*n + 4*q for n.
-5
Let o(k) = -k**2 + 10*k - 2. Let r be o(8). Let z = 24 - r. Solve -5*s + z = -4*b, -6 = 3*s - 0 for b.
-5
Suppose 0*j = 2*j. Let q = 279 + -277. Solve -5*d = -4*d + q*c - 2, 2*d + 2*c = j for d.
-2
Let d = -115 + 80. Let m = d - -59. Solve -4*n - 2*x = m, -3*x - x - 12 = -n for n.
-4
Let m(n) = n**2 - 7*n + 3. Let o be m(7). Solve 3*w + 20 = 5*k, 5*w = o*k - k - 27 for w.
-5
Let x(i) = i**2 - i - 9. Let f be x(4). Solve a - 4*h = -h - 6, -4*h = -f*a - 3 for a.
3
Let w be (-6)/8 - (-6)/8. Suppose w = 5*j + t - 15, -t = 4*j - 4*t + 7. Let y = 7 - 3. Solve -y*z = -2*c + j - 4, c = z + 1 for z.
2
Let p be 6/15 - 16/40. Solve p*d + d - 4*b = 16, b + 4 = 0 for d.
0
Let d(y) = -y + 17. Let a be d(7). Let n be 2/(-6) + 259/21. Let f be 45/n + 1/4. Solve 4*c = -g - a, 0 = 5*g - f - 6 for c.
-3
Let m = 8 + 3. Solve -3*j + m = 2*f, -4*f + 5*j - 13 + 2 = 0 for f.
1
Let v(c) = 2*c. Let z be v(-3). Let s be 12*-2*2/4. Let l = z - s. Solve 4*r = 5*d + 9, -4*r - 2*d + 4*d = -l for r.
1
Let r = -16 - -21. Suppose -r*d + 7*d - 50 = 0. Solve 0 = 2*w - 5*k + 10, 5*w = -k + 3*k - d for w.
-5
Let s(v) = -v**2 - 6*v - 3. Let y be s(-3). Solve 5*a = 2*l, 2*l - 4 = y for a.
2
Suppose -55 = -v - 51. Solve -28 = v*j + 3*a + a, 0 = -4*j - 2*a - 18 for j.
-2
Suppose -3*u - 4*f + 0 = -9, f = 3*u - 9. Solve u*r = 0, 0*w = -w - 5*r - 5 for w.
-5
Let c(l) = 9*l - 1. Let s be c(-1). Let u = 14 + s. Solve -u*a - 4*x = 0, -2*x - 2 = -x for a.
2
Let l(k) = k**2 + 4*k + 2. Suppose -1 = 7*z - 4*z - t, -z - 3*t - 17 = 0. Let j be l(z). Let u = j + 6. Solve -19 = -v + 3*y, -21 = -u*v + 5*y - 4*y for v.
4
Let r be (-14)/(-8) - 15/20. Let u be ((-4)/((-8)/14))/r. Solve -2*a - u = 5*v - 0*v, 5*a - 2*v - 26 = 0 for a.
4
Let h(q) = -q**3 + q**2 - 1. Let m be h(1). Let n = 4 - m. Suppose 0*t = -t + n. Solve 0 = 5*u + t*a + 10, -3*u = -4*u - 2*a - 7 for u.
3
Let f(c) = -c**3 + 12*c**2 - 11*c + 5. Let i be 1 + 2 + (-32)/(-4). Let j be f(i). Solve 0*k - 3 = 3*u - 3*k, 0 = j*k - 25 for u.
4
Let p(a) be the third derivative of a**4/24 - 5*a**3/6 + a**2. Let g be p(11). Solve -2*v = -3*b - 11, -g*b + 2*b = 2*v - 4 for b.
-1
Suppose -3*f - 2 = 4*k, -k - 40 = 4*f - 5*k. Let j be (-3)/f + 10/4. Solve -3*r = 3*a - 8*a + 11, -j*a = -4*r for r.
3
Let h be (-66)/9*3/(-2). Suppose h = 5*f - 14. Solve 5*x = -p - 6, 3*x + 11 = f*p - 15 for p.
4
Suppose -6*j = -j + 15. Let i = 27 - 19. Let d = i + j. Solve 0 = -u + p + 1 - 9, -36 = 4*u - d*p for u.
-4
Let i be 8 + -2*9/6. Solve 4*g = z + 8, 32 = i*z - 3*g + 7*g for z.
4
Let g = -7 + 12. Suppose -2*b + 6 = -0*b. Solve -a + g*y - 26 = 0, -4*y + b = 2*a - 15 for a.
-1
Let q be 0 - -3 - 0 - 0. Suppose -15 = -5*j + 4*y - 3, -j - q*y = -10. Solve z - 2 = -2*d, -j*z - 10 = -d + 3*d for z.
-4
Suppose 9*y - 13 = 14. Suppose -4*a + 3*a = -3. Suppose 8 = a*x - 4. Solve 0 = 5*d + x*m - 3*m - 28, d - y*m = -4 for d.
5
Let f be -3 - 0 - (0 - 3). Solve -5*k + 0*j + 30 = j, f = 3*k - 3*j for k.
5
Let c(u) = 3*u**2 + 20*u + 14. Let h be c(-6). Solve -4*l = -4*s - 20, -5*l + 14 + 4 = h*s for s.
-1
Suppose 3*q + 10 = 4*y + 24, -y = 2. Let l be 14/4 + 3/6. Solve 0 = -l*r, -r - q = -2*g - 6 for g.
-2
Let w be (4/8)/((-1)/8). Let d be 2/w*1*-10. Suppose 2*q - 20 = -2*q - 2*b, -d*b = 3*q - 22. Solve q*y + t = 0, 0*y = -2*y + 2*t - 10 for y.
-1
Let o(z) = -z**2 + 6*z - 8. Let x be o(2). Solve 2*g + 4 = 3*q - q, -4*g - 2*q - 2 = x for g.
-1
Suppose 20*c + 20 = 24*c. Suppose 4*g - 5*l = -0*g + 3, c*l - 1 = 2*g. Let w be ((-2)/5)/((-2)/10). Solve -w = g*p + 3*o, 5*o + 3 = -4*p - 1 for p.
-1
Suppose 19*u - 24*u + 55 = 0. Solve 2*c - 3 = v, 3*v - u = -4*c - 0*c for v.
1
Let d be (-1)/2 + 15/(-6). Let j be (2 - 4)*(-4 - d). Suppose 11 - 1 = 2*q. Solve -a + 2*u + 11 = q*u, 5*a - j*u = -13 for a.
-1
Let b = 7 + 13. Suppose 2*r - 10 = -4*m, -5*m - 4*r = -2*r - 14. Suppose m*l - 4*j = -b, l + 2*j = -l + 10. Solve z + 5*g + l = 5, 0 = -z - 2*g + 2 for z.
0
Suppose 2*x = t - 7 - 3, -3*x = 5*t + 2. Suppose -p - t = -3*p. Let n be (1 - -5 - 1)*p. Solve -n*l = -c - 19, 2*l = -3*c - 0*c - 6 for c.
-4
Let p be (-415)/(-3) - 12/(-18). Suppose -5 = 5*i, -4*y + 4*i = y - p. Let l = y + -4. Solve 0 = 5*k + s + 18, -4*k = 5*s + 4 + l for k.
-3
Let g be (6/(-8) + 2)*(-16)/(-4). Solve -3*t + 29 = g*c, 0*t - t = 5*c - 23 for t.
3
Suppose 3*g + 3 = -2*x, 5*x - 4*g + 9*g = -5. Solve -f = -2*j - 3*j + 7, 2*f + 3*j - 12 = x for f.
3
Let c be 7/(-2)*36/(-63). Solve 3*x - 12 = -0*i - i, 0 = c*x - 6 for i.
3
Let i be (-6 - (-6 + 3)) + 171. Let h be (-2)/(-11) - i/(-44). Solve -2*l + 4 = 2*l - h*a, -l + 5*a = -1 for l.
1
Let o = -1 + 2. Suppose -5*z - 1 = 3*c - 3, -z = 2. Suppose -j + c = j. Solve 3*r - j*x + o = -0, -11 = -5*r - 3*x for r.
1
Let x be 2/12*3*-2. Let p = 10 - x. Suppose -2*c + 15 = 3*h, c + 3*h - 1 = p. Solve 2*k = 2*a + c*a + 14, a - 4*k = 8 for a.
-4
Suppose -z - 4 = 3. Let f = -4 - z. Let b = f + 0. Solve 21 + 11 = -4*g - 4*u, 30 = -b*g - 5*u for g.
-5
Let w be ((-2)/8)/((-6)/(-8))*-12. Solve 0 = 2*p + 2*o - 8, 4 = 2*p + o - w for p.
4
Let x(i) = 5*i**2 - i - 1. Let b be x(-1). Solve 2*u + 0*q - 5*q = -35, 0 = -b*u - 4*q - 5 for u.
-5
Suppose -5*b = -4*l + 50, -2*l - 3*b + 32 = -2*b. Suppose 2*j - 3*w + 9 = -2, -5*j + 5*w - l = 0. Solve -3*d = j*a + 2*a - 11, 31 = -2*d + 5*a for d.
-3
Suppose -2*j - 2 = -0. Let z be (-1)/3*(j + -20). Solve z = 2*f - h, -f - h = 3*f - 17 for f.
4
Suppose y + 3*y - 2 = -a, -2*a + 18 = y. Let m = a + 8. Suppose -m = -5*t + 2. Solve 4*c - 24 = -t*j, -3*j - 4*c - 10 + 30 = 0 for j.
4
Suppose 0 = -3*h + 101 + 16. Let r = 26 - h. Let g be 6/(-18) + r/(-3). Solve -g = -0*u + 4*u, j - 7 = 5*u for j.
2
Suppose 5*s + 30 = -5*t, -4*s - s = 2*t. Let v = 14 + t. Solve -y - 17 + v = -3*w, 3*w = 5*y + 17 for w.
4
Let c be (-2)/(-3) + 32/6. Let f = 9 - c. Solve 0 = w - f*i + 14, -7*w + 2*w = -5*i + 30 for w.
-2
Let b(m) = 0*m + 5 + 1 + m. Let h be b(-6). Solve h = -o - 4, -4*f - 1 = o - 17 for f.
5
Suppose 0*d - 1 = -d. Suppose 15 = 4*n + 3. Let s = n + d. Solve 2 = -5*j + 17, -2*w - s*j + 20 = 0 for w.
4
Let j(u) = -u + 8. Let q be j(0). Let i(x) = x**2 - 5*x - 2. Let r be i(q). Solve 2*n = 2*h - 2*n + 12, -5*h - 3*n + r = 0 for h.
2
Let x(v) = v**2 + 6*v + 7. Let z = -2 + -4. Let w be x(z). Solve -4*k + 2*a = -10, -k - k = 3*a + w for k.
1
Let a = 14 + -9. Suppose f = q + 2, -a*q + 2*f - f = -6. Solve -q*h + 4*x - 2 = -8, 9 = 3*h + 3*x for h.
3
Let w be 4 + 5 + -3 + 0. Let b be 16/w - 1/(-3). Solve b*x - 1 = -4*n, -4 + 5 = -5*n - 3*x for n.
-2
Let v(t) = 2*t +