4*z - 6 + 2 for z.
-1
Suppose 6*t = t + 25. Solve -2*d - t + 1 = 0 for d.
-2
Suppose -2*w - 9 = -3*w - 2*n, 0 = 2*w - 4*n - 2. Solve 4*l - w = -l for l.
1
Suppose 5 = -0*h + h. Let g = h - 1. Suppose -5*p - 20 = -5*i, -3*i - p + g = -0*p. Solve 0 = -i*v - 3*v + 10 for v.
2
Let a(u) = -u**3 - 9*u**2 - 10*u - 11. Let d be a(-8). Suppose d*m = 18 + 7. Solve -2*r = 3 + m for r.
-4
Suppose 0 = v + k - 3*k, -k = 4*v. Let a = 4 - v. Solve -3 = -a*s - 7 for s.
-1
Suppose 0 = -5*w - 5*h + 45, -4*h - 2 = -3*w + 4. Solve 2 = w*g - 4*g for g.
1
Suppose 2*o + 3*y = -2*y - 2, -5*o - 2*y + 16 = 0. Suppose 2*m - 25 = 7*m, o*w = m + 29. Let t be 1 - (2 - 5)/(-3). Solve 0 = 2*q - t*q + w for q.
-3
Suppose 0 = -22*t + 19*t + 12. Solve t*g + 20 = -g for g.
-4
Let a = -12 - -32. Solve -6*t + t = -a for t.
4
Suppose 2*c + 5 - 7 = 0. Let j be (-2 - 0)/4*0. Solve d = -j*d + c for d.
1
Suppose 2*l + 2*j + 0*j = 44, -4*j - 38 = -2*l. Let c = 26 - l. Solve 2 = c*z - 4*z for z.
2
Let s(x) = -x**3 - 8*x**2 - x - 5. Let c be s(-8). Solve -1 - c = -p for p.
4
Suppose -4*k + 0 = -24. Suppose k*x - 4*g - 12 = x, 2*x + 4*g = 16. Solve x*i - 7 = 5 for i.
3
Let x(f) = -f**2 - 8*f - 6. Let o be x(-7). Solve -4*y + 3 = -o for y.
1
Let l = 25 - 24. Suppose -3*m - 5*q - 20 = 0, -3*q = m - 4*q - 4. Suppose m = -4*t + 16 - 0. Solve -3*v - t = -l for v.
-1
Let y be 3/(-4) - (-62)/8. Let u = -5 + y. Solve 0 = 5*s - u + 12 for s.
-2
Let l be 1 + (1 + -2 - -1). Solve q - 2 = l for q.
3
Let m(i) = i**3 - 4*i**2 + 3*i + 1. Let o be m(3). Solve j + 0 = o for j.
1
Let k(z) = -z + 16. Let d be k(11). Suppose -2*r + 23 = d*x, 0*r - 14 = -2*x - 2*r. Solve -x + 19 = -4*c for c.
-4
Let h = -4 + -1. Let u be h/5*(1 + -2). Solve u = w - 0*w for w.
1
Let i(b) = 5*b**2 + b - 1. Let o be i(1). Let t(k) = k. Let v be t(o). Solve x - v = -0*x for x.
5
Let m be 3 + -2 + (6 - 5). Suppose 0*x = 4*x - 12. Solve m = -l + x*l for l.
1
Suppose 3*o + a = 38, -o + 1 = -a - a. Solve -o + 1 = -5*g for g.
2
Suppose w - 2 - 8 = 0. Let o = -6 + w. Solve d = -o*d - 15 for d.
-3
Suppose 3*v + 0 = 6. Suppose 0 = 3*i + 2*i + v*a, 0 = -2*a. Suppose -4*k + 4 + i = 0. Solve -t + 0 = -k for t.
1
Suppose -20 = -16*s + 11*s. Suppose 0 = 2*a, -2*a - s = -2*n + 2*a. Solve -1 = g - n for g.
1
Suppose -3 = -a + 1, -a = -f + 1. Let m be 4*1/(-4)*f. Let n be 0 + 1 + 6 + m. Solve 0 = t + n*t for t.
0
Let v be (-10)/15 + (-44)/(-12). Solve 2*x = v*x for x.
0
Let o be (-7)/(-35) + 14/5. Solve -o*m - 8 = -m for m.
-4
Let g = 16 - 9. Let a be (-20)/(-6) - g/21. Suppose 6*w = w. Solve a*y - 2 + 14 = w for y.
-4
Let p = 2 + 0. Suppose 5*d + i - 13 - 20 = 0, -4*d + i = -21. Suppose 5*l = -5*y + 85, -2*l + d*l = -y + 23. Solve -y = -p*u - 5 for u.
5
Suppose -5*t = -t + 7*t. Solve -5*x - 2 - 3 = t for x.
-1
Suppose -4*y + 5*r = -16, -2*y - y - r + 12 = 0. Suppose y*g - 5*g = -8. Suppose 5*a - 3*q + 10 = -7*q, -3*a - 2*q - 4 = 0. Solve -a*p - g = -0 for p.
-4
Let m = 4 + -1. Let y = 1 + 2. Solve -y*i + m = -0*i for i.
1
Let z(f) = -f**2 + 8*f - 9. Let k be z(6). Suppose 3*v - 15 = -2*v. Let d be (-1)/(-5) - 56/(-20). Solve -d*t = -k - v for t.
2
Suppose -3*z + 22 = 4*f - z, f - 2*z = -7. Solve 2*w = -f*w - 5 for w.
-1
Let j be (-5 - -3) + 4*1. Suppose -2*p = -j*w - 0*p + 58, 4*w + 5*p - 98 = 0. Solve -w + 12 = -3*o for o.
5
Let y be (2 - -2)*(2 + -1). Suppose 0 = -y*q - 2*a + 86, 2*q + q - 2*a - 54 = 0. Solve -2*f = 3*f - q for f.
4
Suppose 0 = -4*l + 11 + 9. Let v(r) = r**2 - 4*r - 1. Let t be v(l). Suppose -t*a + 12 + 20 = 0. Solve -3*h = 1 + a for h.
-3
Let t = -6 + 12. Suppose -3*h = -t*h + 3. Solve -d = -2*d + h for d.
1
Suppose 5*a = a - 12. Let h be 5/a*(-3)/1. Suppose -3*o + o - 2*b + 30 = 0, -5*o = -h*b - 55. Solve 5*s - 7 - o = 0 for s.
4
Let y = 9 - 14. Let s be (-214)/(-10) + (-3)/y. Suppose -h + 0 = 5*d - s, -3*d = -12. Solve -4*n + h + 6 = 0 for n.
2
Suppose 5*h - 50 = -20*h. Let m(r) be the third derivative of r**6/30 - r**4/12 + r**3/6 + 2*r**2. Let l be m(1). Solve u = l*u + h for u.
-1
Let r = -13 + 22. Let m = r + -5. Let s be 2*m + 3/(-1). Solve -c = s - 2 for c.
-3
Let w(c) = c**3 - 10*c**2 + 14*c - 43. Let x be w(9). Solve -x = 4*k - 2*k for k.
-1
Let z(v) = v**3 + 8*v**2 + v + 10. Let n be z(-8). Solve -7*h + n*h = -15 for h.
3
Suppose -5*g + 40 = 4*f, -2*g + 3*g = f - 1. Solve g - 12 = -4*u for u.
2
Suppose s + 3*s = 2*c - 6, -3*s = c - 13. Suppose -5*q - 22 = -c*q. Let i = 18 - q. Solve 3*v = i - 1 for v.
2
Suppose -3*w = b - 28, 3*b + w - 35 - 25 = 0. Let t = 20 - b. Solve 3 = -4*h - t for h.
-1
Let u = -141 - -144. Solve 4*d - u*d + 3 = 0 for d.
-3
Let t = 19 - 14. Solve w + 8 = t*w for w.
2
Let k = 34 + -29. Let n = 3 - 3. Let c(y) = -y**2 + 9*y - 9. Let l be c(7). Solve n = -0*u + k*u - l for u.
1
Suppose -3*q + 3*j + 9 = -0*q, -2*q - 3*j = 19. Let a = q + 6. Solve -8 = 4*w + a for w.
-3
Let c = 25 + -23. Solve -c*a = -2 + 12 for a.
-5
Suppose 5*x = x. Let u be (-4 - (0 - 2))*16/(-16). Let z be (-22)/(-4) - 2/(-4). Solve x*c + z = u*c for c.
3
Let s(y) = -y + 3. Let q be s(-5). Suppose -a + 10 = -2*h, -h + 17 = -3*a + q*a. Let c be ((-16)/6)/(2/h). Solve -5*g = -c*g - 3 for g.
3
Suppose 6 = -4*s + 14. Solve 2*f + s*f = -8 for f.
-2
Let l be (-2)/(-10) + 5/(-25). Suppose 3*s - 27 + 6 = l. Let t = s + -5. Solve -t = o - 5 for o.
3
Suppose -4*j + 11 = r - 3*j, -2*r = -5*j - 1. Solve -a + r = a for a.
4
Let n(c) = c**2 - 8*c - 14. Let m be n(10). Solve 4*j = 2 + m for j.
2
Suppose 0*y - 5*y = p - 3, -5*p + 15 = -3*y. Suppose -p*g = -13 - 5. Solve -d - 2*d = g for d.
-2
Let t(v) = -v**3 + 14*v**2 - 16*v + 18. Let z be t(13). Let b be (-3)/(-2)*(-28)/z. Solve 4*o - b*o + 10 = 0 for o.
-5
Let x = 36 - 31. Solve 0*s = x*s + 5 for s.
-1
Let s be (-32)/(-12) + 4/(-6). Suppose -12 = -v - k - s*k, 0 = 2*v + 2*k - 12. Solve v*g + 0 = 6 for g.
2
Let i(x) = -x - 1. Let l be i(-1). Let w be (32/4)/(2 + -1). Let b = 2 + 0. Solve l*k + w = -b*k for k.
-4
Let y be 2*(-2)/(-4)*3. Solve -h - 6 = -y*h for h.
3
Suppose 4*u - 2*z = 14, 0 = u + 4*u - z - 19. Suppose 2*w + 22 = u*w. Solve -4*h - w = -3 for h.
-2
Let h be 5/15*1*15. Suppose 2*c = -5*b - 20, 6*b - 2*c - 8 = h*b. Let j be b*(-4 + 6/2). Solve -7 = -w - j for w.
5
Let y = 6 + -9. Let w = 7 + y. Solve w*q + 9 = -3 for q.
-3
Suppose 0 = 5*h - 2*h - 5*g + 16, 5*h - 35 = -4*g. Solve u - h = 2 for u.
5
Let k be -3 - (2 + (-1 - -2)). Let t = k + 6. Solve t = -5*c + 4*c for c.
0
Suppose 4*u - 3*u + 17 = 0. Let g be ((-51)/u)/(3/2). Solve 7*q + 20 = g*q for q.
-4
Let y = 3 + 1. Suppose 13 + 11 = y*i. Solve 0*o = 3*o + i for o.
-2
Let z be (-12)/20 - 13/(-5). Solve z*o = 4*o for o.
0
Let j(l) = l**2 + 2*l. Let t be j(-2). Solve 2*q + 2*q + 16 = t for q.
-4
Let b be 4/10 + (-18)/(-5). Let l = -22 + 10. Let x be (l/7)/(4/(-28)). Solve -x = -b*i - 4 for i.
2
Suppose -2*r = -r - 2. Let p be 2/(-8) + (-78)/8. Let a be p/(-10)*0/2. Solve 2*f + r*f - 20 = a for f.
5
Suppose 4*o + 18 = o. Let n = 6 + o. Suppose n = 4*d - 5*r - 45, -d - 5 = d + 3*r. Solve -2*f - 1 = -d for f.
2
Suppose 6 = 2*k, 4*h - 6*h - k = -15. Suppose 0 = h*g - 4*g - 10. Let d = -2 - -2. Solve d = g*o - 5 - 10 for o.
3
Suppose 0 = 4*t - 2*s - 16, 3 = -3*t - 2*s + 1. Solve t*f = -3*f - 10 for f.
-2
Let h be (-1 - -2)*(-6)/(-2). Let c be (-8)/12 + 124/6. Solve -c = -8*w + h*w for w.
4
Suppose 4*k - 59 = 53. Solve 8 = -5*v + k for v.
4
Let m(o) = 0*o + 4*o - 8*o + 5*o - 7. Let i = 4 + 3. Let x be m(i). Solve 0 = 4*n - 16 - x for n.
4
Let b(o) = -3*o + 17. Let t be b(5). Solve 2*s + t*s = -16 for s.
-4
Suppose -29 = -5*l + 31. Solve -s - l = 2*s for s.
-4
Let z(t) = -t**3 + 14*t**2 - 12*t - 11. Let i be z(13). Let x = 2 - 0. Solve 0 = -i*v - 0 + x for v.
1
Suppose 4*i + q - 27 = 0, 0 = 5*i - 4*i + 5*q + 17. Solve -i*m + 4*m + 8 = 0 for m.
2
Suppose -c + 0 = -9. Solve -n + 4*n = c for n.
3
Let i = 74 + -53. Suppose 4*k = -9 + i. Let t be (-2)/4*-2*0. Solve t = f - k - 1 for f.
4
Let a = 94 + -90. Solve -1 = -a*n + 3 for n.
1
Let t = -2 - -5. Solve -4*j + t = -13 for j.
4
Let q(r) = -r - 6 - 4*r - r**2 - 7 + 11. Let a be q(-2). Solve a*w - 9*w - 5 = 0 for w.
-1
Suppose -2*l - 1 = -3*l. Suppose 3*p + 3*f + 12 = 0, 3*p - 2*f + 1 + 1 = 0. Let w be p - 1*(-4)/l. Solve -3*b + w - 14 = 0 for b.
-4
Let p = 9 + -5. Let j be p/14 + (-1