 -21 - -31. Solve x - 3*x = -b for x.
5
Let m be (4/5)/(2/5). Let i be 2 + (-6)/m + -3. Let t = i + 4. Solve o = -t*o for o.
0
Let y = 7 - 5. Let l(p) = 0 + 1 + 5*p**y - 1 - 1. Let r be l(-1). Solve 0 = -j - r for j.
-4
Suppose 13 = 4*r - v, -r + 3 = v + 1. Solve r*k - 4 - 2 = 0 for k.
2
Let o(a) = -a**2 - 6. Let x be o(0). Let d be (81/12)/(x/(-16)). Let w be (-212)/(-18) - (-4)/d. Solve -p - 2*p = w for p.
-4
Suppose 4*t = -4*h - 9 + 1, 0 = 5*h - 3*t - 30. Solve y + 4 = -h*y for y.
-1
Suppose -2*k - 4 = 0, 3*k + 14 = 3*h + h. Solve 3*q - 4 = h for q.
2
Let z(l) = -2*l + 20. Let t be z(9). Solve -t*o + 3 = 9 for o.
-3
Let c(r) = -7 - 3*r**2 - r + 7*r**2 - 3*r**2. Let o be c(5). Suppose -3*i = -6*i + 15. Solve -i*j = 7 + o for j.
-4
Let b(o) = o**2 - 7*o - 26. Let k be b(-3). Solve -p + 5 = k for p.
1
Let a(g) = 6*g**2 + 3*g. Let l be a(-1). Solve 0 = l*p - 0*p for p.
0
Let b = 20 - 20. Suppose b = 3*w - w - 6. Let q(g) = g**2 - 2*g - 1. Let i be q(3). Solve -w*x = -x - i for x.
1
Let w(v) = -2 - 1 - 3*v**2 - 4*v + 2*v**2 + 0*v**2. Let s be w(-5). Let r be 17/2 - 4/s. Solve -4*p - 25 + r = 0 for p.
-4
Let l be 2/2 - -1 - -4. Suppose 0*h + 4*h = 20. Suppose 6*q = h*q. Solve -l*m + m + 25 = q for m.
5
Let z(a) = -a**3 + 5*a**2 - 4*a + 3. Let w be z(3). Solve 0 = -2*b - b + w for b.
3
Let h be (-128)/12 - (-2)/(-6). Let n = h + 11. Let w = 0 + n. Solve 4 = -w*m + m for m.
4
Let w(z) = 2*z - 6. Let b be w(5). Suppose 0*t = -b*t - 5*p + 45, -4*p = t - 25. Solve -j - t = -0*j for j.
-5
Let a be (-6)/2 - (-21)/7. Suppose 0*u + 2*q = -3*u, -4*u - 4 = 4*q. Suppose a = -u*s + 44 + 6. Solve 0 = w + 4*w + s for w.
-5
Suppose 5*r - 5*w = 25, 2*r - 5*r + 8 = 4*w. Suppose r*q - 10 = -q. Solve -5*b = -4*b - q for b.
2
Let t = -16 + 18. Solve t*r = 2 + 8 for r.
5
Let v = 2 - 0. Let l be ((-24)/(-28))/(v/14). Suppose j - l*j = 0. Solve j*n - 5 = -n for n.
5
Let g = -2 - -2. Let z(l) = l**3 - 4*l - 3. Let v be z(-2). Let a = 3 + v. Solve g = y - a*y for y.
0
Let h = 8 - 6. Suppose h*n = n. Solve 2*y + n + 2 = 0 for y.
-1
Let o(x) = x**3 - 5*x**2 - 3*x - 8. Let a be o(6). Solve a = -8*c + 3*c for c.
-2
Let o = -47 - -47. Let u(h) = -h - 2. Suppose -2*y = -2*x - 20, 0 = 5*x - 2*y + 4*y + 22. Let n be u(x). Solve n = -k - o for k.
-4
Let t(g) = -2*g - 6. Let v be t(-7). Suppose 4*z - 32 + v = 0. Solve 3*d = z + 9 for d.
5
Let k be (1/(-3))/((-2)/12). Solve -2*b - k*b = 4 for b.
-1
Let c be 3/(6/(-8))*-2. Let w(j) = j**3 - 5*j**2 - 10*j - 16. Let n be w(7). Solve c = 5*x - n for x.
4
Let m be 1*(2 - 3) - 1. Let h be (24/(-18))/(m/3). Solve -3*b - 25 = h*b for b.
-5
Let b = -26 + 28. Solve -b*f + 7*f = 0 for f.
0
Suppose -2*r + 5*u - 15 = 0, -2*u + 9 = -r + 3. Suppose r*g + 2*g = 0. Suppose -o + 26 = 5*h, g = -2*h - 3*o - 0*o. Solve -h = -5*p - 31 for p.
-5
Let o(f) = -f + 5. Let i(m) = -3*m + 9. Let t(j) = 4*i(j) - 7*o(j). Let l be t(1). Let q be (12/8)/((-3)/l). Solve -q + 3 = k for k.
1
Let d be 5*((-14)/(-5) - 2). Suppose d = v + 1. Suppose 0 = 3*w - 4*q - 27, 2*q + 12 = v*w - 9. Solve 5 = -w*y - 0 for y.
-1
Let v(q) = -q**2 + 7*q + 16. Let d be v(8). Solve -d = m + m for m.
-4
Let d = -9 + 11. Suppose -4*k + d*k + 8 = 0. Let q = -15 + 30. Solve k*m + q + 5 = 0 for m.
-5
Let c(y) = y**2. Let b be c(2). Let q = -5 + b. Let p be (1/(-4))/(q/4). Solve -k = p - 5 for k.
4
Let c = 7 + -35. Let f be 4/(-6) - c/6. Solve -f*a + 18 = 6 for a.
3
Let h = 4 - -25. Suppose 3 = -4*d - h. Let w(o) = o**2 + 7*o - 5. Let s be w(d). Solve -5*b - s - 2 = 0 for b.
-1
Suppose 0*l + 5*z - 30 = -5*l, 5*z = 3*l - 10. Let y be (-2)/8 - (-51)/12. Suppose -l*t = -y*t. Solve -4*i + 6 + 2 = t for i.
2
Suppose 2*c - 4*l = 0, -l + 15 = 5*c + 4*l. Solve -g + c = -1 for g.
3
Suppose 6*a - 2*a - 2*t = 16, 0 = -t. Solve -a*z - 2 = 18 for z.
-5
Suppose 0 = -4*a - 4, -4*q - q - a = 11. Let l = q - -9. Solve 9 = 4*d - l for d.
4
Suppose 3*y = -2*v + 12, 4*v - y = 2*v + 12. Solve -2*g + v = 14 for g.
-4
Suppose -2*f - v = f - 1, 4*v + 16 = -2*f. Suppose x = -f*x. Solve -4*o + 6*o - 4 = x for o.
2
Let i(s) = -s**3 - 6*s**2 - 8*s - 4. Let v be i(-3). Let w = -19 - -10. Let a = v - w. Solve -3 + 1 = a*z for z.
-1
Let l(c) = c**2 + 3*c - 7. Let f be l(-5). Solve -5 = -f*z - 2 for z.
1
Suppose -4*w + 8 = -12. Suppose -12 = p - w*p. Let m be (-1 + 1)/(p/3). Solve m*f = 5*f for f.
0
Let s(l) = l**2 - 5*l - 6. Let h be s(6). Suppose f = -5*u + 15, f = 5*u - 1 - 14. Suppose 0 = -2*r + 10 - 2. Solve h = -f*z - r*z for z.
0
Suppose 3*c = 7*c. Let b = -32 + 37. Solve 5*t + 20 - b = c for t.
-3
Let q = 25 + -25. Solve q = 5*o - o for o.
0
Let u(n) = -n**2 + 2. Let i be u(-2). Suppose z - 3*r = 9, -2*r = -5*z + 18 + 1. Let v = z + i. Solve -4 = w + v for w.
-5
Let f = 1 + -1. Suppose -16 - 59 = -2*h - 3*z, 0 = -3*h - z + 95. Suppose f = g + 2*g - h. Solve 5*k + 0*k = -g for k.
-2
Suppose -g - 1 = -3. Let b = g + -2. Suppose -2*o + 26 = 10. Solve 4*q + 12 + o = b for q.
-5
Let k = 5 + 0. Let j be 6/4*(-20)/(-6). Let d be (-3)/j + 256/10. Solve k*a - d = -10 for a.
3
Suppose -3*c + 1 = -8. Solve c*p + 2*p = -20 for p.
-4
Suppose 15*l - 13*l = 0. Let w be (0 + 4)/(1 + 0). Solve 2*t - 2 + w = l for t.
-1
Let r(i) = -i**3 - 7*i**2 + 2. Let v be r(-7). Suppose -v = -p - p. Solve 0 = k + p - 4 for k.
3
Let p(b) = b + 4. Let h be p(-4). Suppose 3*w - 7*w + 12 = h. Solve -w*t - 16 = -7*t for t.
4
Let r = 59 - 55. Solve q + 3 = r*q for q.
1
Let x = -2 + 2. Suppose x = 2*i - 0*i - 10. Suppose 2*y + 4*k - 28 = 0, 2*y + 26 = 3*y + i*k. Solve 0 = 4*b + 6 + y for b.
-3
Let i be (-5)/(-2) - (-4)/8. Suppose p + 7 = -t + 4*t, -p - i = -2*t. Solve -5 = t*v + 3 for v.
-2
Let s(w) = -w + 7. Let n be s(0). Solve n*d = 2*d - 15 for d.
-3
Let a(t) = t**3 + 4*t**2 + 2*t. Let s = 6 + -9. Let b be a(s). Suppose -4*p = -x - 15, b*p - 2*x - 10 = -0*p. Solve p*m = -m - 10 for m.
-2
Let z = -23 - -24. Solve f - 2 = -z for f.
1
Let a = -3 - -7. Suppose -a*o + 13 + 3 = 0. Suppose 0 = z + o*z. Solve 3 = -z*l - 3*l for l.
-1
Let m(n) = -n**3 + 11*n**2 + 11*n + 14. Let r be m(12). Let z be (6/8)/((-3)/(-12)). Suppose z*k + 0*k = 9, b = k. Solve -b*i + r = -4 for i.
2
Suppose -u - 2 + 6 = 0. Let l be 5*2*2/u. Solve 4*n - l = 3 for n.
2
Suppose -3*y - m = -14, 2*m - 11 = -2*y + m. Solve g + 8 = -y*g for g.
-2
Let r = -16 + 14. Let o be (-2 - 0)/(r/4). Solve -o*j = -j - 6 for j.
2
Suppose 0 = -8*w + 4*w + 12. Solve 0 = -w*h - 9 for h.
-3
Let w be 7/(-35) - (-62)/10. Let d be (w/(-4))/(3/(-6)). Suppose -i + 5*v + 7 = d*v, 4*v = 3*i - 19. Solve -i*x = -5 - 0 for x.
1
Let p(k) = -k**3 + k**2 + k. Let o(s) = -7*s**3 + 3*s**2 + 9*s - 9. Let u(z) = -o(z) + 6*p(z). Let a be u(-4). Solve -2*c - 3*c = a for c.
-1
Let d = -8 + 8. Solve -2*p + 7*p = d for p.
0
Let h(d) = 3*d**3 + 2*d + 3. Let o(c) = -3*c**3 - 2*c - 3. Let k(p) = 2*h(p) + 3*o(p). Let m be k(-2). Suppose 0 = 7*u - 4*u. Solve u*q = -5*q - m for q.
-5
Suppose -6 = v - 3*q, 2*v + v - 6 = q. Suppose 0 = v*o - 3 - 12. Suppose -1 - 9 = -p + 4*h, -4*p = o*h + 2. Solve -3*r = p*r for r.
0
Let w = 121 - 117. Suppose 0 = g + 1, -5*p + 4*g + 6 = 3*g. Solve -v + p = -w for v.
5
Let q be (-1)/2 + (-95)/10. Let a = -6 - q. Solve -5*c - 1 - a = 0 for c.
-1
Let r = 3 - 0. Solve -r*c = c + 4 for c.
-1
Let u = -9 + 12. Suppose 11 + 25 = 5*l - 4*i, 0 = -4*l + 2*i + 30. Suppose -2*o - d + u - l = 0, -10 = -o + 2*d. Solve o = -6*v + 2*v + 16 for v.
4
Let v = 3 - 4. Let j be (-1 + 0 + -2)/v. Solve 0*g + j*g = 0 for g.
0
Let z = -27 - -29. Solve w + z = -0 for w.
-2
Let s = 15 + -5. Solve 0 = -c - c + s for c.
5
Let h = -1 + 6. Solve -h*k = -k for k.
0
Let c(d) = d - 3. Let q be c(6). Solve 0*p = 3*p + q for p.
-1
Suppose -2*a = 3*g + 8 + 4, 0 = -2*g - 2*a - 8. Let r be ((-2)/g)/(2/28). Solve -z + r = 2 for z.
5
Let y = -19 - -26. Solve -2 = j - y for j.
5
Let g(u) = -u**3 + u + 7. Let d be g(0). Solve 0 = -2*m + 1 + d for m.
4
Suppose 5*n - 20 = -5*c, 0 = 4*c - 0 - 4. Solve 11 + 1 = n*p for p.
4
Let h be (105/14 + -6)*(3 + -1). Solve -2*r + 3*r = -h for r.
-3
Let v be 2 + -1 - 2/(-2). Let s(h) = 2 - 6*h - 2*h**2 - 4 + 5*h**2 - 2*h**v. Let q be s(7). Solve n + 1 = q for n.
4
Let y(s) = -s - s**3 + 0*s**2 + 2*s + 3*s**2. Let a be ((-3)/(-4))/(7/28). Let c be y(a). Solve 20 = c*x + 5 for x.
5
Let j = -35 - -35. Solve 8