*y - 2 for y.
-1
Let i = 484 + -473. Solve -5*y + 9 = -i for y.
4
Suppose 19*z = 16*z + 12. Suppose z*o - 2*o = -3*d + 27, d - 2*o - 1 = 0. Solve -d*j + 3*j = -4 for j.
1
Let j(w) = w - 4. Let g = -17 + 21. Let d be j(g). Solve 3*m + 1 + 8 = d for m.
-3
Suppose 0 = 6*m - 41 - 49. Solve -2*y = 3*y - m for y.
3
Let x(w) = w**3 - 14*w**2 + 14*w - 10. Let j be ((-208)/40)/(4/(-10)). Let l be x(j). Solve 0*n + 12 = l*n for n.
4
Let f(a) be the second derivative of -a**5/20 - 5*a**4/12 + a**3/2 - 13*a**2/2 + 4*a. Let m be f(-6). Solve 0 = o - 0 - m for o.
5
Let v(l) = -2*l + 28. Let o be v(12). Solve -o*r + 4 = 24 for r.
-5
Let t = -443 + 537. Solve -t*y - 2 = -95*y for y.
2
Suppose -8*l = -11*l + 7*l. Solve -z - 4*z + 10 = l for z.
2
Suppose 25*m - 180 + 30 = 0. Solve -m*v - 6 + 36 = 0 for v.
5
Let x(m) = -m**3 - 16*m**2 - m - 2. Let z be 72/(-6)*(-4)/(-3). Let w be x(z). Solve 0 = 4*f + w - 2 for f.
-3
Suppose 0 = -6*b - 2*b + 72. Let x be 38/b + (-6)/(-81)*-3. Solve x*j = 8 - 28 for j.
-5
Suppose j = 2*j. Suppose j = z + z - 36. Suppose z*u = 14*u + 16. Solve 4*f = 6*f + u for f.
-2
Let z(o) = 6*o**3 - 17*o**2 + 7*o + 8. Let b(a) = 5*a**3 - 16*a**2 + 6*a + 7. Let d(s) = 7*b(s) - 6*z(s). Let f be d(-10). Solve -c + f = 6 for c.
-5
Suppose n + 79 = -3*n + 3*a, -55 = 5*n + 5*a. Let x be 1/((-20)/n - 1). Solve -6 = 5*f + x for f.
-2
Let h = 105 - 56. Let m be 6/(-21) - (-357)/h. Let b(y) = y**2 - 5*y - 11. Let x be b(m). Solve 0 = x*s + 9 + 3 for s.
-4
Suppose -2*l + 12 = -2. Suppose -4*i + 9 = -l. Solve -i*p + 20 = -0 for p.
5
Let c be 1/(-1) - 1 - (-22 - -17). Solve 0 = -c*h - 6 - 3 for h.
-3
Let f(x) = 1. Let p(a) = -a**2 + 14*a + 7. Let y(d) = -5*f(d) - p(d). Let t be y(15). Solve n = -t*n for n.
0
Let z = 12 + 8. Let m = -22 - -25. Solve m*c = -c - z for c.
-5
Let x(t) = 2*t + 4. Let o be x(-2). Suppose -d + o*d + 4 = 0. Solve -d*j = 2 - 6 for j.
1
Let q be (1/3)/((-14)/(-1470)*5). Solve -6 + 20 = -q*w for w.
-2
Let d(k) = 2*k**2 + 72*k + 561. Let o be d(-25). Solve -o*j = -19*j + 16 for j.
2
Suppose -6*f = -f. Suppose -5*n = -5*p + 20, 2*n - n = -p. Let k(y) = 2*y**2 - 3*y + 3. Let t be k(p). Solve f = 5*w - t + 15 for w.
-2
Let s be 2*7/(-3)*(0 + -3). Let l be (-824)/(-56) + 4/s. Solve -2*o - l = o for o.
-5
Suppose s = -16 + 18. Suppose -7*x = s - 16. Solve -x*p - 3 = -5*p for p.
1
Let u(b) be the first derivative of b**3/3 - 3*b**2/2 - 8*b + 6. Let d be u(5). Solve d*r - 7*r + 10 = 0 for r.
2
Let h(r) = -r**3 - 5*r**2 + 9*r + 11. Let i(y) = -1. Let v(n) = -h(n) + 4*i(n). Let o be v(-6). Solve o*d + 2*d = 10 for d.
2
Let v = 2 + 6. Let k(q) be the second derivative of -q**4/12 + 4*q**3/3 + 4*q**2 - 55*q. Let c be k(v). Solve -6*f = -2*f - c for f.
2
Let v be 2/105*-5 + 195/63. Solve 17 + v = 10*i for i.
2
Let g be (-40)/(-4) - (-20 + 0). Solve -5*d + g = 5 for d.
5
Suppose 0 = 5*p - 5*q - 5, 4*p - 5*q = 3 - 0. Solve -15*z - p = -14*z for z.
-2
Suppose -b - 4 = 4*i, -2*b - 2*i = -3*b + 2. Let l be (-416)/(-156)*3/4. Solve h + l*h - 3 = b for h.
1
Let k = 176 - 162. Solve 9*i = 2*i + k for i.
2
Let l be -41 + 45 + 18 + 0. Solve -5*r - 7 + l = 0 for r.
3
Let j be (0 - (-2*6)/(-3)) + -1. Let t be ((-6)/(-5))/(-6) - 26/j. Suppose -8 = -2*m + 14. Solve t*u = -4 - m for u.
-3
Let y(h) = -h**3 - 22*h**2 - 22*h + 14. Let a be y(-21). Let o be (-8)/28 + 10/a. Solve o*f = 2*f - 4 for f.
2
Let s be (-5854)/10 + 2/5. Let z be 2/7 + s/63. Let r(p) = -p**3 - 10*p**2 - 9*p. Let t be r(z). Solve t*x - 16 = 4*x for x.
-4
Let c = -37 - -44. Suppose -4 = b - c. Solve -b = 2*q - 7 for q.
2
Suppose -3*t + 50 = 2*t. Let v(r) = 3*r**2 + 3*r + 2. Suppose 0 = -5*q + 12*q + 7. Let y be v(q). Solve -y + t = 2*f for f.
4
Let g(r) = r**3 + 4*r**2 - 5*r. Let l be g(-5). Suppose -z = -l*x - x, 0 = 4*x + 4*z. Suppose -i + 5*v = -6*i + 5, x = v + 3. Solve 0*y = -i*y - 8 for y.
-2
Let o = -160 - -160. Let g be 1 - -1*(-1 + 3). Solve -g*a - a = o for a.
0
Let y = -335 + 342. Solve 5*x = 12 - y for x.
1
Let u(i) = 7*i - 159. Let c be u(23). Solve -3*t + 10 = c*t for t.
2
Let w(d) = -d + 1. Let f(v) = -2*v + 1. Let i(z) = f(z) - 4*w(z). Suppose 0*u = -8*u + 32. Let y be i(u). Solve 0 = -m + 1 - y for m.
-4
Suppose -4*i + 36 = w, -16*i + 21*i - 66 = 4*w. Solve i*d - 18 = 16*d for d.
-3
Suppose 0 = -2*u - 2*u + 4, -5*u + 5 = -3*i. Solve i = 20*m - 6*m - 42 for m.
3
Let x(a) = 3*a**2 - 1. Let i be x(-2). Suppose -2*s - 13*b = -i*b, 4*s = 3*b. Solve -w - 5*w + 18 = s for w.
3
Let h(p) = p**3 - 2*p**2 - 2*p - 4. Let c be h(3). Let u = c + 3. Suppose u*x = -2*x. Solve -m = -x*m + 2 for m.
-2
Suppose 2*p + 2*m + 0*m + 2 = 0, 3*p = -4*m - 4. Suppose k - 2*l - 7 = 6*k, 5*k + 3 = 2*l. Let a be k + (-4 - -3)*-4. Solve -a = -3*n - p for n.
1
Let h(f) = -23*f - 125. Let m be h(-6). Solve 3 = 12*u - m*u for u.
-3
Let v = -2020 - -2026. Suppose 5*a + 3*h = 53, 3*h - 20 = -2*a + 3. Solve a*r = v*r for r.
0
Let k = 196 + -191. Suppose 12 = 6*j - 2*j - 2*r, 5*j + 2*r = 6. Solve -k = -j*q + q for q.
5
Suppose -5*y + 0*y = -135. Let s be 48/27 - (-6)/y. Solve s*g + g - 12 = 0 for g.
4
Suppose 0*q + 102 = -3*q. Let o be q/4 - (-10)/(-20). Let c be 24/o*(-3)/2. Solve -10 + 2 = c*n for n.
-2
Suppose -3*s + t = -10, t = -s - 2*t + 10. Solve 0*f + f - s = 0 for f.
4
Let x(a) = 3*a + 4. Let u be x(0). Suppose -8*m - u*m = -24. Solve 3*o + 4 = -m for o.
-2
Let i(w) = -w**3 + 6*w**2 - w + 8. Let h = 18 - 14. Suppose -5*t - 5*u + 40 = 0, h*u = 5*t - t - 16. Let f be i(t). Solve f = g + 1 for g.
1
Suppose 5*l + 10 = -7*c + 3*c, -c - 5 = 0. Solve 0 = -5*y + l*y for y.
0
Let s = 135 + -135. Solve s = -2*t + 4*t - 8 for t.
4
Let t = 17 - 4. Suppose 0 = -8*f + 6*f + 32. Let r = -14 + f. Solve r = 5*s - t for s.
3
Let x be -1 + 1/1 + 2. Suppose -2*o + 4*w - 9*w = -5, -o + 2*w = 2. Solve h - x = -o for h.
2
Suppose 3*a = 2 + 7. Solve 9*t = a*t for t.
0
Suppose z + 8 = -0*k + 5*k, -3*k = -5*z - 18. Let f be 3*((-13)/z - 3). Suppose -2*g + 5*y - 8 = 0, f = -g - g + 3*y. Solve -4*q - g = 11 for q.
-3
Let z(o) = o**3 - 10*o**2 + 28*o - 171. Let b be z(9). Solve b = -4*r + 17 - 5 for r.
3
Let d be (-5)/(90/4) - (-452)/9. Suppose 54*o - d*o = 28. Solve o = i + 2 for i.
5
Suppose -12*u + 9*u - 3*x = -24, 3*u - 4*x = 31. Solve -3*q = -0*q + u for q.
-3
Let i be 11 - -44*10/(-40). Solve i = -300*z + 304*z - 16 for z.
4
Let y(g) = -g**2 + 4. Let t be y(0). Let h = t + 1. Suppose p + 4*a - 14 = -4*p, 15 = 5*p + h*a. Solve p = i + 4 for i.
-2
Let k = -13675 - -13675. Suppose 13 = 4*r + 5. Solve -r*h = 6 - k for h.
-3
Let n = -11 + 11. Let j be 1 - -1 - (1 + -1). Let m be 11/4*(j - -2). Solve n = -2*l - 1 + m for l.
5
Let m(r) = -8*r**2 - 8*r + 4. Let l be m(0). Suppose -h - 4 = 2*u + 2*h, 5*h = -5*u - 5. Let a = u - 1. Solve -l*p + p + 6 = a for p.
2
Let c = -557 + 559. Solve -c*l - 3*l = 25 for l.
-5
Let i(u) = u**3 - u - 1. Let w be i(2). Suppose -w*j - 2 - 21 = -y, 0 = -2*y + 2*j + 14. Solve y + 12 = -3*x for x.
-5
Let t(r) = -4*r + 106. Let u be t(26). Solve 0 = u*s - 5*s for s.
0
Let i(t) = -t**3 - 14*t**2 - 13*t + 4. Let x be i(-13). Let n be (-3 + 12 - -1)*(-2)/(-2). Solve -o = x*o + n for o.
-2
Let a(v) = -v. Let m be a(0). Let x be (5/1 - 3)/(4/16). Suppose m*p - p = -x. Solve 0*d - 4*d - p = 0 for d.
-2
Let t = -720 - -723. Solve -3 - 12 = t*d for d.
-5
Suppose -24*x - 29 = -173. Solve 16*n = 13*n + x for n.
2
Suppose -469 = s - 1657. Let l be (s/(-30))/(-11) + 3/(-5). Solve 2*i + 3 + l = 0 for i.
-3
Suppose -3*s = -8*s + 15. Suppose 59 = 5*g - 6. Suppose g*q + 1 - 14 = 0. Solve -2*d + q = -s for d.
2
Suppose -6*b = 4*b - 100. Suppose -3*q = 4*m - 12, 3*m + q = 2*m + 2. Solve p = m*p + b for p.
-2
Suppose -4*r - 72 = -124. Let x(b) = -b + 15. Let v be x(r). Solve -v*c = c for c.
0
Let t = -125 - -129. Solve -12*p + t = 4 for p.
0
Let c be -12 - -10 - (-9 + 1). Suppose -c = -b - 4. Solve -h + 3 = -b*h for h.
-3
Suppose 0*d - 3 = 3*d, 5*z - 48 = 3*d. Solve -3*r + z + 0 = 0 for r.
3
Let t be (-80)/(-24) - 2/6*1. Solve -4*d + 5*d = t for d.
3
Suppose -b + 15 = 2*b. Suppose -2*y = 2*u - 10, -3*u = 4*y - 13 - 7. Solve u*c + b*c = -5 for c.
-1
Let l be (-3)/(27/(-30))*12. Suppose 3*v + 2*d = l, 19 = 2*v + d - 6. Suppose 0 = -3*r + r + v. Solve 3*f + r + 10 = 0 for f.
-5
Let g be -3*((-225)/27)/5. Solve g - 25 = -5*j fo