12 for h.
-1
Suppose a - 7 - 4 = 0. Let c = a - 3. Solve c = -4*x + 4*h, -h - 4 + 0 = 2*x for x.
-2
Let m = 21 - 19. Solve 2*i = -5*j + 16, m*i + 2*i + 2*j - 16 = 0 for i.
3
Let m(p) = p**2 + 1. Let b be m(2). Suppose -542 = -3*d + 2*c, -c - 135 = 2*d - 494. Suppose -3*u = -7*u + d. Solve 0 = z - 5*n + b + 15, -5*n = 4*z - u for z.
5
Let m be (12/(-16))/((-9)/24). Let s(w) = -4*w + 1. Let c be s(-3). Solve -2*o + c = -a, 0 = 3*o - o - m*a - 16 for o.
5
Let a = 0 - 0. Solve -o + r = -3, a = 2*o + 2*o - r for o.
-1
Suppose -17 = -3*i - 2*k, 6*i = 2*i + k + 8. Let q be (i/3)/((-1)/(-17)). Suppose -8 = -5*o + q. Solve 2*t - 6 = 4*n, 5*n + 7 = -2*t - o for n.
-2
Suppose d = -2*d - 15, 2*d - 54 = -4*k. Suppose -3*r + k = -v, -8 = -2*v + 4*v. Solve a = r*c + 3 - 2, 5*a - 25 = 0 for c.
1
Let f(v) = v**2 - 5*v + 18. Let b be f(4). Solve r + 4*h - 20 = 3*r, 0 = 3*r - 2*h + b for r.
-2
Suppose -34 + 36 = r. Solve 5*l + 1 = -r*j + 19, -20 = -2*l - 4*j for l.
2
Let b be (((-12)/18)/(1/6))/(-2). Solve -5*y - 4*t + 8 = 0, 0 = -b*y - y - 4*t for y.
4
Let c be ((-8)/(-5) + (-3)/5)*13. Solve -2*t - 4*k = -0 - 4, 0 = 3*t - k - c for t.
4
Suppose 0 = 4*m + 5 - 21. Suppose -2*b + 20 = 5*x + m, -5*b + 5*x + 5 = 0. Solve b*j = -d - 5, 0 = -3*d - 3*j + 8*j + 27 for d.
4
Suppose 0 = 2*j - 5*n + 6, 5*n - 12 = -2*j + n. Solve 0 = 4*l - y - 25, l = 5*y + 32 - j for l.
5
Suppose 15 = x + 4*x. Let i be 7 - (-4)/6*x. Suppose 0 = h - 0*h - 3. Solve 0*g = -h*q + 3*g + i, -g = 0 for q.
3
Let l = -1 + 19. Solve -5*c - 2*u - l = 0, 0 = 3*c - c + 5*u + 24 for c.
-2
Let y be -9 - -10 - (-3)/1. Let a be (-8)/(-2) + -2 + 4. Let l = a - -2. Solve y*q + l = o - 3, 0 = 5*q + 2*o + 30 for q.
-4
Let l be (-125)/(-15) - 2*(-1)/(-6). Solve -2*q = 2*j + 14, -5*j + l*q - 3*q + 5 = 0 for j.
-3
Let j(v) = v**2 - 5. Let n be j(-3). Solve -n*h = -2*c - 22, -3 = c - 2 for h.
5
Let l be (2 - (-1 + 2))/(-1). Let u = 3 + l. Let w = u - 0. Solve 4*z = -2*v - 2, -11 = 3*v - 8*v - w*z for v.
3
Let r(p) = p**3 - 2*p**2 + 2*p - 2. Suppose -3*s - 2*s + 15 = 0. Let k be r(s). Solve -h + f = 0, -k = h + 4*f + 12 for h.
-5
Let r be (-3)/5 - (288/(-30) - -4). Solve -3*n - 23 + 5 = r*u, -5 = 5*n for u.
-3
Suppose 2*j + 14 = 5*j + 5*t, 5*j + 3*t = 18. Solve j*r + 4 = -2*x, -r + 3*x + 0*x - 5 = 0 for r.
-2
Let f be 3/(-1 + 24/15). Let q = -119 - -244. Suppose -5*o + q = p - 6*p, -4*p = o. Solve 0 = h - 2*s + 10, 2*h = f*s - o - 3 for h.
-4
Let v(p) = -p**3 - 2*p**2 - 2*p. Let o be v(-2). Solve 0 = g + s + 5, -o*s + 2*s - 15 = 3*g for g.
-5
Suppose -30 = 2*h - 4*h. Suppose 0 = 3*y - 27 - h. Solve 4*z = -2*j - y, 3*j = -5*z - 0*j - 17 for z.
-4
Let k(o) = 6*o**2 + o. Let f be k(-1). Suppose 2*t - 56 = -0*t. Let v = -28 + t. Solve -3*q - 29 = -f*s, v*s - s - 11 = 5*q for s.
4
Let y(u) = -u - 1. Let n be y(-6). Suppose 8 = 4*c + 4. Solve n*t = -k - c - 19, 0 = k - 3*t - 4 for k.
-5
Suppose 2*p = 3*s - 9, 4*p + 0*s + 2*s + 10 = 0. Let n(w) = 1 - 1 - 3*w**2 - w**3 - 1 - 4*w. Let j be n(p). Solve 0 = -3*c - 3, 4*h + 4*c = 27 - j for h.
5
Suppose -2*v = 10 - 18. Solve u = -4*y + 2*u - 4, 4 = v*y + u for y.
0
Let i(k) be the third derivative of -k**4/6 - 4*k**3/3 + 2*k**2. Let z be i(-6). Suppose 4*h - z = -0*h. Solve 4*l = h*n + 12, -n = 3*l - 0*l - 17 for l.
5
Let k be 3/2*8/6. Suppose 18 = 5*f - 2*l + k, 2*f - 4 = 2*l. Solve -f*a + 28 = 2*w + 3*w, 4*w + 4*a - 24 = 0 for w.
4
Suppose -6*h = -10*h + 16. Solve -5*l = 5*q + 20, 20 = -3*l + q + h*q for l.
-5
Let b = -4 + 1. Let w = b + 6. Suppose -2*p - 8 = -3*n, 21 = 4*n + 3*p - 1. Solve 0 = -r - w*t + 2, r + 4*t = -r + n for r.
2
Suppose 3 + 3 = 3*r. Solve 2*y - v - 9 = 0, -5*v = r*y - 2*v + 3 for y.
3
Let b(g) = 2*g**2 - 5*g + 5. Let l be b(2). Solve -4*j + 3 - 1 = -2*t, 0 = 2*t + l*j + 16 for t.
-5
Let v be 33/18 + 5/30. Let i(h) = h**2 - 5*h + 5. Let m be i(4). Let z be (-10)/(-2 + -1 + m). Solve z*l - v*l = 3*n, 24 = -l - 5*n for l.
-4
Let j = 5 - 3. Let q(u) = u - 3. Let g be q(3). Solve 2*o + j - 7 = -z, g = -3*o + z for o.
1
Suppose -4*m + 6*m + 3*v - 20 = 0, 0 = -v + 4. Suppose -7*n = -8*n + m. Solve -5*s - 5*i - 30 = 0, 0 = n*s - 2*s - 2*i + 4 for s.
-4
Suppose 5*u + 6 = 16. Solve -u*g - g - 24 = -4*n, -4*n = 2*g - 4 for g.
-4
Let t be 2*(-5)/6*-3. Solve 3*y = -2*q - 2*q - 32, -t*y = 20 for q.
-5
Let t(k) = k**3 - 9*k**2 + 9*k + 8. Let l be t(8). Suppose -2*u = 2*u - l. Suppose a - 5 - 5 = -u*g, 3*g = 3*a. Solve h - 2 = -2*w + 9, 2*h - w - a = 0 for h.
3
Let c be 2 + (-5 - -2)*-1. Suppose -9*q + 120 = -4*q. Solve -c*g - 2*t + 6*t = 29, -5*g - t = q for g.
-5
Let c be (48/15)/((-2)/10). Let v be 3/(-9) - c/3. Solve 2*f - 4*g + 9*g - 30 = 0, 0 = -4*f - v*g + 40 for f.
5
Let q = -90 - -92. Suppose 5*l + 18 = -2*v, 0 = 2*v + 2*v - 2*l - 12. Solve -4*j + 2*y = -q, 0 = 4*j - y + v - 2 for j.
0
Suppose 6*w + 2*w = 0. Suppose -i - 3*s + 15 = 2*i, 3*i + 2*s - 18 = 0. Solve c - 8 = 5*u, 4*u + 5*c - c - i = w for u.
-1
Let f be 6*4*2/16. Solve -5*p = -y + 3*y + 3, f*y + 8 = -4*p for p.
1
Suppose -18 = 6*z - 60. Solve 0 = -f - 5*i - 2, -2*f + 2*i = -1 - z for f.
3
Let w(d) = -d + 3. Let n be w(3). Suppose 3*k - 6 + 0 = n. Solve 2*h = m + m - 10, -m = k*h + 1 for h.
-2
Suppose 2*b - 16 = -4. Solve b = -g - 2*j, 16 = -g - 3*j - j for g.
4
Let t(v) = v + 3. Let j be t(5). Suppose 0*b + j = 2*b - 2*f, -b - 5*f = -4. Solve -b*z = 2*y + 14, 0 = y - 2*y + 3*z + 8 for y.
-1
Let i = -23 - -27. Suppose -2*z = -i, 4*z - 19 = -3*k + 1. Solve -k*h - 4 = -4*g, -g + 4*g - 10 = -4*h for g.
2
Let f(u) = u**2 - u + 1. Let s be f(2). Suppose s*z - l = 44, 2*z + 46 = 6*z + 5*l. Solve -4*v = -2*i + z, 3 + 4 = -5*v - i for v.
-2
Let x(n) = n**3 - 6*n**2 + 6*n. Let f be x(5). Solve -f*y - 5 = -3*v - 21, -y + 2 = -v for v.
3
Let n(o) = 3*o. Let d be n(1). Let p = -3 - 1. Let w be (2 - -2)*(-6)/p. Solve -d*z = -5*j - 4*z - 2, 3*j + 3*z - w = 0 for j.
-1
Let u be (-1)/(4/(-2)*(-1)/(-10)). Solve -2*p = 2*r, p = -3*r + u - 1 for p.
-2
Suppose 15 = v - 0. Solve 3*k + 3*n + 9 = 0, 5*k - n = -0*k + v for k.
2
Let m be 55/20 + 2/8. Solve u = 2*l + 4 + 2, -m*u - 3*l - 18 = 0 for u.
-2
Suppose -2 = h - 4. Suppose b - 2*r = 6, -r + h = 4*b + 2*r. Let f(d) = -2*d + 23. Let i be f(9). Solve -2*j = b*t + 14, -3 + i = -2*t + j for t.
-3
Let k(o) = -o**3 + 5*o**2 - 3*o + 1. Let h be k(3). Let z be (-2)/4*h/(-5). Let f be z*3*(-8)/(-12). Solve -4*n - f*y + 16 = 0, -3*n + 5 = -y - 12 for n.
5
Suppose -5*j + 3*z = -25, 2*j - j - 13 = -z. Suppose 3*c - 2*c + 2 = -b, 0 = 2*c + j. Suppose 4*s - 15 = -s. Solve q - s - 2 = b*k, 5*q + 14 = -3*k for q.
-1
Suppose -3*w - 2*w - 30 = 0. Let u be 1*5*(9 + w). Solve -q = -4*p + 19, 3*p + 0*q - q - u = 0 for p.
4
Let u be (-27)/(-18) + 2/4. Solve -4*d - 12 = 0, -u*d + 11 = -2*a - 5*d for a.
-1
Suppose j - 20 = -5*z, 0 = 4*z - 16. Suppose -4*q - d = -3, 0 = -2*q - j*q + 4*d + 24. Solve q*o + 6 = 4*v, 0 = 2*v - 9*o + 4*o + 9 for v.
3
Let a = 29 - 4. Suppose 0 = -4*y - n + 14, -5*y + 5*n - a = -10*y. Suppose y*s - 8 = -s. Solve 4*l - 4*w + 22 = -2, 3*l + s = -5*w for l.
-4
Let l = -4 + 9. Suppose 3*p - 5*u = 0, -2*p - l*u = 2*p. Solve 5*w + 4*t + 8 = p, -3*w - 3*t = t for w.
-4
Suppose -3*z = -16 - 29. Suppose -5*m - u = -9 - z, 5*m = u + 16. Solve -m*j + 3*c = 19, -7 = 3*j + 6*c - c for j.
-4
Let h(a) = -2*a**2 - 1. Let p(z) = -z**2 + z - 2. Let d(u) = 2*h(u) - 3*p(u). Let m be d(-4). Let n be 5*2/(2 + m). Solve w + 8 = 5, -n*w - 15 = -5*k for k.
0
Let o(x) be the third derivative of -x**4/24 - x**3/3 - x**2. Let b be o(-6). Let n = b + -2. Solve -5*u - 26 = 4*r, n = u - r - 0 for u.
-2
Let z(j) = j**2 + 6*j + 4. Let w be 3*3/9*5. Suppose 7 + 3 = -5*x + w*m, 5*m = -20. Let u be z(x). Solve 0 = -4*f - 4*c + 12, 4*f + f - 12 = -u*c for f.
0
Let m(k) = -3*k + 59. Let q be m(15). Solve j - 17 = -3*h, -34 = -5*h - q for j.
5
Let s = 13 - 10. Let b be s/(-9) + 8/6. Solve -3*w - 4*h - 7 = 0, 4*h = -2*w - 1 - b for w.
-5
Let j(p) = -p**2 - 4*p - 1. Let h(n) = n**3 - 9*n**2 + n - 12. Let g be h(9). Let d be j(g). Solve x + d*x = -r - 7, 3*r + 10 = 2*x for x.
-1
Let a = -18 + 24. Solve -4*l - 27 = 5*g + a, g - l = -3 for g.
-5
Suppose 5*w - 46 = 3*c, -2*c + 6*c - w = -33. Let j be 24/14 + (-2)/c. Solve 5*l + 2*x - 14 = 0, -4*l + j*x + 3 = -1 for l.
2
Let a be -1*3 + (-47)/(-1). Let h b