lve 0 = -2*f + v*x + 24, x + 1 = 5*f - 13 for f.
2
Suppose 159 + 317 + 202 = -6*h. Suppose -3*l + 0*l - 333 = 0. Let u = l - h. Solve -u*v + 2*t = 0, -4*v + 0*t = 3*t + 35 for v.
-5
Suppose 18*k - 7*k - 22 = 0. Let o(h) = 2*h - 3. Let d be o(4). Solve 2*z = k*q - 2 + 10, 2*q + d = z for q.
-1
Suppose 112*s - 1452 - 473 + 357 = 0. Solve -8*h + 4*h + n = s, -5*h + n = 19 for h.
-5
Let g = 228 - 196. Suppose 2*i - 6*i + 4*f + g = 0, 2*i = -2*f. Solve a + j = 3*j - 7, -i*j + 10 = 2*a for a.
-1
Suppose -3*y - 2*q + 22 = -0*y, y + 2*q = 14. Suppose 6*l = 3*l - 2*a + 6, 0 = -2*l - 4*a + y. Solve 2*t = o - 6*o - 33, -l*o = t + 14 for o.
-5
Let x be 1/((2/(-26))/((-258)/559)). Solve 3*i - z + x*z + 40 = 0, -i + 20 = -5*z for i.
-5
Suppose -9*v - 1 = 3*v - 1. Solve v = 17*c - 19*c - 2*z + 6, 4*z = 2*c - 18 for c.
5
Let p(d) = 15*d - 236. Let z be p(16). Let m be z*(140/35 - 11/4). Solve 5*o = m*y, -y + 0*y = -4 for o.
4
Let u(o) = 8*o + 23 + 47*o**3 - 24*o**3 - 22*o**3 - 11*o**2. Let f be u(10). Let a be ((-4)/f)/(14/(-42)). Solve -a*t + 4*l - 16 = 0, 5*t + l = -12 + 4 for t.
-2
Let f be -2*186/(-4)*(-2)/(-6). Let l = -29 + f. Suppose -4*v = -0*v - 5*q + l, -3*v = -2*q - 2. Solve -k - 3*w = -10, 2*k - 3*w + 13 = v*w for k.
1
Suppose 0 = -2*t + 4*g + 16, -2*g = t - 8 + 12. Solve 0 = -3*f, n + 3*f = -0*f - t for n.
-2
Let y be (-245)/(-10) + -5 + 2/4. Suppose 3*k = 2*k. Suppose k = 5*j - 2*j - 12. Solve -5*x = -j*t + 25, t = -3*t + y for x.
-1
Suppose -3*w + 15 = -15. Let o be ((-42)/w - -1)/(4/(-10)). Solve z - 3*p + 7*p = 12, -3*p - o = 5*z for z.
-4
Let j(q) be the third derivative of q**4/12 + 21*q**3/2 + 23*q**2. Let u be j(-29). Solve -5*o - 1 = -6, -2*a + 3*o + u = 0 for a.
4
Let t = 620 + -617. Solve -4*g - 2*q = -4, t*q - 14 = -2*g - q for g.
-1
Suppose -12 = 3*l, f + 6 = 3*f + l. Suppose 5*v = 10*v - 7*v. Solve v = -3*b + 1 - 10, -18 = 3*m + f*b for m.
-1
Let f(n) = n**3 + 229*n**2 - 235*n**2 + 2*n**3 - 2*n**3 - 17 + 9*n. Let x be f(5). Solve 0*z + 3 = 4*z + i, -2*z - x*i - 1 = 0 for z.
1
Suppose 57*w - 784 = 8*w. Solve -2*y = 4*r - 20, 5*r + 2*y - 4*y = w for r.
4
Suppose 2*c - 5*d + 22 = 0, -10 = 391*c - 395*c + d. Solve -5*l + 5 = -5*m, 8*m - c*m + 4 = 0 for l.
0
Let h = 684 - 756. Let k be 10/(-45) + (-232)/h. Solve 4*x + k*q + 8 = 2*x, -5*x + q - 20 = 0 for x.
-4
Suppose c + 12*k = 8*k + 6, -3*c + 5 = -k. Solve 5*w = 4*v - 40, -w = 2*w - c*v + 22 for w.
-4
Let h(n) = -n**3 - 3*n**2 + 7*n - 10. Let l be h(-5). Suppose l = 5*t - 5. Let f = t + -2. Solve f = 3*s + 2*v + 8, 3*v + v = 4*s + 4 for s.
-2
Let c be (-1 - -6)/5 + 76. Suppose 38 = 96*z - c*z. Solve -2*s + 3*m = -0*s + 4, z*s + m - 4 = 0 for s.
1
Let d = 166 + -161. Let x = 9 - 9. Solve -d*v = -3*s, -2*s - 2*v = -x*v for s.
0
Let b be 55/(-5) - 0 - -3. Let g(v) = v**2 + 9*v + 1. Let i be g(b). Let m = -5 - i. Solve -d + m*d = 4*u + 17, 0 = -d + 3*u + 12 for d.
-3
Let h be ((-4)/(-10))/(4/(-40)). Let q be (-703)/(-148) - 1/h. Solve -2*x = u + 4*u + 13, q*u - 5*x - 15 = 0 for u.
-1
Let d(l) = -2*l + 12. Let n(w) = 8*w**2 + 2*w + 1. Let i be n(-1). Let g be d(i). Let y be (-36)/8*4/(-3) + g. Solve -4*x = -5*x + m - 2, 0 = -y*x + 2*m for x.
2
Suppose 0 = 5*i - 4*q + 30, -2*i + q = 3*q + 30. Let b be 15*(28/i - -2)/(-1). Let z be ((-2)/(8/b))/(-1). Solve 7 = 4*c - 2*j + j, 0 = 2*c + z*j - 21 for c.
3
Let v be (7 - -135) + (1 - (-3)/(-3)). Suppose -129*u + v*u = 26. Solve -z = 3*d - 18, 2*d + 2*z + u*z - 22 = 0 for d.
5
Let k = -49 + 58. Suppose -6 + k = p. Let l(b) = 5*b**2 - 4*b + 5. Let f be l(2). Solve 4*w = p*d, -w = -4*w - 2*d - f for w.
-3
Let j be 1/((-4)/24) + 10. Suppose 8 = 6*k - j*k - 3*d, 3*k = 4*d + 12. Solve -k*l + 4 = 2*a, -2*l = -0*l - a - 10 for l.
3
Suppose 0 = -2*j + 6*j - 16. Suppose 0 = -3*m + 15 - 3. Suppose 0*p = -p - c + 1, m*p = 3*c + 18. Solve q - p = -i, 0 + 6 = j*q + i for q.
1
Let j(f) = 1 + 1 - f - f. Let p be 1/((-9)/(-153)) - 16. Let a be j(p). Solve 4*u + 12 = a, -4*w + 5*u = w - 40 for w.
5
Let m(q) = 920*q - 4581. Let k be m(5). Solve -2*p + 7 = 2*s + k, -3*s = -4*p - 17 for s.
-1
Let i(u) be the third derivative of u**5/60 - 5*u**4/12 + 13*u**3/3 + 19*u**2 + 1. Let q be i(4). Solve -5*h - 18 = q*s + 3, 0 = -5*s - 15 for h.
-3
Let t(z) = 2*z - 2*z - 4*z + 9 - 10*z. Let k be t(4). Let d = -45 - k. Solve f = 3*q, -3*q + 2 + 1 = -d*f for f.
-3
Suppose -21 = -4*g + 5*s, s + 2 = -5*g + 21. Suppose -3*j - 4 + 6 = -2*d, -g*j + 4 = -4*d. Solve -2*h - 2*c + 2 = j, 5*h - 12 = 3*h + 3*c for h.
3
Let u be ((-5)/(-40) - (-123)/(-24))/(1/(-5)). Solve 5*k = 10, 5*k - u = 15*g - 20*g for g.
3
Let k = 429 - 427. Suppose -34 = -3*y - 4*c + 12, -4*y - k*c = -48. Solve 0 = 2*a - 4*m + y, -2 = -4*a + 2*m + 2 for a.
3
Let a be (-4)/(-3 - 10/(-6)). Suppose 0*z + 26 = 2*v + 3*z, 3*v - a*z - 54 = 0. Solve 0 = 2*i - 5*q - v, q - 4*q - 12 = 0 for i.
-2
Let r(k) = -5*k**2 - 38*k - 8. Suppose -y - 15 = -4*w, -5*y - 4*w + 21 - 48 = 0. Let u be r(y). Solve -z = -5*x - u - 5, -4*z + 3*x = -21 for z.
3
Let p(d) = -d**3 - 33*d**2 - 3*d - 97. Let k be p(-33). Let t = 9 + -9. Solve 3*v + k*m + 12 = 3*m, -4*v + m - 16 = t for v.
-4
Let z(c) = 7*c**3 - 2*c - 1. Let x be z(-1). Suppose -7*r = -2*r + 30. Let w be 8*(-3)/r*(-12)/x. Solve -3*b + t - 5*t = -16, 2*t = w for b.
0
Let u = 260 + -276. Let d be (-14 - u)/(10/4 - 2). Solve 3*b + 1 = 3*m - b, 5*b = 2*m + d for m.
3
Suppose 509*j - 524*j = -90. Solve 4*q - 2*z + 20 - j = 0, -3*q + 4*z - 23 = 0 for q.
-1
Let w be (-23)/(-2)*(-19 - -27). Let s = w + -92. Solve s = -2*l + 6*l + 3*g - 21, 3 = -2*l + 3*g for l.
3
Suppose 0 = -7245*l + 7296*l - 153. Solve 0 = -l*k + z + 7, k - 21 = -0*k + 5*z for k.
1
Let w = 317 + -252. Suppose 55 = 70*m - w*m. Solve -5*a + 3*d + m = 0, 2*a - 2 + 6 = 4*d for a.
4
Let v be ((-10)/30)/((-2)/18). Suppose -a = a + g - 6, 32 = 4*a - v*g. Solve 3*k - u = 7 + a, -u = 3 for k.
3
Let n be (0 - 2 - 0/5) + 14. Suppose n*h - 199 = 41. Suppose 4*p - h = -0*p. Solve -2*y - 3*k - p = 0, 0*y + 4*k - 24 = 5*y for y.
-4
Let j(p) = -8*p**2 + 4*p + 1. Let o be j(1). Let z be 15 - (o + 0 - (4 + -5)). Let w = z - 14. Solve -b - 2*b - 13 = 2*m, -5*b = w*m + 22 for b.
-5
Let j be (4/14)/(160/2240). Solve 3*k + 2 = 5*b, 4*k + 3 - j = 3*b for b.
1
Let s(w) = -18*w**3 - 3*w**2 + 9*w + 32. Let j be s(-2). Solve 147*o - j*o = 3*p + 20, 3*o - 2*p - 25 = 0 for o.
5
Let d = 144 - 140. Suppose -7*h = -6*h + 3*b - 3, 5*h + b = 15. Solve -12 = 4*v + 8, h*v = d*z - 35 for z.
5
Let q(n) = -n**3 - 18*n**2 - 14*n + 58. Suppose 0 = 2*j - 6*b + 11*b + 44, 2*b = -2*j - 38. Let m be q(j). Solve p - 28 = 5*a - 4, 2*a + m = 3*p for a.
-5
Let a(g) = 6*g**2 + 77*g + 179. Let o be a(-10). Solve 5 = -5*d + 3*f, -o*d = -f - 3 - 10 for d.
2
Let s be (6/4)/(6/24). Suppose 2*w + 10 = -5*c + 7*c, 0 = 2*c - 4*w - 8. Suppose s*v - 12 - c = 0. Solve -5*q = -v*r - 7, 5*q = 5*r + 3*q - 1 for r.
1
Let j = 54 - 51. Let p(m) = m + 37. Let g be p(-17). Solve 4*c - g = -j*u + u, -25 = -5*c for u.
0
Suppose -82*h + 115 + 35 = -14. Solve -z = h*z - 4*r - 9, -r = 0 for z.
3
Let h(l) be the third derivative of l**5/30 + 3*l**4 + 37*l**3/3 + 8*l**2 - 3. Let q be h(-35). Solve -q*m + 7*m = 3*n + 6, 0 = -3*m - n - 6 for m.
-1
Let l(x) = -x - 28. Let t(a) = 2*a + 30. Let m(d) = -4*l(d) - 3*t(d). Let z be m(11). Solve 4*b + 9 + 3 = 0, z = -4*j + 3*b + 5 for j.
-1
Let h be (-16650)/162 + (24/27)/(-4). Let u = 117 + h. Solve -10 = -5*c - 0*o + 5*o, 2*c = 4*o + u for c.
-3
Let t be (-30)/4*18/15 + 13. Solve 0 = -t*r + 4*l - 12, 14*l = 10*l + 8 for r.
-1
Let v(t) = 12*t - 107. Suppose 3*n = -264 + 291. Let l be v(n). Solve -5*j + 3*d - 8 = 4, j = 4*d + l for j.
-3
Suppose -338*b = 681 - 2371. Let f be 2/3 + (-1)/(-3). Suppose -5*l + 28 = -2*d + 4*d, 2*d + 8 = 4*l. Solve 0*h = -d*t - h - f, 5*h = b*t - 30 for t.
1
Suppose 0 = -8*p + 3*p + 135. Suppose -95*h + 28 = -93*h. Suppose -5*f - p = -h*f. Solve 3*y + 2*y - 15 = 2*k, -5*y - f*k + 15 = 0 for y.
3
Let y(h) = -h**2 + 3*h + 4. Let c be y(3). Suppose c*b = -3*r + 7, 3*r - 11 = 2*b - 10. Solve 2*l - b = 3*f - 5, 4*l + f - 6 = 0 for l.
1
Let v = -273 - -297. Suppose 196 + 44 = v*b. Solve 2*i + b = 0, i + 2*i = 3*t - 27 for t.
4
Suppose -12*c + 122 = -190. Let i be (-66)/(-15) + c/(-65). Solve -4*d + 13 = d - o, d - i*o = -5 for d.
3
