i - 2*l + o for i.
-4
Let h(u) = -u**3 + 2*u**2 + 8*u + 7. Let j be h(-2). Solve 0 = 5*v + 3*b - 7*b + j, 5*v - 2*b + 11 = 0 for v.
-3
Let p = 5 - -5. Let a be (12/(-10))/((-4)/p - 0). Let z = -10 + 14. Solve -4*x - 4 = -a*m - 0*x, 0 = -z*m - 3*x - 28 for m.
-4
Let o be (-18)/(-36) - (-5)/2. Let y(x) = 4*x + 4. Let t be y(o). Suppose 0 = -g + 2*g. Solve g = -3*p + 4*f + t, -5*f = -0 + 5 for p.
4
Suppose -10 - 17 = y. Let b = 29 + y. Suppose -28 = -b*h - 18. Solve -5*v - 5*p - 10 = 0, h*p = 2*p for v.
-2
Suppose 5*r - 15 = 2*w, -25 = -w - 2*r - 2*r. Solve -w*i + l - 21 = 0, -5*i - 29 = -5*l - 4 for i.
-4
Let q(g) = 4*g**2 - 13*g + 15. Let f(y) = 3*y**2 - 13*y + 15. Let o(h) = -3*f(h) + 2*q(h). Let j be o(9). Solve 3*d - j = -2*i, 0*d - 5*d + 34 = 3*i for i.
3
Let s be (3/6)/((-8)/(-32)). Solve s*x = 5*g + 4, x = -1 - 2 for g.
-2
Suppose h + v + 20 = -3*v, 25 = 5*h - 5*v. Solve -d = -4*w - 5, h*d - 5*w - 1 = 4*d for d.
1
Let o = 112 + -66. Let g = o - 41. Solve -5*f + g = 0, 0 = -2*u - 0*f - 2*f + 2 for u.
0
Let d = -1 + 4. Suppose -4*o + 4 = -2*m - 2, d*o - 2*m = 6. Suppose -3*z + o = 5*w + 3, 0 = -3*w + 2*z + 2. Solve -5*g - 4*h = 6, -2*h = g - w*h for g.
-2
Let u = 136 + 5. Suppose 5*s - 8*s = -u. Let f = -30 + s. Solve c - f = 4*d, -4*d - 12 - 17 = 3*c for c.
-3
Let f(t) = -t**2 - 12*t - 27. Let r be f(-4). Solve -3*b + 0*b + 5 = 2*s, -17 = -r*b + s for b.
3
Let n = 15 - 14. Let t be (32/(n - -3))/2. Suppose -t*h + 16 = -4*l - 8, 5*l = -5*h. Solve 4*p - 2*y - 6 = 0, 2*y + h = -2*p - 3*y for p.
1
Let x(q) be the first derivative of -3*q**2/2 - 2*q - 28. Let t be x(-2). Solve 5*b = -3*r + 32, b - t = -4*r + 16 for b.
4
Let m be (1/(-2)*0)/2. Let q = 607 - 601. Solve -u = -0*u + l, m = 2*l + q for u.
3
Let b(i) = i**2 - 2*i - 3. Let g be b(4). Suppose u = 11 - 6. Solve y - 8 = -l + u*l, -4*y = -g*l + 1 for y.
-4
Suppose 0 = -4*f + 3*g + 1, 9*g - 25 = 4*g. Solve 0 = f*p + n + 5, 8*p + 20 = 11*p - 4*n for p.
0
Suppose -2*w - 2*y = -3 - 1, -4*w + 3*y + 29 = 0. Solve -7 - 7 = -w*j + 2*l, 5*l - 35 = -5*j for j.
4
Suppose -67 = o - 70. Let v = 1 + 1. Let d(l) = 2*l**2 + 5*l - 1. Let g be d(-4). Solve 0 = o*n + 2*b - g, v*n - b - 1 = -3 for n.
1
Let a(f) be the first derivative of f**3/3 + 26*f + 2. Let u be a(0). Solve 0 = 5*n - 0*n - 5*z - 45, -2*z = -4*n + u for n.
4
Suppose 8*s + 14 - 46 = 0. Solve -s*c + 1 = f + c, 8 = -3*f - 4*c for f.
-4
Suppose 3*s = -25 + 73. Let u = -28 + s. Let o = -10 - u. Solve -5*i - 3*k - 22 = 0, -5*i + k + 2 = -o*k for i.
-2
Suppose 13*d - 4 = 12*d. Suppose -3 = d*z + f + 4*f, 4*f + 27 = 5*z. Solve 4*o = 4*x, z*x = 5*o - 0 + 2 for x.
-1
Let z(n) = -2*n - 7. Let u be z(-5). Suppose -u*c - 3 = -q - 1, -13 = -2*q - 3*c. Suppose -q*i + 0*i = 0. Solve v = 3*k - 4, -4*k + 8 = -i for v.
2
Let n = -5 + 11. Let j be (1 - n/(-4))*(-12)/(-6). Solve h = -5*s + 4, j*s - 3 - 2 = 0 for h.
-1
Suppose 5 = 5*c + 15. Let y be (-4)/8*5*c. Solve -q + 5*x - 7 = -2, 4*x - y = q for q.
-5
Let w = -16 - 44. Let o = -55 - w. Solve a - 2*s - o = 0, 4*s - 2 = -a - a for a.
3
Suppose -2*s + j - 11 = -14, -2*s - 3*j + 23 = 0. Solve 30 = 3*v - 5*f, v - s*f - 22 = -v for v.
5
Suppose o + o = 10. Solve 3*h = 6*h - 15, o*h = n + 25 for n.
0
Let l = 0 - -3. Let q be (l + -3)*(-1 - -2). Let j be q - 0 - (12 + -14). Solve -20 + 1 = -j*x + 5*s, 0 = 5*x + 3*s + 30 for x.
-3
Suppose -2*q = 5*c - 10, -4*c + 8 = 3*q - q. Let a be c - (2 + 2)/(-2). Let n(w) = 4*w + 8. Let h be n(-1). Solve 3*i + a = -h*k, -k = -4*i + 6*i + 6 for i.
-4
Let g(x) be the first derivative of -x**4/4 - x**3/3 + x**2/2 + 20*x - 30. Let n be g(0). Solve 5*l - 2*l - 9 = 5*c, -4*l - n = 4*c for c.
-3
Suppose 0 = -2120*z + 2112*z + 160. Solve z = -4*o, -2*g - 3*o + 0*o - 5 = 0 for g.
5
Suppose 14*g = 18*g. Solve -3*w - f - 10 = 4*f, g = 2*w + 5*f + 10 for w.
0
Let y = 0 + 4. Suppose 3*q - y*q + 1 = 0. Let s = 3 + q. Solve -2*j - 1 = x, -5*x - 1 = j + s for j.
0
Let h be ((-4)/10)/((-1)/5). Let v be ((-4)/7)/(12/(-84)). Suppose -m + 23 = 2*m - 2*s, v*m = -5*s. Solve 3*i - 40 = m*f - h*i, 0 = -5*f + 4*i - 37 for f.
-5
Let h be ((-200)/(-160))/((-10)/(-16)). Solve -h*a + 4*q = -q + 16, -5*a + 3*q = 21 for a.
-3
Suppose -5*p + 29 = 2*n, 0 = -2*p - 2*n + 5*n + 4. Solve -p*v - 21 = 2*c, v + 6 = 2*v - 3*c for v.
-3
Suppose -3*u + 4*p = 7, 4*u - 5*p = -2*p. Let f be 1/(-2) + (-28)/(-8). Suppose -f*z = -36 - 12. Solve -u*i + 20 = -2*o + i, -4*i + z = -o for o.
-4
Let s(x) = -57*x + 346. Let r be s(6). Solve 0 = -2*m + r, 7 = 4*k + k + m for k.
1
Suppose 0 = 29*v - 207 + 178. Let h be (3 + 0)*(-4)/(-6). Solve x + v = m + 2*m, -h*x + m - 2 = 0 for x.
-1
Let k = 106 - 91. Solve 0 = 4*d + r + 4 - 3, 5*r - k = 0 for d.
-1
Suppose 0 = -6*g + g + 65. Suppose 0 = d, 3*z = -4*d + g + 23. Solve -m = -w + 3*m - z, 0 = -w + m for w.
4
Suppose 0 = -5*d + 3*a + 7, -42*d - 4 = -45*d + 2*a. Solve 5*j = 6*c - d*c - 15, 4*j + 1 = c for c.
5
Let t(r) = 6*r + 1. Let d be t(6). Let p(z) = 24*z**3 + z**2 - z + 1. Let j be p(1). Let i be (-5)/j + 42/10. Solve 5*f - d = i*n - n, 2*n - 5*f = -33 for n.
-4
Suppose -3*c = -3*g - 15, -2*c + 4*g + g + 16 = 0. Solve -v = -c*r - 8, -3*r - 4*v + 11 = -6 for r.
-1
Let f(l) = 3*l - 18. Let s = -28 + 36. Let u be f(s). Solve p - i - 7 = 0, 0*p - 2*p = 3*i + u for p.
3
Let q(b) = b**3 + 7*b**2 + 6*b + 10. Let i be q(-5). Let c = 33 - i. Solve 3*g - 6 = g, 0 = 3*j - 3*g + c for j.
2
Let d be ((-14)/(-6) - 2)*39. Solve -3*h = -5*b - d, b + 8 = -b + 4*h for b.
-2
Let b(a) = 11*a - 50. Let m be b(5). Suppose 3*q - 9 = -0. Solve -m*s = 37 - 12, -2*s - 1 = -q*n for n.
-3
Suppose -p + 97 = 4*b, 0*b + b - 2*p - 31 = 0. Suppose 4*t - 77 = -b. Let c = -11 + t. Solve -3*h = j + c*j + 18, -3*h - 4*j - 21 = 0 for h.
-3
Suppose -14 = -7*z, -28 = -4*n - 0*z - 2*z. Suppose -5 - 7 = -4*x. Let m = n - x. Solve y = 2*v + 6, -y + m = y - v for y.
0
Suppose 5*d - 3*q - 52 + 10 = 0, 5 = 5*q. Suppose 4*a + 5 = -11. Let n = a + d. Solve 4*j - 3*p - 6 = 0, -2*j - n*p - 8 = -p for j.
0
Suppose -4*o - 8 = 0, 0*j = 4*j + 2*o + 4. Suppose j = 38*z - 39*z + 4. Solve 0 = -7*p + 4*p + z*u - 24, -12 = -4*u for p.
-4
Let n be (-539)/(-35) - (-2)/(-5). Suppose 2*j - 4*r = 8 + 2, -3*j + 2*r = -n. Solve h + 6 = 3*b, -j*b + h + 1 = -9 for b.
2
Suppose 0 = 7*c - 2*c - 20, 2*c = 5*f - 62. Solve 3*m + 1 = 2*l, 3*l - f*m + 18 = -16*m for l.
-4
Let x(y) = 2*y - 10. Let f(g) = -g + 9. Let p(q) = 3*f(q) + 2*x(q). Let l be p(-5). Let k = l - 0. Solve 0 = h - 2*b - 11, -7 - 7 = -4*h + k*b for h.
1
Suppose -p - 3 = -2*p, -3 = -2*h + p. Solve -g + q = 1, 2*g + 9 = g - h*q for g.
-3
Let l(s) = 7*s + 73. Let h be l(-10). Suppose -3*i = -4*i - 4*o + 18, -o - 6 = -5*i. Solve -h*z = 5*t + 28 - 9, i*t - 2*z = -14 for t.
-5
Let b(s) = s**3 + 2*s**2 - 4*s - 5. Let n be b(-2). Solve -4*a = -4*y + 24, -3*a - n*y + 14 = 2*y for a.
-2
Suppose 2 = -6*c - 4. Let h be (1 + c)*1/(-2). Solve d - 3*w - 8 = -4*d, h = -3*d - 3*w for d.
1
Let s(p) = 5*p**2 + 3*p + 1. Suppose -2*r = 4*l + 14, 2*l + 16 = 6*r - 10*r. Let q be s(l). Solve 4*h - 4*v + q + 13 = 0, 0 = -4*h + 2*v - 24 for h.
-5
Let g(f) = 10*f - 75. Let b be g(9). Suppose 7*v - b*v = -40. Solve 5*t = -0*c + 3*c - 32, -v*t = 5*c for t.
-4
Suppose 3*h + 4 = 28. Solve -6*j + 2*j = -h, -4*j = -3*u + 7 for u.
5
Suppose 0 = -7*f + 8 + 13. Suppose -2 = -3*c + 7. Suppose c*z = 14 - 2. Solve -f*l + 18 = g + 3, 0 = -z*l + 2*g + 10 for l.
4
Suppose 4*l - 231 = -3*l. Let v = -31 + l. Solve -3*j = -2*y + 17, 0 = y - v*j - 2*j - 16 for y.
4
Suppose 2*i = 4*j - 282, 2*j - i - 212 = -j. Let q = j - 66. Let s = -7 - -12. Solve 2*m + 25 = 5*v, -s = -q*m - 30 for v.
3
Let f be (14 - 14)*(2 - 3). Solve f = 3*w + 3*c - 3, -c = w - 2*w + 7 for w.
4
Let z be (-2)/(-1) + -1 + 3. Suppose j + z*j - 25 = 0. Let b(w) = 6*w + 68. Let k be b(-11). Solve 0 = -j*u + p - 9, 6 = -u + k*p - 3 for u.
-1
Suppose 8*q - 7*q = 5. Suppose q*h + 22 = -13. Let u be (-7 - h) + (-1 - -3). Solve -u*y = -2*g + 6, 4*g = -2*y - 3*y - 15 for y.
-3
Suppose 58 = 2*h + 5*v - v, 37 = 2*h - 3*v. Let s = h + -8. Solve -4*r + 8 = 0, -4*r + 2 + s = 3*n for n.
3
Let b be (-4)/(-6) - (-1)/3. Let h be (-12)/(-81)*18 + (-4)/6. Solve 5 = 6*s - h*s + a, -a + b = 0 for s.
1
Let a(x) = -31*x + 1. Let u be a(-1). Let k = 54 - u. Let i = 48 - 46. Solve 