 h.
3
Let s be (74 + -70)*(0 - -5). Solve -4*a + s = -2*n, -6*n - 18 = -2*a - n for a.
4
Suppose -387*n + 381*n = -30. Solve 4*h + 5*g = 30, n*h + 5*g - 21 = 14 for h.
5
Let s = 16 + 19. Let j = s + -35. Solve -3*b - 8 - 7 = j, -q = -5*b - 30 for q.
5
Suppose 3*j = 0, -4*h - 7 = -4*j - 43. Solve 3*u - h = 5*b + 1, -4*u - b - 25 = 0 for u.
-5
Let n = -106 + 52. Let k = n - -58. Solve 5*j = -5*g + 10, -5*g = -3*g + k for j.
4
Let g = -208 - -208. Solve g = -4*t + 3*a - 8*a, 0 = 5*t - 4*a for t.
0
Let a be ((-9)/3)/(12/(-8)). Suppose -2 = a*v - 10. Solve 3*p + 13 = 4*t, v - 9 = -p - t for p.
1
Let m = -127 - -124. Let s be (9/((-54)/(-8)))/((-2)/m). Solve -d + s*h = -20 + 7, 5*h = 2*d - 31 for d.
3
Let f(m) = 2*m**2 - 7*m - 7. Suppose -r + 21 = -0*r - 4*k, 4*r - 2*k = 28. Let h be f(r). Suppose 5*o - 3*o = h. Solve -o*l - 4*g = g - 22, l - 13 = -5*g for l.
3
Suppose -16*y = 26 - 58. Solve 4*c - 10 = -3*p, -4*c - y*p + 7 = -1 for c.
1
Let g = 40 + -35. Suppose -g*z + 25 = -2*o, -5*z + 40 = -o - 4*o. Solve 0 = -t - 4*h - 11, -3*t - 2*h = z*h + 12 for t.
1
Let k(i) be the first derivative of 1/2*i**2 + 3 + i. Let t be k(2). Solve -4*o - t*b = -3, 3*b - 5 = -5*o - 2 for o.
0
Let w(q) = -12*q - 732. Let o be w(-61). Let d = -9 - -5. Let r(k) = -4*k - 1. Let p be r(d). Solve -2*n - 5 = -3*b, -p = -o*b - 5*b + 5*n for b.
-1
Let x be (8/(-6))/(-4*11/132). Solve -3 = -3*w, -2*w + 31 = -x*h + 9 for h.
-5
Let q(y) = 6*y + 88. Let v be q(-14). Solve -n + v = 3*b, 3*n = 2*b + 3*b - 30 for n.
-5
Let y = -17 - -37. Let p = -8 + 8. Suppose p = -23*b + 26*b. Solve -4*w - 2*n = y, b + 5 = -w - 2*n for w.
-5
Suppose 0*w = 3*w + 7*w. Solve -k + w*k = -c + 2, 5*c + k + 2 = 0 for c.
0
Let d(c) = -2*c - 14. Let a be d(-8). Suppose 5*i - 25 = a*g, -3*g = -8*i + 4*i + 20. Solve g = -3*l + b - 9, -2*l - b = -4*b - 1 for l.
-4
Suppose n - 8 = -2*k, -5*k - 4*n = -9*k - 8. Suppose -2*g - 28 = -6*y + 2*y, 0 = -2*g - 8. Solve 13 = -2*x - k*h - 7, 0 = -2*x + 3*h + y for x.
-5
Suppose -u = -3*u - 3*l - 3, -4*l = -5*u + 50. Solve -u*i + i + 10 = 3*w, -3*w - i + 14 = 0 for w.
5
Let o = -87 + 91. Solve -k + 13 = -2*k + 2*f, -f = 3*k + o for k.
-3
Let c(k) = -k**3 - 12*k**2 + 12*k - 25. Let q be c(-13). Let p(g) = -2*g - 18. Let w be p(q). Let j = -1 + 1. Solve 4*v = 4*f, 3*v + j = f - w for v.
-3
Let d = 75 - 89. Let p be (4/(-3))/(d/84). Solve 5*t - 4*t = -2*c, 0 = -4*c + p for t.
-4
Let z(b) = -b**2 - 20*b - 33. Let p be z(-18). Solve 4*k + 7 + 9 = -2*a, p*a - 4 = k for k.
-4
Suppose 220 = 5*l + z - 3*z, 3*l = -z + 143. Suppose -2*v + l = -4. Solve -v = 3*i + s + 4*s, 2*s = -10 for i.
0
Let t = 2 + 1. Suppose 4*d - 3*d = y + 40, -4*d - 2*y + 136 = 0. Solve -p = t*p + 5*k - d, 0 = -5*p - 4*k + 36 for p.
4
Let x = -25 + 29. Solve -5*f - v + 10 = 0, 0*f + f - v = -x for f.
1
Suppose -27*y = -30*y. Solve 2*s - 2*t = -10, s + 3*t + y*t = -5 for s.
-5
Let h be 3/(-3*(-2)/6). Suppose -m + 0*m = -5*i + h, -3*m = -6. Let t(n) = 14*n**3 + n - 1. Let z be t(i). Solve -5*r - z = -2*p - p, -5*r + 7 = 4*p for r.
-1
Let n be 3/36*4*0. Suppose -j + 2*j = n. Solve 4*w + k = -17, 3*w + j = 3*k - 9 for w.
-4
Suppose -i - 201 = -4*i. Suppose -4*k - 3*v = 863 + i, -2*k = 3*v + 468. Let a be 6/4 - k/14. Solve t - d = -4*t + a, -d = -4*t + 15 for t.
3
Let i(l) = l**2 - 6*l - 25. Let m be i(9). Solve x + m = -2*o + 3, 5*o = 15 for x.
-5
Let c(d) = -d**3 + 10*d**2 + 12*d - 7. Let u be (-3)/(-1 + 40/55). Let h be c(u). Solve h*f - 2*o = -24, -4*o + 16 = -f + 3 for f.
-5
Let p = 9 + -2. Let a = 8 - 3. Suppose 4*d - 18 = -u - u, 25 = a*u. Solve 0 = -g - p*k + 3*k + 17, -22 = -d*g - 5*k for g.
1
Let f = 1011 + -1006. Solve -2*h + 7*l - 22 = 3*l, -h = 2*l - f for h.
-3
Suppose -2 + 0 = -u. Let k be 0/11*((-1)/1 - -2). Solve -4*v - 16 + 0 = k, -u*v + 1 = 3*l for l.
3
Let k = 39 - 7. Suppose -6*i = -i + 3*p - 32, 0 = -i + 2*p - 4. Suppose 0 = -i*a - v + 32, 5*a + v - 7 = k. Solve 3 = w - f, 6*f + a = -w + 2*f for w.
1
Suppose -6*w = -4*w. Let m be (-2)/(-4)*w - -3. Solve -b - 2 = 4*d, 3*b - m*d - 4 = -5*d for b.
2
Let s = 18 + -15. Let j be ((-8)/(-10))/((-12)/(-30)). Suppose -5 = n - j*n. Solve -2*p = -4*d - 8, -s*d + n*p - p = 6 for d.
-2
Let r be 6 + (-1)/(1/(-8)*-4). Suppose r*t = 2*t + 4. Solve 5 - t = 3*a - 4*j, 0 = 4*j for a.
1
Let k be (-2)/12 - (-40)/(-48). Let t be 1*(k + 3) + -1 + 1. Solve -t*s = -4*z + 2, z - 5 = s - 5*s for z.
1
Let t be 116/28 - (-7)/(-49). Solve 0 = 2*h + j + 11 - 0, 5*j = t*h + 15 for h.
-5
Let o(m) = -m**3 - 15*m**2 + 11*m - 78. Let j be o(-16). Solve -5*p = 10 + 15, j*t + 5*p + 17 = 0 for t.
4
Suppose 7*m - 18 = m. Suppose 5*n = 5*y - 20, 5*y - m*n - 4 = 8. Solve 3*r + y*r - 5 = h, 0 = 2*r for h.
-5
Let h(j) = -j + 53. Let f be h(50). Solve 0 = f*s - 12, 4*c - s + 13 + 11 = 0 for c.
-5
Let u be (-2)/(-7) + (-2656)/(-112). Suppose -u + 18 = -2*o. Solve 2*i - o*f = -2*i + 6, -3*f - 6 = -i for i.
0
Let b(y) = y**3 + 4*y**2 - 8*y - 12. Let h be b(-5). Suppose -2*s + 3*p + 3 = 0, 2*s = h*s - 3*p. Solve 4*m + 24 = x, 4*m + 2*x = -s*x for m.
-5
Suppose -7*a = 2 - 107. Solve k = -m + 1, -3*k = m + 2*k + a for m.
5
Suppose 5*i + f - 26 = 0, -5*i = -0*i - 5*f - 50. Solve 2*h = -c - 8, -5*h + c - 25 = i*c for h.
-3
Let u = 1131 - 1128. Let p be (-1)/(-3) + (-70)/(-15). Suppose -5 = -p*h + 5. Solve 5*y - h = -k + u, -k = -y + 7 for k.
-5
Let u(w) = 2*w - 4. Let i be u(4). Let b(j) = j**3 + 7*j**2 + 7*j - 4. Let f be b(-4). Let r = f + 19. Solve -5*v = -5*p + r, -i*v - 9*p - 10 = -4*p for v.
-5
Let g(h) = 12*h + 29. Let f(p) = -4*p - 10. Let v(r) = 7*f(r) + 2*g(r). Suppose 3*j + 22 = 4. Let i be v(j). Solve -m - 5 = -4*b, 0 = 5*b - 2*m + 2 - i for b.
0
Let v = -296 + 312. Solve 3*c + 3*z = 0, c - 2*z + v = z for c.
-4
Suppose -5*d + 2*d = -18. Let r be (d + -4)*(-1 - -2). Let g = 9 + -4. Solve -o + g*x = -3, 0 = -r*o - o - x - 7 for o.
-2
Let u(a) = a - 2. Let k be u(-7). Let b be (-1 + k)*9/(-18). Solve -4*w - 11 = -b*n, -2*w = 2*w + 16 for n.
-1
Let r(f) = f**3 + 16*f**2 - 18*f - 14. Let z be r(-17). Suppose -5*v = -20, 4*g + z*v - 8*v + 4 = 0. Solve -j + 4*j = -5*d + 25, 0 = -g*j - 2*d + 24 for j.
5
Let b be (-4)/10 - 36/10. Let x be (-34)/(-6) - b/(-6). Let q be 34/3 + (-384)/288. Solve -v + a = -q, x = -v - v - 3*a for v.
5
Let d be (-11)/(-2) + 3/(-2). Suppose 2*c + 3*c + 5 = 0. Let f be c/(-3) - (-83)/3. Solve -d*a - f = 2*v, 0*a + 4*a + 5*v = -40 for a.
-5
Let i(y) = -y**2 - 13*y - 10. Let u be i(-12). Suppose -3*l + 48 = 3*d, u*l + 0*d - 27 = -d. Solve 2*x + 3*x - l = 3*n, 3*n + 3*x = 21 for n.
3
Suppose c - 3*v - 21 = 0, c + 6*v - 1 = 5*v. Solve -18 = 4*b + 5*z - c*z, b - z = -3 for b.
-5
Let u = 1 + 4. Suppose 2*q - 4*p = 4, 22 = 3*q + 3*p + 7. Suppose q = -50*v + 51*v. Solve v*d - 2*d + 6 = 5*r, d + 3 = u*r for r.
0
Let x = -30 - -33. Suppose 0 = -x*l - 0 + 9. Solve -2*v + r + 1 = -v, -2*v = l*r + 18 for v.
-3
Suppose -19*q = -14*q - 600. Let y(b) = -2*b + 13. Let w be y(9). Let i be (2/w)/((-16)/q). Solve 3*r - 5*j + 12 = 0, i*j - 25 = 5*r - 5 for r.
-4
Suppose 3*r - 14 = -2*w + 5*r, -2*w + 9 = 3*r. Suppose 0 = -0*v + 3*v - w. Let q(o) = 3*o - 11. Let k be q(5). Solve k*s = 4, s = -v*g - s + 6 for g.
2
Suppose 2*n = 6 + 14. Suppose 2*v - n = -3*v. Suppose 4*y + 5 = 3*s - 0*y, -2*y = v*s - 8. Solve -d = -o + s, 9 = -2*o - 5*d - 13 for o.
-1
Let m be 6/(-4)*402/(-9). Let s = -64 + m. Solve 2*r - 5 - 2 = -s*c, -31 = -3*c + 4*r for c.
5
Let u be -1 + 4*52/(-1 - 3). Let d = u - -55. Solve -x = -3*m + 4*x - 25, -d*m = 5*x - 25 for m.
0
Let b be (-3)/(24/(-4))*-58. Let a = b + 51. Suppose 5 + a = 3*h. Solve 2*g = -4*v + 1 - h, -20 = v + 5*g for v.
0
Suppose 9*o - 8*o - 72 = 0. Let y be (-4 - 0)*63/(-12). Suppose -y = 3*f - o. Solve 10 - 3 = -3*v - 4*b, 3*v - b + f = 0 for v.
-5
Let i = -19 + 35. Let w be (3 - 3)/(6 - 1 - 7). Solve 3*t - 3*z + i = z, 3*t + z + 11 = w for t.
-4
Let r be 45/6*2/1. Let u be r/10 + 10/4. Solve 10 = u*n + 2*i - 4, -4*n + 3*i + 9 = 0 for n.
3
Let l(m) = -m**2 - 7*m + 11. Let w be l(-8). Suppose -2*v - 2*f + 3 = -w, 0 = 2*f + 4. Solve -4*q = -i + v*i + 16, 4*q + 2 = 3*i for i.
-2
Let f(q) = q**3 - 4*q**2 - 4*q - 2. Let k be f(5). Suppose -2 = -k*i + 4. Let s(p) = p**2 - 3*p + 3. Let y be s(i). Solve -2*t = x - y, 0*t - t - 4 = -x for x.
3
Let j = 15 + -