 r, -3*r - 14 = -2*u. Solve -u*c = c for c.
0
Let b(m) = -1. Let y(v) = 2*v. Suppose 0 = -5*o + u, -2*o + 4*u - 22 = -4*o. Let r(g) = o*y(g) + 2*b(g). Let x be r(4). Solve 0 = 2*d - x + 2 for d.
2
Let z be 38/(-9) + 6/27. Let j be -26*(2 + 10/z). Solve -j + 3 = -2*i for i.
5
Let u = 8 - 8. Suppose u = 4*r + 6 - 18. Solve -3*n = -0 + r for n.
-1
Let i be 8/(-28) - 4/(-14). Suppose 0 = b - i - 5. Suppose -b*w - 4 + 59 = 0. Solve 1 - w = -5*o for o.
2
Suppose -y - 20 = -4*q, 0*q + 5*y = 5*q - 25. Suppose -5*m = -q*v - 33 - 32, 0 = -5*m - v + 77. Solve 2*s + m = 5*s for s.
5
Let u(t) = -4*t + 2. Let y be u(-2). Let c = -3 + y. Solve c*h = 4*h + 15 for h.
5
Suppose 5*d + 4 = 6*d. Solve -b = -d*b for b.
0
Let h = 1 + 4. Suppose 5*l - 2*l - 3 = 0. Let c be -10*(-12)/8*l. Solve 4*z + c = -h for z.
-5
Let l = 17 - 32. Let q be 82/10 + 3/l. Solve -2*g + 2 = q for g.
-3
Suppose 4*h = 5*r - 10, 3*r - 6 = 2*h - 5*h. Suppose 3*a + a + 8 = 0, h = 5*x + a - 28. Let v be (-15)/(-6) + 3/x. Solve 0*c - v*c = 0 for c.
0
Suppose 4*v + 9 - 25 = -4*w, 3*v = 5*w + 20. Let p be 1/((-4)/(-20)) - w. Solve p*k = 2*k + 20 for k.
5
Suppose 3*r + s + 85 = 5*r, -4*r + 166 = 2*s. Let h be (-7)/r + 146/12. Solve -m = 3*m + h for m.
-3
Let a = -4 + 10. Solve 4*f + a = f for f.
-2
Let s be 8/6*3/1. Suppose -5*p + 14 - s = 0. Let x = -25 - -28. Solve x*z - 2 = p*z for z.
2
Suppose 0 = 4*f - 0*f. Solve -5*o = -f*o for o.
0
Let x(j) = j**2. Suppose 0 = 4*c - 1 - 7. Let d be x(c). Let l = d + 2. Solve -3*h + 6*h = l for h.
2
Let p = -11 + 19. Let t = -2 + p. Solve -t = 3*j + 6 for j.
-4
Let m(f) = -2*f + 3*f + f - 8. Suppose -10*y + 38 = -42. Let t be m(y). Solve 0 = -3*i + i + t for i.
4
Let d be (-48)/9 - 2/(-6). Let w(r) = r**3 + 6*r**2 + 3*r - 7. Let o be w(d). Solve 2*v - o = 3 for v.
3
Let b be (-7)/21 + (-28)/6. Let l be -3 - (b + 4/4). Solve -l = 2*i - 3*i for i.
1
Suppose -3*t = 4 - 16. Solve -14 = t*g + 2 for g.
-4
Let t(w) be the first derivative of -w**2/2 - 3*w + 2. Let s be t(-3). Suppose q - 3 = -s*q. Solve -q*z + z + 6 = 0 for z.
3
Let u be 4 - (4 + -6)/(-1). Let n(x) = x**2 + x - 1. Suppose 0 = 2*l - 2*s, -3*l = 2*s + 5 - 15. Let g be n(l). Solve g*q - 3 = u*q for q.
1
Let n(q) = -q**3 - 7*q**2 + 6*q - 5. Let a be n(-8). Solve a = 5*l + 1 for l.
2
Suppose -8 = -4*y + 8. Suppose -4 = -4*m + y. Solve 15 = -m*q - 3*q for q.
-3
Let g(x) = 3*x**2 - 6*x - 6. Let v be g(3). Solve 0 = 2*c + v*c - 10 for c.
2
Let y = 17 - 9. Let n = y - 3. Solve 5*j - n = 10 for j.
3
Let g(w) be the first derivative of w**2/2 + w - 4. Let l be g(6). Solve 5*m = 8 + l for m.
3
Let a be 4/26 + (-965)/(-65). Suppose -5*o + 2*o + a = 0. Solve o*d = -0*d for d.
0
Suppose 0*q = 5*q - 15. Suppose -3*t = -3*r - 3, q*r + 0*r = 5*t - 13. Solve t*b + 3 = -2 for b.
-1
Let z be 1 - (-2 + 3)*-1. Suppose 0 = -2*w - z*w - 12, -2*d = w - 13. Suppose -3*v = -d*v + 55. Solve -v = -5*o - 1 for o.
2
Let l be ((-24)/(-20))/(-3) + 96/15. Solve -l*j + j = 20 for j.
-4
Suppose -4*r = -2*r + 10, -2*r - 5 = -s. Let b be 0 - s/(15/36). Solve -3*q + 0*q = -b for q.
4
Suppose 6*s - 3*s = 15. Solve s*v + 0*v = 0 for v.
0
Let a be (2/4)/((-1)/(-4)). Suppose 0*m = 2*m - 36. Suppose 0*o = -o + b - a, 3*o + 3*b - m = 0. Solve 0 = -o*g - 2*g + 8 for g.
2
Suppose 0 = 5*g + 4*f - 21, 6*f - 17 = -5*g + 3*f. Let x be (-1)/2*(g + -1). Solve 4*u - 2*u = x for u.
0
Let g(v) be the second derivative of v**5/20 + 11*v**4/12 + 5*v**3/3 + 5*v. Let h be g(-10). Solve 4*d + 2 - 22 = h for d.
5
Suppose f + 3*l + 0*l = -1, 3 = 2*f + l. Solve -f*u = 3*u for u.
0
Let y be 5/(-1 + -2 + 2). Let i = -1 - y. Solve i*k - 15 = -3 for k.
3
Suppose 0 = 7*w - 5*w - 28. Suppose -5 + w = 3*a. Solve 0 = 5*m + 8 - a for m.
-1
Let h = 3 - -1. Suppose -1 + 5 = 2*v, r - 5*v + 10 = 0. Suppose -b + 1 = p - 0, 4*b - h*p + 4 = r. Solve -3*f - f = b for f.
0
Suppose -2*z = -6*z + 16. Let d(i) = -i**3 - 3*i**2 - 2*i. Let q be d(-3). Solve z*u - q = u for u.
2
Suppose y = 6*y + 4*k + 11, 0 = -y + 5*k + 21. Let m be 1/(2/(158/y)). Suppose 0 = -2*q + 5*i - 20 + 81, -3*q + m = -5*i. Solve -5*a + 3 = q for a.
-3
Suppose -5*m = r - 6*r - 85, 5 = m. Let y be 18/8 - r/16. Solve -y = -o - 4 for o.
-1
Let m(h) = -2*h + 19. Let x be m(7). Solve -x*i + 13 = 8 for i.
1
Let t(u) = 4*u**2 + u. Let z be t(-1). Suppose 2*i = -o - z - 0, 3 = 5*o + 4*i. Solve o*r + 0 = 12 for r.
4
Let z(r) = r**3 - 10*r**2 + 10*r - 7. Let g be z(9). Solve -g*m = -1 - 5 for m.
3
Let k(y) be the second derivative of -y**5/20 - 7*y**4/12 + 3*y**2/2 + 3*y. Let q be k(-7). Solve q*g + 5 + 7 = 0 for g.
-4
Let t = -13 + 19. Suppose -2*k + 2*z - 10 = 0, -3*k + t*z = 2*z + 20. Solve m = -k*m + 2 for m.
2
Let k = 23 - 14. Suppose 2*g + 5 = -k. Let r = 22 + g. Solve -2*y + r = 5 for y.
5
Suppose -5*q + 12 = -2*q. Suppose -5*c - 5 + 37 = q*l, -1 = -4*c + 5*l. Let y be 70/c - 3/6. Solve -5*x + y = -3 for x.
4
Let b(j) = j - 4. Let s be b(-4). Let t be 3*3*s/(-36). Solve -4*h + t*h = -8 for h.
4
Let j(f) = -f**2 + 4*f + 1. Let n be j(4). Let w = n + 1. Solve w*a - a = 0 for a.
0
Let k be 9 + (1 - 3) - 2. Suppose 3*d - k = 4. Let m = 6 + -3. Solve m*a + 9 = -d for a.
-4
Let t = 2 - 9. Let d be ((-4)/(-7))/((-2)/t). Solve 2*n - 2 - d = 0 for n.
2
Let m(k) = 2*k**2 + 6*k + 8. Let d be m(-2). Suppose 0 = -n + 3 + 6. Solve -d*p + n = 21 for p.
-3
Suppose -1 - 4 = -b. Solve m - b*m - 12 = 0 for m.
-3
Suppose 0 = -2*b - 5*x - 15, 3 = -4*b - 5*x - 12. Solve 0*w + 5*w = b for w.
0
Let q = 8 + -8. Suppose 3*t - 2*t = q. Suppose 10*m - 7*m - 51 = t. Solve 5*x = -m - 8 for x.
-5
Let d(k) = 3 - 5 + 1 + k - 4. Let r be d(8). Solve 0 = r*w - 19 + 7 for w.
4
Let x be 2*-2*(-3)/4. Suppose 0 = 2*u + x*u. Suppose 4*m + u*m - 8 = 0. Solve m*z + 25 = -3*z for z.
-5
Suppose -16 + 16 = -2*b. Let s(m) = -m**3 - 9*m**2 - 9*m + 4. Let d be s(-8). Let c = d + -7. Solve -5*i - c = -b*i for i.
-1
Suppose -3*n + 27 = c - 3, -5*c + 60 = 5*n. Let q(g) = -g**3 + 8*g**2 + 10*g - 4. Let m be q(9). Suppose 7 = m*f - 13. Solve -l - n = -f*l for l.
3
Let p be ((-14)/7)/(7/(-5) - -1). Solve g - p*g - 16 = 0 for g.
-4
Suppose 59 = -3*a - 4*k + 167, 0 = -2*a - 5*k + 79. Suppose -5*f + a = 3*w, 5*f - 2*f + 33 = 4*w. Solve -4*x = 3 + w for x.
-3
Let k = 16 + -27. Suppose 5*g = 2*g + 3*t + 45, 0 = 5*g + 4*t - 75. Let b = g + k. Solve -5*m - b = 16 for m.
-4
Let r = -14 - -22. Suppose -3*d - f = d - 2, -3*d - 4*f = -r. Solve -3*q - 6 = -d*q for q.
-2
Suppose 0 = v - 3. Suppose -3*z + 12 = 3*q, -5*q = -8 + v. Solve 8*s + 5 = z*s for s.
-1
Let q(o) = o**2 - 8*o + 8. Let k be q(6). Let a be (-45)/(-6) - 6/k. Solve -3*x = -6 - a for x.
5
Let z be ((-4)/(-10))/((-2)/10) - -22. Solve 8*m = 3*m + z for m.
4
Suppose -4*v + 5*g - g = -36, v = -g - 1. Solve -2*z = -v*z + 10 for z.
5
Let l be -4*3/6 + 2. Suppose -w + 3*w - 4 = l. Solve 9 = -w*a + 1 for a.
-4
Let f(w) = w**3 + 2*w**2 + w + 2. Let i be f(-2). Let c(v) = 2*v. Let x be c(2). Suppose x*l + l = i. Solve l*q - 5*q - 25 = 0 for q.
-5
Suppose -5*i + 69 = -2*v, -2*v = 2*v + 2*i + 174. Let c = -30 - v. Suppose 5*x + 8 = -2, 2*r - c = x. Solve 0 = p - 6*p + r for p.
1
Suppose 4*l + 5 = -b - l, 4*l = -2*b + 20. Solve 6*u = 2*u + b for u.
5
Let b(o) = 6*o**3 + 2*o**2 - 1. Let d be b(1). Suppose -2*x - 10 = -d*x. Solve 0 = -x*n - n + 12 for n.
4
Let b be 6 - -2*(1 - 0). Let c be (-2)/8 - (-2)/b. Suppose 3*l + 2*l = c. Solve l = o - 4*o + 15 for o.
5
Let z(d) = 3*d. Let t be z(-2). Let g(j) = j**3 + 7*j**2 + 4*j + 3. Let a be g(t). Solve -3*k + 0 = a for k.
-5
Let g(j) be the first derivative of j**4 + 2*j**3/3 - j + 1. Let b be g(1). Solve 3 = b*h + 8 for h.
-1
Suppose 0 = -4*y - 0*y + 8, -v + 10 = 4*y. Solve -1 - 3 = v*c for c.
-2
Let j = -15 + 15. Suppose 6 = u + 1. Solve -b - u = -j*b for b.
-5
Let k(i) = -i**2 + 0*i - 8*i - 6 + 2. Let a be k(-6). Solve -a = -3*x + 1 for x.
3
Let w be 78/15 - (-2)/(-10). Suppose p - w*p - 12 = 0. Let c be (-4)/(p*4/6). Solve -3 = -c*f + f for f.
3
Suppose -98*y = -102*y. Let g(k) = k**3 - 7*k**2 - 5. Let j be g(7). Let p be ((-4)/j)/(2/5). Solve p*w + 4 = -y*w for w.
-2
Let h be 4 + -5 + 0 + 1. Suppose 0*w + 2*w = 8. Let x = 7 - w. Solve r + 0 - x = h for r.
3
Let d be (3 - (3 + -2)) + -1. Solve -3*y = -d - 2 for y.
1
Let l be (-8)/10*105/(-14). Suppose -3*z = z - 4. Let u = 