-2*j - x for j.
-4
Suppose -2*m + 4*z + 24 = 0, 2*z + 20 = 2*m + 4. Solve 0 = -h + f + 4*f, m*h - 5*f - 15 = 0 for h.
5
Let j(y) = -3*y**3 + 11*y**2 - 3. Let n be j(3). Solve 0 = -3*g - 4*c + 2*c - n, 4*g + 2*c = -18 for g.
-3
Let u(d) = -d**2 + 4*d + 50. Let a be u(9). Solve s = -3*j + 7*j - 10, 10 = a*s for j.
3
Let f = 2 + -2. Let j be f*4/(12/3). Let m(n) = -n**3 - 3*n**2 - 2*n - 1. Let i be m(-3). Solve j = d + k + 5, -i*k + 0 = d + 25 for d.
0
Let x(a) = -a**3 - 14*a**2 + 14*a - 10. Let j be x(-15). Solve 5*u + 5*v - 25 = -0*v, u = j*v - 13 for u.
2
Let n(t) = -t**2 + 4*t - 2. Let h be n(2). Let c(u) = u**2 - u + 10. Let w be c(2). Let y be 3/12 - (-22)/8. Solve -g + 2*g - 2*m = 4, -y*g = -h*m - w for g.
4
Let n(h) be the second derivative of 1/6*h**3 - h + 0 - 2*h**2. Let x be n(6). Solve 3*y = 12, -q + 6 = x*y - 2 for q.
0
Let q(k) = 2*k + 41. Let s be q(-19). Solve s*d = -2*d, -5*x + 20 = 5*d for x.
4
Suppose 0 = 2*n + 3*n. Suppose 2*z = 4*h - 10, -2*z + 2 + 8 = n. Solve -h*q - 4*j + 24 + 5 = 0, q + 2*j = 7 for q.
5
Let z(c) = 2*c - 16. Let i be z(9). Suppose -2*g = f - i + 1, 4*f - g = 22. Solve 5*k + 0*r + 4 = 4*r, 0 = 4*k - f*r + 5 for k.
0
Suppose 2*p = 5*f + 98, -2*p - 3*f = p - 189. Suppose -4*c - 7 = -p. Solve -3*g - c = -4, -2*r + 2*g = 0 for r.
-3
Let p = -936 + 956. Let n be (-20 + 0 + 0)*1. Let s = n + p. Solve -v - 4*c + 13 = 0, v - 4 = -s*v - c for v.
1
Let x be (-20)/(-12)*(-4 - -7). Solve x*o - 2*o - 3 = 0, 4*q = 4*o for q.
1
Let t be 0/(13 + -10 - 2). Solve -5 + 13 = x + 4*y, t = -3*x - 2*y + 14 for x.
4
Let k(z) = -z**3 + 14*z**2 - 33*z + 8. Suppose -36 - 30 = -6*l. Let t be k(l). Solve -s = v - t, v - 14 = 3*v - 4*s for v.
3
Let c be ((-13)/3)/((-13)/(-39)). Let b be (-2)/c + 1270/26. Suppose j = -2*g + 19 + 28, -b = -2*g - 3*j. Solve -2*w + 0*z = 4*z + 14, w - g = 4*z for w.
3
Let n(m) = -m**3 - 5*m**2 + 5. Let x be n(-5). Suppose -4*c - 28*y + 30*y = -2, -3*c - 2*y + 12 = 0. Solve -u + c*b - 17 = -b, -5*b = -x*u - 45 for u.
-5
Suppose -5*j = -3*n - 22, -3*j + 4*n - 7 = -29. Solve -u - 3*x = j, -4*u + 2 = 4*x - 2*x for u.
1
Let u(q) = -q**3 + 7*q**2 - 5*q + 4. Suppose -6*d + 2*d + 24 = 0. Let n be u(d). Solve 0 = -4*o + 4*g - 3*g - n, 0 = -4*o + 2*g - 8 for o.
-3
Suppose 2*y - 36 = -4*m, y + 10 - 8 = 3*m. Solve 2*n - y = 0, 2*o - 5*n + 30 = -3*o for o.
-1
Let w(i) = -i**3 - 14*i**2 + 19*i - 21. Let n be w(-15). Let s = -37 - n. Suppose 5*y + s = 9*y. Solve m = -3*r - y, 0 + 3 = -r for m.
-2
Let a be 2/2 - (-10 + 4 + 1). Let w be ((23 - 1)/(-2))/((-6)/a). Suppose 0*i + 3*i = 0. Solve i = -2*p + g - 3, 0 = 5*p - 2*g + w - 2 for p.
-3
Let y(t) = -11*t + 5. Let k be y(1). Let n = -4 - k. Solve -4*d = 3*i - 4*i - 22, -4*i + n*d = 18 for i.
-2
Let o be (-1)/(((-1)/3)/(2/6)). Let c be (-16)/(-10) + o + 2/5. Solve 2*y = 2*z + z - 10, -c*y - z + 7 = 0 for y.
1
Let x(y) = 2*y**2 - 13*y + 1. Let l be x(-2). Solve 30 = -4*g - 2*n, 3*n = -4*g - 0*n - l for g.
-5
Let g be 3 + (3/((-9)/33))/(-1). Solve 3*n - 25 = 5*a, g = -2*a - 0*n + 2*n for a.
-2
Suppose 3*b - 4 - 11 = 5*p, -5*p - 3*b = -15. Solve -f = -5*a - 14, -9 = -3*f - p*a + 4*a for f.
-1
Suppose -5*g - 2*n + 133 = 0, -3*g + 7*n + 71 = 6*n. Solve -u - d - 3 = 0, 0 = 3*u - d - 4*d + g for u.
-5
Let g(n) = -5*n. Let o be g(-6). Let i(j) = o + j - 17*j + 3*j + 12*j. Let h be i(0). Solve -2*x - 24 = -4*f, 4*x + 3 + h = 5*f for x.
-2
Let g(p) = -8*p**3 - 39*p**2 + 6*p + 8. Let f be g(-5). Solve 20 = 5*u - f*i, 3*i = 4*u - i - 16 for u.
4
Suppose 0*q + 6 = 3*q. Suppose 4*m + 0*c = 2*c + q, -5*m + 2*c = -5. Suppose -2*s = -m*s + 5. Solve 5*z = y + s, -2*z + 9*y = 4*y + 21 for z.
2
Let r(g) = g**3 + 17*g**2 - 3*g - 47. Let b be r(-17). Solve -2*d - b*n - 21 = -d, 3*d = -n - 8 for d.
-1
Suppose -x - 1 = 5*s - 6, -2*s = 3*x - 15. Suppose s*c = 4*c - 16. Solve -c*m + 10 = b, b + 18 = 4*m + 4 for b.
-2
Let m = 40 - 21. Let x = m + -12. Solve -15 = 5*v, -x*u - 2*v - 6 = -2*u for u.
0
Let m = 22 + -16. Let b = 8 - m. Suppose 0 = 3*o - 7*o - 2*s + 50, -3*o - 4*s + 40 = 0. Solve 3*t + o = -c, 0*c - b*t = -2*c + 8 for c.
0
Let n be (2/(-1))/(2/(-3)) + -129. Let q = n - -128. Let w = 4 + -2. Solve -w = -x, -q*v = x + 3*x - 12 for v.
2
Suppose -31 = 7*f - 3. Let t be (-24)/f*2/3. Solve 4*l = 2*r - 10, -7 = l - 3*r + t*r for l.
-4
Let m be (0 - 1) + (-10)/(-2). Suppose -5*i + 5*x + 20 = 0, -5*i + 4 + 8 = -x. Suppose -2*v = -17 - 3. Solve -4*o - i*r = v, 25 = -3*o - r - m*r for o.
0
Suppose 0 = -28*l - 8*l + 72. Solve -4*w = -3*x + 21, -10*w - 3 = -7*w + l*x for w.
-3
Suppose -87*h - 10 = -89*h. Solve 2*p = 0, -3*d - 9 = -4*p + h*p for d.
-3
Let r = -73 - -80. Solve -3*w + 4*z - r = 0, -3*w - 2*z - 3*z = 25 for w.
-5
Let i be (-234)/(-10) - 2/5. Let x = -670 - -674. Suppose 3*t = -2*d + 4*t + 5, d = 4*t + 6. Solve -3*s + x*y - i = 0, -d*s + y = 11 - 4 for s.
-1
Suppose 4*b + 1 = -3*h - 2, -5*h = 25. Solve 4*k + 7 = b*g, 10 = -g - 5*k - 13 for g.
-3
Let t(f) = f - 2. Let m be t(3). Let o be (8 - 738/90) + 1*26/5. Solve -4*r = 3*c + 8, -46 + m = -5*c + o*r for c.
4
Let x = -37 - -52. Let h = -16 + x. Let j be (0*(h - 0))/(-2). Solve j*f + k - 7 = -4*f, -10 = 2*k for f.
3
Let d be (-10)/4*(-4)/(-5). Let o be (-80)/(-12) - d/6. Let u = 10 - o. Solve -v + 0 - 10 = u*k, 0 = 5*k + 2*v + 15 for k.
-5
Let z be -1 - 2*(-3 + 1). Suppose 0 = 2*x + x. Solve x*i = m + i - z, 2*m + 3*i = 10 for m.
-1
Let u(t) = 3*t**3 + t**2 - t. Let h be u(1). Suppose -2*v = -2*q - 3*q + 17, v + 10 = h*q. Solve 0*p - x = -p + 3, 0 = -2*p - q*x + 1 for p.
2
Suppose 5*g + 1 = 11. Solve 2*o = -2*r + 2, -4*o - r - g = r for o.
-2
Let i(b) be the third derivative of b**5/30 - b**4/3 - 5*b**3/6 + 2*b**2. Let q be i(5). Solve -n = -k + q, k = 6*k for n.
-5
Suppose -3*p + 10 = -5. Let a = -2 - -6. Suppose -3*l + 3*o + 15 = 0, -a*l + 3*o + 19 = -0*l. Solve -p*g = -l*s - 25, -5*s - 35 + 9 = -g for s.
-5
Let d = 9 + -6. Let m(t) = -2*t**2 + 3*t**d + 3*t**2 - 1 + t + 0*t**2. Let x be m(1). Solve -x = -5*q + 5*g - 29, 10 = -2*q + 3*g for q.
-5
Let b(g) be the second derivative of g**5/20 - g**4/12 + g**3/6 + 13*g**2/2 - 2*g. Let a be b(0). Solve 0 = f + 1 - 2, 0 = -5*o - 2*f - a for o.
-3
Suppose 0 = m - 4*f + 7, -21*m + 5*f = -20*m + 11. Solve m*s - 4*s = 5*i, 4*i + 3 = 3*s for i.
-3
Suppose 0 = -2*j + j, 4*w + 3*j - 24 = 0. Suppose 14 = w*q - 4. Solve 0 = -s + 3*s - a - 3, 11 = -s + q*a for s.
4
Suppose 4*l - 20 = 9*l. Suppose -3*q + 2 - 8 = 0. Let w be ((-33)/6 - l)*q. Solve -13 = 2*s - w*p, 2*s + 14 = 4*p - 0 for s.
-5
Let s(i) = -2*i**2 - 13*i - 6. Let b be -16 - 2 - (-20)/5. Let k = b - -8. Let l be s(k). Solve -2*m - 4*p = m + 13, l = 3*m - 4*p + 5 for m.
-3
Suppose -2*r - r = 39. Let x(a) = a + 15. Let p be x(r). Let j = -15 - -17. Solve -17 = j*d - d + 5*q, 5*q + 26 = p*d for d.
3
Suppose 3*h - 17 = -3*t - 2*h, t + 4*h = 1. Suppose -t = -67*z + 64*z. Solve 5*r - 5*d + z*d + 19 = 0, 4*d - 11 = r for r.
-3
Suppose 2*p - 174 = -5*q, 4*q - 2*p - 25 = 107. Let t = -68 + q. Let z = t - -38. Solve -5*a = -u, a + 23 = z*u + 4*a for u.
5
Suppose -3*o = 9*o + 168. Let m be (o/4 - -2)*(-24)/9. Solve 7*l - 2*l = 10, -m*l = 4*w - 16 for w.
2
Suppose 12*o = 10*o - 12. Let z(s) = -1 - 5*s**2 - s + 8*s - s**3 + 7. Let b be z(o). Solve 0 = -r - 4*y + 1, 0*r - 3*r + 3*y - 12 = b for r.
-3
Let h(q) = q**2 + 1. Let o be h(-1). Let c be 1*(-3 + o - -1). Solve d - 1 = 4*s, c = -5*s + s - 2*d + 14 for s.
1
Let t be 18/5*10/4. Let c = 13 - t. Suppose 0 = -v + 5*r + 27, c*v = 2*r - 3*r + 45. Solve 3*f = -3*k + v, 0*k - f + 10 = 4*k for k.
2
Let b(l) = -9*l - 177. Let d be b(-20). Solve 0 = -2*j - 4*c - 8, 0*j - 8 = -d*j - c for j.
4
Let w = -83 + 87. Suppose 0 = -s + 3*g - 3, -5*g = s - w*g - 1. Solve -2 = -4*i + 3*p - 6, s = -i + p for i.
-4
Suppose 8*m - 10*m + 8 = 0. Solve 2*n = m*h - 20, 10 = 2*h + 8*n - 6*n for h.
5
Let g(b) = -15*b. Let a be g(-7). Let s be 60/a + (-62)/(-14). Solve -s*x + 11 + 14 = 0, -3*c = 5*x - 22 for c.
-1
Let w be (3/(-1))/(2 + -1). Let d = 9 - w. Let z = -195 + 200. Solve z*j = 0, 4*o + 0*o = 5*j + d for o.
3
Let p = -844 + 848. Solve -8*b + 5*b = 5*y - 13, y + p*b = -11 for y.
5
Let z = 1267 + -1267. Solve 0 = -2*o - 7*v + 6*v - 3, z = -o - v - 3 for o.
0
Let r(w) = 2 - w + 6 + 2*w. Let a(z) = z - 11. Let u be a(6). 