t w be j(c). Solve 0 = w*n + 2 + 6 for n.
-4
Let l = 25 - 21. Solve 0*t - l = 4*t for t.
-1
Let d(v) = v - 1. Let z be d(8). Suppose 2*s = z*s - 15. Solve s*j = 10 - 4 for j.
2
Suppose 5*g + 0*g = 0. Suppose -3*s + 3*h = 7*h, g = -3*s + 5*h. Solve -u - 4*u + 15 = s for u.
3
Let f(v) = v + 1. Suppose 6*i - 8 = 2*i. Let o be f(i). Let h be -2*-3*(-2)/(-3). Solve h*w = o + 5 for w.
2
Suppose z = 4*v + 7, -3*v - 12 + 4 = 2*z. Let k be (z/(-1))/(2/46). Suppose -8 + k = 3*y. Solve 0*x - 15 = y*x for x.
-3
Let w(a) = a**2 - 3*a + 4. Let z be 1 - 1 - (2 + -5). Let o be w(z). Solve -2*k - o = 2 for k.
-3
Suppose -5*s + 5*i - i = -16, 5*s - 18 = 2*i. Solve -s*m = -9 - 11 for m.
5
Let v = -18 - -26. Solve 0*f = 2*f + v for f.
-4
Let t(w) = -3*w + 1. Let f be t(-3). Solve 0 = 5*g - 0*g - f for g.
2
Let o(a) = 3*a + 6. Let l be o(6). Suppose 3*i = i + l. Suppose 4*j - 92 + i = 0. Solve -2*u + j = 3*u for u.
4
Let c be (-4)/8*(-10 - 2). Solve -20 = -l + c*l for l.
-4
Let v = 2 + 1. Let p be -3*6/27*v. Let l be 1*1/p*-10. Solve 0 = l*a + 23 - 3 for a.
-4
Suppose 3*d = 2*s - 2*d - 4, -3*s = -d - 6. Let g be (6 - s)*6/(-4). Let y be (15/g)/(2/(-4)). Solve y*n - 8 = 12 for n.
4
Let c be -16*1*3/(-6). Suppose 0 = w + 4*j + c, 0*w = -3*w - 2*j - 54. Let f = w + 28. Solve y - f = -y for y.
4
Let a(s) = 2*s + 4. Let j(v) = -v - 2. Let m(t) = -6*a(t) - 11*j(t). Let w be m(-5). Solve -w*z - 3 = -2*z for z.
-3
Suppose -4*v - a + 19 = 0, -3*v + 5*v - 2*a = 12. Solve -5 = v*w - 0 for w.
-1
Suppose -k - 6 = -3*k. Suppose -k*g + 7 + 2 = 0. Solve -5*r - g = -2*r for r.
-1
Suppose 5*z + 154 + 176 = 0. Let j be 4/(-10) - z/15. Suppose -j*i + 2*l = -24, 3*i + 2 + 6 = -5*l. Solve -w - 20 = i*w for w.
-4
Suppose 10*t - 28 = 2. Solve -6*y + t*y = 12 for y.
-4
Suppose -7*f - 16 = -11*f. Solve -o = f*o for o.
0
Suppose -4*b - 28 = 2*f, 4*f + f - 3*b + 122 = 0. Let n = f - -8. Let y = -10 - n. Solve y*o + 3 = -1 for o.
-1
Let w(k) be the first derivative of -k**2/2 - 10*k - 2. Let l be w(-10). Let z be 1 - -1 - (1 - -1). Solve l*a - a - 4 = z for a.
-4
Let m(p) = -p**2 + 17*p + 41. Let k be m(19). Solve -z = -6 + k for z.
3
Let f be 6 + -3 + 2 - 0. Suppose f*u = -7 - 3. Let v(y) = -2*y**3 + 2*y**2 + 2*y. Let r be v(u). Solve -5*c = -c + r for c.
-5
Let t = 3 - 13. Let g be 4/t*(4 + -9). Solve 0 = g*f + 3*f - 20 for f.
4
Let h = -28 + 32. Solve h*a - 10 = 2 for a.
3
Suppose -2*j + 13 = -g, 5*g = j - 3*j - 5. Let b be 7 - (g + (-4)/(-2)). Suppose b = -0*w + 2*w. Solve 10 = 6*p - w*p for p.
5
Let k = -38 + 41. Solve -k*w = 2*w - 10 for w.
2
Let k = -14 + 10. Let a = k - -8. Solve -2 - 14 = a*f for f.
-4
Suppose o - 9 = -2*o. Let s be 2/(-6) + 26/6. Solve -8 - s = -o*v for v.
4
Suppose 0 = s + 5 - 11. Let b be (-10)/(-3)*27/s. Let q be -1*(-2)/(-6)*0. Solve q*f + 3*f - b = 0 for f.
5
Let s = 16 - 16. Solve s*k = k for k.
0
Suppose 2*n + 29 + 5 = 5*f, 3*f + n - 16 = 0. Let q = f + -4. Let h be q/(-8) + 21/4. Solve -2 = -3*v - h for v.
-1
Let b be 12/8*(-16)/(-6). Let s = b + 0. Solve d + 0*d = -s for d.
-4
Suppose 0 = -5*c - 15, 0 = i + 5*c - 2*c + 3. Solve -4*l - i = -6*l for l.
3
Let c(j) = 24*j**2 - j. Let x be c(-1). Let q be (-10)/x - (-14)/10. Let m be (-3 - 0/q) + 6. Solve k + 0 + m = 0 for k.
-3
Let s be 4 + -2 - 14/(-7). Solve s*r - r - 15 = 0 for r.
5
Suppose 0 = n + 3*n - 4. Let z(w) = -w**3 + 2*w**2 - w + 2. Let h be z(2). Suppose -v + 3 - 1 = h. Solve -v*b = n - 3 for b.
1
Let s = 131 + -127. Solve s = -p + 2*p for p.
4
Let t(j) be the first derivative of j**3/3 + 3*j**2/2 + 3*j - 2. Let k be t(-2). Solve -k = -w - 0 for w.
1
Let z(i) = i + 24. Let o be z(-24). Let p be (2/(-4))/((-2)/24). Solve -p*l + 2*l - 4 = o for l.
-1
Suppose g + 2*i = -2*i + 6, 2*g - 2*i = 2. Let m be 1/(-2) - (-1)/g. Suppose 2*j + m*j = 6. Solve j*u - 4 = u for u.
2
Let h(v) = 4*v + 1. Let z be h(1). Let r = 5 - z. Suppose r = 6*t - 2*t - 16. Solve -t*a + 6 = -14 for a.
5
Let d(h) = 3*h - 1. Let t be d(1). Solve t*m = 3*m - 5 for m.
5
Suppose -16 = -5*h + 3*h. Solve 3*f + 4 = -h for f.
-4
Let h(f) be the first derivative of -f**4/4 + 4*f**3/3 + f**2/2 + 5*f - 1. Let x be h(4). Suppose -5*i = -11 - x. Solve k - i = -k for k.
2
Suppose 9*s = 7*s + 18. Solve 0 = -5*z - 4 + s for z.
1
Suppose -7*a = -4*w - 2*a + 15, -2*w + a + 15 = 0. Let n be 1 - (2 - (5 + 2)). Solve 0 = j - n*j - w for j.
-2
Suppose -8 + 21 = 13*y. Solve y = -2*i + 3 for i.
1
Let g(n) = n**3 - 11*n**2 - 9*n - 21. Let m be g(12). Solve 3*f + m = -0*f for f.
-5
Let d(s) = 3*s**3 + 13*s**2 + 2*s + 1. Let x be d(-4). Solve x*o = 5*o - 4 for o.
-1
Let q = 77 + -74. Solve 2*o = -q*o - 10 for o.
-2
Suppose -26 = 2*b - 4*k, b + b + 6 = -k. Let p(t) = -21*t + 17*t + 2*t**3 - 6*t**2 - 3*t**3 + 7. Let h be p(b). Solve h*u - 13 = -3 for u.
5
Let s(d) = 7*d**2 - d. Let w be s(1). Solve -b + w = 2*b for b.
2
Let b = 18 + -15. Solve 2*o = 3 + b for o.
3
Suppose -8*o + 28 = -4*o. Let d be (-1)/o - (-1)/7. Solve 0 = -r - d*r + 2 for r.
2
Let j(r) = -r**3 - 4*r**2 + 2*r. Let i be j(-5). Solve 0*u = -3*u - i for u.
-5
Suppose -45 = -12*f + 7*f. Let j be 24/f + (-8)/12. Let z(q) = q**3 + q**2 + 6. Let c be z(0). Solve -j*x + c = -0*x for x.
3
Let m(h) = -h + 7. Let z be m(0). Suppose -z*i + 15 = -4*i. Solve 2 - i = 3*t for t.
-1
Let w be (1/(-4))/((-4)/80). Solve 20 = -w*d + 5 for d.
-3
Suppose 5*a - 2 - 28 = 0. Suppose -j = j - a. Let i be (-10)/(-3)*(2 + 1). Solve 0 = j*u + i - 1 for u.
-3
Let j = 22 + -23. Let l(u) = u**2 - 2*u - 1. Let q be l(j). Solve 1 = 3*t - q for t.
1
Suppose -26 = -16*l + 22. Suppose 0*r - 5*w = -3*r + 20, 0 = 2*w + 2. Solve -l = r*y - 8 for y.
1
Let v = -71 + 79. Let x(c) = -c**2 + 8*c + 1. Let u(i) = 6*i**2 - 41*i - 4. Let a(j) = -2*u(j) - 11*x(j). Let g be a(-4). Solve -v = -g*l + 2 for l.
2
Let o be (2*(-50)/(-12))/(5/15). Solve 7*y - 2*y - o = 0 for y.
5
Let j(x) = -x**2 - 7*x - 8. Suppose -4 + 2 = -k. Let p(c) = -c**2 + 1. Let o(i) = k*p(i) - j(i). Let s be o(8). Solve -s*f + 12 = f for f.
4
Let z = 96 + -86. Solve -3*y + z = 2*y for y.
2
Let t be ((-7)/(-2))/(-1)*4. Let p = -9 - t. Solve 4*d - p = 3 for d.
2
Suppose 3*g + 2*g - 140 = 0. Suppose -g - 7 = -5*x. Suppose 7 = 3*y + 2*z - z, -y - 4*z = 5. Solve 16 = -x*h + y*h for h.
-4
Suppose 0 = 3*t - 5*h - 9, 5*h + 0 + 3 = t. Solve t*j + 25 = -2*j for j.
-5
Let k(s) = 10*s**2 + 7*s - 9. Let r(v) = 5*v**2 + 4*v - 5. Let z(y) = 4*k(y) - 7*r(y). Let x be z(-1). Suppose 3*o + 5 = x*o. Solve 0*c = o*c - 5 for c.
1
Let b = -175 - -179. Let u(c) = -c**3 - 3*c**2 - c. Let z be u(-3). Solve -z*m - b = m for m.
-1
Let j(r) = 2*r - 9. Let n be j(7). Solve -7*v - n = -6*v for v.
-5
Suppose 5*t + 4*l + 4 = -4, 3*l + 6 = -t. Let u = t - 0. Suppose 3 = c - u*c. Solve 0 = -q + 7 - c for q.
4
Let z be (-114)/8 + 6/24. Let p = -12 - z. Solve -3*l - 15 = p*l for l.
-3
Suppose -h + 30 = 9*h. Solve 3*m - 2*m = h for m.
3
Let r be ((-10)/(-12))/(9/54). Solve -b - 2 + r = 0 for b.
3
Suppose -3*g + 5*g = 6. Suppose c - g*c = 0. Solve 5*p - 29 + 4 = c for p.
5
Let f be 5*(-2 - (-14)/5). Let x(q) = 53*q - 3. Let a be x(2). Let n be a/7 - (-4)/14. Solve -f*z = z + n for z.
-3
Let w(r) = r**3 - r + 10*r - 8*r + 4*r**2. Let b be w(-2). Solve -2*s = -4*s + b for s.
3
Suppose 3*s - 1532 = -218. Let i be s/27 - 4/18. Suppose i = 5*j + 1. Solve -8*q + j*q = 20 for q.
-4
Let a = -3 + 15. Let s = a + -5. Solve -s = 2*c + 3 for c.
-5
Let k be (1 - (1 - 3))/(-1). Let z = k - -28. Let h be (-5)/z + 16/5. Solve -h*l - 2*l = 0 for l.
0
Let d be 1/(-2) + (-1)/(-2). Let p(w) be the second derivative of -w**4/12 - w**3/6 + 3*w**2/2 - 3*w. Let u be p(d). Solve 8*t = u*t + 25 for t.
5
Let u = 0 - -3. Suppose -30 - 15 = -u*a. Solve -i - 4*i = a for i.
-3
Suppose -3*w + 4 = -m + 3*m, 2*w - 4 = -m. Suppose 2*g = w*p - 6 + 16, -5*g + 85 = 2*p. Solve 4*b + g = b for b.
-5
Let i(u) = 4*u**2 + u. Let v be i(1). Solve 0 - 5 = v*c for c.
-1
Let p = 108 - 104. Solve p = -b + 3 for b.
-1
Let j be (6 + -4)/(2 + -1). Solve j*m + 16 = -2*m for m.
-4
Suppose 0 = -5*o + 8*o - 12. Solve -n - 1 = -o for n.
3
Let l = -28 - -42. Solve l = 2*a + 4 for a.
5
Let x = 17 + -15. Suppose 24 = x*v + 5*i, 4*v = 5*i - 13 + 1. Solve -4 = -0*w + v*w for w.
-2
Suppose -3*u - 9 = -8*b + 5*b, -12 = -4*u - 4*b. Let w(z) = z**3 - 9*z**2 + 9*z - 5. 