*w for h.
0
Suppose y + 2 = 58. Let d = 40 + y. Suppose 0 = 4*p - 20*p + d. Solve 7 = -f - 4*x, -3 = -5*f + 2*x + p for f.
1
Let o = -1 - -3. Suppose -90*l + 174*l = 86*l - 62. Solve 6 = f + g - 2, 0 = o*f + 5*g - l for f.
3
Let i = 4042 + -4037. Solve 2*h + 3*h = -5*c - i, h + 13 = -4*c for c.
-4
Suppose 3*j - 6 = -0*j. Let o be 7 - j*3/2. Let k be 2 + (0 - (-1 + -3)/o). Solve 4*c - 12 = 0, k*n + c + 17 = -n for n.
-5
Suppose -5*l - 3*p + 21 = 0, -5 + 4 = -l + p. Suppose 2*m - 6*m + 4 = 4*z, l*z = 2*m + 23. Let i = 3 + 0. Solve -5*j - i*g + 9 = -4, 4*j = -z*g for j.
5
Let b be -12*(4 - (-102)/(-18)). Suppose 12 = -b*y + 52. Solve -5*k + 31 = -p - 3*p, 0 = -2*k + y*p + 14 for k.
3
Let a(m) = 2*m**3 - 151*m**2 - 228*m - 209. Let b be a(77). Solve 0 = 26*j - b*j - 5*w + 1, -19 = 4*j + w for j.
-4
Suppose 0 = -3*u - 5*s - 201 + 44, 4*s - 193 = 3*u. Suppose 31*v - 402 = 37*v. Let i = u - v. Solve o + 29 = 5*q, -i*o + 3*q = -4*o + 31 for o.
-4
Let w be -17 + 82/(-10) + (-186)/(-155). Suppose 65 = 2*a - 3*m, 4*a + 3 = -4*m + 103. Let b = w + a. Solve -2*n - 2*n = -3*d - 17, n = d + b for n.
5
Let m be (0 - -1)*-1*-5. Let d = -150 + 152. Suppose 2*k - a - 11 = -3, -4*a - d = 2*k. Solve -4*l + m - 2 = c, -k*c = -9 for l.
0
Let y = -100 - -362. Let v = y + -260. Solve o + o = 5*d + 2, v*d = 2*o - 2 for d.
0
Let u be 1/(-3)*-5*3. Suppose 5*p - u - 20 = 0. Suppose -p*l + 12 = 2. Solve 5*o + 13 = 3*c, 2*o = l*c - 2 - 0 for c.
-4
Suppose 36 = 2*a + 4*b, 22 = a + 13*b - 15*b. Suppose -13*s = -71 - a. Solve -4*j - r - 4*r = s, 0 = -r + 1 for j.
-3
Let p be (-16)/4 + 0 + 36. Let l = p + -26. Let s be -4 + l + (-5 - -1) - -6. Solve 3 = -k, 2*f = -f + s*k + 9 for f.
-1
Suppose 5*w = -5*m - 30, 5*w = 5*m - 21 - 9. Solve -8*c - 4*b = -4*c, m = -4*c + 2*b + 18 for c.
3
Suppose -12 = -x - 2*x. Let n(o) = 36*o - 67. Let y be n(2). Suppose y*p + 25 = 4*h, x*h + 0*p - 20 = 4*p. Solve 2*t = -2*m, -2*t + h*t + 6 = 0 for m.
-3
Let a be ((0 - -2) + -7)*(-36)/(-20) - -5. Suppose -p - 1 = 5. Let r be p/a - (-143)/22. Solve 4 = 4*x + 3*o - r, 0 = -3*x + 5*o + 9 for x.
3
Let t(h) = -88*h + 5. Let v be t(0). Solve v*k = 2*o - 22, 4*o - 5 = -1 for k.
-4
Let w be (152/418)/(14/77). Solve -9*h = w*k - 8*h - 6, -4*k - 4*h + 8 = 0 for k.
4
Let s = -125 - -27. Let a = -91 - s. Solve -3*j = -5*b - a, 4*j - 4*b - 5 = j for j.
-1
Let s(y) = 102*y**2 + 1. Let r be s(-1). Suppose -2946*b - 2472 = -2922*b. Let c = r + b. Solve -4*q + 4*o = 16, q + o + 6 = -c*o for q.
-5
Suppose -4*w - 1932 = 42*w. Let q be (w/18)/((-77)/66). Solve -q*p = -5*h + 27, -14 = 2*p - 4*h + 8 for p.
-1
Let j = 264 - 264. Suppose 5*a = -r + 16, 2*a + j = -2*r + 8. Solve -p = 4*s - a, 3*p - p = -5*s for p.
-5
Let y be (-118)/2832 - 73/(-24). Solve -y*v + 2*j = -7*v + 16, 0 = 3*j + 6 for v.
5
Suppose -2*c - 4*d = -7*c - 11, -16 = -4*c - 3*d. Let q be (21/6 - 3)*32. Suppose -t - 2 + q = 0. Solve 2*f + c = -5*r, 5*r - t = 2*f - 3 for r.
1
Suppose 101*i = -939 + 3464. Solve 5*k = 3*o + 10, -4*k - 4 = -5*o - i for k.
-1
Let v be (-24)/(-16)*12/9. Solve 0 = -d + 4*z - 2, -d = v*d - 2*z - 4 for d.
2
Suppose 0 = a - 0 + 2, -2*s + 356 = -2*a. Suppose 13*j = 21*j - s. Solve 0 = 3*c - 4*h - 1, -h - j = 2*c + 2*h for c.
-5
Let i(j) = 4*j**2 + 276*j - 275. Let x be i(-70). Solve -3*f - 20 = 2*h, f + 5*h + 29 - x = 0 for f.
-4
Let x = -24 + -2. Let a(n) = n**3 + 25*n**2 - 27*n - 26. Let i be a(x). Let m be (12/(-9))/4*i. Solve -q + m*j + 2*j = -6, -5*q = j + 3 for q.
0
Suppose -597*j + 421 = -773. Let n be -8*(0 + 2/(-4)). Solve 8 = j*c + 5*m, -2*c = m - 2*m + n for c.
-1
Suppose -2*q - a = -150, 8*a = 4*a - 8. Suppose -q*c = -78*c. Solve -h + 4*v = 2*h - 12, -3*v = c for h.
4
Let v = 482 - 480. Let p be v*(1 - 18/(-12)). Solve -j - 2 = 5*f, -f - 2 = -2*j - p*f for j.
3
Suppose 0 = -33*a - 5*a + 128 + 24. Solve -11*o = -8*o + 4*i - 5, 2*i = a*o + 8 for o.
-1
Let h(b) = -b - 8. Let q be h(-8). Let g be 108/63*(q + 7). Suppose -x + 6 = -3*r, 3*x + 2*r - g = x. Solve 4*d = f + 3, -2*d + x*d + f - 5 = 0 for d.
1
Let x be (240/20 + -12)/(4*3/(-3)). Solve x = -2*a - 2*g + 6 - 8, 0 = -5*a + 5*g + 45 for a.
4
Let t = -161 + 183. Suppose -5*a - 2*d + t = 0, -3*a - 4*d + 6*d + 26 = 0. Solve -m - 9 = -5*z + 3*z, -a = -m - z for m.
1
Suppose 0 = -2*s - 0*s + 4. Let v be (-1)/4 + (-23)/(-92). Suppose v = -17*i + 13*i + 52. Solve 0 = -s*f + 2*k - 6, 0*k - i = 3*f + k for f.
-4
Let p = 4 - -1. Let d(r) = -11*r - 2. Let x be d(-1). Suppose h = 16*h - 60. Solve h*v - p*u = x + 6, -3*u = -v + 9 for v.
0
Let g(c) be the third derivative of c**4/6 + c**3/6 + 14*c**2. Let w be g(6). Suppose 5*b = 10*b - w. Solve -15 = -t + b*k, 1 = -t + 4*k - 7*k for t.
5
Suppose -3*z + 48 = 4*r, 5*z + 3*r - 11 - 80 = 0. Let b = 19636 + -19636. Solve -3*i - 17 = -2*h, -5*i + b*i = 5*h + z for h.
1
Let k = -21 + 39. Suppose -35 - 1 = -k*v. Solve -o = -6*h + 2*h - 13, -v*o + 2*h = -8 for o.
1
Let z = 11802 + -11777. Solve 0 = -5*r - k - 29, -z*k = 2*r - 28*k - 2 for r.
-5
Let m be (0 - 2) + 20 + 258. Let f be (-4)/(-10) - m/(-10). Let d = f - 25. Solve a - 7 = 3*y + 5*a, d*a + 6 = -2*y for y.
3
Let r be (-8)/(-3)*(27/6 + -3). Let d = 64 + -46. Let p be (-11)/(-6) - (-27)/162. Solve -o - 16 = p*o - 2*x, r*x = -o + d for o.
-2
Let i be 0/(1/((-8)/48)). Solve i = y - 2*t, t + 5 = 3 for y.
-4
Suppose -61*h + 176 = -17*h. Suppose -3*f - 3 = h*p, 3 = p - 4*f - 20. Let n = 6 + -1. Solve -k = p*q - 2, n*k = 4*q - 4 + 14 for k.
2
Let y = 15 - 30. Let c be (26 - y/(-5)) + (2 - -2). Solve 0 = m + w + 1, 4*w + w = 3*m + c for m.
-4
Let d(b) = b**3 + 12*b**2 - 14*b - 13. Let r be d(-13). Suppose -7*t + 5 + 23 = r. Solve -3*w + 2*a + 17 = 0, 3*a - t*a - 11 = -2*w for w.
5
Let k(m) = -m**3 - 19*m**2 - 19*m - 14. Let c be k(-18). Suppose 2*j = c*o - 58, -3*o - 2*o + 4*j = -65. Solve u + 4*d = o, -4*u = -3*d + d - 14 for u.
5
Let x(c) = c**3 + 8*c**2 - 10*c - 9. Let m be x(-9). Let d be 1*(m - -7) - 5. Solve -d = -4*h - 4*g - 6, -5*g = -4*h + 5 for h.
0
Let f(c) = -16*c + 15. Let g be f(1). Let s(t) = -6*t + 2 - 3*t + 8*t - 3*t. Let k be s(g). Solve -y + 2*p = -7 - k, -5*y = 3*p - 13 for y.
5
Let m be (-28)/(-6) + ((-2)/(-6) - (-69 - -69)). Solve -z - 1 + 9 = 4*i, -m*i - 3*z = -10 for i.
2
Suppose 2*k - 5*y = -2, -5*y = 2*k - 566 + 528. Solve -5*q - 1 = a - k*q, 4*q = 2*a - 2 for a.
3
Let p be -6*(-65)/(-234)*12/(-10). Suppose 0 = -2*l + 76 - 12. Let n = l + -27. Solve -h - n = p*s, h + 2*s - s = -2 for h.
1
Let s be 2*(14 - 250/20). Solve 29 = -q + 11*i - 16*i, -s*i = -3*q + 21 for q.
1
Let s = 1282 + -1267. Solve -372*h + 367*h = 5*f, 2*f = 3*h - s for h.
3
Let i be (-5)/(-35) - (82/(-14) - 3). Let c be (-5 + i)/(-2 + 3). Solve -l + 9 = 5*x + c, 5*l = x + 25 for x.
0
Suppose o = i - 0*i, -2*o - 5*i - 14 = 0. Let s be -4*(2/(-2))/o*-31. Suppose -s = -3*y - 2. Solve 4*q = -q - y, 0 = 5*v + q - 21 for v.
5
Suppose -37*v + 11*v + 236 = -24. Solve 0 = 16*j - 17*j - 3*h - 10, -j + v = -h for j.
5
Let u be 270/120 + 1/(-4). Solve -4*b = -u*q - 32, 0 = 3*b - 0*q - q - 21 for b.
5
Suppose -5*n - 308 = -n. Let i = n - -79. Suppose 0 = 5*s - r - 62, 0 = -i*r - 3 + 9. Solve -4*w = z + 8, z = -0*z + 3*w + s for z.
4
Let a = -7110 - -7115. Solve 0 = r - 5, -a*i + 3*r + 45 - 60 = 0 for i.
0
Let g be (-576)/(-80)*(-35)/(-42). Solve 2*j + 11 = -3*v + 20, -3*v - j + g = 0 for v.
1
Suppose 2*y + 0*r - 2*r = -64, 3*r - 12 = 0. Suppose -15*m + 180 = -10*m. Let b = m + y. Solve x = 5*x - 4*f + 20, 0 = x - 4*f + b for x.
-4
Let s(o) be the third derivative of -1/60*o**5 - 17/24*o**4 + 6 + 0*o + 1/2*o**3 + 2*o**2. Let b be s(-17). Solve 0 = -b*t - g + 19, g - 4*g = t - 17 for t.
5
Suppose -27*v = -550 + 334. Solve -5 = -2*z + 3*m - v, -5*m + 5 = 0 for z.
0
Suppose 0*f + 5*l + 6 = 2*f, -3*f + l + 9 = 0. Suppose -f*d = -2*y + 132, -3*y + d = -2*d - 192. Let z = 62 - y. Solve -u + z*c = 2, 0*c + 3*c - 3 = 4*u for u.
0
Suppose -75*t + 20 = -73*t. Let l(p) = 2*p**3 + 22*p**2 + 58*p + 8. Let g be l(-6). Solve 0*z - 2*z + g = -2*q, 3*z = -q + t for q.
-5
Let h be 308/(-20) - 3/5. Let v(g) = -g**2 - 22*g - 92. Let f be v(h). Solve 0 = -0*t - 4*t + 12, 0 = -4*z - f*t for z.
-3
Let f be (0 - 1)/((2 + -1)*16/(-48)). Let o(a) = a**2 - a - 4. Let k be o(4). Solve -4*c = 4*s + k, -c + f*s - 3 = -1 for c.
-2
Suppose