= -133 - -137. Solve n + g = s for n.
2
Let w = -3 + 6. Let v be (-26)/(-6) - (-2)/w. Let n = 5 - v. Solve -3*d + 2*d + 4 = n for d.
4
Let d(h) = h + 24. Let x be d(-10). Suppose -2*v + x = l, 3*v - 4*l = -l + 30. Solve 3*k = -k + v for k.
2
Let w be 3/(((-12)/15)/(-4)). Let c = 16 - w. Solve l = -1 - c for l.
-2
Let j(d) = -2*d + 3. Let f be j(3). Let b be (-7)/2 + f/(-6). Let o be (-2)/(b/12*2). Solve c = o - 2 for c.
2
Let t be (-18)/6 + -9 + 0. Let q = -9 - t. Solve 0*w + q*w = -3 for w.
-1
Suppose 2*p = -10, -3*v = 5*p + 4 + 9. Solve 20 = v*n + 8 for n.
3
Suppose 4*p + 1 - 17 = 0. Suppose 1 = -p*u + 13. Solve 0 = 4*a + u + 5 for a.
-2
Suppose -4 = 2*a - 3*j, 3*a = 4*a - 3*j + 5. Let r be 1 + (-2)/4*-2. Let l(y) = y**3 + 4*y**2 - 5*y. Let v be l(-5). Solve v = q + r + a for q.
-3
Suppose 9 - 1 = 2*i. Suppose -2*y + i = -u, -14 = -y - 3*u - 5. Solve o + y = -0*o for o.
-3
Suppose -5*o + 3*o = -24. Solve -3*n + 0*n - o = 0 for n.
-4
Suppose 3*b + 0*b - 204 = -4*u, 68 = b + 5*u. Suppose 2*v + 95 = -3*q, -4*q + 2*q + v - b = 0. Let w = -23 - q. Solve 5 = -5*k - w for k.
-3
Let s = 20 - 16. Let u be 0*2*s/(-24). Solve 5*d + 6 - 21 = u for d.
3
Let z be 3/6*0/1. Let t be z/(1 - 0/(-1)). Let v = -22 - -38. Solve -v + t = -4*s for s.
4
Let u be (3/(18/4))/(4/90). Solve 0 = 5*j - 8*j + u for j.
5
Let r = -7 - -11. Let m = r - 2. Solve 0*i - m = 2*i for i.
-1
Let w be (-24)/(-10)*30/9. Suppose -16 - w = -2*n. Suppose 4*j = 5*l - n, -l - 16 = -4*j - 3*l. Solve d = -d + j for d.
1
Let j(g) be the third derivative of g**4/24 - g**3/6 - g**2. Let p be j(6). Solve p*c - 2 = 18 for c.
4
Let l = -22 + 27. Solve 2*n - l = -1 for n.
2
Let p be -7 + (0/(-3) - 0). Let q be (p + 3)/((-1)/(-1)). Let v(c) = -c + 4. Let n be v(q). Solve 4*z - n = 8 for z.
4
Let o(w) = w**3 - 4*w**2 - 5*w - 5. Let u be o(6). Let i(k) = 2*k**2 + 4*k - 1. Let v be i(-3). Suppose 7 - u = -v*z. Solve z*r - 2*r = -20 for r.
-5
Let m(h) = -10*h - 4*h**3 + 3*h**3 + 16 - h - 13*h**2. Let n be m(-12). Solve -4 + 0 = n*k for k.
-1
Suppose -3*v - 62 = -0*w - w, 0 = -w + 5*v + 66. Suppose 0 = x + 3*x - w. Suppose -5*a = -5, 0 = -3*g - a + 2*a + x. Solve g*y - 20 = y for y.
5
Let z = 64 + -44. Solve -3*r - r = -z for r.
5
Let w = -98 - -101. Solve -6 = w*v - 18 for v.
4
Let k(x) = 3*x**3 + 2*x**2 + x - 2. Let z be k(1). Solve -z*o + 31 - 11 = 0 for o.
5
Suppose -6*k + 8*k = 6. Suppose -3*x - k = -4*x. Solve -7*q + x*q + 16 = 0 for q.
4
Let c(x) = -x + 2. Let r be c(2). Solve r = o - 0 - 4 for o.
4
Suppose -6*f + 2*f + 32 = 0. Suppose 0*p + f = 2*p. Suppose -5*w = b - 16, -2*b = 3*b + 2*w - 11. Solve t - b = -p for t.
-3
Let s be 3/((-15)/2)*-10. Suppose 0 = -3*m + 15, 5*r = -0*r + 5*m + 25. Suppose 0 = -5*p - 2*f + 6, 4*f + r = 3*p - 2*p. Solve s*w = p*w - 4 for w.
-2
Let w = -56 + 56. Solve -3*k - 12 = -w*k for k.
-4
Let j = -14 - -6. Let m be ((-1)/(-2))/(j/(-16)). Let o = m - -5. Solve 0 = o*f - 4*f - 6 for f.
3
Let z(p) = p**3 + p**2 - p. Let n be z(-1). Suppose 5 = r + n. Suppose 2*a + 18 = r*j, 0*j = 5*j - 5*a - 30. Solve -j*x - 5 = 1 for x.
-2
Let f be -6 - (1 + 2)/(-3). Let q = f - -5. Solve q*g + 3*g = 0 for g.
0
Let x(m) = 2*m + 4. Let h be x(-4). Let q be 0 + 0 - h/4. Let p be q/(-4) + (-1)/(-4). Solve p*f - f = 2 for f.
-2
Let u = 8 - 6. Solve j = 2*j + u for j.
-2
Let n(r) = -14*r**3 + 2*r + 2. Let o be n(-1). Suppose 18*d = o*d + 8. Solve d = -2*q + 10 for q.
4
Let u = -9 - -13. Suppose 8 = u*l - 0. Solve 2*g - 4 = l for g.
3
Let c be 5*2 - (6 - 5). Suppose -4*r + 20 = 3*n - c, n - 2*r = 23. Solve o + n = -2*o for o.
-5
Let x(h) = h**3 + 6*h**2 + 4*h + 1. Let i be x(-5). Suppose 2*v + 6 = -y - 2*y, i = 3*y - 2*v. Solve 0 = -2*q - y*q for q.
0
Let p = 18 - 16. Let s be (8 - p)/(15/10). Solve -s*r + 15 = -r for r.
5
Let j be (-1)/(-3) - 41/(-3). Let o be 4/j + 36/21. Let i be 0/(1/(o/4)). Solve i*p = 3*p for p.
0
Let s = -1 + 6. Suppose -32 - 18 = -s*k. Let z = 5 - 3. Solve z*c + k = 7*c for c.
2
Suppose 0 = a + 2*p - 24, -2*p - 66 = -4*a - 0*p. Solve -3*o - a + 3 = 0 for o.
-5
Suppose 0 = -a + 3 + 1. Suppose a*d = 8 - 0. Solve 0 = d*z - z + 2 for z.
-2
Let k be -8 - (6 - 3)/(-1). Let g(j) = j**3 + 6*j**2 + 3*j - 6. Let q be g(k). Solve -16 = -0*d + q*d for d.
-4
Suppose 2 = 5*v - 18. Let o = 17 + -18. Let h = 2 - o. Solve v*i = i + h for i.
1
Let u = 30 + -26. Solve v - 25 = -u*v for v.
5
Let x(b) = -b**3 + 6*b**2 - b - 7. Let m be x(5). Let j = m + -8. Solve -f + j*f - 20 = 0 for f.
5
Let l = 5 - -4. Let x be (l/(-4))/((-3)/8). Let w(d) = -d + 6. Let q be w(x). Solve q = -0*f + f + 1 for f.
-1
Suppose -10 = -z + 2*m + 16, m - 37 = -2*z. Let i be (-2)/8*(-6 - -6). Solve -z = 4*n - i*n for n.
-5
Suppose -6 = 5*l - 7*l. Let b(n) = -n + 12. Let m be b(10). Solve -q + m = l for q.
-1
Let v = 0 + 2. Solve -3*a - v*a - 25 = 0 for a.
-5
Let o(d) = -d**3 - 6*d**2 - d - 6. Let t be o(-6). Solve t = 2*l - 0*l + 10 for l.
-5
Let h(g) = -g - 2. Let k be h(-5). Suppose 5*x - 7 = k. Suppose 34*y = 27*y + 105. Solve a = -x*a + y for a.
5
Let h = -1 - -3. Suppose 11 = -3*b + 38. Suppose -h*f - 3*f + 13 = -2*a, 3*a = -2*f + b. Solve -1 = 4*m + f for m.
-1
Let w = -7 - -11. Suppose 0 = o + 2*k - w*k - 5, 2*o - 28 = -2*k. Solve -5*n + o = -14 for n.
5
Suppose -4*c = 5*s - 38, 22 = c + 2*s - 7*s. Solve 8*d = c*d + 8 for d.
-2
Let h(y) = -2*y**3 - 3*y**2 - y - 2. Let u be h(-2). Suppose -u = -4*n + x + 1, 4*x = -4. Suppose -n + 4 = f. Solve -2*p = f*p - 5 for p.
1
Suppose 5*i = -3*p + 18, i + 3*p - 2 = 4*p. Let h(y) = -3*y + 2. Let k be h(i). Let j(u) = -u - 5. Let a be j(k). Solve 0 = -a*f + 3 - 9 for f.
-3
Let d be -10*3/(-6) + 11. Solve -2*c - 2*c - d = 0 for c.
-4
Suppose 5*t = -0*t. Suppose 2*s = -3*x - s + 12, -x + s = t. Suppose 0 = -2*h - 3*h. Solve h = -i - x for i.
-2
Suppose -29*h = -32*h + 15. Solve -3*q + 11 = h for q.
2
Let a(t) = t**2 - 2*t + 1. Let o be a(1). Let z(p) = p**3 - 2*p**2 - 3*p + 2. Let k be z(3). Let h be 22 - ((-12)/(-3))/k. Solve o = u + 3*u - h for u.
5
Suppose -7*w = -3*w. Let c(s) = 5*s**2 - 3*s - 1. Let k be c(-2). Solve w = -4*p - 5 + k for p.
5
Suppose 5*p - 15 = 5*q, -3*q - 8 = 2*p + 2*q. Suppose -u - 7 = -2*o, 4*u - 3*o - 2 = -5*o. Let w be -2*1/(2*u). Solve w + p = i for i.
2
Suppose -4 = -4*u - 2*f, 4*u + 2*f = -2*f + 8. Solve -3*k + 6 = -u*k for k.
2
Let t be (-1)/(2 + (-4 - -3)). Let q be -1*(t + -2 + 1). Solve -5 + q = -g for g.
3
Let g(y) = y**3 + 4*y**2 + y + 5. Let d be g(-4). Let u = 6 - d. Let q = 7 - u. Solve -5*j = -3*j + q for j.
-1
Let w(k) = -k**3 + 4*k**2 + 6*k. Let h be (10/(-3))/((-4)/6). Let s be w(h). Suppose -s*q = -3*r + 19, 4*r - 10 = 4*q + 10. Solve -5*j = -r*j + 8 for j.
-4
Let x = -12 + 15. Suppose 12*p = 11*p + x. Solve b + p = 4*b for b.
1
Let i be ((-2)/4)/((-129)/(-66) + -2). Solve -i*f = -13*f for f.
0
Let g(a) = 27*a**2 + 3*a + 2. Let o be g(-1). Let k = 29 - o. Solve -17 = -4*m + k for m.
5
Suppose 11 - 1 = -2*q. Let a be q*((-24)/15 + 1). Suppose 3*y + 15 = a*u - 5*u, -4*u - 2*y - 10 = 0. Solve j = -u*j for j.
0
Suppose 4*n + n = 0. Let y be (-3)/(n - 4/4). Solve -4*t - 5 = y for t.
-2
Suppose -3*x - 3*b + 15 = 0, 4 = 2*x - 5*b + 1. Let p be x/(-12) + 26/6. Solve p = 2*d - 4 for d.
4
Suppose 0*o + 11 = f + 2*o, 0 = 2*f - 5*o + 5. Suppose -f*t = -5 - 5. Solve -6 + 2 = t*c for c.
-2
Let u be 7*(92/28 + -3). Solve 0 - u = f for f.
-2
Let m be 2*(1 - (-10)/(-4)). Let r = m - -7. Solve 0 = -0*g - 2*g - r for g.
-2
Let h = 25 - 20. Solve 7*d = 2*d + h for d.
1
Suppose -4*b - 6*b = -70. Solve q = 4 - b for q.
-3
Let q = 134 - 131. Solve q*c + c = 4 for c.
1
Let n = -1 - -6. Suppose -h = h. Let k = n - h. Solve 0 = -k*q - 4 - 6 for q.
-2
Let k be (-12)/(2 + -6) + 7. Solve -b - b = -k for b.
5
Let n(q) = -q**3 + 4*q**2 + 5*q + 4. Suppose 5 = 3*s - 10. Let x be n(s). Solve -b + x - 2 = 0 for b.
2
Suppose -4*a + 4 = 4*z, 3*z - 2 = -0*z - 2*a. Solve z*b = -b + 4 for b.
4
Suppose 0 = 2*f - 5*b - 29, f + 4*b + 10 = -4*f. Solve -g = -f*g for g.
0
Suppose 5*n + 4*o - 18 = 0, -5*n - 5*o + 0 = -20. Solve 0 = n*c + 3*c for c.
0
Let a(y) = y**2 - 4*y - 17. Let t be a(8). Solve -3*c - t = -0 for c.
-5
Let n(x) = 2*x + 3. Let q be n(-2). Let i = 11 + q. Solve i = -3*p + p for p.
-5
Suppose -13 = 4*u - 33. Solve 0 = u*o + 6 + 4 for o.
-2
Let w(i) =