 + 5*l - j, 3*z + 16 = l for z.
-4
Let g(y) = 7*y**3 - y**2 + y - 1. Let k be g(1). Let n(w) = -w**2 - 8*w + 11. Let v be n(-9). Let s = k - v. Solve -s*d = -2*m - 2, 0 - 1 = d for m.
-3
Let s = -138 + 138. Solve 2*z + 2 + 18 = -5*y, s = -2*z for y.
-4
Let l = -22 + 24. Solve q + l*q = -5*g - 17, -5*g - 20 = 0 for q.
1
Suppose 3 = -2*a + 13. Solve -a*k + 5 - 12 = -w, -4*w + 7 = k for k.
-1
Let c be (-4)/(-14) - 6/21. Suppose p + 0*p - 2 = c. Solve p*q - 2*h = 5*q - 22, 5*q - 5*h + 5 = 0 for q.
4
Suppose -z + 150 = -3*x, -2*x + z - 83 = 18. Let c be 1 + (-8)/2 + 23. Let m be (-5)/c - x/4. Solve 3*n = -2*i - 7 + 14, -2*i + m = -2*n for n.
-1
Let w(s) = s**2 - 5*s + 8. Let z be w(4). Solve -20 = z*v, v = -2*q - 2*q - 1 for q.
1
Suppose -z + 4*z + 24 = 3*a, -z - 29 = -4*a. Let s = 16 - a. Solve 5*i - 2*l = -31, -1 = -i - 5*l + s for i.
-5
Let c be 3/9 + (-42)/(-9) + -3. Solve -i + 8 = -2*i - 3*p, -i + 3*p = c for i.
-5
Suppose -51 = -4*v + 3*d, -4*d - 4 = -0. Suppose -25 = -v*i + 7*i. Solve -2*x - 3*x = i*z - 10, 5*x - 5*z = 40 for x.
5
Suppose 18 = k - 0*k. Let x = k - 16. Solve 3*o = -2*m - 5, x*m = -3*m + 2*o - 3 for m.
-1
Let w = -48 + 52. Solve 0*c - 4*i = -4*c + 16, 2*c = -w*i - 22 for c.
-1
Suppose -4*h = -4 - 4. Suppose v - 9 = -4*n, 0*n + 9 = 5*n + h*v. Solve -n*b + 3*o + 10 = 5*o, 15 = 3*b + 3*o for b.
0
Let g = 20 - 17. Let i be 9/g*12/9. Solve -i*x + 0 = -a + 1, -25 = -5*x - 4*a for x.
1
Suppose -10 = 5*b, -2*b - 25 = -5*l + 3*b. Solve -d - 4*c = -l*d + 10, 5*d + 5*c = -5 for d.
1
Suppose 2*a + a - 6 = 0. Solve -2*t = a*z + 3 - 17, 4*z + 17 = 5*t for t.
5
Suppose -25*x = -22*x. Solve -5 = -l - x*l + 2*i, 5*l + 2*i = -11 for l.
-1
Suppose -2 = 3*w + 4*f, -f + 8 = 5*w - 0. Let i(u) = u**2 - 9*u + 8. Let z be i(8). Suppose z = 4*h + h. Solve -10 = -h*b + w*b + n, 0 = 3*n + 12 for b.
-3
Let m(x) = x**2 + 1. Let b be m(-2). Solve -5*w + 5*n = -3*w + 27, -b*n = -4*w - 29 for w.
-1
Let p be (-17)/(-4) + (-15)/(-20). Suppose k = -p*s - 4*k + 20, -3*k - 36 = -5*s. Solve s = -3*u, -t + 22 = 3*t - u for t.
5
Suppose -3*c + 7 = -0*o - 2*o, 0 = 4*o + c - 7. Suppose -1 - 4 = 5*m. Let w be (2 + -2)/(m/o). Solve w = -3*g - u - 14, -2 + 3 = -g - 4*u for g.
-5
Let v(b) = b**3 - 8*b**2 + 7*b + 4. Let s be v(7). Solve 0 = 4*g + 3*d - 6, s*d = -g + 2*g - 11 for g.
3
Suppose z = -2*a - z + 22, 0 = 5*z - 15. Let k be (-1 - -1) + a/2. Solve -5*o + 0 + 10 = -k*q, -4*q + 8 = 4*o for q.
0
Let r = 11 + -9. Solve 3*c = -4*h - 0*h + 14, 5*h = r*c + 29 for c.
-2
Let f = 97 - 93. Solve 3*s = -d + 10, 20 + 5 = f*s - d for s.
5
Let b be 2/(-2) - (-19 - -14). Let a(c) = -c**3 + 4*c**2 - 3*c + 2. Let v be a(3). Suppose -r + v = -5. Solve -b*m + r + 1 = -2*z, -z + m = 0 for z.
4
Suppose -33 = -3*u + 5*s, u + 2*u + 5*s - 3 = 0. Let b be (4/u)/((-2)/9). Let w be -1 + b*3/(-9). Solve -3*x + 0 = -j + 6, w = 3*x + j for x.
-1
Let k be (-2)/(-1) - (-2)/(-2). Suppose 4*d - 20 + 4 = 0. Let z be (-4)/(-10)*(d + k). Solve 2*l + 3*i = -12, 0 = l + z*i - 7*i - 20 for l.
0
Let o be 0 - (-2 - 2*12). Suppose -2*n + o = 6. Let m = -9 + 12. Solve -4*s + 15 = i, m*i - i - n = -3*s for i.
-1
Suppose -3*r + 3*t = -r - 9, -3*t = -9. Let m be (-16 + r/(-3))/(-1). Solve -2*o - 13 = o + l, -5*o - 3*l = m for o.
-5
Suppose -4*y + 7*y + 3 = 0. Let d be 4/3*(y - -4). Solve 0*p + p = 4*l + 7, -3*l + 9 = d*p for p.
3
Let i be 5 - (-4 - 2 - (-8)/4). Solve 4*f = 5*f - 3*t - 9, -5*f = 3*t + i for f.
0
Suppose 4*t - 19 - 9 = -k, -4*t - 84 = -3*k. Let p be 1/(-2)*-4*1. Suppose -2*l + k = p*l. Solve -3*g + l = -4*h + 18, 3*h + 3*g + 18 = 0 for h.
-1
Let u be 24 - -4 - (-2)/2. Suppose 9 = 4*v + u. Let n be v*(12/(-5) + 2). Solve 0 = -r + n, -4*k - r = -0*r - 14 for k.
3
Suppose 2 = 6*r - 5*r. Solve 26 = -2*d + 5*j - j, -5*j = r*d - 19 for d.
-3
Suppose -5*c = -15, -4*z + c - 31 = -4*c. Let y = z - -6. Solve 3*d = -11*h + 6*h, y*h - 11 = d for h.
3
Let b be (-81)/(-15) - 2/5. Let u(f) = f**2 - 3*f - 6. Let s be u(b). Solve -q - s*m + 11 = -3, -q + 2 = m for q.
-2
Let x(p) = p**3 + 22*p**2 - p - 10. Let d be x(-22). Solve -4*a - 7*s + 2*s = 3, 5*a + s = d for a.
3
Let q = -11 - -14. Solve 3*y = -3, -5*y = -3*n - q*y - 7 for n.
-3
Let j(u) = -5*u + u**3 - 1 - 5 + 2*u**2 + 4. Let n(s) = -s**3 + 3*s**2 - 3. Let y be n(3). Let d be j(y). Solve -d*m = -2*i - 3*i - 10, -4*i + 13 = m for m.
5
Let v(w) = w - 4. Let a be v(8). Let g be 2*(-1)/a*-6. Solve 6 = g*p - p, -2*m = -2*p - 2 for m.
4
Let z be 5 + -6*3/(-6). Let v = -3 + z. Solve 8*q + 3 = 4*q - 3*s, 4*s + 4 = v*q for q.
0
Suppose 0 = 2*t - m - 33, 3*t + 6*m - 69 = m. Let o be -16*-1*(-1)/(-2). Let j be 6/(-4)*o/(-6). Solve -j*c = -4*k + 26, -2*c - 3*k = -5*k + t for c.
-5
Suppose 4*d + 2 = 34. Solve -5*p + d*c - 3*c - 25 = 0, -4*p + c - 17 = 0 for p.
-4
Let n be (-1)/3 - 524/12. Let j be n/(-10) + (-2)/5. Suppose 3*d - 7*d = 0. Solve s + 2*i - 2 - 2 = d, -3*s - j*i = -10 for s.
2
Let y = 7 - 10. Let r = -6 - y. Let c be (-1)/(-3) + r/9. Solve 0 = 5*i + 3*u - c*u - 6, -i - 4*u = -8 for i.
0
Let j(h) = -h**2 - 4*h. Let r be j(-4). Suppose 0 = 4*m - 3*x + 12, r*m - m - x = -4. Suppose 8 = 4*v - m*v. Solve 5 = -k + 4*l, -v*k + 6*k = 2*l + 8 for k.
3
Let n(b) = b**3 - b**2 - b + 10. Let p be n(0). Let j = p - -13. Solve w = -2, -w + j = -5*y - 5*w for y.
-3
Let f = 29 + -45. Let w be f/(-12)*(0 - -6). Let j = -3 + w. Solve 2*l - 1 + 11 = 3*c, j*l + 25 = -4*c for l.
-5
Let v(k) be the third derivative of -5*k**4/12 - k**3/6 + k**2. Let d be v(-2). Solve 3*m = h + 1, 0*m + 5*h = m - d for m.
-1
Let l be (1 + 4)*(-9)/(-15). Let x(k) = -k - 3. Suppose -4*j - 5*m - 26 = 0, 5*j - 3*j - 5*m = 2. Let i be x(j). Solve -z = -c - i, -3 = 4*z + l*c - 0 for z.
0
Let u be (-5 + 2)*8/(-6). Suppose 5*t + 5*y - 95 = 0, 0*y - 77 = -5*t + 4*y. Suppose -4*l + 12*l - 24 = 0. Solve 3*h = -4*p - 17, 0 = u*h + l*p + t - 6 for h.
1
Let a be (-2 + (-10)/(-4))*4. Suppose -2*c - a*c = -8. Solve 0 = q - c*f + 1, 13 = 5*q + 4*f - 5*f for q.
3
Let c be (-14)/(-4) - 4/8. Solve c*f = 3*v + 21, -5*v + f + 0*f = 19 for v.
-3
Suppose 20 = 5*z, -2*r - r - z = -4. Let y be (1 - r) + -4 + 3. Let f = 9 - y. Solve -3*u = p + u + 21, -p + 2*u + f = 0 for p.
-1
Suppose 6*s - s + 5*p - 100 = 0, 18 = s + 2*p. Solve -6*j + j + l - 17 = 0, 2*l + s = -4*j for j.
-4
Suppose 3*t - 4*t = 8. Let x = -6 - t. Solve 4*o = 0, x*o = -2*r - o + 8 for r.
4
Let j be (40/30)/(2/30). Solve t + 7 = -q + 2, 4*q = -5*t - j for t.
0
Let f(r) = r**3 - 2*r**2 - 2*r + 1. Let p = 9 + -6. Let y be f(p). Solve -2*s - 4*t + 0 + 12 = 0, -s + 3*t - y = 0 for s.
2
Let y be 33 + -6 + (3 - 0). Solve 4*z = -0*z + 5*w - y, -3*z - 5*w - 5 = 0 for z.
-5
Suppose -2*r + 1 + 27 = 2*s, -3*r - 5*s = -36. Solve 2*w - w - 3*x = r, 4*w + x = 3 for w.
2
Let h = 5 - 1. Solve q = -q + 3*i - h, 3*i = 3*q for q.
4
Let m(p) = 3*p + 18. Let h be m(0). Solve 2*g = -10, -2*o + 3*o + 3*g + h = 0 for o.
-3
Let h(y) = -y. Let o be h(-2). Solve -4*w - 16 = o*z, 0*z = -5*w + 5*z - 5 for w.
-3
Let x be 1 - (-2 + 2)/(-3). Suppose t - x = -5. Let p be (-1)/t + (-21)/(-12). Solve -4*i + 7 = -5*r, i + p*i = -3*r + 12 for i.
3
Suppose 6 = -3*x + 12. Solve 4*w - x*f = -w - 7, 4*w - f + 5 = 0 for w.
-1
Let g = -10 - -16. Let z = -4 + g. Suppose -2*i + 48 = i. Solve z*x - 2*s + i = 0, 25 = -5*x - s + 3 for x.
-5
Let a = -5 - -3. Let f be a/(-8) + (-22)/(-8). Solve -2*i - f = -0*i + u, i + 9 = 2*u for i.
-3
Let f(z) = -z**2 - 4*z - 3. Let y be f(-3). Solve 2*h + 2 = 4*c, -4*h + 3*c - 5 + 11 = y for h.
3
Suppose 3*v + 3 = l, 4*l - v - 21 = 24. Solve 0 - l = 3*s - 2*y, -4*s + 2*y - 14 = 0 for s.
-2
Let z(t) = 9*t**2 - t - 2. Let c be z(-2). Suppose -3*v = v - 2*q - 20, 4*v + 2*q = c. Solve -a = -4*x - 13, -2 = -3*x - 3*a + v for x.
-2
Suppose 0*v + 10 = 2*l + v, 3*l + 2*v = 15. Let m = 10 - 8. Suppose 2*p + 0*p = -5*k + 28, 4*p = m*k + 80. Solve -2*f - p = f + 4*a, 5*f - l*a = 15 for f.
-1
Let x(l) = -l**2 - 6*l - 5. Let j be x(-4). Solve -j*q = 4*k + 23, -q + 5*k = -2 - 3 for q.
-5
Suppose 12*m - 15 = -3*m. Solve 1 + 0 = 2*h - 5*f, -m = f for h.
-2
Suppose -50 = -5*t - 2*m, -4*m + 2 = -t - 2*m. Suppose 0 = 3*s + h - t, 5*h + 3 = 4*s - 14. Solve -2*y = 5*x + 28, 5*x + 6 + 26 = -s*y for y.
-4
Let z(t) = -22*t**3 - 5*t**2 + 23*t**3 - 3*t**2 + t**2. Let u be z(7). Solve 16 = -