5*l = 5*h - 15 for l.
-1
Let t(x) = -x**3 + x. Let h be t(0). Suppose -2*p = -5*y - 9, -5*p + h*y + 15 = -5*y. Solve -5*o - g = 28, -o + 0 = -g + p for o.
-5
Let p(i) = i**2 + 6*i + 7. Let u be p(-5). Let v = 0 + 1. Let f = v + 2. Solve f*k = -u*q, 2*k + 2 - 9 = q for q.
-3
Let x(u) = u**2 - 4*u - 3. Let d be x(10). Suppose -3*y = 12 - d. Solve 0*b - 30 = -5*b - 2*k, -5*b + y = -k for b.
4
Suppose 2*u = 5*u + 3*x - 60, -2*u = -x - 25. Solve 5*r - 4*r + u = -4*z, r - 3*z - 20 = 0 for r.
5
Suppose 0 = 5*o - 4*b - 2, 4*b = 2*o + b + 2. Solve 3*l = -3*y + 3 + 3, 4*l + 2*y = -o for l.
-3
Let h be 0 + 1 - (-1)/1. Suppose -h*m - 2*m - 12 = 0. Let n = m - -9. Solve n*l - 3*l - 1 = 2*v, -l - 3*v - 18 = 0 for l.
-3
Let r(h) = h + 3. Let a be r(-3). Solve -c + 2*l = -3*l, 5*c - 4*l = a for c.
0
Let s(a) = 5*a**2 - 1. Let b(n) = -n**2 + 3*n + 1. Let y be b(3). Let w be s(y). Solve w - 12 = 4*k - 4*o, 3*o = 0 for k.
-2
Let w be 1*(1 - 2) + 17. Solve 4*a - h = -2*h - w, -5*a - 5*h = 20 for a.
-4
Let t be (0/(-3) + 1)/(5 + -4). Solve -2*k + 8 = -2*p + 2, 5*k - p = -t for k.
-1
Let l be (-222)/27 + (-4)/(-18). Let r = l + 13. Solve 0*u = -2*j - r*u - 20, -3*j - 23 = 4*u for j.
-5
Let r(d) = d - 2. Let o be r(5). Solve -3*x + o = -3*a, 3*x - 3*a + 6*a = 15 for x.
3
Suppose 5*u = 2*t + 67, 2*u + 3*t - 2 = 21. Suppose 4*l = 7 + u. Solve 0 = 4*q - 2*x - 8, -3*q + 2*x + 2 = -l for q.
1
Suppose 2*m + 4*f - 16 = 6, 2*m + 2 = 4*f. Let y be -12*(m/3 - 2). Let i be (-20)/y*8/(-10). Solve 12 = 2*a + 2*a, -i*x = -2*a + 2 for x.
1
Let l = 11 + -3. Solve -2*b + l = 2*w, 2*b - 2 = 4*w - 6 for w.
2
Suppose -9 - 1 = 5*i. Let a be i/(-2*2/10). Suppose 0 = -12*t + 13*t. Solve a*y + t*y + j = 7, -2*y - 2*j = 2 for y.
2
Suppose -3 = 3*t - 9. Solve -t*x + 3 = -i + 12, 5 = -5*i for x.
-5
Suppose -v + 26 + 20 = -5*y, -2*v - 2*y + 44 = 0. Solve 2*b - 7 = -4*g - 25, -5*g = -b + v for b.
1
Let a be 0/(1 - (5 + -3)). Suppose 5*t = -a*j + 5*j, 2*j = -t + 9. Solve 0*h - h - j*o + 17 = 0, -2*o = -4*h - 2 for h.
2
Suppose -8 = -i - 2*i - a, -3*i + 2 = -2*a. Suppose 5*h - 10 = -i*j, 5*h + j = -4*j - 5. Solve 0 = -3*q + y - h, y = -q - y + 8 for q.
0
Let a(s) = -s + 1. Let u be a(-3). Solve 2 = v - l, u = -3*v - 4*l + 31 for v.
5
Suppose -7*b - 1 = 3*a - 3*b, -26 = -2*a + 4*b. Solve -16 + 3 = 5*j + x, -x = -4*j - a for j.
-2
Let b = 4 + -4. Suppose -2*s - s + 6 = b. Solve 2*n + 5 = l, s*n + 5*l = 6*n + 13 for n.
-2
Let i = 9 - 6. Let v(u) = u**3 + 7*u**2 + 6*u - 7. Let j be v(-5). Suppose -p = s - 14, -1 = p + i*s - j. Solve -5*r = y - p, -9 = -r + 3*y - 2*y for r.
4
Suppose -5*b - 4*j - 10 = j, -b - 3*j - 10 = 0. Solve g = b*s - 3, 0 = 4*g - 0*g - 2*s + 18 for g.
-5
Suppose -3*a + 2*q = -23, -2*q = -a - 0*q + 13. Suppose a*z + 0*z = 10. Solve -z*m = 4*l - m + 12, -2*m + 4 = l for l.
-4
Suppose -2 = 2*x + 5*y, 10 = x - 2*y - y. Suppose -2*i - 8 = -x*i. Solve 3*w + i = -7*h + 3*h, -3*h - w + 2 = 0 for h.
2
Suppose c - 2 = 1. Suppose -6*u + c*u = -15. Solve 0 = -2*n - u*p - 3 - 3, 3*n + 2*p = -9 for n.
-3
Suppose -33 - 97 = -5*a. Suppose 5*w = 4*v - a - 14, 3*w = v - 17. Solve -h + 19 = 5*j, v*h = -j - 2*j + 7 for h.
-1
Let g = -9 + 2. Let v = 7 + g. Solve 2*s + 4*r - 30 = v, r + 15 = 4*s - 0*r for s.
5
Suppose 4*q - 52 = 5*a, 3*a = -2*q + 5*a + 24. Solve 3*d - 5*s + 7 + q = 0, 3*s = -4*d + 9 for d.
0
Suppose -16 - 56 = 3*v. Let b be 2/(v/(-10) - 2). Suppose -2*z - m - m = -2, -3*z + 4*m + 38 = 0. Solve z*d - d - 13 = -2*j, 0 = -b*j + d - 8 for j.
-1
Suppose -5*d = g + 2 + 1, 0 = -2*g + 3*d - 6. Let y be 136/12 + (-2)/g. Solve -5*b + h = y, -5*b + h = 6*h for b.
-2
Let u = 5 - 7. Let m = 4 + -7. Let g be (m - -7) + 0 + u. Solve 0*j + j = -g, -2*l + 5*j = 0 for l.
-5
Let z(w) = -w + 5. Let a = -10 - -10. Let n be z(a). Suppose 0*c - 4*c - 2 = -i, -n*c - 5*i = -10. Solve -2*f = -m - 5, -5*m + 3*f + 3 = -c for m.
3
Let d = -3 + 3. Suppose d = -z - 0 + 5. Solve -3*n + p = -10, z*n - 16 = n + 4*p for n.
3
Let m be (-30)/(-7) + (-185)/35 + 5. Solve -3*a + 7 = -4*q - 7, 4*q + 28 = -m*a for a.
-2
Let o = 15 + -11. Let p = o - 4. Solve c - 5*l = p, 2*l = c - 2*l + 1 for c.
-5
Suppose -5*k = -15, -2*k + 0*k = 4*t - 22. Solve -w + 3*w + 8 = -t*j, -2*w - j = 8 for w.
-4
Suppose 4*j - 8*j + 48 = 0. Let g(n) = 2*n**2. Let x be g(1). Suppose -2*s + 4 = -4*z + x*z, -2*s + 4*z = -2. Solve 5*k + 20 = d, -s*d = -4*d - 3*k - j for d.
0
Let g(d) be the third derivative of -d**6/120 - d**5/20 + 7*d**4/24 - d**3/6 - 3*d**2. Let z be g(-5). Solve -5*o = h, -6*o = -2*h - 2*o - z for h.
-5
Let p(i) be the third derivative of -i**5/60 - 5*i**4/8 + i**3/3 - 5*i**2. Let q be p(-15). Solve 5*j - 13 = -4*c, 2*j - q*c = -c for j.
1
Let s(u) = -4*u**3 + 2*u + 1. Suppose -2*p - 4 = -0. Let q be s(p). Solve -17 = 5*b - 2*a, 7*b + a + q = 2*b for b.
-5
Suppose 0*z + 2*z = -56. Let w be ((-7)/z)/((-2)/(-40)). Solve -4*o - 3*r + 5 = -4*r, -w*r = 4*o + 1 for o.
1
Let x = -81 - -117. Suppose 6*r = u + r - x, 5*r = 2*u - 52. Solve 5*m - 5*h + 8*h = u, -3*m + 2*h = -2 for m.
2
Let r(d) = d**2 + 3. Let l be r(0). Solve -i + 3*i + 15 = l*p, -24 = 4*i - 4*p for i.
-3
Suppose 4*d = 3*m - 19, 5*d = -4*m + 56 + 21. Let r = m + -8. Solve b - 10 = -r*y, 2*y - 3 = -2*b + 1 for b.
0
Suppose r - 6*r + 10 = 0. Suppose 10 - 2 = r*b. Solve 4*z + 20 = -0*y + 5*y, -y + b = 0 for z.
0
Let g(s) = -3*s + 24. Let q be g(8). Solve q = -3*j - 2*f - 1, 2*f - 27 = 5*j - f for j.
-3
Let y = 3 - 4. Let u be (1 + y/1)/2. Solve 0 = 5*c - u*c, -2*v - 2 = 5*c for v.
-1
Let l be (-1*2/2)/(-1). Suppose -3*u + 6 = -w, -3*u = 2*w - 5 - l. Solve 3*d - 18 = -2*k, -3*d + 7 = -u*k + 1 for d.
4
Let u = -10 + 15. Solve 0 = -4*h - w + 17, u*h - 2*w + 6*w - 35 = 0 for h.
3
Let b(a) = -3*a + 5. Let g(s) = -6*s + 11. Let k(h) = -7*b(h) + 3*g(h). Let l be k(2). Solve -2*z + 12 = l*w - 4*z, 3*w - 3*z - 9 = 0 for w.
3
Let f be (0 + -2)*27/6. Let k = f + 10. Solve o - n + 0 = -k, -4*o - n = -21 for o.
4
Suppose 5*n = 3*o + 2*o + 25, -2*n + o = -7. Solve -15 = -l + 2*s + 3*s, n*s = -8 for l.
-5
Let a = -12 - -10. Let d = 10 + a. Solve 5 = 2*k - t + 3, 0 = -4*k + 3*t + d for k.
-1
Suppose 0 = -n - 3*w + 13, 14 + 1 = 5*w. Suppose 5*i + 2*y - 23 = -3, i - n = -5*y. Suppose -3 = i*c - 19. Solve -c*j + 0*u = -5*u - 4, j + 4*u = 1 for j.
1
Let j be (8/10)/((-2)/(-35)). Suppose 0 = -u + 2 + 2. Suppose -2*z + 2 = 0, -u*z + 14 = g - j. Solve 0 = 5*p - p - 4*v + g, 0 = -5*p + 4*v - 29 for p.
-5
Let v be -6 + 6 - (-1 + -2). Solve -y - 3 - 20 = -5*r, 6 = 2*y + v*r for y.
-3
Suppose 3*n = 1 + 5. Suppose 12 = l + n*l. Solve 4*m = -l*q + 16, -6*m = 4*q - 5*m - 7 for q.
1
Let k be 3/2*72/54. Solve 0 = -3*j + 5*r + 40, 1 + 4 = 3*j + k*r for j.
5
Let q(x) = x**2 - 3. Suppose 0 = -2*b + 2*s - 8, 0 = -b + 3*b - s + 7. Let d be q(b). Suppose d*j - 2*j = 0. Solve -4*a - 5*t - 29 = -5*a, j = 2*t + 10 for a.
4
Suppose -2*s - d + 5 = 0, 3*s + 0*d - 9 = -d. Let a(u) = -u**3 + 2*u**2 + 3*u. Let l be a(3). Solve l = -4*m - s*v - 36, m + 32 = -2*m - 4*v for m.
-4
Let i = -14 - -16. Suppose -15 = -5*w - 5. Let o = i - w. Solve 0 = v - 4*r + 4, o = 3*v - 0*r - 2*r + 2 for v.
0
Suppose -4*l + 26 = -78. Let j be (-56)/(-10) + (-3)/5. Solve -j*n - 28 = -m, 0 = -2*m + 4*n + l for m.
3
Let x be 14/4*8/7. Suppose 0 = 2*w - 2, s + x*w = 1 + 7. Solve i - 10 + 5 = -5*n, s*n = i + 13 for n.
2
Suppose -3*p + 6*p = 0. Solve -5*i + p*y + 10 = -2*y, 0 = -5*i - 4*y + 10 for i.
2
Suppose -5*f + 0*f - 5*r + 25 = 0, 2*r = f - 2. Solve 5*x + 12 = -o, -f*o = -3*x + 8*x + 3 for o.
3
Let t(z) = z**2 - z - 1. Let i be t(4). Let b = -6 + 6. Suppose 2*p + 5 = j, -2*p - 20 = -4*j - b*j. Solve -1 = 3*a + j*v, -5*a + 3*v - i - 2 = 0 for a.
-2
Suppose 4*f = -2*w + 6, 0 = -5*w + f + 10 + 16. Solve -y = -w*y - 5*t + 30, -y - 3*t + 11 = 0 for y.
5
Let v(i) = -7*i**2 + 9*i - 7. Let z(p) = 7*p**2 - 10*p + 8. Let b(q) = -6*v(q) - 5*z(q). Let r be b(2). Solve -2*h - 2*h = -2*a + 12, 2*h - 5*a + r = 0 for h.
-1
Suppose 0 = 3*m - 2*m + 16. Let d be 6/(-8) - 92/m. Suppose 2*k - 40 = -3*k. Solve -2*g - 4 = -d*g + t, -3*g - t + k = 0 for g.
2
Suppose 3*l - 6 - 60 = 0. Solve -2*v - 4 = 4*q + l, 3*v + 23 = -2*q for v.
-5
Let g(z) = 29*z**2 - z. Let f be g(-1). Suppose 0 = 3*d - 2 - 4. Solve 2*r - 3*t = -d*t, 5*t = -5*r - f for r.
-2
Let x = 22 + -15. 