Solve 2*t = -2 - j for t.
-1
Suppose 0 = 2*w - 3*s + 9, -2*s + 10 = -0*s. Solve w = -m - 1 for m.
-4
Let a(p) = 0*p - p - 2 + 2*p + 0. Let b = -8 + 13. Let m be a(b). Solve 3*o + m + 0 = 0 for o.
-1
Let a(p) = -p + 28. Let w(n) = 9. Let z(o) = -2*a(o) + 7*w(o). Let h be z(9). Solve b = 6*b - h for b.
5
Let b = 19 + -15. Solve 14 = b*l + 2 for l.
3
Let d be -1 + -1*(5 + 0). Let z be (18/(-4))/9 - 6/4. Let l = z - d. Solve -l*x + 17 = 1 for x.
4
Let q = 0 + 9. Solve 4*x - x - q = 0 for x.
3
Let y = -2 + 2. Let i(j) = -2 + j + j + 0. Let b be i(2). Solve b*v - 2 = -y for v.
1
Let b be 26/22 + (-20)/110. Solve 2*p = 9 + b for p.
5
Let j be (-2 - -5) + (-12)/4. Solve -10 = -j*g + 5*g for g.
-2
Let y(s) = -s**3 - 6*s**2. Let f be y(-6). Let a(r) = r**2 - r + 6. Let z be a(0). Suppose 0 = -2*v + 4 + z. Solve -v*i - 5 = -f*i for i.
-1
Let z(c) be the first derivative of -c**2 + 1/3*c**3 - 3*c - 1. Let t be z(3). Solve 6*d - 4*d + 6 = t for d.
-3
Let c = -1 - -12. Suppose p + 2*p = -6. Let a = p + c. Solve -a = -4*d + d for d.
3
Let g(j) = -j**3 - 4*j**2 - 4*j + 1. Let v be g(-3). Let c(i) = -i**2 + 3*i + 3. Let o be c(4). Let t = o - -2. Solve t = l - v for l.
5
Let z = -3 + 24. Suppose -3*l = -2*d - 8 + 2, 3*l - z = -3*d. Suppose 4*c = c + 30. Solve l*i + c = -10 for i.
-5
Let o(g) = -g**3 + 3*g**2 + 4*g + 4. Let z = 9 + -5. Let k be o(z). Let s be k + 1 + (-1 - 1). Solve -s*l - 3 = -0 for l.
-1
Suppose -6 = -3*r + 2*r. Solve -i - r = -2 for i.
-4
Let s(o) = o**3 - o**2 + o + 34. Let l be s(0). Suppose 0 = -2*w + 8, 3*z + w = -3*w + l. Suppose -z = -2*y - 2. Solve 15 = y*p + p for p.
5
Let u = -6 - -8. Suppose 0 = 5*n - u*n - 9. Suppose -4*s + 12 = s - p, s - n*p + 6 = 0. Solve s*v = 4*v - 2 for v.
2
Suppose h + 1 = -g, 3*h - 9 - 18 = 3*g. Suppose -2*t - 20 = -h*v, -v + 4*t - 2 = v. Solve -5 = 3*q + v for q.
-4
Suppose 0 = 2*i - i - 9. Let p be -12*(-6)/i - -2. Suppose -6*b + b = -p. Solve -3*h = b*h for h.
0
Suppose 2*k + k - 24 = 0. Let q = 6 - k. Let f = q + 7. Solve f*l + 16 = -9 for l.
-5
Suppose -3*n + 4*n = 3. Suppose -n = -4*p + 5. Let y(w) = -w**3 + 5*w**2 + 6*w. Let l be y(6). Solve l*o + 10 = p*o for o.
5
Let x(q) = -3*q - 3 - 3*q + 7*q. Let t be x(7). Suppose 0 = 3*h - h - t. Solve h*l - l = 0 for l.
0
Let k = -49 - -51. Solve -k*z + 4*z = 10 for z.
5
Let i be 16/(-10)*(-10)/4. Solve i*x - x = -6 for x.
-2
Let j be -2 + 1/((-3)/15). Let k(t) be the third derivative of t**6/120 + 2*t**5/15 + 7*t**4/24 + 5*t**3/3 + t**2. Let x be k(j). Solve -u = -3*u - x for u.
-5
Let w(j) = -j**3 + 6*j**2 - 4*j - 1. Suppose -23 = -3*f - 8. Let i be w(f). Solve -p - 1 = i for p.
-5
Let n be ((-78)/(-24))/13 - 91/(-4). Solve 3 - n = -5*b for b.
4
Let q be 4 + -1*2 + 0. Let o(g) = g**3 - 2*g - 1. Let z be o(q). Suppose -z*h + h = 0. Solve 3*a + 12 = -h*a for a.
-4
Let c be -1 - -1 - (-1 - 2). Suppose -2*r - y + 4*y = -13, -3*r + c*y + 21 = 0. Let x be r/(-4) + (-1 - -3). Solve -5 = f - x for f.
-5
Suppose -h + 29 = 16. Solve 9*w - 12 = h*w for w.
-3
Suppose -q - 3*x = -10, -5*q + x + 14 + 20 = 0. Let y(b) = b - 6. Let l be y(9). Solve -q*f = -l*f for f.
0
Let u be 13/(-52) + (-82)/(-8). Suppose m = -4*m + u. Solve m*y - 3 = 3 for y.
3
Suppose -2*r = -4*r + 2. Let h = 2 + r. Suppose -2*t - 5 = -4*z + z, -3*z = -h*t - 3. Solve 0*s = z*s - 9 for s.
3
Suppose -5*l - 5*z + 39 - 14 = 0, 3*l = 5*z - 17. Solve 0 = -a - 0*a + l for a.
1
Suppose 0 = -3*a - 1 + 16. Let d(s) = -3*s**2 - 15*s - 3. Let m(r) = 2*r**2 + 8*r + 2. Let p(n) = 3*d(n) + 5*m(n). Let y be p(a). Solve u + 5 = y for u.
-4
Suppose x - m = 5, 2*m - 20 = 4*x + 6*m. Solve 2*v - v + 2 = x for v.
-2
Let b(i) = -i**2 + 7*i - 5. Let u be b(4). Suppose 2 - u = -k. Solve -2*w - 1 = k for w.
-3
Suppose -12 = -2*m + 3*h, -h - 16 = 3*m + 3*h. Solve 8 = -m*t + 4*t for t.
2
Let n = 30 + -28. Solve -3*q = -n*q - 3 for q.
3
Let i = -11 + 7. Let t be -2*(-2)/i*0. Suppose -d - 4*c + 17 = t, 3*d = 2*d - 2*c + 11. Solve d*a = 2*a for a.
0
Let w = 26 - 26. Suppose -22*g + 25*g = w. Solve g + 8 = 4*b for b.
2
Suppose -10 = 6*a - a, 5*p = -2*a - 4. Let x be (-2)/4*p/1. Solve 0*j + 5*j = x for j.
0
Let f = -28 - -33. Let i = 1 + 3. Solve i*l - f = 15 for l.
5
Suppose 5*m + 6 = -z, m = 6*z - z - 22. Solve 19 = 3*u + z for u.
5
Suppose -i - 3*y + 93 = 2*i, -y + 57 = 2*i. Solve 4*k = -i + 6 for k.
-5
Suppose 0 = c + 4*c - 10. Suppose -a + 4*a = -6. Let w = c - a. Solve w = -3*b - 5 for b.
-3
Suppose 4*w - 3*a = 18, 3*a + a + 23 = 5*w. Solve 0*i = -i - w for i.
-3
Suppose -3*r - k + 12 = 2, 0 = 2*r + 5*k + 2. Solve -a - r = -1 for a.
-3
Let n(u) = u**3 - 11*u**2 + 3. Let i be n(11). Suppose -w - 2*h + 13 = -2, -4*w = -3*h - 16. Let q = w - -3. Solve -i*d = -d + q for d.
-5
Let r = 13 + -5. Suppose -8*o = -4*o - r. Solve 20 = 2*m + o*m for m.
5
Suppose -2*p + 2*s - 8 = -5*p, p + 4*s = -4. Solve 2*k - 6 = p*k for k.
-3
Let n = -46 - -48. Solve 2*a - 16 = -n*a for a.
4
Let y = -6 + 12. Suppose -29*q + 32 = -27*q. Solve -y = -5*w - q for w.
-2
Let p be ((-2)/2 + 4)*1. Suppose -4*r - p*t = 0, -5*r - 35 = -t - 4*t. Let z(c) = c**2 + 3*c + 3. Let s be z(r). Solve s*y - 1 = 5 for y.
2
Let k = -18 - 0. Let a = k + 29. Solve -a = 5*c + 9 for c.
-4
Let k = -5 + 7. Suppose -4*g = -6*g + k. Solve 0 = -2*v - g + 7 for v.
3
Suppose 2*s - 39 = -3*t, -8 = s - 0*t - 4*t. Suppose -5*d = 2 - s. Solve r + d = 2*r for r.
2
Let c be (2/(-6))/((-6)/126). Solve c*z = 3*z for z.
0
Let m(k) = -k + 10. Let d be m(8). Solve -y = d*y + 15 for y.
-5
Let v = 3 - 4. Let b = v - -3. Solve 4*o = b*o - 6 for o.
-3
Let l = -16 + 15. Let b = l + 5. Solve -4*n + b = -4 for n.
2
Let i be (-2)/9 - (188/(-36) + 1). Solve 2*o - i*o + 8 = 0 for o.
4
Let r be (-3 - -1) + -2 + -1. Let d = 8 + r. Suppose -3*k = -15, 0 = 5*h - 5*k + 7 + d. Solve h = o - 4*o for o.
-1
Let r(k) = -5*k**2 + k - 1. Let w be r(1). Let b(o) = -o - 2. Let g be b(w). Solve -8*y = -g*y for y.
0
Suppose -5*o + 27 = 7. Let g = -1 + o. Solve g*i - 10 = 2 for i.
4
Let b(i) = -i**3 - i**2 + 3*i + 3. Let c be b(-2). Solve 4*o = -7 - c for o.
-2
Suppose 4*i + 12 = 0, -2*q = 3*i - 1 - 0. Solve f + q = -0*f for f.
-5
Let o be 184/(-12)*9/(-6). Suppose o = 4*a - 17. Solve -a = -5*b - 0 for b.
2
Let s(m) = -m - 5. Let j be s(-5). Solve 2*a + 0 + 2 = j for a.
-1
Suppose r + 5*d = 13, -13 = -5*r - 0*d + d. Let q = -3 - 0. Let s = -3 - q. Solve -4*n - 19 + r = s for n.
-4
Let b be 105/10*2/3. Let i(g) = -g**2 + 6*g + 5. Let c be i(b). Let x(h) = -3*h**3 - 2*h**2 + 2*h + 3. Let q be x(c). Solve q = 3*s + 2*s for s.
3
Let c = 26 - 24. Solve b + c*b = 0 for b.
0
Suppose 15 = b + 4*b. Suppose b*x - 7*x = 0. Solve x = -v + 1 - 4 for v.
-3
Let u(j) = -j**2 + 3*j + 4. Let x be u(3). Solve 10 = 3*f + x for f.
2
Suppose -5*d + 0*f = 5*f - 5, 0 = 5*d - 3*f + 19. Let c(p) = 3*p**2 + 0*p**3 + 0*p**3 + p**3 - 1. Let o be c(d). Solve 4*k = o*k + 3 for k.
3
Suppose 3 - 11 = 4*c. Let k = c + 2. Solve k = -4*q - q + 25 for q.
5
Let a(f) = f**2 + 5. Let i(g) = -2*g**2 + g - 10. Let c(j) = 13*a(j) + 6*i(j). Let s be c(-5). Solve s = -8*r + 3*r - 20 for r.
-4
Suppose 4*c + 3 - 19 = 0. Let t be (-1)/((-9)/(-12) + -1). Let v = 14 - t. Solve -2*i + c = v for i.
-3
Let f = -18 + 20. Solve 2*i + f*i = 12 for i.
3
Let n = -89 + 92. Solve n*m = 2*m for m.
0
Let y(z) = 5 - 3*z**3 + 4*z**3 - 2*z - 11*z**2 - 10*z. Let r be y(12). Suppose -p + 4 = 2*j, -r*j = 6*p - 2*p - 10. Solve 0 = -3*w + 5*w + j for w.
-1
Let i be 228/9 + 1/(-3). Solve -o + i = -6*o for o.
-5
Let a be 2/3*(-9)/(-1). Suppose -4*l - 16 = b - a*b, b = -3*l - 12. Solve -3*t + b*t = -3 for t.
1
Let a be (4 - (-5)/3)*3. Solve a = -5*c + 2 for c.
-3
Let a = 7 + -12. Let r = 2 - a. Solve 2*h = r*h for h.
0
Let i be 2 + (-1)/(-2)*0. Suppose 3 = -3*b + 4*g - i, 2*b = g. Solve -b = -3*p + 2 for p.
1
Suppose -3*k + 13 = u, -5 - 4 = 3*u - 3*k. Solve q = u + 3 for q.
4
Let g be 13 - (-2*1)/(-2). Suppose 7*h + 2*o = 2*h - g, 2*h + 2 = 2*o. Let d be (0/1)/(h/2). Solve c - 4 = -d*c for c.
4
Let s(n) = 4*n**3 + 1. Let d be s(1). Solve 0*u = u + d for u.
-5
Let u = 1 - 0. Let k be u/2 - 90/(-12). Suppose 0 = -2*h - 4*t - k, -t - 2*t - 15 = -3*h. Solve h*f = -2*f for f.
0
Let o be (-36)/(-30) - (-3)/(-15). Let l = 24 + -11. Solve 4*b = o - l for b.
-3
Let d = -2 + -3. Let j = 9 + d. Solve