 -4*h - 2 = d*i - q, -5*h = 5*i - 25 for h.
2
Suppose 9 - 27 = -2*s. Suppose i = 11 - s. Solve -4*o + 4*b = -4, -o - i*o + 2 = -2*b for o.
0
Let v be 0 - -3 - 0 - 0. Solve -j + 14 = -6*j - m, -v*m = j for j.
-3
Let k = 9 + -4. Solve -2*z = -5*x + 18, -18 = 3*z - k*x - 1 for z.
1
Let r be 22/(-4) + 2/(-4). Let k be ((-6)/9)/(r/45). Solve 5*u - 20 = -b, k*b + 4*u + 2 = -3 for b.
-5
Suppose -5*h + 24 = 4*c - 8, -4*c = -h - 8. Let y be (-28)/(-6) - 2/c. Suppose 0 = -2*w - l + 5 + 8, 4*w - 5*l = 47. Solve -w = 4*i + y*m, 0 = -3*m + 2*m for i.
-2
Suppose 6*s = 7*s. Suppose 0*a - 2*a = s. Let b be 20/(-6)*6/(-5). Solve a = -3*w - b*h + 4, 10*h = 5*w + 5*h - 30 for w.
4
Suppose 7 - 1 = 4*q + 3*y, q + 8 = 4*y. Solve 3*d + 39 = 5*r + 11, q = -2*r - d + 9 for r.
5
Let o(i) = -i**3 - 5*i**2 - 4*i + 1. Let g be o(-4). Solve -4*x - g = -z - 22, 0 = -z + 2*x - 13 for z.
-5
Let i be (52/(-13))/(0 + -2). Solve i*l = -3*a - 23, -3*a + 0 - 7 = -2*l for l.
-4
Suppose -3*s = s - 8. Let k be 0/(2/(-4)*2). Let p = k + 15. Solve m + 19 = 5*q - s*q, -q - p = 5*m for q.
5
Suppose 0 = 5*m - 5*h - 35, -h + 23 = 2*m + 3*m. Suppose -3*q + 22 = -m. Let w be (q/(-6))/((-6)/8). Solve -2*x - 2*x + w*v = -14, 0 = 4*x + v - 23 for x.
5
Let y be ((-4)/(-2))/(-1 - -2). Let h be 7/(7/2) - y. Solve -o - 3*o - 14 = 5*p, -2*o - 3*p - 8 = h for o.
-1
Let i(p) = p**2 - p + 4. Let x = 7 - 4. Let u be i(x). Solve 4*h - k - u = 0, -4*h + 3 = -5*k - 15 for h.
2
Suppose -4*k + 2*k = 3*l - 2, -2*l + 13 = 3*k. Suppose -z + 27 = k. Solve -5*b = -t - z, -2*b = -t - t for b.
5
Let m(q) = -q - 2. Let v be m(-8). Let b be (-72)/(-7) - v/21. Suppose 0 = 2*u - b. Solve 4*y - 12 = -2*t, t - u*t = 5*y - 15 for t.
0
Let v = -13 + 11. Let t be 3/v*(-12)/9. Solve 5*l + 2*d + t*d = 13, 4*d - 8 = -4*l for l.
5
Let h be (-6)/((-5)/1 + 3). Suppose 2*x - 4*z - 16 = 0, 5*z = -h*x + z + 4. Solve 4*i = 3*t + t, -i = -x*t + 9 for t.
3
Let j be (2 - 5)/(-3)*2. Suppose 2*u = -j*u + 12. Solve -l = -u*l - 3*c - 16, -3*c + 14 = -4*l for l.
-5
Let q = 68 + -64. Solve -3 = -2*i + 3*k + 5, -i + 14 = -q*k for i.
-2
Let v(f) = f**2 - 2*f + 10. Let k be v(0). Solve 2*j = 2*o - 14, 2*o - 27 = 3*j - k for o.
4
Suppose -5*k + 10*k + 80 = 0. Let w = 29 + k. Let i be w - (-2)/(-2)*0. Solve -5*t - 3*x - 21 = 0, 5*t - 2*x - 2 = -i for t.
-3
Let r(g) = -g**3 + 19*g**2 - g + 22. Let t be r(19). Let u(f) = f + 8. Let o be u(-6). Solve -6 = o*h - 5*v - 23, -t*h = 5*v + 12 for h.
1
Suppose -5*s = 2*g - 72, -4*s + 0*s + 59 = 3*g. Suppose 3*w + 2*a + 3 = 8, a = 4*w - s. Solve -i = -w*b + 13, -b - 18 = i - 5*b for i.
2
Let t be 1/((-60)/63 + 6 + -5). Solve 3*d - 4*p + 15 = -6*p, 0 = -4*d - 3*p - t for d.
-3
Let y be 2 + (-1)/2*-2. Let r = 3 - y. Solve w + 3 - 4 = r, -4*i - 21 = -w for i.
-5
Let t be ((-12)/15)/(2 - 12/5). Solve 7*r - t*r - 5*o = -5, -3*r + 2 = 2*o for r.
0
Let r(t) = t**3 + 5*t**2 - 6*t - 25. Let k be r(-5). Solve 2*a = 3*c, k*a - 6 - 7 = c for c.
2
Suppose 0*k - k = -7. Let j be 1 + (-1 - 2) + 4. Let r = k - j. Solve 3*h + 5*m - 2 - 3 = 0, -r*h - 3*m + 19 = 0 for h.
5
Suppose y - 4*f - 50 = 6*y, 2*f = 2*y + 2. Let z be (-3)/(-2)*(-8)/(-12). Let b be 15*((-8)/y - z). Solve 3 - 4 = -3*m + 2*v, -v = b for m.
-3
Let x(c) = -c**3 - 12*c**2 + 14*c + 14. Let f be x(-13). Let y be 2 - (-1 + f) - -1. Solve y*d - 2*g = -18, 2*d - 4*g + 15 = -5 for d.
-4
Let s(v) = 11*v. Let z be s(1). Let i(p) = p**3 - 2*p**2 - 2*p - 1. Let x be i(3). Suppose -2*l - x*l + 12 = 0. Solve 5*f - 2 = -5*q + 3, l*q = -f + z for f.
-4
Let w be 3/5 - 34/(-10). Solve -w*n + 2*g = -5*n + 3, 0 = -n + 2*g + 3 for n.
3
Let y = -25 + 55. Let z = y - 48. Let s be (z/15)/((-4)/10). Solve 3*t = -h - 10, -2*t - 15 = 2*h - s for t.
-2
Suppose 0 = -5*i + 2*i - 6. Let x be (-12)/(i - 22/(-8)). Let n = x - -36. Solve -n = a - 4*l, -5*l + 40 = -4*a + 4 for a.
-4
Let m(v) = -v**3 + 11*v**2 - 9*v - 10. Let g be m(10). Suppose g + 6 = 2*r. Solve -c = p - 3*p + 7, -r*c - 1 = -2*p for p.
5
Let w = 11 + -10. Let g(m) be the first derivative of m**4/4 + m**3 - m**2/2 - m + 1. Let l be g(-3). Solve l*d + 2*a + 4 = -a, -a = d + w for d.
1
Let g = -1 - -13. Suppose 3*h - g = -h. Suppose -n + 5*f = -10, -4*f - 10 = -h*n + f. Solve 0 = -2*u - 0*r + r - 5, 3*r - 3 = n for u.
-2
Let k = -119 - -122. Solve 0 = -5*f - 5*m + 20, -k*f + 5*f + 3*m - 13 = 0 for f.
-1
Let a = -24 + 26. Solve 0 = c + a*q + 6, -q = 4*c + q + 18 for c.
-4
Suppose -4*m - 2 + 6 = 0. Suppose -2*p + 4*c - m = -3*p, 10 = p - 5*c. Solve -3*x = 2*x - p*z + 15, -z = 5*x + 9 for x.
-2
Let t(o) = o**2 - 4*o + 7. Let f be t(3). Solve 3*v + 3*m + 0 = -3, f*v - 3*m = -18 for v.
-3
Let m(g) = -g**2 - 8*g + 13. Let p be m(-9). Solve -2*r + 4*d - 26 = -p*r, r - 5*d + 15 = 0 for r.
5
Suppose -5*o + 50 = -4*u, -3*o + 31 = u - 16. Suppose o = 5*n - 1. Let c = 2 - -7. Solve 5*x + c + 8 = -3*m, -4*x + n*m + 8 = 0 for x.
-1
Let v be 2 + 224/20 - (-1)/(-5). Solve -2*w - w - 4*h - v = 0, -h + 8 = -3*w for w.
-3
Suppose 5*q = -4*p + p + 47, -p - 1 = 0. Solve -q = 4*h - 2*n, -2*n = -h - 5*n + 8 for h.
-1
Let v = -8 + 18. Let c = -8 + v. Solve 0 = -3*m - 4*h - 7, h - 2*h - 3 = c*m for m.
-1
Let k be 0 + 1 - (3 + -4). Let l = -1 + -5. Let v be (-1 - 1)/(4/l). Solve k*o + 22 = 5*w, 4*o - v*w = -17 + 1 for o.
-1
Suppose 4*m - 10 = 3*m. Suppose -d + m + 5 = 0. Suppose 4*a = -5*f + 20, -2*a = a - 5*f - d. Solve t + 0*t = -5*i + 22, 10 = a*t for i.
4
Let x be 34/(-4) + (-4)/(-8). Let m be (6/x)/(1/(-4)). Solve 0*k - 2*k = m*r - 10, 2 = 4*r - 3*k for r.
2
Let m be 0 + -5*3/3. Let v = -3 - m. Solve 4*s + v*o + 2 = 0, 0 = -4*s + 5*o - 6 - 3 for s.
-1
Suppose 2*r + 2*b - 12 = 0, -3*b + 3 = -2*r + 5. Suppose r - 7 = -p. Solve p*y + 15 = 2*o, 5*y = 3*o - 2*o - 25 for o.
0
Let p be (-2)/6 - 57/(-9). Suppose p + 0 = x. Suppose -2*c + x*c - 110 = -5*w, 0 = c. Solve -4*r = 4*m - 2*r - w, -2*m = 2*r - 12 for m.
5
Let l(q) be the third derivative of -q**6/120 - q**5/20 - q**4/8 - 4*q**2. Let x be l(-2). Suppose -x*h - 3*h + 35 = 0. Solve -j - h + 0 = 3*a, -2 = 2*j for a.
-2
Let h(x) = x**2 - 4. Let v be h(-3). Suppose 0 = 4*k - 2*k - 8, -3*k = 5*s - 72. Solve -3*g - s = 0, 4*f + v*g + 6 = 2 for f.
4
Suppose -1 = -3*g + 11. Let j = 6 + -1. Solve -4*v + v - 16 = -g*x, 4*x - 16 = -j*v for v.
0
Let l(t) = 11*t + 10. Let z be l(0). Solve s + 5 = 0, -z = -5*d + 4*s + 15 for d.
1
Let s be 4 - 3 - -1*2. Suppose -r - 3*h = -8, -3*h + s = -3. Solve -2*p - r*m = p - 2, -m = 5*p - 1 for p.
0
Let j be (6/4)/(12/32). Let z = -1 + j. Suppose -2*l = -3*y + 8 - 4, y + z*l = 16. Solve -v + y*v = -4*u, -2*u = 2*v for v.
0
Let x be (-23)/(-3) - (-6)/18. Let l(p) = -p**3 + 9*p**2 - 8*p + 7. Let n be l(x). Solve 0 = -i - 3*r - n - 1, 3*i + 2 = 2*r for i.
-2
Let c be (-2)/(-7) - 2/7. Let i = 5 + c. Solve 5*a + 5 = 3*g - 0*g, -5*a - i = -5*g for a.
-1
Let w = 7 + -16. Let b be ((-48)/w - 2)*9. Suppose 0 = -4*z - 10 + b. Solve -3*v + 8*v + 2*o = -5, -z*v + o = -10 for v.
1
Suppose 0 = 10*o - 8*o - 10. Solve -5*y - o = 5*l, 0*l - 4*y + 6 = 2*l for l.
-5
Suppose 5*q + 42 + 18 = 0. Let s be ((-8)/(-6))/((-2)/q). Solve -s = -y + 4*r, y - 3*r + 8*r = -1 for y.
4
Suppose 5*b = p + 17, -13 = -5*b - 4*p + 19. Solve -b*q + 5*f = 32, -q + 0*f + 3*f - 15 = 0 for q.
-3
Suppose 3*b = -1 + 19. Solve -5*k - 10 = 3*o, 5*o + 0*o + 3*k = -b for o.
0
Let c(k) = k + 0*k**2 + k**3 - 2*k**3 + 8*k**2 - 3*k**2 + 5. Let j be c(5). Solve j = t + 4*n, -n - 2*n - 2 = -4*t for t.
2
Suppose -5 = -3*v + 1. Suppose 0 = -5*r + 2*q + q - 68, 2*r - v*q = -24. Let k be (11/4)/((-4)/r). Solve w = 4*x - 5, -k = -0*x - 4*x - w for x.
2
Let h be (-2)/(-6)*(-4 - -10). Solve -s - 14 = -3*v, -h*s - 2*s + 2*v = 16 for s.
-2
Let o = 192 - 170. Solve 2*r - 4*u - o = -6, 26 = -3*r - 4*u for r.
-2
Suppose 24 = -3*p - p. Let k = p - 6. Let d = 2 - k. Solve -2*u + d = -3*w - 0*u, -5*w + 2 = 3*u for w.
-2
Let a be (-12)/18*(-30)/4. Solve -3*r + 2*r - a*u = -10, -2*u + 4 = 4*r for r.
0
Let w = 7 - 2. Let q be (3*-1)/(3/(-4)). Solve v - w*v - r + q = 0, 2*r = 2*v - 12 for v.
2
Let p be 25/10*(1 + 1). Suppose z + 5*t - 3 = -21, -p*t = -2*z + 39. Solve -z*n + 3*n - 5*i = -1, -5*n - 3 = 2*i for n.
-1
Let k be 1 - (4/(-2))/2. Let y = 12 + -9. Suppose -m + 10 = y*f, 0 = -5*f - 4*m + 5*m + 22. Solve 4*n - 4*u - 24 = 0, -f = -3*n - k