3*o for o.
-3
Let i be (2 + (-14)/6)*0. Solve r = 4*b - 11, r + 0*r - 2*b + 3 = i for r.
5
Let x(l) be the third derivative of l**4/4 + l**3/3 - 2*l**2. Suppose 0*s = 4*s - 12. Let u be x(s). Solve -u = 5*j - 5*y, 0 = j + y + y + 1 for j.
-3
Let o = -24 - 8. Let i = -19 - o. Solve i = -5*h + 4*n, 0 = -h - 3*h + 4*n - 8 for h.
-5
Suppose -25 = -4*g - 3*k + 8*k, 0 = -3*k - 3. Let j be 5 - ((-1 - 0) + 1). Let u = j - g. Solve -c - 3*n + 2*n + 4 = u, 0 = -4*c + 3*n + 23 for c.
5
Let z be 170/7 - (-6)/(-21). Solve -3*g - z = 3*q, -2*g - 3*g - 34 = 3*q for g.
-5
Let m = 28 - 14. Solve -3*v + 5*j = m, 5*v + 0 + 11 = -4*j for v.
-3
Suppose 6*z - z = 10. Solve -j - z*f + 9 = -3, -5*f = 3*j - 31 for j.
2
Suppose t = -3*t - 24. Let w = -3 - t. Let u = -19 - -39. Solve -4*p + 1 + u = -5*k, -2*k - 14 = -w*p for p.
4
Let v(s) = -8*s. Let o be v(-12). Suppose -4*b = 7*c - 3*c - o, -c + 104 = 5*b. Solve -q + l + 4 = 2*l, 0 = -4*l + b for q.
-1
Let p be 1098/(-27) - 4/(-6). Let m be (-25)/(-4) + 10/p. Solve -r - 5 = -j, -4*r - m*j + 2*j = 4 for r.
-3
Let m(x) = -x**3 - 3*x**2 - 4*x - 7. Let t be m(-3). Let o be (-3)/5 + 346/10. Solve -2*q + 7 = -2*i + i, 3*i + t*q = o for i.
3
Let d = -26 + 31. Solve 0 - 3 = 2*w + j, d*w - 2*j = -30 for w.
-4
Suppose -12 = -2*o - 4. Solve -4*v + 3*q + 14 = o, 0 = q + 2 for v.
1
Let q = -3 + 7. Suppose -3*m - 8 = -q*r + 12, 0 = 5*m + 20. Solve g + 6 = -g + 2*j, g = r*j - 3 for g.
-3
Suppose -4*x + 0*y = -4*y - 12, 0 = 2*y. Let k(s) = s - 8. Let h be k(8). Solve -3*l + 2*w = h, -x*l + 2 + 1 = -w for l.
2
Let g = 16 + -6. Solve 4*h - g = -2*m, h = 2*m - 5 - 0 for h.
1
Let u = 18 - 25. Let l = u + 11. Solve 0 = 3*o - 6*o + 4*h + 4, 2*o - 8 = l*h for o.
-4
Let j(n) = n + 10. Let c be j(-6). Suppose c = a + q - 0*q, 4*a + q - 10 = 0. Solve 9 = 5*l + a*s, 2*l + 0*s = -2*s + 6 for l.
1
Let t(v) = v - 3. Let u be t(3). Suppose -b - 5*a = -17, 4*b - 2*a = 2*b - 2. Solve 5*f = -b*r - u*f - 30, -4*r - f - 24 = 0 for r.
-5
Suppose c + 2*z + 7 = -0*z, 0 = c + z + 6. Let k = c + -1. Let i be (-14)/k + (-6)/(-9). Solve -5*r + 10*r = -x - i, -2*r + 3 = -x for x.
-3
Suppose 12*u = 22*u - 60. Solve u*j - 3*j = -4*r - 24, 8 = -4*r + j for r.
-3
Let r be ((-2 + 2)/1)/(10/10). Solve r = 2*n - s - 6, n + n - 6 = -2*s for n.
3
Suppose 3*s + 4 = 10. Suppose h - 13 = -0*h + a, -s*a = -4*h + 58. Suppose -2*i + 14 - 4 = 0. Solve -i*f = -d - h, -4*f - 4*d + 5*d = -12 for f.
4
Let t(y) = y**2 + 2*y + 2. Let c be t(-2). Solve -4*l + 0 = -h + 1, c*l + 4*h - 22 = 0 for l.
1
Suppose 3*a - 354 = 4*p - 0*p, a - 3*p = 123. Suppose -2*r + a = -62. Let z = r - 63. Solve -y - 1 = -4*u - 6, 5*y - 4*u = z for y.
5
Suppose 11 = -2*i - s + 1, 3*i + 2*s = -17. Let v = -3 - i. Solve -t = -3*w + 9 + 1, v = -2*t - 2*w + 4 for t.
-1
Let r = 12 + -8. Solve 4*d = -0*z + z - 18, -r*d - 8 = 4*z for d.
-4
Let d be -2*(-3)/(-6)*0. Let s be 4 - (3 + -3 + d). Solve 2*i + 1 = -g - 2, -5*i = s*g for i.
-4
Let a be 2 + (4/2)/2. Let h = 60 + -26. Suppose a*r + 5*d = h, r + 2*d - 16 = -3. Solve 4*f = r*c - c + 14, 3*f - 8 = 4*c for c.
1
Suppose -4*v + 9 = -63. Let d = v - 16. Solve -3*m = 2*a - 11 + 1, -d*m = 5*a - 3 for m.
4
Let y be 10/45 + (-52)/(-9). Let v = -4 + 6. Suppose y = 2*n - v. Solve -5*m + n*z + 8 = 0, m = 5*m - z - 2 for m.
0
Let m = 2 - 2. Let a = -21 + 29. Let k = a - 4. Solve -9 = u - k*u - 4*z, -3*u + 5*z - 18 = m for u.
-1
Let n be (2/(-3))/(6/(-99)). Solve 2*h + w = -n, 12 = -2*h + 2*w - 4*w for h.
-5
Let w(q) = 3*q - 8. Let l be w(12). Solve -4*v - 5*s + l = -s, -v + s = 3 for v.
2
Let y(j) = j**2 - 4*j - 8. Let v be y(6). Solve -4*w - h = -5 - 0, -w = v*h + 10 for w.
2
Let i = -4 + 14. Suppose -i = -l - 5. Solve a - 2*b + 30 = 3*b, -5*b = -l*a - 50 for a.
-5
Suppose -2*j = -4*a - j + 8, -10 = -5*a - 5*j. Solve -5*p + 10 = 5*t, a*p + 4*t - 2 = -0*p for p.
3
Let n be 5/((2/(-1))/2). Let p be (-173)/n + 6/15. Solve -4*f + 3*s + 35 = 0, 3*f - p = -0*s + 4*s for f.
5
Let b(f) = f**2 - 10*f - 6. Let z be b(11). Solve 4 = z*q - 2*k, -2*q + 3*k = 3*q - 1 for q.
2
Let p = -5 + -16. Let c be -2 + 1 + (1 - p). Suppose -4*q = -2*h - 18, -3*h - 8 + c = 4*q. Solve -k + 7 = -q*w + 2*k, 4 = -5*w - k for w.
-1
Let k be (-4)/22 + (-144)/(-66). Solve 4 = k*n - 2*m, -n = 2*n + 3*m for n.
1
Let r be 1*4/3*3. Solve 2*f - f = 4, r = -3*z + 4*f for z.
4
Suppose 0 = -d + 7*d - 18. Solve -5*v = -3*b - 35, 0 = -3*b - d*v - 2 - 1 for b.
-5
Let a(h) = -7*h**3 + h**2. Let l be a(-1). Suppose l + 0 = 2*t + 2*o, 5*t - 22 = -3*o. Solve -31 = 3*m + t*x - 6, -3*m - 4*x = 20 for m.
0
Suppose 1 = l - 1. Solve 0 = 5*s - 2*b - 3, 3*s + 0*s = -l*b + 5 for s.
1
Let v(l) be the third derivative of -1/24*l**4 - l**2 + 0 + 1/3*l**3 + 0*l. Let o be v(-2). Solve 12 = -o*f - 5*t, 5*f + 0*t = -2*t + 2 for f.
2
Let q = 27 - 22. Solve 5*f - 20 = 5*w, -q*w + 0*f + 7 = 4*f for w.
-1
Suppose -216 = 3*k - 0*k. Let p be (-4)/(-18) - 272/k. Solve 0 = d - 2, p*g - 7 + 21 = d for g.
-3
Let m be 2/7 + (-48)/21 + 2. Solve -8 = -m*x + 2*x - 2*c, -x - 4 = -5*c for x.
-4
Let c(o) = -4 + 9*o - 5 - 1 + 2*o**2 - 3*o**2. Let f = 4 - -3. Let w be c(f). Solve 0 = y + 5*j + 5 + 14, -15 = y + w*j for y.
1
Suppose -10 = f - 13. Solve -11 = -f*v + m, 4*v = -m - 2*m + 6 for v.
3
Suppose 0 = 3*s - 2*s. Solve 5 + 1 = 5*y + 2*m, -y + 4*m + 10 = s for y.
2
Let d(j) = -j**3 + 5*j**2 + 5. Let q be d(5). Suppose -2*b - 18 = -q*n, 0*n = -4*n + 4*b + 24. Solve 0 = -3*w - 0*x + x + 5, -3*w + n = -4*x for w.
2
Let m be -3 + 35 + 6/3. Let v = m - 19. Solve -f - v = 3*y, y = 3*y + 2*f + 10 for y.
-5
Let v be 5/((-20)/(-8)) + 4. Suppose 2*g = -v, 8*g + 13 = 2*y + 5*g. Solve 3*l = 9, -y*d = 2*l - 7*l + 9 for d.
3
Suppose 3*c = 2*c + 2. Solve -4*z + 4*a = -6*z, -c*a = -5*z for z.
0
Suppose -3*l - 14 = -j, -3*l + 10 = 3*j - 4*l. Let v be (-2 - -2)/j + 3. Solve -8*t + 4*t = -v*z - 20, 10 = -z + 3*t for z.
-4
Let l(n) = 4*n - 1. Let y be l(2). Let s = y - 4. Solve 0 = v - 5*j + 16, -20 = -2*v - s*j for v.
4
Let x(b) = -b - 9. Let u be x(-9). Let g be 4*(u + 1)/2. Let m be 4/18 + (-68)/(-18). Solve 0*k + 3*k + 6 = 0, m*y = g*k - 16 for y.
-5
Suppose -2 = -2*z + 6, -3*u - 5*z = -80. Suppose -2*l + l = -u. Solve -4*i - 3*o + o = -l, 0 = -5*o + 10 for i.
4
Suppose 2*g = 4 - 0. Solve -3*z - 2 = g*j - 1, 5*z + 31 = 4*j for j.
4
Let s be (-2)/8 + (-61)/(-4). Let z = 17 - s. Solve 23 = -3*g - 2*n, 3*n + 2 = z*g - 0*g for g.
-5
Let u = 115 - 108. Solve -2*z + 3*v - 22 = -u, -4*z + 3*v = 15 for z.
0
Let p be (-2 - -11)/3 + 3. Suppose 7*x - 3*x - 12 = 0. Suppose -i + 4 = -z - 2, x*z = -p. Solve 11*f = 4*t + 6*f + 17, 3*t + 13 = i*f for t.
-3
Suppose -3*v + 6*v = 6. Suppose -4*z = -3*h + 12, -z - h - 10 = -0*z. Let c(s) = s**2 + 5*s - 3. Let n be c(z). Solve 5*y - n*g = -29, -v*y - g = g + 2 for y.
-4
Let r(k) = -6*k - 4. Let l(o) = -o. Let s(m) = -5*l(m) + r(m). Let q be s(-7). Solve -2*t + q*t + 24 = 5*n, 3*t - 3 = 0 for n.
5
Let r(g) = g**2 + 7*g + 4. Let o(b) = -b**2 - 12*b - 7. Let p be o(-12). Let n be r(p). Solve 0*m + n*z - 8 = -2*m, 4*z = -3*m + 12 for m.
4
Let r(h) = 3*h - 19. Let o be r(7). Solve -6*a + 11 = -5*y - 3*a, 0 = -o*y + 3*a - 8 for y.
-1
Let h = -1 - -2. Let u = 7 + -6. Let d = 3 - u. Solve g - m + d*m = h, -19 = 5*g - m for g.
-3
Let y be 6/(-5)*40/(-12). Solve f + 4 = 0, y = -3*b + f - 5*f for b.
4
Let i be (-1)/(3/(-6))*1. Let h(b) = -b**2 - 9*b - 14. Let x be h(-7). Solve 0*p + 1 = -i*q + p, x = 4*q + 4*p - 16 for q.
1
Let v(h) = 2*h**2 + 8*h + 4. Let s be 2*2/8*-10. Let r be v(s). Suppose r - 49 = -5*k. Solve -5*f + k = 2*c + 32, 7 = -2*c + f for c.
-5
Let r(p) = p. Let h be r(4). Let o be -1 + -2*(1 + -5). Let c = 10 - o. Solve -h*l = c*u - 10, -u - 4*l + 5 = -l for u.
2
Let a(j) = -j**3 + 2*j**2 + j + 1. Let p be a(2). Solve -p*x + 5*h = h + 31, -5*h + 35 = -3*x for x.
-5
Suppose 16*n + 52 = 20*n. Solve -m = 3*q - 2*q - 5, 2*q - n = -3*m for q.
2
Suppose q - 25 = -4*q. Let h(c) = c**3 - 5*c**2 - c. Let d be h(4). Let k = -1 - d. Solve r - u - 2*u - 8 = 0, -4*r - k = q*u for r.
-1
Let t = 14 - 12. Solve 2*b + 8 = 4*b - t*z, -4*b - 8 = 2*z for b.
0
Suppose -2*u = 5*h, -2*h = -u - 7*h. Suppose 0*q + 4*q - 12 = u. Suppose 2*l - 2*r = 14, 2*l + q*l + r - 17 = 0. Solve -l*d - x + 0 = 1, 2*d + x + 3 = 0 for d.
1
Let o = 12 - 8. Suppose -6 = 