Let a = 4 + m. Let j be 3*3/18*8. Solve 0 = -z - j + a for z.
2
Let t be (2/(-3))/((-1)/3). Let h be -2 + (-1)/(t/(-10)). Suppose -w - 8 = -h*w. Solve w*c = -c - 15 for c.
-3
Let l be (-2)/2 - (4 + -1). Let c be (l/(-6))/((-2)/(-21)). Solve -c = o - 2 for o.
-5
Suppose -3*c - 2 = -29. Suppose -20 = -4*l - 0*l + 4*x, l - 3*x - c = 0. Solve -l*r = -6*r + 6 for r.
2
Let s = -8 - -13. Let k be ((-4)/(-2))/(1/1). Let q = -21 - -22. Solve -k*t = s + q for t.
-3
Let q be (-21)/(-7) - (1 - 0). Suppose 2*c - 3*p + 2 = 21, 0 = q*c + 4*p + 16. Solve 2*w = -c*w for w.
0
Suppose 5*k - 45 = -3*z, 3*k + z - 19 = 8. Suppose -q + 2*v - v = 0, v = 4*q - k. Solve q*t + 0 = -15 for t.
-5
Let f(h) = 8*h + 16. Let r be f(-2). Solve -5*z - 5 + r = 0 for z.
-1
Let k(q) = -q**2 - 7*q + 3. Let b be k(-7). Suppose 0 = -d + b. Solve -d*t + 0*t = 0 for t.
0
Suppose -16 = -5*b + b. Solve -b = 3*q - 10 for q.
2
Let k be ((-20)/6)/(9/27). Let a = k - -10. Solve a*u + u = 0 for u.
0
Let q(p) = -p**2 - 3*p + 1. Let z be q(-3). Solve -5 = -r - z for r.
4
Suppose 4*l = 5*b + 12, 3*b = -5*l + 77 - 25. Suppose 0 = -4*x - x + 20. Suppose x = 3*f - 5. Solve -20 = -l*n + f*n for n.
4
Let x(m) = -m**3 - 2*m**2 + 2*m + 4. Let f be x(-3). Let z = f - 5. Solve z*j + 3 = 1 for j.
-1
Suppose 0 = -4*r + 37 + 11. Let q = r + -9. Solve q*m - 3 = -9 for m.
-2
Suppose 17*d = 19*d - 4. Solve -4*n = -d*n + 8 for n.
-4
Let v = -4 + 4. Let s = v - -4. Solve 2*c - s = c for c.
4
Suppose 31 = 3*l + 5*w, -4*l + w = 2*w - 30. Solve -3*a - l = -1 for a.
-2
Let j(v) = v - 9. Let s be j(13). Suppose -k + 19 = f, 0*f - 44 = -2*f + s*k. Solve -5*w - f = -5 for w.
-3
Suppose s - 2*s - 3*l - 9 = 0, 0 = -s + 5*l + 15. Let a = -167 + 170. Solve -a*t + 7 + 5 = s for t.
4
Let j = 12 + -13. Let y = j + 3. Solve 5 - y = -h for h.
-3
Let i = 8 - 8. Solve -5*t - 25 = -i*t for t.
-5
Let l = -5 + 5. Let v be l/((-8)/2 - -2). Solve v*q + 4*q = 16 for q.
4
Suppose 1 = -2*g + 19. Let x = g - 9. Solve x = -3*d - 2*d + 10 for d.
2
Let d(z) = -z**2 + 5*z + 8. Let f be d(7). Let b be (-9)/f*2/1. Solve b*w - w = -2 for w.
-1
Let v be 1 - (3 + 8/(-4)). Solve 16 = 4*c - v*c for c.
4
Let c(t) = -t. Let o be c(-5). Suppose -x + 2 = -5*v, -3*v + o*x = -2 + 12. Solve v = h + h for h.
0
Let k = 9 - 10. Let q be (3 + -3)/(k + 2). Suppose 4*b - 4 = -q. Solve b + 19 = -5*v for v.
-4
Let j(k) be the first derivative of k**3/3 - 9*k**2/2 - 10*k + 5. Let v be j(11). Solve v = -9*a + 5*a for a.
-3
Suppose 0*o + 23 = 4*o + 5*k, 4*o + 2*k = 14. Solve -o*b - 4 = -3*b for b.
4
Suppose -4 = -3*l + 2. Suppose -n + l*n - 2 = 0. Solve -7*v = -n*v + 15 for v.
-3
Let f(p) be the first derivative of -5*p**2 - 6. Let b be f(-2). Solve -b + 0 = -4*g for g.
5
Suppose s = 2*s + 9. Let d be 6/s - (-33)/9. Suppose 3*o - 12 = -d*l + 4*o, 0 = 3*l + o - 12. Solve -v = l*v for v.
0
Suppose -4*l = 1 - 21. Solve -l*i + 2*i = 0 for i.
0
Let z be (-20)/6*6/5. Let v be (117/12)/(-3)*z. Solve 5*h - v = -3 for h.
2
Let v = 99 + -55. Let o be 4/(-10) + v/10. Solve 0 = d - o*d + 9 for d.
3
Let q be -1*(-6 - (-1 + 0)). Suppose -19*f + 26*f = 91. Let l(v) = v - 4. Let h be l(4). Solve -2*u - f + q = h for u.
-4
Let m(d) = d**3 + 5*d**2. Let b be m(-5). Solve b*k = k - 4 for k.
4
Let u(d) be the second derivative of -d**4/12 - 7*d**3/6 - 3*d**2 + 6*d. Let o be u(-6). Solve 2*x - 5*x = o for x.
0
Let s be 1 - -1 - (0 - 2). Suppose s*w = 29 + 3. Let v be 50/18 + w/36. Solve 2 = v*h - 1 for h.
1
Let v(c) = -c**2 + 3*c + 2. Let p be v(3). Suppose -p*h + 5*h = 0. Solve h = -8*u + 5*u for u.
0
Let z(u) = -u**3 - 11*u**2 - 11*u - 5. Let q be z(-10). Solve 10 = -q*v + 30 for v.
4
Let i = 9 + -9. Suppose 3*j + 2*j = -10. Let b = i - j. Solve 3 = -b*w + 1 for w.
-1
Suppose 10*z = 6*z + 20. Solve -z*s + 0*s = 0 for s.
0
Let f(k) = k**3 + 5*k**2 - 9*k - 14. Let a be f(-6). Solve -a*x - 16 = -4 for x.
-3
Let w be 3 + (-1 - 1) + 4. Suppose 2*j = -5*b + 8, 4*j + 0*j - 6 = -5*b. Let a be (-3*w)/(0 + j). Solve -a = -5*u - 0 for u.
3
Let z be 0/(14/63 + 48/27). Solve z = -7*t + 4*t + 15 for t.
5
Suppose 5*k = z - 6*z + 5, 0 = -4*k - 5*z + 4. Solve 2*c + k = c for c.
-1
Let b be 7 - (2 - 0 - -1). Solve 0 + 16 = -b*z for z.
-4
Let d be (-5*(3 + -4))/1. Let j be (-4*2)/(1 + -3). Solve -j = d*p + 16 for p.
-4
Suppose -o = 5*s + 4*o, -s + o + 6 = 0. Suppose t - 18 = 4*g, -g - 6 = s*t + 2*g. Solve -4*k = -2*k - t for k.
1
Let u(j) = -j**2. Let g(b) = b**3 + 9*b**2 + b. Let o(m) = -g(m) - 6*u(m). Let w be o(-3). Solve 0*h = -w*h + 6 for h.
2
Let z be ((-6)/5)/(9/(-30)). Let a(r) = r**3 + 4*r**2 - 5*r + 4. Let t be a(-5). Let m be 1/(8/10)*t. Solve z*p + p = m for p.
1
Let x = 8 + -6. Suppose -x*k = -2 - 6. Suppose -d = d - k. Solve d*g = -2*g - 4 for g.
-1
Suppose -5 = l + t + 30, -3*l - t = 107. Let b be l/8*6/(-3). Solve -q = 2*q + b for q.
-3
Let i = -30 + 32. Solve -i + 4 = -o for o.
-2
Suppose 1 = t - 1. Suppose t*y - 4*q = 26, 3*y + 11 = q - 5*q. Suppose -4*o = -y*o - 3. Solve o*g + 15 = -0 for g.
-5
Let m = 7 - 7. Suppose 0*b - 5*b = m. Solve 2*t - 2 = -b for t.
1
Suppose 0 = 3*i + i. Suppose -24 = -3*t - 4*p, i = -5*t + p - 3*p + 26. Solve 4*n + 24 - t = 0 for n.
-5
Let a be ((-10)/3 - 0)*3. Let y be (a/(-4))/(9/18). Solve -y*z = -0*z for z.
0
Let m(w) = -w**3 + 7*w**2 - 5*w - 2. Let q be m(6). Let p(j) = -1 - 21*j + 5 - j**2 + 9*j. Let f be p(-12). Solve -q*h = -f - 0 for h.
1
Let t be 4/(-12)*3*0. Solve t*c - 2*c = 8 for c.
-4
Let u = -5 - -3. Suppose 4 = -5*c + f - 4, 0 = 3*c + 2*f + 10. Let z = u - c. Solve z = 3*i + 2*i for i.
0
Let h be (-3)/15 + (-38)/10. Let s = h - -6. Solve -5*o = -3*o - s for o.
1
Suppose 5*n = 7 + 3. Solve -j - 3 + n = 0 for j.
-1
Let x be (1 - -5)*(96/(-18))/(-8). Solve 3*r + 5 = -x for r.
-3
Let f = 18 + -14. Let m = f - 1. Solve m*p = 6*p - 12 for p.
4
Let p = -23 - -30. Suppose 2*g + p = 19. Solve 5*j - 2*j + g = 0 for j.
-2
Let g(j) = 2*j**2 + 12*j + 11. Let v be g(-5). Suppose -5*c + 5 = -4*c. Suppose 5*t - c = -2*i, -i - i = 3*t - 3. Solve -3*l - 2 - v = i for l.
-1
Let y(t) = -t**3 + 6*t**2 + 4. Let n be y(6). Suppose 5*d = -n*o - 20, -3*d = -d + 4*o + 20. Solve 5*k + d = -20 for k.
-4
Let l(u) = -u**2 - 3*u + 8. Let j be l(-4). Solve d + j*d - 15 = 0 for d.
3
Let i(b) = -b**2 - 2. Let g be i(0). Let q be (3/5)/(g/(-10)). Solve -q*x = 2*x + 10 for x.
-2
Let n be 1/2*(1 + 5). Solve 4*w = 3*w - n for w.
-3
Let y = 23 - 16. Let r = y - 2. Let b = 0 + r. Solve b*s = 4 + 6 for s.
2
Let t(w) = w**3 + 2*w**2 - 1. Let g be t(-1). Let l be 6/21 + (-40)/(-7). Let a be (l/(-4))/((-2)/4). Solve g*n + 12 = -a*n for n.
-4
Let g be 6 - (-3 - 0)/((-6)/10). Let p(j) = -j**3 - 3*j**2 - 3*j. Let c be p(-2). Solve c*h + g = h for h.
-1
Let s be 0*(-2 - 0)/4. Solve l = -s*l + 2 for l.
2
Suppose -3*o - 5 = -r + 3, o = -3*r - 6. Let b be (o - 3)*-1 - 4. Solve -b*p + 3*p + 3 = 0 for p.
-3
Let r(u) = u**3 - 2*u**2 + u. Let t be r(1). Let b be (-2)/(t + (-3)/6). Solve 6*z - b = 5*z for z.
4
Suppose 5*s + 2*w = 82, -w = 4*s - 110 + 42. Let u = s + -6. Solve 0*i + 4*i = u for i.
3
Let c(w) = w**3 - 9*w**2 + 4. Let p be c(9). Let t = 5 - p. Solve -t = o - 3 for o.
2
Let b(i) = -3*i + 3. Let g be b(2). Let u = -8 - -11. Let q = u + g. Solve q*n + 5 = -n for n.
-5
Let o = -22 + 29. Solve -1 - o = 2*x for x.
-4
Let m = -48 + 53. Solve 0*s = -m*s + 25 for s.
5
Let u(d) = 2*d**2 - 13*d - 3. Let n be u(7). Solve -4 = -n*v + 3*v for v.
4
Let g be -1*(1 + -1)/(-2). Suppose 5*u = w + 17, -4*u + 5*w + 22 = -g*u. Solve -u = 2*p - p for p.
-3
Suppose 264 = 26*o - 14*o. Solve 4*p + 6 = o for p.
4
Let f(r) = r. Let x(m) = -4*m - 6. Let j(q) = -3*f(q) - x(q). Suppose 0 = -y - 5*o - 4 + 13, 0 = -3*y + 3*o - 27. Let l be j(y). Solve -t + 4 - 1 = l for t.
3
Suppose -z - 23 = -x, -3*x - 2*x - z + 127 = 0. Solve 6*v = v + x for v.
5
Suppose -2*r = 2*r - 32. Suppose r = w + w. Solve -m + 15 = w*m for m.
3
Let z = 4 - 6. Let m(r) = 4*r**2 + 3*r. Let d be m(z). Solve -3*g + d = 2*g for g.
2
Suppose 2*k + 21 = 5*b, b - 2*b = 5*k + 12. Suppose 4 = b*m - 14. Solve -w + m = 3 for w.
3
Let v be 4*(5/4 - 15/20). Solve 2 = v*h - 0 for h.
1
Suppose w + 0 - 2 = 0. Let f be w*2 - (2 + -2). Solve -m + 10 = f*m for m.
2
Let m(q) = 6*q + 8. Let j(t) = -5*t - 7. Let d(s) = 5*j(s) + 4*m(s). Let c be d(-8). Let g b