 = 72*z - 68*z. Solve 0 = m - z + 1 for m.
-1
Let k(a) = 2*a**2 + 2*a + 1. Let y be k(-2). Solve 8 = 3*b - y*b for b.
-4
Let q = -2 - -3. Let u be -2 + (-2*q - -4). Suppose -8 = -4*t - u. Solve t*o + 1 = o for o.
-1
Suppose -4*o + 5*s + 4 = 0, 2*o - s = -o + 3. Solve 3 + o = n for n.
4
Let c = -29 + 34. Solve 2*m - c = 7*m for m.
-1
Let b(m) = m**2. Let i be b(3). Suppose -n = -2*g + i, 5*n = 5*g - 3*g - 21. Let v = g - -3. Solve -l - l - v = 0 for l.
-3
Suppose 3*h = -8 + 20. Solve -h*g + 5 = -3*g for g.
5
Suppose -6*p + 27 + 63 = 0. Solve -4*j + p = -j for j.
5
Suppose -4*z + 21 = 5. Solve 0 = 3*m - m + z for m.
-2
Let m be ((-6)/3)/((-4)/10). Suppose 2*f + m = -11. Let s be (6/(-24))/(2/f). Solve -5*o + s = 21 for o.
-4
Let t(z) be the third derivative of -z**5/60 + z**4/3 - z**3/2 + 3*z**2. Let w be t(6). Let d be (4/(-5))/(2/(-10)). Solve d*q - w = 3 for q.
3
Let o be 0/(-2)*(-7)/14. Suppose 0 = -7*v + 2*v + 15. Solve -v*d = -o*d - 3 for d.
1
Suppose 0 = d + 2*d - 18. Let v(h) = h**2 - 5*h - 7. Let t be v(d). Let x = t + 2. Solve f = -0*f + x for f.
1
Let a(j) = j**3 - 3*j**2 - 3*j + 2. Let k be a(4). Let h = -4 + k. Suppose -h*v + 5*o = -v - 35, 4*o + 1 = -v. Solve c = -4*c + v for c.
3
Suppose 12 = 3*b - b + 2*p, -p - 2 = 0. Suppose 0 = 2*z + 3*g - b*g - 28, -3*z - 2*g + 4 = 0. Solve -8*t - 4 = -z*t for t.
-1
Suppose 4*g - 24 = 2*j, 4 = -5*j + g - 5*g. Let p be j/(-1) + (-2 - -1). Solve -9 = -3*q - p for q.
2
Let z be 5/((-25)/5) + 0 + 6. Solve -2*b = z + 1 for b.
-3
Let n be (-9 - 0 - -2)/(-1). Solve -n = -y - 3 for y.
4
Suppose 2*b = -2*d - 20, -3*b + 7*b = -2*d - 24. Suppose 64 = 5*k - 1. Let q = d + k. Solve -q*a = -2*a for a.
0
Let y(h) = h**2 - 17*h + 31. Let x be y(15). Solve -x - 2 = -u for u.
3
Suppose 45 = 2*z - 77. Let n = z - 41. Solve n = -4*q - q for q.
-4
Let t = -3 - -5. Suppose 4 + 1 = -5*k. Let p = k + 1. Solve 2*c - t + 0 = p for c.
1
Let i(m) = m**3 - 14*m**2 + m - 10. Let p be i(14). Solve -p*s = -2*s - 2 for s.
1
Let l be -1*(1 - (1 + 4)). Solve 3*d = 5 + l for d.
3
Let r = 105 + -105. Solve 0 = u - r + 3 for u.
-3
Suppose -5*f - 1 = -21. Let w be 3*f/(-6) + 8. Solve a - 3*a = -w for a.
3
Let r(a) = a**2 - 3*a - 1. Let p be r(4). Let h = p - -1. Let m be h + -1 - (3 - 3). Solve m = -2*c - 1 for c.
-2
Let f be 8*((-1)/4 + 18/24). Solve f*x + 0*x = 0 for x.
0
Let g(l) = -1 + 0*l**2 + l**2 - 94*l**3 + 91*l**3. Let x be g(-1). Solve -2*y = y - x for y.
1
Suppose -h - 4*x - 8 = 0, -7 = 2*x - 1. Let j be (-1)/3 + (-2)/3. Let u = -1 - j. Solve f + 8 - h = u for f.
-4
Suppose -12 = -11*p + 7*p. Solve p*j - 20 = 7*j for j.
-5
Suppose 5*f + 2*j - 48 = -0*f, -12 = -f + 2*j. Let y be (-2 + -1)*(-4)/(-6). Let n = y + f. Solve 0*z = -2*z + n for z.
4
Let a be (-2)/(6/(-2 - 1)). Let j be -5*a*(-2)/5. Let h be 3/(-6) + 25/10. Solve -j*r = -4*r - h for r.
-1
Let t(x) = x**2 + 3*x - 1. Let b be t(-4). Solve -f - 2 + b = 0 for f.
1
Suppose -3*x + 7*x = 3*f - 14, 0 = -4*f - 4*x. Suppose p - 3*p = -4*z + 8, 5*z + 3*p - 21 = 0. Solve f + z = -w for w.
-5
Suppose 0 = -2*g - 3*g + 20. Solve -6 = 2*w + g for w.
-5
Let b = 2 - 0. Let s(k) = 2*k**2 + 16*k. Let f be s(-8). Solve f = r - b*r + 2 for r.
2
Let z be 2*(-1)/4*-10. Suppose 7 + 8 = z*y. Let t = 1 - -1. Solve -y*b = t*b + 15 for b.
-3
Let d = -35 + 78. Let s(l) = -l**2 - 3*l + 15. Let c be s(-5). Solve -d = c*a - 18 for a.
-5
Let d = 30 - 30. Suppose 0*a = r + 5*a - 10, 3*r - 5*a + 10 = d. Solve -h - 4 = -r for h.
-4
Let m = 4 + -1. Let j(v) = -15*v + 171. Let o be j(11). Solve m*t - o = t for t.
3
Let x(p) = p - 4. Let n(t) = t**3 - 3*t**2 + 4. Suppose 3*q = -2*q + 15. Let u be n(q). Let i be x(u). Solve h - 3 + 7 = i for h.
-4
Let s = -149 - -158. Solve 3*r - s*r = 0 for r.
0
Let f = 55 + -50. Solve 3*z + f = 14 for z.
3
Let n(v) = -v**3 - 5*v**2 + 7. Let k be n(-5). Suppose -w = -z, k*z = -w + 3*z + 10. Solve w*f + 2*f = -4 for f.
-1
Let d = 47 + -42. Solve 3*f + 14 = d for f.
-3
Suppose -2 = 2*v + 2*a, 4*v - v - 21 = 3*a. Solve 0 = -3*i + 3 + v for i.
2
Let g = -10 - -22. Let b = -8 + g. Let c be b*2*1/4. Solve -5*y = -3*y - c for y.
1
Let y be 14/(-21) + 20/(-6). Let t be (2 + -4)/(y/6). Solve t = 3*v - 0*v for v.
1
Suppose -s = -2*s + 1. Let m = s - 1. Solve 2*a - a + 1 = m for a.
-1
Let o be ((-12)/8)/(3/(-14)). Solve 4*l = 3 - o for l.
-1
Suppose -4*o + 6 = -6. Solve -o*r - 4 = r for r.
-1
Let x be 1/(0 + (1 - 0)). Let s be (3/9)/((-3)/(-9)). Let z = s - x. Solve z = o - 2*o for o.
0
Suppose -3*o = -3*m - 15, -o + 5*m = -2*o - 1. Suppose -2 = -t - 3*s, 0 = o*s - 0*s. Solve 0 = -i - 0 + t for i.
2
Let o(y) = -13*y - 1. Let q be o(-1). Let x(m) = 3*m + 5 + 0 - 2*m - 2. Let z be x(-3). Solve 2*f - 5*f - q = z for f.
-4
Let v be 868/168 + (-7)/6 + 1. Solve -v*n = -0*n for n.
0
Let o(v) be the first derivative of v**2/2 + 10*v + 3. Let g be o(-9). Suppose -3*b = -5 - g. Solve 4 = 2*w + b for w.
1
Let s = 0 - -4. Suppose s*x + 2 - 10 = 0. Solve n - 15 = -x*n for n.
5
Let c be ((-2)/5)/((-12)/30). Let s = 0 + c. Let x be 2/6 - 28/(-6). Solve s = -x*g - 19 for g.
-4
Let i be 2*14 - (-4)/(8/(-6)). Solve -10 + i = -3*l for l.
-5
Suppose -6 = -u + 2*o, 3*u + 3*o = u + 26. Let z = u + -7. Suppose r = 2*r - 11*r. Solve r = -6*m + z*m + 9 for m.
3
Let g be 4/6 + 8/(-3). Let r(x) = -x**3 - 3*x**2 - 2*x + 2. Let q be r(g). Let v = 2 - q. Solve 0*f - 2*f = v for f.
0
Suppose 24*m + 46 = 26*m. Let n = 39 - m. Let v = -6 - -10. Solve -n = -0*g + v*g for g.
-4
Let w(b) be the second derivative of -b**4/12 - 5*b**3/3 + 4*b. Suppose 0 = -2*j - 2*z - 16, 6*z - 3*z + 44 = -5*j. Let x be w(j). Solve 4*m = -x*m + 12 for m.
3
Suppose -5*f = v - 6*v, -v = 5*f - 18. Suppose 0*l + f*l - 54 = 0. Solve -l - 2 = -4*m for m.
5
Let g(u) = u - 8. Suppose 2*w = 4*n, -26 = -4*w - 2*n - 6. Suppose 27 = w*f - f. Let b be g(f). Solve -p = b - 3 for p.
2
Let s be (-25)/(-10)*8/(-10). Let p = -2 - s. Solve p - 12 = 4*q for q.
-3
Suppose f - 4 = -m, f - m = 5 - 1. Let w be f/(-8) + 5/2. Suppose -t + 18 = 2*t. Solve -w*l + t = l for l.
2
Let l = 25 - 24. Let q(h) = h**2 + 2*h. Let c be q(-2). Suppose c = 8*w - 3*w. Solve w = r + l - 0 for r.
-1
Let j(l) = -l**3 + 4*l**2 - 4*l + 2. Let n be 6/3 - 4 - -4. Let u = 0 + n. Let h be j(u). Solve -d + h = -3 for d.
5
Let h be 1 + 0/(3/(-1)). Let n = 2 + h. Let s(f) = -5*f + 3. Let g be s(-3). Solve 0 = 5*r + n - g for r.
3
Suppose -1 + 10 = c. Let q = c - 7. Solve -5 = -q*g + 5 for g.
5
Let u be 4 + (-7 - -4) + -1. Solve u*m - 2*m + 2 = 0 for m.
1
Suppose -96 = -55*j + 49*j. Solve 7 = -3*t + j for t.
3
Suppose 0 = 3*n - 3*o - 18, n + 6 = -7*o + 4*o. Solve -n*w - 5 = -8*w for w.
1
Let s be (-2 - (-9)/6)*10. Let f = s - -10. Solve f*j - 17 = 8 for j.
5
Let k(i) = i**2 + 5*i**3 + 5*i - i**3 - 3*i**3 + 5*i**2. Let l be k(-5). Solve 3*p + p - 4 = l for p.
1
Let h = 6 + -6. Suppose 3*y + 9 + 3 = h. Let t(c) = c**2 + 4*c. Let l be t(y). Solve 5*k = -5 - l for k.
-1
Let z = 141 - 137. Solve 0*j - 12 = z*j for j.
-3
Suppose -4 = m, -j + 5*j = 2*m + 4. Let n(k) = k**2 - 1. Let z(v) = 6*v**2 + 5*v - 4. Let s(i) = j*z(i) + 5*n(i). Let h be s(-4). Solve -4*c + 13 = -h for c.
4
Let m = 5 - 3. Let h be -2 + 1 + 0 + 0. Let p be 1 + (1 - (-2 - h)). Solve 0 = -p*v + m*v + 3 for v.
3
Suppose -7 = l - 16. Solve -4*h = -h - l for h.
3
Let k = 3 + -7. Let x = k - -6. Solve 0 = x*g - 4 for g.
2
Suppose -5*d - z = -98, 2*z - 29 = -5*d + 72. Suppose d = 4*u + 4*f + 3, -2*f + 32 = 5*u. Solve -4*j = -2*j - u for j.
4
Suppose z - 5*h = 19, 6*h = -5*z + h + 5. Suppose 4*i + 18 = 3*c + 3*i, 5*c - 37 = z*i. Solve c*r + 8 + 2 = 0 for r.
-2
Let p = 4 + -2. Suppose 0 = -g + p. Suppose h - 4*h = 0. Solve -5*w + 4*w + g = h for w.
2
Suppose -3*c + 18 = -3*g - 0*g, 0 = -g - c. Let u = -1 - g. Solve -v = -u*v - 1 for v.
-1
Let j be -4 + (2 - 3 - -1). Let k = j - -7. Suppose -k*q + 14 = -13. Solve 0*v + 3*v - q = 0 for v.
3
Suppose i - 4 = -i. Solve i = 2*c - 2 for c.
2
Let c(b) = b + 10. Let v(j) = j**2 - 7. Let i be v(0). Let g be c(i). Let s be 5/((-15)/(-6)) + g. Solve 0 = -2*l + s*l - 12 for l.
4
Suppose -5 + 77 = -4*j. Let i = j - -22. Solve 3*o - i*o = 1 for o.
-1
Let y(g) = -g + 2. Let u be y(8). Let m = 7 + u. Suppose -2 = -v - 0. Solve v*w - 3 = -m for w.
1
Let j(a) = 3*a - 11. Let h be j(9). Suppose 