s = 2*o - 5 for o.
-4
Let y = 130 - 125. Solve 4*i + y = 21 for i.
4
Suppose -3 = -w - 0. Let i(r) = 2*r**2 + r + r - r**3 + 3 + r. Let l be i(w). Solve 6 = -0*d + l*d for d.
2
Suppose 7*z - 6*z = 5. Solve -p = z - 0 for p.
-5
Suppose 2*i - b - 4 = 0, -2*b + 16 = 2*i - 0*i. Solve i*z - 3 = 5 for z.
2
Let p(n) = -n**3 - 5*n**2 - 3*n - 3. Suppose -4 = 4*w + 16. Let l be p(w). Solve -3*t + l = t for t.
3
Suppose 0 = -35*w + 28*w + 14. Solve 0 = u - w - 2 for u.
4
Let b be (8/10)/(7/35). Let z(m) = 3*m**2 - 1. Let j be z(1). Suppose 2*c + 3 = -5*r + 2, j*c - b*r = 8. Solve -c*u + 8 = 2*u for u.
2
Suppose 3*f - 195 - 63 = 0. Let k be 2/9 + f/18. Solve k*q + 16 - 1 = 0 for q.
-3
Let m(v) = 8*v - 31. Let p(f) = 2*f - 8. Let b(o) = 6*m(o) - 22*p(o). Let w be b(8). Solve -7 = 5*r - w for r.
3
Let x(t) = t**2 - 10*t + 10. Let f be x(9). Let v = f - -1. Solve -v*n + 5*n = 0 for n.
0
Suppose 2*o = 7*o - 10. Let f be (-3)/(-1) + o + -2. Solve f*r - 15 = -0*r for r.
5
Suppose 4 - 1 = s. Suppose 2*w - f = 3*f + 6, -s*w - f = -9. Suppose 4*z - w*i - 15 = 0, -2*z - 4*i = -2*i + 10. Solve -5*g + z = -5 for g.
1
Suppose -4*t = k + 4, 3*k = 2*k + 4*t + 4. Solve k = 8*n - 4*n for n.
0
Suppose 3*p = 2*t + 7*p - 14, 4*p - 24 = -4*t. Solve 0 = 2*v - v - t for v.
5
Let l(g) = -g**3 + 10*g**2 - 7*g - 14. Let a be l(9). Solve -a*p = 3 + 13 for p.
-4
Let p be 47/9 + (-6)/27. Solve m + p = 2*m for m.
5
Suppose l + 16 = 2*l. Solve 2*v = 6*v + l for v.
-4
Let p(f) = -f**2 - 15*f + 4. Let s be p(-15). Suppose 0*h + s*n + 24 = h, -n - 1 = h. Solve 6*t + h = 2*t for t.
-1
Let w = -11 - -18. Suppose 25 + w = 2*h. Solve 5*p + 9 + h = 0 for p.
-5
Let l(q) = -q**3 + 7*q**2 + 3*q - 8. Let y be l(7). Let x be 48/26 + 2/y. Solve 3 = 5*z - x for z.
1
Let v = 15 - 11. Suppose 22 = v*n - n - 5*l, -3*n + 2*l + 25 = 0. Solve -n - 11 = -5*x for x.
4
Let b(y) = 3*y**3 - y**2 + 1. Let f be b(-1). Let h = -9 - -7. Let x be h*(f + 4/2). Solve -d = -x*d for d.
0
Suppose 0*n + 5*n = -4*t, 5*t = -n. Suppose l - 4*l = n. Suppose -10 = 6*c - c, 4*y - 3*c = 26. Solve y*m + l = 15 for m.
3
Suppose -4*x - 4*j - 9 = -5*x, 0 = 3*j. Solve 5*c = 6 + x for c.
3
Suppose 0 = 5*b - 4*y - 9, -y + 2*y = 2*b - 6. Suppose 4*q - 4*r = 20, -q + 5*r = -4 - b. Solve -2*h - 2*h + q = 0 for h.
1
Let u(p) = 4*p**2 - 4*p - 116. Let y be u(6). Suppose 2*l + 3*g - 6 = -2, g = 2*l + 4. Let m be l - (-1 + -19) - 1. Solve -2 = y*i - m for i.
4
Let p = -56 + 78. Let u = 32 - p. Solve m - u = 3*m for m.
-5
Let q(b) = 2*b**2 - b + 1. Let u be q(1). Let m(c) = -2*c + 2. Let y be m(u). Let i be y/(-12) - (-105)/18. Solve -h + 10 = -i*h for h.
-2
Let z(h) = -h + 12. Let u be 16/(-4)*(2 - 3). Suppose 5*w = -5*j + w - 12, 0 = -u*j + 5*w + 15. Let c be z(j). Solve 3*g + g + c = 0 for g.
-3
Let w be 2/(-9) + 540/243. Solve w = -3*r - 7 for r.
-3
Let u(q) = -2*q**2 + 4*q**2 - q + 10*q**3 - 7*q**3. Let l be u(1). Suppose -3*o + l = -o. Solve -4*s = -o*s + 10 for s.
-5
Let j = -21 - -24. Solve 0 = j*i + i for i.
0
Let g(f) be the second derivative of f**5/20 - f**4/6 - f**3 - 5*f**2/2 - 6*f. Let c be g(4). Solve p + 4 = c*p for p.
2
Suppose -4*f + 0*f + 40 = 4*d, -3*f = -2*d - 30. Suppose -j = 1 - f. Solve h - j = 4*h for h.
-3
Let c(z) = z - 10. Suppose 2*j + 20 = y, 2*y = -2*j + 9 + 1. Let f be c(y). Solve f = -0*w + w + 5 for w.
-5
Let x(i) = i + 2. Let p be x(3). Solve j + 0 = p for j.
5
Suppose 5*v + b - 12 - 5 = 0, 5*b - 13 = -v. Solve -5*j + v + 7 = 0 for j.
2
Let s be ((-7)/22 + (-4)/22)*-4. Solve s*i + 5 = 7*i for i.
1
Let z(s) = -s**2 - 4*s + 1. Let m be z(-3). Let v be 2/(2*(-2)/(-10)). Suppose 3*j - 2*h - 14 = -v, 5*j + 5*h = 40. Solve y = j*y + m for y.
-1
Let h = 81 + -77. Solve -j + 3*j = h for j.
2
Suppose -3*w = t - 0*t - 16, -4 = -4*t. Solve 0 = w*r - 26 + 1 for r.
5
Suppose 0*h = -h + 2. Suppose -5*k + 12 = -h*k. Solve 1 = k*x - 3 for x.
1
Let h = 28 + -21. Solve -2 + h = m for m.
5
Let w = 12 + -2. Suppose -t - t = w. Let i = -3 - t. Solve -j + 12 = i*j for j.
4
Let l = 23 + -23. Solve -5*d + l*d = -5 for d.
1
Let k(b) = -2*b + 3. Let n be k(-3). Solve -v + n = -4*v for v.
-3
Let j = 10 + -14. Suppose -15 = -i + 4*i + 5*u, u + 3 = 3*i. Let g be j/(-4)*(1 - i). Solve -g = -q - 0*q for q.
1
Let m(c) = -7 + 8*c - 7*c - 1. Let r be m(8). Solve r = 4*v - 0*v for v.
0
Let u be (3 - 8)*(2 - 3). Suppose 4*h + 3*s = 52, 0*h + 26 = 2*h + u*s. Solve -h - 2 = -5*o for o.
3
Let f(u) = -u**2 + 9*u + 12. Suppose 0 = 3*k + k - 40. Let d be f(k). Solve 0*c = d*c + 4 for c.
-2
Let s = 19 - 19. Solve s = -0*n + 4*n + 16 for n.
-4
Let p(r) = -r**3 - 9*r**2 - 13*r + 7. Let o be p(-7). Solve -2*n + 6*n - 8 = o for n.
2
Suppose 0 = -2*q - 0*q. Let o = -3 + 5. Suppose a - 12 = 2*p, -3*p - o = 3*a - 20. Solve 0 = 4*z - q - a for z.
2
Suppose 0*p + 15 = 5*p. Suppose -6 = 6*q - p*q, 33 = c + 2*q. Let l = -19 + c. Solve -2 = 4*o + l for o.
-5
Let c(y) be the second derivative of y**5/20 + y**4/6 - y**3/2 - y**2 + 2*y. Let k be c(-2). Solve -k*t = -t - 9 for t.
3
Let k be 2/(-4)*(-30 + 20). Solve -c - k = 4*c for c.
-1
Let y(w) = -2*w**2 - w + 1. Let p be y(-1). Let t(r) = -5*r - 3. Let k(o) = -2*o - 2. Let g(a) = 9*k(a) - 4*t(a). Let i be g(5). Solve -i*c + 2*c - 2 = p for c.
-1
Let d be 30/3*2/(-5). Suppose -o + 1 - 9 = 0. Let f be d/o*(-1 + 5). Solve -4*b + 10 = f for b.
2
Suppose 2*s - 2*a = -3*a + 46, a = 2*s - 50. Let n be (-20)/6*s/(-10). Let o = n + -5. Solve w - o = -2*w for w.
1
Let a = 21 + -9. Let y = a + -8. Suppose 0*o = 3*l + y*o - 44, -5*l - 5*o = -65. Solve -3*u = -7*u - l for u.
-2
Suppose 4*c = 5*q + 1, 5*q + 0*q + 4*c = 31. Solve -2*t - 10 = q*t for t.
-2
Let f(h) = -h**2 - 5*h - 1. Let u be f(-4). Suppose 4*k + u*d = 6*d + 14, -d + 27 = 5*k. Suppose -x + 14 = 2*o, -3*o + 0*x + 5*x = k. Solve c = -0*c - o for c.
-5
Let t = -6 - -9. Let x be (-4)/(-14) + 132/28. Suppose -4*z + 23 = x*l, -2*z - t*l - 1 = -7*z. Solve 0 = z*q + q for q.
0
Let d = 19 - 12. Let t be 14/(-4)*(-4)/d. Solve 0 = -0*n - t*n - 4 for n.
-2
Let o(f) = 6*f. Let p be o(1). Solve 5*x = p - 1 for x.
1
Let d be 10/(-3)*(-54)/30. Suppose 3*n + 5*y = -0*y + 6, -2*y = -d. Let c be (-22)/n + (-1)/3. Solve -8 = c*v - 3*v for v.
-2
Let j(u) = 2*u + 4. Let l be j(-3). Let v = l - -7. Let d = 10 - 8. Solve g - d*g = -v for g.
5
Let x be 40/(-100)*(-1 + 2 - 31). Solve v - x = -3*v for v.
3
Let b be (-2)/(-10) + 38/10. Suppose b = g - 0*g. Suppose 4*o - 8*o + 16 = 0. Solve -o - 12 = g*s for s.
-4
Let j be -4 + (-1 - (-6 - -4)) + 9. Solve 6*u = 4*u - j for u.
-3
Let q(h) = -16*h - 4. Let b be q(-1). Solve 4*r + b = r for r.
-4
Let t = 5 - 3. Suppose -6 = t*r, 50 = 5*f - 5*r - 25. Solve 2 - f = 2*a for a.
-5
Let n be (-5)/(-2*(-2)/(-4)). Let m = -128 - -188. Suppose 0*p + m = n*p. Solve 4*g = -0*g - p for g.
-3
Let c be (-247)/(-52) - (-2)/8. Solve 0 = c*d - 3*d for d.
0
Let x(h) be the first derivative of -h**3/3 + 7*h + 4. Let a be x(0). Solve -3*u = -a*u for u.
0
Let c be 2*2/(-4)*-3. Suppose -4*j + 5*i = -32, -5*j - 5*i + c = -2*i. Let y be 12 - (1 + 1 + 0). Solve b = j*b + y for b.
-5
Let t be (-15)/6*(-60)/25. Solve t = 2*f - 0*f for f.
3
Let v be 288/(-30) + (-2)/5. Let k = v + 14. Let c = 4 - 4. Solve c = k*y - 1 + 13 for y.
-3
Let o = -4 - -6. Suppose 4 = x - o*g - 10, 0 = -2*x + 3*g + 27. Suppose -p + 3*p = x. Solve 4*i - 14 + p = 0 for i.
2
Let r = 3 + 2. Suppose -r*d + 24 + 6 = 0. Solve -2 + d = -4*g for g.
-1
Let c = 14 + -10. Let j = -3 + c. Let x = -56 - -57. Solve j + x = d for d.
2
Suppose 1 - 5 = -2*m. Solve 0 = m*c - 3 - 1 for c.
2
Let b(a) = -a**3 + 9*a**2 - 13*a - 3. Let m be b(7). Suppose -m*y = 3*p - 9, 2*y - p = 2*p + 9. Solve y = 4*h - 5 for h.
2
Let j = 15 + -13. Solve -a - 7 + j = 0 for a.
-5
Let k be 0 + 2/(2 + -3). Suppose -3*a + 2 - 8 = 0. Let m be 4 + (6/a - k). Solve -m*b + 2*b = 0 for b.
0
Let b = 2 + -3. Let s(i) be the third derivative of -i**6/30 - 2*i**2. Let a be s(b). Solve -t = a*t + 15 for t.
-3
Let y = 13 + -8. Suppose 0*z = -2*z - 2*a - 6, z - 6 = 2*a. Solve z = -3*h + 2*h + y for h.
5
Let q be (-1)/((-3)/9*1). Suppose 12 = -2*j + t + 5, -q*j - 24 = 3*t. Let a = j - -11. Solve 2*g - 12 = a*g for g.
-3
Let z be (-7)/2*20/(-14). Solve 4*y = z*y - 2 for y.
2
Let x = -33 + 37. Solve 0 = -2*s - x - 4 for s.
-4
Let r = -16 - -20. Sol