*u - m for u.
5
Let m(z) = -z**2 + 12*z + 13. Let i be m(13). Solve 0*v + 5*v = i for v.
0
Suppose 0 = 3*r, 2 = 2*t + 3*r - 4. Suppose t*x = -3*l - 30, -3*l = 3*x - 8*l + 6. Let q = x - -11. Solve -h = -5*h - q for h.
-1
Let w = 11 - 8. Suppose -w*r = 2 - 8. Suppose r*x + 2*x = 5*l + 39, -x + 4*l = -18. Solve 2*o = x*o - 20 for o.
5
Let l(o) = -o**3 + 2*o**2 + 2*o - 2. Let z be l(-2). Let b(h) = -h**2 + 5*h - 4. Let u be b(3). Solve 0 = -4*x + u*x - z for x.
-5
Let l(i) = i**3 - 5*i**2 + i - 4. Let b be l(5). Let h be 4/b - (2 + -3). Solve -9 - 1 = h*m for m.
-2
Let z(l) = -l**2 + 3 + 3*l**2 - l**2 + l. Let i be z(0). Let y be 9*1*1/i. Solve w + y = -2 for w.
-5
Suppose -7*a + 15 = -4*a. Suppose r = 4, 3*g + 2*r + 6 = a*r. Solve 2*f + g*f = -8 for f.
-2
Let x be (3 - 3) + (-2)/(-2). Solve -x = -3*r + 8 for r.
3
Let a be 156/15 + 2/(-5). Suppose -2*s - 2*c + 4*c = -a, s - 3*c = 7. Solve -s*m + m = -15 for m.
5
Let x = -50 + -18. Let m = -38 - x. Solve -5*c + m = 10 for c.
4
Let f be (12*(-4)/8)/(-3). Solve -f*m - 3*m - 5 = 0 for m.
-1
Suppose 5*d + 3*d - 32 = 0. Solve -o + d = -2*o for o.
-4
Suppose -1 = -2*s + 3. Solve j = s*j for j.
0
Let a(v) = 7*v + 37. Let h be a(-5). Solve i - h*i = 0 for i.
0
Let g(t) = t**3 + t**2 - 3*t - 1. Suppose i + 5*f + 2 = 0, 3*i + f + 6 = -f. Let b be g(i). Suppose -9 = -4*w + h - 3, -3*w = -h - 5. Solve b = -2*o - w for o.
-1
Let a be ((-3)/(-2))/((-3)/(-10)). Suppose 3*q - 29 = a*u - u, -2*q + 22 = -3*u. Let d(m) = -3*m - 9. Let f be d(u). Solve 0*s = 5*s + f for s.
-3
Let y = 6 - 14. Let c be 20/(-30) - y/3. Solve -a - 2 = -c*a for a.
2
Let s = -19 + 21. Solve s*v = 3*v for v.
0
Suppose 2*q = -q. Let v(j) = -j**2 - 3*j + 1. Let o be v(-2). Solve q = t + o for t.
-3
Suppose 8 = 6*p - 2*p. Suppose -p*x + 37 - 3 = 0. Solve 5*d - 2 = -x for d.
-3
Let z = 37 + -23. Let f be (-4)/z - 876/(-28). Solve f = -4*o + 11 for o.
-5
Suppose -3*w + 4 = -2. Suppose u - 4 - 1 = 0. Solve -u*l = -w*l for l.
0
Let x be 9 - (2 - 3 - -1). Solve -29 = 5*c - x for c.
-4
Suppose -2*l = 3*g - 13, 3*l + 3*g - 23 = -l. Let v be 6/(-21) - 90/(-21). Solve -v*x - x = -l for x.
1
Let f(c) = 3*c + 1. Suppose -3 = j - 6. Suppose j*t - 4 = -t. Let i be f(t). Solve p = -p + i for p.
2
Suppose 3*o + 9 = 27. Solve 8 = -o*s + 2*s for s.
-2
Suppose -3*b + 0*r + r + 42 = 0, -64 = -4*b + 4*r. Suppose 0 = 2*s + z - b, 3*z - 23 = -3*s + 4. Solve -3 = -s*k + 5 for k.
2
Suppose 9*w = 3*w + 24. Suppose 3*u - 5 = 5*t, -t + 2*u + 0 = 1. Let v = t - -2. Solve -w*k = -3 - v for k.
1
Let p(m) = 9*m**2 - 6*m**3 + 5*m**3 + 2*m - 10 - 1 + 2. Let d be p(9). Solve 3*w + 0*w = -d for w.
-3
Suppose 3*u = -8 + 2. Let v(y) = 2*y**2 - 3. Let s(o) = 6*o**2 + o - 10. Let w(m) = u*s(m) + 7*v(m). Let z be w(-1). Solve 0 = -c - z*c for c.
0
Let u(z) = -z - 3. Let f be u(-6). Suppose 3*x - 4 = -x + 4*i, -3*x - f*i = -3. Let q = x - 0. Solve 6 - q = -p for p.
-5
Suppose -38 = 3*v - 50. Solve v*w = 2 + 6 for w.
2
Let p = -22 - -24. Suppose -p*h = 4 - 10. Solve -h*y + 14 = -1 for y.
5
Let i = 22 + -14. Suppose -6*q + 8*q - i = 0. Let v(c) = -c**3 + 7*c**2 + 4*c - 10. Let t be v(7). Solve -q*n + t - 2 = 0 for n.
4
Suppose 2*h = 4*g - 12, -6 - 14 = -4*g. Suppose -5*p - 3*t = -11, -h*p - 4*t = t - 1. Solve -p*v = -v for v.
0
Let b = 18 + -14. Suppose -i + b*i = 0. Solve i = 5*j - 3*j - 2 for j.
1
Let u = 5 + -7. Let o = 2 + u. Let c(h) = h**2 + 12*h + 15. Let k be c(-12). Solve o*t - 3*t + k = 0 for t.
5
Suppose 3*v + d = 5, 1 = -v + d - 4. Suppose f + v*t = t - 1, -4*t = f - 14. Solve 3*z + f = 5 for z.
1
Let z be 1*4*(14 + -13). Solve 5 - 1 = z*p for p.
1
Suppose 6 = -5*b - 4. Let a = -13 - b. Let w = 17 + a. Solve -j = -w*j for j.
0
Let n(z) = -z + 19. Let u be n(9). Solve -4*y + u = -9*y for y.
-2
Let c(o) = o**3 - 16*o**2 - 16*o + 8. Let b be c(17). Suppose 4*g - 16 = -4. Solve -g*a - b = 2*a for a.
-5
Let j = 4 - 1. Let a(c) = c**2 - 3*c + 1. Let p be a(4). Let m = 3 + -1. Solve j*k = m*k - p for k.
-5
Suppose -s - 3*l = 0, s - 4*s + 2*l = 0. Solve 2*n + 1 - 3 = s for n.
1
Suppose 0 = 4*r - 5*r + 4. Solve r*i = 2*i + 10 for i.
5
Suppose -5*l = -10*l - 2*n + 48, n - 29 = -3*l. Solve 3*f = 8*f - l for f.
2
Let k be 40/(-5) - (-1 - -1). Let l = 11 + k. Let g = 11 + -7. Solve t + g = l for t.
-1
Let w(v) = -3*v**3 - 3*v**2 + v + 2. Let f be w(-2). Suppose f - 4 = 4*y. Let k be y - (-3 + 1) - 2. Solve -5*g + k*g + 6 = 0 for g.
2
Let m(j) = j**3 - 5*j**2 - 5*j - 3. Let w be m(6). Suppose -5*t + 4*t + w*x + 19 = 0, 0 = 4*t + 5*x + 9. Solve -t*b = -2*b for b.
0
Suppose 7*m - 3*m - 17 = -5*a, 2*m - 16 = -4*a. Suppose 15 = a*c - 0. Solve -1 = c*p - 4 for p.
1
Let r(n) = -n**3 + n**2 + n - 1. Let t(x) = -2*x**3 + 4*x**2 + x - 3. Let d(f) = 3*r(f) - t(f). Let j be d(-2). Let y = 1 - -1. Solve -s + j = y for s.
-2
Suppose -6*y = -0*y - 2*y. Solve -3*f + 10 - 1 = y for f.
3
Suppose -11 = -2*n - 5*x, -2*n + 5 - 2 = -3*x. Let g(b) = b**2 - 2*b - 1. Let k be g(-3). Suppose -5*l + n = 8, 0 = 2*u + 2*l - k. Solve -s - s = -u for s.
4
Suppose 5*p = -2*a + 34 + 5, 0 = a + p - 24. Let g be ((-8)/(-12))/(2/a). Suppose -4*b = -3 - g. Solve -2*v + b = 5 for v.
-1
Suppose 0 = 3*v - 2*l - 39, 0*v + 3*v - 39 = 4*l. Let n be 1*(12/(-4) - -5). Let r = n + 5. Solve 5*u = v + r for u.
4
Let a = -37 - -37. Solve c - 6*c + 10 = a for c.
2
Let i be (8/(-2))/2 + 4. Solve i = n - 0 for n.
2
Let s(l) = 4*l**3 + 2*l**2 + 2*l + 1. Let b be s(-1). Let c be b/(-12) - 6/(-8). Solve -c - 3 = -x for x.
4
Suppose 0*f + 150 = -3*f. Let d be (2/(-4))/(5/f). Let t(a) = a**2 - 6*a + 7. Let m be t(5). Solve 5 = m*i - d for i.
5
Suppose j + 12 = 4*j. Solve q + 12 = j*q for q.
4
Suppose -4*v + 0*r = -4*r - 20, 13 = 5*v - 2*r. Solve w - 3 = -v for w.
2
Let j(b) = -4*b + 3. Let k be j(0). Solve -12 = k*m + m for m.
-3
Suppose 3*w = -14 + 35. Let y(m) = -m**2 + 8*m - 6. Let v be y(w). Solve -v = -2*s + 3*s for s.
-1
Suppose -6*w = -2*w. Suppose 0*v + 2*v = 0. Suppose v*t + 3*t = w. Solve t*c - 5*c + 5 = 0 for c.
1
Let j = 1 + 3. Suppose -5*s = l - 20, -3*s - 4*l - 6 = -1. Suppose -d + h = -5, 0 = -s*h + 4*h - 2. Solve 0 = -j*p + d*p - 2 for p.
-2
Let y(k) = -k**3 - 4*k**2 - 4*k. Let x be y(-3). Solve 0 = -o - 0*o + x for o.
3
Let p(i) be the third derivative of i**4/24 + i**3/2 - i**2. Let z be p(-3). Let v be -2 + (-1 - z - -8). Solve -4*n = -v*n for n.
0
Suppose 4 = 5*s - k - 14, 4*s - 15 = k. Solve 5 = -s*n - 10 for n.
-5
Let d be (-2)/9 + 16/72. Solve -4*n + 4 = -d for n.
1
Let b be ((-6)/(-8))/(3/12). Suppose -12*i - 12 = -24*i. Solve -b + i = k for k.
-2
Let h be -1 + -1*(-8)/2. Solve j = h + 1 for j.
4
Let s be (-2)/(-1) - 0/3. Suppose 3*t + 3*o = 4 - 16, 3*o + 14 = -4*t. Let b = t + s. Solve -5 = g - b for g.
-5
Suppose -3*b = -10 - 14. Solve p - 5*p = b for p.
-2
Suppose b - 21 = -5*d, 2*d - 6*d + 18 = 2*b. Suppose -12 + 0 = -d*z. Let l be (-1 + (2 - 2))*-12. Solve -z*p + l + 0 = 0 for p.
4
Let i(p) = -p + 1. Let a be i(-3). Suppose -g + a*g - 60 = 0. Let m(y) = y**2 - 3*y + 1. Let j be m(4). Solve j*w = w - g for w.
-5
Let b(r) = -r**2 - 6*r - 5. Let u be b(-4). Suppose 3*n - u - 3 = 0. Suppose -2*w + 11 = n*w + 3*h, -h - 9 = -5*w. Solve -4 = -2*o + w for o.
3
Let t be ((-24)/10)/((-9)/60). Let c(s) = s**3 + 9*s**2 - 11*s - 3. Let j be c(-10). Suppose 0 = 5*i + 9 - 24. Solve i*w + t = j*w for w.
4
Let p be 1*1/(-2)*-38. Suppose -4*y + 44 = -4*x, -5 = 3*x + 2*x. Let o = p - y. Solve 2*g - o = -g for g.
3
Let u = -13 - -16. Solve -u = 5*s + 17 for s.
-4
Let l(d) = 2*d + 2. Let c be l(0). Solve -2*i = 8 + c for i.
-5
Let g(z) = z + 8. Let q be g(-6). Solve 6*p - 8 = q*p for p.
2
Let o = -14 - -14. Solve o*a - 1 = -a for a.
1
Let d(a) = a**3 - 2*a + 1. Let b be d(2). Let n = -1 + 8. Let o = n + 1. Solve 33 = b*h + o for h.
5
Suppose 16 = -4*n + 4*v, n - 28 = -4*v - 7. Solve -16 = -5*u - n for u.
3
Let g(h) = -h + 2*h + 0*h + 13. Let i be g(-13). Solve i = 3*l - 5*l + 6 for l.
3
Let c = 111 - 108. Solve w + c*w = -4 for w.
-1
Suppose -5*v + 10 = 5*p, -p - 10 = -3*p + 4*v. Suppose -p*k + 6 = -2*k. Solve 0 = -3*f - k - 6 for f.
-4
Suppose -5*u + 0*i = -5*i - 10, 5*u - 10 = -3*i. Solve u*o + 1 = o for o.
-1
Suppose 5*x - 18 = -4*p, p + 4*x - 12 = -p. Let w be -1*1 + 1 + 0. Solve w - 2 = -p*f for f.
1
Suppose n - 4*n = -27. S