h for u.
-2
Let d be -3 - -1 - (-4 - 1). Suppose 93*f + 375 = -154*f + 372*f. Solve 3*t + 9 = 3*s - f, d*t + 9 = 0 for s.
1
Suppose 14*z - 38*z + 72 = 0. Solve 7*q - 5*g - 11 = 9*q, -15 = -z*q + 3*g for q.
2
Let n(m) = -3*m**2 - 33*m - 27. Let t be n(-10). Solve -24*q = -3*r - 26*q + 16, -t*r = 4*q - 20 for r.
4
Suppose 4*k = 4*b - 142 + 858, -2*k + 356 = -4*b. Let h = k - 168. Solve y + 15 = 5*d, -3*y + 7*d - h = 3*d for y.
0
Suppose 8*z - 5*z - 81 = -5*i, -5*z - i = -135. Suppose -123 = -z*l - 15. Solve -1 = -3*r - 4*g, -l*g = -4*r + 19 + 1 for r.
3
Suppose -128 = 2123*s - 2131*s. Solve s = -y - 5*u - 8, 2*u = 2*y for y.
-4
Suppose 15*z + 48 = 27*z. Solve 0*o + q = 2*o - 2, -o - 13 = -z*q for o.
3
Let f(z) = 27*z - 5. Suppose -3*m + 7*m - 4 = 0. Let n be f(m). Solve -2*v + v + 4*u - 10 = 0, -5*v - 4*u = -n for v.
2
Let d(w) = -w**3 + 7*w**2 + 85*w - 66. Let k be d(13). Solve -5*o = 5*j - 14 + 9, 5*o - 5*j + k = 0 for o.
-2
Let i(f) be the second derivative of f**5/10 + f**4/12 - f**3/2 + f**2 - 31*f. Let t be i(1). Solve -17 = -4*b + r, t*b + 10 = 4*b - 2*r for b.
4
Let w = -52 + 55. Suppose 32 = 2*z + 5*g + 3, w*z = 2*g - 4. Solve 0 = -4*f + z*j - 2, f + j - 3 = 2*f for f.
2
Let t(x) = 26*x - 11. Let g be t(1). Suppose -g = -24*y + 19*y. Solve 0*q = 2*v + 2*q + 6, q - 1 = -y*v for v.
2
Suppose 674 = 30*g + 584. Solve 5*o + 3 = -4*p, -g*p + 2*o - 7*o - 1 = 0 for p.
-2
Suppose -4*u - m + 12 = -131, -2*u + 94 = -4*m. Let o = 41 - u. Suppose -64 + o = -5*g. Solve 5*k = d - 3, 4*d + g = -k - 3*k for k.
-1
Let d = -240 - -272. Suppose 0 = 6*z + 2*z - d. Solve 5*g - 3*i = 0, z*g - 27 = -4*i + 5 for g.
3
Suppose 3*q - r + 1 = 0, -3*q + 5*r + 0*r - 5 = 0. Suppose 2*a + 10 = 5*s, -3*a + 2*s - 4*s + 23 = q. Solve 3*k - 2 = -3*p - a, 5*k + 9 = -p for p.
1
Suppose -4*h + 71 = 5*k + 34, 60 = 15*h + 3*k. Solve -h*u = 7*a - 2*a - 12, -4*a - 2*u = -8 for a.
0
Let k = -8706 - -8711. Solve 40*q - 41*q = -i, -4 = -k*q + i for q.
1
Let f be ((-2)/12*10)/((-949)/(-78) + -13). Solve 7*p = 8*p + 2*m, 3*p + f*m = 0 for p.
0
Suppose 5*h - 275 - 1390 = 0. Let s = h + -325. Suppose -4*n = -4*b + 12, b - 5 + 2 = -5*n. Solve 4*l - s = 4*i, 2*i + 8 = -0*i + b*l for i.
2
Suppose -3*o = -0*o - 12. Suppose 3*n + n = -4*w + o, -33 = -3*n + 3*w. Let v be -2 + n + (-2 - 6/(-6)). Solve 3*r - 4 = -3*q - 2*q, -q = v*r - 8 for r.
3
Let f(x) = -6*x**2 + 424*x - 277. Let z be f(70). Solve p + 1 = -z*l, -7*p + 8*p - 7 = 5*l for p.
2
Let x be -12 - -15 - (-1 + -3). Let r(p) = 10*p + x*p**3 - 6*p**3 + 9 - 13*p**2 + 15. Let l be r(12). Solve l = -5*b + 2*b + 3*i + 21, 5*i = -b - 11 for b.
4
Let b(a) = -25 - 19 + 13*a - 10. Let r be b(5). Solve 0 = 5*h - 3*g - 15 - 12, -g = 5*h - r for h.
3
Suppose 5*p - 10 - 5 = 0. Suppose z - p = g, 2*z + 3*g = -9 + 35. Suppose 3*y - 19 + z = 0. Solve 0 = -s + x + 3, y*s - 21 = -s - x for s.
4
Suppose -2*f + 342 = -8*f. Let a = 52 + f. Let u(k) = -k**3 - 4*k**2 + 4*k + 7. Let i be u(a). Solve 0 = 3*h + 4*j + 19, i = -6*j + 3*j for h.
-1
Let i(a) = 3*a + 35. Let u be i(-11). Solve -u*v + 4 = -5*q, -4 = -3*v + v - 5*q for v.
2
Let v be 2/6 + 10/6. Suppose -a = v - 5. Suppose 61*d + 327 = 571. Solve q - a*b - 10 = -d*b, 5*q = -b + 30 for q.
5
Let b be (4 + 16/(-5))*25/10. Suppose b*t - f = 11, -3*t = 16*f - 11*f - 10. Solve -t*c = i - 9, 2*c - 4*i = i - 18 for c.
1
Let n = 3251 - 3247. Solve -5*g = -n*f, -6 = 2*f + 18*g - 22*g for f.
5
Let i be 4/26 - 8/52. Suppose -3*y - 2*d + 22 = i, -8 = 5*d - 3. Let p be (4/(-5))/(y/(-400)). Solve -l - 10 = -3*q, 4*l + 4*q = -0*q + p for l.
5
Let i = -3837 + 3841. Solve r - 5*n + 5 = 0, -11 = -2*r - i*n - 7 for r.
0
Let q(f) = -46*f + 49. Let d be q(1). Solve -4*m - o = -15, -3*m + 5*o + d = 9 for m.
3
Let c be (((-19)/((-57)/60))/(4/(-4)))/(-2). Solve 0 = -5*n - 7*l + 3*l - c, 2*n + 5*l = -4 for n.
-2
Let w(f) = 2*f + 60. Let g be w(-29). Suppose -9 = -r - g*z, r + 7*z - 2*z = 18. Solve -r*u + s = -2*s - 3, -3*u - s - 13 = 0 for u.
-3
Let c be (3 - (12 + -4))/(1/(-3)). Suppose -76 = -13*v + c. Suppose -v*k - 1 = -22. Solve 0 = 4*a + k*q - 14, -a - q + 2*q = 0 for a.
2
Let r(g) = -g**3 - 4*g**2 + 7*g + 22. Let i be r(-2). Solve i = 3*s - 3 - 9, -w = 4*s - 18 for w.
2
Suppose 4*r + 11462 = 26*r. Let m = r - 516. Solve 5*y = d - 20, m*y - 4*d + 13 = -22 for y.
-3
Let o = -44 + 45. Suppose -7*q - 13 = o. Let y be 291/15 + (24/(-10) - q). Solve l = 4*s, -3*l - 2*s - y = -5 for l.
-4
Let l = -15 + 8. Let o(y) be the first derivative of y**2 + 14*y - 12. Let m be o(l). Solve -10 = -2*j - 4*s, m = 2*s - 2 for j.
3
Suppose 0 = 3*s + 315 - 480. Suppose 2*t = -3*q + 12, s*t - 52*t = -q + 32. Solve 4*k + 5*a - 16 = 0, t = 2*k + k + 4*a for k.
4
Let r(c) = 3*c - 9. Let l be r(10). Let s(m) = m**2 - 19*m - 30. Let x be s(l). Suppose x*o - 9*o = 21. Solve 3*i = 4*b + o, i + 20 = -4*b + 1 for i.
-3
Let d(n) = 5*n + 257. Let u be d(-51). Solve 2*a = -0*a + 3*l + u, 2*a = -5*l + 18 for a.
4
Let q(c) = 5*c**2 + 76*c + 134. Let y be q(-2). Solve t = -5*l, -2*t - 7 + y = 5*l for t.
-5
Suppose 206 = -5*x + 191. Let a be 2 + (2 - 3) + 5 + x. Solve -a*l = -4*l - 4*i - 8, 4*l + 15 = i for l.
-4
Suppose 32 = 25*u - 21*u. Suppose -5*b = -3*b - u, h = -b + 7. Solve 5*n = 4*g - 17, -h*g + 35 = -5*n - 8*g for n.
-5
Let l be (6 - 7)/((-12)/48). Solve 5*m = 5*x - 20, 4*m + 20 = 5*x + l for x.
0
Let b = -131575 - -131577. Let i be (2/5)/((-1)/(-10)). Solve -b*o = 3*k - i*o - 12, -4*k = 4*o + 4 for k.
2
Let m(y) = 2*y**2 - 12*y + 6. Suppose 23*i = 104 + 34. Let b be m(i). Solve -4*g - 4*a - 14 = -b*a, -5*a = 4*g - 7 for g.
-2
Suppose 4*d + i - 678 = 0, -3*d = 36*i - 32*i - 515. Suppose -d*x + 171*x - 6 = 0. Solve -2*f + x*k - 7 = 5, k = -3*f + 4 for f.
0
Suppose -5*l + 2*f = 16, 2*l + 16 = -0*l - 4*f. Let m be 1/l - (-212)/16. Solve 2*o = 2*z - 3*z - m, 0 = -2*o + 4*z + 2 for o.
-5
Let y be ((-423)/(-36) + -9)*-8. Let t be (-24)/(-44)*y/(-4). Solve t*v = -5*g - 6 - 4, -2*v - 2*g = 0 for v.
5
Let k = -4615 + 4618. Solve 6*x + 15 = 3*x - k*v, 20 = -4*v for x.
0
Suppose 76 + 68 = -6*z. Let w be (z/30 + (-14)/20)*10. Let t be (2 - 1)*(-5)/w*0. Solve 3*p + 3*k = 0, 3*p - 5*p + k - 3 = t for p.
-1
Let j(z) = 3*z + 2 - 22*z**2 + 23*z**2 + 0. Let i(q) = -q - 6. Let d be i(-3). Let v be j(d). Solve v*f + y + 3 = 0, -3*y - 2*y = -3*f + 28 for f.
1
Let y = 112 - 97. Suppose 7*f - 5*f = 5*a - y, 5*f - 9 = -3*a. Solve w - a*l = -17, 1 = 4*w + 2*l - 1 for w.
-2
Let v be (-45)/(-105) - (-991)/7. Let c = 147 - v. Solve 5*p + 19 = -3*f, 0 = -3*p - p - c*f - 23 for p.
-2
Let l(m) = m**3 + 3*m**2 - 2*m - 4. Let w be l(-3). Let r be ((-6)/(-10))/((-3)/(-10)). Solve -r*d + 6*d + w*o = 2, 4*d + 4*o = -4 for d.
2
Let s be 4455/627 + (-2)/19. Suppose s*l + 10*l = 34. Solve -k = 4*t - 24, l*t - 3 = -3*k + 19 for k.
4
Suppose -4*d - 4*l = -28, -4*d = 5*l - 17 - 15. Let h be (17/3 - d)/(3/9). Solve 13 = -2*r + 3*a, r - 4*a = -h - 1 for r.
-5
Let a(n) = n**2 + 166*n + 2275. Let x be a(-15). Solve 5*z - 5*d = 15, -9*z + x*z - 5*d - 11 = 0 for z.
1
Let w = -165 + 169. Let o be (9/w + (-6)/24)/1. Solve 5*g - 13 = 2*f + 2, 3*g - o*f = 9 for g.
3
Let g be -2 - ((-29 - -4) + 6*12/9). Solve -2*k - 3*l + 10 = -l, g = 4*k - l for k.
4
Let r = 473 + -465. Suppose 22*l = -r*l + 7*l. Solve l = j, -2*j + 0*j + 5 = 5*m for m.
1
Let q(u) be the third derivative of -u**4/4 - 19*u**3/3 + 45*u**2. Let w be q(-7). Solve 5*o + w = a - 5*a, 4*o - 1 = a for a.
-1
Let j(g) = -207*g + 3 + 6 + 187*g + g**2. Let f be j(13). Let l = f - -86. Solve -p + 2*r = -1 - 2, -p + 3*r + l = 0 for p.
1
Let s(l) = -2*l**3 - 47*l**2 + 37*l + 314. Let c be s(-24). Solve 0 = 2*h - 0*j + 2*j + 2, c*h = 2*j - 2 for h.
-1
Suppose 5*j = s + 164 - 41, -420 = 4*s - 2*j. Let i = s - -106. Solve -i*f = k - 11, 4*k - 6 - 2 = 0 for f.
3
Let k(u) = -50*u**2 - 13*u + 86. Let l be k(4). Let v = l - -771. Solve 0 = -h - 2*h - i - v, 0 = 3*h + 2*i + 10 for h.
0
Suppose -4*s - 12 = 3*g, -4*s + 44 = -5*g - 8. Let c(m) = -m**3 - 6*m**2 - 6*m. Let t be c(-6). Let i = t + -1. Solve s*q = 5*b - i, 0*q - q + 7 = 3*b for b.
4
Let r be 2/9 + (-326)/9. Let u be 8 + (r/3 - -6). Solve 5*t + 4*o - 28 = -6, u*o = -4*t + 14 for t.
2
Let a = 14 + -11. Let k be (-2)/2*(-15 - -15). Solve -4*m = -4*x - 24, a*m + 0*x + x - 10 = k for m.
4
Let k = 5