h for a.
-5
Let v(m) = 6*m - 5. Let r be v(3). Solve b - 3*b + r = 5*s, 2*s + 2*b = 10 for s.
1
Suppose 9 = -4*f - 3*h, 8 = -3*h - 1. Solve -1 = g + s - f, g + 4*s - 2 = 0 for g.
-2
Let w = -30 - -31. Solve -5*s = -20, -s = 5*h - 2*s - w for h.
1
Let v(u) = -u**3 + u**2 + 5*u - 3. Let f be v(2). Solve 4*x - 12 = -2*w - 2*w, 0 = -f*x + w + 13 for x.
4
Suppose 4*x + x = 0. Solve x = -3*q - 2*n - 2, 3*q + 4 = -4*n - 0 for q.
0
Suppose 0 = -5*a + 5*k + 25, -k - 1 = a - 0. Let z be (a - 1) + -1*1. Let u = 2 + z. Solve 3*s - 5*s + 1 = -3*l, -2*s + 16 = u*l for s.
5
Let j(d) = d - 7. Let o(w) = -2*w + 13. Let k(p) = -5*j(p) - 2*o(p). Let i be k(7). Solve -i*q + q - 3 = -5*u, -5*u + 15 = 5*q for q.
2
Let o(x) = -3*x + 41. Let a(f) = f - 20. Let h(k) = -5*a(k) - 2*o(k). Let b be h(0). Solve -3*g + 1 = 2*d + 4, -3*d + 3*g + b = 0 for d.
3
Let z = 16 + -13. Solve 2*g - 3 = 4*b - 3*b, -4*b - 7 = -z*g for b.
-1
Suppose 4*f - 8 = 44. Let u = 2 + 0. Solve -s + 3*v = s + f, 11 = -u*s + v for s.
-5
Let z(t) = t**3 - 6*t**2 + 10*t - 3. Let k be z(4). Solve 0 = 5*m + k*b + 35, -3*b - b = -4*m - 4 for m.
-4
Suppose 8*v - 11*v = -6. Solve 3*y = 4*y + 4*w + 5, v = 3*y - 5*w for y.
-1
Let w(k) = -k**3 + 6*k**2 - 6*k - 4. Let l be w(4). Solve 5*u = l*b - 21, -u - 20 = 2*u + 5*b for u.
-5
Let a(q) = -q + 3. Let k be a(3). Let m be 1 - (-21 + (-4)/1). Solve -2 = u, -4*v + 2*u - 6 + m = k for v.
4
Let a = 192 - 182. Solve 0*n - 4*n - a = 2*l, -3*n = 5*l + 4 for n.
-3
Let l = 2 - 3. Let b = 2 - l. Suppose t = -t + 4. Solve 0 = -k + b, -t*k - 1 + 7 = -3*p for p.
0
Suppose -4*r = 5*q - 33, -2*r - 28 = -4*q - 12. Solve -r*i - 3*v = 13, v = 2*i - 2*v - 5 for i.
-2
Let c = 3 - 1. Let y be (-1)/(1/(-6)) - c. Solve 4*t = y*d + 8, 4*t = 5*d + 2*t + 13 for d.
-3
Let o(y) = y**3 + 4*y**2 + 2*y - 3. Let p be o(-3). Suppose 2*u + p*u = -4*f + 8, -2*f + 14 = -4*u. Solve -m + f = 0, 3*m - 4*m + 9 = -2*j for j.
-3
Suppose 3*f + 10 = n + 8*f, 0 = 5*n + 5*f - 50. Solve 0 = 2*v - 3*r - n, -5*r - 11 - 9 = 0 for v.
-1
Suppose 0 = -4*d + 4*k - 60, 4*d + 3*k - 2*k = -35. Let g = -7 - d. Solve 2*p - 6 = -u + g*p, 2*u - 4*p - 14 = 0 for u.
5
Suppose 128 = -2*t + 6*t. Solve 3*a = 4*s + t, -6*a + 4*a + 33 = -5*s for s.
-5
Let g be 3/6*0 - -5. Suppose -5*s + 3*m - 1 = 4, 0 = 4*s + g*m - 33. Solve -s = 4*b + 5*u - 5, u + 11 = 5*b for b.
2
Let x = -4 + 6. Let t(v) = v**3 - 2*v**2 + 4*v - 3. Let b be t(x). Solve 0 = -r - b*f + 17, -6*f + f = -3*r - 29 for r.
-3
Let g be 20/(-5) - (-11 - (3 + -1)). Solve 0*b + 3*b - 5*m = g, 4*b + m + 11 = 0 for b.
-2
Let h = 6 - 8. Let b(r) = 3*r**2 + r - 4. Let z be b(-6). Let g be h/4 + z/4. Solve -g = -3*o - 3*i, 5*o = 2*i - 0*i + 19 for o.
5
Let j = -6 - -5. Let u(z) = -4*z**2 - 2*z - 1. Let d be u(j). Let m(l) = -l**2 - 5*l - 3. Let s be m(d). Solve 0 = s*x + 3*c - 3, 3*x - 2 = -4*c - 1 for x.
3
Suppose 5*f = -3*d - 5 + 29, -3*f - 4*d = -10. Suppose -m = -3*m + f. Solve l + 4*o - 13 = -o, -m*l + 9 = 5*o for l.
-2
Let s be (-3)/12 - 17/(-4). Suppose -4*g + 0 = -s. Let l(m) = 4*m - 1. Let k be l(g). Solve 5 = -4*w + 3*o, -4*w - k*o - 13 = 2*o for w.
-2
Let q = 9 - 7. Solve -y - r = 2, 0 = -4*y + q*r - 32 + 6 for y.
-5
Suppose g = -2*q + 16, 3*q = 3*g + 2*g - 54. Let f = g + -7. Solve -t = -p - 0 + 1, 0 = p - 5*t - f for p.
0
Let p be -4 - -2 - 3/(-1). Suppose -4*f + 3*k = -5*f + 5, 5*f = 2*k + 25. Let s be (-4)/20 - (-106)/f. Solve 4*c - s + p = t, -16 = 2*t - 2*c for t.
-4
Suppose 4*i - 2 = -5*w + 1, 4*i = -12. Let g(r) = r. Let o be g(6). Suppose -o = -2*a - 2. Solve -5*k - a + 4 = -w*p, 6 = -k - p for k.
-2
Suppose -5*c = n + 11, 28 = 4*n - 5*c + c. Solve 3*h + 4*u + n = 0, -4*h + 0 = 5*u + 5 for h.
0
Let y(g) = g - 4. Let k be y(5). Let f = k + 2. Solve c - 4 = -f*x, 1 = 5*x - 3*c - 15 for x.
2
Suppose 10*h = 9*h + 2. Let m be (-98)/(-21) + h/(-3). Solve -2 = u - y, m*y = 5*y - 1 for u.
-1
Let h be 2 + (-14)/8 - (-3)/(-12). Let b(f) = -f**2 - 8*f - 8. Let p be b(-6). Let a = p + h. Solve a*k + 21 = -5*z, -5*z + 2*z = -k - 1 for z.
-1
Suppose 2*k - 2 = 2*v, v + 4*v = 4*k - 3. Solve -5*t + k*i = 18, -2*i = 2*t + i + 11 for t.
-4
Let w be (-214)/(-14) - (-14)/(-49). Let v be (10/w)/(2/21). Suppose 15 = 4*i - 5. Solve 2*g - 2 - 1 = i*s, -v = 4*s + 3*g for s.
-1
Suppose 0 = -6*p + 79 + 41. Solve 12 = 5*g + 4*o - o, -3*g - p = -5*o for g.
0
Let k = 64 + -60. Let d(l) = -4*l**3 - l**2 - l - 1. Let m be d(-2). Solve 4*g = -k*a + 2*g - 16, -5*a + 2*g = m for a.
-5
Let w be (-2)/(1/((-9)/6)). Let t be -1 + 2 - 1 - 0. Solve t*o + z - 2 = -o, -4*z - 13 = -w*o for o.
3
Let c be (13/2 - 2)*-2. Let s(v) = v**3 + 8*v**2 - 9*v + 12. Let u be s(c). Solve -3*b + 5*z - 20 = 2*b, -5*z + u = -3*b for b.
-4
Let g be 8/2 - (-3 + 6). Suppose -f = f + d - g, 5 = 5*f + 2*d. Solve -5*a + 0 - f = u, 0 = -3*a - 5*u - 15 for a.
0
Suppose -5*w - 32 = -2*d, -7*w + d - 31 = -2*w. Let h = w - -9. Solve 4*t = -8, -5*t - 5 + h = -4*m for m.
-2
Suppose 5*f - 11 = 49. Let c be 36 + 0 - 12/f. Solve 0 = -0*n - n - k, 0 = 3*n - 4*k + c for n.
-5
Suppose -266 = -4*r + 3*n, 72 = r + 2*n - 0*n. Let p = r + -38. Solve 0*z - z = 2*c + 5, z - 5*c = p for z.
5
Suppose 9*o - 5*o = -2*j + 78, 3*j = -o + 27. Suppose 0 = 4*d - d. Solve 0*s = -2*i + 5*s + 29, d = i + 4*s + o for i.
2
Let a(j) = -4*j**2 + 9*j + 1. Let n(f) = -7*f**2 + 18*f + 1. Let x(y) = -5*a(y) + 3*n(y). Let b be x(8). Solve -d + k = 2*d - 14, 3*d + 3*k - b = 0 for d.
4
Let j(b) = -9*b**2 + 13*b + b**3 - 2*b - 3*b + 8. Let w be j(8). Solve 3*o - 10 = d, -2*o - 4*d + 8 = -w for o.
4
Suppose -2 - 42 = -4*i. Suppose 3*w + i = 2*j, -j + 2*j = 2*w + 6. Solve -j - 2 = -2*v, -2*x + 1 = -v for x.
2
Let x = 14 + -10. Let z(s) = s**3 - 2*s**2 - s - 1. Let j be z(3). Solve 0 = x*b - j*h + 7, b + 2*h + 5 = -0*b for b.
-3
Let t = -36 + 51. Suppose 63 = 4*l + t. Suppose 3*k - 9 = 5*o, -k = 3*k + 2*o - l. Solve -25 = 5*b - 3*d - 2*d, d - k = 0 for b.
-2
Suppose 6*r = r. Suppose -2*m - 3*l + 12 = r, m + 3*m = -2*l + 16. Solve 5*p - 9 = -i, -m*i - p - 4*p = -7 for i.
-1
Let f(b) = 3 - b - b**3 - 4 + b**2 + 0*b. Let r be f(-1). Let j be (35/(-3))/(r/(-6)). Solve -2*o - 26 = 5*l, 7*l + j = -5*o + 2*l for o.
-3
Let c = -38 - -40. Solve 5*k + 4*g + 8 = 0, -5*g + 13 = -k - c*g for k.
-4
Suppose g - 14 = -5*w, 0 = 5*g - 4*w + 16 + 30. Let b be g/(-27) - (-50)/18. Solve -3*l + 3*x - 6 = 0, 2 + 8 = b*l + 5*x for l.
0
Suppose 0 = -z + 5*z - 5*j - 71, 0 = -2*j - 6. Let y(a) = -a**3 - 3*a**2 + 4*a + 2. Let t be y(-4). Solve 0 = 3*n - 2*o - 2*o + 20, 3*o - z = t*n for n.
-4
Let i(t) = -t**3 + 9*t**2 + 9*t + 12. Suppose s = 7 - 2. Let y be s/((-5)/(-12)) + -2. Let p be i(y). Solve -o + p*d = d + 3, 21 = -3*o - 3*d for o.
-5
Let f be -3*5/(10/4). Let t(z) be the first derivative of -z**4/4 - 2*z**3 - 1. Let u be t(f). Solve -3*c = 15, 5*c + 27 = 2*r - u*r for r.
1
Suppose -35*d + 30*d + 15 = 0. Solve d*r + 6*f - f + 24 = 0, 5*r + 18 = -f for r.
-3
Let b = -8 + 12. Suppose 116 = 5*p - b*x, -5*p + 70 = -2*x - 38. Suppose 2*a - 6*a + p = 0. Solve -3*j = 3*v + 3, 4*j + 1 = -a*v - 2 for j.
-2
Let t = -22 + 24. Solve -12 = 4*b + 2*x, 1 = -3*b + t*x - 1 for b.
-2
Let q be ((-2)/5)/((-6)/30). Suppose 5*x + 2*r + q*r = 25, -5*r = -5*x + 25. Suppose -12 = v - 4*v. Solve -8 = -4*o + v*m, -4*o - x*m + 20 = -3*o for o.
5
Suppose 11 - 26 = -5*p. Solve 0 = 3*f + 6*c - c - 24, 0 = -4*f - p*c + 21 for f.
3
Let o be 84/10 - 2/5. Let k be 20/o + 2/4. Let l be 1 - 2/(k + -1). Solve l = 4*w + 4, 4*q + 2*w - 6 = -0*w for q.
2
Let r(m) = 2*m - 1. Let q be r(1). Solve u - 2*c - 5 - 3 = 0, -c = u + q for u.
2
Let j be (8/(-5))/(1/(-5)). Solve -z - 1 = 4*x - 0, -z + j = -5*x for z.
3
Let l(z) = z - 19. Let m be l(19). Solve c - b = m, -2*c - 2*b + 35 = 3*b for c.
5
Let o(y) = -y**3 - 6*y**2 - y + 5. Let u be o(-6). Let a(g) = -g + 3. Let k = 15 - 22. Let n be a(k). Solve f + 5*t - u = n, 0 = 3*f + 4*t - 8 for f.
-4
Suppose 5*c + j = 19, 3*c - 13 = 6*j - 5*j. Let f be (c - 3)/(2/6). Solve 6*h = f*a + 3*h + 3, 0 = a - 2*h for a.
-2
Let y be ((-4)/(-3))/((-6)/(-9)). Let i be y/(1/(3/3)). Solve -8 = u + 3*p, 0 = i*u + 2*u + p + 10 for u.
-2
Let a be 3 + (-3)/1 + 0. Suppose 4*s - 10 = -2*j, a = 4*s + s. Solve 4*b = -b, 0 = -j*p + b - 5 for p.
-1
Let p be (24/(-18))/(4/(-6)). Let g be (1/p)/((-2)/(-20)