 m*r + 2 for r.
2
Suppose -s = 5*i, 2*i + i = 5*s + 84. Let w be (s/(-6) + -2)*10. Solve w*q = -1 + 11 for q.
2
Suppose -3*t + 1 = -5*t - 3*w, 5 = t - 4*w. Solve -y + 0 - t = 0 for y.
-1
Let l(v) = -2*v - 3 + 2*v - v. Let x be l(-5). Solve x*g = g - 1 for g.
-1
Let x(l) = 3*l - 4. Let u be x(3). Suppose u*t + 37 = 3*f, 0*t = -2*f - 4*t - 12. Solve -f = -5*p + 6 for p.
2
Let s = 14 - 10. Suppose 15 = -s*c + 7*c. Solve 0 = 2*r - c + 1 for r.
2
Let f(t) = t + 8. Let k(y) = 2*y - 2. Let q be k(-3). Let s be f(q). Solve v + 5 = -s*v for v.
-5
Suppose 2 + 3 = w. Let q = 9 - 3. Let m(d) = -d**3 + 6*d**2 + d. Let t be m(q). Solve w*i - 9 = t for i.
3
Let y = 11 - 15. Let d = y + 8. Solve -d*j - 2 = -2*j for j.
-1
Suppose 0 = -3*b - 3*f, -b - b + 5*f = 7. Let a(q) = 4*q**2 - 2*q - 1. Let z be a(b). Solve -3 = -z*l + 17 for l.
4
Let l(x) be the second derivative of -x**5/20 + 3*x**4/4 - 3*x**3/2 + 6*x**2 + 3*x. Let z be l(8). Solve 0 = z*p - 3 - 1 for p.
1
Let b = -18 + 15. Let d(o) = 5 - 6 + o + 5. Let j be d(b). Solve 5*p - 4 - j = 0 for p.
1
Let s = -153 + 155. Solve s*q - 8 = -2*q for q.
2
Let d be 3 + -1 + -3 + 3. Suppose l - 3*t = -d*l, -t = -3. Solve -l*x - 4 = x for x.
-1
Let k(i) be the first derivative of -i**3/3 + 3*i**2 - 3*i - 1. Let p(c) = -c + 7. Let m be p(5). Let r be k(m). Solve 0 = -5*j - 0 - r for j.
-1
Let j = 15 - 9. Let s be (j/(-4))/((-30)/40). Solve -3*h - 8 = -s for h.
-2
Suppose -5*f = -2 - 3, 3*h - 16 = -f. Suppose -20 = -i - h. Solve z - 6*z = i for z.
-3
Let k(b) be the first derivative of -b**4/4 - b**3 + 3*b**2/2 + 2*b + 2. Let q be k(-4). Solve 3*a = q*a + 3 for a.
-1
Let m = 1 - 1. Suppose 0*d + d = -5*c + 23, 2*c - 2*d - 2 = 0. Suppose -5*b - l + 42 = 0, -5*l + 14 = 4*b - 7. Solve b*p - c*p - 5 = m for p.
1
Suppose 4*v - 12 = -s, -v + s = -0 + 2. Solve -t = -v*t - 2 for t.
-2
Let b(p) = p**2 - p. Let q be b(-1). Solve q = -5*j - 8 for j.
-2
Suppose -8*r + 25 = -7*r. Let l = r + -22. Solve -3 = l*b - 0 for b.
-1
Let b = 26 - 14. Suppose 0 = 4*v + 4 + b. Let o be (-12)/(-7) + v/(-14). Solve 7 + 1 = -o*h for h.
-4
Let t be 8 - -7 - (-3 - -2). Solve 0*n - 4*n = t for n.
-4
Suppose -5*i - 6*q + 4*q = -18, -i + 18 = 4*q. Solve i + 8 = -2*k for k.
-5
Let u be 2*(3 + 0)/(-3). Let k be u/(-12) - (-25)/30. Solve 5 + k = -2*j for j.
-3
Suppose -3*k = 2*k - 5. Let o(a) = 4*a**3 - a**2 + a. Let q be o(k). Solve 0*t - 12 = -q*t for t.
3
Let s = 6 + -4. Solve -3*g + s = -4*g for g.
-2
Let r = 1 + 1. Let o be (-2 + 1)*(-2)/2. Let w = r + o. Solve -3*h - w = -6*h for h.
1
Let g = -11 - -13. Solve 0 = i + g + 3 for i.
-5
Suppose -4*v - 18 = -5*s, 33 = 3*s + 2*s + v. Suppose -5*k = -5*o + 10, -2*k - 5*o - s = -30. Suppose q + 2*c = -2, k*q + 2 = c + 3. Solve q = 4*w - 5*w for w.
0
Suppose -4*t = -5*h + 4 - 2, 3*h = 4*t - 2. Suppose x + x + p = 6, 5*x = 2*p + 24. Suppose 0 = n - 0 - x. Solve h*o = -n - 4 for o.
-4
Suppose 6*s = s + 20. Let m(b) = -4*b**2 + 7*b + 1. Let z(j) = -j**2 + j + 1. Let k(d) = -m(d) + 5*z(d). Let h be k(-3). Solve o = h + s for o.
5
Suppose 2*b + 2*x - 2 = -10, 0 = -3*b - 5*x - 22. Let l = b - -1. Solve 0 = -3*k + 11 - l for k.
3
Let p be (27/(-15))/((-1)/5). Solve -4*c - p = -1 for c.
-2
Suppose -3*p + 5*k = -8, 0*p - 5*p = -5*k. Let l = -3 - p. Solve -l = -q - 5 for q.
-4
Suppose 0*m - 10 = -5*m. Solve 0 = -g - 0*g - m for g.
-2
Let m = -57 + 61. Solve -16 = -m*n + 4 for n.
5
Let l(i) = i**3 + 4*i**2 + 4*i + 2. Let k = -10 - -8. Let h be l(k). Solve -p - h*p = 6 for p.
-2
Let u = 84 + -78. Solve 5*s = u*s - 4 for s.
4
Let w be (20/3)/(6/18). Solve -w = 3*l + l for l.
-5
Suppose -2*o = n - 2, -o - 2 = 2*n - 3. Suppose 0 = j - 5, n = -3*g + 5*g - 5*j + 17. Solve 4*y + 12 = -g for y.
-4
Let b be 48/27 - (-1 - 14/(-18)). Solve a = -b + 7 for a.
5
Suppose -f = f + 5*x - 26, -4*f - 2*x + 36 = 0. Suppose i + 4*i - 75 = 0. Let g = -8 + i. Solve 3*s + g + f = 0 for s.
-5
Let m be (-4)/(-1)*(6 - 1). Let u be (-2)/(-6) - m/(-12). Solve -u*z - 2 = -z for z.
-2
Let s be 9 - 2 - (-4)/(-1). Solve -s*a + 2 + 10 = 0 for a.
4
Suppose 28 = -4*g - 3*k, 0 = -5*g + 3*k + 2*k. Let c be 2 + 3 + 8/g. Solve -z = -c*z + 8 for z.
4
Let n(v) = -v**2 - 12*v + 22. Let u be n(-13). Solve -w - u = -4*w for w.
3
Let j(x) = -4*x + 2. Let w be j(4). Let d = w + 25. Solve -4*v - d - 1 = 0 for v.
-3
Let r = -7 + 10. Suppose 0 = 4*b - 7 + r. Solve x - 4 = b for x.
5
Let d = 146 - 146. Solve 3*m + d*m = 0 for m.
0
Let w(b) = 4*b - 1. Let n be w(1). Suppose i - s = 0, -n*i - i = 3*s. Solve i = 3*m - m - 6 for m.
3
Let d be (0 + 2)*(-9)/(-6). Suppose -2*n - d*n = 0. Solve -u - u - 4 = n for u.
-2
Let a be (8/(-2))/(-1 + -1). Let k(q) = -3*q + 2. Let n be k(a). Let v = n - -4. Solve -4*o + o - 15 = v for o.
-5
Let j be -2*(-5)/14 + 16/56. Solve -2*t + j + 1 = 0 for t.
1
Let y(f) = -f**3 + 10*f**2 + 12*f - 6. Let z be y(11). Let k(g) = -g**3 + 6*g**2 - 4*g - 3. Let o be k(z). Solve -2*s - o*s - 12 = 0 for s.
-3
Suppose 0 = -5*d + 8*d. Solve 0 = -5*t - d*t for t.
0
Let b(u) = u**3 + 9*u**2 - 12*u - 15. Let n be b(-10). Solve -n*d = -d + 16 for d.
-4
Let n(i) = -i**2 + 4*i + 4. Let w be 1/(-2) - (-22)/4. Let h = 9 - w. Let c be n(h). Solve -o = c*o + 10 for o.
-2
Let p = 15 + 6. Let v(i) = i - 2. Let a be v(-6). Let l = a + p. Solve l = 5*z - 7 for z.
4
Let l(d) = -d**3 - 4*d**2 - 2*d - 1. Let a be l(-4). Let k(z) = -z**3 - z**2 + 2*z. Let g be k(-2). Solve -3*v + a + 8 = g for v.
5
Let o be 1*(2 + 55) - 1. Suppose h = -h + o. Suppose -3*g + h = -g - 4*s, 2*g - 27 = 3*s. Solve g = 5*j + 2 for j.
2
Suppose 2*k - h + 0*h - 1 = 0, -4*k + 32 = 4*h. Solve -4*m + 5 = -k*m for m.
5
Let u = 130 + -120. Suppose 3 = -3*v + 18. Solve 3*h + u = v*h for h.
5
Let r(i) = i**3 - 25*i**2 - 27*i + 50. Let d be r(26). Solve -6*k - d = -0*k for k.
-4
Let j(z) = z**3 + 4*z**2 + z - 2. Let m be j(-3). Let p(w) = 3*w**3 - 5*w**2 + 2. Let b be p(2). Solve b = m*t + 22 for t.
-4
Let w(p) = 4*p**2 - 3*p - 3. Let h be w(-3). Suppose -q + 5*r + 24 = 0, r = -7*q + 2*q + h. Let a = q + -6. Solve s - 2*s - a = 0 for s.
-3
Let b(q) = -q**2 - 4*q. Let i be b(-2). Let m be i + -1*(-2 + 3). Solve -10 = u - m*u for u.
5
Let t(b) = b**3 - 8*b**2 + b - 5. Let w be t(8). Suppose -w*k + k + 10 = 0. Solve 2*i - 3*i + k = 0 for i.
5
Let w = 20 - 18. Solve -w*k - 4 = -6 for k.
1
Let u(t) = -t**3 + 3*t + 2. Suppose 20 = 4*g + g, -12 = -4*w + 4*g. Suppose -i - 3*l + 2 - w = 0, -2*i + l - 3 = 0. Let o be u(i). Solve o - 3 = s for s.
1
Suppose 7*r + 12 = 9*r. Let b(p) = -p - 6. Let z be b(-9). Solve -z*t = -3 - r for t.
3
Let s = 4 - 1. Let y = 8 - s. Suppose 35 = 5*c - y*p, 0*c = -4*c - 4*p + 36. Solve b = -3*b + c for b.
2
Let v(s) = -2*s - 7. Let k be v(-5). Let u(j) = j**2 + j + 3. Let h(t) = t. Let y(a) = -5*h(a) + u(a). Let w be y(k). Solve w*x = -5*x - 15 for x.
-3
Let b be (-2)/8*-2*0. Let u(q) = -q - 2. Let c be u(-4). Let w = 0 + c. Solve m + 0 + w = b for m.
-2
Let l(y) = y**2 + y + 1. Let x be (-4)/(-14) - 2/7. Suppose -k = -n - x + 2, -5*k - 15 = 0. Let b be l(n). Solve -v + 3 = b for v.
2
Suppose -3*k + 28 = 4*s - 0*k, 5*s - 8 = 3*k. Let t(f) = -f**3 + 6*f**2 - 6*f + 4. Let r be t(s). Solve -4*y + 8*y = r for y.
3
Let c(t) = -t + 11. Suppose 4*r - 31 - 1 = 0. Let d be c(r). Let l be 2 - d - (-14 - -1). Solve 2*j + l = -j for j.
-4
Let m(b) = -2 + 3*b**2 + b - 2*b**2 + 0*b. Let t be m(2). Suppose 2*p - 20 = -3*n + 6*p, 0 = t*n - 3*p - 22. Solve g + n*g = -20 for g.
-4
Let l = -51 - -53. Solve -6*s = -l*s for s.
0
Let l(y) be the first derivative of -y**3/3 + 5*y**2 - 3*y - 1. Let c be l(7). Solve -2 = -4*n + c for n.
5
Suppose 0 = -4*f + 5*f. Suppose 0 = -2*g - 8 + 16. Let q = g + f. Solve q*p = 2*p for p.
0
Suppose 3*k + k - 24 = 0. Let b be 15 + k*(-4)/8. Let a(p) = p - 3. Let m be a(6). Solve 0*s = -m*s - b for s.
-4
Let m = 4 - 7. Let v = -2 - m. Let g = 8 - v. Solve -2*s - 5 = -g*s for s.
1
Let j = 1 - -1. Let d be (-2)/j*5*-1. Solve 26 = d*v + 11 for v.
3
Let j(m) = m**2 - 9*m - 10. Let y be j(11). Suppose t + 2*t = -4*g + y, -5*t = -g + 3. Suppose 4 = i + g. Solve p - i = -0*p for p.
1
Let c(q) = q**3 + 13*q**2 + 13*q + 14. Let u(j) = j**2 + 8*j + 3. Let s be u(-3). Let a be c(s). Solve 2*w = -a*w + 8 for w.
2
Let n(w) = -3*w - 1. Let v be n(-3). Solve -4*z = v + 4 for z.
-3
Let