-4*z + 2*n, -q*n = 5*z + 21 for z.
-1
Let d(t) = 15*t - 40. Let n be d(-6). Let w = -127 - n. Solve 0 = -3*c - 2*i + 2, 2*c + w*i + i = -4 for c.
2
Let f(l) = -2*l**2 + 26*l - 79. Let z be f(6). Solve 0 = -4*p + z*i + 6, -4*p - 12 = -2*i + 6*i for p.
-1
Let o(n) = -2*n - 27. Let d be o(-12). Let s(r) = r**2 + 1. Let t be s(d). Solve -x + 2 = 2*g, 0 = g + g - 2*x + t for g.
-1
Suppose k - 11 = -2*u, -2*k = 2*k - 5*u - 5. Suppose 29 = k*l + 9. Solve 0 = -3*b - l*f - f + 11, 3*b = -2*f + 8 for b.
2
Let x(q) = q + 10. Let i = -146 + 141. Let c be x(i). Solve c*u + 4*w = 28, -14 - 4 = -3*u - 3*w for u.
4
Let z(l) = -9*l**2 + 13*l - 3*l**3 + 11 + 22 + 2*l**3. Let s be z(-10). Solve s*n + 6 = 4*v - 6, 2*v - 4 = n for n.
-4
Suppose -10 + 42 = -4*h. Let n(u) = u - 2. Let v be n(-4). Let o be h/v*(-12)/(-8). Solve 2*f - 5*c = -3*f - 10, -3*c + 6 = -o*f for f.
0
Let f = 21 + -13. Suppose 20 = 4*a + f. Let s(r) = r**3 - 4*r**2 + 4*r - 1. Let h be s(a). Solve -4*v = -z - 8, -h = -2*v + v + 3*z for v.
2
Let n be (-10)/2*1*(-3)/5. Solve 0 = -4*y + 4*m + 9 + n, -15 = -5*y - 3*m for y.
3
Suppose -87 = 3*y - 32*y. Solve 4*p - 31 = 3*o, y*p - o - 18 = -1 for p.
4
Suppose -8*z + 5*z = -12. Solve 3*j + 9 + 6 = 0, 0 = 2*o - z*j - 16 for o.
-2
Suppose 0 = -l + 14*s - 13*s + 6, 4*l + 2*s - 30 = 0. Solve p + l = -2*g, g = 3*p - 2*g + 3 for p.
-3
Let z be (-1 - -3)*(-265)/10. Let w = 78 + z. Suppose -4*o = -20, j + o - w = -o. Solve -n + j + 0 = 3*m, 0 = 3*n for m.
5
Let d be (0 + (-3)/(-9))*0. Let l(s) = -s**2 - s + 14. Let h be l(0). Let w be h/4 - 3/(-2). Solve -1 = -2*k + 5*n + 4, 5*k - w*n - 5 = d for k.
0
Let h be -5*((-60)/(-12))/(-5). Solve -h*y - 4*v + 3 = 0, 5*y - 5*v = -7*v + 9 for y.
3
Suppose -3 = -31*q + 245. Solve 2*t - 2 = 4*d, -4*t + 0*t - 4*d - q = 0 for t.
-1
Suppose 8*s - 23 = -7. Suppose o = -s + 18. Solve 0 = 2*u + 4*i + 10, 5*u = -0*i - i - o for u.
-3
Let u be -17 + 15 - 33/3. Let n(a) = a + 1. Let g(i) = -3*i + 26. Let m(y) = g(y) + 5*n(y). Let k be m(u). Solve -2*r - 1 + 7 = 4*b, k*b = -4*r + 6 for b.
2
Let a = 1 - 7. Let g be a/(0 + -2) - -2. Suppose -2*l = -2*w + 20, -g*w + 60 - 20 = -3*l. Solve 0 = -w*q - r + 7, -5*q + 4*r + 0*r - 3 = 0 for q.
1
Let n = -33 - -35. Solve -5*f = -4*h - 30, 5*f + n*h + 2 = f for f.
2
Suppose -4*a + 32 + 4 = 0. Suppose 2*z + 18 = 22. Solve z*q + q + 5*f - 21 = 0, 3*q + f = a for q.
2
Let f(q) = q**3 + 5*q**2 - q. Let z be f(-5). Let k = z - 4. Suppose -2*s = -3*a + k, -4*a + 6 = 2*s - 0. Solve 3*j + 4*x - 3 = 0, -4*j - 4 = 3*x - a for j.
-3
Let x = 20 + -10. Let g = x + -8. Let k(j) = j**3 - 9*j**2 - 8*j - 13. Let y be k(10). Solve 0 = 3*n - g*a + 6, -2*n = -y*n - 4*a - 32 for n.
-4
Let v = -1838 - -1843. Solve v*c + 2*p = -10 - 9, -4*p = 3*c + 3 for c.
-5
Suppose -2*b - 10*r + 7*r + 130 = 0, -76 = -b + 4*r. Suppose -b + 103 = 7*q. Solve m - 4*w = -25, -5 = 5*m + q*w - w for m.
-5
Let q = -6 - -8. Suppose 4*a = 118 - q. Suppose -11 = -2*z + a. Solve -5*i = 2*y - i, 4*i = 3*y - z for y.
4
Let k be 8/6 + 85/51. Solve 4*h - 29 = 3*g, -5*h + 14 + 20 = -k*g for g.
-3
Let t(u) = -2*u**2 - 3*u + 9. Let z be t(-3). Suppose 4*m = 5*n - 79, -n + 3*m = -z*m - 7. Solve 2*g + 2*h - 5 = -13, -4*g + n = -3*h for g.
1
Let w(s) = -4*s**3 - 5*s + 12*s + 4*s**2 - 1 - 4 + 3*s**3. Let z = -12 + 17. Let n be w(z). Solve 1 - 6 = -2*b + n*o, 0 = 4*b - 4*o - 16 for b.
5
Suppose 0 = -5*x + n + 79, -2*n + 52 = 3*x + 2*n. Suppose -3*a = 4*l - 5*a - x, a + 2 = 0. Solve 5*v - 23 = 2*f, -2*f + 5*f - l = -5*v for v.
3
Suppose -128*p + 133*p - 20 = 0. Solve -5*n - x + 23 = 0, -2*n - 3*x = -0*n - p for n.
5
Suppose 4*d + 13 = -j, 4*d - 7 + 38 = 5*j. Solve 0 = -3*k + k - w + 5, j*k + 5*w - 18 = 0 for k.
1
Let v be (-1)/9*-6*-6. Let j(a) = a**3 + 2*a**2 - 10*a - 7. Let l be j(v). Solve 5*t - 15 = -g, g + l = -t + 4 for g.
0
Suppose -3*n - 2*n = -3*k - 22, -5*n = -5*k - 30. Let u = k + 1. Let b be (-2 - u)/((-2)/(-4)). Solve b = 2*j - 2*a - 2, -2*j - a - 2 = 0 for j.
0
Let a be 1 - 22/(-5) - 66/165. Suppose 4*c = 1 - 5. Let r be (c + 1)*(-3)/(-6). Solve -3*t - d - 19 = r, 3 = -a*t - 2*d - 30 for t.
-5
Let g be (7 + -1)*(12/(-18))/(-2). Solve g*y = 3*i + 16, 8*y - 2*i = 3*y + 29 for y.
5
Let v(w) be the third derivative of -w**4/8 + w**3/3 + 11*w**2. Let b be v(-1). Solve -b*m = 2*j - 5, 8 = 3*m + 5*j - 14 for m.
-1
Suppose -2*g - 57 = -5*z, z = g - 8 + 20. Solve i + 2*w - 5 = 0, -2*w - z = 5*i - 4*w for i.
-1
Let q = -32 - -37. Suppose 0*t = -4*t - n + 29, -1 = 4*t - q*n. Solve 2*c = u - 5, -t*u + 4 = -4*u + 2*c for u.
3
Let w = -4 + 6. Let u = -2 + w. Suppose 1 = -5*r - 3*i - i, -i - 4 = u. Solve 5 = -v - m, r*v + 4*m + 16 + 0 = 0 for v.
-4
Suppose -2 = x - 5. Let l be ((-33)/(-12))/(1/(-4)). Let g = l - -27. Solve 3*n - g = 2*c, -3*n + x*c + 21 = -0*c for n.
2
Suppose 22*m - 5*i - 3 = 26*m, -5*i = 15. Solve -5*p + 3*o = -1 - 7, 0 = 2*p + m*o + 1 for p.
1
Suppose 11*h - 85 = -6*h. Solve 0 = 2*c - 2*s + 6, -c - h*s = -0*c - 3 for c.
-2
Suppose -32*a = -52*a + 80. Solve -a*k + 4*b + 14 = -2*k, 2*k - 3*b - 11 = 0 for k.
1
Let n(m) = -2*m**3 + 16*m**2 - 16*m + 16. Suppose -7 = -3*v + 14. Let x be n(v). Let p(w) = -6*w. Let k be p(-2). Solve -2*r - 4 = 3*z - 2*z, x*r + k = z for z.
4
Suppose 194*y - 198*y = -12. Solve 4*m + 6 = -n - 14, 0 = y*n + 12 for m.
-4
Suppose -v - u = v - 22, 3*v - 5*u = 7. Solve 0*x + i = 2*x + v, 25 = -5*x + 5*i for x.
-4
Suppose -13*p - 8*p = 231. Let f(b) = b**3 + 12*b**2 + 10*b - 11. Let j be f(p). Solve -2*g + 3*c + 5 = 3, j = g + 5*c + 12 for g.
-2
Suppose 3*d - 18 = 4*z, -2*d = 2*d - z - 11. Suppose p - 4*a = 4, d*a - a = p - 4. Solve 3*n + 24 = 3*s, -s + p*n + 17 = -2*s for s.
3
Let s = -13 + 10. Let m be (2/s)/(4/(-42)). Suppose -4*k + m*k - 3 = 0. Solve 3*i = -2*t - 1 + 18, -5*i = -4*t + k for i.
3
Let j be (-1 + -5)*(-39)/26 + -3. Suppose -5*a + 2*k = -99, k - 51 = -3*a + 5*k. Let w be (16/28)/(j/a). Solve 0*o - 2*o - 3*p = 12, -16 = w*o + 4*p for o.
0
Let z(y) = y**3 - 18*y**2 + 16*y + 18. Let f be z(17). Solve 3*i = 5*k + 12, 2*k - f = 5*i - 2 for i.
-1
Let c be (3/(-4))/(1/(-4)). Solve 0*k + c*k - 9 = 2*q, -3*q - 12 = -3*k for k.
1
Suppose 3*n - n - 8 = 0. Let d be 1/(-2 - (-10)/n). Solve 2*r + 5*b - d*b - 1 = 0, -4*b - 10 = -3*r for r.
2
Let n(t) be the second derivative of t**5/20 + t**4/3 + t**3/2 + 2*t**2 - 18*t. Let i be n(-3). Solve 2*y - 3 = 3*l - 2, -3*l - i*y = -11 for l.
1
Let u be (6 - -19) + -9 - -7. Solve 2*l = 3*o - u, -5*o = -10*o - l + 21 for o.
5
Suppose 23*l + 18 = 64. Solve -2*o = 4*v - 8, 0*o - l*o - 2*v + 8 = 0 for o.
4
Let t = -586 - -590. Let k be (1/2 + 0)*6. Let b = -8 + 11. Solve b*z - k*v = t*z - 7, -4*z + 3*v = 17 for z.
-2
Let v be 9/6*16/12. Suppose -3*c = -3*d - v + 11, -d = -5. Solve -r + 4*u = -0*r + 18, -2*u + 4 = c*r for r.
-2
Let v(s) = s + 4. Suppose 14*d = 7*d - 21. Let f = d - -1. Let i be v(f). Solve 5*m - n + 15 = -4*n, -i*n = 0 for m.
-3
Let n = -654 + 663. Solve -5*j + 9 = -7*o + 4*o, -n = 3*o - 4*j for o.
-3
Suppose 0 = -54*c + 504 + 144. Solve j - 3*d + 8 = 0, 5*d - c = 2*j + 2 for j.
-2
Suppose l - 2*l = -3. Suppose q = 2*v - 15 - 7, -l*q + 30 = 2*v. Solve -j + 0*j + v = -5*h, h = -5*j - 18 for j.
-3
Let b(r) = r**3 - 9*r**2 + 13*r + 33. Let d be b(6). Solve -3*t - t + 24 = -4*u, 2*u + d*t = 3 for u.
-3
Suppose 4*q - 56 = -24*q. Solve s - 1 = -c, q*s - 7*s + 12 = -2*c for s.
2
Let i = -123 + 145. Solve 3*x = 4*x + 5*y - 21, -2*y + i = -3*x for x.
-4
Let y be ((-2)/6)/(5/(-45)). Suppose y*a - 3 = 2*a. Solve c = -q + a*q + 14, q - 4*c + 21 = 0 for q.
-5
Let t(m) = 13*m - 27. Let q be t(3). Let n = 26 + -19. Solve -3*y - q = 2*j, -y + 2*y = 3*j + n for j.
-3
Let g(r) = r - 1. Let f be g(6). Let b = -1693 + 1696. Solve 3*c - f*s = -29, 3*s + b = -5*c - 0*s for c.
-3
Let a(q) = q + 6 - 4 + 4 - 9. Let o be a(5). Solve 0 = -4*h + 20, o*x - 3 = h - 2 for x.
3
Let z be 3 + (-6 - -4)*-1. Suppose 9 = 2*r - z*m - 0, 0 = -r + m + 3. Solve 3*o + 0*v = r*v - 6, -2*v = 3*o - 6 for o.
0
Let n = -4 + 14. Suppose -c - 2*c = -f - 2, 2 = -f - 3*c. Let z be (-25)/2*(f + 1 + -1). Solve -2*d + 5*b - n = -31, 5*b = -z for d.
-2
Let m = 21 + -12. Suppose 3*t = x + x + m, -t + 3 = -x. Suppose 3*o = 3*k + 21, -2*o = t*o - 2*k - 32. Solve 5*f = q + 1 + 1, -3*q = -f + o for q.
-2
Suppose -3*