 9 = -0 for b.
-3
Suppose -2*g = g - 12. Suppose -g*k = f - 21 - 9, -k + 15 = 4*f. Let y(d) = -d**3 + 8*d**2 - 8*d + 10. Let p be y(k). Solve -p*b = -5*b - 8 for b.
-4
Suppose -5*o = -2*o - 6. Solve 2 + 2 = -o*b for b.
-2
Let q be 0 - (-2 + -1 + 2). Solve 5*t = -q - 14 for t.
-3
Suppose -5*y + 6 = 1, -5*u + 6 = y. Suppose -u = -r + 2. Solve -r*o - 5 + 17 = 0 for o.
4
Suppose w = -g - 0*w + 1, -g - 4*w = 2. Solve v = -7 + g for v.
-5
Let l = -48 - -48. Solve p + 0 - 1 = l for p.
1
Let t be (-39)/(-6) + 6/(-4). Let j(m) = m - 8. Let b be j(11). Solve -t*d - 2 = -b*d for d.
-1
Let t(p) = -p**3 - 4*p**2 - 4*p - 3. Let o be t(-3). Solve o = 5*a - 0*a + 15 for a.
-3
Let q = 13 - 9. Solve 24 = q*o + 8 for o.
4
Let r = 13 + -11. Solve 3 = r*g + 11 for g.
-4
Let w be (2/(-6))/(2/(-18)). Let l = w - -4. Let y(s) = -s**3 + 6*s**2 + 8*s + 1. Let g be y(l). Solve 3*v + 7 + g = 0 for v.
-5
Suppose -d - 4*d = 0. Suppose d = 3*g + 2*g - 15. Solve 0*b = -g*b + 6 for b.
2
Let m(a) = -19*a**3 + a + 1. Let l be m(-1). Suppose -5*u - l = 1. Let f be (-27)/(-6) - u/(-8). Solve -3*b = b + f for b.
-1
Suppose 3*g - 18 + 3 = 0. Suppose -g*z - 30 = -5*i - 0*i, -3*z = -5*i + 24. Solve 0 = i*x - 6*x + 9 for x.
3
Suppose 52 = 7*b + 17. Solve 25 = -0*j + b*j for j.
5
Let n = -7 - -12. Suppose -4 - 6 = -n*v. Solve y + 12 = -v*y for y.
-4
Suppose 4*y - 10 = 6, 5*c + 2*y + 37 = 0. Let v = c + 13. Suppose 4*g = 19 - 3. Solve 0 = -0*u - v*u - g for u.
-1
Suppose -w + 10 = 3*q - 1, 5*q + 2*w = 20. Solve -1 = -g + q for g.
3
Suppose 4*f + 4*j - 32 = 0, -3*f = f - 2*j - 14. Let b = 18 + -12. Suppose -4*x + 2*g + 34 = 0, -f*x + g + 5 = b*g. Solve 9 = 5*t - x for t.
3
Suppose 0 = 4*n + 5 + 11. Let v = -1 - n. Suppose 2*g - 2*k = 8, 2*g - 5*k - 20 = g. Solve -3*p = -g - v for p.
1
Let f(z) = z**3 - 5*z**2 - 5*z - 2. Let x be f(6). Suppose x*j = -j. Solve 3 + j = o for o.
3
Let o = 37 + -28. Solve 0 = -3*k + o - 24 for k.
-5
Suppose w + 4*w = 4*v - 15, -3 = 3*v + w. Solve 0 = n - v*n for n.
0
Let j be 2/(-3)*(-6)/4. Suppose -w - 5 = z, 4*w - z = -4 - 1. Let c be (2 + w)/(j - -1). Solve c = -3*s - s for s.
0
Let v(b) = b**2 - 11*b + 10. Let w be v(10). Let j be 1/2*0*1. Suppose w = -2*f + 3*g + g + 32, -5*f - 4*g + 10 = j. Solve -5*r + 4 = -f for r.
2
Let a be (-2)/(-8) - 9/4. Suppose 0 = -2*h - 0 + 6. Let x = h + a. Solve -x - 15 = 4*z for z.
-4
Let p = -176 - -179. Solve 5 + 7 = p*m for m.
4
Let h = -22 - -24. Solve h*p + 5 = 11 for p.
3
Suppose -6*r + 4*r = 0. Let u = -4 - -2. Let j = u + 4. Solve r = n + j + 2 for n.
-4
Suppose -3*g = 2*i - 8, -4*g - i - 4*i = -13. Let w = -1 - -2. Suppose 0 = -3*p + w + 2. Solve 1 + p = g*l for l.
1
Suppose 4*o + 5*s + 8 = -1, 4*o - 26 = 2*s. Solve 0*l = -o*l for l.
0
Let r be (2/2)/(5/10). Suppose 0*t + 2*t = 2, -r*t = 4*w - 2. Solve -4*c + 5 - 1 = w for c.
1
Let w = 3 - -1. Let c be (3/w)/(3/36). Solve 5*y - c = 1 for y.
2
Let k = -5 + 7. Suppose 0 = -k*y + 8 - 0. Suppose -y*g + 20 = -4*z, 2*g = -2*g - 2*z + 2. Solve l + g = 1 for l.
-1
Let u = 4 - 14. Let r be u/(-4)*12/10. Suppose r*z = -3 + 9. Solve 3*q + z*q = 0 for q.
0
Let r be (-1)/(-3)*(-9)/(-6)*0. Solve -8 = -r*h - 4*h for h.
2
Let q = 6 - 3. Solve -q = -4*j + 1 for j.
1
Let c = -10 + 14. Suppose 30 = 4*o - 7*o. Let t = o + 26. Solve c = -4*y - t for y.
-5
Let a be (2 + 1)*1*(-6)/(-2). Solve 3 = 4*y - a for y.
3
Suppose 0 = 19*z - 21*z + 18. Solve 13*o - z*o = 16 for o.
4
Suppose -72 = -11*t - t. Solve 0 = 3*s - t + 15 for s.
-3
Let x = 77 - 65. Solve -2*y - x = y for y.
-4
Let x = 0 + -2. Let w be x/1*(-1)/(-2). Let n be (w/(-3))/(1/15). Solve -3*r - 2*r = n for r.
-1
Let q(n) = n**2 - 2*n + 1. Let d be q(3). Solve 0 = d*l - 17 + 5 for l.
3
Let s(h) = h + 8. Let n be s(0). Let y = 8 - n. Solve y = 4*q - 2*q + 4 for q.
-2
Let r(x) = 8*x + x + 6 - 8*x. Let d be r(-4). Solve 1 - 5 = d*j for j.
-2
Suppose -11 = -5*k - 1. Solve g + 15 = -k*g for g.
-5
Let l = 38 - 24. Let f = -10 + l. Solve -k - 9 = -f*k for k.
3
Suppose 2*z - 13 = n, -5*z - 13 = -2*z + 5*n. Solve 15 = m + z*m for m.
3
Let l = 20 - 17. Solve -2*v + 20 = l*v for v.
4
Suppose -4*p + 23 = 4*x - 21, -2*x + 2*p = -2. Suppose -x = -n - n. Solve -7*q = -n*q - 8 for q.
2
Let d(y) = y**3 - 3*y**2 + y + 3. Let v be d(3). Solve v = -u - u for u.
-3
Let p(a) = -a**2 + 11*a - 6. Let m be p(5). Let j = -28 - -14. Let w = j + m. Solve w*v - 5*v = -10 for v.
-2
Let u be -3 + (5/1 - 1). Solve -4*o = u + 3 for o.
-1
Let k = -40 - -42. Solve t = k*t for t.
0
Let h = 13 - 9. Suppose 2*d = -0 + h. Suppose -12 = d*z - 3*w, 2*z - 2*w + 10 = 2. Solve 5*a + 18 - 3 = z for a.
-3
Let i = 21 - 12. Let j = 16 - i. Let a = -4 + j. Solve 2*l - a = l for l.
3
Let o(h) = h**2 - h - 42. Let y be o(7). Solve -q + 1 = -y*q for q.
1
Let v = -96 + 101. Solve -2*t = -v*t for t.
0
Let q be (0*(3 + (-10)/4))/(-2). Solve q*s = -2*s + 8 for s.
4
Suppose -z + 5*z = -4*s - 8, 5*s - 2*z = 18. Suppose -2*a + 4*a - 40 = 0. Solve -3*n = s*n + a for n.
-4
Let x be 3 - -4 - 3 - 0. Solve 0 = -l + 2 - x for l.
-2
Suppose -3*f = 3*s + 2*f - 3, -f = 4*s - 21. Let l be ((-1)/3)/(s/(-36)). Solve -l*v + 6 = -0*v for v.
3
Suppose -3*j = -4 - 5. Solve -j*d - 10 = 2*d for d.
-2
Let o be 2/7 - 6/21. Solve -3*w - w - 4 = o for w.
-1
Suppose m - 12 = -0*p - 3*p, -3*m - 9 = 0. Suppose -6*u = -p*u. Solve u*h = 3*h for h.
0
Let z(c) = 3*c - 3. Suppose -3*k - 14 = -4*g, -8*k = -4*k + 5*g - 33. Let q be z(k). Solve -q*b = -2*b - 1 for b.
1
Let y be 19/7 - 2/(-7). Let v = -5 - -7. Solve -v*h - 25 = y*h for h.
-5
Let r = 13 - 13. Solve r*q + 1 = q for q.
1
Suppose p = 2*l - 10 - 3, -l - 5*p - 21 = 0. Solve l = q + q for q.
2
Let l(a) be the second derivative of a**5/20 - 5*a**4/12 + 2*a**3/3 + 2*a**2 - 6*a. Let u be l(4). Solve -3*q + 19 = u for q.
5
Suppose 3*v - 10 = 2*v + 4*j, 5*v = -4*j - 22. Let c = 5 + v. Solve -c*l - 7 = 5 for l.
-4
Let r(v) = -v + 9. Let c be r(6). Suppose 5*f = c*f + 4. Solve f*l = 1 + 5 for l.
3
Suppose -5*l - 5 = -3*t - 15, l = -2*t + 2. Suppose 0 = -2*q, 4*g - g - 18 = l*q. Let x(w) = -w**2 + 8*w - 9. Let r be x(g). Solve -r*v + 21 = 6 for v.
5
Let r be (0 + -3 + 2)*-1. Solve -h = -0*h - r for h.
1
Suppose 5*d - 44 = 6. Let l be 38/d + 7/35. Suppose l*y = 2*y + 4. Solve 18 - y = 4*i for i.
4
Let z(y) = 15*y - 3. Let j be z(5). Let h = j - 2. Suppose -3*l + h = -2*q, -5*l + 2*l - q + 55 = 0. Solve -l = -2*f - 2*f for f.
5
Suppose -4*g - v - 2*v + 36 = 0, -5*v = g - 26. Suppose -q - 1 = -g. Suppose -5*z + 4*j + 10 = 0, -8 = -4*z - 0*z - q*j. Solve 0*a = -a - z for a.
-2
Suppose 0 = -3*j - 172 - 125. Let g be ((-8)/(-6))/((-22)/j). Solve -l - l - g = 0 for l.
-3
Suppose -4*n + 5*i + 4 = -21, 2*n - 25 = 5*i. Let u = 2 - n. Solve 3 = -5*p - u for p.
-1
Let q(w) = -2*w + 3. Let i be q(3). Let v be (-8 - i - -2) + 19. Suppose 0 = -0*k + 2*k. Solve -3*o - o + v = k for o.
4
Let l be 4/1*(-5)/(-10). Suppose -l*n - 1 = -3. Solve 0*w - n = w for w.
-1
Let t be (62/(-4))/((-1)/2). Suppose 0 = 2*x - 10, -5*k + 9 + t = -5*x. Let b(c) = -c**2 + 8*c - 7. Let z be b(6). Solve -z*m = 3 - k for m.
2
Suppose 3*q - 12 = -s, -q + 3 = 5*s - 1. Solve 5 + s = v for v.
5
Let z = -192 + 198. Solve -z = 3*h + 9 for h.
-5
Let v(o) = -o**2 - 6*o. Let h be (-1)/(-2*(-3)/36). Let c be v(h). Solve c*s + 2 = -2*s for s.
-1
Let k(n) = 4*n + 3. Let x be k(-2). Let d = 8 + x. Let g = -10 + 15. Solve -g = -d*z + 1 for z.
2
Let f(r) = 6. Let h(l) = -l + 11. Let p(x) = -7*f(x) + 4*h(x). Let i be p(-2). Solve 0 - i = 2*n for n.
-5
Let z be 6 - 10 - (2/(-2) - 7). Solve -v + 2*v - z = 0 for v.
4
Suppose -3*j - 3*z + 7 + 47 = 0, -54 = -3*j - 5*z. Suppose x - 13 = 4*k, 5*k + j = 2*x + x. Suppose 4*i = 5*i - x. Solve -2*s - i = 9 for s.
-5
Suppose l - 3*u - 19 = -0*u, 0 = -2*l + 2*u + 34. Solve -6*b = -2 - l for b.
3
Let x(h) = h**2 + 8*h - 3. Let z(i) = -11*i**3 + 2*i**2 - 2*i + 1. Let n be z(1). Let o be x(n). Solve o = 5*l + 2 for l.
3
Let o(p) = -p - 9. Let f be o(-11). Solve a - f = 3 for a.
5
Let s = 4 - -17. Suppose -4*m + s = 5*d, 4*d = 2*m - 2 - 2. Solve 0 = -2*a - d + 7 for a.
3
Let c be (-24)/(-10) - 8/20. Suppose -2*q = -4*m + 8, 0 = -3*m + c*q + 2 + 2. Solve 0*x + m = x for x.
4
Suppose 2*x - 5*x + 2*m = 6, m - 3 = -2*x. Solve -4*t - 4 + x = 0 for t.
-1
Let p be (1 - -4)*(2 - 1). Let m(r) = r