 Solve -x*w + w = t for w.
-2
Let z be (-90)/12*(-2)/3. Solve 2*a = z*a - 15 for a.
5
Let u(d) = 26*d + 1. Let m be u(1). Let o = m + -17. Solve -4*i = 2 + o for i.
-3
Suppose 8 + 7 = 3*z. Solve -z*w + 2 = -3*w for w.
1
Let r be 2/(-9) + 6*1/27. Suppose -j - 4 = -1. Let v(o) = o**3 + 3*o**2 + 1. Let d be v(j). Solve r = -2*g - 7 + d for g.
-3
Suppose d + 3*s - 15 = -2*d, 3*d - 10 = -2*s. Solve -3*l - l + 16 = d for l.
4
Suppose 0 = -10*b + 13*b. Solve 2*s + 6 = -b*s for s.
-3
Suppose -2*k - 2*k = -16. Suppose k*u = 18 + 2. Solve u*d + 2 = 12 for d.
2
Let y be ((-4)/10)/(4/(-40)). Let x(n) = -n**2 + 5*n. Let r be x(y). Solve -r = s - 5*s for s.
1
Let y(c) = c**2 - 4. Let p be y(3). Let j = 0 + p. Solve j*z - z - 12 = 0 for z.
3
Suppose 5*z - 25 = 3*r, 2*r + 15 = 3*z - r. Let t(g) = -g**3 + 6*g**2 - 3*g - 7. Let d be t(z). Solve -3*j - d + 0 = 0 for j.
-1
Let a be (1/(-2))/((-11)/44). Solve s - 2*s + a = 0 for s.
2
Suppose 25 = 5*r - 0*r. Solve -r*z = 2 - 7 for z.
1
Let h be 7/(-3) + (-1)/(-3). Let u(g) = -3*g - 3. Let s be u(h). Suppose -2 + 5 = s*k. Solve 2 = -c - k for c.
-3
Let v = 2 - -2. Let a be (30/9)/(v/6). Solve -5*i - a = -0*i for i.
-1
Suppose -2 - 2 = -z. Suppose -z*h + h - 12 = -5*c, -4*h - 16 = 4*c. Suppose 0 = k - c*k - 5. Solve -5*b - k = -20 for b.
3
Let d be 6 + 1 - (-3 - -1). Suppose 5*q - d*q + 6 = -2*i, -q = -4*i + 16. Solve 0 = 4*h + i + 11 for h.
-4
Let s(p) = p**2 + 14*p - 13. Let x be s(-15). Solve -x*y = -3*y for y.
0
Let l be 4/18 + 345/27. Suppose -4*z - 2 = 2*t, 3*t + 0 = -z - l. Solve z = -k - k for k.
-1
Let n(w) = w - 1. Let f be n(1). Suppose f*l = 4*l - 12. Suppose 0 = 3*p - 2*p. Solve p*i = l*i for i.
0
Let f(p) = -4 + 0 + 2*p - 4*p. Let b be f(-4). Solve -b = 2*l - 0 for l.
-2
Let i(f) = 2*f**2 + 5*f + 2. Let a(h) = -h**2 + 4*h - 3. Suppose -5*g + 15 = -5. Let s be a(g). Let q be i(s). Solve -q*o - 19 = 1 for o.
-4
Let m(d) = -d. Let f be m(-1). Let r(p) = -2*p - 2*p + 4*p**2 + 3 + p**2 - p**3 + 0*p**2. Let y be r(4). Solve y*s - f - 5 = 0 for s.
2
Let o(l) = 2 + 0*l + 2*l + l - 2*l. Let g be o(0). Solve 0 = 2*x + g + 8 for x.
-5
Suppose -d + 3 + 2 = 0. Suppose -3*k = -d*k + 4. Solve k*g + g = 0 for g.
0
Let i be 8/((-12)/(-3)) + -1. Solve -2*a = -a + i for a.
-1
Suppose h = -2*h + 36. Suppose v - 2*z = -6*z + h, -6 = -v - z. Suppose w = -0*w + v. Solve -1 - 11 = w*u for u.
-3
Let t = 2 - 2. Suppose -3*n - 2*o - 6 = 0, t*o - 13 = n - 3*o. Let u be -2 + 0 - (n - -2). Solve u = -3*f - f + 4 for f.
1
Let k(b) = -b**3 + 5*b**2 - 5*b - 4. Let c be (3 + -1)/((-1)/(-2)). Let x be k(c). Let v be (-3)/(-12) - 22/x. Solve -2*y = -1 - v for y.
2
Let m(f) = -f**3 - 2*f + 3. Let u be m(3). Let s = u - -36. Solve 0 = s*y - 3*y for y.
0
Let t = 4 + -12. Let u = 15 + t. Solve 0 = u*v - 3*v + 8 for v.
-2
Let y(c) be the third derivative of c**4/6 - c**3/3 + 4*c**2. Let d be y(2). Solve s + 2 = d for s.
4
Let z = 0 + 2. Suppose -z*p = -12 - 8. Solve -3*s - 1 = -p for s.
3
Let w be (-4 - -5)*(2 - -3). Solve 0 = 4*m + w - 17 for m.
3
Suppose -7*l + 32 = l. Solve s - l = -s for s.
2
Let v = 6 + -3. Let o(x) = 4*x**3 + x**2 - 3*x**v - 4*x**2 + 4*x - 2. Let p be o(2). Solve -k = k + p for k.
-1
Let l(h) = h + 11. Let m be l(-6). Solve m*b + 9 = -6 for b.
-3
Let b = 0 + 4. Let v(i) be the third derivative of -i**5/60 + 7*i**4/24 - 5*i**3/6 - i**2. Let x be v(b). Solve -2 = 5*l - x for l.
1
Suppose 3*y - 17 = 4. Suppose 26 + y = 3*o + 5*c, 18 = o + 4*c. Suppose o + 1 = n. Solve -n*b - 4 = -3*b for b.
-1
Let c be (-1 + -2)*25/(-15). Solve c*w + 4 = 7*w for w.
2
Suppose -5*c = -3*f - 27, -5*c + 3*c = 4*f + 10. Let l(d) = -d**3 + 3*d**2 + 2*d - 4. Let v be l(c). Let g be 1/(5/(-3) + v). Solve -g*y + 5 = -4*y for y.
-5
Let b = 18 + -11. Let n be b/2 + 3/6. Let d be 2/n*-2 - -5. Solve 19 - 3 = d*u for u.
4
Suppose 4*b + 0*b + 41 = 5*w, -3*w = -3*b - 27. Let n = -4 - b. Suppose 2*g = n, 2*u + 3*u = -5*g. Solve 4 = d - u for d.
4
Let s(r) = r**2 + 7*r - 22. Let c be s(-9). Let q(a) = 3*a**2 + 10*a. Let o be q(c). Solve 5*h = h + o for h.
2
Suppose 4*k - 5 - 47 = -4*c, 0 = 2*k + 4. Let i be (-7)/(-3) + (-1)/3. Suppose 7*j = i*j + c. Solve -j*h - 12 = h for h.
-3
Let w = 7 + -2. Suppose -12 = -w*k + 3*k. Suppose 3*j - 4*i + 12 = 0, k*i - 4*i = -2*j + 6. Solve -2*x + 8 + 0 = j for x.
4
Let n(h) = -6*h + 2 - 1 - 2. Let k be (1 + 0)/(-1) - 0. Let l be n(k). Solve -2*y = -3*y - l for y.
-5
Let c(d) = d**2 + 9*d + 10. Let q be c(-10). Solve -y = -5*y + q for y.
5
Suppose 3*f - 13 = 20. Suppose 3 = -2*o + f. Solve -o*s = s - 10 for s.
2
Suppose 2*j = 5*j. Suppose j = b + b. Suppose f - 2*l - 5 + 3 = 0, 3*f - l - 1 = b. Solve 0 = -f*c - 2*c + 2 for c.
1
Let j(u) = -u**2 + 9*u + 3. Let d be j(9). Solve 0 = -0*o + d*o + 15 for o.
-5
Suppose 9 = 3*d - 4*a, 2*d - 4*d + 3*a = -5. Let n be (-6)/(-9) + d/3. Let p = n + 0. Solve p*c = -2*c + 5 for c.
1
Let f(d) = 2*d - 12. Let n be f(11). Suppose -n = p - 12. Solve 2*z - p = z for z.
2
Let c = 2 + 0. Suppose -1 = -3*i + 8. Solve -i*y + y = -c for y.
1
Let l(a) = -a**2 + 5*a - 4. Let v be l(4). Suppose -15 = -o - 13. Solve v = 4*h - o*h for h.
0
Suppose -4*p + 6*p = -4*p. Solve p = y + 1 + 3 for y.
-4
Let d(i) be the first derivative of -i**2/2 + 10*i + 1. Let a be d(10). Solve a*b = b + 3 for b.
-3
Suppose -z = -2*q + 3, -4 = -4*z + 16. Solve 5 + 11 = q*g for g.
4
Suppose 5*t - 4 = t. Solve 2*h + 5 = t for h.
-2
Let v = 9 + -16. Let c be (-1 + -2)*1 - v. Solve s = -s + c for s.
2
Suppose 134 = 5*d + 14. Let o be (-4)/(-6) - (-104)/d. Suppose -5 = -4*u - u + 4*k, -5*u + 35 = 2*k. Solve 0 = -4*a + u*a + o for a.
-5
Let v(f) = -f - 4. Let g = -22 - -16. Let u be v(g). Solve -u*d = -7*d - 20 for d.
-4
Let l be (0/(-2))/(0 - -1). Suppose -15*r = -12*r - 24. Let y be (1 + r/(-5))*-5. Solve l - y = u for u.
-3
Let c be 632/88 + -7 + 304/22. Solve 17*v = c*v for v.
0
Suppose 0*y - 2*y + 14 = 0. Solve 0 = 2*u - 3 - y for u.
5
Let n be 4/(-10) + 28/20. Suppose 2*o + 3*i = o - n, -o - 2*i + 1 = 0. Solve 0 = -3*q + o*q for q.
0
Suppose l + 72 = 7*l. Solve 0 = 6*n - 3*n + l for n.
-4
Let o be 2 - (-1 - (-1 + 2)). Suppose y + 5 = 4, -o*g = -3*y - 35. Solve g*z - 3*z = -25 for z.
-5
Let r = -14 + 16. Solve z - 3 - r = 0 for z.
5
Suppose -2*m + 2*w + 13 + 1 = 0, -m - 4*w = 18. Solve m*s - 7*s = 20 for s.
-4
Let b = 13 - 10. Solve 2*x - b = 1 for x.
2
Let f be 2*2/((-1)/(-1)). Let t(h) = -h**3 + 2*h**2 + 3*h + 2. Let g = -3 + 6. Let k be t(g). Solve k*n + 0*n = f for n.
2
Let q be 5 + -2 + -3 + 2. Let j(z) = -z - 2. Let v be j(-5). Solve q*w - v*w - 4 = 0 for w.
-4
Suppose q = -3*p + 17, q - 2*p = -6 + 3. Let g be (-123)/(-12) - q/20. Solve 2*f + g = -0*f for f.
-5
Let j be (-8)/(-2) + 8/1. Solve -j - 8 = -4*g for g.
5
Let m(l) = l**3 - l**2 - 1. Let w(z) = 7*z**3 - 3*z**2 - 2*z - 12. Let x(p) = -6*m(p) + w(p). Let k be x(-3). Solve h + 4 - 8 = k for h.
4
Let y(u) = u + 9. Suppose 0 = 4*f + 17 + 11. Let z be y(f). Solve -5*k = -z*k for k.
0
Suppose m = 2*b + 8 - 1, -17 = -3*m + 5*b. Let o be (-8)/(m/(-2)*-1). Solve 5*i = o - 1 for i.
3
Let p be (-2)/2 + 18 + 3. Let t = 17 + -15. Suppose p = -t*o + 7*o. Solve 3*c - o = -c for c.
1
Suppose 0 = -h + 2*d + 9, -4*d - d + 15 = 5*h. Suppose -4*t + 83 = -q, -2*q = h*t - q - 97. Solve 3*v - t = -2*v for v.
4
Let n(v) = -v**2 + 11*v + 17. Let y be n(13). Let f = -5 - y. Solve s = -f*s + 15 for s.
3
Let a(v) = -15*v + 2. Let p = 0 - -2. Let o be a(p). Let t = 43 + o. Solve -5*c - t = -0*c for c.
-3
Let b(c) = 11 + 0*c + 4*c - 5*c. Let g be b(6). Solve -g = 2*x - 15 for x.
5
Let k be (-11)/(-1)*(2/2 + 0). Solve -4*f = -k + 31 for f.
-5
Let j(l) = -l**3 - 2*l**2 - 3*l - 3. Let r be j(-2). Let n(c) = -c**2 - 3*c + 4. Let g be n(-3). Let o = -2 + g. Solve -r*t = -8 + o for t.
2
Let t be 4 - (-3)/(0 - -3)*0. Solve 0 = -0*x - 2*x + t for x.
2
Let a = -12 + 17. Let y = -2 + a. Let q = 10 - -6. Solve q = -x - y*x for x.
-4
Suppose -3*d + 2*d = 6*d. Solve d = -t + 2*t for t.
0
Let s(d) = d**3 - 6*d**2 + 5*d - 5. Let f be s(5). Let x = 3 - f. Solve 0 = -x*g + 3*g + 25 for g.
5
Let a = 24 - 21. Solve -1 = -a*f + 2 for f.
1
Let j = 12 + -7. Let s(u) = 21*u - 1. Let d be s(1). Solve -j + d = -3*w for w.
-5
Let q(s) = s - 4. Let u be q(9). Suppose -d = n - 7, -u*n + 0 + 17 = -d. Solve 5*g - n*