-26 = -n*f - 6 for f.
5
Let p(x) = 2*x**3 - 9*x**2 + 7*x - 11. Let o be p(4). Solve -o = -0*v + v for v.
-1
Let n = 24 - 72. Let m = 28 + n. Let x be ((-96)/m)/((-12)/(-40)). Solve -5*l = -l - x for l.
4
Suppose 5*l + 3*u - 85 = 0, u + 3 = -2. Suppose 0*x + 9 = -x. Let a(v) = -v**3 - 10*v**2 - 9*v + 6. Let n be a(x). Solve n*k + l = k for k.
-4
Suppose 24 = 3*y - 18. Let v = y + 6. Let o(c) = c**3 + 3*c**2 - c + 2. Let u be o(-3). Solve u + v = 5*f for f.
5
Let t(m) = 4 - 8*m**2 - 6*m + 12*m**2 + 3 + m**3. Let g be t(-5). Solve 5*w - w + g = 0 for w.
-3
Let c = -124 - -139. Solve 0 = 5*b - 2*b + c for b.
-5
Let x = 130 + -128. Suppose -2*l = x*d - 3*l + 4, d - l = -4. Solve 4*q + 8 = -d*q for q.
-2
Let j = 37 + -38. Let u(f) = 2*f**2 - 3*f - 1. Let d be u(j). Let r be (0 + 12/(-2))/(-2). Solve 0 = r*t - t - d for t.
2
Suppose -h = -4*h - 4*f - 3, 4*h + 2*f = -4. Let a = h - -4. Solve a*s + 1 = -5 for s.
-2
Let f(z) = -z**3 - z**2 + 2*z - 4. Let n be f(-3). Let k be (-36)/n*4/(-9). Solve k*o = -0*o + 4 for o.
2
Let x = 460 + -457. Solve x*i - 6 = -3 for i.
1
Let p = -12 - -14. Suppose 0 = -i - p*i - 474. Let o be 9/36 - i/8. Solve 9*c - o = 4*c for c.
4
Suppose -10*j + 21 = 21. Solve -5*i + 4*i - 2 = j for i.
-2
Let o be 3/(-4) + 1 - (-589)/124. Suppose -2*i + 5*i = 0. Solve o*b - b = i for b.
0
Let c = -3 + 12. Suppose 2*f - x - 7 = 0, 2*x = -x - c. Suppose -2*u = 3*s - 12, -4*s + 2*u = -f*s - 8. Solve 3 - 11 = -s*d for d.
2
Suppose -5*v = -10, 3*p - v = 2*v. Suppose -p*y = -5 - 5. Let a be (6/(-1))/((-18)/12). Solve a = -y*u - 21 for u.
-5
Suppose 4*o = a - 16, -5*a - 4*o - 20 + 4 = 0. Solve a*w = 2*w + 4 for w.
-2
Suppose -3*w - 27 = -2*z, 0 = 3*z + 4*w + 2 - 0. Let k be (1 - z)*(-2)/5. Solve 0*m = k*m + 4 for m.
-2
Let l = -10 - -12. Suppose -1 = -l*o + 1. Let n be (4 - o) + (-6)/(-3). Solve 0*x = n*x for x.
0
Suppose -5 = n - 4*l, 2*n + 0*n + l - 8 = 0. Let t be 0/1 + 12/n. Let c be ((-40)/12)/(t/(-6)). Solve -b + 2 = c for b.
-3
Suppose 251 = -69*r + 734. Suppose 5*m = -0*m + 10. Solve 1 + r = -m*x for x.
-4
Suppose 0 = -12*w + 93 - 33. Solve 25 = w*g - 0*g for g.
5
Let r be (-4 - 2)*2/(-3). Suppose r*o = -4*y - 4, 4*o + 9 - 50 = 5*y. Suppose -o*u = -8*u + 12. Solve -2*d - 1 = -u for d.
1
Let f(w) be the first derivative of 7*w**2/2 + 41*w - 1. Let u be f(-5). Solve q = u*q + 25 for q.
-5
Let w be 0/(-1 + 3) - -2. Let b(u) = -48*u + 6. Let i be b(4). Let l = -182 - i. Solve w*f + l = f for f.
-4
Suppose 24 = 5*c - 4*t, 2*c - 3*t + 8*t - 3 = 0. Let h(i) = -c + 1 - 4*i - 2 - 11. Let o be h(-5). Solve -o*k + 8 = -0*k for k.
2
Suppose l = -69 + 15. Let f = l - -64. Solve p + f = -p for p.
-5
Suppose 7*f - 12*f + 5 = 0. Solve -9 = -5*w + f for w.
2
Let x be (-1 - (0 - 5))*1/(-2). Let y = 0 - x. Solve y*h = 4*h for h.
0
Let d be 3/(-2)*2/(-3). Let j be 8*(-1 + d/(-2)). Let q be j/8*-2*1. Solve a - 7 = -q for a.
4
Let s be 74 - (-17 - -17)/(2 - 0). Solve 0 = -4*k - s + 54 for k.
-5
Let v be ((-2)/(-4))/(((-247)/208)/(-19)). Solve 11*l + v = -14 for l.
-2
Let c = 220 - 108. Suppose -4*t - 3*l - 86 = 0, 5*t + 92 = 3*l + l. Let x be 2/5 - c/t. Solve -3*m + x = -m for m.
3
Let y = -4 + 7. Suppose 0 = -5*q + y*q + 8. Solve 0 = q*r + 6 + 2 for r.
-2
Suppose -d = -2*b - 16, -2*d + 15 = -b - 2. Suppose -7*j + 4 = -d*j. Let t be ((-4)/(-7))/(j/14). Solve -t*q + 3*q - 1 = 0 for q.
1
Let v(g) = -3*g - 29. Let a be v(-20). Suppose 5*r - 75 = 3*f, 3*r - 2*f + 3*f = a. Solve -r - 13 = 5*t for t.
-5
Let x = 11 - 6. Let d = x + -5. Suppose -z - 2*n = 4, -3*n + 4 = 5*z - n. Solve d = z*c - 4*c + 10 for c.
5
Let x be (-14)/3 - 9/27. Let c be (-2)/x - 162/(-45). Suppose -2*t = -2 - c. Solve -t*z + 6 + 0 = 0 for z.
2
Suppose 3*i + 2*o - 14 = 0, -i - o + 8 = 3*o. Let p be i - 3 - 3/(-1). Solve -10 + p = -2*r for r.
3
Let d(s) = -s**2 + 6*s + 7. Let x be (7/4)/(1/4). Let w be d(x). Suppose r - 10 + w = 0. Solve -3*q + 5 = -r for q.
5
Suppose 3*m = 2*m + 3, -i - 5*m = -36. Let b be (i/(-14))/((-6)/8). Solve b*q - 4*q + 4 = 0 for q.
2
Let q = 4 + -4. Suppose 4*b - 21 + 5 = q. Suppose 0*y + b*y = 0. Solve 8 = 4*p - y for p.
2
Let z(q) = -2*q + 2. Let b be z(0). Let u(t) = t + 5. Let f be u(b). Solve -4*n + 13 = -f for n.
5
Let l be ((-3)/(-4))/(9/540*9). Solve l*n + 7 = 22 for n.
3
Suppose -55*r + 36 = -49*r. Suppose 2*s = 5*s. Solve s + r = 3*l for l.
2
Let p(w) = -2*w + 9. Let g(c) = -c**2 + 8*c + 6. Let j be g(9). Let t be p(j). Let q = t + -13. Solve 0 = q*r + 3*r for r.
0
Let c be 33/6*-2 - -1. Let a = c - -15. Solve a*f = 3 + 12 for f.
3
Let b = -25 + 25. Let c be (-28)/(-6) + 9/27. Solve b = -d + c for d.
5
Let q(p) = -p**3 - 4*p**2 + 3*p - 3. Let f be q(-5). Suppose f - 17 = -n. Let t be (4/10)/(n/100). Solve t + 0 = -4*r for r.
-1
Suppose 0 = -15*k - 0*k + 15. Solve -k = -g + 2 for g.
3
Suppose -11*s - 6*s = -85. Solve s*c = 13 - 3 for c.
2
Let x be (-228)/171 - 32/(-6). Solve 0*j = -x*j for j.
0
Let r(o) = -2*o - 4. Let i be r(-4). Let q(k) = k**3 - 4*k**2 - 2*k + 6. Let v be q(i). Let b be (-16)/(-6) + v/3. Solve b*j + j - 9 = 0 for j.
3
Let y = -626 - -642. Solve -5*u + u = y for u.
-4
Suppose 21*m - 23*m = 0, m = -2*t + 16. Solve -t = -4*k - 0 for k.
2
Let p(b) = -2*b**2 + 6*b - 1. Let q be p(6). Let x = -37 - q. Solve 0 = -3*z - x - 3 for z.
-1
Let h = -8 - -36. Let z be ((-42)/h)/((-6)/20). Solve q = z - 0 for q.
5
Let t = 14 + -6. Let d(y) = t + y**2 + 3*y - 9*y + 0*y. Let p be d(6). Solve p = 4*m + 28 for m.
-5
Let q(y) be the third derivative of y**5/60 + 3*y**4/8 + 2*y**3 - 7*y**2. Let b = 8 - 16. Let h be q(b). Solve -5*s = -h*s for s.
0
Let n(w) = 1. Let y(g) = -g**2 + 4*g + 11. Let x be y(6). Let c(t) = -4*t - 2. Let i(m) = x*n(m) + c(m). Let k be i(-2). Solve k*q + 15 + 0 = 0 for q.
-3
Suppose -98 = -56*m + 350. Solve -m + 0 = 4*k for k.
-2
Let p(k) = k**3 + 5*k**2 - 7*k - 7. Let u be p(-6). Let z(a) = -a**2 - 3*a + 2. Let i be z(-2). Let r = i - u. Solve -r - 10 = -5*n for n.
3
Suppose 59*a - 158 - 137 = 0. Solve a*n - 20 = -5*n for n.
2
Suppose -2*u + 96 = -6*u. Suppose -85*j + 870 = -55*j. Let o = j + u. Solve -7 - 3 = o*f for f.
-2
Let g(l) = l**3 + 7*l**2 + 3. Let p be g(-7). Suppose 2 = t - c - 2*c, -2*c + 8 = 4*t. Solve t*y + p = y for y.
-3
Let y(l) be the first derivative of l**2/2 - 18*l + 3. Let h be y(9). Let s(r) = r**3 + 9*r**2 - r - 9. Let b be s(h). Solve -w - w + 4 = b for w.
2
Suppose -2*a + 2*u = -14, 3*u = -4*a - 6 - 1. Let t = -9 + 13. Suppose -2*f - 2*f = -h + 16, -2*h + f + t = 0. Solve h = a*y - y for y.
0
Let m = -53 - -33. Suppose b = 5*f + 13, -2*f = -3*b + 5*b - 50. Let l = b + m. Solve 6*c = l*c + 9 for c.
3
Suppose 3*y + 3 = 30. Suppose f = -u - 9, 3*u + 2*f - y + 32 = 0. Let z(a) = -a**3 - 3*a**2 + 7*a + 3. Let k be z(u). Solve -k - 2 = 5*n for n.
-4
Let r be ((-12)/(4 + -2))/(-1). Let y(v) = -v**2 + 12*v - 20. Let i be y(7). Suppose 12*d = i*d. Solve r = 2*m - d for m.
3
Suppose 0 = 55*l - 56*l - 1, 2*x + 5*l = 31. Solve 10*k - 28 = -x for k.
1
Let a(s) = s**2 - 17*s + 5. Let c be a(17). Solve c*i - 1 - 24 = 0 for i.
5
Let f = 130 + -125. Solve -4 = 4*d - f*d for d.
4
Let t(d) = -d**3 + 6*d**2 + 4*d - 39. Let x be t(5). Solve k - 3*k + x = 0 for k.
3
Let m = -14 - -16. Suppose -4*q - 2*h = -4, m = -3*q - 2*h + 4. Solve 0 = q*k + 4 + 6 for k.
-5
Let m be 1/4 - 1001/(-28). Suppose m = 5*d - 3*d. Let j be 3/(-18) - (-3)/d. Solve -4*z + 6 - 18 = j for z.
-3
Let h = -1955 + 1963. Solve h*s - 15 = 5*s for s.
5
Suppose -2*f = -4*f + f. Suppose f = 4*a + 2*a + a. Let m be 2/(-7) - (-48)/21. Solve a = -m*u - 0*u for u.
0
Let n = -10 - 11. Let m be (-70)/n - 4/(-6). Let o = 11 + -8. Solve o*t - m = -t for t.
1
Let p = 82 - 81. Suppose -4*f = -3*s + 91, 0 = s + 2*f - f - 21. Suppose 4*y = -y + s. Solve b + p = y for b.
4
Let i = 399 - 399. Solve -35*q + 31*q = i for q.
0
Let a = -550 - -559. Solve -a*i + 3*i = -7*i for i.
0
Let p = 1 - -1. Let k = -56 + 61. Solve p + 3 = k*n for n.
1
Suppose 4*b - 5*i = 41, -5*b - 2*i + 6*i = -40. Solve 10 = v + b*v for v.
2
Suppose -k + d = 2*d - 18, -56 = -3*k - 2*d. Solve 9*s - k = -2 for s.
2
Let c = 16 + -11. Suppose -4*t - 3 = -c*t. Suppose -4*n = 5*i - 2, t*n - 3*i - 11 - 4 = 0. Solve -5 + 14 = -n*g for g.
-3
Let f = 0 + 3. Suppose 2*c - 11 = -n, -c + 0*c + 13 = 2*n. Solve -c*y = -