ve -3*b - r + 13 = 0 for b.
4
Let u be 3*(1 - (2 + -2)). Suppose -7 = -u*h + 2. Solve -h + 7 = -2*r for r.
-2
Let a(l) = 5 - 11*l + 18*l**2 - 19*l**2 + 0. Let v be a(-10). Solve 4*f + f + v = 0 for f.
-3
Let i be (3 - 1)/(2/(-1)). Let a = 3 + -1. Let d = a + i. Solve -d = 3*z - 4 for z.
1
Suppose 2*k - v = -0*k + 42, -v + 38 = 2*k. Solve -4*y + 0*y = -k for y.
5
Let x(l) = -l - 4. Let n be x(-4). Let s be -1 - (-8 + 5) - -1*23. Solve n = -0*q + 5*q - s for q.
5
Let l(v) = 3. Let i(y) = y + 1. Let p(z) = -i(z) - l(z). Let r be p(-5). Solve j - r = 4 for j.
5
Suppose 0 = 5*c - c. Let v = c + 2. Solve -5*a - v = 3 for a.
-1
Let t = -65 - -58. Let b(z) = -3*z**2 + 1. Let c be b(-2). Let d = t - c. Solve 2*j + 10 = d*j for j.
5
Let q = -2 + 4. Suppose -q*f + 24 = f. Let o be 2/(-4)*-1*6. Solve -o*s = s - f for s.
2
Let p = 10 + -4. Suppose -11*n + 9*n + p = 0. Solve -n*r + 2*r + 5 = 0 for r.
5
Suppose 15*z - 101 + 11 = 0. Solve -16 = -2*o + z*o for o.
-4
Suppose 4 - 15 = -v. Solve v = 5*b - 4 for b.
3
Let z(n) = -n**3 - 2*n - 1. Let q be z(-1). Solve -r - q = 3 for r.
-5
Let q be 3*((-56)/(-12) + -3). Suppose q*u - f - 15 = 0, -3*u + 4*f = -2*u + 16. Solve -2*a = -u*a for a.
0
Let w = -15 - -17. Suppose 7*r - w*r = 25. Solve r*a = -8 + 23 for a.
3
Let w(g) = -2*g**2 + 3*g + 3. Let m be w(3). Let r(x) = 7*x**2 + 0*x**3 - 8*x**3 + 9*x**3 + 6 + 7*x. Let p be r(m). Solve 6*d - 5*d = p for d.
0
Let y(p) = -p**3 - p**2 + p + 1. Let s be y(-2). Suppose -s*i - 4*d + 27 = 0, 0 = -i - 0*d + d + 2. Solve -4 = -l - i for l.
-1
Let o = 6 - 6. Solve 1 + o = d for d.
1
Suppose 2*r = 4*o + 6*r, 2*r - 6 = -4*o. Let i(m) be the first derivative of -m**4/4 - 4*m**3/3 - m**2 - 3*m - 2. Let d be i(-4). Solve -o - 22 = d*c for c.
-5
Let o = -6 - -7. Suppose -q = 6*r - r - 27, -o = -3*q + r. Solve q*z = 6*z + 16 for z.
-4
Let p be (-3*1)/((-15)/20). Let q = p + -5. Let d be -1*(-3 - q)/1. Solve 3*l = -d*l for l.
0
Let n = -11 - 7. Let y = -13 - n. Solve 2 = y*o - 3*o for o.
1
Suppose 4*z = -5*a - 50, -5*z - 12 - 7 = -a. Let x be (a/3 - -2) + 0. Solve x = -b - 0*b + 1 for b.
1
Let j be ((-6)/(-14))/(4/28). Solve 15 = j*s - 8*s for s.
-3
Suppose r + 5 = -4*w + 4, 3*r = 4*w - 3. Let m = 2 - w. Solve k + m + 2 = 0 for k.
-4
Let o(n) = n**3 - 7*n**2 + 8*n - 9. Let r be o(6). Suppose 0 = -3*g - l + 11, -r*g + l = 3*l - 10. Solve 9 = g*s - 11 for s.
5
Let o be (0 - 2) + (-2)/(-1). Suppose o*k + 2*k - 6 = 2*j, 0 = -4*k + j + 18. Solve k*f - 10 = -0*f for f.
2
Suppose 2*x + 14 = 4. Let q = 5 - x. Solve 3*f + q = f for f.
-5
Let q = 1 + 5. Suppose -5*o = 2*x, -2*o - q = o. Solve 2*c + x = 1 for c.
-2
Let a(p) = -p**2 - 5*p. Let l be a(-4). Solve -5*o - l + 14 = 0 for o.
2
Let t(f) = -f**2 + 5*f + 2. Let v be t(5). Suppose -4*h - v = -10. Solve 2*l + 2 = -h for l.
-2
Suppose -q - 120 = 3*q. Let g be q/(-8) + 2/8. Solve -u + g = 6 for u.
-2
Let i be ((-3)/(27/24))/((-6)/9). Solve -4*j + i = -2*j for j.
2
Suppose 0 = 4*i + 5*b - 69, -19 = 2*i - 3*i - 3*b. Solve 0 = -7*g + 3*g + i for g.
4
Let h be 2/5 + 14/(-10). Suppose 0*m + 5*m - 80 = 0. Let l = h + m. Solve 4*r + r + l = 0 for r.
-3
Let w be (6/4)/(2/20). Let s = -25 + w. Let o be (-5)/2*8/s. Solve 3*a - o + 8 = 0 for a.
-2
Let b(f) = -f**2 - 4*f + 4. Let a be b(-6). Let m = 10 + a. Suppose -18 + 4 = -m*p. Solve -4*c - p = 5 for c.
-3
Suppose 4*t - 2*i - 45 = 19, 3*i = -2*t + 40. Suppose p - t - 22 = 4*g, 5*p = 15. Let f(x) = -x**3 - 8*x**2 + 8*x - 3. Let j be f(g). Solve v = j*v for v.
0
Let j be 1*2*3/(-6). Let v be 2 + (-2)/(-1)*j. Solve 2*n + n + 6 = v for n.
-2
Suppose 0*b = 5*g + 4*b - 27, -17 = -g + 5*b. Let w = -5 + g. Solve -w*o - 6 = -5*o for o.
2
Let b be 1 + 3 - 2/(-1). Solve w - b = 3*w for w.
-3
Let y be ((-98)/147)/((-1)/3 + 0). Solve y*o = -4*o - 18 for o.
-3
Let j(n) be the first derivative of n**4/4 + 4*n**3/3 + 2*n**2 + 3*n + 6. Let o(t) = t - 2. Let b be o(0). Let w be j(b). Solve 5*k = w - 8 for k.
-1
Let v be (1 + (-5)/2)*14/(-21). Solve 2*b = -7 - v for b.
-4
Suppose -2*g + 7 + 2 = 5*d, -g - 5*d + 2 = 0. Let x be -2 + g/((-14)/(-12)). Let b = 6 - x. Solve b*j - 2 = -0*j for j.
1
Suppose -2*z + 6 - 2 = 0. Solve -5*o = -z*o for o.
0
Let f(t) = -t**2 + 4. Let d be f(0). Suppose 2*u + 13 - 33 = -d*w, -4*u - 5*w = -37. Solve 3*k = u + 4 for k.
4
Let a(s) = -s**3 + 3*s**2 + 5*s. Let z be a(4). Suppose 0 = z*i + 2*b - 0 + 6, 2*b + 6 = i. Solve -h = -i*h for h.
0
Let h = -1 - -3. Solve -l - l + h = 0 for l.
1
Suppose -5*b = -4*i - 5, 2*i = -2*b + 1 + 1. Let p(s) = s**2 + 2*s + 2. Let h be p(1). Solve h*m + i*m = 0 for m.
0
Let p(o) = -o + 11. Let g = -2 + 9. Let z be p(g). Solve z*s = 3*s + 4 for s.
4
Let i(y) = -y**2 + 3*y + 4. Let r be i(6). Let m = 16 + r. Solve 2 = -f - m for f.
-4
Suppose -2*k = -2 - 6. Let r(t) = -t**2 + 2. Let u be r(3). Let i be 1/(-2)*(u + 1). Solve -k*b = -i*b - 1 for b.
1
Let d be (-5 - (-5 + 1))*0/(-2). Solve d*n + 12 = 3*n for n.
4
Let t = 13 + -7. Solve -4*x = -2*x + t for x.
-3
Let j be -2*(-4)/((-32)/(-20)). Suppose k = -f - 3*k + 3, -j*k = 0. Solve n = -f*n + 4 for n.
1
Let c(j) = -j + 13. Let f be c(9). Let o = 1 - 0. Let m be 1 - 0 - (-2 + o). Solve -6 = -f*k + m for k.
2
Let l be (-6)/((-1)/(-2) + -2). Suppose 0 = 3*g - 3 - 3. Let c = l - g. Solve 0 = -3*h + 1 + c for h.
1
Let k = 11 + -8. Suppose -4*j + k*x + 9 = 0, 7*j - 2*j + 2*x = -6. Solve -2*u - 2 + 10 = j for u.
4
Let g(q) = q - 5. Let j be g(8). Solve j*l = -0*l + 12 for l.
4
Suppose 3*s = -6, z + 3*s = 2*z - 16. Solve 8*h - z = 3*h for h.
2
Let f = 12 + -10. Solve -q = -f*q for q.
0
Suppose 0 = -h - 4*a + 20, 4*a = -h - h + 24. Solve u = 1 - h for u.
-3
Let z = -6 - 4. Let g(w) = -w**3 - 11*w**2 - 10*w + 5. Let j be g(z). Suppose -j*p + 5*h = -6*p + 18, p - 2*h + 3 = 0. Solve -p*l + l = 10 for l.
-5
Let s(n) = -n**2 + 8*n - 5. Let v be (-4)/(-22) + 300/44. Let x be s(v). Solve -2*b + x = -b for b.
2
Suppose y + l - 9 - 7 = 0, -4*y + 64 = l. Suppose 4*v + 0 - y = 0. Solve -3*f - f = -v for f.
1
Suppose 0 = -h + 6 - 3. Solve -h*q + 4*q = 5 for q.
5
Suppose 4*r = -2*p - p + 3, 3*r - 15 = 2*p. Let k be -3*(-2)/(-1)*-1. Let a = -4 + k. Solve -a*t = -r*t + 4 for t.
4
Let j = 58 + -57. Solve 1 = -a - j for a.
-2
Let j(l) = -l**3 + 16*l**2 + 16*l + 22. Let o be j(17). Solve 9 = 2*t - o*t for t.
-3
Let w be 216/126 - (-2)/7. Solve 0 = 2*o - w + 4 for o.
-1
Suppose 3*l = -5*s + 11, -s - 9 = -4*l - 2*s. Solve l*j - 3 - 3 = 0 for j.
3
Let c = 19 + -16. Suppose -3*n = -c*g + 8*g, 0 = 4*g - 3*n. Solve 15 = -3*b - g*b for b.
-5
Suppose -2*k = -5*k + 6. Suppose k*v = 6 + 30. Let j be 3/(v/(-15))*-2. Solve -j*m + 2*m = 0 for m.
0
Let q = -6 - -8. Solve 1 = -q*n + 5 for n.
2
Let o(m) = -m**3 + 6*m**2 - 6*m + 4. Let u be o(5). Let k = u + 4. Let w be ((-3)/(-36)*3)/((-14)/(-112)). Solve -w*i = k*i + 15 for i.
-3
Let g be (-8)/(-3) + 8/24. Solve g*h = -h - 12 for h.
-3
Let v be (-2)/(-8) + (-77)/(-44). Solve v*s = 5*s + 6 for s.
-2
Let r = -10 - -14. Suppose 4 = r*k - 4*c, -8 = -k - k - 4*c. Suppose 0 = j - k*j. Solve j = 2*y + 3*y - 25 for y.
5
Let n = -14 + 25. Let u = -6 + n. Suppose 2*r + 8 - 1 = -3*b, 5*r - u*b = 45. Solve -f - r = -3 for f.
-1
Let x(o) = -o - 10. Let c be x(-10). Suppose -5*b + 3*a = -15, 4*b + c*a - 3*a = 9. Solve b*i = i for i.
0
Let k = 24 - 22. Solve -5 = k*b + 5 for b.
-5
Let y = 62 + -54. Solve -3*w = -11 + y for w.
1
Suppose -5*g + 4*g - 9 = 0. Let b be (-1)/(21/g - -2). Solve 0 = 2*x - 3*x - b for x.
-3
Let r(q) = q**2 + 15*q + 10. Let g be r(-14). Let v = g - -12. Solve 2 = -5*o - v for o.
-2
Let w(g) = -g**2 - g + 2. Let v(h) = 2*h - 10. Let d be v(5). Let l be w(d). Solve o = -l*o for o.
0
Suppose 2*k + 5 = -3*s, 4*s + 4*k + 7 = k. Let v be 124/12*3/s. Let x = v + 47. Solve -4*j - 4 = x for j.
-5
Let l be (-3 + (-1 - -2))*-5. Suppose 1 - l = -3*h. Solve -h*q - 15 = 2*q for q.
-3
Suppose 2*n + 19 = 3*p, -n - 2*p = -5*p + 17. Let v(d) = -d**3 - d**2 - 2. Let m be v(n). Let o be m + 0 - 1 - 1. Solve 0 = -o*y - 2*y - 2 for y.
-1
Let c = -7 - 2. Let s = -5 - c. Let q = 34 - 34. Solve u + q = -s for u.
-4
Let c = 21 + -16. Suppose k = -c*h + 37, -h - 6*k + 17 = -k. Solve -2*v + 5 = -h*v for v.
-1
Let s be (12/(-10))/(4/(-20)). Let y(f) = -2*f + 6. Let j be y(-5). Let h be j/s + 2/(-3). Solve h*r - r = -2 fo