 + 3*c + 19 = 0 for h.
1
Let w(j) = -j**2 - 15*j + 19. Let f be w(-16). Solve 6*r + 2*b = r + 29, -4*b = -r - f for r.
5
Let k(a) = -a + 11. Let o be k(9). Let h be ((-5)/o + 2)*-54. Solve 5*x + g + h = 2*g, 2*x + g = -8 for x.
-5
Let s be 4 - (-7)/(35/(-20)). Solve 4*x + 3*t + 9 = 0, s = 5*x - 10*x + t + 3 for x.
0
Let x(m) = 3*m + 2. Let s be x(-4). Let g = 49 - 34. Let n = g + s. Solve -7 = -3*z + n*f - 31, 3*z - 4*f + 21 = 0 for z.
-3
Let a = -18 + 22. Solve -a*p + 2*y = 6, -12 = 3*p - p + 2*y for p.
-3
Let c(b) = -2*b**3 - b**2 + b + 2. Let z be c(-2). Solve 4*a - 2*s - 3*s + 28 = 0, -s = -4*a - z for a.
-2
Let n = 15 + -11. Suppose 4 = n*p - 2*p. Solve -2*v - 6 = -p*u, -5 = -3*v - 5*u + u for v.
-1
Suppose -48*z = -50*z + 8. Solve 5*p + z - 31 = y, 4 = -2*y for p.
5
Let j = 13 - 9. Solve j*d = -2*g + 10, 0 = 2*d + g - 2*g - 11 for d.
4
Let w(d) = 4*d**2 - d. Let t be 4/((-40)/(-6))*5. Suppose 5*u - 7 = -3*k, -3*k + 11 = 4*u - t*u. Let g be w(u). Solve 4*z - 33 = g*p + 7, -p + 6 = 2*z for z.
5
Let b(g) = -6*g - 1. Let z be b(-1). Suppose -z*d + 6 = -4. Suppose 0 = -9*a + 14*a - 25. Solve 7*q - 13 = d*q - 4*l, 3*q - a*l = -7 for q.
1
Let z = -31 - -31. Solve z = -9*t + 4*t + 3*p - 4, -4*p = -2*t + 4 for t.
-2
Let f be ((-16)/10)/(16/(-40)). Solve 0*a + a + 16 = f*b, 0 = 5*b - 15 for a.
-4
Suppose -5*g - 5*s - 4 = -14, 2*s = -g - 1. Solve 12 = -k - 5*i + i, 4*k = g*i + 15 for k.
0
Let b = 114 - 111. Solve 5*l = -2*c - b, 3*c - 3 + 2 = -2*l for c.
1
Let x = 3 + -1. Let j(c) = 1 + 5*c**x - c + c + 2*c. Let w be j(-1). Solve -3*m + r - w*r = -6, 2*r - 9 = 3*m for m.
-1
Suppose 7*w = w. Solve w = -z - 2*n + 2, -3*z - 5 = -5*n + 11 for z.
-2
Let a be 46/(-6) - 2/6. Let v be 9/4 - (-2)/a. Solve 5 = -w + 3*w + 5*n, 3*w - 2 = -v*n for w.
0
Suppose -4*v + u = -8, 0 = -2*v + u + 1 + 3. Solve 4*m = 20, -2*i + v + 11 = 3*m for i.
-1
Suppose 0 = 4*j + t - 15, -7*j + 4*t = -2*j - 3. Suppose 0 = -j*n - k + 6, 2*k + k + 24 = 5*n. Solve -11 = n*u - s - 0, -4*u + s - 15 = 0 for u.
-4
Let a(b) = -b**2 - 6*b - 6. Suppose 4*n = -n + 50. Let j be (-2)/n + (-19)/5. Let c be a(j). Solve 3*g - c - 3 = w, 3*w - 13 = -5*g for g.
2
Let t be 2/(2*2/(-14)). Let l(p) = -p + 0 - p - 10. Let q be l(t). Solve 2*s = 2*b - 8, 3*b - 11 = -0*b + q*s for b.
5
Let z(x) = 9*x - 4. Let a be z(1). Solve -a*o + 5*f = -20, f = -3 + 4 for o.
5
Suppose 4*i + 47 = 3*c, -c - 4*i = -5 - 0. Suppose -3*j + 5*j = 52. Solve -4*w + c = -t, -t - j = -3*w + 3*t for w.
2
Let j(t) = -11*t. Let r be j(-1). Solve -f - r = -0*z + 3*z, 2*z + f + 7 = 0 for z.
-4
Let c be -4*(8 - 0)/(-2). Let i = 18 - c. Solve -3*r - 4 + i = h, 3 = -3*r for h.
1
Suppose -11 + 67 = 2*q. Suppose 5*u - q = -5*n + 7, 3*u - 16 = -2*n. Let g be 2/(-1 - 14/(-10)). Solve -5 = j + n*r, -g*j - 8 = -5*r + 17 for j.
-5
Suppose -5*j + 3 = -7. Suppose -10 = j*h + 4*q, -2*q + 0 = 4*h - 4. Solve -18 = 5*i + h*z - 3, -5*z = 0 for i.
-3
Let r = -9 - -14. Solve -5*l + 24 = -4*z, -z + l = -r*z for z.
-1
Let u(h) = h**2 - 5*h - 5. Let s be u(7). Solve -3*r + 0*k = 2*k + 15, s = -5*r + 2*k for r.
-3
Let k(v) = v + 16 + 0*v + 0. Let d be k(-12). Solve -d*f = -2*w + 12, 1 = 2*f - 2*w + 3 for f.
-5
Let h = -14 + 28. Solve 9*j + 5 = 5*x + 4*j, -2*x = 2*j + h for x.
-3
Suppose b = 3*b + 2*y - 14, y = 5*b - 17. Solve -3*l + u + 15 = -4*u, 0 = 2*l + b*u + 12 for l.
0
Suppose 0 = -o - 2, 4*q = -3*o + 2*o - 2. Suppose q = 2*r - 32 - 4. Suppose -2*k = -0*k - r. Solve -4*t = 5*h + 3 - k, 2*t + 2*h = 2 for t.
-1
Let o(y) = y**3 - 3*y - 2. Let m be o(-1). Solve -2*x - 5*n = 27, -5*n - 20 = -5*x - m*n for x.
-1
Suppose 0 = a - 3*q + 3, -4*a - 3*q + 58 = -q. Solve 4*u + 3*g = g + a, 3*u - 4*g - 9 = 0 for u.
3
Let j = -17 - -17. Solve -d - 1 = -j, 3*v + 3 = -3*d for v.
0
Let f = 12 + -12. Solve s - 4*d = 4, -4*d - 8 = -f*d for s.
-4
Let t be (1/1 - -1)*1. Let h(m) = 30*m - 147. Let r be h(5). Solve t*y + p - r*p = 8, -3*p = -2*y + 10 for y.
2
Let z(w) = 2*w**2 + 28*w + 4. Let y be z(-14). Solve 5*p = 4*d - d + 22, y*d - 5*p = -21 for d.
1
Suppose z = -3*z + a - 11, 3*a = 9. Let x be -3 - (-4 + (z - 1)). Solve -2*v = -4*w + 1 + 3, x*w - 4 = 4*v for v.
0
Let h(a) = -10*a. Suppose -2*d - 4 = -2. Let q be h(d). Solve 4*s - 3 = -2*f - 31, -5*f = -2*s + q for f.
-4
Let l = -30 + 81. Solve 0 = 5*n - 3*b + 30, -5*n - l = -4*b - 16 for n.
-3
Suppose -p = 2*p + q - 20, 0 = -4*p + 2*q + 10. Solve 2*v + 11 = -p*s, -s - 4 = 3*v - 2*v for v.
-3
Let k = 44 - 42. Let a be (2 - -2)/(2/10). Solve 0 = 5*p - a, 0 = -k*b + 5*p - 22 + 4 for b.
1
Let n be -2 - ((-8)/(-4) + -4). Solve 5*d + 13 = -q, n = 5*d - 0*d + 4*q + 7 for d.
-3
Suppose -o - 36 = -4*o. Suppose -b = -5*b + o. Solve 0 = -3*a + b*c - 15, 4*a + 6 = 2*c - 14 for a.
-5
Suppose 2*g + g - 2*p = 20, -4*g = 2*p - 8. Solve -4*z + 5*z + 3*s = -16, -3*z - g*s - 23 = 0 for z.
-1
Suppose y + 30 = 6*y. Solve f + y = -f + u, -f - 3 = 4*u for f.
-3
Let z(g) = -3 + 2 + 3*g + 0 + 0. Let l be z(2). Solve j - 15 = -5*n + 1, 13 = l*n - 2*j for n.
3
Let i be 36/14*(-84)/(-18). Let r = -22 + 25. Solve -m = 4*b + i, r*b + 10 = -2 for m.
4
Let y(q) = -5*q - 6. Let o(k) = -2*k - 3. Let i(t) = 13*o(t) - 6*y(t). Let p be i(2). Solve 2*z = -n + 3 + p, -4*n + 17 = 3*z for n.
2
Let i(s) be the second derivative of -s**4/12 + s**3/2 + 2*s. Let y be i(2). Solve y*f + 3*l = -2, l = 2*f - 8 - 6 for f.
5
Let d(n) = n**3 + 4*n**2 - 3*n + 2. Let t be d(-3). Let u be t/2*2/4. Solve 3*o = -u*l - 10, -4*l + 2*l - 10 = 0 for o.
5
Suppose 3*d = -0*n - 5*n + 3, 4*d = 2*n + 4. Solve 0 = -h + k - 4, n = -6*h + 2*h - 3*k - 2 for h.
-2
Let m(y) = -y**2 + 9*y + 13. Let l be m(10). Suppose 5*k - 84 = 2*q, 4*k - l*q - 74 = 2*q. Solve -2*r = 2*f + 4, 3*r - f + k + 2 = 0 for r.
-5
Let q(l) = 4*l**2 + 2*l. Let m be q(2). Let t be ((-12)/(-5))/(6/m). Solve -10 = -3*p + 2*j, 2*j + 18 = -3*p + t for p.
0
Let d = -2 + 5. Let o = 4 + -3. Solve -h - 2*v - 2 = 0, 2*h + v + o = d*h for h.
0
Suppose 4 - 2 = d - 5*c, -2 = -d + 4*c. Solve -2*h + d = -4*a, 0 = -2*a - 3*a + 5*h - 15 for a.
2
Let m(b) = -15*b. Let k be m(-1). Suppose 0 = w - 6. Let l = 8 - w. Solve -p - l*h = -8, 3 = 3*p + 3*h - k for p.
4
Let v(z) = -2*z**2 - 4*z + 4. Let u(p) = p**2 + 2*p - 2. Let q(c) = -11*u(c) - 6*v(c). Let t be q(-4). Solve 2*f = -o, -2*f + t*f = -o for f.
0
Suppose -94 = -5*a - 79. Solve -5*g = 5*q, a*g + g = 5*q + 45 for g.
5
Let x be 9/(1 - (0 - 0)). Suppose -2*l + 3 = 3*q, -4*q - q + x = 2*l. Let o be -3*(-3 - q/(-9)). Solve -2*u = 3*c - 3, o = c + 2*u + u for c.
-1
Let g be (-8)/(-2)*10*-1. Let p be (48/g)/((-4)/10). Suppose 0 = -2*t - d + 3, p*d = -3*t - 2*t + 6. Solve -4 = -5*h + t*z, 3*h + 3*z + 0*z = -12 for h.
-1
Suppose n = 2*c + 5, n - 1 = -0*n - 2*c. Solve 3*k = -6, -2 = 5*i + n*k - 21 for i.
5
Let u = 1 + -1. Solve u = -2*x + 5*z + 15, 3*x + 3 = -z + 17 for x.
5
Let w(m) = 4*m + 5. Let n be w(11). Let c be (-7)/(-2)*140/n. Solve 0 = l - 5*r - 8, 5*r = -c for l.
-2
Suppose 4*x - 25 - 35 = 0. Solve -8 = 3*j + m + 3*m, -3*m = -3*j - x for j.
-4
Suppose f = -2*d - 0 + 6, 0 = -2*d + 2*f. Suppose -c + 15 = g - 16, 0 = -g + d*c + 28. Solve 19 = -5*p - 3*r - 16, g = -5*p - 2*r for p.
-4
Let j = -11 + 21. Let v be (j/6 - 2)*-9. Solve -4*u = l - 1, l - v*l - 2*u - 4 = 0 for l.
-3
Suppose 5*a - j = 7 + 96, -4*j = 5*a - 113. Solve -4*i + g = 2*g, i + a = 5*g for i.
-1
Let j(s) = -s**3 - 15*s**2 + 15*s - 15. Suppose 19 = -b - 0*v + 3*v, -v - 47 = 3*b. Let u be j(b). Solve -3*d + k + 6 = 4*k, 5*d = 4*k + u for d.
1
Let d = -16 + 22. Let z be 15/2*4/d. Solve 4*l - z*f = 1, 0 = -l - 3*f - 1 - 3 for l.
-1
Let c(q) = q**3 - 4*q**2 + q. Let g be c(4). Solve g*f + 4 = -4*a, -4*f - 1 = 2*a + 3 for f.
-1
Let k = 2 - 1. Suppose h - 12 = -2*h. Suppose a - 4*q - 15 = 0, -4*q = h*a - 9*a + 27. Solve a*c + 0*c + 1 = 2*f, 3*f + k = 2*c for c.
-1
Let l(d) = -d - 3. Let j be l(-6). Solve -5*y + 2*x = 1 + j, x + 3 = 0 for y.
-2
Suppose -2*c - 9 = -5*t, 9 + 0 = 5*c - 2*t. Solve -4*o + 4 = -2*u, 0*o - 5*o - c*u = -16 for o.
2
Let m be ((-4)/8)/((-1)/10). Suppose -h + m*v - 15 = 0, -2*h + 35 = 2*v + v. Solve 5 = -d + 2*k - 5, 4*d - 2*k + h = 0 for d.
0
Let v = -28 + 75. Suppose -v = -2*d - 13. Solve 7*w - 4*w - n + d = 0, 4*w - 3*n = -26 for w.
-5
Suppose 3*j + 11 = -4*y, 0*j + j = 3*y + 18. Solve 6*c - j