Let n be a(0). Solve x + x + n = 0 for x.
-3
Let p(y) = -4*y + 2. Let c be p(0). Solve c*v + 12 - 14 = 0 for v.
1
Suppose 0 = j + 2*j - 27. Let s be -1 + -12*(-6)/j. Solve 0 = 5*v + 18 + s for v.
-5
Suppose y = 3*y + 5*a - 30, -5*a + 45 = 5*y. Solve 3*d = y*d for d.
0
Let o = 20 + -10. Let s = 14 + o. Suppose x = -4*u + 8, u + s = 5*x + 5*u. Solve -17 + 1 = -x*t for t.
4
Let u be (0 + 8)/(-2) - -4. Solve u = -d - 4*d for d.
0
Let a = -14 - -17. Solve -4 = a*d - 10 for d.
2
Suppose -20*f - 20 = -25*f. Solve 0 = -0*t - f*t - 20 for t.
-5
Suppose 43 = 4*g - 3*j, 4*g + 6*j - 13 = 3*j. Suppose 4*t - g = 5. Let q = -4 + 4. Solve q = 4*f - f - t for f.
1
Let u = -5 - -7. Suppose -u*c - 12 = -5*c. Solve 0 = -c*d - 0*d + 8 for d.
2
Suppose -4*g - 2*t = -22, -5*g - 2*t = -39 + 14. Let n be 1 + (g + 1 - 1). Solve 2 = -3*o - n for o.
-2
Suppose -6*m - 7 + 19 = 0. Solve m*o = 3 - 5 for o.
-1
Let f(t) = t**2 + 6*t - 6. Let r = -18 + 11. Let g be f(r). Solve u + g = -0*u for u.
-1
Suppose -4*s + 10 + 2 = 0. Suppose -4 = -s*n - 1. Let k(h) = 2*h + 1. Let i be k(n). Solve 0 = 2*a - a + i for a.
-3
Suppose 7*a + 3*d = 3*a - 1, a = -4*d + 3. Suppose -6*b + 27 = 3. Let p = a + b. Solve 0 = -4*s - p - 9 for s.
-3
Let c = -89 - -89. Let z(b) = -b + 4. Let t be z(-8). Let m(l) = 2*l**2 + 3*l + 2. Let x be m(-2). Solve c*q + x*q + t = 0 for q.
-3
Suppose 4*c - 2*t = t + 8, 2*c + 4*t - 26 = 0. Suppose -c*u = -3*u - 20. Solve -3*o + o + u = 0 for o.
5
Let l be (-1)/(4/(-12)) + 1. Solve -12 = -l*s + s for s.
4
Suppose 3*t = 7 - 1. Let r be 2*(t - -1 - 2). Let v be r/(-8) + 2/8. Solve v - 25 = -5*d for d.
5
Let h(u) = -u**3 + 6*u**2 - 6*u + 7. Let d be h(5). Suppose -5 = -d*c - 1. Solve -3*f - c*f = 0 for f.
0
Let u(w) = -w + 3. Let k be u(-2). Let l = k - 3. Solve 0 = 7*q - l*q for q.
0
Let f be (-8)/6*(-9)/6. Solve 0 = -f*v - 2*v + 20 for v.
5
Let w(x) = -x**2 - 15*x - 13. Let u be w(-14). Solve 3 = 2*i + u for i.
1
Let s(y) = -22*y - 9. Let u(p) = 11*p + 4. Let i(k) = 4*s(k) + 9*u(k). Let l be i(1). Let o = -6 + l. Solve o = 2*x - 7*x for x.
-1
Suppose -14*h + 11*h + 9 = 0. Let k(f) = f**3 + 8*f**2 + 6*f - 3. Let n be k(-7). Suppose -10 = -n*i + 26. Solve -2*u + i = h for u.
3
Let z = -9 + 13. Suppose -3*a - 5*k = -0 - 5, 0 = -a - 4*k + z. Suppose -3*w + a*w = 0. Solve w = -m - 2*m for m.
0
Suppose 0 = -0*b - 4*b + 20. Let a(q) be the first derivative of q**2/2 + q + 2. Let j be a(b). Solve -c + j = c for c.
3
Let n(h) = -h**3 - 8*h**2 + 8*h - 7. Let r = 19 - 28. Let j be n(r). Suppose 5*b - 22 = q - 0*q, 0 = 5*q - 3*b. Solve 0 = j*s + s - q for s.
1
Let a be (-50)/(-18) + (-8)/(-36). Let r be 4/(-10) + a/(-5). Let o = 3 + r. Solve i - o = 2 for i.
4
Let h = 7 + -3. Suppose -5*d + 29 = 3*y + y, -1 = 4*y - d. Solve 5*g - y = h for g.
1
Suppose -5*r + o + 1 + 106 = 0, -3*r - o = -69. Solve 3*s = -7 + r for s.
5
Let x be 10 + (4 - (0 + 3)). Suppose -12 = 4*a + 3*q + x, -q - 15 = 5*a. Let w = a - -4. Solve -r = -2 - w for r.
4
Let c(m) = m**2 - 11*m - 9. Let p be c(11). Let s(h) = h - 7. Let i be s(p). Let x be i/(-5) - (-3)/(-15). Solve -x*u + 4 = -u for u.
2
Let h be (-11)/(-4) + (-4)/(-16). Suppose -2*v + 2 = -h*o, 2*v - 3*o - 3 = -v. Solve -3*t + 10 - v = 0 for t.
3
Suppose 0 = q - 4*q. Let h be 8/36 + 104/18. Let p = h + -3. Solve q = -0*a + 3*a + p for a.
-1
Let q(m) = -4*m - 1. Let f be q(-1). Suppose 2*j - 9 - f = 0. Let r = j - 3. Solve 1 = -z + r for z.
2
Suppose -v - 8 = -9. Suppose -5*q - 15 = 0, -i + 10 + 5 = -4*q. Solve i*a = -v + 4 for a.
1
Suppose h + 5 = 6*h. Solve 0 = -y - h for y.
-1
Suppose 5*q + p = -1 + 35, 2*q + 5*p = 9. Suppose 8*o - 2*x - 9 = 3*o, -2*x + 12 = 2*o. Solve 0 = -o*i + q*i + 12 for i.
-3
Let a(h) = h + 6. Let w be a(10). Solve w = 3*z + z for z.
4
Suppose 0*q + 2*q - 2 = 0. Suppose -q + 6 = -r. Let w(x) = -x**3 - 6*x**2 - 6*x - 2. Let k be w(r). Solve -10 = k*o + 2 for o.
-4
Let c(m) = m**2 - 6*m + 3. Let r be c(6). Suppose -4*t = -12, -6*b + 25 = -2*b + 3*t. Suppose -x - 13 = -s - s, -5*s = -b*x - 40. Solve r*f + 2 = -s for f.
-2
Let r(s) = 0*s - 3*s + 6 + 1 + 4*s. Let p be r(7). Solve 4*w + 2 + p = 0 for w.
-4
Let s(b) = b**2 - 2*b + 1. Suppose m = -3*m. Suppose m*d = -5*d + 15. Let r be s(d). Solve 0 = p + 3*p - r for p.
1
Let o = 9 - 5. Suppose 0 = -5*a + o + 16. Solve 1 = a*m + 21 for m.
-5
Let o(g) = g**3 + g**2. Let r be o(-1). Solve r = 5*w - 1 - 4 for w.
1
Let w(q) = -q**2 + 4*q - 2. Let l be w(2). Suppose -2*x + 8 = -0*x. Let i(z) = z**2 - 2*z - 4. Let f be i(x). Solve -l*o - 6 = -f*o for o.
3
Let w(o) = -o**2 - 6*o + 4. Let f be w(-5). Suppose m = -3*q + f, 0 = 2*q + 7*m - 3*m + 4. Solve -7 = q*s - 3 for s.
-1
Suppose -4*m + 5*w - 8*w = -15, -5*m = -5*w - 10. Solve -m = 2*d - 13 for d.
5
Let o(p) = -p**2 + 4*p - 3. Let d be o(3). Solve -s - 4 - 1 = d for s.
-5
Suppose b = 6*b - 25. Suppose -3*y - b = -4*y. Solve -6 = -y*x - 1 for x.
1
Let s = -42 + 25. Let w = -9 - s. Solve w = -5*d + 3*d for d.
-4
Let v(y) = 7*y**3 - 2*y**2 + 2*y - 1. Let n be v(1). Let x be 22/4 + 3/n. Suppose 5*s - x*s + 2 = 0. Solve -5*r + s = -13 for r.
3
Suppose 3*v + 0*v - 6 = 0. Solve k + 3 = -v*k for k.
-1
Suppose 0 = -0*v - 2*v + p + 37, 0 = -4*p + 12. Let w = v - 20. Solve -2 = -2*c - w*c for c.
1
Let u(g) = g**3 + 13*g**2 - 13*g + 16. Let s be u(-14). Suppose 0 = n - 3. Solve -l - s = n for l.
-5
Let w(o) = 3*o - 1. Let f be w(2). Solve 5*j + 0 = f for j.
1
Let m(w) = -w + 5. Let o be m(-7). Solve 3*g + g - o = 0 for g.
3
Suppose -x + 3*x = 0. Solve z = -x*z - 2 for z.
-2
Let c = 3 - -7. Suppose -80 + c = -5*o. Let t = -45 + 48. Solve -t*w - 2 = -o for w.
4
Suppose -35 - 15 = -2*k. Suppose s - k = -0*s + 5*i, 2*i + 16 = s. Solve s = g - 6*g for g.
-2
Let z(p) = p - 12. Let m be z(14). Solve m*s + 7 - 3 = 0 for s.
-2
Let s(q) = q - 5. Let o be s(-11). Let g be (-9)/6*o/6. Suppose n - 3*z - 1 = 0, 2*n - 18 = -5*z + 28. Solve g = 3*j + n for j.
-3
Suppose f + 2*f - 60 = 0. Suppose 0*p + f = -4*p. Let n be (p + 4)/(1/(-3)). Solve -n*t + 6 + 3 = 0 for t.
3
Let q(j) = 3*j**2 - 1. Let o be q(1). Let a be 1/o*4 - 0. Solve -2 = -a*d + 4*d for d.
-1
Suppose 3*h + 54 - 72 = 0. Solve q - 10 = h*q for q.
-2
Let u = -29 - -70. Let i be (-1)/5 + u/5. Let o be i/20 + 26/10. Solve o*n = -0*n for n.
0
Let o(m) = -m + 17. Let v be o(13). Solve v*r - 5 = 3*r for r.
5
Let m be (-7 - 45/(-6))*(7 - 1). Suppose -2*p - 8 = -4*a, 8 = -3*a + 5*a. Solve p*w = m*w for w.
0
Suppose -m = -3*m. Suppose 3*t + f - 5 = m, 4*t + 2 - 9 = -f. Solve t*z + 4 = z for z.
-4
Let y(w) = w**2 - 2. Let a be y(2). Solve -4 = -2*s - a for s.
1
Let l(d) = 16*d + 74. Let s(u) = 3*u + 15. Let m(a) = -2*l(a) + 11*s(a). Let t be m(-11). Solve 3*y - y - t = 0 for y.
3
Suppose 6 + 2 = 4*t - o, 3*t + 2*o = 17. Solve -9 + 0 = -t*a for a.
3
Suppose 7*g - 94 = -24. Solve g - 2 = -4*m for m.
-2
Let a = -6 + 9. Solve 2*i + 15 = -a*i for i.
-3
Let p(q) = -q**3 - 3*q**2 - 6*q - 3. Let k be p(-2). Solve b - 12 = k*b for b.
-3
Suppose -2*d = 3*d - 2*d. Solve 0 = 3*s - d*s + 6 for s.
-2
Let c be 0 + (1 - -1) - -1. Solve -c + 23 = 5*p for p.
4
Let v(s) = -s**2 - 5*s + 2. Let d be ((-5)/10)/((-2)/(-20)). Let k be v(d). Solve k*x - 3*x = 0 for x.
0
Let q = -28 + 30. Solve q*r = -2*r - 4 for r.
-1
Let a(o) = -o**2 + 8*o - 1. Let u be a(7). Let v be (9/u)/(6/8). Solve -3*g - v*g = 0 for g.
0
Suppose 28 = -r + 5*r. Suppose 5*j = 2*m + r + 26, 0 = 3*j + 5*m + 5. Suppose 4*i = 4*f, -f + 0*f = -3*i. Solve 0 = x - f*x + j for x.
-5
Suppose 4 + 14 = 3*a. Suppose 0 = a*s - s. Solve 3*k - k - 4 = s for k.
2
Let y(s) = -s + 1. Suppose -3*f + 4 = -4*p - 3, -3*f = -3*p - 3. Let l be y(f). Solve -3*z + l = z for z.
1
Let z be (-14 + 2)/(15/(-10)). Let r = z - 5. Solve -l - 2*l = -r for l.
1
Let q(n) = -n**2 - 6*n. Let f be q(-6). Suppose 2*s - s - 3 = f. Suppose 2*t - 14 - 2 = 4*l, s*t + 12 = -3*l. Solve 2*h = -t*h + 4 for h.
2
Let q be 3*(1 + 4/6). Suppose 0 = 3*v - 5*o - 1 + 6, -4*o + 41 = q*v. Solve -5*n + 4*n - v = 0 for n.
-5
Let d be (-1)/(4 - 65/15). Solve -2 = -f - d for f.
-1
Suppose 15 = 5*c - 0*c. Suppose 4*m - 11 = -i, -c*m + 3*i - 5*i = -12. Solve -m*d - 10 = 3*d for d.
-2
Suppose -5*c = -5, -3*q + 10*c = 5*c - 4. Suppose -3*m + 20 = -4. Solve w = -q*w - m for w.
-2
Let x be 0/((-6)/(-2) + -5). Let h = x + 2. 