-h - b for h.
-3
Suppose 141 = n + 2*n + 3*c, -n + 2*c + 56 = 0. Suppose 8 = 4*k, -5*x - 4*k = 17 - n. Solve -x*r + 25 = -0*r for r.
5
Let r = -79 - -84. Let c be (1 + 26 - -2) + -1. Suppose 16 = -4*x, -3*s + r*x = x - c. Solve 3*k - 2*k = -s for k.
-4
Let k = -241 - -262. Let l(j) = -16*j + 1. Let x be l(-1). Suppose 0 = k*c - x*c - 16. Solve 2 - c = p for p.
-2
Let q(d) = 23*d**2 + d. Let a be q(-1). Suppose 2*j = 4*j + a. Let w = j - -21. Solve w = -3*r + r for r.
-5
Let x = -27 - -19. Let r be x/(-12) - (-4)/(-6). Solve -3*t - 4 + 1 = r for t.
-1
Suppose -o - 2 + 12 = 0. Suppose 0 = o*p - 10. Solve p = -4*a - 7 for a.
-2
Let b = 7 - 2. Let w be (2/(-6))/((-1)/15). Suppose -u + 0*u = w, -5*l + 3*u = -65. Solve -b*y - 5 - l = 0 for y.
-3
Let j = 4 + 0. Suppose j*y + y = 5*t + 35, -4*t = -2*y + 20. Suppose 5*n = 3*p + 4, 7*p - 12 = -2*n + 3*p. Solve -y*l - 6 = n for l.
-2
Let o be (-28)/63 + (-1140)/(-135). Solve -11*r = -15*r + o for r.
2
Let r be (-6)/5*(-60)/9. Suppose 2*q - 6*q = -r. Solve 1 = x - q for x.
3
Let r(v) = -5*v**3 + 17*v**2 + 24*v + 12. Let p(u) = -u**3 + u**2 + u + 1. Let z(f) = -6*p(f) + r(f). Let h be z(-9). Solve -h = 4*n + 14 for n.
-5
Let g(y) = 3*y + 22. Let s be g(0). Let w = -1 + s. Solve 0 = -5*x - w + 1 for x.
-4
Suppose 3*z = 28 - 103. Let m = z + 25. Solve -2*b + m = -4 for b.
2
Let s(o) = -o**2 - 3*o + 6. Let k be s(-4). Suppose -2*l = 4*x - 4, k*x = l - 16 - 2. Solve 3*q - q - l = 0 for q.
5
Let r be (-1)/4 + (-580)/(-16). Let k = r + -36. Solve k*h = h + 1 for h.
-1
Let w(c) = 2*c + 20. Suppose 5*y + 17 = -23. Let r be w(y). Solve -r = -3*k + 5*k for k.
-2
Let s(i) = i + 10. Suppose -45 = 5*w - 15. Let o be s(w). Solve 0*c = -o*c for c.
0
Let v(q) = -q**3 + 2*q**2 + 2*q - 3. Let w be v(2). Let m = w + 1. Suppose 3*l - m = -z, 0 = -l + 2*l. Solve d - 5 = -z for d.
3
Let b(y) = y - 3. Let v be b(6). Solve v*o - 10 = o for o.
5
Let k(a) = -65*a + 394. Let y be k(6). Solve -y = 134*o - 133*o for o.
-4
Suppose -31 = 5*y - 1. Let u(a) = 13*a**2 + 37*a + 3. Let b(q) = 3*q**2 + 9*q + 1. Let g(p) = -9*b(p) + 2*u(p). Let j be g(y). Solve 2*v - 1 = j for v.
2
Suppose -3*r = 3*c - 12, -2*r - 2 = -3*r - 2*c. Suppose 14 + r = 10*b. Solve b*y + 0*y + 6 = 0 for y.
-3
Let j(o) = o + 7. Let w(h) = -h - 13. Let v(z) = -7*j(z) - 4*w(z). Let c be v(11). Let b be (-6)/5*500/c. Solve 5*u + 0 = b for u.
4
Let s(x) = -x**2 - 8*x - 9. Suppose 0 = 2*n - 0*n + 12. Let v be s(n). Suppose 2*z = 2*l - l + 3, v = 2*l - z. Solve -2*p + 3*p = -l for p.
-3
Let k(l) = 4*l + 10. Let c = 73 + -75. Let q be k(c). Solve -10 = -q*b - 2 for b.
4
Suppose 7*c = 2*c + 4*p - 2, 6 = -3*p. Let u(i) be the third derivative of i**5/30 - 2*i**3/3 - 2*i**2. Let f be u(c). Solve -f*y = -5*y - 4 for y.
-4
Suppose -5 = 2*x - 1. Let p(q) = q**2 + 3*q + 2. Let y be p(x). Suppose y = -3*i - 11 + 14. Solve 2*s - i = s for s.
1
Suppose 5*v - 7 = -6*a, -10*a - 4*v - 14 = -15*a. Solve a*y + 4 = 6 for y.
1
Let u = -125 - -129. Suppose -b = -n + 1, 3*n + u*b - 38 = -0*b. Solve -2*l = -2 - n for l.
4
Let c(m) = 9*m + 27. Let x(w) = 5*w + 14. Let n(u) = -6*c(u) + 11*x(u). Let p = 161 + -150. Let h be n(p). Solve h*q = q for q.
0
Let o(n) = n**3 + 18*n**2 - 20*n - 16. Let x = 40 + -59. Let r be o(x). Suppose -5*s - 10 = 0, -h + s - 2*s = 0. Solve 3*l + r = h*l for l.
-3
Suppose h - 3 - 2 = 0. Suppose l + 52 = -h*w + 17, 0 = -4*w - 20. Let s = l - -15. Solve 2*a = s*a for a.
0
Suppose 38 = -2*g + 218. Suppose 4*u + g = 9*u. Suppose 3*z + u = 9*z. Solve -z*k - 2*k = -25 for k.
5
Suppose -120 = -10*v + 5*v. Solve v = -12*r - 24 for r.
-4
Suppose -22*f + 17*f + 55 = 0. Suppose -f*g = 35 - 90. Solve g*c = -10 - 10 for c.
-4
Suppose 4 + 11 = -5*i, -2*i - 6 = -4*b. Let g(j) = j**2 - 13*j + 45. Let u be g(5). Solve u*d - 4*d = b for d.
0
Suppose 5 = -6*g + 35. Solve 5 = h + g for h.
0
Let x = 621 + -606. Solve 17*o = 22*o - x for o.
3
Let a = 743 + -720. Solve 5*u = a - 28 for u.
-1
Let q(y) = -y - 7. Let n be q(-9). Suppose -2*f - f + 18 = 0. Suppose 0 = -o + f - 2. Solve 0 = -n*x + o*x + 8 for x.
-4
Suppose -5*n = 2*n - 35. Suppose -n*c - c = -24. Solve 1 = p - c for p.
5
Let x(g) be the first derivative of -g**2 + 6*g + 8. Let b be x(-7). Solve -3*v = v + b for v.
-5
Suppose 12 = 7*h - 16. Let d be 4 + (3 - 8/h). Suppose 4*k + k = 0, k - 35 = -d*f. Solve m = -2 + f for m.
5
Let f be 92/7 - -1 - (-33)/(-231). Solve -8*u - f = -15*u for u.
2
Let r be 0/(-2) + (-1 - -3). Suppose 0*p + 16 = -5*f + 4*p, 0 = -r*f - 4*p + 16. Solve f = i + i - 4 for i.
2
Let n(p) = p + 4. Let i be n(-4). Solve i = 10*u - 13*u - 6 for u.
-2
Suppose -11*y = -12*y + 6. Suppose 0 = 9*w - y*w. Solve w = -g - 4*g for g.
0
Suppose -4*v = 4 - 0. Let p(i) = 7*i**2. Let c be p(v). Suppose h - 20 = -4*h. Solve h = m + c for m.
-3
Let r(c) = c - 5. Let l be r(7). Suppose -l*o - 2*o = 4*v + 28, 0 = 4*o + 4. Let n be (-18)/12*8/v. Solve 0 = -2*f - n for f.
-1
Suppose -2 = -3*f + 5*r + 2, 2*f + 3*r - 9 = 0. Let o be (-7)/3 - 35/21. Let t be (2/5)/(((-16)/20)/o). Solve f = j + t for j.
1
Suppose 2*x = b - 13 - 31, 4*b = 3*x + 191. Suppose b - 7 = 3*q - y, -q + 5*y - 9 = 0. Let t be q/12*3 + -1. Solve 0 = -t*s - 6 for s.
-2
Let f = -6 - -9. Let i be (f + 10/(-4))*2. Suppose -t + i + 4 = 0. Solve t*p - 5 = -15 for p.
-2
Suppose 0*d = -4*d + 52. Let a = 1009 + -1008. Solve 4*w = -d + a for w.
-3
Let w(z) = z**2 - 5*z - 1. Let a be w(6). Suppose -3 = -4*k + 7*k. Let s be (-3 - (0 - -3))*k. Solve -1 = a*b - s for b.
1
Suppose 62 = 6*m + 50. Solve -6*d + m*d = 12 for d.
-3
Suppose -5*g + 5 = 3*b - 24, -3*b - 11 = -5*g. Let r be -3 - b/(12/32). Let k = r - -15. Solve k*o = -0*o for o.
0
Let g be (99 + -3)/8 - 1*-3. Solve -g*o + 13 + 32 = 0 for o.
3
Let y = -9 - -13. Suppose 0 = y*g - 17 + 5. Suppose z - 3*d = -d + 12, 26 = g*z + 4*d. Solve 0 = 3*t + 2*t + z for t.
-2
Suppose 4*j - 78 = -3*s, 4*s + 2 = -4*j + 82. Suppose -7*d = -4*d - j. Solve y + 2*y = -d for y.
-2
Let d be (348/(-24) + 2)*52/(-10). Solve -3*z - d + 68 = 0 for z.
1
Let y be 78/65*(-10)/(-4). Solve a + y*a = 3*a for a.
0
Suppose -2*c + 32 = r, 4*r - 4*c + 0*c = 104. Suppose -8*i = -r + 4. Solve 6*d - i*d = 6 for d.
2
Suppose 0 = -4*h + 20, -2*d - 22 - 3 = -5*h. Solve 5*r + d = -20 for r.
-4
Let v(l) = l**3 + 3*l**2 - 4*l - 3. Let f be v(-3). Let s be 2/((-6)/f) - -3. Solve s*c + 12 = -3*c for c.
-4
Let m(a) = a**2 + 1. Let n(s) = -3*s**2 - 6*s + 2. Let w(f) = -4*m(f) - n(f). Let r be w(3). Solve 0 = r*k - 0*k + 12 for k.
-4
Let s be -2 - ((-28)/(-2) - 2). Let o = s + 18. Suppose o*i = 10 - 2. Solve -r + i*r = 5 for r.
5
Let y(v) = 4*v - 16. Let q be y(5). Suppose 9 = -c + q*i + 29, -4*c - 15 = 3*i. Suppose -5*r = -4*w + 2 - 38, c = 5*r + 5*w. Solve 0 = -0*p + r*p for p.
0
Suppose -u = -3*u + 28. Let v be (-2 + 90/35)*u/4. Solve v*c - 4*c = 10 for c.
-5
Suppose -o = -4*p + 9, -6*o + 5*p - 3 = -2*o. Suppose -13*r + 661 = -379. Suppose r = 4*i + 3*b - 4*b, 0 = i + 2*b - 20. Solve 0 = -o*t - t - i for t.
-5
Let s be 27/(-72) - 86/(-16). Solve -4*p = s - 9 for p.
1
Let z(f) = f**3 - f**2 - 2*f - 1. Let x be z(2). Let j be (x + -1)/((-4)/26). Let l = 16 - j. Solve 2*h = -3 - l for h.
-3
Let u(c) = c**2 - c. Let k be u(1). Suppose k = -8*z + 7 + 9. Solve 0*b = -z*b for b.
0
Suppose 10 = 5*s + 2*j, 0 = 3*s + 2*j - 3 - 3. Solve -a + s = 1 for a.
1
Let i = 3999 + -3994. Let l be 2/((-6)/(-4) + -1). Solve -l = -i*r + r for r.
1
Let q(x) = 4*x - 8. Let t be q(2). Solve 2*i + 2*i + 12 = t for i.
-3
Suppose -d + 9 = 3*d + 3*t, -d - 5*t = 2. Let u be d/(-5) - (-36)/10. Solve -u*h + 8 = h for h.
2
Let n be (52/(-12))/(4/(-12)) + -5. Solve 6*z - n = -2*z for z.
1
Suppose 0 = -17*h + 8*h + 27. Let i = 0 + 0. Suppose u - 13 = 2*f, i = -u - 4*u - h*f. Solve -u*k + 0*k = 9 for k.
-3
Let k(g) = -2*g**2 + 6*g - 4. Let i be k(5). Let m be (-3)/(9/i - 0). Let j be m/(-12) + 20/3. Solve -4*z = -14 + j for z.
2
Let k = 90 - 89. Let z be 20/(-6)*(-6)/4. Solve o + k - z = 0 for o.
4
Suppose 0 = -5*l + 4*x + 48, -3*x + 6*x = -6. Solve -l*j + 3 = -7*j for j.
3
Suppose 4*l = 4*o - 6*o - 30, -o - 5 = 0. Let s be l/10*1*-8. Solve v = s*v - 12 for v.
4
Let k(h) = h**2 + 5*h - 14. Let s be (-13)/(195/126) - (-6)/15. Let i be k(s). Solve -x + 3*x = i for x.
5
Suppose -9*g + 46 - 1 = 0. Solve 