pose 422*z + 48 = 438*z. Solve -2*g - 1 = z*u, 3*u - 2*g = 2*u - 3 for u.
-1
Let p = -12 + 20. Let d be (-4)/6 - 56/(-3). Let q = d + -15. Solve p = c + 2*x, 0*c - q*c + 18 = 3*x for c.
4
Suppose r - 25 = -2*n - 24, 0 = -5*n + 5*r + 10. Solve -3*s + 13 - n = 0, 4*d = -3*s + 4 for d.
-2
Suppose 4 - 8 = -2*t + f, 2 = f. Solve -5*r = -4*x + 10, 5*x - t = 3*r + 3 for r.
-2
Let k(j) = 22*j**2 + 3*j + 2. Let c be k(-1). Solve h = -1, 7*r - 3*r + c = -h for r.
-5
Let s(y) = -2*y - 21. Let f be s(-11). Let i be f/(-6) - 250/(-60). Solve 5*c - 4*d - 10 = 3*c, -i*d - 13 = -3*c for c.
3
Let c(a) be the third derivative of -a**5/60 - a**4/12 + 5*a**3/6 + 7*a**2. Let z be c(-3). Solve l + 3*l = z*n, 0 = 5*n - 5*l - 10 for n.
4
Suppose 0 = 4*u + c - 1, 5*u + 2 = -5*c + 7. Let o be (0 + (-9)/6)*-2 - u. Solve 3*f - l = -1, -2*f = -3*l + o + 7 for f.
1
Suppose -3*o = -2*v - o, o + 8 = 5*v. Let y be (10/(-4) - -4)*v. Solve -j + 5*s + 27 = j, -y*j + 3*s = -18 for j.
1
Let n = -127 - 53. Let a be n/(-22) + (60/55)/(-6). Solve 3*k - a = -g - 3, -4*g = 4*k - 20 for g.
5
Suppose -143*t = -153*t + 140. Solve -d + p = 3*d, -4*p - t = -2*d for d.
-1
Suppose -4*w = -3*p + 89, -2*p - 2*w - 32 = -110. Solve -s + 2*k = 15, 4*s + k + p = 4*k for s.
-5
Suppose 5*t + 3*g + 2 = 0, 4*t + 2*g - 6*g = 24. Solve 2*j + 3 + 3 = 2*i, -2*j = t*i + 2 for i.
1
Suppose -s + 2*l - 1 = 0, 26*l - 11 = -s + 24*l. Let x(y) = -3*y. Let n be x(-1). Solve 4 + 1 = -o, -s*o = -n*m + 16 for m.
-3
Let u be 5/((-8 - -4) + 5). Suppose -4*p - 5 = -u. Solve p = -4*m + 3*i - 21, -2*i = -5*m - 0*i - 21 for m.
-3
Let m be (-4)/(-6)*(-90)/(-12). Solve -5*r - 30 = 3*o, -2*o + 2*r = m*r + 19 for o.
-5
Let l = 34 + -32. Suppose 4 + 22 = l*h - 5*w, -2*h = 4*w + 10. Solve -2*p - 4*n + 14 = -14, -h*n = -15 for p.
4
Suppose -8 = -4*o + 2*m, -2*o = -7*o - 3*m + 10. Solve -2*t + 1 = f, 2*f - o = -0*f - 3*t for f.
1
Let f be 0 - -1*-4*3. Let p = f + 17. Suppose -8 = -2*o + y, 4*o - 6*y - 20 = -3*y. Solve -28 = -2*r - 5*x, -o*r - r + p*x = 8 for r.
4
Let n(u) = u**2 - 4*u + 2. Let r be (-3)/(-6)*2 + 3. Let o be n(r). Solve -2*x = -o*c - 0 + 14, -c + 3*x + 13 = 0 for c.
4
Let x be ((-16)/(-10))/((-3)/(-195)). Suppose -s - 3*s + 2*d = x, s + 5*d = -4. Let g = -22 - s. Solve g*v + 4*t = -8, 5*t - t + 16 = 0 for v.
4
Let a = -177 - -182. Solve -q - 6*z = -2*z + 20, a*q = -4*z - 20 for q.
0
Let y be (48/28 - 2)*-14. Solve 5*w + 30 = y*p, 3*p - 19 = -4 for w.
-2
Suppose 4 = z + 1, -s + 4*z - 8 = 0. Solve 0 = -0*t - 5*t - 3*w - 25, -s*t - 2*w - 20 = 0 for t.
-5
Let t = 21 + -15. Let j = t + -3. Solve l + 3*l - 2*p - 10 = 0, -j*l - p = 0 for l.
1
Suppose -23 = 2*x + 9. Let v be ((-6)/(-4))/((-6)/x). Suppose -f + 2*z = -4*f + 16, 4*z + 48 = v*f. Solve 4*i = -3*o + 3*i + 8, -f = -2*o - 2*i for o.
2
Suppose h = -0*h - 2*h. Suppose h = -3*d, -3*p = -4*p + 5*d. Solve p = -i - i - 2*y + 6, -3*i + 4*y = -9 for i.
3
Suppose m = 4*f + 5, -4*f - m + 5 = -0. Let n(r) = -7*r + 5. Let t be n(f). Solve -4*x + 2*o = x + 5, t*x + 3*o = -5 for x.
-1
Suppose -25*b + 5*b + 400 = 0. Solve -3*h + 3*j - 24 = 0, 0 = 4*h - 2*j + j + b for h.
-4
Let w(x) = -14*x**3 - x**2 + x - 1. Let o be w(1). Let s = o + 25. Solve d - 3*d = 2*n + s, -4*n + 2*d = 14 for n.
-4
Let c be 4/(-10) + 47/5. Let o = 1 - c. Let u be (0/o)/(1 + -2). Solve 0 = 8*b - 4*b + 4*p + 8, u = -3*b - p - 10 for b.
-4
Let i = 2 - -2. Suppose -6*u + 2*c = -i*u - 142, -3*u + 197 = c. Let d = u - 38. Solve -5*m = -3*g - d, m - 3*g - 21 = -8 for m.
4
Let f(k) = k**3 - 10*k**2 + 7*k - 8. Let g be f(9). Let w = g - -26. Solve 4*x = -w*x - 4, t + 2 = -5*x for t.
3
Let t be 1/(-2 - -9) + 246/(-7). Let d = t - -42. Solve 3*r + 14 = d*q - 2*q, 2*q - 8 = 0 for r.
2
Suppose 0 = -g + i - 1, i - 16 = g + 3*g. Let t = -3 - g. Solve z + 2*c - 16 = -2*z, -t*z + 14 = 2*c for z.
2
Suppose -84*i + 89*i = -245. Let b = -44 - i. Solve -4*y = y, b*y + 9 = 3*m for m.
3
Let d be ((-8)/4)/(2/5). Let m(a) = -a - 5. Let q be m(d). Suppose -2*l - 2*l = q. Solve l = 5*c + 3*g + 25, -3*c + 4*g + 22 = -4*c for c.
-2
Let v = -137 - -143. Let o = 5 - 3. Solve b - v = o*w, 5*w + 5*b = 2*w - 35 for w.
-5
Suppose 0 = -3*s + 37 + 2. Let b = 15 - -2. Let i = b - s. Solve -2*x + 3 = x + i*a, -4*a = -x - 15 for x.
-3
Let x = 783 - 780. Solve 0 = l - 5*a - 5, l - x*a = -6*a - 11 for l.
-5
Suppose 21 + 9 = 2*w. Suppose 21 = 4*v - w. Let r(o) = 2*o + 10. Let y be r(-4). Solve m - 2*t = y*t + 9, -2*m - t = v for m.
-3
Let q be ((-102)/255)/(2/20*-1). Suppose -z = 2, 2*j - 5*j - z = -13. Suppose 2*d = -j*u + d - 5, 0 = u - 3*d - 15. Solve u*a + 3*x = 3*a, -a - q*x = 10 for a.
-2
Let c be (-4)/(-16) - 103/(-4). Let p = c + -14. Let y = 14 - p. Solve 3*k + y*r - 10 = 0, 0 = -k - 5*r + r for k.
4
Let n(t) = 9*t - 30. Let g be n(4). Solve -3*m + g = -2*s, -2*m - 3 = -7 for s.
0
Let d = -346 + 350. Solve 5*i - 4*x + 8 = 0, -3*i + 9 - 1 = d*x for i.
0
Suppose 0 = -13*z + 10*z. Suppose -c + 0*c + 2 = z. Solve 3*b + 15 = -3*l + 3, 7 = -b + c*l for b.
-5
Let h(s) = -3*s + 2. Let w be h(-2). Let q = -15 - -23. Suppose 2*p + 2*r = q, 2*r - 14 = -5*p + 9. Solve -5*v + 35 = p*l, 4*v = 5*l + 2 + w for l.
2
Let z be (-2 - -5) + (12 - -4). Solve -4*o + z = -k, 0 = 3*k + 5 + 4 for o.
4
Let l be (9/(-12))/(12/(-128)). Solve -4*p = -2*o - 14, -2*o = p + 2 - l for o.
1
Suppose -2*i = -14*i + 60. Suppose -2*r + 2*k = -3*r - 3, -5*r = i*k. Solve -v - 1 = -3*x - 12, 27 = -r*v - 3*x for v.
-4
Let j(y) = -4*y**2 - 18*y - 6. Let w be j(-4). Let a(m) = -m + 8. Let h be a(-4). Solve p + w = i, -3*p - 4*i + 5*i = h for p.
-5
Suppose -85 = -3*v - m, 3*m - 24 = -2*v + 35. Solve 3*r + 4*y - v = 0, 2*r - y - 3*y = -8 for r.
4
Let r = 15 + -12. Let t = 84 + -82. Solve 0 = 4*w + 2*v - 6, 0 = -r*w + t*v - 3 + 11 for w.
2
Let j be ((-28)/(-6))/(2/48). Let h be (2/3)/((-9)/27). Let i be h/(-15) + j/60. Solve -3*m + 31 = -4*l, -i*l + 2*m = -6*l - 6 for l.
-4
Suppose -5*v - 3 + 6 = -3*f, -21 = -3*v - 3*f. Suppose -6*o + w + v = -3*o, 2*w - 6 = 0. Solve 0 = s + o*s - 3*y, -s = 3*y + 20 for s.
-5
Let t = 22 + -1. Suppose l - 26 = -t. Solve -p + 1 = -5*o, l*o = -p - 2*p + 3 for p.
1
Let f(a) = -58*a - 47. Let v be f(-1). Solve -5*o + v = -m + 3*m, -4*o = 5*m - 2 for m.
-2
Let a(o) = 3*o**3 - 3*o**2 + 2*o + 2. Let q(x) = 2*x**2 + 3*x. Let v be q(-2). Let z be a(v). Solve -l = -p - 3*p, z = -4*l - 2*p for l.
-4
Let a be -1 + (7 - 2) - -1. Suppose -a*o = 5*o - 30. Solve 0 = -3*j - 5*k - 2, -2*j - 1 = o*k + 1 for j.
-4
Let r be 4/10 + (161/(-5))/(-7). Solve 0 = n - 2*n - 2*p - 1, r*p + 4 = -2*n for n.
3
Let x be (-4)/(7/(-21) - 1). Solve x*t - 3 = -5*m - 0, t = -4*m + 1 for m.
0
Let t(s) = s**2 - 6*s + 2. Suppose 2*h + 0*h = 0. Suppose -2*n + n + 6 = h. Let q be t(n). Solve 2*k - 1 = 4*i + 7*k, 4*i + 2*k - q = 0 for i.
1
Suppose 2*l + 33 = 13*l. Solve 4*j = 3*p - 2, -4 = -l*p + 3*j + 2*j for p.
-2
Suppose 5*s + 5 = -3*d + 68, -4*s - 2*d = -52. Solve 0*p = -5*p - 5*u + s, 4*p - 5*u = 21 for p.
4
Let u be -1*(-4)/18 - 102/(-27). Suppose -4*y + a = -59, -u*y + a + 45 = -y. Solve 5*f = 5*x + 30, f - x = 5*f - y for f.
4
Suppose -2*r = -3*r + 3. Let s = 27 + r. Solve 2*t = 3*c + 6*t + 21, 5*c + s = -5*t for c.
-3
Suppose z = 5*v - 0*z - 148, -v + 38 = -3*z. Let r = 7 + v. Solve -2*x = -4*f + 2*x + r, -f + 5*x = -25 for f.
5
Let b(x) = 9*x - 20. Let p(v) = 8*v - 20. Let y(r) = 5*b(r) - 6*p(r). Let c be y(6). Solve 2*j + 7 = -5*n, 2*j + c*n = n - 3 for j.
-1
Let i(y) = -y**3 - 9*y**2 - 13*y + 11. Let w be i(-7). Let n = -53 - -77. Solve s - 5*g - 5 = w*s, g + n = 4*s for s.
5
Let q = -191 + 195. Suppose -3*k - 3 = -30. Solve m = q*y + k, 1 = -3*y + 2*y for m.
5
Let s = -11686 + 11693. Let d(h) be the third derivative of -h**4/12 - 2*h**3/3 - h**2. Let l be d(-3). Solve 4*b + 4*j = -32, 3*b - 4*j - s = l*b for b.
-5
Let r be (30/(-150))/(1/(-55)) + -8. Solve -14 = 4*y - c + 2*c, -18 = 4*y + r*c for y.
-3
Let c(l) = -l - 12. Suppose 3*v + 24 = -18. Let x be c(v). Solve -4*g = 2*p - 18, 0 = x*p + 2*p + 2*g - 12 for p.
1
Let f be ((-110)/(-33))/((-2)/(-3)). Suppose q + 0*q = f. Let k be -4*1*q/(-10). Solve 5*j + 25 = 0, 5*u = k*j - j + 20 for u.
3
Let a(x) be the first derivative of 4 - 1/2*x**2 - x. Let j be a(-3). Solve 5*m - 28 = n, -2*n - 2 = 2*n + j*m for n.
-3
Suppose 0*k - 27