 10*o. Let s be b(-7). Solve s = -k + 1 for k.
1
Suppose 3*p = 8 + 1. Solve -3*j - p = -0*j for j.
-1
Suppose 0 = 3*p + p. Solve -15 = -3*k - p for k.
5
Let h = 13 + -8. Suppose -3*u - 5*b - 25 = -4*u, -2*u + h*b + 25 = 0. Solve u - 4 = -i for i.
4
Suppose 3*n = 4 + 2. Suppose 4*d - n*d = 10. Suppose d*u = 56 - 16. Solve 3*t = 7*t + u for t.
-2
Suppose -2 - 1 = -3*o. Suppose 0*a = -a + o. Let l be -5*(a - 18/10). Solve -u = -l*u - 15 for u.
-5
Suppose b - 4 = -7. Let p = b + 7. Solve -9 + 1 = p*t for t.
-2
Suppose 0 = -d - 0*d + 1. Solve 1 = -2*r - d for r.
-1
Suppose 5*q - 9 = -f, 5*f + 0*f = -4*q + 3. Let y = 7 - q. Solve y*n = -0 - 5 for n.
-1
Let q(i) = -i + 7. Let u be q(8). Let j be 0/((1 + 0)/u). Suppose 2*b - 6 = -j*b. Solve -b*z - 9 = -0*z for z.
-3
Let m(g) = g**2 + 6*g - 3. Let a be m(-7). Solve -a*t + 2 = 10 for t.
-2
Let k(x) = -5*x - 2. Let v(p) = -p. Let q(w) = -k(w) + 4*v(w). Let b be q(0). Suppose 5*y - 12 = 3. Solve -y*u - b*u - 15 = 0 for u.
-3
Let h(x) = x**3 - 4*x**2 + 5*x - 3. Let a be h(3). Solve a*i = -i for i.
0
Let s = -3 + 6. Let m be (-1)/3*(0 + -27). Suppose s*f - 6 = m. Solve -f*q = 8 + 7 for q.
-3
Suppose -2*q + 28 = -0*q + 3*x, -5*q + 2*x = -32. Solve 0 - q = -2*o for o.
4
Suppose f + 3*f + 28 = -5*s, -5*f + 4*s + 6 = 0. Let z = -2 - f. Suppose -6*n + 8*n - 20 = z. Solve -4*g - n = g for g.
-2
Let k(j) = 25*j**3 + 2*j**2 - 2*j + 1. Let v be k(1). Let f = v + -13. Solve 0 = 5*r + f - 3 for r.
-2
Suppose 3*f - 7*f = -80. Let c = f - 18. Solve -3 = k + c for k.
-5
Let s = 1 + -1. Suppose -3 = -u - s. Let t = u - 0. Solve t*n = 7*n - 16 for n.
4
Let m = -28 - -31. Solve -m*r - 6 - 6 = 0 for r.
-4
Let h be 4/8 - 28/(-8). Solve 2 = -3*u - h for u.
-2
Let t be -4*2/(-4)*2. Suppose a = -t*x + 24, -x - x + 12 = -2*a. Suppose -4*g + x*g = 8. Solve -2 + 6 = -g*d for d.
-1
Suppose 2*i - 3 = -q, 6*q + 15 = 3*q. Let s(v) = 1 + 0*v + 0*v - 2*v + 3*v. Let y be s(i). Solve o - 12 = y*o for o.
-3
Let l(s) = 2*s**2. Let w be l(2). Suppose 3*d = 7*d - w. Solve 3*a + d = 2*a for a.
-2
Let w = 88 + -88. Solve w = -0*c + 2*c - 10 for c.
5
Let r = -18 + 30. Solve 0 = 4*l + r for l.
-3
Let z = -12 + 12. Solve -2*f + z*f + 2 = 0 for f.
1
Let y(o) = -o - 1. Let n be y(-6). Solve -a = -n*a + 16 for a.
4
Suppose s - 4 = -2*s + 2*a, -3*s + a + 5 = 0. Solve s*u + 12 = 2 for u.
-5
Let g(k) = 17*k**2 + k. Let m be g(1). Let a be 4/(-14) - 44/(-7). Solve 0 = -3*d + m - a for d.
4
Let m = -13 + 13. Suppose -t + 5 + m = 0. Solve 0*p + 15 = -t*p for p.
-3
Suppose 2*c + 4 = 0, 7*c = k + 2*c - 10. Let p = -16 - -24. Let y be 1/(-2) + 84/p. Solve y = 5*x - k*x for x.
2
Let g(s) = s**3 + 6*s**2 - 7*s + 2. Let w be g(-7). Solve d - w + 3 = 0 for d.
-1
Let s(t) = -t**3 - 2*t**2 - t. Suppose 0 = -2*p - 2. Let u be s(p). Suppose -2*b + u*b = 0. Solve b = -5*h - 1 - 4 for h.
-1
Let o = -14 + 16. Suppose -2*n = k + n + 7, 0 = -4*k - 2*n + o. Solve -k*x = 3*x + 5 for x.
-1
Let g = 7 + -3. Suppose -6 = -g*r + 3*r. Let n be (-1)/(15/6 - 3). Solve n*z + r = 2 for z.
-2
Suppose 26 = 4*a + 2. Let p(s) = -3*s**3 + 2 - 2*s**3 + 4*s**3 + 6*s**2. Let t be p(a). Solve l + 3 = t for l.
-1
Suppose -2*r + 0*k = -3*k - 10, -k = -r + 5. Suppose l = r*l. Let p = l - -15. Solve -y = -6*y - p for y.
-3
Suppose -8*w = -5*w. Suppose -2*p + 0*p + 10 = w. Solve -p + 30 = 5*r for r.
5
Let i = 3 + -1. Suppose -2*z + 16 = i*z. Solve z - 2 = -v for v.
-2
Let w be 5 - 0 - 16/8. Let m be ((-9)/4)/(w/(-16)). Solve 0 = n + 2*n - m for n.
4
Let f(g) = g**2 + 9*g + 10. Let r(y) = -y - 21. Let m be r(-13). Let j be f(m). Solve -2*b + 0 = -j for b.
1
Suppose 2*x + 4*g = -g + 13, 2*x = -4*g + 12. Suppose x*d - 12 = d. Solve -d*v = -0 + 12 for v.
-3
Suppose -d = 2*d. Suppose d = 2*z + 8*g - 4*g - 14, -4*g - 61 = -3*z. Suppose 3*o = -0*o + z. Solve -3*t = 7 + o for t.
-4
Suppose -4*x + x = -9. Solve 0 = -5*i + 23 - x for i.
4
Let h be 0/(-2*-1*1). Let s be 1/(3/(-12)*2). Let p = 3 - s. Solve o = -h*o - p for o.
-5
Suppose 5*j - 3*y + 32 = j, j - 5*y = -25. Let c be 16/10*j/(-2). Solve 8 = -4*z - c for z.
-3
Let u(j) = -j + 6. Let q be u(3). Let m = q + -4. Let n = 0 - m. Solve 3*x + n + 2 = 0 for x.
-1
Let y = 4 + -10. Let p(f) = 2*f**2 + 2*f + 1. Let l be p(-1). Let m be 0 + (l + -2 - y). Solve m*g + 8 = 3*g for g.
-4
Let k = 16 + -8. Let y be 1/3 + k/3. Suppose 4*l + 6 = y*j, -2*j + 7 - 3 = 2*l. Solve l = 4*i - 9*i - 25 for i.
-5
Let t(v) = 2*v + 8. Let d(o) = o**3 - 5*o**2 - o + 2. Let z be d(5). Let l be t(z). Solve 2*b - l = -0 for b.
1
Let z = 15 - 13. Solve u + 3 = -z for u.
-5
Suppose -2*j + 30 = 3*j. Solve 2*q - j = -q for q.
2
Let l(i) = -i**3 + 1. Let f be l(1). Solve d = -f*d - 4 for d.
-4
Let o be (-75)/(-10) - 1/2. Solve 12*p = o*p - 5 for p.
-1
Let m be (-1 - 65/(-55)) + 20/11. Suppose 3*v - 10 - 16 = -4*z, 5*v = -3*z + 25. Let j be (5 - v)*(4 + 0). Solve 0 = m*t - 5*t - j for t.
-4
Let x be -2 - 4/(16/(-20)). Let b(o) = -3*o**3 - o**2 + 5. Let d(v) = -v**3. Let z(a) = b(a) - 4*d(a). Let p be z(0). Solve -p = u - x for u.
-2
Let q = -8 - -1. Let j be 1*q*18/21. Let c = 8 + j. Solve -8 = -5*x + c for x.
2
Let o(b) = -b**3 - 3*b**2 - 1. Let s be o(-2). Let i be (-8)/6*(2 + s). Suppose i*p = -0*p. Solve 4*f - 3*f + 2 = p for f.
-2
Let k be 12/18*(-51)/2. Let j be 0 + 0 + (-13 - k). Solve 0*g = g - j for g.
4
Let l be -7 - -10 - (-1)/(-1). Suppose 0 = t + l*t. Solve t*z = -z + 2 for z.
2
Let a(j) = -j + 4. Let p be (2 - 0)*(-6)/(-4). Let d be p*-3*(-6)/27. Let y be a(d). Solve 4*f + 2 = -y for f.
-1
Suppose -5*f = 5*y + 125, -3*y - f = -2*f + 95. Let c be (6/5)/(y/(-100)). Let d be (-8)/6*(-4 + 1). Solve c + d = -2*m for m.
-4
Let m = 14 - 8. Suppose g + 3 = -n - 2*g, 4*n = -3*g + m. Solve -n*l - l = 16 for l.
-4
Suppose -3*l - 2 = -4*l. Solve 0 = -0*m - l*m - 6 for m.
-3
Let z = 19 + -18. Let c be z/(-6) - 5/(-30). Solve s - 4*s = c for s.
0
Suppose 5*i - 2*d - 3*d = 25, -i - 3*d + 1 = 0. Suppose -3*l + 3 = 0, -s + 10 + 0 = -5*l. Solve s = i*t + t for t.
3
Suppose 3*w = 7*w + 2*b - 10, 4*b + 4 = -2*w. Solve 3 = x + w for x.
-1
Suppose 2 - 1 = -w. Let t be -17*(-2 - w) + 1. Suppose -6*q = -3*q + 2*z - t, z + 17 = 5*q. Solve q*m + 3 = 5*m for m.
3
Suppose 19*z - 20 = 15*z. Let f(p) = -p**3 + 3*p**2 + 4*p - 1. Let i be f(3). Solve z*j = i - 1 for j.
2
Let u = -18 + 24. Solve -4*y - 14 = u for y.
-5
Suppose -k - 3*k + l - 3 = 0, 0 = -5*k - 2*l - 7. Let t be k*(-1 - 1) + 4. Solve -t*h = -h + 25 for h.
-5
Suppose -2*o + 0 + 4 = 0. Suppose -t - 7 = -x, -4*t - 13 = x - o*x. Solve x*v + 8 = -17 for v.
-5
Let x(m) = m**2 + 1. Let h be x(2). Let u = 8 - h. Suppose 6*l = z + u*l - 10, 5*l = 2*z - 17. Solve 2*f = 3*f - z for f.
1
Let o(p) = 6*p - 16. Let x be o(4). Solve -4 - x = -4*l for l.
3
Let r = 5 - -4. Let x(a) = a**3 - 9*a**2 + 2. Let s be x(r). Solve 0 = -6*h + s*h + 16 for h.
4
Let x(l) = l**3 + 2*l**2 - 5. Let n(d) = -d**3 + d**2 + 1. Let q(a) = -2*n(a) - x(a). Let t be q(4). Suppose 0 = -4*o + t + 9. Solve 5*k = o*k + 4 for k.
2
Let g be 3/(-9) + 16/(-6). Let w be (-10)/(-6) + g/(-9). Solve w*b = -0*b + 6 for b.
3
Let l(z) = 2*z - 5. Let n be l(3). Solve 0 = -5*i - 4 - n for i.
-1
Let o = 1 + -1. Let k(m) = m**2 + 26*m - 266. Let a be k(-34). Solve -a*c + 3*c - 15 = o for c.
-5
Let x = -3 - -7. Suppose 10 = 2*h - a, x = -a - 0*a. Let t = 68 - 60. Solve -h*w = -t*w + 25 for w.
5
Suppose -2*n + 16 = -14. Solve 0*i - 5*i = -n for i.
3
Suppose s + 5*y = -0*y + 2, -2*y = -2. Let a be 8 + s + 0 + -1. Solve a*k - 1 = 3 for k.
1
Let u = 5 - 1. Solve u*k = 4 - 0 for k.
1
Let k = 10 + -7. Suppose 0 = 5*u + 3*g - 25, -k*g = u - 17. Solve -u*t - 1 - 1 = 0 for t.
-1
Suppose -20 = -l - 3*l. Solve -3*j = -l*j - 10 for j.
-5
Let j(q) = 8*q - 1. Let s be j(-1). Let g = 17 + s. Suppose -8*l + 4*l + g = 0. Solve -7 + 1 = l*c for c.
-3
Let f = 4 + -2. Suppose -f*y = y. Suppose -2*t = -10 - y. Solve -3*p + t*p - 2 = 0 for p.
1
Suppose -2*g = -2 - 2. Let l(n) = -2*n**3 + 2 + n + 8*n**2 + 3*n**3 + 6*n. Let i be l(-7). Solve i*r = -g - 0 for r.
-1
Let a be (-1)/(-4) - (-2)/(-8). Suppose a = -0*k - k - 17. Let h be -2 + 1 + (-1 - k). Solve h = 2*w + w for w.
5
Let q = -9 - -15. Let g be 44/6 + (-2)/q. Let z be 4 + 3*(-2)/(-6). Solve z*x = -13 - g for x.
-4
Let b(q) = q + 11. Let o be b(-9). Let a(s) = -s