u + 5 for h.
5
Let u(d) = 6*d. Let v be u(4). Suppose 0 = v*i - 20*i - 4. Suppose -i = -8*w + 7. Solve 8 = -2*l - h - w, 4*h + 12 = 4*l for l.
-2
Let t(p) = 12*p**2 - 10*p - 5. Let s be t(2). Solve 2*g - s*o + 10 = -27*o, g + 7 = -3*o for g.
-1
Let f(g) be the second derivative of g**4/6 + g**3 + 15*g**2/2 - 22*g. Suppose 5 + 7 = -4*o. Let b be f(o). Solve s + 6 = 2*h + 3*s, 5*h - b = s for h.
3
Let o = -50 - -37. Let a = o - -33. Suppose -27*z + a = -23*z. Solve -4*s + 6 = y - 13, 0 = s - z*y + 11 for s.
4
Let i(n) be the third derivative of -n**6/30 + n**5/30 - 5*n**4/24 + n**3 + 19*n**2. Let v be i(2). Let l = v + 29. Solve -5*r - 19 = l, -3*o + 4*r = -22 for o.
2
Suppose -4 = -2*w, -2*w - 20 = -9*f + 3*f. Solve -z + 2*o = f*z - 5, 4*z - 2 = 2*o for z.
3
Suppose 11*a + 20*a = -38*a + 276. Solve -2*s - a*d - 14 = 0, 5*s = 5*d + 47 - 22 for s.
1
Suppose 0 = 8*z - 3*z - 20, 2*z = -x - 173. Let g = -179 - x. Solve 6*m - 3*p = m - 8, -g*p + 5 = -3*m for m.
-1
Suppose -2*w + 24 = 2*d, 4*w + 2*d = 7*d + 84. Solve 4*q = q + 3*n, q + 3*n = w for q.
4
Let z(n) = -n**2 + 22 - 4 + 14. Let l be z(0). Suppose 0 = -3*p - 5*p + l. Solve -24 = -2*v - 5*s, 9 + 7 = p*s for v.
2
Let t(w) = 34*w**2 + 103*w + 6. Let a be t(-3). Solve -4*j = -z - 22, -6*j = -5*j + z - a for j.
5
Let b(i) = -i**2 - 26*i - 17. Let h be b(-24). Let g = h - 31. Solve -3*t + 5*v - 37 = 0, -v + 1 + 4 = g for t.
-4
Let a be 3 - 8 - -11 - (48/8 - 4). Solve -a*r + 25 = 5*v + 20, -5*v - 2*r = -5 for v.
1
Suppose -283 = 5*o + 2*v, 0*v + 111 = -2*o - 3*v. Let d be 482/8 + (-4)/16. Let m = d + o. Solve q = 2*y + m, 3*q + 3*y = -0*y + 9 for q.
3
Suppose 72 = 8*p - 4*p + 2*z, -4*z - 16 = -2*p. Suppose 0 = -p*s + 172 + 68. Solve -5*j + 3*d + 4 + 3 = 0, 0 = -5*j - 5*d + s for j.
2
Let i be (1*-12)/(-4) - 4. Let p be i*(-18)/12*(3 - 1). Solve -5*g = 3*x + 1, -g = 3*g - p*x + 17 for g.
-2
Suppose 5*p - 3 = 2*u, 4*u = -4*p + u + 7. Let o = p - -3. Suppose -4*h = 3*c + 9, 148*h = 145*h + 4*c + 12. Solve 4*t = 3*y, h = -0*t - o*t - y for t.
0
Suppose 3*c + 2*x = 1, x = -708*c + 707*c - 1. Solve c*a + 0 = 3*m + 9, 4*m - 5*a = -17 for m.
2
Let w(t) = 2*t - 8. Let r be w(6). Let b = r - -3. Suppose -4*l + 3 = v, 3*v + 2*l = -v + 12. Solve v*j + 12 = 0, 3*j - 16 = 2*f + b*j for f.
0
Let t(w) = w + 5 + 4*w + w**3 + 1659*w**2 - 1657*w**2 - 2*w. Let y be t(0). Solve 3*v = -0 + 6, 5*g + y*v = 10 for g.
0
Let w = 439 - 436. Let h be ((-1)/w)/((-7)/(-1 - -43)). Solve 0 = -h*j + 4*i, -8*j + 4*j = -2*i - 6 for j.
2
Suppose -56*y - 36*y + 15606 = 61*y. Solve 3*i - 5*w = 15, 4*i = -4*w - y + 122 for i.
5
Let x be 6 + -3 + -12 - -21. Let c = -10 + 10. Solve 3*a - 2*j + x = 0, c = 4*a + 2*j + 20 - 4 for a.
-4
Let r = 16 + -11. Suppose -3*n - 2 = -4*m + 21, 4*m = -r*n + 15. Let y be (-4*(-4)/(-24))/(4/(-18)). Solve 4*h = y*w + 2*h + 1, m*w = 3*h for w.
3
Suppose 5*r + 28 = 3, -a = 2*r + 6. Suppose 5*w + 10 = 0, a = 5*t + 11*w - 13*w. Solve 5*k - 2*y - 2 = 0, 5*k + 2*y + t = -2 for k.
0
Let b = 150 - 74. Let s = b - 68. Suppose 3*q - s = 7*q, -3*k - q = -1. Solve -3*l = -2*r + 9, -2*r + k = -l - 2 for l.
-3
Suppose -12*v - 4 = -7*v - 6*v. Let f(g) = -g**2 - 5*g - 4. Let p be (16/(-20))/(2/10). Let z be f(p). Solve 2*q = 3*s - 2, -8 = -v*q - z for s.
2
Suppose -126*f - 474 + 726 = 0. Solve 7*k - 4*k + f*a - 22 = 0, 5*k - a - 15 = 0 for k.
4
Let n be (-2 - 1) + 6 + (30/(-3))/10. Solve 0 = -4*k + 16, -4*f = -n*k + 6*k for f.
-4
Suppose -2*c + 60 - 66 = q, 0 = -2*q - 3*c - 8. Solve 3 = 4*i + k - 4, 8 = q*i - 4*k for i.
2
Suppose -u = -5*h + u + 16, 4*h - 20 = -2*u. Let q be -94 + 10/15*-3. Let k = -67 - q. Solve 4*c - 21 = 2*i - i, -5*c + h*i + k = 0 for c.
5
Suppose 0 = 2*q - 4 - 4. Suppose 3*a - q*a = 3*a. Suppose -4*h + 46 - 6 = a. Solve h = 6*s - s, -4*k = -2*s + 12 for k.
-2
Let m = 409 - 407. Suppose 2*z = -m + 8. Solve 4*c + 4 = 0, c = 4*f + z*c - 18 for f.
5
Let c = -176 - -190. Let f be c/3 - -3*(-10)/45. Solve 8 = -3*n - n + f*x, -10 = -5*n + x for n.
3
Suppose -2*i + 3*u + 4 = 0, i - 4*u - 161 = -159. Solve 4*j + 14 = 3*p, -i*j = -4*j + p - 6 for j.
-2
Let s(c) = c**3 - 14*c**2 - 11*c - 41. Let z be s(13). Let u = z + 358. Solve -3*l - l - u*n = -11, -5*n = 5*l - 10 for l.
-1
Let c(p) = p**2 - 13*p + 8. Let o be c(9). Let w be 4/3*-26*9/12. Let f = w - o. Solve -4*m + 4 = 0, -5*m + f = n - 3 for n.
0
Suppose -6*k + 7*k + 3 = 0. Let t be k + 9 + -3 - -2. Suppose -5*i + 17 = -33. Solve -t = -5*c - 2*f, -i = -3*c + 3*f - 28 for c.
-1
Suppose -3*f = -4*s + 59, -4*f - s = -9*f - 104. Let j(t) = -t**3 - 21*t**2 + 2. Let x be j(f). Solve -2*m - 2*m + x = -3*d, -3*d - m = -8 for d.
2
Suppose 3*f = 5*c - 4, -7*f + 4*c = -4*f + 2. Solve -f*r + 3 = -r - 2*q, 4*r = -5*q + 25 for r.
5
Let c(v) = -1229*v + 8739. Let n be c(7). Solve 3*m - 120 = -5*u - n, -2 = u for m.
-2
Suppose 3*m = -4*r + 6, 4*m = 8*m - 3*r - 8. Suppose -7*p = -4*p + l - 8, 0 = 2*p - m*l. Solve -2*k = -3*x + 17, k - 2*x - p*x + 16 = 0 for k.
-4
Let t = 685 - 683. Suppose -7*s - t = -23. Solve -2*l + 15 = 3*y, -5*l = -12 - s for y.
3
Let r(a) = -265*a + 2122. Let b be r(8). Solve -3*d + d = -f + 7, 4*f + 5*d - b = 0 for f.
3
Let h be (-19 + -1)*1*(-2 - -1). Suppose -h = -9*m + 16. Solve -13 = -6*k + 2*k + s, -4*k + 28 = m*s for k.
4
Suppose 0 = -2*q - 18 + 26. Suppose 17*h = -3*v + 15*h + 20, -2*v + q*h = 8. Solve -v*s - j = 4*j - 3, 4*j - 12 = 0 for s.
-3
Let j be 29/((-116)/(-15)) - (-20)/16. Suppose -5*h - 4*o + 5 = 0, -h - 3*o = -0*h + 10. Solve j*b = 4*v + h, 2*v - 2*b + 6 - 2 = 0 for v.
-5
Suppose 0*a = -2*a. Suppose 58*u = -457*u. Solve a = -2*p + 5*k, u*k - k = 5*p for p.
0
Suppose 48*n = 45*n. Suppose -5*f + 3*f - 4*c - 50 = n, -f - 5*c - 19 = 0. Let a = -29 - f. Solve -3*r + 2*b - 8 = 0, a = -4*b + 5 - 1 for r.
-2
Let f = 5356 - 5353. Solve 5*v - 5*b - 30 = 0, v - 22 = -3*v + f*b for v.
4
Suppose 0 = -h + 5 + 9. Suppose h = 2*u + 2. Suppose 45 = 21*m - u*m. Solve 2*k = -3*g - 11, g + 4 = -4*k - m for k.
-1
Suppose 65*x + 58*x - 2548 = 32*x. Solve -x = -4*s - 2*i, -38*i = -2*s - 36*i + 8 for s.
6
Suppose 148*u = 3*q + 152*u - 61, 118 = 4*q - 2*u. Solve 2*r + 32*v = q*v + 7, 3*r = 4*v + 22 for r.
6
Let x be -5*1 + 9 + 1023. Let r = x - 1021. Let h(q) = -q**2 - 3*q + 2. Let p be h(-3). Solve -5*s + 4*k = 14 - r, -10 = -p*s - 5*k for s.
0
Let c be -8 + -3*128/(-24). Suppose -89*d + 87*d = -c. Solve 4 = d*n + 2*x, n - 3*x + 13 = -0*x for n.
-1
Let i = -4716 + 4724. Solve -4*g - 5*u = 26, 25*u - i = 29*u for g.
-4
Let z be (6/9)/(2*1/42). Suppose -9*t + z = -2*t. Suppose -t*f - 29 - 61 = -5*n, n - f = 15. Solve n = -2*k - 5*r, k - r + 0 = 4 for k.
0
Suppose -64*k + 60*k = 188. Let b = k - -52. Solve b*y + 3*g = -g + 3, -4*y + 3 = 3*g for y.
3
Suppose 302*a - 319*a + 51 = 0. Solve -4*n + i - 18 = 0, -a*n - 11 + 2 = -3*i for n.
-5
Suppose 146 = -5*t + 176. Solve -t = -13*x + 16*x, 0 = -3*z + 5*x - 2 for z.
-4
Let t = -471 + 471. Suppose -o = t, -2*k - o - 73 = -81. Solve 0*h - 3*y + 5 = -5*h, 3*y = k*h + 4 for h.
-1
Let u(h) = -2*h**2 + 24*h - 7. Suppose -58 = -5*d - v, -10 = -4*v + 2. Let m be u(d). Solve 0*y - 4*n + m = -y, -4*y = 4*n for y.
-3
Let u = 3 + 2. Suppose -10*t + 63 = 3*o - 7*t, 2*o = -t + 39. Suppose u*b = l + 81, 0 = 4*b - 2*l - 48 - o. Solve 3 = -k, p - 3*k + 3 - b = 0 for p.
4
Suppose 14580 = -33*n + 14745. Solve -25 + 5 = n*f, 2*d + f + 2 = 0 for d.
1
Suppose -27 + 47 = 2*m. Let a be ((-35)/15 - -5)*(m + -4). Solve 4*u = -z - 1, 0*z + 3*z + a = u for u.
1
Let l = -5 + 95. Let u = l + 18. Suppose 0 = -11*d + u + 24. Solve -2*a = 2*p + 3*a + 16, -d = -4*p + a for p.
2
Let g be -6 - 15/10*-12. Solve y - g = 4*o, 5*o + 2*y = -y - 15 for o.
-3
Let z(j) = -4*j**3 - 7*j**2 - 8*j - 3. Let a be z(-2). Suppose -a*r = -16*r. Solve -5 = 2*t - 3*p, r*t - 25 = -5*t - 5*p for t.
2
Let h be (-15)/(-2)*(-32)/(-40). Suppose -h = -47*b + 45*b. Suppose -b - 15 = -9*k. Solve 5*j - k*v + 33 = 0, -2*j + 5*v = -4*j + 10 for j.
-5
Suppose 2*r = 5*p - 47 + 35, 4*r = 4*p. Solve p*b - 20 = -v - 2*v, 0 = -3*b + 2*v + 15 for b.
5
Let g be (-44 + 46)/(5/(-40)*-2). Solve 0 = 4*w + 2*b + g, 9*b - 11 = 3*w + 8*b for w.
-3
Let a be (-305)/(-15) - (-4)/6. Let g be (a/(-18))/((-2)/12). Let q = g + -3. Solve -5*s = -5*c - 5, -5*s + 5 = -q*c - 4 for c.
4
Let d be (63/(-