 for h.
2
Let k be (-22)/(-33)*33/(-2). Let p be k + 13 + 1*4. Suppose -6*m = -4*m - p. Solve 0 = -5*j + m*w + 2, -4*j - 16 = w + w for j.
-2
Suppose u - 2*n - 2 = 0, 2*u - n = -6*n + 13. Solve -u*o - 13 = i, 2*o - 5 - 11 = 4*i for i.
-5
Let a = 101 - 96. Solve g - 5*i = -2*g + 27, a*g - 3*i - 29 = 0 for g.
4
Suppose 5*z + 330 = 20*z. Solve i - 3*n + z = 3*i, 4*i - 3*n - 8 = 0 for i.
5
Let v = 1681 - 1676. Solve -2*k + k + v = -5*d, 0 = -d - 1 for k.
0
Let g = 8 + 9. Suppose -a - 2*a - k + g = 0, 3*a - 5 = 5*k. Solve -l + 18 = 5*v - 2*l, -a*v + 4*l = -27 for v.
3
Let b(m) = -m**3 + 4*m**2 + 6*m - 1. Let q be b(5). Let n = -10 + 12. Let g be (-380)/(-12) + -6 - (-2)/(-3). Solve d - 3*z = -15, -n*d - d + q*z = g for d.
-3
Let i(p) = -p**2 + 2*p + 17. Let a be i(5). Suppose a*v = -5*y + 7, 0 = 2*v + 3*y - 6 + 1. Solve 2*w + 3*j = -22, 4*j = 2*w + v - 7 for w.
-5
Suppose o = 2*w + 6*o - 148, -4*o = -16. Let d = 68 - w. Solve -d*k - 9 = k + 3*g, 9 = 5*k - 3*g for k.
0
Let u be 1*5/15 - (-10)/6. Suppose -4*w = 2*f - 24, 3*f + 3*w - 25 = -u*f. Solve -16 = -4*q, -2*z = f*z + 5*q - 16 for z.
-1
Let m = 57 + -44. Let n be -1*1*(-2 - m)/5. Solve -2*y = n*v - 5, -5*y = -v + 3*v - 18 for y.
4
Suppose 4*m - 52 + 32 = -2*v, -2*m + 3*v - 6 = 0. Solve 4 = -q, -2 = -m*w + 5*q + 21 for w.
1
Let w(d) = -d + 16. Suppose v - 5*c - 37 = 0, 3*c = v - 0*c - 33. Let y be (-92)/(-14) + v/63. Let f be w(y). Solve 4*z - 3*j = -9, -z - 3*j = 3*z - f for z.
0
Let b(s) = s + 9. Let g be b(-9). Solve -2*f + 5*o - 19 = 4, g = 4*o - 20 for f.
1
Let m be (145/10 - 10)*(-8)/(-18). Suppose 4 = 2*r - 0*r. Let j be (2/3)/(1/3). Solve -j*q = -8, c + r = 3*c - m*q for c.
5
Suppose x + 2*o = 8, -3*o + 25 - 7 = 2*x. Suppose 3*u + 50 - 14 = 0. Let a = u + x. Solve 0 = -h + t + 4, a = t - 5*t - 20 for h.
-1
Let b(k) be the third derivative of -k**6/120 + k**5/15 - 5*k**3/6 - k**2 + 7. Let m be b(3). Solve -m*n - 5*t = 0, n + 2*t - 12 = -3*n for n.
5
Let k be (-380)/(-6)*(-18)/(-12). Let a = k - 91. Solve 5*w + a = f, -w + 6*w = 3*f - 12 for f.
4
Let h(m) = 3*m**2 + 17*m + 17. Let y be h(-6). Solve -3*a - 3*l = 18, -2*a = 3*l + y - 6 for a.
-1
Suppose 0*j + 4*j - 12 = -5*y, 3*j + 3*y = 12. Let a = 6 - 3. Suppose a*x - 1 = j. Solve s - 2*z + 10 = -4*s, -2*s + z = x for s.
-4
Let y be 3 + 1 + -2*1. Suppose 2 = l + y. Solve l = 4*z + 2*i + 22, 0*i - 8 = 2*z - 2*i for z.
-5
Suppose 4*v = n - 7, 4*v = -v + 3*n. Let h be 5/(15/6) + 0. Let w be 33/9 + h/v. Solve 0 = -4*c + w*y - 5 - 16, 5*y = -2*c + 9 for c.
-3
Let q = 2 - -6. Let i = -3 + q. Let a = -3 + i. Solve a*z - 10 = 5*p + 5, p - 2*z = -3 for p.
-3
Let g be 1 + 1 + 9/3. Suppose -18 - 7 = -g*r. Solve 0 = 2*k - 0*k - 2*d - 16, d = -r*k + 10 for k.
3
Let z(l) = -2*l**2 + 33*l - 53. Let d be z(2). Solve 7*m - 20 = d*a + 2*m, 7 = -3*a + 2*m for a.
1
Suppose 5*s = 2*f + 103, 4*f - 64 = -3*s + 3*f. Solve 4*u + 11 = t, -u + s = -8*t + 3*t for t.
-5
Suppose -15*y - 538 + 598 = 0. Solve -g + y*p = -0*g - 9, 5*g + p - 24 = 0 for g.
5
Let d = 47 + -45. Suppose c - d*b = -0 + 5, 4*c - 26 = 5*b. Solve -5*z + 12 = 8*q - 4*q, 3*q - c = -3*z for z.
0
Let s(i) = i**3 + 7*i**2 - 7*i + 12. Let w be s(-8). Solve 8*q - w*q = 2*m, 2*m = q for q.
0
Let n(w) = -w + 9. Let l be n(9). Suppose 4*d = -l*d. Suppose -80 = -5*i - d*i. Solve -2*b = 4*r + i, -5*r = b - 5*b + 7 for b.
-2
Let o(m) = 11*m - 4. Let q be o(4). Let n be 49/(-5) + (-8)/q. Let g = -8 - n. Solve 6*t - t = -r - 20, g*r = 4*t + 2 for t.
-3
Suppose 8 = -2*t, 11*u - 13*u + t + 8 = 0. Solve -3*n + 4*g = 9, u*n - 4*g + 11 = n for n.
1
Suppose -2*n = -4*k - 8, 3*k - 7 = -5*n - 0*n. Solve 0 = 3*p + n*z - 8, 2*p - z = -5*z for p.
4
Suppose w + 1 = 2*w - 2*i, 4*w - 12 = 4*i. Suppose 0 = l + 2*s - 4*s + 6, 4*s - 6 = w*l. Solve -l*z + 6 = 0, 2*u + 3*z - 10 = 9 for u.
5
Let w(s) = s - 2. Let u be w(0). Let c be u/(-13) + (-48)/(-26). Suppose c = -5*i + 12. Solve 10 + 20 = -5*b - 5*p, i*p = 4*b for b.
-2
Let s be (-20 - 1)*45/(-21). Solve -x - 4*b - 16 = 0, b + 4*b = 5*x - s for x.
4
Let j(p) = p**3 - 8*p**2 + p - 4. Let x = 18 - 10. Let k be j(x). Let y be k + 0 + 1 + -2. Solve 5*u + 17 = 4*h, -y*u = -h + 4 + 2 for h.
3
Suppose -2*k + 10 = -3*k - 4*g, 3*g = -9. Suppose -6*o - 2*i + 12 = -2*o, 0 = k*i + 8. Solve 0 = -4*d + 6*d + 3*l - 3, 0 = -5*d - o*l for d.
-3
Let l(j) = j**2 + 21*j + 8. Let z be l(-21). Suppose -4 = -p - 0. Solve x - 15 = -b + 6*b, 0 = p*x - 3*b + z for x.
-5
Let f(k) = -3*k**2 - 19*k + 11. Let a(u) = 2*u**2 + 10*u - 6. Let m(g) = 7*a(g) + 4*f(g). Let i be m(3). Solve -4*v = -12, -i*c + 0*v - v - 1 = 0 for c.
-2
Suppose -3*r + 124 = -4*d + 52, 3*r = 3*d + 69. Solve 3*u = 3*k + k + 5, 4*k = -r for u.
-5
Suppose -26*i - 24 = -4*l - 30*i, 4*l - 17 = 3*i. Solve -5*r - 1 = 4*t, l*t - 3*r + 21 + 8 = 0 for t.
-4
Let h(l) = -l**3 - l**2 - l - 2. Let g be h(-2). Solve g*z + 3*n = 14, 2*n - 3*n - 6 = -4*z for z.
2
Let q be (6/(-12))/((-2)/20). Solve -p + 8 = 5*g - 2*p, 0 = -5*g - q*p + 20 for g.
2
Suppose 3*a + 8 = f + 3, -4*a + 3*f - 15 = 0. Solve 8*b + 2 = 6*b - o, a = o for b.
-1
Suppose 0 = -2*b + 20 - 12. Let t(v) = v - 3. Let k be t(3). Suppose -4*g + 20 = k, g + g - 4 = q. Solve -2*o = -q*m + 2*m - 16, b*o = 0 for m.
-4
Suppose 3*h + 4*v = 11, 5*h + 3*v = 42 - 9. Solve -2*x - s - 3*s = 28, -5*s - h = -4*x for x.
-4
Let o = 14 + 18. Suppose -2*h - o = -4*h. Suppose -h = -5*i + 2*i - 4*d, -4*i - 4*d + 16 = 0. Solve u + 10 = -5*v, i*v - v = -4*u + 2 for v.
-2
Let o = -88 + 93. Solve -j + 2*a = -2, -j = -3*j - o*a - 23 for j.
-4
Let n = -8 + 10. Solve n = -3*p - 5*d, -2 - 1 = -p + 2*d for p.
1
Let h be (-2 + 9/(-3))*(1 - 2). Solve 0 = a - c - 3*c + 16, -33 = -2*a - h*c for a.
4
Let g = 139 - 137. Solve 2*q + q + g*f + 23 = 0, 0 = -4*f - 16 for q.
-5
Let i(s) = -2*s**3 + 50*s**2 - 2*s + 58. Let o be i(25). Solve 4*f = 4*g - o, -g - f - 20 = 4*g for g.
-3
Let z(w) = -w**2 + 11. Let g be z(3). Solve -4*k = -5*t - 32, 0 = -t - g*t + 2*k - 18 for t.
-4
Suppose -o + 2*b = 0, -2*o + 9 = o + 3*b. Let a(s) = s**3 - 10*s**2 - 3*s + 4. Let v be a(10). Let k = 30 + v. Solve 0 = 4*r - k*p, -o*r - 40 = r + 5*p for r.
-5
Suppose 5*a + 5*c - 20 = 0, 12 = 3*a + 2*c - 5*c. Solve 0 = -2*h - 2*l - 2, -3*h + a*l = 2*l - 22 for h.
4
Suppose -14 = -4*d + 126. Suppose d*v - 29*v - 12 = 0. Solve 2*s + a + 3*a + 18 = 0, -v*s - 2*a - 14 = 0 for s.
-5
Suppose 56 = 3*c - 4*p, -2*c + 63 = 2*c - 3*p. Let h = c + -8. Suppose -h*s + 20 + 4 = 0. Solve -5*g = 3*d - 5, s*d - 4*g = 2*d + 28 for d.
5
Let l = -9 - 35. Let u = -42 - l. Solve -2*z - 4 = c, 3*z + u*z - 2*c = -1 for z.
-1
Let t = 5 - 4. Suppose -16*g + 18*g - 10 = 0. Solve 3*p = 0, z + 3*p - g = -t for z.
4
Let o(x) = -x**2 - 8*x - 8. Let l be o(-6). Let m be (9/3 - -33)*(-20)/12. Let c = -55 - m. Solve -z = 2*s - l*s + 7, c = 5*z for s.
4
Let z = -121 - -82. Let p = -37 - z. Solve 2 = u - 3*u, -p*x - 7 = u for x.
-3
Suppose 9 = -2*t - 4*q - 7, -2*q = 4*t + 2. Solve f = -3*c - t*f - 15, -c = -f + 5 for c.
-5
Let h = -323 - -324. Solve 4*y - 3*y - h = -3*u, -3*y = 3*u + 9 for u.
2
Let y(l) = -2*l**3 + 7*l**2 + 3*l**3 - 2*l**3 + l - 1 + 9. Let k be y(7). Solve 0 = 2*t + t - k, -2*j - 31 = -5*t for j.
-3
Suppose -5*h = 69*d - 74*d + 15, 0 = -3*h + d + 1. Suppose -2*n + 16 = -18. Let r = -11 + n. Solve 5*z + 0*z = 5*y + 5, -r = h*z - 4*y for z.
5
Let h = 13 + -9. Let r = 15 - 10. Suppose -4*j + 19 = r*i, -7*j = -2*j - 4*i - 34. Solve -4*v - 41 = -3*u - j, 4*v + h*u = 0 for v.
-5
Let y be 5/(-4 - -3) - -7. Solve 4*x + y*p - 18 = -p, -3*p = 5*x - 21 for x.
3
Let k(c) = -2*c**3 + 2*c**2 + 6*c - 4. Suppose 2*m - 4*m = l + 6, -2*m = -2*l + 12. Let a be k(l). Solve 0 = -3*w + 4*p - a*p + 28, -2*p - 20 = -3*w for w.
4
Let w be 68/(-3) + 4/6. Let k(s) = -3*s**3 - 2*s**2 - 3*s + 3. Let b be k(2). Let a be w/(-5) - (-14)/b. Solve -4*i = -2*v + i, 0 = -a*v + 4*i - 12 for v.
-5
Let o(c) = c**3 - 14*c**2 + 14*c - 14. Let v be o(13). Let l(m) = 2*m + 2. Let u be l(v). Solve 0 = z - 2, 2*f + 4*z = -u*z for f.
-4
Suppose -2*o + 31*u - 32*u = -6, -6 = -4*o - 5*u. Let y(n) = -n**3 + 6*n**2 + 3*n - 1. Let m be y(6). Solve -5*z - m = -v, -3*v = o*z - 2*z for z.
-3
Let i be -15*(-20)/(-24)*(-8)/20. Solve -3*y = 3*o - y + 19, -3*o - i*y - 25 = 0 for o.
-5
Suppose 5 = 118*d - 117*d. Solve d*h + 