+ t - 5 = 0 for v.
-1
Let k be -2 + 3 + 4 + -7 + 2. Solve -z - 3*z = k for z.
0
Suppose 5*y - 2*o - 32 = o, -5*o = -y + 24. Solve -3*s = -s - y for s.
2
Suppose 0 = z + 2*z + q - 8, 0 = -3*q + 15. Let p be 26/(-39) + (-8)/(-3). Suppose 3*k = -5*d - 11, 4*k + p*d = 5*d + 24. Solve k*i = -13 + z for i.
-4
Suppose -5 = -3*z + 5*k + 24, 7 = z - k. Solve -c + 2 = -z*c for c.
-1
Suppose 7*r = 3*r - 3*m + 99, -4*m = -5*r + 116. Solve -r = 4*z - 4 for z.
-5
Suppose p - 2 - 3 = 0. Suppose p*z = -0 + 10. Solve -6 = z*b - 0*b for b.
-3
Let d(j) = -j + 1. Suppose -5*a = -4 + 9. Let f be d(a). Let l = 4 - f. Solve -l*x = -15 + 5 for x.
5
Let k = 2 + 2. Solve -v + k = v for v.
2
Let o(s) = 13 - 2*s - 13 + 4*s. Let a be o(1). Solve 0 = a*i - 7 - 1 for i.
4
Suppose -4*s + 9 = u, u - 5*s = -0*u - 36. Let f = -4 - u. Solve 3*q = -2 - f for q.
-3
Let v(k) = 3*k + 1. Let i be v(1). Let y(r) = -r**3 + 7*r - 17*r + 8 + 10*r**2 + i. Let n be y(9). Solve -n = -5*g + 2 for g.
1
Suppose 4*b = -4*m, -12 = -3*b + 3*m + 12. Suppose 0 = 2*r + 10, 2*f - r - 18 = -5. Let t be (-1)/3 + 14/6. Solve f*p + b = t*p for p.
-2
Let m = 75 + -70. Let q(v) = v**3 + 4*v**2 - 6*v - 2. Let t be q(-5). Solve -m*w - 2 = t for w.
-1
Suppose 0*f - f = 0. Let n be 3/(-2)*(-2 - f). Suppose 0*z - 32 = -4*z. Solve -5*j - z = -n*j for j.
-4
Suppose -4*q + 5 = m, 5 = -m + 4*m + 2*q. Suppose p + 0 + m = 0. Let o = 1 + p. Solve -2*a + 7 + 1 = o for a.
4
Suppose g = 7*l - 4*l - 30, 10 = l - 5*g. Let b = -5 + l. Let n = b + -4. Solve -3*s + n + 2 = 0 for s.
1
Let y be -2*(-2)/(-8)*16. Let c(m) = -m**3 - 8*m**2 - m - 8. Let x be c(y). Let z(l) = l**3 + 4*l**2 + 2*l - 1. Let n be z(-2). Solve x + n = -3*i for i.
-1
Let t be 48/22 + 2/(-11). Let x be (20/(-2))/((-4)/t). Solve -x*l - 5 = 5 for l.
-2
Let t(g) = -2*g + 6. Let m be t(2). Suppose 0 = 2*q - 2*p - 4, 4*q + 4*p = 9*q - 7. Let y = q + 1. Solve m*w = -y*w for w.
0
Suppose 3 = m + 4*h + 21, -3*m + h + 11 = 0. Let t be m/7 - 76/(-28). Solve 0 = -t*w + 6*w + 9 for w.
-3
Let l be 0/(4*(-1)/(-4)). Solve l*x = -2*x for x.
0
Let d(j) = 3*j - 1. Let y = 3 - 2. Let n be d(y). Let t(f) = f**3 - 3*f**2 + 3*f - 2. Let r be t(2). Solve r = n*v - 5*v + 3 for v.
1
Let q(h) = h + 17. Let k be q(0). Let b = k - 12. Suppose -4 - b = -3*l. Solve 0*r - 12 = -l*r for r.
4
Let h be 3 + 0 - (-7)/(-28)*0. Solve -h = -0*m - 3*m for m.
1
Let n = -22 + 25. Solve -q - 4 = n*q for q.
-1
Let b be (-1 + 0)/(1 - (-18)/(-15)). Let x be 4*(-2 - 11/(-4)). Suppose -x = -l - 0. Solve -b - 4 = -l*j for j.
3
Let z be -1 + -1 + 0 - -15. Suppose -4*b = -5*b - z. Let r = 18 + b. Solve 0 = -5*x - r - 5 for x.
-2
Suppose 2*o - 1 = 5. Solve -o*t - 2 = 4 for t.
-2
Let o = -50 - -50. Solve o = -z - 2*z - 6 for z.
-2
Suppose -5*u - 3*h = -9, 5*u - h - 1 = -4. Suppose -2*z + 4*t = 0, u = -0*z - 5*z - t. Solve z = -5*i + 5 + 15 for i.
4
Let m(t) = t**2 - t - 5. Let a(c) = 1. Let r(g) = -a(g) - m(g). Let x be r(0). Solve 0*h - x = -4*h for h.
1
Suppose -3*l + 35 = 2*l. Suppose -l*v + 2*v = -20. Solve 15 = v*h + 3 for h.
3
Let c(s) be the first derivative of -s**4/4 - s**3/3 - s**2/2 - s + 1. Let o be c(-2). Let u(m) = -4*m - 1. Let g be u(-1). Solve o*x + 22 + g = 0 for x.
-5
Let a(o) = o**3 - 4*o**2 - 4*o - 5. Let k be a(5). Solve k = m + m - 10 for m.
5
Let t = 26 + 3. Suppose 0 = 4*j - t - 23. Let r = -9 + j. Solve -8 = r*x - 0 for x.
-2
Let x(m) = m**2 + 9*m + 22. Let l be x(-6). Solve -4 = 4*r + l for r.
-2
Let j(c) = -11*c - 19. Let s be j(-2). Solve s + 1 = b for b.
4
Let q = 7 - 5. Solve -d = -1 - q for d.
3
Let k(f) = -8*f**3 + f. Let u be k(-1). Solve -19 + u = 4*b for b.
-3
Suppose -3*x + 0 = -4*g + 1, 3*x - 27 = -3*g. Let v = 6 - 6. Suppose v = 2*c - 0*c. Solve c = -4*h - 0 - g for h.
-1
Suppose 0*o - 3*o - r = 1, 2*o - 4*r - 4 = 0. Solve 4*w + o*w = -12 for w.
-3
Let f(s) be the third derivative of s**6/120 + s**5/20 - s**4/24 - s**3/6 - 3*s**2. Let n be f(-2). Let t be 3/(-15) + 126/n. Solve 3*g + t = -2*g for g.
-5
Suppose 11 + 5 = 4*t. Solve t = -v - 1 for v.
-5
Suppose -2*p = -4*p + 12. Suppose 12 = n - 2*g, -2*n + 4*n - 60 = -5*g. Solve -p*a = -2*a - n for a.
5
Suppose 8 + 8 = 4*s. Solve -2*r + 2 = s for r.
-1
Let a(u) = u**3 - 10*u**2 - 56*u. Let j be a(14). Suppose -3*r + 0 + 6 = 0. Solve j = -v + r*v - 5 for v.
5
Let q be 6/3 - (-3 + 2). Solve 0 = -g + q*g + 8 for g.
-4
Let t = 18 - 13. Suppose m - a = 2, t*m + 3*a - 2*a - 10 = 0. Solve -m*r = 2*r + 16 for r.
-4
Let o = 157 + -150. Solve -o*c + 15 = -2*c for c.
3
Suppose 5*p - p - 60 = 0. Solve -p = -0*g + 3*g for g.
-5
Let d be 0/((-4)/(0 - 4)). Solve s + d*s - 3 = 0 for s.
3
Suppose 3*u + 3 = -3*v, 0*v - 4 = 3*v + 4*u. Solve 3*m - 9 = -v for m.
3
Suppose 6*n - 4*n = 4. Solve n*d - 2 = 4 for d.
3
Let m(v) = -v**3 - 11*v**2 - 12*v - 10. Suppose -5*d - 5*x = -10*d + 130, 38 = d - 5*x. Let b = 13 - d. Let w be m(b). Solve w = -q + 6*q for q.
2
Suppose 0 = -3*a - r + 8, -6 = -2*a - 0*r - r. Solve 12 = a*c + c for c.
4
Let w(a) = 2*a - 7. Let z be w(5). Let o(t) = 13*t - 4. Let r be o(z). Let b be ((-8)/(-5))/(14/r). Solve 2*x - b = -2*x for x.
1
Let x(n) = n - 9. Let q be x(7). Let i be (-3 + 3)*q/4. Let z = 3 - i. Solve z*r - 4 + 16 = 0 for r.
-4
Let j = -36 + 51. Solve -3*z + 0*z = -j for z.
5
Suppose 0*w = 4*c + w - 25, -2*c = -3*w + 5. Suppose -i = -c*d + 17, i - 23 = -5*d + 5*i. Suppose 0 = -n - 3, p + n = 2*p - 10. Solve 5*m - d = p for m.
2
Let f be (-12)/3*(3 + (-12)/3). Solve -f*d - 1 = -21 for d.
5
Let m be ((-3)/3 - -1) + (-3 - -9). Solve 2*z = -m - 0 for z.
-3
Suppose -15*t + 12 = -11*t. Solve 11 = t*j + 2 for j.
3
Suppose -w = 4*m - 16, 0*w - m = w - 4. Solve 0 = -w*s - 2*s for s.
0
Let w(m) = 3*m**3 - 1. Let x be w(1). Solve 0 = 5*u + 13 + x for u.
-3
Suppose 0 = j - 6*j + 40. Suppose 3*x + x = j. Solve -x*v - 3 = -1 for v.
-1
Let q = -6 + 5. Let r(m) = -2*m**3 + m**2 - m - 1. Let a be r(q). Suppose -5*u - t = -a*u - 9, -5*u - t + 27 = 0. Solve -2*w + 5*w = -u for w.
-2
Suppose 0 = -5*x - 0 + 5. Solve -l - x + 5 = 0 for l.
4
Suppose -2*g + 4 = -5*a - 6, 5*a = -g - 10. Solve g*n = -n - 4 for n.
-4
Let f(z) = -z + 2. Let o be f(-4). Solve -3*m + o*m = -6 for m.
-2
Let k(f) = f**2 + 9*f + 6. Let z be k(-9). Let d(y) = y**3 + 7*y**2 + 4*y + 9. Let r be d(-6). Solve 3*n + z = r for n.
5
Let q(l) = l**3 - 9*l**2 - 11*l + 10. Let j be q(10). Solve j = -6*y + 4 - 16 for y.
-2
Let d = -6 - -8. Let g be 2/(-6) - 133/(-21). Solve 5*j - d*j + g = 0 for j.
-2
Suppose -17 = -4*a - b, -5*b - 35 = -3*a - a. Suppose -4 = i - a. Let p = -3 + 6. Solve h + p = i for h.
-2
Let r be 11 + 9/(-3) + -3. Suppose -3*n + 6 = h - 2, -5*h = -r*n - 20. Solve 0 = -h*m + 4 + 1 for m.
1
Let w(b) = -b**2 - 18*b - 17. Let i be w(-17). Solve i = -5*v - 15 for v.
-3
Suppose b + 5*c - 3 = 0, b + 3*c + 19 = 3*b. Solve 0 = 2*k - b for k.
4
Suppose -4*z = x - 5*x, 0 = -4*x - z + 10. Solve 3 = d + x for d.
1
Let n = 4 + -2. Let g be n/4 + 2/(-4). Solve -3*k - 12 = -g*k for k.
-4
Suppose -2*g + o = -9, -3*o + 9 = 2*g - 12. Suppose 7*i = 4*i + g. Solve -3*c + 5*c + i = 0 for c.
-1
Suppose -5*c - 12 + 47 = 0. Solve 3*a + c = 1 for a.
-2
Let j be -1 + 1*5 - 0. Let l be (2/3)/((-2)/(-9)). Suppose -6 = -l*r - 3*x, -4*r - 6*x + 7 = -x. Solve o - j = r*o for o.
-2
Let k be -1*2*(21/14 - 4). Solve 5 + 15 = -k*h for h.
-4
Let k(m) = m**2 + 7*m + 9. Let a be k(-7). Let w = -8 + a. Solve w = -s - 0*s for s.
-1
Let o be (-228)/(-48) + (-2)/(-8). Solve 10 = -o*g - 10 for g.
-4
Let k be 0/((-4)/(-8)*6). Solve k*a = a for a.
0
Let g(q) = -q + 3. Let z be g(2). Let c be -1*((-3)/(-3) - z). Suppose -5*t = -n - 24, -4*n = t + 5 + 7. Solve 0 = -c*m + t*m - 8 for m.
2
Let g(w) = w**2 - 5*w + 4. Let f be g(4). Let y be (0 - f) + 1 + 2. Let z(n) = -2*n + 1. Let k be z(-1). Solve 3*x = y + k for x.
2
Let t = 5 + 15. Let i be (-6)/5*10/(-3). Suppose 3*k + 2*k + f = 5, 0 = k + 2*f - 10. Solve -i*l + 4 - t = k for l.
-4
Suppose 2*s = 4 + 4. Suppose r = -3*r + 3*f - 6, s*f = -4*r + 8. Solve j - 1 - 2 = r for j.
3
Suppose 15 = 3*g, -4*d + 0 = -5*g - 7. Let s(c) = c**2 - c - 9. Let m be s(4). Solve a = m*a + d for a.
-4
Let a be 6 + 0/(-2) + 1. Suppose -3 = -5*p + a. Solve -p*m = 3*m + 20 for m.
-4
Let d(j) = -2*j + 29. Let f be d(14). Solve g - f = -4 for g.
-3
Suppose 3*x - 53 = 2