 = -9 + 12. Suppose n*o = -34 + 10. Let w(q) = q + 8. Let a be w(o). Solve 0*z - 4*z = a for z.
0
Suppose -16 = -3*k - 7. Solve -k = 4*i - 3*i for i.
-3
Suppose 0 = -3*y + 24 - 9. Let l(g) = 4*g + 10. Let r(v) = 4*v + 11. Let a(z) = -6*l(z) + 5*r(z). Let f be a(-4). Solve -y*h - 31 = -f for h.
-4
Let z be ((-11)/4)/((-2)/16). Solve 6 - z = 4*n for n.
-4
Let f(k) = -k**2 - 7*k - 6. Let g be f(-7). Let a be -2*g/4 - 1. Suppose -2*z = -a - 2. Solve v + 6 = -z*v for v.
-2
Let t(u) = 8*u + 52. Let s be t(-6). Solve 5*c - s*c + 5 = 0 for c.
-5
Let u = 24 - 18. Solve -5*h + u*h = 3 for h.
3
Let j be 40/7 - 4*1/(-14). Solve -4*n + n + j = 0 for n.
2
Suppose u = -20 + 22. Solve 2 = -u*c - 0*c for c.
-1
Suppose -95 - 5 = -5*p. Solve w = 6*w - p for w.
4
Suppose -3*w - 4*a = -26, 2*w - 3*a + 3 = -8. Solve 3*y - w*y + 3 = 0 for y.
-3
Let h(w) = -3*w - 1. Suppose -12 = 3*q - 3*o, 3*q - q + 2*o = -8. Let x be h(q). Let t = -7 + x. Solve 6*k - 2*k - t = 0 for k.
1
Let y be (1/(-2) + 0)*-10. Let n = -4 - -5. Let x(j) = j**3 + 4*j**2 - 2*j - 1. Let z be x(-2). Solve y*a - z = -n for a.
2
Let i be ((-24)/36)/(2/(-3)). Solve -i = r + 2 for r.
-3
Suppose 0 = 2*m - 3*m + 26. Let f = m + -15. Solve -3 = -4*u - f for u.
-2
Suppose -x + 3 = 2*x. Let v be 2 + 3 + -2 + x. Solve 4*h + 0 = v for h.
1
Let g(o) = o**2 + 17*o + 23. Let a be g(-16). Solve -a*t = -5*t + 6 for t.
-3
Let q be (4 - 4)/(-3 + (-15)/(-3)). Solve 0 = -4*x - q*x - 12 for x.
-3
Let g(d) = 2*d**3 + d**2 - 2*d + 1. Let a be g(1). Let x(p) = -5*p - 3*p**a + 7 - 3 + 2*p + 2*p**2. Let r be x(-4). Solve r = -3*u + u for u.
0
Let x = 135 + -130. Solve x*a - 6 = 2*a for a.
2
Suppose 2 = -2*k + 6. Let i = 45 - 40. Solve 0 = k*r - i*r - 15 for r.
-5
Let q = 7 + 1. Let g be (q/(-10))/(28/(-70)). Solve g + 18 = 5*z for z.
4
Let o(h) = h**3 + h**2 + 4. Let y be o(-2). Solve y = -3*q + 7*q - 4 for q.
1
Suppose 2*h + 2*w = -0*w + 36, -5*h + 4*w + 63 = 0. Solve -5*l + 0 = h for l.
-3
Let u(o) = -o + 1. Let x(m) = 4*m - 3. Let t(a) = -3*u(a) - x(a). Let h be t(0). Solve -k = -2 - h for k.
2
Suppose 5*u - 3*u = -6, 2*u = c + 9. Let a be (-31)/(-5) - (-3)/c. Solve -3*m + a - 15 = 0 for m.
-3
Let o be 13 + 0 + 6/2. Suppose -o*g = -14*g. Solve g*r + 12 = -4*r for r.
-3
Let s = 11 - 26. Let n = -10 - s. Let b = n + -3. Solve -b = 2*d - 8 for d.
3
Let u(c) = -c**2 - 6*c + 9. Let r be -3 + 0 + -2 - 2. Let s be u(r). Solve -s*i - 5 = -7*i for i.
1
Let y(k) be the first derivative of -k**4/24 - k**3/2 - 2*k**2 - 4. Let u(b) be the second derivative of y(b). Let p be u(-4). Solve r + p = 2*r for r.
1
Suppose 0 = 2*d + 4*d - 18. Let l(a) = 4*a. Let x be l(1). Solve d = -x*p + p for p.
-1
Suppose 3*y - 7*y + 216 = 0. Let o = -36 + y. Solve -3*d + o = 3 for d.
5
Let d be 2/(-2) + 18/6. Let w = 1 + d. Solve -w = -2*p - 5 for p.
-1
Suppose 5*f - 4*f = 5. Suppose -3*b + 2*g + 0 = 5, f*g = 2*b + 18. Solve -3 - b = 2*t for t.
-2
Let y = -40 - -40. Solve 4*n = -y*n for n.
0
Let i(x) = 12*x**2 - x. Let h be i(1). Solve 2*w + 3 - h = 0 for w.
4
Suppose 0*k + 44 = 5*k + n, 0 = 2*k - 3*n - 4. Suppose 3*s + 3*b = -24, 4*s + b + 18 = s. Let p = k + s. Solve -p*a - 14 = 1 for a.
-5
Suppose -2*z + 2*h + 12 = 0, -4*z = -5*h + 2*h - 19. Solve -3*v - 4 = -z for v.
-1
Let v(n) = n + 10. Let x be v(-7). Let r be -3 - -2*12/x. Solve r*d = 3*d for d.
0
Suppose -1 = n + 6. Let l = n + 9. Solve 2*s + 20 = -l*s for s.
-5
Let r(s) = -s**3 + 3*s**2 + 2*s - 3. Let h be r(3). Solve -1 = 2*y - h*y for y.
1
Suppose 12 = -0*j + 3*j. Suppose 0 = -2*o + j*o - 4. Solve s + 0 = -o for s.
-2
Let q(l) = l**2 - 4*l - 10. Let h be q(6). Solve -h*i = -3*i - 4 for i.
-4
Let v(h) = -h + 6. Let u be v(3). Solve 2*w - u + 1 = 0 for w.
1
Let h be 1 + -2*1/2. Suppose h = -i - 0*i - 5, -5*c = -i + 15. Let p be 2*(-2)/c*1. Solve -p + 5 = 2*j for j.
2
Suppose -5*n = 4*w - 15, 0 = -2*w + 4*w - 4*n + 12. Solve -4 = -4*h - w*h for h.
1
Let s(j) = j**2 + 8*j - 7. Let w be s(-9). Let h(y) = 3*y + w - 3 - 2*y. Let r be h(3). Solve 0*g = r*g - 10 for g.
5
Suppose -4*c + 14 = 3*p, 4*p = -c + 3*c - 18. Let x = 79 + -41. Suppose -2*n - 2*r = -0*n - 20, -x = -c*n - 2*r. Solve 2*g + 0 = -n for g.
-3
Suppose -8*m = -6*m. Let w = m + 2. Solve w = -2*k - 4 for k.
-3
Let r = -3 + 6. Let l be 5 - ((-703)/(-133) - 4/14). Solve r*s + 0*s = l for s.
0
Let z = -5 + 16. Let m = -9 + z. Solve -m*s = 3*s for s.
0
Let x = 3 - 3. Suppose x = 5*a - 2*f - 58, -2*a - 3*a + 57 = -3*f. Suppose -3 = 3*d, -2*l + a - 3 = -3*d. Solve 0 = -z - l + 4 for z.
1
Let h(q) = -q**3 + 5*q**2 - 4*q + 5. Let p be h(4). Solve -4*y = -p*y for y.
0
Let v = 49 + -27. Suppose 4*x + 5*h + 17 = 2*x, -2*h = -3*x + v. Let p be (-2)/(-2) + x - 0. Solve c - 20 = p*c for c.
-5
Suppose 20 = 5*t, 4*t + 0*t = -3*y + 10. Suppose 3*r = -5*d - 50, -3*d + 4 + 4 = -2*r. Let f = y - r. Solve -u + f = u for u.
4
Let s be (1 - -3)/((-8)/8). Let z be (2/(-8) - 1)*s. Solve 0 = i - z*i for i.
0
Let j = -1 - 8. Let q = 2 + 13. Let r = q + j. Solve -z + 25 = -r*z for z.
-5
Let z be ((-1)/4)/(2*1/(-40)). Solve q - 12 = z*q for q.
-3
Let p = 500 - 289. Suppose 5*q + 2*h = p, 8*q - 3*q - 2*h = 219. Suppose q = 4*d + 11. Solve l - 5*l + d = 0 for l.
2
Let a(s) be the second derivative of -4*s - 4/3*s**3 + 1/20*s**5 - 7/12*s**4 + 3/2*s**2 + 0. Let g be a(8). Solve v = -g*v - 12 for v.
-3
Let c(x) = x**3 + 4*x**2 - 5*x + 7. Let f be c(-5). Suppose 0 = 8*y - 12*y + 12. Solve 0 = -g - y + f for g.
4
Let a(g) = -g**3 - 8*g**2 - 3*g + 7. Let m(x) = 2*x**3 + 16*x**2 + 7*x - 14. Let n(d) = -5*a(d) - 3*m(d). Let y be n(-7). Solve 3 = -y*z + z for z.
3
Let i be ((-12)/(-9) - -2)*(-84)/(-70). Solve 5 = -i*h + 5*h for h.
5
Suppose 0 = 3*p - 6 - 0. Solve 2 = -p*z + 4 for z.
1
Let y = 3 + 2. Solve 17 + 8 = -y*i for i.
-5
Let n(j) = -44*j + 444. Let f be n(10). Suppose -5*t - 20 = 3*p, 0 = -10*p + 5*p - 4*t - 16. Solve -k - f*k + 10 = p for k.
2
Suppose 0 = -5*s - 4*o + 32, s - 19 = -0*o - 5*o. Solve x = -1 + s for x.
3
Let z(t) = -2*t + 10. Let r be z(8). Let a = 12 + r. Let f = 11 - a. Solve 0 = q - f*q - 20 for q.
-5
Suppose 0 = 3*v + 2*v. Suppose j - 3*j = v. Solve j = -o - 5 + 1 for o.
-4
Let v be (1/(-2) + 0)*8. Let t = v + 6. Suppose 0 = t*n + n + 5*a - 46, -4*n - a + 33 = 0. Solve -3*p = -n*p + 12 for p.
3
Let p(l) be the second derivative of -l**4/12 - 5*l**3/6 + l**2/2 + 3*l. Let x be p(-4). Solve x*f - 19 = 6 for f.
5
Suppose -3 = 3*z + 4*i - 13, 2*z = 5*i - 1. Suppose z*r - 2 = 2. Solve -r*b + 1 = -7 for b.
4
Let i(o) = o - 5. Let h be i(5). Let s = h + 3. Suppose -2*m + 10 = s*m. Solve 2*t - m = 4 for t.
3
Let p be (-120)/(-32) + 6/(-8). Solve 7 = p*a - 2 for a.
3
Let h = -13 - -17. Solve h*z - 2*z = -8 for z.
-4
Let x(c) = -c. Let z be x(-5). Let b be 30/(-4)*(-8)/z. Solve 4*l + b = 4 for l.
-2
Suppose 0 = 2*c + 22 + 14. Let y be (c/(-8))/((-6)/(-16)). Let j(m) = m - 6. Let d be j(y). Solve d = -v - 5 + 1 for v.
-4
Let u = 3 - 5. Let c be 2*(1/u + 1). Solve 2*q + c + 3 = 0 for q.
-2
Suppose r = 3*p + 8, r - 3*p - 10 = p. Let d be 5 + r + -1 + 2. Let g = 15 - 9. Solve -g*s + d = -2*s for s.
2
Let t(y) = -y**2 - 9*y - 4. Let r be t(-9). Let d be 0 - r - (-4)/2. Suppose -d - 2 = -4*s. Solve -v = -3*v - s for v.
-1
Let o = 33 + -33. Let t = -10 + 15. Solve t*f = -o*f for f.
0
Suppose -4*h - 3*k = -39, 5*h - 72 = -3*k + 7*k. Solve h = -4*w - 8 for w.
-5
Let s be (-3 - -4)/(1/4). Solve 0*a = -s*a for a.
0
Let m(b) be the first derivative of b**3/3 + 2*b**2 + 2*b - 2. Let k be m(-4). Let u(p) = -p**3 + 3*p**2 - 2*p + 1. Let t be u(k). Solve -t = i + 3 for i.
-4
Suppose -4*h + 3*m - 1 + 21 = 0, -6 = -5*h - m. Solve h*t + 4 = -2 for t.
-3
Suppose 0 = 3*c - 0*c. Let b = -15 - -8. Let p = -3 - b. Solve 2*t - p*t + 4 = c for t.
2
Let c(i) = -i**2 + 4. Let r be c(0). Suppose r*o = o + 12. Solve 1 - o = 3*p for p.
-1
Let q(j) = -2*j**2 - 33*j - 12. Let z be q(-16). Solve i = -i - z for i.
-2
Suppose -2*o = -4*s + 10, -4*o = -s + 47 + 1. Let k = o - -9. Let g = k - -7. Solve -g + 4 = -a for a.
-1
Let l = -7 + 7. Suppose 4*z - 3*o - 9 = l, 2*o + 0*o = z - 6. Solve -k + z*k + 2 = 0 for k.
2
Let s be (9/12)/(1/16). Let c be (4/s)/((-2)/(-90)). Suppose -x - 3*a + c = -0*x, -2*x + a = 5. Solve -3*t + 4 - 1 = x for t.
1
Let r = 2 - -5. Solve -2*n + 5 = -r*n for n.
-1
Let 