 3*b - 5 = -0 for o.
5
Let y = -209 + 213. Solve g = -y*b - 3, 3 - 2 = 2*g + b for g.
1
Suppose 5*r - 5*m = 8*r - 2, 0 = -5*r + 4*m + 28. Solve 0 = -3*s - 3*y + 24, 5*s + 0*y = -r*y + 37 for s.
5
Let n(v) = 5*v - 7. Let m(h) = h - 1. Suppose -4*l + 16 = -0. Let o(w) = l*m(w) - n(w). Let t be o(0). Solve 2 = -d - 5*f + t, d + 4*f = 1 for d.
1
Let c(x) = 3*x**2 - 23*x + 13. Let y be c(7). Let i be (-4)/(-14) + y + (-104)/(-28). Solve 2*q = i*n + 12 + 3, -12 = -4*q for n.
-3
Let r(w) = -4*w + 10. Let z be r(6). Let c(t) = t + 16. Let y be c(z). Solve 3*m - 2*j = 25, y*m = -2*j - 0*j for m.
5
Let h = 0 + 0. Suppose -12*n = -3*v - 14*n + 15, 50 = 5*v - 5*n. Solve -5*m - 5*b - 15 = h, 13 = -5*m + 3*b - v*b for m.
-1
Suppose 0*q + 5*q = 20. Solve -y - 3*t + q = y, 2*t - 2 = -2*y for y.
-1
Let g = 11 + 27. Let i be -39 + g + 1*7. Solve 27 + i = 5*p + 2*o, 0 = 3*p + 4*o - 31 for p.
5
Suppose -2 = -0*h - h. Solve -h*m + 3*r + 3 = 0, 2*m - r + 0*r = -3 for m.
-3
Suppose 4*c - 8 = 4. Let k(a) = -a**2 + 5*a - 1. Suppose -9*n = -10*n + 4. Let j be k(n). Solve -3*q + 2*q + 9 = c*p, -j*q - 9 = 0 for p.
4
Let a be 1 + (-4 - 1)/(-5). Suppose 0 = 2*d - 4*k - 0*k - 12, 0 = 4*d - a*k - 12. Solve -2 = o - w, 0*w = 5*o - d*w + 13 for o.
-3
Suppose 96*u + 12 = 102*u. Suppose g - 5 - 4 = -3*y, 25 = 5*y + 5*g. Let n(t) = -t + 11. Let q be n(5). Solve q*d + 3*h + y = d, -2 = 3*d + u*h for d.
2
Suppose 0 = -13*f - 10*f + 322. Suppose 2*v - 1 - 13 = 0. Suppose 5*x - v = 3. Solve -3*k + f = x*h, -h + 5*k - 20 = -1 for h.
1
Let v = -25 - -21. Let h be (v/16*0)/1. Suppose h = 4*n + n. Solve -3*r = 2*o + 7, 5*o + 25 = -n for r.
1
Suppose 0 = -41*v + 175 - 52. Let a = -3 - -7. Let w be (6/7)/(5/35). Solve w*h - 2*h + 5 = r, h = -a*r + v for h.
-1
Let h(f) = -3 + f**2 - 2*f - 3 - 2. Let o be h(-2). Solve 3*c + o*c - 2*a = 15, 3*c + a - 6 = 0 for c.
3
Let f = 190 - 190. Let i = 3 - -1. Solve f = -5*m + 4*s + i, 1 + 3 = m - 4*s for m.
0
Let c be (-4)/(-18) - 9*(-4)/(-162). Solve 4*x = -4*u + 16, -4*u + 2*x - 2 - 6 = c for u.
0
Let o be 1 - 40/28 - 190/(-35). Solve l + 4*k - 8 = k, 2*l = o*k + 5 for l.
5
Suppose 210 = 8*r + 58. Solve 5*d + 17 = 3*h, -r = 4*d - 2*h + 5*h for d.
-4
Suppose 0 = 89*t - 83*t - 12. Solve 0 = 2*z + t*m - 4, 4*z - 1 = z - 2*m for z.
-3
Let q(t) = -5 - 9*t + 3 + t - 2*t. Let z be q(-2). Suppose -y - 6 = -z. Solve -2*m - m + y = 2*o, -2*o + 5*m - 20 = 0 for o.
0
Let p = 995 - 991. Solve -3*z - x - 1 = 4*x, -4 = -p*x for z.
-2
Let m(i) = 3232*i**2 - 9*i + i - 16 - i**3 - 3237*i**2. Let u be m(-4). Let p be (-1 - (-2 - -3)) + 4. Solve 10 + u = -2*h + 2*f, 2*h = -2*f + p for h.
-2
Let y(d) = -d + 3. Let g be y(-5). Suppose -l + 9 + g = 2*q, -5*q + 65 = 5*l. Let t = l + 3. Solve -4*c + 2*f = -t, 4*f = 3*c + f - 15 for c.
1
Suppose 22 = 5*p - x + 3*x, -3*p = -x - 11. Solve 3*d = 2*t + 2*d - p, 4*d = -3*t - 16 for t.
0
Let y(h) = -29*h + 1. Let b(z) = -z**2 + 5*z + 5. Let k be b(6). Let l be y(k). Let m be ((-4)/(-6))/(4/l). Solve x - m*s = -10, 5*s - 6 = 4*x + 4 for x.
0
Let z be (1/(9/4))/((-180)/(-810)). Solve -4*w - 18 = 2*f, -w = -z*w - 5*f - 18 for w.
-3
Let f(o) = -6*o**3 - 2*o**2 + 4*o - 4. Let b(z) = -z**3 + z**2 + z. Let t(d) = -5*b(d) + f(d). Let a be t(-7). Solve -4*x + 8 = -4*w, -8 = -3*w - a*x - x for w.
0
Let m = 22 - 20. Suppose 0 = 3*w - o - 9, 2*w - 6 = m*o. Solve -l - 1 = -4*u - 0, 0 = 2*u - l - w for u.
-1
Let q = -179 - -183. Let l be (-3)/((-6)/(-2)) - -13. Solve 3 = -t - w + q*w, w = 4*t + l for t.
-3
Suppose 55 = 14*z - 1. Solve -4*j - 12 = -z*l, -2*l - 2*j = -0 - 2 for l.
2
Let p = -178 + 183. Solve -2*u - 2*o = -0*o, -2 = -p*u - 3*o for u.
1
Let r = 151 + -148. Solve -3*i - 2*y - 8 = 0, -r = y - 2 for i.
-2
Suppose -46 = -20*d + 54. Solve d*q = 4*t + 10, -5*q - 4 - 26 = 4*t for q.
-2
Let j be 2/(-6) + 14/6. Let b = -110 + 115. Suppose v + 10 = 2*p - 3*v, -12 = -b*p - 3*v. Solve -3*z - p*d + 10 = -5*d, 2*d = -3*z + j for z.
2
Let z(j) = -j**2 + 8*j - 13. Let k be z(2). Let c be (k - 13/(-3))*(-15)/(-10). Let o = 43 + -25. Solve 3*l = 5*l - 4*a - o, 3*l - 5 = -c*a for l.
5
Suppose o = -3*l - 9, -o = 7*l - 3*l + 10. Let n = 16 + o. Suppose -10*p + 5*p = -n. Solve y + 3*m = 5, -p = -0*m - 2*m for y.
2
Let i = -2 + 6. Let n be (12/10)/(i - 259/70). Solve -b + 2*l = -12, -5*b - n*l = -b + 12 for b.
2
Let w(o) = o**3 - 2*o + 1. Let l be w(2). Let q = 10 - 22. Let k be (-244)/q - (-1)/(-3). Solve j = d - 4*d - k, -l*j - 2*d = 35 for j.
-5
Let v(h) = -h + 7. Let j be v(4). Suppose c - x + 5 = 2*c, 0 = -2*c - 3*x + 10. Solve -2*p - p - 2*g - 1 = 0, -j*p + c*g = 29 for p.
-3
Let p(v) = 2*v - 36. Let m be p(16). Let o be -2 + 9 + 1 + m. Let a(z) = z**2 + 6*z - 7. Let j be a(-7). Solve -3*b - o = -4*l - 12, -4*b - 4*l - 8 = j for b.
0
Let i be (-115)/(-4) - (-1)/((-12)/9). Suppose -5*n + t = -62 - i, 0 = 3*n - 4*t - 71. Solve 0 = -2*x - 2*h - 4, h + n = 5*x - 3*h for x.
1
Let v be 4/(-18) + 29/9. Suppose 5*p = 5*d - 0*d, -2*p - 4 = -v*d. Suppose -2*z + p*f + 12 = 0, 0*f + 5*f + 15 = -5*z. Solve h - 1 = g, -g - 17 = 3*h - z for g.
-5
Suppose -3*v + 53 = 2*v - 3*y, 5*v + 4*y = 81. Solve 0 = -4*p + 3*p + f - 3, 4*f = 5*p + v for p.
-1
Suppose 64 - 192 = -8*d. Solve 0 = -5*g - x - d, -32 = 5*g - 3*x - 0*x for g.
-4
Suppose 8 = -2*l, 2*l + 16 = 4*o - 4. Solve -o*j - 4*n - 15 = -n, 14 = -j - 4*n for j.
-2
Suppose 2*t + 32 = 64. Suppose -4*l = 2*n - t, -5*n = -0 + 10. Solve -l*s = 2*y + 3, 4*s - y + 6*y = 1 for s.
-1
Let x be (1 + 3 + -4)/(-8 + 4). Suppose -5*d = 3*r - 30, 5*d - d - r = 7. Solve -2*n + 6 = d*t, 0 = t - 4*n - x - 16 for t.
4
Let b = -1594 + 1597. Solve 19 = m + b*x - 0*x, m - 2*x = -6 for m.
4
Let z be -3*32/(-9) + 6/(-9). Let b be 8/(z/4 - 2/4). Solve 4*n - 4 + 12 = -3*r, b*n = -5*r for n.
-5
Suppose 7*q + 23*q = 150. Suppose -2*c - 2*c = 3*p - 24, -2*c = 5*p - 40. Solve q*b - 2*u + 14 + p = 0, -2*b + 2*u = 10 for b.
-4
Let p = 2 - -16. Suppose 52 = 5*g + 4*v, 4*g + 3*v = 2*g + p. Suppose -5*u - 2 = -g. Solve -2*i + 5 = -3*d, -u*i - 1 = 3*d - 0 for i.
1
Let n be 29/11 + 12/33. Solve 5*g - n*q = 6, -g - 3*g + q = -2 for g.
0
Suppose 9 = 2*w - 15. Suppose -2*s = 4*s - w. Let g be (-3)/9 - 56/(-6). Solve -g = 5*m + o, -m - 2*o + s = 11 for m.
-1
Let b be (-14 - -11) + -2*2. Let t(y) = y + 9. Let w be t(b). Solve -2*h - 2 = -2*i, -4*i + h = -0 + w for i.
-1
Suppose 2*c + 5*f = 52, -f = -4*c + 2*f + 130. Solve 4*h + 23 = -w, 0*w - c = 2*w + 5*h for w.
-3
Let g(n) = n - 4. Let m be g(7). Suppose -3*f + 2 = -2*f. Suppose f*q - q = m. Solve -2*z + q = -p - 2, 0 = -4*p + 5*z - 20 for p.
-5
Let u be -2*(315/(-50) + 3/(-15)). Suppose -z + 11 = -2*a, -5*z - 4*a + 0 + u = 0. Solve -r = -3*p - 4 - 1, p = r - z for r.
5
Suppose -5*y - 68 = -4*u, -y - y - 38 = 2*u. Let z = 20 + y. Solve -2*s - 4 = 3*m - 6, -s + 11 = z*m for m.
4
Suppose -2*l = -10, -2 = 4*z - 5*l + 11. Solve 6 = -n - 2*v, -v = z*n - 0*n + 13 for n.
-4
Suppose p + 5*v - 22 = 0, p + 2*p - 22 = -4*v. Solve -3*c = 4*i + 2*c - 11, -c + p = i for i.
-1
Suppose 2*k = -2*k + 20. Suppose s - 8 = 3*s, -k*x = 5*s. Solve -1 = -2*f - f + n, -x*f = -n for f.
-1
Suppose 5*r - 316 = 9. Let k = r - 61. Solve -k*b = -2*b - 4*d + 14, 5*b = -d - 2 for b.
-1
Suppose 752 - 32 = 45*q. Suppose 4*s - 81 + 9 = 0. Let v = s - 13. Solve 3*r - 16 = -r + v*w, -4*r - q = 3*w for r.
-1
Let n be (-174)/(-14) + 8/14. Solve 0 = -3*w - 4*o - 22, 5*w - n = 5*o - 3 for w.
-2
Let w(t) = 2*t**2 - 15*t + 8. Let q = 44 - 37. Let x be w(q). Solve 0 = k + 2*a - x, -2*a - 13 = 5*k + 2*a for k.
-5
Suppose -47 = -4*n - 19. Let w = 141 - 131. Let b = w - n. Solve b*y - a + 2*a = 17, -5*y + a = -15 for y.
4
Suppose 0 = f + 4*f + 15. Let r(n) be the third derivative of -n**4/24 + 7*n**3/6 + 9*n**2. Let d be r(f). Solve 0 = -4*z - y + 2*y + d, 2*z - 2 = -y for z.
2
Suppose -13*r = -14*r + 13. Solve 0 = -o - 2*z + 5*z + r, 10 = -2*z for o.
-2
Let v(y) be the second derivative of y**4/12 + y**3 + 3*y**2/2 + 3*y. Let o be v(-7). Let u = o + -5. Solve 0*n - 5*n - 2*f + 21 = 0, 0 = 4*n - u*f - 30 for n.
5
Let y = 26 - 18. Let v = 12 - y. Suppose 8 = -v*o + 4*r, -2*o = 2*r - 14 + 2. Solve 3*u = o*m + 15, 5*u - 10 = m + 3*u for m.
0
Suppose 2 - 5 = 3*m + 3*t, -m = 5*t + 13. Suppose -8*x = -m*x - 24. Solve 0*h - x*s = 2*h - 8, h - 5*s + 10 = 