 be w + (0 - 2) + 1. Solve t*j = -0*j + 8 for j.
4
Let m = -2 + 5. Let v = m - 3. Let z be (v + -6)*5/(-5). Solve x = -2*x + z for x.
2
Suppose -4*n + 16 = 8. Suppose x + 1 = -6. Let b = x + 11. Solve 0 = -n*v + 6*v - b for v.
1
Let g be ((-8)/(-14))/(2/7). Solve -l = -g - 3 for l.
5
Suppose -6 = 2*t + t. Let o = t + -3. Let u(y) = y + 5. Let h be u(o). Solve h*m + 3*m + 6 = 0 for m.
-2
Let o(r) = 2*r**2 + 3*r - 1. Let n be o(-3). Solve -2*u + 0 = -n for u.
4
Let w be 15*(1 + 6/(-9)). Let t be (-13)/(-5) - (-2)/w. Suppose -t*x = -6*x. Solve 0 = d - x*d + 2 for d.
-2
Let n be (-16)/40 + (-24)/(-10). Suppose 2*v = n*t, -3*t - 3 = 3. Let h be 2/4 + (-5)/v. Solve 15 = h*u - 6*u for u.
-5
Suppose -y = 4*y - 20. Solve 0 = -0*v + y*v for v.
0
Let q(z) = z + 9. Let s be q(-6). Suppose -s*r + 10 = 2*r. Suppose -r*b + 5*f = 1, 0*b - 2*f = 2*b - 34. Solve 2*w + b = 4 for w.
-4
Let n(u) = -16 + u**2 - 4*u**2 - 13*u + 2*u**2. Suppose -5*o - 35 = 5*c + 40, o - 4*c - 5 = 0. Let y be n(o). Solve -15 = 3*a - y*a for a.
5
Let d = 4 - 1. Let q = d + -11. Let p(x) = -x**2 - 8*x. Let m be p(q). Solve l - 4 + 1 = m for l.
3
Suppose 0 = -m + 1 + 15. Let v = m - 9. Let d(l) = -l + 7. Let b be d(6). Solve 3*p = -b + v for p.
2
Suppose 0 = -2*b + 6. Solve 0 = -b*p - p for p.
0
Let i(q) = 2*q**3 + 2*q**2 - 2*q + 1. Let o be i(1). Solve -10 - 2 = -o*f for f.
4
Suppose 29 + 11 = 5*v - 4*x, -3*x = 0. Suppose 0 = 2*k - 2 - 2. Let t be ((-2)/(-4))/(k/v). Solve h - t + 4 = 0 for h.
-2
Let m(f) = -f**2 + 5*f - 4. Let i be m(3). Suppose -10 = h - i*h. Solve 2*p - h = -2 for p.
4
Let f be 4 - (4/(-1) - -6). Solve -5 = f*d + 3 for d.
-4
Suppose 0 = l + 3*u + 14, 2*l - 3*u + 28 = -u. Let i = -8 - l. Solve 18 = -4*v + i for v.
-3
Let s = 4 + 0. Suppose 0 = s*q + 22 + 6. Let k = -2 - q. Solve -k = -2*p + 3 for p.
4
Let b(l) = l**3 - 3*l**2 - 6*l + 9. Let t be b(4). Solve -h - 4 = t for h.
-5
Let g = -146 + 154. Solve -3*u + u + g = 0 for u.
4
Let n(h) = h**2 + 5*h - 4. Suppose 2*l = -8*s + 5*s - 12, s + 18 = 4*l. Let g be n(s). Solve -5 + g = -q for q.
3
Let j(q) = -q - 3. Let u be j(-8). Suppose 3*r = -5*p - 0*r + 20, 10 = u*p + r. Let k be 12 + 0 + -1 + p. Solve 3*x - 3 = -k for x.
-3
Let s = -1 - -9. Solve -s = -o + 5*o for o.
-2
Let n(p) = 2*p + 12. Let q be n(0). Suppose -2*i = -0*i + 8, -i = j + 4. Solve -d - 2*d + q = j for d.
4
Let a = 0 + 5. Suppose -a*f = -8*f - 24. Let b = -5 - f. Solve -15 = -b*u - 0*u for u.
5
Let f = -17 + 19. Solve b - f = 3*b for b.
-1
Suppose 5*r + 10 = -2*w, 6 = -3*w - 5*r - 4. Suppose -5*z = -w*z. Solve d = -z*d for d.
0
Let q = 10 - 5. Let x(y) = -y**3 - 5*y**2 + 2. Let m be x(-5). Suppose -i - q = -m*i. Solve -o + 2*o + i = 0 for o.
-5
Suppose -4*v = -2*g - 14, -4*v = v + g - 21. Suppose 2*k = -2, -2*i = v*k + 8 - 2. Let h = i - -3. Solve -h*s = s - 3 for s.
1
Let v be 5/((-20)/(-12)) - -1. Suppose 5*z + 3*y - 20 = 4*y, 16 = v*z + 3*y. Solve z*i = -6 + 2 for i.
-1
Let q(h) = h**2 + 10*h - 11. Let c be q(-11). Let w(n) = -n**3 + 6*n**2 - 3*n + 5. Let r be w(4). Solve c = -0*f + 5*f - r for f.
5
Let v(u) = 4*u - 3. Let c be (8/(-14))/(4/(-14)). Let f be v(c). Solve y = -4 + f for y.
1
Suppose -a - 25 = -6*a. Solve a*m = -1 - 9 for m.
-2
Let u(t) = 2*t**2 - 3*t - 2. Let r be u(3). Suppose -2*g = -6, 2*n + 0*g = 5*g - r. Suppose 0 = 4*v + n*f + 8, -3*v = -8*v - 2*f + 5. Solve -z + v = -4*z for z.
-1
Let u(x) = -x**3 + 2*x**2 + 9*x - 4. Let c be u(4). Solve 4*q + q - 10 = c for q.
2
Let r(k) = -k**2 + k + 2. Let s be r(-1). Solve -2*q + s*q = 8 for q.
-4
Let q be 4*(-5 + 3 + 3). Solve 0*a = -q*a - 20 for a.
-5
Suppose 0 = 2*h - 3*h + 70. Suppose h + 10 = 4*y. Solve 0*l + y = 4*l for l.
5
Suppose 0 = 19*v - 21*v + 10. Suppose 0*a + 4*a = 4. Solve a = -v*p - 4 for p.
-1
Suppose -2*j = 2*j. Suppose -3*m - 2*m = 15. Let d be j + (-1)/(1/m). Solve -d*n = -6*n + 6 for n.
2
Let h be (2 - 1) + -5 + 6. Let i = -2 + 8. Solve 0 = -v - h + i for v.
4
Let r(j) = -3*j + 0*j - j. Let f be r(1). Let o = 1 - f. Solve -k = -o - 0 for k.
5
Let x be (-4)/(-16) - 35/(-4). Suppose -4*t = -x - 3. Solve 0*h + t*h = 0 for h.
0
Let h(m) = -m**3 - 3*m**2 - 3*m + 3. Let q be h(-3). Suppose 2 + 6 = 4*s. Let z be (0 - 5/(-2))*s. Solve 0 = 2*j - z*j + q for j.
4
Suppose 0*o - 2*o + 18 = -4*c, -30 = -5*o - 5*c. Solve -5*t - 22 = -o for t.
-3
Let s(z) = z**3 + 6*z**2 + 3*z - 7. Let p be s(-5). Suppose 0 = -y + 5*g + 13, 0*y - 2*y = 3*g. Let h = p - y. Solve h*k = -3*k + 9 for k.
3
Suppose -r = -a - 11, 3*r + r - 40 = 3*a. Let t = -7 + r. Solve -2*u + 5*u + 3 = t for u.
-1
Suppose -92 = -3*t - 2*a, 0 = -3*t - 2*a + 7*a + 106. Suppose -t - 48 = -5*v. Solve 0 = 4*x - 0 - v for x.
4
Let r be (-2)/(33/(-9) - -3). Suppose -r*h + 2 = -h. Solve 3*l + 4 = h for l.
-1
Let u(s) = 3*s**2 - 2*s - 1. Let q be u(-1). Solve g + q = 3*g for g.
2
Suppose -j - 4*j - 10 = 0. Let v = 71 - 51. Let n = j + v. Solve 7 = 5*i - n for i.
5
Let r be (3 - 0)*(-12)/(-9). Let n = 8 - r. Solve -4*l + 4 + n = 0 for l.
2
Let n(h) = -h**2 - 4*h + 5. Let z be n(-5). Solve -3 = -z*b + 3*b for b.
-1
Suppose 4*s + 2*f - 8 = 0, 2*s - 5*f = 1 + 27. Suppose 0 = 7*p - 4*p - 45. Solve -x = s*x - p for x.
3
Suppose 2*x = t + 25 + 10, -4*x = 3*t - 95. Let a(y) = -y**2 + 7*y - 2. Let n be a(6). Suppose 5*d - o - 6 = -2*o, 2*d - n*o = x. Solve -i + d*i - 2 = 0 for i.
2
Let v be 1/((-2)/(-4)) - 7. Let r be (-3)/(-1) + v/(-5). Solve r*j = -j - 10 for j.
-2
Let j = 6 + -1. Let w(f) = -f**3 + 5*f**2 + 2*f - 5. Let r be w(j). Solve r = -4*x + 25 for x.
5
Suppose -5*d - 1 = -4*a, -a - 4*a + 17 = -d. Solve -8 = a*h - 2*h for h.
-4
Let y = -26 - -31. Suppose 0 = -9*p + y*p + 40. Solve -1 = 3*u - p for u.
3
Let h(k) be the third derivative of k**5/60 - k**4/24 + 2*k**3/3 - 2*k**2. Let y be h(3). Suppose -y = -3*r + 8. Solve 3*x = x - r for x.
-3
Let i = 4 - 6. Let f = 6 + i. Solve 0*k - f = -2*k for k.
2
Suppose 4*r = i + 11, -3*i - 5 = -4*r + 4. Solve 0 = -5*z - i - 4 for z.
-1
Let f(j) = j**3 - j**2 - j + 3. Let l be f(0). Solve 0 = v + l - 4 for v.
1
Let s(a) = a + 13. Let d be s(-10). Solve -h - 4 = d*h for h.
-1
Let j = -1 - -4. Let k be ((-30)/36)/(2/(-12)). Solve k*v = 4*v - j for v.
-3
Let l = -4 - -6. Let y = -2 + 4. Solve 4*p = l*p + y for p.
1
Let w be 2 - (-2 + 2)*1. Suppose 0 = 5*t - 3*r + 15, -10 = w*t - 5*r + 3*r. Suppose 0 = -t*o + 3*o. Solve o = 4*c + c - 10 for c.
2
Let i be (-2)/((-16)/6 - -2). Suppose 3*b - 19 + 4 = 3*d, 0 = -i*b + 5*d + 15. Solve -5*s + 0*s + b = 0 for s.
1
Let d be 4 + 7 - 3/(-3). Solve 3*m + m - d = 0 for m.
3
Let l(s) = -2*s - 10. Let u be l(-8). Let a(v) = -v**2 + 5*v + 8. Let z be a(u). Solve 0 = -z*d + 2 + 2 for d.
2
Suppose -15 = -4*j + 3*d - 6*d, -25 = 5*j - 5*d. Suppose -3*b - 12 = -2*s, 5 = s + 4*b + 21. Solve -2*r + s*r = j for r.
0
Let f = -9 + 13. Solve f*c - 24 = -8 for c.
4
Let l(j) = -10*j. Let u be l(-1). Solve i - u = 3*i for i.
-5
Let z = -1 - 4. Let c be (2 - 3)*z - 2. Solve 0 = -c*a + 5 - 2 for a.
1
Suppose s = -2*n + 24, 4*n - 58 = n + 4*s. Solve -n = 2*x - 16 for x.
1
Let r(b) = -b**2 - 6*b + 10. Let f be r(-7). Suppose 5*k = 2*k + f. Solve 2*d = k - 5 for d.
-2
Suppose n + 1 = r + 5, -10 = -2*n + 3*r. Suppose -n*d + 2 + 12 = 0. Let t be 1/(1 - (-1)/(-2)). Solve 3*p - d = t for p.
3
Suppose 4 = 5*g + 29. Let o(u) = u + 5. Let i be o(g). Suppose 5*w = s + 2*s + 9, 5*w = 2*s + 6. Solve w = -3*f - i*f for f.
0
Suppose 2*z - 88 = 4*t, t - 3*t = -3*z + 112. Suppose -z = 5*o + 1. Let j(i) = i**2 + 7*i + 3. Let n be j(o). Solve n*h - 5 = 1 for h.
2
Suppose 2*y + 5*w - 50 = 0, -4*y - w + 62 = -y. Solve 7*h - 2*h + y = 0 for h.
-4
Let p = -9 - -17. Suppose 5*m - 15 = -0*m. Solve -m*r = -r - p for r.
4
Let a(y) = -y - 4. Let v be a(2). Let h be 3/6 + 3/v. Solve 0*q + 4*q - 20 = h for q.
5
Suppose -5*n - 3*a + 4*a + 44 = 0, -4*n + 3*a + 44 = 0. Solve 0 = -3*t - 7 - n for t.
-5
Let o(r) = -r**3 + 17*r**2 + 5. Let a be o(17). Solve 1 = a*p + 11 for p.
-2
Suppose -5*q + 16 + 9 = 0. Suppose -2*f + f + 17 = 5*h, 7 = -2*h - q*f. Solve 0 = -h*y - 0 - 4 for y.
-1
Let g be 3/((-64)/76 + 1). Let z = -17 + g. Solve 0 = z*t - t + 1 for t.
-1
Suppose 0 = -4*k + 5*k + 4, 3*c - k = 4. Suppose -4*x + t + 57 = c, 3*t = -2*t - 5. Let z = 30 - x. Solve -4*a - z = 4 for a.
-5
Suppose -3*q = -2*q + 7. Let