- 21 = -m. Let s = g + -2. Solve -2*f + f - s = 0 for f.
-3
Let u(g) = -g**2. Let m be u(2). Let z be 2/m*-8*1. Solve -z*n - 9 = -n for n.
-3
Let z = 6 + -5. Solve -2*d + z + 5 = 0 for d.
3
Let a(p) = p**2 - 14*p + 14. Let u be a(13). Suppose l = -u + 10. Solve 0 = -3*w + 3 - l for w.
-2
Let s(i) = 0 + 1 + 4*i - 5*i. Let a be s(2). Let r be (a - -2)*0/2. Solve 0 = -3*l - r + 12 for l.
4
Let s be 0*-1*2/(-4). Let y(r) = -r - 10. Let l be y(-12). Suppose -3*g + l*g = -4. Solve -g = -4*o - s for o.
1
Let h(i) = -i - 1. Let k(z) = z. Let u(t) = h(t) + 4*k(t). Let v be u(1). Let j = v - -1. Solve 0 = b + 2 - j for b.
1
Let g = 8 + -8. Let r(b) = b**2 + g*b**3 + 4 + 2*b**2 - b**3. Let u be r(3). Solve -d - 15 = u*d for d.
-3
Let a(h) = -h**3 + h**2 + 2*h. Let j be a(2). Let i = -2 - -6. Suppose -z - 3 = -i*z. Solve j = -y + 2 + z for y.
3
Let p be (11 - 2/1)/(-1). Let w = 9 + p. Solve 4*u - u + 3 = w for u.
-1
Suppose -5*s + 35 = -15. Solve -x - x + s = 0 for x.
5
Let z be 2*(3/(-6) - 0). Let u = z - -5. Let d = -11 + 23. Solve c - u*c + d = 0 for c.
4
Suppose 40 = 5*v + 10. Solve -6*l + 8*l + v = 0 for l.
-3
Suppose 6*k + 10 = 2*j + k, -k = 0. Let o = 2 + -2. Solve -j*h + o*h = 0 for h.
0
Let t(r) be the first derivative of -r**2/2 - 5*r + 1. Let f be t(-6). Let j be 0*(f/(-2) + 1). Solve 2*z - z = j for z.
0
Suppose 3*m = 8*m. Suppose m = -4*j + 37 + 3. Solve j = z + z for z.
5
Let k be (-2)/(-16) - 1/8. Solve k = 5*n - 7 - 13 for n.
4
Suppose 2*s = 4*s - 14. Suppose 9 = 3*u + 3*z, -4*u - z + 2*z = -s. Solve r - u = -0*r for r.
2
Let k(p) = -p**2 + 6*p - 2. Let c be k(5). Solve 1 = -2*y + c for y.
1
Let f(k) = -4*k + 13. Let y be f(2). Solve y*z - 22 = 3 for z.
5
Let k = -18 + 27. Solve k = -q - 2*q for q.
-3
Let w(i) = i - 17. Let z be w(10). Let g = z + 10. Solve 5*s = 2*s - g for s.
-1
Let j be 6/27 + (-572)/(-18). Suppose 17 = 2*p - u, 3*p - 7*p + 4*u + j = 0. Solve -4*t + p = -11 for t.
5
Let u = -14 - -8. Let v = 7 + u. Solve -2*d - v = 9 for d.
-5
Suppose 4*r - 18 = 2*p, 5*r + 4*p = r + 12. Suppose 4*c = -4*i + r, -i + 4*c - 5 = -11. Solve x = i*x for x.
0
Let p be 4/(-10)*(0 + 15). Let r = -3 - p. Let q = -3 + 7. Solve -q*u + u = r for u.
-1
Let b = -8 - -8. Let n = -80 - -155. Suppose 0 = 6*g - g - n. Solve -u - 2*u + g = b for u.
5
Let g = -7 + 7. Let m = g + 5. Suppose j = 5*a - j - 10, 15 = m*a - 3*j. Solve a = 5*k + 21 - 1 for k.
-4
Let f = -5 - -8. Let h = f + -3. Solve h*g - 1 = g for g.
-1
Suppose -8*z - 18 + 18 = 0. Solve 2*p - 4 + 12 = z for p.
-4
Let r = 23 + -18. Solve -r*x + 8*x = -6 for x.
-2
Suppose 0 + 2 = 2*g. Let k = g - -6. Solve 5*s = 3 + k for s.
2
Suppose 5*t - t - 148 = -4*g, 5*t + 121 = 4*g. Suppose -5*c + o + 10 = -4*o, -g = -5*c - 3*o. Let h = c + -3. Solve -h*x - 15 = 3*x for x.
-3
Let n be 45/10 + 3/2. Suppose -15 = -n*v + 3*v. Solve 0*q - 5*q - v = 0 for q.
-1
Suppose 0*f = f - 2. Suppose 174 = 4*a - f*x, -2*a + x - 85 = -4*a. Suppose 5*p + 2 = 4*q - a, 3*q - 20 = p. Solve q*k - 12 = -2 for k.
2
Suppose -3*z - 4*t - 1 - 2 = 0, 0 = 3*z + 5*t. Let x = z + 13. Let n be 5/4 - 2/x. Solve 7 + n = 2*j for j.
4
Suppose -2*v + 7 = 4*y + 3, -4 = v. Let q be (-24)/((0 - 2) + 1). Suppose -6*t = -3*t - q. Solve s - t = y*s for s.
-4
Let p be (1/(-2))/((-3)/6). Let v = 38 - 24. Suppose 22 = 5*g - 3*z, 3*g - 2*z + z = v. Solve 3*q + g + p = 0 for q.
-2
Suppose 4*x = 4, 4*b + 3*x + 5 = 4*x. Let h = b + 3. Solve h*i + 3*i = 15 for i.
3
Let z be 128/20 - (-2)/(-5). Suppose r + 18 = 2*a - z*a, -4*r = -3*a - 23. Suppose 3*o = -r*o. Solve 0 = -2*f - o - 10 for f.
-5
Let q(j) = -j - 4. Let g be q(-5). Let f(t) = 5*t**3 - t**2 + 3*t - 2. Let h be f(1). Solve -3*u - h = g for u.
-2
Suppose 0 = -5*q - 4 + 29. Solve -18 = q*z + 7 for z.
-5
Suppose 3*w + 5*t - 4*t = 8, 0 = 3*w - 2*t - 2. Solve 0 = -6*y + w*y - 8 for y.
-2
Let z be ((-2)/(-2)*4)/(-1). Let h(l) = -l - 3. Let u be h(-7). Let k = u + z. Solve -3*c = -k*c + 12 for c.
-4
Suppose m - q - 27 = -6*q, -4*m = -2*q + 2. Suppose 0 = 3*n - 1 - 2. Suppose s - 5 = -n. Solve -s = -0*p - m*p for p.
2
Suppose 5*j - 1 = k, 3*k - 35 + 5 = 4*j. Solve -5*p + 11 = -k for p.
5
Let g = 2 + -1. Let o(w) = 6*w**3 - 2*w**2 + 2*w - 1. Let m be o(g). Let b = -5 + m. Solve 5*y = -b*y + 20 for y.
4
Let a(g) = -g**2 - 7*g - 3. Let u be a(-6). Suppose 0 = -u*p + 3*r - 2 - 1, 2*p + 5*r = 26. Solve 2*q - p = 5 for q.
4
Let v(j) = -j**2 + j + 4. Let s(d) = 38 + d - 38. Let y(q) = -5*s(q) + v(q). Let b be y(-4). Solve b = -c + 1 for c.
-3
Suppose 3*k + 2*k - 10 = 0. Suppose 0 = f - v + 2, -f + k*v - 7 = -0*f. Let y be (-2)/4*-2*2. Solve y - 5 = -f*b for b.
1
Let o = 1 + -11. Let i be (o/(-8))/(1/12). Solve -i = -4*f - f for f.
3
Let z be (-6)/(-9) + (-6)/9. Suppose z = s + 4*s - 125. Solve -3*g = 2*g + s for g.
-5
Suppose -i - o = -6*o + 14, 4*i - 19 = -5*o. Suppose -3*c + 4*b = 3, 5*b = -4*c - 0*b + 27. Let y be c/((-3)/(0 - 3)). Solve 4*s - y = i for s.
1
Let y = 8 - 4. Suppose 5*n - 28 = 2*j + 51, 0 = -y*n + 5*j + 70. Solve -4*r = n - 3 for r.
-3
Suppose -2*l = -7 - 3. Suppose 7 = k + l. Solve -k*f - 15 = f for f.
-5
Suppose -3*o + 3 - 6 = 0. Let k be (-8 - -8)/(o*1). Solve 0 = -k*a - 2*a - 6 for a.
-3
Let u be ((-30)/(-18))/((-1)/(-3)). Suppose -2*t + 3*b = -11, u*b - b = -3*t + 8. Solve -t = 5*p + 1 for p.
-1
Let c = -1 - 0. Let b = 1 + c. Let z be ((-4)/(-10) - b)*10. Solve 10 + 6 = z*q for q.
4
Suppose 0 = 3*d - 0*d - 18. Suppose -4*p + d*i = i - 7, -2*p + 7 = i. Suppose 0 = -0*b - p*b. Solve 0 = -b*n + n - 3 for n.
3
Suppose -5*v - d = d - 7, -5 = v + 2*d. Solve v*n - n = 0 for n.
0
Suppose -d + 0 = -8. Let k(z) = z - 4. Let w be k(d). Solve -x = w*x - 10 for x.
2
Suppose 0 = -2*t + t + 4. Let b(s) = -s - 3. Let l be b(-5). Let w = t + l. Solve 0 = 2*k + w + 2 for k.
-4
Let b = -24 + 37. Let d = b - 13. Solve d = 5*f + 10 for f.
-2
Suppose -2*l = 4*t - 28, 2*t + 2*l - 4*l = 2. Suppose 2*v = -2 - 10. Let f be 4/6*(-45)/v. Solve -2*m - t = f for m.
-5
Let m = 94 - 92. Solve -z + m = 5 for z.
-3
Let t be ((-18)/15)/(6/30). Let b = 9 + t. Solve p + b = -2*p for p.
-1
Let g(z) = 2*z**3 - 2*z - 1. Let q be g(-1). Let o be ((0/2)/q)/2. Solve o = 2*h - 3*h + 4 for h.
4
Let g be -1 + 1 + -2 - -2. Suppose g = -2*q + 8 - 2. Let i = -16 + 22. Solve o - i = q*o for o.
-3
Let j(s) = 11*s + 0 - 3*s**2 + 2 + 2*s**2 + 4. Let x be j(11). Solve 2*n - x*n - 16 = 0 for n.
-4
Let a be 2/(-5)*(4 + 1). Let r be 13 + (-1 - a) + -1. Suppose -8 = -2*o + 2. Solve o - r = -4*x for x.
2
Let a(o) = o**3 + 9*o**2 - o + 6. Let g be a(-9). Let y be ((-12)/(-18))/((-4)/(-6)) - -1. Solve -y*s + g = s for s.
5
Let k = 15 - 13. Solve 4*w = k - 10 for w.
-2
Suppose -43 = -2*d - f, -3*d + f + 104 = 2*d. Suppose -3*s + d = -g, 0 = -2*g + 4*g. Suppose 0 = -2*q - 2, 2*i = 3*i - 3*q - 23. Solve s*z + i = 2*z for z.
-4
Let d be (-6)/4*-4*1. Solve -10 = -n + d*n for n.
-2
Let c(z) = -z**2 + 10*z. Let k be c(10). Let x(h) = -h + 10. Let f be x(5). Suppose 5*b = f*o - 50, k = o + 2*b - 4*b - 15. Solve o*u = u + 12 for u.
3
Let a(x) be the second derivative of -x**3/6 + 6*x**2 - 6*x. Let m be a(9). Solve m*c - 3 = -0 for c.
1
Suppose -5*j - d = -10 - 43, -5*j - 5*d = -45. Let g(l) = 2*l**2 + 2*l - 2. Let i be g(-2). Suppose u - 15 = -i*u. Solve -u*y + 14 = -j for y.
5
Suppose -6 = 17*x - 23*x. Solve 4*h = x + 7 for h.
2
Let x(v) = -1 - 3*v - 5*v**3 + 4*v**3 - 12 + 7*v**2. Let a be x(6). Let s(i) = i - 1. Let b be s(3). Solve -3 = -a*f + b for f.
1
Let v(z) be the second derivative of -z**4/12 - 5*z**3/6 - 2*z**2 - 2*z. Suppose 4*x + 8*n = 3*n - 7, 0 = -5*n + 5. Let y be v(x). Solve 6 + y = -4*g for g.
-2
Let z(v) = -v + v**2 - 5 - 2*v - 2. Let t be z(5). Suppose 2*q - 4 = -0. Solve 5*f - t*f = q for f.
1
Suppose 2*x + 10 = 2*v, 3*v - 2*x - 19 = 3*x. Suppose v + 5 = 2*z. Solve 0*i - 4 = z*i for i.
-1
Suppose 5*h - 4 = 3*h. Suppose 2*z = -z + 51. Solve -h = 3*m - z for m.
5
Suppose -3*o + 11 + 7 = 0. Solve -2*p = -4*p - o for p.
-3
Let c = -23 + 29. Solve h = -h - c for h.
-3
Let k(c) be the first derivative of -c**2/2 - 13*c - 7. Let n be k(-14). Solve -2*g + n = 5 for g.
-2
Let l be (2 - 1)/((-8)/(-40)). Let b = 8 - l. Solve -2*y = -b*y for y.
0
Let i(u) = -u**2 + 14*u + 18. Let y be i(15). Suppose 9 = c - y*c - 5*z, -4*c + 4*z + 24 = 0. Solve 