t = -2 + 4. Let y = t + 1. Let d be 1/(y - 3/(-6)). Solve d*z + 1 = -1 for z.
-1
Let k = -2 + 3. Solve -i + k = 4 for i.
-3
Let a(k) = 3*k + 2*k**2 - 2*k + k. Let g be a(-2). Solve -i = g*i + 10 for i.
-2
Let k be -1 + 5/2*(-4)/(-5). Solve y + k = -2 for y.
-3
Suppose -7*s + 2*s + 35 = 0. Solve -2*p + s = -1 for p.
4
Let u(o) = 4*o**2 - o + 1. Let t be u(1). Solve t*d = -0*d + 16 for d.
4
Let m(d) = -2*d + 4. Let l be m(-3). Let u(j) = j**2 - 6*j - 7. Let k be u(7). Solve -5*h + 0*h + l = k for h.
2
Let i be 1 - 6/(2 + 0) - -5. Solve 5*j + i = -12 for j.
-3
Suppose a = 5*a. Suppose -6 + a = -2*p. Let s = 0 + 3. Solve -s*v + 4*v + p = 0 for v.
-3
Suppose -u - 3*u = -3*d + 22, 8 = -2*u. Let a(t) = -t**2 + t + 2*t**d - 4*t + 9*t. Let r be a(-6). Solve r = 5*b + 8 + 2 for b.
-2
Let u be (12/(-9))/(-1*4/12). Solve 0 = 3*d - u*d + 2 for d.
2
Let g = 4 + -2. Let s(j) = 2*j**2 - 2*j + 1. Let d be s(g). Suppose 10*b - d*b = 55. Solve -5*z = -4 - b for z.
3
Let h = -28 + 55. Let j be 6/h + (-136)/(-36). Suppose -4*a + 28 = 4*q, -j*q - 4*a = a - 29. Solve b + q = -b for b.
-3
Suppose f - 2*f = 4. Let z = f - -5. Solve 1 + z = a for a.
2
Suppose 0*y - 5*k - 15 = -y, 4*y - 22 = k. Let t = y - 11. Let w be 1/(-3) - 32/t. Solve -3*h = -4 - w for h.
3
Let o = 23 - 17. Solve o = 2*l - 4 for l.
5
Suppose 3*t - 6 = -0. Suppose 5*y - 19 = 2*o, -3*y = -3*o - t*y - 9. Let u = o - -7. Solve 0 = d - u*d - 4 for d.
-1
Suppose -s - 2*k + 10 = 0, -6*k + 14 = 2*s - 4*k. Solve -s*a = a for a.
0
Suppose 2*s = z + 3, 4*z - 3*s + 3 - 6 = 0. Solve 0*g - 3 = z*g for g.
-1
Suppose -3*g - f = -3*f - 7, 3*g - 5*f = 4. Solve -g*s = 2 + 10 for s.
-4
Let m(w) = -w**2 + 15*w + 20. Let l be m(16). Solve g + 1 = l for g.
3
Let h be 7 - (0 - -2)/2. Let l(p) = -2*p**2 + 16*p - 21. Let v(z) = -3*z**2 + 24*z - 32. Let s(k) = 8*l(k) - 5*v(k). Let n be s(h). Solve -t - 1 = -n for t.
3
Suppose -2 = 2*z - 10. Solve z*f + 1 = -3 for f.
-1
Suppose 5*n = -31 + 71. Solve -n*t = -5*t + 6 for t.
-2
Let m be 1/(1 - (-2 + 2)). Let y be 10*(63/15 + -4). Solve 5 - m = -y*b for b.
-2
Let i be 4/(-10) + (-154)/(-10). Let k(x) = -x + 19. Let y be k(i). Solve -2*b = -y*b - 10 for b.
-5
Let d be (-252)/(-30) - (-2)/(-5). Solve -c + d = -3*c for c.
-4
Suppose 0 = -3*n - 3*n + 12. Let b(t) = -t**3 - 7*t**2 + 9*t + 8. Let f be b(-8). Solve -3*o - 7 - n = f for o.
-3
Let t(i) = i**2 - 8*i - 17. Let k be t(13). Suppose 0*g = -3*g + k. Solve -x + g = 3*x for x.
4
Suppose -b + 3*m + 9 + 0 = 0, -5*b = 3*m + 27. Let k = b - -6. Solve -o + k = -2 for o.
5
Let u = -5 - -12. Suppose -4*j - 4*v = -36, 2 = j + 3*v - u. Solve 0*y = -3*y + j for y.
3
Let f(k) = 11 - 11 - k + 2 + 0*k. Let x be f(-1). Solve -3*z - x = -2*z for z.
-3
Suppose 10*k - 34 - 6 = 0. Solve -7 - 1 = -k*o for o.
2
Suppose -4*v = -2*j, 0 = -v - 2*v. Suppose -47*b = -10*b - 296. Solve y + y - b = j for y.
4
Let n = -127 - -130. Solve -13 = n*t - 4 for t.
-3
Let f(m) = -m**3 + 3*m**2 + 2*m - 1. Let d be f(3). Suppose -2*l + 0*l + d = h, 0 = -3*h + 2*l + 7. Let z be ((-1)/h)/(3/(-45)). Solve z*n = 10 + 5 for n.
3
Let t(w) = -w**2 + 5*w + 5. Let q be t(5). Suppose q = 5*d - 10. Solve 4*f = -17 - d for f.
-5
Suppose h = 3*c - 18, 25 = 2*c + 5*h - 4. Solve c = -5*t + 2 for t.
-1
Suppose 6*o + 20 = 11*o. Let g(w) = w**3 + w**2 - 6. Let l be g(0). Let n be -2 - l*(-1 - -2). Solve n*y + 8 = -o for y.
-3
Suppose 0 = -3*f + 5*l - 1, -3 = f - 3*l - 0. Solve f*x = -x - 12 for x.
-3
Let a be -5 - ((-4)/4 - 5). Solve 3*u - 4*u = -a for u.
1
Let r(g) = 2*g - 14. Let n be r(10). Suppose 3 + n = 3*c. Solve c*t = 5*t + 2 for t.
-1
Suppose -4*n + n + y + 9 = 0, 0 = n - 3*y + 5. Suppose -5*s - 31 = -3*w, 3*w - 2*w - 4*s = 22. Solve -2*d - w*d = n for d.
-1
Let z = 15 - 14. Solve 2*j - j = z for j.
1
Suppose 0*w - 3*w = -51. Suppose -5*l - 4*h = -h - w, 0 = -h - 1. Solve 0 = l*a - 5*a + 4 for a.
4
Suppose -3*a + 64 = -11. Let y(f) = 7*f**2 + 2*f + 1. Let k be y(-1). Suppose a = k*g - g. Solve g*s + 4 = 9 for s.
1
Suppose 5*x = c + 14, 4*c - 7 = -2*x + x. Suppose q = x - 0. Solve -q*l + 0*l = 6 for l.
-2
Let r(g) = 2*g - 2. Let z be r(1). Solve z = -4*u - 10 - 2 for u.
-3
Let k be (10/(-15))/((-2)/15). Suppose -k*n = -n - 16. Solve -n = 5*w + 16 for w.
-4
Suppose -1 = 2*j + n, -2 - 15 = 4*j + 5*n. Solve 0 = -j*i + 7*i for i.
0
Suppose 2 = -5*y - 3, -1 = -4*h + y. Solve 4 + h = 2*d for d.
2
Suppose 4*i - 20 = 2*r, 25 = -7*r + 2*r + 5*i. Solve -f = -r*f for f.
0
Let x be -1 + ((-18)/(-3))/2. Let y be ((-15)/2)/(x/(-4)). Let c(z) = -z**3 + 3*z**2 + z. Let a be c(3). Solve a*v - 3 = -y for v.
-4
Suppose -3*z + o = -14, 2*z + 4*o = -0*o. Solve -3*h + z = -h for h.
2
Suppose -4*t = -0*t. Solve 0 = -t*f - 2*f for f.
0
Let b(v) be the third derivative of 8/3*v**3 + 0*v + 0 - 2*v**2 - 5/12*v**4 - 1/60*v**5. Let u be b(-11). Solve 13 = -u*x - 2 for x.
-3
Suppose 0 = -4*s - 7 + 3. Let t(z) = -9*z**3 + z**2 + z. Let w be t(s). Solve w - 3 = -2*u for u.
-3
Suppose m - 6 = -1. Suppose -44 = -4*u - 4*b, 10 = m*u - 4*b - 0*b. Solve -u*q + 2*q = 8 for q.
-2
Let y = 5 + -3. Solve y*c - 2 = 8 for c.
5
Let c(s) = -s**2 - 9*s + 9. Let g be c(-9). Let u be (1/3)/(3/18). Suppose 1 + g = u*z. Solve -z = -4*y + 3 for y.
2
Suppose 10 = -5*p - 0. Let u be (-9)/(-6) + p/(-4). Solve -i = -1 - u for i.
3
Let p(q) = q**3 + 5*q**2 - 5*q + 3. Let m be p(-6). Let n = m - -3. Solve n*z + 3 = -z for z.
-3
Suppose 1 - 9 = 4*k. Let t = 3 + k. Let f = 10 - 7. Solve -4*y = t + f for y.
-1
Suppose -1 = 2*d - 11. Let w be (-6)/(-4)*12/9. Let b be ((-4)/2)/(1 - w). Solve 7*o = b*o + d for o.
1
Suppose 7 = -2*r + 3. Let i be r - (-8 - 1/(-1)). Solve 0 = -5*q + 15 + i for q.
4
Let p be 3 + -2*(-9)/(-6). Solve 0 = 4*l - p*l - 4 for l.
1
Let c be 3/2 + 1/(-2). Suppose 5*n - 9 = c. Solve 0 = 3*d + n*d for d.
0
Suppose -8 = 2*g, 2*v + 8*g = 3*g - 38. Let y be (3/2)/(v/(-12)). Solve 3*b - 3 = y*b for b.
3
Let o(z) = z**2 - 2*z - 3. Let q be o(3). Let h(j) = -j - 2. Let u be h(-5). Let f = -21 + 25. Solve q = -x + u - f for x.
-1
Let h = -79 - -79. Solve 2*g + h = 4 for g.
2
Let l(p) = -p**2 + 6*p. Let h be l(6). Let v = h + 2. Solve 0*k = v*k for k.
0
Suppose 4*v - 2*v - 2*s - 2 = 0, 5*v - 21 = s. Suppose 0 = -3*z - 5*k + 33, -z = -v*z + 3*k + 15. Solve -1 = -5*r - z for r.
-1
Let q(r) = 3*r - 1. Let j be q(1). Suppose 0 = 5*f + 2*u - 13, 2*u + 2 = j*f + 6*u. Solve 0*c = f*c for c.
0
Suppose d - 4*u + 2*u + 2 = 0, 4 = d + 4*u. Solve s + 5 = -d for s.
-5
Suppose -5*x + 85 = 5*n, -2*x + 4*x - 4*n - 22 = 0. Solve 0 = 2*d + 3*d + x for d.
-3
Suppose 2 = -5*b + 27. Suppose b + 3 = -4*t. Let a(y) = -y**3 - y**2 + 3*y + 2. Let o be a(t). Solve o = -4*l - 3 + 7 for l.
1
Let a be 6/((10/(-5))/(-2)). Solve 3*g - a = 3 for g.
3
Let q = -78 + 84. Solve q = -2*p - p for p.
-2
Let p be 6/2 + (2 - 1). Let g be 4/(-8)*1*0. Solve -l + g = p for l.
-4
Suppose d + 0*d = 0. Suppose -4*s = -55 - 5. Solve 3*j + d = -s for j.
-5
Suppose 0 = 5*w - 47 + 32. Solve -2*k = -w*k for k.
0
Suppose 9 - 3 = 2*w. Suppose -w*z = -0*o + 4*o - 29, -4*z + 7 = -o. Solve -o*h + 9 = -11 for h.
4
Let c = 111 - 109. Solve -3*x - c = -2*x for x.
-2
Let p be 9/(-12) + 81/12. Suppose 0 = 5*o - 15, 0 = 2*x + 4*o - 7*o - 5. Let h be -3 + (x + -2 - -2). Solve -2 = h*m - p for m.
1
Suppose m + 1 = 6. Let j be 11/2 + 11/(-22). Suppose 0*u - j*u = -110. Solve m*g - u + 2 = 0 for g.
4
Let i = -4 - 2. Let v(l) = 2*l + 4. Let c be v(i). Let q = 7 - c. Solve r - 4*r = -q for r.
5
Let z = -8 + 13. Suppose -5*k = -5*t - 40, -z*k - t + 4 = -3*k. Suppose x = -x + k. Solve 0*q = -x*q - 10 for q.
-5
Let r(s) = -2*s**2 + 15*s + 9. Let f be r(8). Solve -f = -7*z + 6*z for z.
1
Let v = -4 + 5. Let r be ((3 - 2)*20)/v. Let g be ((-9)/(-15))/(4/20). Solve -2*w + r = g*w for w.
4
Let s(z) = z**3 - 6*z**2 + 2*z - 9. Let p be s(6). Suppose 0 = 20*v - 17*v - 6. Solve v + p = -r for r.
-5
Suppose -7*r + 24 = -4*r. Solve -2*x + 4*x + r = 0 for x.
-4
Let s(f) = -6*f - 1. Let n be s(-1). Suppose 2*b - 32 = 3*y, 5*b - 52 = -3*y - 14. Let w be 3/5 + (-6)/b. Solve w = -4*x - n - 3 for x.
-2
Suppose 2*v = -2*p - v + 37, 5*v = -4*p + 77. Suppose p = 3*y + 4*w, -7 = -0*y + 3*y - 2*w. Solve 2 = -c - y for c.
-3
Let n(l) = -l**2 + 13*l - 15. Let u be n(11). Solve 0 = u*c - 3*c - 12 for c.
3
Let z be -