 for s.
2
Let o(b) = b**3 - 4*b**2 - 5*b + 4. Let n be o(5). Let z be (9/6)/(n/8). Solve -m + 4 = z*m for m.
1
Let p = 7 - 6. Suppose p + 1 = v. Solve -v*i - 2 = -i for i.
-2
Let p be (-6)/(-4)*8/6. Suppose 2*r = -r - 4*c + 6, -21 = -r + 5*c. Solve r = b + p*b for b.
2
Let m(b) = -b**3 + 7*b**2 - 2*b + 16. Let o be m(7). Solve 0 = -o*z + z + 2 for z.
2
Let h = -10 - -13. Suppose 2*n + 2*z + z + 1 = 0, h = 5*n + 2*z. Solve -5 = -2*y + n for y.
3
Suppose 2*v + 3*m = 20 + 26, m + 38 = 2*v. Suppose -3*w = -w - v. Let k be (-6)/(-15) + 16/w. Solve 6 = k*p - 2 for p.
4
Let l(h) = -h**2 + 13*h + 3. Let g be l(13). Suppose 4*d - 2*n = 4, -5*d + 2 = -2*n - g. Solve 19 = -4*k - d for k.
-5
Suppose 0 = 2*f - 27 - 23. Solve 4*c = 9*c - f for c.
5
Suppose -9*p + 9 = -6*p. Solve p*o - 15 = -2*o for o.
3
Suppose 0 = 4*d - 22 + 2. Solve 0 = q - d - 0 for q.
5
Let h(g) = g + 7. Let j be h(-7). Let n be ((j - 0)/2)/2. Solve 0 = u - n*u for u.
0
Let j(h) = h**2 + h + 1 + 0*h + 4*h - 2*h**2. Let n be j(5). Solve -2*q + n - 3 = 0 for q.
-1
Suppose -1 - 3 = -4*f, f = z - 8. Let d = 9 - 5. Suppose 0 = -3*t + 2*g - 5 + 25, d*g + 32 = 4*t. Solve -t*s + s = z for s.
-3
Let s be (-36)/(-16) - (-2)/(-8). Suppose -3*x = -14 + s. Let l(u) = u - 2. Let w be l(x). Solve w*d = -3 + 7 for d.
2
Suppose 0 = 5*t - 2 - 3. Let m = 14 - 23. Let l be 3/(m/t)*-9. Solve 2*c = -l*c - 5 for c.
-1
Suppose 0 = -h - 2*h + 9. Let u(s) = s**2 + 11*s + 20. Let v be u(-11). Solve -h*i = i - v for i.
5
Let l be 2 - (4/2)/1. Let r(g) = -7*g + 4. Let w be r(-2). Suppose 3*q - w = -l*q. Solve -f + q*f = -5 for f.
-1
Let k = 2 - 2. Let c be k + (-4 - (-2 - 0)). Let x(u) = u**3 + 3*u**2 + 2*u + 1. Let b be x(c). Solve -g + b = -2 for g.
3
Let w = 1 + 0. Suppose -2*p + 4*n - 39 = 3*p, -w = -n. Let h = p + 10. Solve 7 - h = -2*g for g.
-2
Let s = -1 - 0. Let g = -2 - s. Let l be -2 + 2 + 0/g. Solve -n = -l*n - 1 for n.
1
Let l be -5 + 3 + (-24)/(-3). Suppose l = 2*d - 0. Solve -2*k - 10 = d*k for k.
-2
Suppose -4*d - 3 = -19. Suppose n - 6 = 4*n - 3*l, -5*n - 2*l + d = 0. Solve n = 4*j + 9 + 3 for j.
-3
Let w(x) = -2*x. Let d(o) = -o**2 + 1. Let c be d(3). Let k = c - -7. Let z be w(k). Solve 0 + z = -l for l.
-2
Let m = 9 - 5. Suppose m*b = 3*b. Let u = b - -1. Solve 2*d = -9 + u for d.
-4
Suppose 2*d + 0*j - 4 = 3*j, 5*d + 4*j = 10. Suppose 16 = 11*v - 72. Solve v + 0 = d*z for z.
4
Let c = -2 + 5. Let s be 0/(-3 + 2) + c. Solve -s*i + 4*i = 0 for i.
0
Suppose -3*g + 52 = -g. Suppose 2*n - 5*x = 5, 5*n = -x - 0*x + g. Suppose 0 = 2*f + 3*p - 7, -4 + 1 = -3*f + 3*p. Solve -n*o = -f*o for o.
0
Suppose 0 = -0*m - 2*m - 16. Let z be 1/4 + (-30)/m. Suppose 2*c + z*s + 6 = s, 0 = 3*c - 4*s - 8. Solve c*f = -3*f - 12 for f.
-4
Let z be 0/((-1)/(-3)*6). Solve -1 = p - z for p.
-1
Let z(s) = -4*s + 0*s**2 - 4*s**2 + 3*s**2. Let g be z(-5). Let f = -4 - g. Solve 3 - f = j for j.
2
Suppose 0 = -10*c + 12*c - 6. Solve -c*x = -x for x.
0
Suppose 2*w = -3*w - 40. Let u(l) = l**3 + 7*l**2 - 7*l + 10. Let g be u(w). Solve -g*x = -x - 3 for x.
3
Suppose -n + 1 = 2*l - 4, -2*l = 2*n - 10. Suppose -u + n = 0, 12 = r - 2*u + 2. Solve x = -4*x + r for x.
4
Let f(c) = -6*c - 4. Let t = -10 - -7. Let v be -1 - (-6 - t) - 5. Let g be f(v). Solve -g = 4*s + 6 for s.
-5
Let j = 1 - -104. Suppose 0 = -3*u + 5*w + j, w + 0*w = 3. Solve -15 = -5*a - u for a.
-5
Suppose 10 = -5*i - 2*z, -4*i - 27 = 5*z - 2. Suppose -y + 6*y - 15 = i. Suppose -t + 10 = 2. Solve -y*x + t*x + 5 = 0 for x.
-1
Let x(u) = -u + 16 - 7 + 2*u. Let l be x(-7). Let g = l - -1. Solve -g*a = -2*a - 4 for a.
4
Let d(p) = p**2 + 8*p + 10. Suppose f + 2 = -5. Let y be d(f). Let m = 5 - 3. Solve 9 = m*x + y for x.
3
Let x(l) = 9*l**2 + 0*l**2 - l - 1 - 3*l**2. Let o be x(1). Solve j + j = -o for j.
-2
Suppose -4*h = -4, 2*s - 12 = -3*h - h. Suppose 26 = s*x - 14. Suppose 0 = -z + 3 - 1. Solve 3*w = -z*w - x for w.
-2
Let z(b) = -b - 16. Let c be z(-11). Let g be 2/c + 44/10. Solve 1 - g = h for h.
-3
Let v = -24 - -26. Solve v*x = x for x.
0
Let r(y) = 5*y + 1. Let u be r(1). Suppose 0 = 2*g - 14 - u. Suppose 0 = -5*j, 3*j + g = 6*w - w. Solve -2 - 4 = w*d for d.
-3
Let g = 35 + -21. Suppose 4*b - 6*b + g = 0. Solve -b*f + 2*f + 15 = 0 for f.
3
Let j be -2 + 1 + (-1)/((-3)/18). Solve j*f = 7 + 18 for f.
5
Let f(y) = y**2 - 3*y + 2. Let o be f(2). Suppose s - u = 1, -3*s - 2*s = 2*u - 33. Solve o = 3*b + 14 - s for b.
-3
Suppose -2*n = 3*s - n + 34, 2*n = -2*s - 28. Let p = 4 + s. Let v = -4 - p. Solve -5 = v*x - 3*x for x.
5
Let x(z) = z - 2. Let g be x(9). Let i = g - 7. Solve 4*d - 6*d = i for d.
0
Suppose -5*z = -j + 21, 5*j - z + 3*z = -30. Let n = j + 6. Solve 2*b = -n*b + 8 for b.
2
Let z be (-8)/16 + (-10)/(-4). Suppose 0 = -3*y + 3*c - 8 - 7, 0 = 3*c - 15. Let i be y - (0 + 2) - -2. Solve z*l - 2 = -i for l.
1
Let c(a) = -a**2 - 12*a + 31. Let w be c(-14). Solve -p + 8 = -w*p for p.
-4
Suppose -i + 0 = -10. Suppose -i = 5*y - 5*l, 0 = -l + 4 - 0. Solve 2*p - y = 4 for p.
3
Suppose 1 = -5*d - 4. Let x be (0 + (d - -1))/(-2). Solve x = 2*k + 2*k - 12 for k.
3
Let v be -2 + (-296)/(-56) - 2/7. Solve c - v*c = -10 for c.
5
Suppose 2*d + 4*p - 6 - 16 = 0, -5*d = -p - 11. Let q = 6 - 4. Suppose -y = 2*f - 0*f - d, 3*f = -q*y + 6. Solve -y*o = 7 + 5 for o.
-4
Let w(k) = 6 - k + 2 + 6*k - 4*k. Let d be w(-6). Solve -n - d*n - 15 = 0 for n.
-5
Let p = -63 + 64. Solve -p = 2*l + 5 for l.
-3
Let w(o) = o - 3. Suppose 2*s - 20 = -2*s. Let i be w(s). Solve -u = -i*u - 5 for u.
-5
Let b be 0 + -1*1 + 7. Let n = 3 + -3. Suppose -7*x + 3*x = n. Solve b*j - j = x for j.
0
Let i(j) = j**3 + 3*j**2 - 4*j + 4. Let l be i(-4). Suppose -6*p = -l*p. Suppose p = 5*f - 6*f. Solve f = 4*n + 4 for n.
-1
Suppose 2*z + 5*l - 42 = 0, 4*z - 8*z = 5*l - 74. Solve 5*h + 1 = z for h.
3
Suppose 2*o - 1 - 3 = 0. Solve o*s + 3 = 7 for s.
2
Let m(z) = -2*z - 10. Suppose 3*q - 4 = 5*c + 15, 0 = 5*q + 5*c - 5. Let l(y) = y**2 - 6*y + 2. Let r be l(q). Let n be m(r). Solve 2*i + n + 0 = 0 for i.
-2
Let y be 5/(-15) + 20/6. Suppose -2*d = -y*d + 2. Solve -d*h = -7*h - 10 for h.
-2
Let k(q) = -2*q + q + 8 - 4*q + 6*q. Let a be k(-7). Solve a = -0*t + t for t.
1
Suppose 42 + 47 = 5*w - 3*s, 2*w - 35 = s. Suppose o + w = 3*o. Solve 7*p + o = 3*p for p.
-2
Suppose -2 = w - 5*z + 1, -z + 1 = 0. Suppose 3*v = -4*y - 2 + 4, -v + 4 = -2*y. Solve -v*o + w = -0*o for o.
1
Let c = -4 - -5. Let d be c/3 + (-1)/3. Solve 4*i - 20 + 4 = d for i.
4
Let h = -9 - -13. Let f be -3 + h + -1 + 0. Let t be 0/3 - -3*1. Solve 3*o + 12 - t = f for o.
-3
Suppose k + k = 0. Let o(w) = -w**3 + 4*w**2 - 3*w. Let u be o(3). Suppose k*c + c - 3 = u. Solve -z - c = -4*z for z.
1
Let z(o) = -o + 4. Let p be z(3). Solve p - 4 = m for m.
-3
Let l(v) = -v**3 + 7*v**2 + 3*v + 1. Let i be l(7). Suppose -4*d + 20 = 0, 0*d = -4*u + 2*d - i. Let h be (u + 30/9)*6. Solve -3*n - h*n = 0 for n.
0
Suppose 5*t = 2*w - 31, -w + t = -2*w - 2. Solve -5 - 4 = -w*m for m.
3
Let y be 3/5 - 8/(-20). Solve -3 - y = -4*n for n.
1
Let z(f) = -4*f**3 - f**2 + 3*f**3 + 11*f**2 + 2 + 2. Let q be z(10). Solve q*w + 6 = -14 for w.
-5
Suppose 0 = -3*x - w + 6*w + 48, 4*w + 32 = 2*x. Suppose 0*i - 2*i + 14 = 0. Let t = i + -6. Solve -t = -3*s - x for s.
-5
Let z = 13 + -8. Let h be (54/(-45))/((-2)/z). Solve -h = -3*x + 4*x for x.
-3
Suppose 5 + 3 = -4*h. Let v(p) = 3*p + 0*p + 29*p**2 - 6*p**2 - 19*p**2 + p**3. Let d be v(h). Solve 4 = -2*s + d for s.
-1
Suppose 4*v = -28 + 108. Solve -3*z + v = 2*z for z.
4
Suppose -5*b = 4*b. Solve b*h - 5*h - 25 = 0 for h.
-5
Suppose -20 = 2*b - 6*b. Let t(w) = w**2 - 5*w + 1. Let h be t(b). Let r be h/2*(-4)/(-1). Solve 7 + r = -3*k for k.
-3
Let r(l) = l**2 - 4*l - 5. Let w be r(-2). Let k = w - 4. Solve 0 = 3*a - 4*a - k for a.
-3
Let v(x) = -x**2 + 19*x - 17. Let l be v(12). Let b = -46 + l. Solve -3*p - b = -9 for p.
-4
Let l = 2 - -1. Let k(b) = -7*b**2 + 17*b + 10. Let m(o) = 11*o**2 - 26*o - 15. Let t(q) = -8*k(q) - 5*m(q). Let n be t(7). Solve -w = n + l for w.
-5
Let t = 10 - 8. Suppose 14 - t = 3*b. Solve 5*c - c - b = 0 for c.
1
Let o be 38/10 + 5/25. Let a = o - -1. Let q = -4 + a. Solve -1 = 2*r + q for r.
-1
Let x be 0 - (-7 - (1 + -3)). Suppose 0 = -x*n - 7 + 27. Let j = -2 + n. Solve 1 = j*y - 1 for