*o = -4 + 2 for o.
-1
Let u = -22 - -36. Solve 4*n + u = 2 for n.
-3
Suppose -3*j + 5*j = 10. Suppose -7*k + 5*k = -50. Suppose 3*z + 15 = 3*q, k = 2*z - 4*z + 5*q. Solve z*w = j*w for w.
0
Let k(w) = -w**3 - 8*w**2 - 7*w + 5. Let y be k(-7). Solve 2*v - 1 = y for v.
3
Let d = 1 - 0. Let u be (d - 1)/(4/(-2)). Let o be (u*(-2 - -1))/(-2). Solve o = 5*s - s for s.
0
Let z(w) = -7*w**3 + w. Let h be z(-1). Suppose h = -u - 2*u. Let b = 5 + u. Solve 1 = x - b for x.
4
Let h be ((-8)/(-5) + -2)*-10. Let a = -5 + 8. Suppose -3*y + 3*o + 11 + 1 = 0, 3*y + a*o = -12. Solve y = -4*w + h for w.
1
Suppose r + 4 = 0, 3*u = 5*u - 3*r - 16. Suppose -9 + 59 = u*q. Solve -c - 4*c = q for c.
-5
Let g(j) be the second derivative of -j**3/6 - 4*j**2 - j. Let h be g(-11). Solve -h*d = 2 + 7 for d.
-3
Suppose 0 = 2*d - 0*d + 24. Let q = 12 + d. Solve -3*o + 11 + 4 = q for o.
5
Let x = -19 + 23. Let c = -7 - -7. Solve c = 2*p + 4 + x for p.
-4
Let k be -1 + 19 - (0 - 3). Suppose -k = -3*u - 5*o + 19, o - 30 = -5*u. Solve 0 = -5*n + u + 5 for n.
2
Let g(d) = d**2 - 2*d + d + 0*d**2 + 3*d**2. Let o be g(1). Solve -o*s = 5 + 10 for s.
-5
Let t = 9 + -4. Solve -j + 0 - t = 0 for j.
-5
Let g(x) = x + 8. Let f be g(12). Let h = -16 + f. Suppose -4*v = 4*y + v - 15, 3*y - 2*v = -6. Solve -16 = -y*w - h*w for w.
4
Suppose -14 = -4*c + 2. Let o be (-1 + 0)/(2/(-6)). Solve c - o = -l for l.
-1
Let z = 6 - 9. Let u = z - -6. Let o = -39 + 62. Solve -u = 4*r - o for r.
5
Let x be 4/((2 - 0)/2). Let d = 4 + x. Let n be ((-36)/8)/((-6)/d). Solve 6 = -3*k + n*k for k.
2
Suppose -2*b = -28 + 22. Solve -b*y + 22 = 7 for y.
5
Suppose -7*o = -4*o. Let z(w) = -w**2 - 5*w + 10. Let d be z(-6). Solve o*f + 8 = -d*f for f.
-2
Let j(s) = -s + 16. Let x be j(14). Suppose 0 = 4*u + 4*t + 4, 0 = u + 2*u - t + 7. Let a be u/2 + 8 + -1. Solve -a*o + x*o = -8 for o.
2
Let n be (-10)/3*(-36)/15. Let x = 10 - n. Suppose 0 = 2*i + 5*h - 8, -5*i - h + 20 = -x*h. Solve -4*c + 20 = i for c.
4
Let m be ((-3)/3)/1*-5. Let p = 2 - m. Let x be 3*(1 + (-19)/p). Solve -2 + x = 4*d for d.
5
Let m(c) = 2*c**2 - 9*c - 5. Let f be m(5). Solve f*x = 3*x - 15 for x.
5
Suppose 0 = -5*r - 14 + 59. Solve 2*x = -x + r for x.
3
Suppose -5*d + 4*d = -3*t + 10, 4*t + 2*d = 0. Solve 8 = 2*j + t*j for j.
2
Let z(t) = -2*t**3 + 13*t**2 - 4*t - 2. Let x be z(6). Solve c + c = x for c.
5
Let y(b) = -b**2 - 6*b + 2. Let h be y(-6). Let k = 10 - 8. Solve 0 = -h*x - k for x.
-1
Suppose 4*y - 16 = -5*c, -6 = -0*c - c + 2*y. Let a be ((-6)/9)/(c/(-42)). Suppose 3*w - a*w = 0. Solve -2*b + 7*b = w for b.
0
Suppose -3*s - 200 = 4*p, p - 159 = 5*s + 182. Let l = -44 - s. Let m be ((-2)/(-6))/(2/l). Solve 15 = i - m*i for i.
-5
Let n(x) = -x**2 - 4*x + 6. Let w be -2 + 12/(-3) + 1. Let k be n(w). Let g be (-3)/k + (-3)/(-1). Solve g = 3*s + 7 + 2 for s.
-3
Suppose 0 = -12*n + 8*n + 6*n. Solve 2 = 2*p - n*p for p.
1
Let o be (-3)/2*20/(-6). Suppose -4*l + 18 = o*z, 0*z = -3*l + 2*z + 25. Suppose 4*c - 19 = -l. Solve -5 = 2*f + c for f.
-4
Let p(h) = 2*h - 7. Let y be p(5). Let f(s) = s**3 + 14*s**2 + 12*s - 11. Let k = -35 + 22. Let q be f(k). Solve q*a - 3 = y for a.
3
Let b(x) = x - 2. Let u be b(2). Let r(g) = -g**3 + g + 3. Let i be r(u). Solve i = -c - 2*c for c.
-1
Let u = -9 + 14. Let b = 0 + u. Let w(d) = d - 2. Let v be w(12). Solve b*y = v - 0 for y.
2
Suppose 0 = 8*b - 6*b. Solve -f + 2*f + 1 = b for f.
-1
Suppose -3*c - 3 = -0*c. Let t = -5 - -8. Let y = t + c. Solve y*g - 6*g = -4 for g.
1
Let r be 0/2 - (-3 - 1). Solve -r*d = 2 + 10 for d.
-3
Let v be 8/1*(0 - -2). Suppose -3*c + v = 2*t - 3*t, 3*c = -3*t + 24. Solve 0*h + 3*h = -c for h.
-2
Let k = 7 - 4. Solve k*w + 0*w + 15 = 0 for w.
-5
Let n(k) = -k**2 - 7*k + 1. Let c be n(-3). Let m be c + 4/(-8)*-6. Solve 0*y - m = 4*y for y.
-4
Let r = -13 - -13. Suppose -5*a - 5*g + 7 = -13, 5*g - 15 = r. Solve 0 = -u - a + 2 for u.
1
Let l = 4 - 4. Let t be 3/3*l*1. Suppose t = -2*h - 5*d - 5, -d - 1 = h - 0*h. Solve h = a + a + 10 for a.
-5
Suppose 0 = -4*o - b + 14, 4*o - b + 3*b = 12. Solve -o*a - 2 = -2*a for a.
-1
Let i(n) = n**3 - 11*n**2 - 9*n - 29. Let x be i(12). Solve -4*b + x = 3 for b.
1
Suppose -5*f = -t + 1, -5*t + 2 = 2*f - 3. Let q = f - -2. Solve -4*y = -q*y for y.
0
Suppose 0 = -4*j + 5*v - 20, 8*j - 3*j + 3*v = 12. Let i(f) = f + 5. Let m be i(j). Solve 3*d + m = -7 for d.
-4
Suppose 12 = -0*k + 4*k. Suppose 2*z = 3*z - k. Suppose g - 6 = -y + 4*g, -3*y - g - 2 = 0. Solve y*q = -z*q + 15 for q.
5
Suppose -4*x - f = -9*x + 12, -3*f - 14 = -4*x. Solve -1 - 7 = x*u for u.
-4
Suppose -2*n + 2 = -2*j, -23 = -5*j - 0*n - 2*n. Let i be j/9 - (-2)/(-6). Solve 4*v + 2 + 18 = i for v.
-5
Suppose 4 - 3 = -x. Let i be -1 - 0 - 1*x. Suppose -6*a - 4*b + 25 = -a, -5*a + 3*b - 10 = 0. Solve i = -k + a for k.
1
Suppose 3*q - 7 = -2*t + 6, 5*q = -4*t + 21. Solve 10 = -3*l - q for l.
-5
Let a be ((-5)/20*-4)/((-1)/(-3)). Solve 0 = -a*h + 5*h + 8 for h.
-4
Let k be 6/(6 + -3) + 3. Solve -k = 5*a - 0 for a.
-1
Suppose 0 = 4*j - 2*a - 6, 5*j = 8*j + 4*a - 32. Let u = j - 3. Let v be -2 + -1 + (12 - u). Solve v = o - 3*o for o.
-4
Let l = 5 + 13. Let u be 274/18 - 4/l. Suppose -2*p + 4 = -3*c, -6 - 4 = -2*c - 5*p. Solve c = g + 4*g + u for g.
-3
Let q(x) = x**2 + 13*x + 12. Let h be q(-12). Let r = 7 + -12. Let l = -4 - r. Solve h = 4*u + 9 - l for u.
-2
Let p(w) = -w**3 - 6*w**2 - 7*w - 6. Let s be p(-5). Let l = s + 0. Solve -l*m = -9*m + 5 for m.
1
Let t(v) = -v**3 + 4*v**2 + 3*v + 3. Let w be (-16)/(-6)*3/2. Let o be t(w). Solve 0 = -2*g - 3*g + o for g.
3
Let b(h) be the first derivative of h**2 - h - 2. Suppose 0 = -2*w + 6*w - 32. Let t be b(w). Solve -3*x - 2*x + t = 0 for x.
3
Suppose 2*n + 2*a - 8 = 0, 3*n - 7*a = -2*a - 4. Suppose 7*j - 2*j = -4*s + 30, -s + 1 = -2*j. Suppose n*z - 3 = s. Solve d + z = -0*d for d.
-4
Let k be (-2)/5 + (-82)/(-5). Suppose -k = -8*p + 4*p. Let b(r) = 3*r - 7. Let a be b(5). Solve 3*q - a = p for q.
4
Let q = 8 + -17. Let d(x) = -2*x + 2. Let y be d(q). Solve 6*t = 2*t - y for t.
-5
Let j(n) be the third derivative of -n**4/24 - n**3 - n**2. Let d be j(-10). Solve -d*o - 9 = 11 for o.
-5
Suppose o - d = 2*o - 7, 5*o - 19 = 3*d. Suppose 2*m - 4*m = -6. Let u be (1 - m) + 0 - -3. Solve u + o = 3*h for h.
2
Let l(s) be the third derivative of s**6/30 + s**3/6 - 5*s**2. Let i be l(1). Let k = i - -5. Solve 4*p + k = -p for p.
-2
Let j = -3 - -6. Solve 2*t - 3 = j for t.
3
Let j be (-3)/(-21) + 144/21. Let f(v) = -v**3 - 12*v**2 - v - 8. Let m be f(-12). Solve -m*q - 5 = j for q.
-3
Let o(u) = 2*u - 6. Let j be o(6). Solve 3*w + j = -3 for w.
-3
Suppose t = 6 - 1. Suppose -3 = -3*k + t*v + 19, -4*k = -3*v - 22. Solve 0 = 5*i + k + 1 for i.
-1
Let a(o) = o**3 - 2*o**2 + 2*o - 1. Let m be a(1). Solve -c + m = -1 for c.
1
Let a = -46 + 46. Solve 5*n + a*n - 5 = 0 for n.
1
Let b be -4*((-22)/4 + 4). Suppose -5*d = -b*d. Solve d*o = o - 3 for o.
3
Suppose 5*a + 6 = 7*a. Solve -1 = -2*t - a for t.
-1
Let w be -1 + (-5 - (2 - 6)). Let m = w - -7. Solve 0 = m*j + 20 for j.
-4
Suppose 2*o - 13 = 5. Let d(z) = z**3 - 8*z**2 - 8*z - 7. Let g be d(o). Solve -h + 0 = g for h.
-2
Suppose 76 = -3*y + 85. Suppose h + h = 8. Solve h*d - y*d = -2 for d.
-2
Let q(u) = -8*u**3 + 3*u**2 - 4*u + 5. Let z(t) = 7*t**3 - 2*t**2 + 3*t - 4. Let l(h) = 4*q(h) + 5*z(h). Let p be l(1). Solve -p*d + 2*d = 4 for d.
-2
Suppose -5*a = -3*m - 3, -3*m - a + 0 + 15 = 0. Let r = 14 + -7. Solve y + m = r for y.
3
Suppose 2 = -2*p + 58. Suppose 5*g - p = 3*f, 4*f = f + 2*g - 13. Let m = f - -1. Solve -5*c - 36 + 11 = m for c.
-5
Let n = 25 - 14. Let u be (-2)/11 - (-2)/n. Let q = 2 + u. Solve 0*k - 10 = q*k for k.
-5
Let h = -10 + 8. Let j = 3 + h. Solve -j = 4*i - 3*i for i.
-1
Let a be 34/5 - 2/(-10). Suppose 3 = -3*o - r + a, -6 = o + 4*r. Let t(j) = -j**2 + 3*j + 1. Let m be t(o). Solve m*p - 6 = 6*p for p.
-2
Let y = 24 - 20. Solve 5*b - y = 11 for b.
3
Let h = 16 + -7. Let l = h + -7. Solve -2 = -l*t + 4*t for t.
-1
Suppose 30 = 2*y + 3*f, -5*f - 11 = -3*y - f. Let g be ((-5)/15)/((-1)/(-3)). Let z = 3 - g. Solve -y = -z*d + d for d.
3
Let s(x) = -x + 6. Let w be 46/8 + 1/4. Let d be s(w). Suppose d = -g + 4 - 1. Solve p = -g - 2 for p.
-5
Let p(g) = -1 - 2*g - g - 4*g.