h + u, h = -4*i + 11 for h.
-1
Let o be (-3)/((-30)/35) - (-1)/(-2). Let c be (-4)/(-3)*3/1. Suppose c*h - 80 = -h. Solve -d = 3*i - h, 2*d - 29 = -o*i - 12 for d.
1
Let j(w) = 14*w - 101. Let s be j(9). Suppose 0 = -7*l + 2*l. Suppose l*g - 15 = -3*g. Solve 0 = -g*x + s, -p + 0*p + 14 = 2*x for p.
4
Let x = 12 - 7. Let s be (0 - x)*(-8)/(-10)*-1. Solve 0 = 4*q - 2*p - p + 6, -4*q - 4 = -s*p for q.
-3
Suppose 5*f = 0, -4*p + 4*f = -3*p - 28. Let k = p - 26. Solve -2*i + k*h + 12 = 0, 5*i + 0*h = h + 14 for i.
2
Let y(w) = 3*w - 39. Let q be y(15). Suppose v - 2 = -0*v. Solve -2*a + v*u - q = 0, 4*a + 1 = a + u for a.
1
Let f = 22 + -20. Solve -k - f*n = 3*n + 24, -k + 4*n = -12 for k.
-4
Let n be (10/(-60))/(1/(-6)). Let f(c) be the second derivative of 2*c**3/3 - c**2 + c. Let q be f(n). Solve 0 = -3*d + 2*d + 2, -q*d = y - 3 for y.
-1
Suppose 52*c - 53 - 103 = 0. Solve 5*n - c = 4*a, 5*a - 2*n - 2 = -10 for a.
-2
Suppose 5*x = -2*q - 26, 3*q + 2*x = 7*q + 28. Let b = -8 - q. Let n be 0 + (b + -3)*-1. Solve n*d + 13 = 4*v, -d = -2*v + 3*d + 14 for v.
1
Let b = -7 + 8. Let x(p) = -57*p - 1. Let a be x(b). Let n be (-1)/(-5) - a/10. Solve m = 2*k + n, -4*m - 25 = m + k for m.
-4
Let q(l) = -11*l**2 + 99*l + 6. Let a be q(9). Solve 5*k = r, 2*k - 27 = r - a*r for k.
1
Suppose 4323*u = 4319*u + 8. Solve 0 = -3*n + n + u*x + 2, 2*x = -4*n + 28 for n.
5
Let z = -6 - -18. Let a be 393/(-2)*(-8)/z. Suppose 5*g = a + 19. Solve n - 24 = 4*w, -3*w - 5*n = -5*w - g for w.
-5
Let m be (0 - (-2)/(-2))/1*-16. Let h(p) = -p**3 + 6*p**2 - 5*p + 5. Let v be h(5). Solve -4*t = 5*s + m, 3 = -v*t + 3*s - 17 for t.
-4
Let o be (-2 + -8)/(-2)*1. Suppose -o*y - x = -204, 4*y = -3*x + 62 + 110. Suppose -s + 5*s = y. Solve r = -5*g - s, 0 = g - 0*r - r - 4 for g.
-1
Let k be 1/(5/100*4). Solve 5*d - k = j + 19, -5*j = 5*d for d.
4
Let k be 6 + (-88)/14 + (-4)/(-14). Suppose 4*r - 121 + 101 = k. Solve -4*s + 4*q = 8, s - r*s - 4*q = -8 for s.
0
Let i be (-102)/17 + (9/3 - -7). Let z = 4 + 0. Suppose -3*w = -5 - 4. Solve -w*r + 0*r - z = l, r + 3*l = -i for r.
-1
Let b(a) = a**3 - a**2 + 12*a - 8. Let j be b(5). Let u = -149 + j. Solve 5*r + u*m + 13 + 24 = 0, 4*r - 2*m = -12 for r.
-5
Suppose 11 = 2*g - 144*o + 143*o, o = -3. Solve 12 = -g*z, 2*d - 6*d + z = -7 for d.
1
Suppose -4*a - 5*w + 4 + 15 = 0, 3*w + 15 = 0. Solve -5*f - 5*x + 9 = -a, 2*x - 15 = 5*f for f.
-1
Suppose 5*m - m - 112 = 0. Suppose -m + 68 = 4*k. Solve -2*f = k, 2*v + 3*f = -2*v - 19 for v.
-1
Suppose 2 = 3*b - 1. Suppose b = 6*l - 7*l. Let v = l - -4. Solve 2*r = -v*i - 8, -5*i + 4 - 20 = 2*r for i.
-4
Let b(o) = o**2 + 11*o + 14. Let v be b(-10). Suppose m - v*r - 20 = 0, 5 = -m + r + 16. Suppose -x = -m*x. Solve 0 = 4*y - 3*d + 1 - x, 2*d = 5*y + 10 for y.
-4
Let x be ((-6)/(-4))/((-12)/(-88)). Suppose 7*d - x*d + 52 = 0. Solve -5*m = -r - d + 3, -r + 2*m = 1 for r.
5
Let w = -86 - -122. Suppose -79 = -5*i + w. Solve -20 = -4*g + 4*u, -i = -5*g + 3*u - 0*u for g.
4
Let t be (-6)/(-8) - 1148/16. Let g = 73 + t. Solve 0*d + 4*d = -8, 0 = -4*q + g*d + 24 for q.
5
Let z be 4*-2*2/(-8). Solve -4*k - 1 = z*w - 7*w, 0 = 5*w - 5 for k.
1
Let q be 30*(12/(-9) - -2). Suppose 0 = -s - 7*s - 8. Let l be (s*q)/(-4) - -1. Solve 4*o - l*p = -2*p - 4, 3*o = -4*p + 11 for o.
1
Let i(c) = -c + 5. Let f be i(5). Suppose -45 = -5*v + 5*s, f = -3*v + 4*v + 4*s + 1. Let k = -5 + v. Solve -k*x - 11 = 3*d, 0*x - 14 = 2*x + 4*d for x.
-1
Let v = 39 + -35. Solve v*j + 5*c + 11 = -4, 9 = j - 3*c for j.
0
Let u(a) = -a + 12. Let i be 7/(21/18) - -2. Let r be i + 1 + 0/1. Let n be u(r). Solve -4*k - 5*j + n = -5, 5*k - 5*j + 35 = 0 for k.
-3
Let s(q) = -q**2 - 3*q + 2. Let d be s(-3). Solve -4*t - 4*u = t - d, -19 = 2*t - 5*u for t.
-2
Suppose 3 - 15 = -3*c. Suppose 2*l = -3*w + l + 6, -4*w = -3*l - 8. Let a be 10/((-4)/(-6)*(65 - 62)). Solve 0 = a*p - 3*q - 7, -4*q = -w*p - c + 18 for p.
-1
Let f(q) = -3*q**3 - 8*q**2 + 2*q + 2. Let p be 3/((3 + 1 - 2)/(-2)). Let i be f(p). Solve 4*x = -i*n - 10, n + 6 = 2*x + 18 for n.
2
Let j = 10 - 7. Let i be (1/4)/(j/(-12)*-1). Solve 0 = -3*p + r + i, 4*r - 19 = p - 1 for p.
2
Let u(c) = c**3 + 3*c**2 - 20*c - 7. Let p be u(-6). Solve -31 = 2*r - p*g, -3*r + 2*g = 4 + 15 for r.
-3
Let c be 2/2*5 - 18. Let l = c + 14. Solve 4*r + q + 10 = 0, -2*r + 5*q - l + 7 = 0 for r.
-2
Suppose 18*o - 220 + 4 = 0. Let i be ((-40)/(-48))/(0 + 2/o). Suppose 2*c = 4, -15 - 9 = -4*w - 4*c. Solve 0 = -w*u + 2*g, g + 2*g = i*u for u.
0
Suppose -7 = -v + 5. Suppose 0*f = -6*f + v. Solve f*a - 5 + 3 = -2*p, 2*p = -4*a - 2 for p.
3
Let l be (4/2)/((-12)/18). Let k be 2/6 - (-2 - (-5)/l). Suppose 0 = 3*h + 9, 5*h = 3*y - 18 - 9. Solve -5*w = 0, 3*i - y*w + 1 = k*i for i.
1
Suppose -d - 52 = -5*o + 2*d, -o + 14 = 3*d. Suppose o = 5*s + 1. Solve 1 = -3*w - 2*k, -s*w = 2*w + 2*k for w.
1
Let z = 28 - 3. Solve -5*h - 5*f = z, 4*f = 5*h - 0*f - 20 for h.
0
Suppose 0 = -499*x + 478*x + 147. Solve -5*u = -4*y + 6 + 1, 0 = -2*y - u - x for y.
-2
Let w = -183 - -202. Solve y - 8 = -y, 5*y = -c + w for c.
-1
Let x(z) = z**2 - 2*z. Let d be x(2). Suppose -23 = 2*q - 17, -32 = -a + 3*q. Solve d*r - 5*b = r - a, b - 4 = 0 for r.
3
Suppose 4*a - 116 = -0*k - 4*k, -3*a - 43 = -2*k. Solve -k = 2*r - 0*r + 4*y, 0 = 4*r - 4*y - 8 for r.
-3
Let c(g) = -168*g + 509. Let p be c(3). Solve 2*a = p*z - 14, -21*z + 20*z + 5*a = 11 for z.
4
Suppose -2*c + 280 = 26*c. Solve 15*s - c*s + 3*i + 35 = 0, 4*s = -i - 21 for s.
-4
Suppose -2*w - 2 + 10 = 0. Suppose -4*x = w + 20. Let p = -3 - x. Solve 3*u + 0*j = 2*j - 1, -p*j - 12 = 0 for u.
-3
Let x(k) = -k**2 + 8*k + 11. Let p be x(9). Solve -2*v = -3*v, p*n = -2*v + 10 for n.
5
Let l(s) be the third derivative of -s**6/120 + 3*s**5/20 + 3*s**4/8 + 2*s**3 - 2*s**2. Let k be l(10). Solve -4*o + 11 = -2*o - v, -20 = -k*o + 4*v for o.
4
Let s(y) = y**2 - 9*y - 48. Let f be s(-5). Solve 2*n = 3*q + f, 3*q + 4*n = -n + 13 for q.
-4
Suppose -1 = 3*d - 10. Let a(c) be the first derivative of c**3/3 - 5*c**2 + 2*c - 14. Let f be a(10). Solve -3*z - h - d = -0*z, 0 = -2*z + h - f for z.
-1
Suppose -19*q = -15*q - 8. Solve t + 3*t - 3*m = 5, q*t - 5 = m for t.
5
Let v be 1 - 6/(-2) - 2. Suppose 5*q - v - 3 = 5*k, 2 = 2*k. Solve q*d - 4*h - h - 28 = 0, d - 5*h - 24 = 0 for d.
4
Let z(h) be the third derivative of -h**4/8 - 5*h**3/3 - 2*h**2. Let d be z(-4). Solve 5*j = d*p + 4, -4*p + 3*j - 8 = 2*j for p.
-2
Let j = -1897 - -1901. Solve -5*u = -3*u - 5*s + 9, -3*s - 5 = j*u for u.
-2
Let o(v) = 8*v**2 - 4*v - 1. Let c be o(-1). Solve -3*r = -x - 14, -x + c = 3*r - 5 for r.
5
Let p be (0/(-1))/(-1 - (3 - 5)). Solve -3*v = 5*n - 12 + 29, -3*n - 12 = p for v.
1
Let v(r) = -r**2 + 8*r + 3. Let b be v(8). Suppose -b*x - 5 = -8*x. Let s(n) = 3*n - 8. Let h be s(6). Solve y + x = f - 1, 4*f + 2*y = -h for f.
-1
Suppose 2*k = 23 - 17. Solve 4*g + 10 = 8*l - k*l, -2*g = 10 for l.
-2
Suppose 3*r - 6 = 0, -4*a = 3*r - 7*r. Solve -q - 5 = a*v, v = -v for q.
-5
Suppose -4*v = -4*s - 24, 0 = -2*s - 0*v + 5*v - 27. Let z be (-2)/s + -12 + 18. Solve x = -g + z, -2*x = -3*g + 7*g - 22 for g.
3
Suppose 0 = 6*j - 2*j. Suppose j*z + 5*z + 5 = 5*x, 0 = -4*z + 16. Suppose 2*a - 1 + 0 = -x*b, -2 = -a - b. Solve 4*l + a*n = 5 - 26, 4*l + 6 = 2*n for l.
-3
Let i = -49 - -21. Let x be (6 + i/5)/(2/10). Solve -2*w - 30 = -x*k + 7*k, 5*k + 15 = w for k.
-4
Let d = -27 + 65. Suppose -7*j = 12*j - d. Solve -4*t + 6*t + 5*v - 11 = 0, -t + 5*v - j = 0 for t.
3
Let u = 1 + -1. Let l(y) = -3*y - 8. Let q(c) = -6*c - 16. Let n(s) = -7*l(s) + 3*q(s). Let m be n(-2). Solve -3*t - m*t - 15 = u, 5*z - t + 22 = 0 for z.
-5
Let g be (-8)/(-6) - 1105/(-195). Solve g = -q - 3*w + 5, 5*q + 10 = 2*w for q.
-2
Let f(t) = 6*t - 17. Let w(r) = -5*r + 16. Let j(q) = -4*f(q) - 5*w(q). Let u = -33 + 45. Let i be j(u). Solve -4 = -4*n + 2*s, 2*n + i*s - 6 = -s for n.
2
Suppose -h + 3*t - 35 = 0, -h - 35 = -2*t - 3*t. Let a = -35 - h. Solve -2*b - 4*c - 2 = -0, a = 2*c for b.
-1
Suppose -4 = -4*m + 3*m. Suppose -16 = -3*i + 4*u, -3*i + 7*u - 4*u = -12. Let l be (i - -1)/(m/24). Solve -3*s + 0*x = 3*x - l, 4*x = 16 for s.
-2
Suppose -8*l - 137 - 71 = 0. Let d = l + 24. Let a be (-42)/(-11) - d/11. Solve 0 = 5*b - 5, -4*i + 2*i + a*b = 0 for i.
2
Su