 - 2). Solve -t - 4 = -u for t.
-1
Let w = -32 - -37. Solve 0 = -3*h - 8 + w for h.
-1
Suppose 0 = -2*j + 5*o + 3 + 10, 4*j = -5*o - 19. Let u = -2 - j. Let s = 1 - u. Solve 0 = -d + s for d.
2
Let j(c) = -c**2 + 6*c + 2. Let x be 3/(57/48 - 1). Let o = x + -10. Let n be j(o). Solve n*f = -0*f + 6 for f.
3
Suppose -4*b = -0*b - 12. Suppose 46 = -g + b*g. Let j = -10 + 18. Solve -g = -3*z - j for z.
5
Let b = 26 - 22. Solve 0 = -b*c - 0*c + 4 for c.
1
Suppose 20 = 3*h - u + 8, -u - 4 = -h. Suppose 0 = -3*c - 4*v - 20, h*v = 2*c + v - 15. Suppose c = -0*m - 2*m + 4. Solve -m*o = 5 + 1 for o.
-3
Let o be 6/4*16/(-12). Let r be o/(-3) + 3/9. Suppose -3 = -2*c + r. Solve 0 = -c*p + p for p.
0
Suppose 5*z = -z + 120. Suppose 0 = -6*p + 5*p + z. Solve -5*u - p = -u for u.
-5
Let u be 1/4 + (-7)/(-4). Let f(o) = o**3 + 7*o**2 - 2*o. Let y be f(-7). Suppose 0*i - 2*i = -3*l - 9, -y = -3*i + 4*l. Solve 0 = -0*r + u*r - i for r.
3
Suppose 4*f + 0*f - 8 = 0. Suppose -3*l + 7 = f*d, 3*d + 2*l - 18 = -d. Solve -3*q + 2 = d for q.
-1
Let u(d) = -d**2 + 25*d + 30. Let v be u(26). Solve -19 = v*c - 3 for c.
-4
Suppose -a + 3 + 1 = 0. Let t be (-1 + -1)*(-15)/6. Suppose 0*l = 3*l + t*y + 13, -a*y = -l + 24. Solve -5*b + 14 = l for b.
2
Let b(l) = -l**3 - 7*l**2 + 7*l - 4. Let d = -14 - -6. Let v be b(d). Suppose v*h - 6 = 5*u + 16, -2*u = 4. Solve -2 = i - h*i for i.
1
Let a(l) = -2*l**3 - 4*l**2 - 3*l - 2. Let w be a(-2). Solve 0*i = -w*i for i.
0
Let b(c) = 3*c**2 - 3*c - 2. Let o be b(-2). Solve t = -3*t - o for t.
-4
Suppose -4*n = -29 - 19. Solve 6*z = 3*z - n for z.
-4
Let n(g) = -g - 6. Let w be n(0). Let o be (3/(-3))/1*w. Suppose -o*p = -3*p - 9. Solve 9 = -2*t + p for t.
-3
Let g(o) be the second derivative of -337*o**4/6 - o**3/6 + 2*o. Let q be g(1). Let m be (-2)/(-8) - q/36. Solve -m - 1 = 4*j for j.
-5
Suppose 5*h - j = -0*j - 40, -30 = 5*h + j. Let a(t) = t**2 + 6*t - 6. Let z be a(h). Let d = z + -1. Solve d = v - 2*v for v.
0
Let i be ((-2)/(-4))/(1/8). Solve -2*l - 10 = -i*l for l.
5
Let l(q) = q**2 + 7*q - 1. Let a(o) = -o - 1. Let n(g) = 2*a(g) + l(g). Let v be n(-6). Suppose 0*x = v*x. Solve -y - 3*y + 12 = x for y.
3
Let j = -6 + 10. Suppose -6 = -j*n + 2. Solve -n*p - 9 = 1 for p.
-5
Let l = 18 - 9. Suppose 4*y - 2*p + 0 = 14, 3*p - l = 0. Solve 2*w + y - 1 = 0 for w.
-2
Let a = 85 + -50. Let p be ((-8)/10)/((-7)/a). Solve p*r + 25 = -r for r.
-5
Let k = -8 - -14. Let h = -6 + k. Solve h - 4 = -2*n for n.
2
Suppose b = y + 3*b - 1, 0 = -2*y + 4*b - 14. Let f = -1 - y. Solve f*x + 4 + 2 = 0 for x.
-3
Suppose -4*m + 2*w + 4 = 0, -27 = -4*m - 5*w - 9. Let g be 42/11 - 20/(-110). Let f be (-16 + -8)*(-2)/g. Solve -5*q + f = -m*q for q.
4
Suppose -5*v - 4*u - 57 = 0, 2*u = v - u + 19. Let b = -8 - v. Suppose 26 = w - 5*k + 6, 3*k = w - 20. Solve b*h + 0*h - w = 0 for h.
4
Suppose 5*u - 12 - 7 = 2*x, -5*u + 10 = -5*x. Suppose -2*g = g + 3*z - 6, -4*z - 34 = -x*g. Suppose g*w = 2*w + 16. Solve w*r - 10 = -r for r.
2
Let o = 78 + -75. Solve -5*q - 10 = -o*q for q.
-5
Suppose -21 = 11*x - 10*x. Let o = 24 + x. Solve -2*v = v - o for v.
1
Let x = -26 - -28. Solve -2*z + 3*z = -x for z.
-2
Let o(u) = -2*u + 1. Let n be o(-1). Solve -2*b - 10 = n*b for b.
-2
Let u(k) be the third derivative of -k**5/60 + k**4/24 + k**3/3 - 2*k**2. Let w be u(0). Solve -s = w*s - 12 for s.
4
Suppose d = 4 - 1. Suppose -2*u - 13 + 1 = -4*v, -d = -v + u. Solve -4*o + 11 - v = 0 for o.
2
Let f = 25 + -5. Solve j + 3*j - f = 0 for j.
5
Let i = 32 + -32. Suppose -l = -1 - 2. Solve l*x = 3 - i for x.
1
Suppose -v = 3*v. Suppose -76 = -r - 78, -5*q = -3*r - 21. Solve p = -v*p - q for p.
-3
Let m = 21 - 16. Solve m*f + 16 = f for f.
-4
Let f be (-8 - -5)*(-2)/3. Let a(d) = d + 16. Let n be a(-4). Solve f*s - 5*s = -n for s.
4
Suppose -219 = -12*i + 9. Solve -4 = 3*u - i for u.
5
Let i(x) = -x**3 + 7*x**2 - 7*x + 8. Let t be i(6). Suppose -t*m + 6*m + 4 = 0. Let o = m - -5. Solve 0 = 5*v - 1 - o for v.
1
Let c(l) = -l - 3. Let p be c(-6). Let o = 53 - -5. Suppose -h + o = 3*q, 5*q + 3*h = h + 96. Solve p*a + q = -a for a.
-5
Suppose 2*q - 19 = -4*g + 11, 0 = -3*g - 2*q + 25. Solve n = -8 + g for n.
-3
Suppose -2*h - 2*x = -18, -x + 6*x + 11 = 3*h. Suppose r = -h + 22. Let q = r + -3. Solve 0*i = 4*i - q for i.
3
Let l be (-8)/(2*-2)*6. Let w = 15 - l. Solve w*f - 2*f = -5 for f.
-5
Let r be (-18)/(-12) - 1 - (-57)/6. Suppose 0*f + 25 = 5*f. Solve -r = 5*x - f for x.
-1
Let k be 5/(15/18)*1. Suppose -3*l = -b + 6*b + k, 0 = b + 3*l + 6. Solve -3*s + 6 = -b*s for s.
2
Let w(i) = i**2 - i - 4. Let h be w(3). Let y = 12 + -8. Suppose -y*n + 6 = -10. Solve h*x + 10 = n*x for x.
5
Suppose 2*h + 0*h = 3*v - 14, 2*v - 5*h + 9 = 0. Solve 2*d = v + 2 for d.
5
Suppose 0 = 4*d + f + 5, 3*f - 11 = -2*d - 2*f. Let w(q) = -q**3 - q**2 + q. Let u be w(d). Solve u*c + 2*c = 0 for c.
0
Suppose -z - 3*p + 25 - 9 = 0, 0 = 4*z - p - 12. Solve -v + 3*v - z = 0 for v.
2
Suppose 5*o = -2*c + 30, 5*c = -3*o - 0 + 56. Suppose c*r - 20 = 5*r. Solve 0*l - l = -r for l.
4
Suppose -25 = -4*b - 5*f, -2*b + 3*b - 8 = -3*f. Suppose -s = 2, 3*x - 50 = -2*x + 5*s. Let a = x - b. Solve a*j + j = 8 for j.
2
Suppose 2*d - 8 = -5*y, 12 = 3*y + d + 2*d. Solve y = 3*g - 6*g + 12 for g.
4
Suppose 3*s = 1 - 4. Let i be 1 + 2 - (2 + s). Suppose -3*o + 10 = i*o. Solve 0 = 5*c - o*c + 12 for c.
-4
Suppose 2 = -2*k, -3*k - 1 = n - 3. Solve 27 = n*h + 2 for h.
5
Let p be (-10)/35 - (-16)/7. Let o(x) = 7*x**2 + x. Let k be o(-1). Suppose -5*u = l - 2 + 1, -5*u - 3 = -3*l. Solve k = -u*d - p*d for d.
-3
Let c(s) = s**3 + 9*s**2 - 12*s + 2. Let l be c(-10). Let h = l - 13. Suppose 2*w + w = h. Solve w = -2*n + 9 for n.
3
Let k(a) = 3*a**2 - 3*a + 2. Let v be k(1). Solve -v*x - 3*x = 0 for x.
0
Let l = -12 - -14. Solve -3*s = -l*s + 3 for s.
-3
Let a be (-4 - -5)*2 + 0. Solve 0 = -a*w - 0*w + 4 for w.
2
Suppose x = -3*x. Suppose w + 4*w - 95 = x. Suppose i + 1 = 2*c - 0*i, w = 5*c + 3*i. Solve -3*s = c*s + 20 for s.
-4
Let p(l) = -l - 10. Suppose -29 = 3*g - 5. Let a be p(g). Let x be 0/(6/a + 5). Solve 2*h + 1 + 9 = x for h.
-5
Let a = -6 + 10. Suppose 3*k - p = 2, 0*k + 5*p + 10 = a*k. Let f = 1 - k. Solve u - 2 + f = 0 for u.
1
Let z(k) = -5*k + 2*k + 4*k. Let j be z(-4). Let a = 6 + j. Solve t = -t + a for t.
1
Let h(l) = l**2 - 4. Let p be h(3). Suppose z = -p*s - 16, s = -0*s - 4. Solve 2*m + 6 + z = 0 for m.
-5
Let v(h) = h**2 + 5*h + 4. Let j be v(-3). Let a = j + -2. Let q be 4*-3*a/6. Solve 4*u + 12 = -q for u.
-5
Let g = -6 - -8. Let l be (0 - -1)/(g/10). Solve 0*h + 5*h = l for h.
1
Let x be (-23)/3 + (-2)/(-3). Let o(w) = w**3 + 8*w**2 + 6*w + 1. Let r be o(x). Let a(u) = u - 3. Let m be a(5). Solve -m*d + r = 2 for d.
3
Let s(w) = 2*w**3 - 5*w**2 + 3*w. Let d be s(2). Solve -2 = -d*r + 6 for r.
4
Suppose -11 = -5*m + 4. Let k = m + -3. Let v = 1 + k. Solve t + 6 = v for t.
-5
Suppose -u = -3*u + 4. Suppose -g + w = -6, -u*w - 7 = g + 2*g. Solve -2*m = 3 - g for m.
-1
Let m be 14/6 + (-1)/3. Suppose 7*g = m*g. Suppose g = -5*f + 3*f. Solve f*j = j + 2 for j.
-2
Suppose -2 = -3*f + 10. Solve v - 2*v = -f for v.
4
Let k(c) = -2 + 2*c - 4*c - c + c. Let i be k(-2). Solve i*s + 6 = 4*s for s.
3
Let f = -17 - -9. Let a = f + 12. Solve -a*t - 3 = -t for t.
-1
Let k be (0/(-1*3))/(-2). Let q(x) = -x**3 - x**2. Let w be q(-1). Suppose 0 = 4*d - 3*d - 3. Solve -i + k + d = w for i.
3
Let s(a) = -4*a + 34. Let r be s(8). Solve 0 = y - r - 3 for y.
5
Let m be (15/20)/((-2)/(-8)). Suppose 0 = -p + m*p. Suppose 0 = -w + 4*w - 12. Solve p*k = w*k for k.
0
Let n = 89 + -84. Solve 2*l - 1 = -n for l.
-2
Let j = 4 + -1. Suppose -2*n - j + 5 = 0. Let k(i) = i. Let q be k(n). Solve -w - 2 = q for w.
-3
Suppose -5*n - 5*s = -10, -5 + 1 = -3*n - 5*s. Solve -h + 8 = -n*h for h.
-4
Let h = -3 - -8. Let g(c) = -c**3 + 2*c**2 + 2. Let b be g(2). Suppose -3*r + 5*m = 2*r - 115, 0 = 5*r + b*m - 115. Solve 0 = h*j + 2 + r for j.
-5
Let f be (-2)/(-7) + 542/14. Suppose -49 = -2*k + 5*p, k + k - 3*p - f = 0. Suppose 3*y + k = 7*y. Solve -y*i = -4*i for i.
0
Let t be 56/(-70)*(-6 + 1). Solve 1 = 5*o - t for o.
1
Suppose 0*o - 5*o = -25. Let d = o - 3. Solve d*y - 3*y = 0 for y.
0
Let p be (-6)/((21/16)/(-7)). Suppose -r = -2*v - v - p, -3*