
-2
Let g = -22 - -9. Let r = g - -17. Solve c = 2*c + r for c.
-4
Suppose 0 = 5*h + 4*l - 20, -h - 4*l = -0*h - 4. Suppose -20 = -h*z - z. Suppose -15 = -3*s - 3*p, -z*s + 7*s = -2*p + 12. Solve s*x + 8 = -0*x for x.
-4
Let l be (1 + 3)/(-12)*-12. Suppose -4*c = -4*a + 4, -c + 19 = l*c + a. Solve c*j + 10 = j for j.
-5
Suppose -12 = -j + 5*z, -6 = -j - 5*z + 7*z. Let h be 14*(6/2)/(-6). Let u be j/h - (-37)/7. Solve 0 = u*x - 2*x + 15 for x.
-5
Let m(h) = h + 3. Let w be m(6). Let p be (0 + (-1)/2)*0. Solve -4*v + 1 - w = p for v.
-2
Suppose 5*b + 50 = -5*j, -36 = 2*b + 2*b + 2*j. Let f(u) = -5 + 0*u + u - 5 - 3*u. Let l be f(b). Solve -2*t - l = t for t.
-2
Suppose 0 = 2*u + 4*m - 4, -u + 3*m = -2*m - 2. Solve 12 = -5*c + u*c for c.
-4
Let o(q) = -2*q + 12. Let f be o(8). Let r = 5 + f. Let w be 1 + 1 - (r - 1). Solve 0 = x + 7 - w for x.
-5
Suppose -7*x + 3*x + 20 = 0. Solve x*o = -2 + 12 for o.
2
Suppose 0*r + 7*r - 14 = 0. Solve 0 = r*l - 3*l + 4 for l.
4
Let i be 2/3 + (-2)/3. Suppose -3*g + i*g = -9. Suppose 2*r = 3*y + 21, r - 3*y = g*r + 9. Solve r*k = 5*k - 2 for k.
1
Let p = 3 + 1. Solve 0 = p*c - 8 - 8 for c.
4
Let y = 4 + -1. Suppose z = y*i - 40, -4*i = -5*z - 0*z - 35. Solve i = -0*w - 5*w for w.
-3
Let r(t) = -t**2 - 2*t + 27. Let z be r(-6). Solve -z*y = -y + 8 for y.
-4
Let z(a) = -a + 8. Let h be z(-7). Let d = -9 + h. Solve 4*g = g + d for g.
2
Suppose 10 = -5*m + 70. Let c = 8 - m. Let v be (-2 - c)/(4/6). Solve 0*j - 3*j = v for j.
-1
Let b(h) = -5 + 2*h + 2*h + 0*h + h**2. Let q be b(-6). Suppose k + j - 7 = -j, q = -k + 5*j. Solve 3*c = k + 6 for c.
3
Suppose j = 21 - 6. Solve -j - 10 = 5*s for s.
-5
Let p = 4 - 6. Let x = 13 + p. Solve 2 = -3*n + x for n.
3
Let k(j) = j**2 - 11*j. Let u be (-2 + 3 + -1)/(-3). Suppose u = 4*x + x - 55. Let y be k(x). Solve -5*l + l + 4 = y for l.
1
Let r(j) = 3*j - 18. Let y be r(7). Solve -y*c - 8 = -c for c.
-4
Let f be -1 + -1 - (-6 + -2). Suppose -5*b = -4 - f. Solve -k + 2 + b = 0 for k.
4
Let b be (-1 - 1)*(-15)/(-10). Let n = 4 + b. Solve 2*r + n = 11 for r.
5
Suppose -2*a - 2*o + 13 = 3*o, 3*o + 5 = 2*a. Solve 0 = 7*q - a*q for q.
0
Let o(z) = 4*z**2 - 6*z - 2. Let n be o(2). Solve -n*r = -0*r - 8 for r.
4
Let g(f) = f + 4. Let n be g(3). Let x(s) = s**3 - 6*s**2 - 7*s + 3. Let p be x(n). Suppose 0 = -4*z + p + 5. Solve -z*c + 2 = -c for c.
2
Let k be 8/(-20) - (-26)/(-10). Let r = k - -5. Solve 2*f = -r - 4 for f.
-3
Let b(i) be the first derivative of -i**2 - 17*i - 8. Let g be b(-10). Solve -4*c = -7*c + g for c.
1
Let n(p) = 2*p - 14. Let x be n(9). Suppose 4*a - 3*a = 0. Solve a*w = -w - x for w.
-4
Let f(j) = 6. Let g(m) = -m - 6. Let p(q) = 2*f(q) + 3*g(q). Let x be p(-2). Solve z = -x*z for z.
0
Suppose 3*z = -2*s - 35, 2*s - 4*s - 24 = 2*z. Let y(w) = w**2 + 8*w - 13. Let j be y(z). Solve -6*v + j = -v for v.
4
Let s be (6/9)/((-3)/(-18)). Solve -9 = -s*m + 7 for m.
4
Let x be (3 + 4*-1)*14. Let v = x + 14. Solve v*o - 4*o + 4 = 0 for o.
1
Suppose -h - 4 = -5*h + n, -2*n = 8. Solve h*f = 2*f for f.
0
Let t = 45 - 32. Solve 4*w = 3 + t for w.
4
Let x = 9 + -5. Suppose x*n + 90 = -n. Let m be (-32)/n - (-4)/18. Solve m*a + 11 = 3 for a.
-4
Suppose -11 = -2*k + 19. Solve 7*m - k = 2*m for m.
3
Let m be (3 + 3 + -4)*2. Solve -m*v = -3 + 11 for v.
-2
Let y(u) = u**3 + 6*u**2 - 3*u**2 - 3*u - 7 + 3*u**2 + 0*u**3. Let x be y(-6). Let l = 11 + x. Solve -3*t = -7 + l for t.
-5
Let n(r) = -2*r + 19. Let c be n(8). Suppose 2*x - 20 = -5*y - 0*x, -x - 12 = -3*y. Suppose -y*h = -c*h. Solve h = -5*f + 12 - 2 for f.
2
Let r = 28 + -25. Solve -9 = r*l - 6*l for l.
3
Let h be ((-70)/28)/(1/(-2)). Suppose -t + 8 = b, -3*t + 8 = h*b - 20. Solve -x - 25 = -t*x for x.
5
Suppose 10 = 5*o, 2*i - 3*o - 1 - 9 = 0. Suppose 2*z = -0*z + i. Solve 0 = v - z - 1 for v.
5
Let m = 13 + -20. Let t(v) be the second derivative of -v**5/20 - 7*v**4/12 - v**3/6 - 7*v**2/2 + 2*v. Let h be t(m). Solve h*p = p + 2 for p.
-2
Suppose 0 = x - 1. Let g(d) = -d**3 + d**2 - 3*d + 3. Let c be g(2). Let j = c + 11. Solve 3*i = j*i - x for i.
1
Let r(q) = 3*q**3 - q. Let p be r(-1). Let g = 9 + p. Solve 1 = -3*n + g for n.
2
Let n(d) = -d**2 - 3. Let a(v) = -v**2 - v - 4. Let r(c) = 2*a(c) - 3*n(c). Let u be r(2). Let y be (-3)/3 - (u - 2). Solve 4*k - 22 + 2 = y for k.
5
Suppose 64*m = 53*m + 33. Solve 0 = -m*s - 0*s + 15 for s.
5
Let y(x) = 5*x**3 + 36*x**2 + 3*x - 27. Let b(r) = 2*r**3 + 12*r**2 + r - 9. Let j(c) = -8*b(c) + 3*y(c). Let z be j(12). Solve -t + z*t = -4 for t.
-2
Let i be (-14)/(-4) + (-2)/4. Suppose -3*d + 4 = 5*b, -b = i*d - 0*b - 8. Solve -d*s = 2*s for s.
0
Let q(y) = 2*y + 0*y**2 + y**2 - 3 + 3 + 1. Let x be q(-1). Solve 2*n + 0*n = x for n.
0
Let a(r) = -2*r + 12. Let f be a(3). Solve v + 15 = f*v for v.
3
Let d = -19 + 11. Let x be 10/4*d/(-10). Solve 5*i = x*i for i.
0
Let n = 7 - 1. Solve 3*x - 18 + n = 0 for x.
4
Suppose 3 = s - 0. Suppose 2*o = -5*f + 4, -5*o - 4*f + 1 + 9 = 0. Solve -o = s*d - d for d.
-1
Suppose -1 = b - 4*s - 0*s, 11 = 4*b - s. Solve t - b*t + 8 = 0 for t.
4
Let t(i) = -i - 1. Let y be t(0). Let o(d) = d**3 - 3*d**2 + 2*d - 1. Let f be o(1). Let b = f - y. Solve 0 = -b*n - 3*n for n.
0
Suppose 5*p - 83 = -323. Let r = -33 - p. Let u = 11 - 7. Solve u*b + b = r for b.
3
Suppose 2*p = 6*p - 12. Suppose 4*b = -2*n - 11 + 1, -n - 5*b = 17. Suppose -n*c + 49 = 4. Solve c = 2*j + p*j for j.
3
Let s(c) = 2*c**2 + 3*c - 1. Let u = 8 - 6. Let p be s(u). Let t be (-74)/(-2) + (1 - 0). Solve -5*d - t = -p for d.
-5
Let r = 13 - 9. Suppose 4*o = -4*u + 2*u + 32, -u = -4*o - r. Solve -u = q + 2*q for q.
-4
Let f be 4/(-22) - 228/(-44). Suppose 0*b - 25 = -5*b. Let w = b + -5. Solve w*g - g = -f for g.
5
Suppose 3*c + c = 64. Let v be 16/3 - c/(-24). Solve v*x = x for x.
0
Let m be 4/20 + (-129)/(-5). Let l be 4*(m/8 - 2). Solve l*p - 1 = -21 for p.
-4
Let j(o) = o + 11. Let h be j(-8). Suppose -h*m - m = 0. Suppose 0*u - 5 = -u. Solve u = d - m*d for d.
5
Suppose -q = q - 10. Solve -7 = -4*w + q for w.
3
Let a(n) = -2*n - 20. Let z be a(-10). Solve z = -w + 1 + 1 for w.
2
Let f(w) = 3*w**3 + 2*w - 1. Let o be f(1). Let k = 10 - 10. Suppose o*i = -2*n + 16, -10 = -5*n - k*n + 5*i. Solve -n*p - 15 = p for p.
-3
Suppose -2*n = r - 0*r, 2*n = 3*r + 16. Solve 5*s + n = 12 for s.
2
Let r(d) = 8 + 2*d**2 + 6*d - 12*d - d**2. Let c be r(4). Solve c = 2*l - l for l.
0
Suppose t + 7 = -1. Let f be (5/(-2))/(t/16). Solve -f*s = -2*s - 12 for s.
4
Let k be (-1)/2*0/(1 + 7). Solve 0 = -k*h - 4*h for h.
0
Let h = 3 - 3. Solve h = -c - 5 for c.
-5
Let t(q) = -q**3 - 5*q**2 - 5*q - 2. Suppose 5 - 13 = 2*r. Let k be t(r). Solve -5*y + k*y = -9 for y.
3
Let n(r) = r**2 + 2*r - 6. Let g be n(-4). Solve g*f = -3*f for f.
0
Let w(i) be the first derivative of -i**3/3 - 2*i**2 + 4*i - 2. Let z be w(-4). Suppose z*s = h + 40, -5*s - 2*h + 50 = -5*h. Solve b - 6*b = -s for b.
2
Suppose j + 8 = -5*s, 13 = -5*s + 3. Let l = j - -3. Let x = 6 - l. Solve h - 2 = -x for h.
1
Let g(i) = i + 6. Let m be g(-3). Solve -15 + 3 = -m*b for b.
4
Let a = 1 + 3. Suppose f + 2 = 3. Solve -s + f = a for s.
-3
Let l = -76 + 89. Solve l = -4*i + 1 for i.
-3
Suppose 4*j + 0*z = 5*z + 37, 3*j = -5*z + 19. Solve 4*x + j = -8 for x.
-4
Let k = 24 + -18. Suppose 0 = 3*y - y - k. Solve y*b + 9 = 3 for b.
-2
Suppose -5*b = 5*j, -3*j - 1 = -b + 3. Let h = b + 1. Solve h = 3*q + 8 for q.
-2
Let f(i) = -2*i + 4*i + 7 - 13. Let a be f(4). Solve a*b + 1 = 3 for b.
1
Let q(d) = 3*d - 1. Let u be q(1). Solve 0 = 4*i + 2 + u for i.
-1
Let d(o) = -o**2 - o + 1. Let a be d(-2). Let c(x) = 7*x**2 - 2*x - 1. Let n be c(a). Solve -20 = -n*g + 3*g for g.
4
Suppose 13 = -3*h - 8. Let z be (h/(-21))/(2/12). Solve -3*g + z = 8 for g.
-2
Let l be (2 - 2 - 1)*3. Let v = l + 6. Solve 0 = v*k - 0*k + 9 for k.
-3
Let y(a) = -a + 8. Let n = -4 + 10. Let w be y(n). Suppose -w*q - 2 = o - 0*q, 2*q = -2*o + 6. Solve z = -z - o for z.
-4
Suppose -2*o = 4*o + 24. Let a(z) = 2*z**2 + 9*z + 6. Let f be a(o). Let m(l) = l**3 - 4*l**2 - 4*l - 3. Let w be m(5). Solve y - w*y + f = 0 for y.
2
Let d be 0 + 2 - 154/(-11). Solve 2*u - d = -2*u for u.
4
Let w = 0 - -1. Let z(v) = 8*v**2 + v - 1. Let f be z(w). Suppose 4*h + 0*p = -2*p + f, 0 = 3*h - 3*p - 24. Solv