*h = -h - 5*g + 7 for h.
3
Let q(z) = 3*z. Let c be q(1). Suppose 4*t = 2*t. Suppose 0 = -t*p - p + 29. Solve c*o + 2*o = i + p, -i + 11 = 3*o for i.
-4
Let v be 3 - (7 + 2 + 0). Let o(r) = r**3 + 5*r**2 - 6*r. Let c be o(v). Let k = -2 - -2. Solve 2*h + c*q - q + 9 = 0, -4*h + 3*q - 23 = k for h.
-2
Let j = -2 + -1. Let m(n) = -n**2 - 5*n - 1. Let v be m(j). Suppose v*l = 13 + 7, 4*r = l - 4. Solve -2*c + 12 = -0*c - 2*q, r = -5*c - 4*q + 21 for c.
5
Let b = 6 - -3. Suppose 0 = 4*g - 0*g. Let a = -7 - -11. Solve 4*w - a*k + b*k - 1 = g, 0 = -2*w + 5*k + 23 for w.
4
Suppose 0*m + 84 = 4*m. Let z be 35/m - (-1)/3. Solve -z*s + 2*o + 20 = 3*s, -2*s + o + 8 = 0 for s.
4
Let k be (-1)/(-1)*(-6 - -7). Let x be k/2*12/2. Solve 0 = -5*m, -2*m + 14 + 1 = -x*b for b.
-5
Let i(u) = 2*u**2 + u - 8. Let b be i(2). Solve -b*y = -5*s + 5, 0 = y + s - 2 + 1 for y.
0
Suppose -4*g - 8 = 0, -3*k - 2 = -2*g + 3*g. Solve k = -5*q + d - 0*d - 13, -10 = 2*q + 2*d for q.
-3
Suppose -c - 3*c + l + 12 = 0, -12 = -2*c - l. Solve 0 = r - 4*a + 25, 2*r = -r - c*a + 5 for r.
-5
Suppose 0 = -4*f - 0*f + 28. Let q(l) = 9 + 1 + l + f. Let p be q(-7). Solve 4*z - p = -4*g + 2, 5*z = 3*g - 17 for z.
-1
Let s be 90*(3 - (-21)/(-9)). Suppose 5*l - s = -5*m, 0 = 2*l - 0*l - m - 18. Solve 0 = 4*z - 2*u + 7*u - 10, 5*u + l = 0 for z.
5
Suppose 0 = -2*u + 4 + 2. Let q(y) = 13*y - 28. Let x be q(4). Solve 3*n = -n + p - x, 11 = -u*n - p for n.
-5
Let a be 3 + (1 - 0/1). Suppose k = -a*k + 20, -4*k = -g. Solve -4*j - 2*b + g = -0*b, 5*j - 21 = -2*b for j.
5
Let p = -15 + 32. Solve -4*n = 2*h + 16, -2*h = 5*n + 1 + p for h.
-4
Let c(g) = -g**3 - g**2 - 1. Let h be c(0). Let r be ((-15)/6)/(h/2). Suppose z + 5*q = 5 + 12, 3*z - 12 = -2*q. Solve -n + 5*y = -0 + 5, -r*y = z*n - 5 for n.
0
Let c be (-19)/(-7) - (-6)/21. Suppose -5*p = -3*p - 8. Solve -2*v = p*z - 4, z = 5*v + c*z - 18 for v.
4
Suppose -4*j + 12 = -d - 29, -2*j + 16 = -2*d. Solve 0 = q + l - 3*l + 3, j = -q + 4*l for q.
5
Let t = 57 - 54. Let k be 12/1 - (-2)/1. Solve b = s - 9, -s - b = -t*s + k for s.
5
Suppose -5*l + 3 = -17. Solve -3*x + y + 3*y = l, 0 = -4*y - 8 for x.
-4
Suppose -9 - 3 = -3*d. Suppose 138 = -5*i + a, -d*i - 123 = a - 9. Let w = -10 - i. Solve 2*j + 4*o - w = 0, -1 = 2*j + j - o for j.
1
Suppose -2*o - 23 = 17. Let u be (o/(-15))/((-2)/(-6)). Solve u*n = -4*h + 40, 0 = 5*h - 3*n - 4 - 6 for h.
5
Let r be (5 + 0)*3/(-5). Let s = 0 - r. Solve h - s*n = -h - 1, -3*h + 3*n = -3 for h.
4
Suppose -3*d - 6 = 3*t + 21, 2*t + 43 = 3*d. Let o be (4/7)/((-4)/t). Let z = -19 - -29. Solve -o*p + 16 = 3*k, -p + k - z = -4*p for p.
2
Suppose -s + 2*s = 2*c - 7, -s + 13 = 3*c. Let g be 1*-1*11 - -2. Let w = -5 - g. Solve -w*f = -5*u + 15, -2*f - 7 = u - c*u for f.
-5
Let h = 14 - 14. Suppose 0 = d + 5*n + 9, -3*d = n - 4*n - 27. Solve -f - t = -h*f, 4*t = -f - d for f.
2
Let b be (2/(-6))/((-2)/78). Let q = b - 8. Suppose u = -4*g + 16, -q*u + 5*g = 2*g - 11. Solve 6 = -n - 4*i, 4*n + 3*i - u = -2 for n.
2
Suppose 4*c + 0 = 8. Solve 0 = 2*x - 3*l - 16, 5*x + c + 0 = -3*l for x.
2
Let q = -55 + 58. Solve q*n - 5*o - 10 = 0, -4*o + 15 = 2*n - 9*o for n.
-5
Let s be (-4)/6 + (-29)/(-3). Let v = -9 + s. Solve -5*w + 15 = v, -2*u - 3*w + 2 = -7 for u.
0
Suppose -9*h = -7*h. Solve -k + 14 = -3*q, h = -2*q - 3*k - 2 - 0 for q.
-4
Let b = -15 + 19. Solve f - 8 = -4*q, 0 = b*f + 3*q - 6 for f.
0
Let v be 4/(-6)*(-1 - 2). Suppose 2*a - 3 = a. Solve v = -4*x + o - 3, -a*x = 3*o for x.
-1
Let d(p) = -p**2 - 6*p - 4. Let o be d(-4). Solve 4*y = -2*j - o, -2*y + 5*j = 2*j + 10 for y.
-2
Let f = -17 + 20. Solve -5*z - c = 4, 5*z + 2*c + 6 = f*c for z.
-1
Let j(d) = -d**3 - d**2 - 2*d - 4. Let f be j(-2). Solve 2*i = k, f*k = 3*i - 6*i - 11 for i.
-1
Suppose -4*z + 3 = -4*u + 11, -3*u = -4*z - 6. Let j = 0 - z. Suppose j = -3*v, 4*v + 12 = 4*b - 0*b. Solve -5*f = -a + 6*a + 20, 0 = b*a + 5*f + 14 for a.
-3
Let h(q) = -q**2 + 8*q - 4. Let r be h(8). Let o = -4 - r. Suppose -5*m = -o*m - 10. Solve 0 = 5*u - 0 + 10, 1 = b - m*u for b.
-3
Suppose -3*k + 2*m - m - 27 = 0, -45 = 5*k + 5*m. Suppose 2*o = -0*o - 28. Let t = k - o. Solve 15 = -t*l, -3*l - 11 = 5*x + 13 for x.
-3
Suppose -5*r + k = -0*r - 117, 0 = 4*k + 8. Solve 5*u + 22 = 5*m - r, 2*m + 5*u = -10 for m.
5
Let f = 5 + -4. Let g(t) = 6*t - 1. Let y be g(f). Solve 3*o - o - z = 13, -y*o - 3*z = -16 for o.
5
Suppose 1 = k - 1. Suppose 5*r + 2 = -2*o, k*o - 5 = o - r. Solve 5*a + 2 = 4*b - o, 5*a = 5*b - 15 for a.
1
Let s be (-2 + (3 - 0))*-5. Let r = -3 - s. Solve -4*k + r*c - 12 = 0, -5*c + 16 = 2*k + 2*k for k.
-1
Let x = -29 - -32. Solve -11 = 5*p - 3*a + 21, -4*p = x*a + 4 for p.
-4
Let j = -11 - -16. Solve w + v + 6 + 2 = 0, -j*w - 19 = -2*v for w.
-5
Let s = 211 - 211. Solve -3*f - h - 2 = -f, s = -3*f + 3*h + 6 for f.
0
Suppose 2 = r - 2. Solve -r*z + 3*d + 23 = 0, -2*d = -3*z + 2*z + 12 for z.
2
Let n = -3 - -7. Solve -2*u + 4*l = -24, n*l - l + 8 = -u for u.
4
Suppose u - 3*u + 14 = 0. Let d = 4 - u. Let t = d + 5. Solve -5*p - s = -8, -3*p + 10 = -0*s - t*s for p.
2
Let q(h) = -3*h + 1. Let l(t) = t. Let m(r) = 2*l(r) + q(r). Let y(s) = -s + 1. Let c be y(7). Let b be m(c). Solve -b = -2*k - k - 4*u, -5*k - u = 11 for k.
-3
Suppose -3*p - 32 = -5*p. Let y = 19 - p. Solve -5*l - 2*b - 3 = -22, 0 = y*l + b - 11 for l.
3
Let o(h) = 3*h - 11. Let d(t) = -t**3 + 7*t**2 + 7*t + 13. Let g be d(8). Let r be o(g). Solve 2*a + 10 = -3*w - 2*w, a - r*w = 21 for a.
5
Suppose -5*l - 6 - 14 = 0. Let h = 8 + l. Solve r - 2*f = -3*r + 10, -4*r + h = 4*f for r.
2
Suppose 5*n - 3*n = 6, 0 = -3*s + 2*n + 3. Let r(v) = -4*v - 3. Let j be r(-2). Suppose -o + j*o - 32 = 0. Solve -2*f - t + 2 = o, s*f - 4*t + 20 = 0 for f.
-4
Let q(s) = 2 - 4 + 3*s - 2. Let v be q(3). Let l(m) = -m - 6. Let r be l(-9). Solve 5*i + 10 = v*f, i = f + r*i + 1 for f.
1
Let m = 6 - 1. Solve 2*l = -m*s - 3*l + 25, 2*l = 4*s - 20 for s.
5
Let i = 40 - 26. Solve -2*g = 2*d + 6, -4*g - 6 = -4*d + i for g.
-4
Let g(x) = x**2 + 18*x + 42. Let j be g(-17). Solve t - 4*v + v - 10 = 0, 4*v = -t - j for t.
-5
Let q be 4 + -1 + -1 - 7. Let r be ((3 + q)*-5)/2. Solve 6 = 4*j - t - 0, -r*j + t = -8 for j.
2
Let l = -4 + -1. Let q be (-1)/2*(-5 - l). Suppose q*y = 2*y - b + 2, 2*y + 4*b = 8. Solve s = -2*j - 0*j - 3, -5*j - 5*s - 20 = y for j.
1
Suppose p - 3*p = -10. Suppose -4*l + 12 = -p*r, 0 = -5*r + 4*r. Solve -4*z + 9 = 5*g, -6*z + 4*z = l*g - 7 for z.
-4
Let f = 38 + -36. Solve -4*i - x = -19, i + f*i - 20 = 5*x for i.
5
Suppose 5 = -2*u + 3*n, n - 11 = -4*u - 0. Solve -u*i - 32 = 3*m + 3*i, 0 = -5*m + 5*i for m.
-4
Suppose 0*d = -2*d. Solve -2*l + 4*r + 20 = 0, d - 8 = 2*r for l.
2
Let j be (10/(-3))/(6/(-9)). Let k = -1 - -4. Suppose -a + n - k = -0, j*n - 23 = a. Solve -19 = b + 2*b + a*g, 3*b - 5*g + 5 = 0 for b.
-5
Suppose 0*q - 15 = -3*q. Solve -3*k + 2*x = -7, q*k - 5*x = k for k.
5
Let g = 9 + -3. Let d = g + -2. Solve 0*x - 21 = -d*i - 3*x, -12 = -4*x for i.
3
Suppose -z + v - 3*v = -24, -4*z - 4*v + 84 = 0. Suppose 5*t = 2*k - 3, -5*k - 3*t = -z - 5. Solve 2 = 2*d - k*i - 12, -5*i - 19 = -d for d.
-1
Suppose -1 = -2*y - 4*f - f, -2*y + 28 = -4*f. Solve 16 = -5*a + 4*v, 3*a + 0*v - y = -2*v for a.
0
Let n be -1*(-11 + -2 + 2). Solve 4*j + n = -2*z + 1, 2*z - 22 = 4*j for z.
3
Suppose 5*z = -2*c - 14, 2*c = 3*c + z + 1. Solve -2*a + 4*p = -a + c, 2*a - 3*p - 4 = 0 for a.
5
Let h be 0/((-6)/2 + 2). Let c = -1 - h. Let o(t) = 9*t**2 - 1. Let f be o(c). Solve 2*s - 9 = -3*d, -33 + f = -5*d for s.
-3
Suppose -4*r + 25 = d, -2*r + 0*d + 20 = 2*d. Solve -25 - r = 5*t - 3*a, -3*a + 6 = 3*t for t.
-3
Let i = -19 + 24. Suppose 7*o - 15 = 2*o - i*m, 2*o = 5*m + 13. Solve 2*p + 2 = 4*p + 2*s, -o*p = -5*s + 5 for p.
0
Suppose 0 = j - 2*k - 7, 3*j + 3*k = 15 - 3. Solve j*v = t + 2*t, -v = 3*t + 18 for v.
-3
Let a = -8 - -10. Solve 4*x = -3*m - 28, 3*x - m + 10 = a for x.
-4
Let j be 6 + -2 + 3/(-3). Solve -n + 2 = -j*h, h = -n - 0*h + 6 for n.
5
Suppose -3*i + 0*i = -5*j - 14, i - 8 = 5*j. Let n = 4 - -1. Solve 0 = -5*r - 0*r + n*s - 15, r + 3*s + i = 0 for r.
-3
Suppose 0 = -g - 2. Let m = 7 + g. Solve -m*k + l = -l - 3, -3*l = -3*k for k.
1
Let j(v) be the second derivative of 2*v**3/3 - 4*v**2 - 2*v. Let w be j(4). So