i - j*h = -17 for i.
-1
Let b(t) = t + 13. Let j(x) = -x**3 + 3*x**2 + x + 2. Let f be j(4). Let y be b(f). Solve -4*a + 6*a + 2*u + 4 = 0, y*a - 4*u + 27 = 0 for a.
-5
Let m(c) = c**2 + 3*c - 5. Let s be m(-6). Suppose 2*p = -2*p + b + s, 4*b = 5*p - 19. Solve 0 = -p*q, 5*k - 12 = 2*k + 3*q for k.
4
Let m be -5*1 + 4 + -5. Let h be ((-3)/m)/(1/(-60)). Let p = h - -50. Solve 2*s + 7 = 3*s - 2*l, 4*l + p = 0 for s.
-3
Let n(v) = 3*v**2 - 2 + 3*v**2 + 3 + v**3 - 8*v. Let x be n(-7). Let t = 10 - x. Solve 0 = -2*d - 5*h - 0 + 7, 0 = 4*d - t*h + 22 for d.
-4
Let y be (3*(-14)/(-6))/(-1). Let m(p) = -p - 1. Let s be m(y). Solve 2*u = 3*n - 7*n + 4, 2*n - s = -3*u for u.
2
Let g(t) = -32*t. Let r be g(-1). Let x be (-3)/4 + 15/(-12). Let i be r*x/8*-2. Solve -i = 4*w - 4*f, 4*w + 2*f + 1 = -3 for w.
-2
Let c(d) = d**3 + 6*d**2 + 4*d - 3. Suppose 3*n - 2 = -14, 32 = -4*k - 3*n. Let r be c(k). Solve -u + 8 = -p + r*u, 4*p - 5*u = -18 for p.
-2
Let c(j) = j - 1. Let q be c(5). Let h(r) = -r**2 - 8*r - 7. Let o be h(-7). Solve o*y - 5*y - 9 = w, -5*y = q*w + 6 for w.
1
Let p(b) = b - 2. Let j be p(4). Solve j*h - 2*a - 6 = 0, -7*a + 30 = 4*h - 2*a for h.
5
Let i = 9 + -4. Suppose i*l - 24 = -l. Solve -2*n - 4*k = -16, l = 3*n - k + 1 for n.
2
Suppose -3*z = 4*h + 11, 5*h + 9 = -0*h + z. Let s = 6 + h. Suppose 0 = -5*g - 4*k - 15 - 1, -g - 4 = k. Solve y + 4*d + 1 + 2 = g, s*d = -8 for y.
5
Let f = -19 + 11. Let x be (-45)/(-20) - (-2)/f. Solve 5*u = -x*b - 10, -3*u - 2 = b + 3 for u.
0
Let m = -6 + 10. Solve m*q + 0*q - 2*n = -6, -2*n = -2*q for q.
-3
Suppose -36 = -10*d + 14*d. Let i = d + 13. Suppose -s = -5*s + 8. Solve -i*l + 9*l + x + s = 0, 3*x = l + 10 for l.
-1
Suppose 10*a + 8 = 14*a. Solve -3*o + 4*i - 12 - a = 0, 2*o = 3*i - 10 for o.
-2
Let r(f) = f**2 + 2. Let p be r(0). Suppose 5*d + p*w + 2*w = 5, -3*d + 2*w = -25. Solve d*x + 21 = -i, x = -0*i + 4*i for x.
-4
Suppose -2*v - 4 = -0. Let a = 5 + v. Let t = -77 - -78. Solve 5*s = 20, -2*s = a*l - 1 - t for l.
-2
Let t = -29 + 31. Solve -4*m - 4*o - 2 = -10, -5*o = t*m - 10 for m.
0
Let k(d) = d**3 + 5*d**2 + 3*d - 4. Let h be k(-4). Suppose -4*w - 4 = 0, 2*u - 4*w + 2*w - 12 = 0. Solve 3*r + r + 2 = -u*l, -3*r - 5*l + 1 = h for r.
-3
Let k = 0 + 1. Let h = -192 - -197. Solve -h = -5*c + b - k, 8 = 4*c - 2*b for c.
0
Let s(g) = g + 14. Let r = -34 + 23. Let f be s(r). Solve t - f*t - 2*n + 6 = 0, -5*n = 4*t - 11 for t.
4
Let h be (28/(-5))/((-20)/50). Suppose 2*k + h - 3 = 3*r, -r = 5*k - 15. Solve t = 2*v + k*t - 15, -10 = v - 3*t for v.
5
Let j = -2 - -6. Suppose j*i = -i. Solve 5*h + p - 14 = i, h - 8 = 4*p + p for h.
3
Let v be ((-13)/2)/(1/(-2)). Let y = v - -2. Solve -y - 2 = 4*d - 5*h, -4*d = 5*h + 7 for d.
-3
Suppose -v + 18 = v. Let s = v + -7. Let x be s/(-4)*(-12)/2. Solve 4*h + 2*t = -20, 4*h = x*h - 2*t - 5 for h.
-5
Let k(z) = -z**3 - 15*z**2 - 28*z - 24. Let i be k(-13). Solve -25 = -5*a, -i*s + 0 = -3*a + 23 for s.
-4
Suppose 0 = -4*j - 2*h + 56, 0 = -h - 2*h. Solve -5*r = -d - j, -d + 5*d + 14 = -r for d.
-4
Suppose -2*a + 0*b + 57 = 5*b, -2*a + 55 = 3*b. Suppose -a + 6 = -u. Solve -3*h + 20 = -5*w, 5*w + u = -2*h - 0*h for w.
-4
Suppose -y + 4 = 3*y + n, 4*y - 2*n = -8. Let p be (3 + y)/((-3)/(-3)). Solve 3*f + 8 = -p*a + 2*f, 23 = -3*a - 4*f for a.
-1
Suppose 14*k = 7*k + 35. Solve 3*x + k*z + 26 = 0, 6 = x - 5*z - 12 for x.
-2
Let s(k) = 6 - 2*k**2 - 4*k**2 + k - 4*k**3 + 5*k**3. Let h be s(5). Let f = h + 29. Solve -4*z - f = w, 4*w - 19 = 2*z + 11 for z.
-5
Let w(g) be the third derivative of g**6/120 - g**5/30 + g**4/12 - 4*g**2. Let v be w(2). Solve h = 2*b + 5, -9*h = v*b - 4*h + 3 for b.
-2
Suppose 4*k - 28 = 5*z - z, -5*k + 35 = z. Solve 2*l - 6*l + 8 = c, c - l = -k for c.
-4
Let w = -16 + 21. Solve 2*c = w + 1, -5*c + 19 = -4*t for t.
-1
Let a = 14 + -12. Let m = -3 - -8. Solve -k - a = r + k, r - m = 5*k for r.
0
Let h = 117 + -95. Solve h = -2*k + k - 5*p, -5*k - 22 = 3*p for k.
-2
Let t be 8 + 2*(1 - 2). Let v = 1 + t. Let u = v - 5. Solve 24 = -4*z + 4*a, -6 - 4 = -u*a for z.
-1
Let f(i) = i**3 - 6*i**2 - 6*i + 2. Let y = -1 - -2. Let p be (-45)/(-6) - y/2. Let t be f(p). Solve 3*j = -t, -4*x - 10 = -3*j + j for x.
-4
Let q = -4 + 6. Let f(w) = -w**3 + 3*w**2 + 2*w. Let a be f(q). Let v be a/(-12) + 4/6. Solve x + 6 = -t, v = -0*t - 2*t - 8 for x.
-2
Suppose 21*b + 30 = 24*b. Solve 3*t + 3*w + 9 = 0, 0*w - b = -2*t + 2*w for t.
1
Let i(o) = o**3 - 4*o**2 + 1. Let p be i(4). Suppose -2*y + 15 = 3*j, -3*j + 10 - p = 0. Solve -t = -y*c + 3*t - 19, -5*t = -3*c - 20 for c.
-5
Let w(i) = -i**3 + 3*i**2 - i - 1. Suppose 4*p - 8 = -0. Let f be w(p). Solve 4*o = 5*b + 4, f = -o + 4*b + 2 for o.
1
Let m be 6/8 + 84/16. Let b be (-14)/(-6) + (-2)/m. Solve 9 = -5*i + 4*f, -b*f = -4*i - 11 - 1 for i.
-5
Let r = -11 - -15. Suppose -20 = -4*b - r. Solve -2*g - 5*d - 4 - b = 0, 5*g - 5*d + 20 = 0 for g.
-4
Suppose -4*w + 5*w = -5. Let y(j) = j**3 + 6*j**2 + 5*j + 5. Let h be y(w). Solve 2*i + h*m = 8 + 5, i = m + 3 for i.
4
Suppose -5*b = 5*h - 8 + 3, 3*h - 3*b = 15. Suppose -h*g + 7*g = 0. Solve 17 = 4*w + y, 5*w - 3*y + 0 - 17 = g for w.
4
Let j(o) = o**2 - 9*o + 11. Let t be j(8). Let k(u) = u + 2. Let m be k(t). Solve l - 10 = -5*x, 0 = -4*x - m*l - 7 + 36 for x.
1
Suppose 6*j = 2*j. Suppose 0 = l - 5*l + 3*k + 19, k + 1 = j. Solve 4*n + q + 19 = 3, -n - 4 = l*q for n.
-4
Let g(y) = 3*y**2 - 5*y + 2. Let c be g(4). Solve -5*h + 2*o = -c, 5*h + 2*o = -0*o + 10 for h.
4
Let f(l) = -l**3 + 4*l**2 - 4*l + 3. Let h be f(3). Suppose 4*u = u + 27. Suppose 0*n - 2*n + 8 = 0. Solve -k - 3*r = -u, -8*k + n*k + 5*r + 2 = h for k.
3
Suppose 10 = 5*s - 5. Let f be -5*(s + -6*1). Let p = -10 + f. Solve n - 14 = 2*l - 0*n, p*n = 4*l + 40 for l.
-5
Let z(k) = k**2 - 17*k + 30. Let y be z(15). Solve 2*v + y*u - 5*u = 2, -5*v - u = -5 for v.
1
Let d be 1/((0 - (-1)/4)/1). Solve -3*b = -d*t - 6*b + 7, t + 5*b = 23 for t.
-2
Let m(r) = -r**3 - 7*r**2 - 10*r + 5. Let i be m(-5). Solve -10 = -i*k, 5*y = -3*k - 2*k + 20 for y.
2
Suppose 2*m = 3*r - 8 - 4, -12 = 2*m - 5*r. Let k be (-1 - -3)/((-3)/m). Solve -w + 3 = -h + 7, h + 2*w - k = 0 for h.
4
Suppose 2*i + 3*p = -5, -6*i + i - 4*p = 2. Solve -4*v = -4*n - 16, 2*v - 7 = -i*n - v for n.
-1
Let y = 83 - 76. Solve -2*j - z - 2 = -y, 4*z = -5*j + 17 for j.
1
Suppose -2*s + y + 8 = 0, -5*y - 11 + 1 = -5*s. Solve 3*c + 0 + 9 = 3*b, 4*b - 2*c - s = 0 for b.
0
Suppose 4*l + 4 = -0*l - 2*o, 0 = -5*l - o + 1. Let a = l + 7. Solve -2*x = 4*i - 6*x + a, -x + 2 = i for i.
0
Let y be (-35)/14*-1*(2 - 0). Solve y*s + 10 = 0, -t - 5 - 4 = 2*s for t.
-5
Suppose -q = -2*c - 2*q + 5, 2*c - q = 11. Suppose -3*v - 53 = -5. Let s be 1*v*(-2 - -1). Solve 0*d = c*d + 4*b - s, -2*b = -2*d + 4 for d.
3
Suppose -5*d + 42 = 4*c - 8, 3*c - 27 = -3*d. Let l be 10/(-35) - (-32)/d. Solve l*i + 20 = -3*i, -i - 19 = -3*w for w.
5
Let s(u) = -u + 12. Let h be s(17). Let n be (-4 + 18/15)*h. Solve 2*y + 2*z = 2, -z - n - 3 = -5*y for y.
3
Let b be -4 + -1*(-4)/(-4). Let c be 4 - 5*(-2)/b. Solve 0 = -5*k + 5, -2*k = -5*s + c*k - 4 for s.
0
Let q be 0 + 3/((-3)/(-2)). Suppose -7*x + 4 = -6*x. Solve q*y - 10 = -0*y - x*m, m = -4*y - 1 for y.
-1
Suppose q - 27 = -26. Solve -h + 4 = -k - q, -5*k - 5*h = 5 for k.
-3
Let r be (13/(-2) - 0)*-2. Let l = r + -8. Suppose 0 = -l*c + 2*h + 74, 4*c - 90 + 17 = -3*h. Solve -5*m - 4*f = -8*f + 16, 3*m = 4*f - c for m.
0
Suppose 0 = -7*c + 4*c + 9. Let r = -8 - -10. Solve c*j - 8 = h, 4 = r*h + 2 for j.
3
Suppose 8 = -j + 3*j. Let d = -21 - -23. Solve -w = -d*z + j*z - 2, -2 = 3*w + 2*z for w.
-2
Let m be (-256)/6 + 2/(-6). Let w be 12/54 - m/9. Solve 0 = w*j + 2*c + 18 + 8, 0 = j + 5*c + 19 for j.
-4
Let i be (-9)/(27/(-10)) + 4/6. Solve -q - i*g = 17, 5*q + 4*g - 25 = 6*g for q.
3
Suppose j = 3*j - 4. Let r be j/(3/18*4). Solve -2*y = -2*a - 18, 0 = -r*y - 4*a - 1 for y.
5
Let b(r) be the third derivative of -r**5/60 - r**4/3 - r**3/3 - r**2. Let d be b(-7). Solve -2*f + 7*f = 5*j + 50, -f = -d for j.
-5
Suppose 8*i - 2*u = 3*i - 5, -1 = i - u. Let d = 21 - i. Solve 2*g - 2 + d = 5*n, -2*g = 3*n + 4 for g.
-5
Let i(y) = -y + 15. Let h be i(11). Suppose 0 = 3*o + 3*t - 5*t + 2, t - h = 0. Solve 0 = v + 5*a + 8 + 7, 0 = -o*v + 3*a - 4 f