ve 0 = z*l - 84*l - 12 for l.
3
Let j(x) = 2*x**3 - 9*x**2 - 10*x + 27. Let d be j(5). Solve -d - 10 = 4*v for v.
-3
Let f = 34 + -7. Let y = -13 + f. Solve -1 = 5*h + y for h.
-3
Let x(d) = -d**2 - 3*d + 2. Let u be x(0). Solve 0 = u*v - v for v.
0
Suppose l = 4*t + 7 - 2, l - 5 = -4*t. Suppose 5*m = -c + 24, 6 = m - 3*c + 2*c. Solve t*g = -m*g for g.
0
Let v(t) = t**3 + 4*t**2 - 4*t + 3. Let p be v(-5). Let s be 18/4 - ((-5)/2 - p). Solve 0 = -0*u + s*u + 20 for u.
-4
Suppose -13*l + 150 = 17*l. Suppose n - 16 = -2*n - r, 4*n - 4 = 3*r. Solve z - n = l*z for z.
-1
Let n = 983 - 964. Solve 5 = -6*h - n for h.
-4
Let s = -21 - -20. Let b be (-3 - 17/s) + 0. Let y = b + -9. Solve 2*j = y*j + 12 for j.
-4
Suppose 0*y - 12 = -4*y. Suppose 5*q = -8 + y. Let p be ((-12)/(-18))/(q/(-3)). Solve -c - p = -0 for c.
-2
Let j(s) = 88*s + 221. Let m be j(-2). Solve -9*k - 6*k - m = 0 for k.
-3
Let d be (-26)/39 + 47/3. Suppose -20*z = -d*z - 75. Solve -7*m + 2*m = -z for m.
3
Let d = 3 - 3. Let u(x) = -x**3 - 2*x**2 + 5*x - 16. Let m(i) = i**3 + 2*i**2 - 4*i + 14. Let f(k) = 5*m(k) + 4*u(k). Let a be f(d). Solve v = 1 - a for v.
-5
Let a(z) = -2*z**2 + 18*z - 11. Let j be a(8). Suppose -4*g - 25 = -5*d + 132, 20 = d + 3*g. Let u = d + -8. Solve 0 = -j*h + 4 + u for h.
5
Suppose -4*t - 2*m + 1 = -35, -t + 3 = -m. Solve -t*y = -8*y - 5 for y.
-5
Let x be ((-48)/42)/(1/(14/(-4))). Let f(q) = 1. Let n(h) = h + 5. Let o(u) = -3*f(u) + n(u). Let s be o(5). Solve -6 = x*t - s*t for t.
2
Suppose -5*a + 90 = -s - 0*s, -a = -4*s - 18. Let r be (0 + a)/((-12)/(-8)). Let c(w) = -w**2 - w + 2. Let j be c(0). Solve j*u - r = -2*u for u.
3
Let q(f) be the third derivative of f**6/120 - f**5/10 - 7*f**4/24 + 5*f**3/6 + 8*f**2. Let o be q(7). Suppose 0 = -o*l + 34 + 6. Solve -3*p - l - 1 = 0 for p.
-3
Suppose -q - 52 = q. Let n = -24 - q. Solve -n = -2*c - 0 for c.
1
Let f be ((3 - 1)*3)/((-138)/(-184)). Suppose 0 = f*w - 2*w - 12. Solve 0 = -w*p - 0*p - 2 for p.
-1
Suppose -5*s - 42*h + 43*h = -251, 47 = s - h. Solve s*t - 18 = 45*t for t.
3
Let r(f) be the first derivative of -f**4/2 - 4*f**3/3 - f**2/2 - f - 43. Let s be r(-3). Solve 2*t + s = 6*t for t.
5
Let s be (-60 + 58)*(-1)/2. Solve -x = -2*x + s for x.
1
Let p(x) = x**3 - 7*x**2 - 8*x + 60. Let r be p(7). Solve 0 = -0*h - r*h + 16 for h.
4
Suppose 18*o = 10*o + 40. Suppose 0 = -o*l + 5*h - 10, 5*l - 2*l + 5*h - 10 = 0. Solve l*b - 1 = -b for b.
1
Suppose -46*v = 13*v - 885. Solve 12*m = -63 + v for m.
-4
Suppose 5*f + 10 = -15. Let o(k) = 2*k + 10. Let p be o(f). Suppose l = 3*l + r - 7, 5 = r. Solve p - l = a for a.
-1
Let j = 1119 + -1108. Solve -j*r = 1 - 45 for r.
4
Let a(u) = -u**3 + 4*u**2 - 3*u + 4. Let x be a(3). Let p be (2/x)/(9/18). Solve -p + 0 = k for k.
-1
Suppose -5*a + v = 3*v + 144, -2*a - 64 = 4*v. Let h = 42 + a. Let y = -9 + h. Solve 2 = y*b - 8 for b.
2
Suppose -10*l - 627 = l. Let b = l + 60. Solve 5*j - b = -13 for j.
-2
Let z(k) = -k**2 + 7*k. Let p = -3 + 9. Let x be z(p). Solve 4 + x = 5*n for n.
2
Let a be (-2*4/(-16))/((-1)/(-2)). Let x be ((-1)/(-3))/(a - 6/9). Let p = 0 + 2. Solve x = p*j - 3 for j.
2
Let l = 42 + -42. Suppose b - 3*b + 30 = l. Solve 2*d = -3*d - b for d.
-3
Let y = -221 - -229. Solve -14*j + y*j - 24 = 0 for j.
-4
Suppose -706 = -k - 698. Solve -2*p + 6*p + k = 0 for p.
-2
Let z = -11 - -21. Suppose -70 = -16*s + 186. Let k = s - z. Solve k = 3*w - 0 for w.
2
Let t(x) = x**2 + 4*x - 1. Let s be t(-3). Let o = s - -4. Solve o = i + 2*i for i.
0
Let l be -4 + (-3)/((-6)/16). Let t be 13 - (2 - (l + -3)). Solve 5*g - t = g for g.
3
Suppose 20 + 115 = -3*n + 5*h, -180 = 4*n + 4*h. Let y = n + 47. Solve -y*t = -t for t.
0
Suppose 0 = -g - 2*p + 3, -4*g - p = -5. Let u be 4/4 - (g - 0). Solve r + 0*r + 5 = u for r.
-5
Let j be (-3)/(-1 + (6/9)/1). Suppose -5*z + 2*w + 70 = 0, 0 = -7*z + j*z - 4*w - 12. Solve -2*c = 2*c + z for c.
-4
Let b be 22/4 + (-1)/2. Suppose 0 = 4*u + b*p - 41, 5*u - 2*p - 44 = -p. Suppose 35 = 5*n + 3*l, -4*n - 4*l - 17 = -53. Solve n*t - 1 = -u for t.
-2
Let j be (1 - 2/3)*9. Suppose -2*t - 2*z + 8 = -0*z, 4*t - 17 = -j*z. Solve 0 = -0*l - t*l + 5 for l.
1
Let z(c) = -5*c. Let d be z(-4). Let s be 94/6 - 1/(-3). Let b = d - s. Solve 3*q = b*q - 5 for q.
5
Let v = -44 + 26. Let g = 233 - 210. Let p = v + g. Solve p*h - 9 - 11 = 0 for h.
4
Let y be 4/(-5)*((-1155)/22)/21. Solve -4*d - y*d + 2*d = 0 for d.
0
Suppose -12*u = -9*u - 6. Suppose -3*n + t - u*t + 42 = 0, 6 = n + 3*t. Suppose -w + 3*w = -3*v + n, 9 = 3*v. Solve s - 20 = -w*s for s.
5
Suppose 4*z + 8 = 2*z. Let o(m) = m**2 + 7*m + 7. Let s be o(z). Let a = s + 10. Solve a*u + 10 = -0*u for u.
-2
Let v(u) = -u - 12. Let j be v(0). Let f be (2 + -2)/((-48)/j). Solve t + f*t = -3 for t.
-3
Suppose -2*t = -g + 1 - 0, -t = -4*g + 18. Let c(p) = -p**3 + 5*p**2 + 2*p - 4. Let m be c(g). Solve -m = k + k for k.
-3
Let h = 70 + -70. Suppose x - 10*x + 36 = h. Solve 6*f - x*f = -8 for f.
-4
Let i(p) = p**3 + 4*p**2 - 12*p - 3. Let d be i(-5). Solve -33 = 13*l + d for l.
-5
Let c(f) be the first derivative of -f**2/2 + 3*f - 1. Let b be c(-3). Suppose -b*m + m + 10 = 0. Solve 2*k + m = k for k.
-2
Let i(l) = -l + 2. Let q be (-4)/(((-8)/4)/1). Let k be i(q). Suppose -4*t = -k*t. Solve t = -2*v + 2 for v.
1
Suppose 0*q = -q + 5. Let z = 7169 - 7157. Solve 2*n - z = q*n for n.
-4
Let c = 24 - 16. Let w = 56 + -35. Let f(u) = u**2 - 22*u + 21. Let n be f(w). Solve -q - q - c = n for q.
-4
Suppose 0 = -3*t - 4*g - 11, -5*g = 4*t + 9 + 5. Let r = t - -4. Let m be 414/27 + (-1)/r. Solve 3*q - m = -0*q for q.
5
Let y be -10*1*(-27)/27. Solve 4*d + y = 30 for d.
5
Suppose -20 = -44*w + 42*w. Solve 55 = -v - w*v for v.
-5
Let a(i) = 2*i + 4. Let q be a(10). Suppose 3*j = 4*j + m - 8, q = 4*j + 2*m. Suppose d - j = -d. Solve -4*l = d + 18 for l.
-5
Let p(b) be the first derivative of b**3/3 + b**2 + 3*b - 14. Let g be p(-2). Solve -3*d - g = -18 for d.
5
Suppose -2*y + k = -24, 5*y - 70 = 2*k + 3*k. Let n(j) = 2*j**2 - 20*j + 3. Let r be n(y). Solve r*s + 1 = -5 for s.
-2
Suppose m - 5*i = 18, -4*i - 30 = -5*m - 3. Suppose m*x = -15, -3*b = -b + 5*x + 5. Solve -v = v - b for v.
5
Suppose 72*u - 64*u = 0. Solve u = -5*p + 105 - 85 for p.
4
Let h be 0 + 7/((-14)/(-6)). Let n be 1*(h - 6)*-1. Solve -3 = -n*g - 0*g for g.
1
Let t = -9 + 11. Suppose -t - 2 = -w. Solve -w*a + 0 + 4 = 0 for a.
1
Let r(t) = -1 + t**3 + 1 + 6*t**2 + 4*t**2. Let o(k) = -k**3 - 3*k**2 + 2*k - 4. Let z be o(-3). Let g be r(z). Solve g = -3*u + 4*u for u.
0
Let b(d) = d**2 - 4*d - 5. Let n be b(5). Suppose -5*h + h = -32. Let t = -5 + h. Solve t*o = -n*o - 12 for o.
-4
Let u = 0 + 2. Suppose -w = u*m + 2*m - 10, 8 = 4*w. Let d be m + (1 - (0 - -1)). Solve d*r + 2 = -2 for r.
-2
Suppose 2*z - 3*z = -54. Suppose x + 10 - z = -5*o, x = o - 4. Solve 2*h + 2*h + o = 0 for h.
-2
Let l be 45*10/100*4/6. Solve 3*m - l = -15 for m.
-4
Let g(c) = -c**3 - c**2 - c + 68. Let j be g(0). Suppose -18*t + 22 = -j. Solve 5*a - t = 15 for a.
4
Let j(k) = -6*k + 21. Let m be j(9). Let x be -1 + m/(-21) + 34/14. Solve 0*h - 3*h + x = 0 for h.
1
Suppose -6 = -3*t - 24. Let s be (-9)/t - 7/(-14). Solve 0*p = -p + s for p.
2
Let i = 474 - 450. Solve 5*b + i - 4 = 0 for b.
-4
Suppose -4*c - 16 = 860*h - 864*h, 0 = 2*h + 4*c + 16. Solve 98*y - 93*y + 20 = h for y.
-4
Let k be 30/(-2)*4/(-12). Suppose k*c - b - 11 = 0, -c + 3*b = 2*c - 9. Suppose -14 = -2*i - c*i - 2*f, 5*f + 5 = 0. Solve -q - i = q for q.
-2
Suppose 5*s + 3*n = 24, s - 3*n - 17 = -5. Suppose 0 = 3*l - s. Suppose -4*d - 40 = -7*c + l*c, -5*c + 40 = -3*d. Solve -c = w - 3 for w.
-5
Let x be (-40)/(-35) - 2 - 324/(-84). Solve x*r - 64 = -49 for r.
5
Suppose 2*p = -3*j + 196, 2*p = 4*j - 48 - 232. Solve -6 = 66*t - j*t for t.
3
Let i(g) = -g + 13. Let u = -14 + 17. Suppose 0*o - u*o = -24. Let l be i(o). Solve 1 - l = -2*k for k.
2
Suppose -1 = 3*x - 8*v + 6*v, -5*x + 3*v = 0. Solve -4 = -p - x*p for p.
1
Let i(o) = 11*o**2 + 3*o + 2. Let c be i(-1). Suppose -5*v - 3*v = -c*v. Solve -3*b + 8*b + 20 = v for b.
-4
Suppose 3*q = -3*w + 3, -3*w = -5*w + 2*q + 10. Suppose 2*i + 2*u - 3 = w, -5*u + 15 = 0. Solve 2*m - 8 = -i*m for m.
4
Let a(f) = f - 9. Suppose -p = -1, 10 = w + 3*p + 2*p. Let q be a(