12 = -m for m.
-4
Let t = 31 + -27. Solve 9 = t*b - 11 for b.
5
Suppose 0 = 15*t - 11*t - 8. Solve w + 1 = t*w for w.
1
Let y = 231 - 211. Solve b = -4*b + y for b.
4
Let f(h) = -h - 6. Suppose 4*x + 24 = -3*c, -5*c + 4*x - 7 = 1. Let q be ((-14)/(-8))/(1/c). Let d be f(q). Solve y = -0*y + d for y.
1
Suppose -5*h - 25 = -2*x, -4*h + 2*h - 16 = -2*x. Suppose -2 - 7 = -3*s. Suppose -4*o = -p - 28, -s*o - 2*p - 2*p = -2. Solve -x = o*g - g for g.
-1
Suppose -3*z + 4*z + 4 = -4*x, -x - 1 = z. Suppose z = -8*i + 7*i + 12. Solve -3*s - s = -i for s.
3
Suppose 3*f + 4 = 4*q, -2*f + 0*q - 3 = -3*q. Let k be 0 + f/2*-1. Solve k*d = 5*d + 25 for d.
-5
Suppose -3 + 0 = k. Let d(v) = v**3 + 9*v**2 + 6*v. Let l(h) = h**3 + 8*h**2 + 5*h. Let s(p) = -4*d(p) + 5*l(p). Let x be s(k). Solve 4*f - 2 = x for f.
2
Suppose -5*o - 6 - 60 = 3*b, 8 = -4*b. Let s = o - -20. Solve -2*w + s = -0*w for w.
4
Suppose p - 7 = 3*i - 21, -4*p = i + 17. Suppose 3*f + 8 = 3*u + 5, -5*f = 0. Solve -i*g = 4 - u for g.
-1
Let v(l) = -8 - 5*l**2 - l**3 + 0*l**2 + 4 - 3 - 2*l. Let p be v(-5). Suppose -5*o + 22 = -p. Solve 0*r - o*r = -20 for r.
4
Suppose 4*h + 19 = -o, 3*h = 5*h + o + 7. Let q be 6 + -1*(-4 - h). Solve q = -0*f - 2*f for f.
-2
Let t(a) = a**3 - 12*a**2 - 28*a + 9. Let y be t(14). Solve y = -2*z - z for z.
-3
Suppose 3*r + 9 + 3 = 0. Let s be ((-2)/r)/(1/2). Solve s = -b - 2 for b.
-3
Let i(q) = 12*q + 14. Let v be i(-1). Solve -v*l = -4*l - 4 for l.
-2
Let n = 27 - 24. Solve -w + n*w = 0 for w.
0
Let u(b) = -b + 17. Suppose 6 = 5*h - 4. Let t be (1 - h) + (-13)/(-1). Let w be u(t). Solve w*j = j + 8 for j.
2
Let g(s) = -4 + 2*s + 5 + 0*s. Let c be g(6). Solve 5*y + 2 = -c for y.
-3
Suppose 35 - 25 = 5*q. Solve -n + q*n + 1 = 0 for n.
-1
Suppose 5*h = 22 + 13. Solve 0 = -h*z + 2*z for z.
0
Suppose 6*o - 66 = 4*o. Suppose 43 = -4*z - o. Let u = z + 28. Solve 8*j - 5*j = u for j.
3
Suppose -2*j = -2*z + 2*j - 10, -4*z + 24 = 3*j. Let i = -53 + 53. Solve i = -z*w - w for w.
0
Let y(w) = -2*w + 25. Let p be y(8). Solve 5*d + p = -11 for d.
-4
Suppose 6 = -u - 4*d, -d = 3*u - 7*u + 27. Suppose u*p = 4*p + 4. Solve -3 = q + p*q for q.
-1
Let r(o) = o**3 - 6*o**2 + o - 4. Let g be r(6). Suppose 4*z = -3*b - 2, 12 = 3*b + b - g*z. Solve -3*q - b = -14 for q.
4
Let l be ((-12)/15)/((-2)/5). Let m = -13 - -17. Let y = m - l. Solve -y*z = -5*z - 3 for z.
-1
Suppose 0 = 3*u + 6 - 18. Suppose u*v - 11 = 9. Solve 0*d = v*d - 20 for d.
4
Let n(y) = y**2 + y - 3. Let t be n(-3). Suppose 0 = t*m + 2*k + 8, -3*k + 12 + 3 = 0. Let x be (-5 + 3)/(4/m). Solve x*a = -2*a - 15 for a.
-3
Suppose 2*x + 6 = 10. Solve x*q + 1 = q for q.
-1
Let n(u) = u**2 - 17*u + 5. Let d be n(18). Solve 0 = -5*l + d - 3 for l.
4
Let j(h) = 3*h - 16. Let s be j(6). Solve 0 = s*i - 6*i + 20 for i.
5
Let h be 1/(-3) - (-2)/6. Let g(k) = 2*k**2 + 17*k + 8. Let v(b) = -b**2 - 8*b - 4. Let f(c) = -2*g(c) - 5*v(c). Let l be f(-6). Solve -4*y + l = -h*y for y.
1
Let a(z) = 2*z**3 + 2*z**2 - z - 1. Let h be a(-1). Solve h = 6*f - 2*f - 20 for f.
5
Let p(i) = -i**3 + 7*i**2 - 4*i - 8. Let d be p(6). Let o(y) = -y**2 + 29*y - 51. Let z be o(27). Solve d*x = z*x - 4 for x.
-4
Let g be 5*((-52)/(-10) + 0). Suppose 4*v - 7 = f, -2*v + g = 3*f + 5. Suppose 0 = -2*n - f*k - 4, -4 + 20 = 4*n - 2*k. Solve -o + 8 = -n*o for o.
-4
Let j = -9 - -20. Let c(f) = 2*f - 11. Let h be c(j). Suppose -4*o + h = -21. Solve o = 5*m + 3 for m.
1
Suppose -7 = -o - n + 1, -2*o + 3*n + 31 = 0. Solve 4*p + 3 = o for p.
2
Suppose 3*x - 2*w - 4 = -3, -3*x - 5*w = -8. Solve 13 = -3*b + x for b.
-4
Let r(x) = x**3 - x + 5. Let m be (1 - 6)/(-1) - 0. Suppose m*n + h = -4*h - 10, 4*n + 5*h = -10. Let a be r(n). Solve -a*f = -2*f - 6 for f.
2
Let z be 2/(-8) + (-10)/(-40). Solve z = -4*v - 2 - 6 for v.
-2
Let p be 1 - (0/2)/(-3). Suppose -19 = -3*c - p. Let k be 0/((2 - -1) + -1). Solve u - c*u = k for u.
0
Let z = 34 - 34. Let v be (2 + -5)*(-12)/9. Solve z = -4*n + v - 16 for n.
-3
Let w be ((-24)/10)/((-33)/220). Solve w = -5*b + b for b.
-4
Suppose 4*i - 8*i = -4. Let m be -2 + -3 + i + 25. Solve 5*x + 1 = m for x.
4
Suppose 0 = -4*b - 13 + 5. Let u be 2 + (0 + b - -2). Suppose 4*j - 16 = 2*j. Solve -u*p = 2*p - j for p.
2
Suppose -11 = -2*p - 1, 5*p - 29 = -2*g. Suppose 0 = g*l + 2*l - 16. Solve l = -2*f + f for f.
-4
Let z be (5*9)/(-3) + 0. Let m = -11 - z. Suppose -3*p + m = -2. Solve 3 + p = -d for d.
-5
Suppose 0 = 3*o - 133 + 127. Solve x = o*x for x.
0
Let b be 15*1 - (14 - 12). Solve -4*d = -b - 3 for d.
4
Let t(a) = -a**3 + 9*a**2 - 8*a. Let b be t(8). Suppose -4*x - 3*o + 7 = -9, 0 = 4*x - 5*o - 16. Solve -x*m + b = -4 for m.
1
Suppose 0 = f - 3. Suppose 2*j - 12 = f*v, -4*j + 27 = 3*v + 3. Suppose -3*k + 18 = 4*c, -8 = -k - 0*c - 2*c. Solve k = -4*i + j for i.
1
Let l be (-1)/(-3*(-2)/(-72)). Let p be (1 + -2)/(1/(-2)). Suppose -p*t - 4 = -l. Solve 0 = -t*x - 24 + 4 for x.
-5
Suppose 4*j - 3*r - 8 = -0*r, 4*r - 6 = -3*j. Solve 4 + 2 = -j*b for b.
-3
Let m be (-1 + 4)*(7 + -6). Let r be (-1)/(-2 + m) + 1. Solve 2*f + r*f = 6 for f.
3
Let w(z) = z**2 + 4*z + 1. Let g be w(-3). Let k be (-8)/g + -2 + 3. Solve 0*u + k*u + 20 = 0 for u.
-4
Suppose 0 = -5*p - 18 - 27. Let b = p - -5. Let i(f) = -f**3 - 4*f**2 - f - 2. Let c be i(b). Solve 4 = -q + c for q.
-2
Let d be 7/(2 + 6/(-4)). Let q = 3 + 1. Let y = -10 + 10. Solve y = 5*n + q - d for n.
2
Suppose -o - 25 + 25 = 0. Solve o = 3*k + 5 + 4 for k.
-3
Let r = -8 - -19. Let d = -5 + r. Solve -5*g = 16 - d for g.
-2
Let k be 1 + 1/2*6. Let r = k - 6. Let l be r + 2/2 + 5. Solve 3*i + l = -8 for i.
-4
Suppose -2*i + 2 = 4, -5*h = -4*i + 6. Let g be 2 - (2 + h + 1). Let w = -4 - -8. Solve 0 = w*m + g - 5 for m.
1
Let m(t) = t + 2. Let o be m(0). Suppose -13 = -3*p - q, -o*q + 6 = 5*p - 14. Let y = p - 5. Solve -h = -y + 5 for h.
-4
Let c be 6 - 6*1/3. Solve j + 0 = c for j.
4
Suppose 4*h = 8*h - 8. Solve n - 1 = -h for n.
-1
Let s(w) = -w**2 + 7*w + 4. Suppose -4*f = -10 - 18. Suppose 0 = -q + f. Let r be s(q). Solve 5*v - r = v for v.
1
Let q(p) = -p**3 + 2*p**2 - 1. Let m be ((-2)/3)/(2/(-3)). Let u be q(m). Suppose -19*g + 24 + 14 = 0. Solve -g*z - z + 9 = u for z.
3
Let x = 8 - 3. Let g be 2/(-6)*x*-3. Let h = -117 - -120. Solve -4*s + h + g = 0 for s.
2
Let r(s) = -s**3 + 10*s**2 - s + 10. Let i be (-16 + 6)/(-2 - -1). Let o be r(i). Suppose 7*d - 5*d - 10 = o, d - 11 = -2*b. Solve -2*h = -b*h for h.
0
Let r(f) = f. Let t be r(1). Let s(l) = -2*l + 3*l**3 + 1 - 2 - l**2 + 4*l. Let w be s(t). Solve -z + 2 = -w*z for z.
-1
Let f(j) = -j + 1. Let y be f(1). Let b(s) = 3*s**2 + s + 1. Let m be b(2). Solve 3*w = -y*w + m for w.
5
Suppose 3*j + 3*f - 9 = 0, -j + 2*f = 4*f - 5. Let u(a) = 2*a. Let w be u(j). Solve -w*b = 2 + 2 for b.
-2
Suppose -5*j - i = 2*i - 12, -5*i - 11 = -2*j. Suppose j*m + m - 3*g = 19, 2*m + 5*g = -23. Let l(r) = -3*r - 8. Let k be l(-4). Solve u = m + k for u.
5
Let r be (-3)/(0 + (-6)/14). Let t = r + 0. Let o be t + -6*(-3)/(-6). Solve j + 2 = o for j.
2
Suppose -5*y + 2*y - 5*k = -38, -3*k - 6 = -3*y. Solve 0*f = 2*f - y for f.
3
Suppose -51 + 19 = 4*c. Let m = c - -2. Let l = -3 - m. Solve 0 = 2*z + l - 13 for z.
5
Let g be (-78)/(-8) + (-2)/(-8). Suppose -7*c = -2*c - g. Solve 4 + c = -2*o for o.
-3
Let i(x) = x + 17. Let t be i(-14). Solve 4*o - t = o for o.
1
Let c(q) = 2 - 5 + 3*q + 2. Let k be c(3). Let f = -6 + k. Solve f*v - v - 2 = 0 for v.
2
Let x = -6 + 8. Solve x = -v - 0 for v.
-2
Suppose 1 = -4*d + 9. Suppose -s - 2*s = -105. Suppose -5*q = 2*a + 3*a - s, 0 = 5*q + d*a - 20. Solve 3*l - q = 4*l for l.
-2
Suppose -127 = -2*h - 87. Solve -4*x - h = -0*x for x.
-5
Suppose 5*b - 3*q = -59, -3*q + 8 = -2*b - 7*q. Let o = -8 - b. Solve -k = o*k for k.
0
Let v be 2 - (-2 + (-3 - -3)). Suppose 3*r - v*h = 7, 0 - 6 = -3*h. Solve -2 = r*a + 8 for a.
-2
Let i(s) = -s**3 + 6*s**2 + s - 6. Suppose 9 = -v + 3*r, r = 3*v - 4 - 9. Let m be i(v). Solve 0*o + 4*o - 4 = m for o.
1
Let u be (8/6)/(8/24). Solve -u*h + 6 = -2*h for h.
3
Suppose 0 = -3*u + 5 + 4. Suppose -d - 8 = -u*d. Solve 0 = p - d for p.
4
Let o(k) = -k**3 - 4*k**2 + 9*k + 9. Let r be o(-6). Let j be (-1)/3 - (-3)/9. Suppose 5*m - 4*y - r = j, m + 2*y + 1 + 2 = 0. Solve 13 = m*b + 1 for b.
4
Let f b