-2*z - 2*q + 12 for z.
5
Suppose -4*d = 1 - 5. Suppose d - 3 = -h. Solve 3*l - h*u - 7 = 0, -4*u - 10 = l - 31 for l.
5
Let o = 1 - -2. Suppose 0 = -o*y + 49 - 13. Solve -1 + 5 = -2*z, -5*q + 4*z = y for q.
-4
Let b = -12 - -20. Let h be (-5)/(-20) - (-22)/b. Solve 3*x - 1 + 6 = -2*u, 1 = -4*u - h*x for u.
2
Let s(y) = y**3 + 2*y**2 - 5*y - 3. Let i be s(-3). Solve 3*f - 4*k + 12 = 0, -k = -4*f - i - 0 for f.
0
Suppose 3*q + 44 = 3*b + 227, 5*b + 191 = 3*q. Suppose -5*f + q = -2*f. Suppose -4*u + 8 - f = w, -u = 4. Solve -d - 3*d = -5*i - 22, 3*d = w*i + 19 for i.
-2
Suppose 0 = -0*o - 4*o + 16. Solve 0 = -o*n - 3*j + 12, j - 2*j = -3*n - 4 for n.
0
Let r(w) = w + 2. Let j be r(5). Let k be (3/2)/(1/(-2)). Let h be k/4 + (-15)/(-20). Solve b - 5*b - j = -3*s, h = 4*b + 5*s - 33 for b.
2
Let g(x) = -18*x**2 - x. Let m be g(1). Let b = m - -37. Let c be b/2*(-2)/(-3). Solve -3*w = -2*r - 3*r + 20, -4*r - 2*w - c = 0 for r.
1
Let q(u) = -u**2 - 13*u - 6. Let p be q(-12). Solve 5*f + 4*m = -3, p = -6*f + 3*f - m for f.
-3
Suppose -4*t - z = -8, -5*z - 10 = 2*t - z. Let j(n) = n**3 - n**2. Let p be j(2). Let a = p - 2. Solve 31 = -k - t*k - 5*g, -3*g = a*k + 17 for k.
-4
Let y(b) = -b - 3 + 4 + 4. Let o be y(4). Let n be o/(-3) - 25/(-3). Solve -5*a + 5 = z - n, 4*a - 2 = -5*z for a.
3
Let r = 99 - 84. Solve 0 = -4*s + 3*o - 29, r = -4*s - o - 2 for s.
-5
Let u be (-26)/6 + 9/27. Let k = 17 + u. Solve 0 = -2*c + b - 3 + 10, -5*c - 2*b = -k for c.
3
Let c(w) = 4*w**3 - 3*w**2 + 5*w - 3. Let x be c(1). Solve -9 = -x*l - 2*i, -2*i - 3*i - 20 = -l for l.
5
Let q(o) = -o**2 + 3*o + 1. Let w be q(3). Let n = w + -1. Let a be (-1)/(-2)*n/9. Solve -4 = -x, a*t + t = -2*x + 8 for t.
0
Let n(d) be the third derivative of d**5/20 + d**3/6 - 3*d**2. Let u be n(1). Solve u*k = 4, -4*i = i - 3*k + 8 for i.
-1
Suppose -2*w = w - 9. Suppose 6 = 4*k + 2*c, 3 - 12 = -2*k + c. Suppose k*n + 5 = -2*b, 0*b = -2*b + n + 15. Solve w*u + b*t = -37, t + 0*t + 9 = -u for u.
-4
Suppose 0 = -2*f - 1 + 5. Solve -15 = 5*v, -2*v = f*c - 2 - 0 for c.
4
Let n be (0 - (2 - 0))/1. Let i be n/8 + (-13)/(-4). Solve -6*c + 4*c = p - 12, p - c + i = 0 for p.
2
Suppose -10 = -8*g + 3*g. Suppose -3*p - p = -8. Suppose -p*a = -4*a. Solve -g*z + 4*n - 2*n - 16 = 0, a = 3*n - 9 for z.
-5
Suppose 0 = 2*j + 2*y, 5*j - j - 35 = 3*y. Suppose j*b - 13 - 2 = v, 2*v = 2*b - 6. Solve 3*h + 0*p - b*p = 21, 5*h + 5 = -3*p for h.
2
Suppose -p + 30 = 4*p + x, 5*p - 4*x = 30. Suppose p*g = g. Solve -n = -2, s - 5 = -g*n - n for s.
3
Suppose -37 = d - 42. Solve 3*x + 2*s + 2 - 3 = 0, 0 = -5*x - 2*s - d for x.
-3
Let s(h) = 8*h - 1. Let z = -1 - -3. Let x be s(z). Solve -6*w + 5 = -w, 5*w - x = 5*t for t.
-2
Let i(p) = 2*p - 13. Let v be i(9). Solve 4*q = -v*b + 17, -3*q + 4*b = 2*q + 30 for q.
-2
Let q(t) = 0*t - t + 2*t + 7. Let d be q(-3). Solve -z - 1 = 0, -d*z + 1 = l + 10 for l.
-5
Let d(t) = -6*t + 3*t + 2*t. Let c be d(-2). Solve 5*j = -c*k + 9, 4*k - 20 + 7 = -5*j for j.
1
Let c(i) = 2*i**2 - 9*i - 3. Let m be c(5). Solve -m*d - 4*g + 16 = 0, -2*d - g = 2*g - 12 for d.
0
Suppose 0*c = -2*c - 8. Let a(s) = s + 1. Let g be a(c). Let r(j) = j**3 + 3*j**2 - j. Let b be r(g). Solve -4*w - 4 = -b*q - q, 11 = -3*w - q for w.
-3
Let l(t) = 2*t - 3. Let f be (-4)/22 + 544/88. Let p be l(f). Solve 0 = 2*g - b - p, 5*b = -4*g + 1 - 4 for g.
3
Suppose 0 = -j - j + 10. Suppose j*a + 0*d + 3*d = 1, -a - 5*d - 13 = 0. Solve 2*o = r - 2, r + a*o = -0 + 2 for r.
2
Let y(x) = 2*x + 18. Let l be y(-9). Solve 4*t - 5*g - 5 = l, 0 = -t + g - 0*g + 1 for t.
0
Let w = 10 + 8. Let l(g) = g + 2. Let m(s) = s**2 + s - 2. Let h be m(-3). Let j be l(h). Solve v = -c - j, v = 2*c + 3*c + w for c.
-4
Let l = -16 - -21. Solve -2*j - 3*j = l*q - 25, 2*j = 8 for q.
1
Let c(w) = 5*w. Let k be (-5)/(-3) + 6/(-9). Let v be c(k). Solve 0 = -3*r + t - 4, 5*r + 5*t = -v - 15 for r.
-2
Suppose -2*v = 4*k + v - 2, -2*k - 4 = 4*v. Suppose 0*u - 2*u = -8. Solve a + 18 = u*c, -a = -4*c - k*a + 22 for c.
5
Suppose h + 5*o - 34 = 0, -2*h - 6 = 2*o - 34. Solve 4*b = -l - h, 5*b + 2 + 8 = 0 for l.
-1
Let t(n) = -n**3 - n**2 + 2. Let x be t(0). Solve 0 = -2*f - 2*r - x, -5*r - 1 = -16 for f.
-4
Let o = -16 + 19. Solve -p - 1 - o = 3*s, -4*p = -3*s - 29 for s.
-3
Let o(v) = -2 - 7 + v - 3*v. Let w be o(-6). Solve 4*n + 11 = w*m - 2, m + 2*n + 9 = 0 for m.
-1
Suppose 20 = -u - 4*u, -5*d = -5*u - 30. Let k(f) = f**2 - 3*f. Let s be k(2). Let j = -2 - s. Solve -p + 3 = j, -7 = -d*h - 2*p + 7 for h.
4
Let n(a) = -a**2 - 1. Let c be n(1). Let w(x) = -2*x**3 - 3*x**2. Let o be w(c). Solve -j - 2*j = 5*b - 20, b = -o*j + 4 for j.
0
Let s(y) = -y**3 - y**2 + y - 1. Let z = -2 + 2. Let g be s(z). Let k be (-1*6)/(g/2). Solve 0 = -4*h + 4*d - k, d + 1 = 2*h + 7 for h.
-3
Suppose -2*j + 60 = 3*j. Suppose 0 = -0*q - 4*q + 8. Suppose 3*i = -4*u + 13 - 5, q*i = 4*u + j. Solve 4*s + 24 = 4*y, i*y - 5*s - 7 = 19 for y.
4
Let u = -28 + 41. Suppose -v + u = 2*f, -21 = -5*v + 4*v - 4*f. Solve 3*i = 0, 4*k = -5*i + v - 1 for k.
1
Suppose -2*c = c. Suppose -x - 2*x + 9 = c. Solve -1 = x*l + 2*k, k + 17 = l + 6*k for l.
-3
Let d be 11/15*5 - (-1)/3. Solve d*v = i + 25, -3*i + 4*v = -6*i + 5 for i.
-5
Let b be 6 - -5 - (0 - -3). Let d(s) = -s - 2. Let r be d(4). Let y = r + b. Solve k - 5*f = -k + 28, f = y*k - 12 for k.
4
Suppose 0 = -3*v + 5*h - 2 + 4, v - 5*h = 4. Let j be 2 - 1 - (v + -3). Solve -4*o - 5*t + 18 = 0, 2*o - 4*t - 6 = -j*t for o.
2
Let r = 23 - 3. Solve 4*i + 5*a = -6 + 36, -2*i - 5*a = -r for i.
5
Let t(l) = -l**2 - 6*l + 6. Let j be t(-6). Suppose -j*q = -q. Solve 4*n = -q*x - 4*x, 0 = -3*n - 9 for x.
3
Let i(x) = 2*x**2 - x - 4. Let r be i(2). Solve -r*l + 4 = 2*n, -14 = -3*n + 4*n - 3*l for n.
-2
Let o be (2 - (1 + -1)) + 6. Solve 0 = -3*s - 0*t - 3*t, 0 = 2*s - 2*t + o for s.
-2
Let d be 22/11*14/4 - 4. Solve d*w + 21 = -2*w - 4*b, 20 = -4*w - 4*b for w.
-1
Let m(f) be the second derivative of -f**4/12 + 7*f**3/6 + 5*f**2/2 - 2*f. Let l be 8 - (-2)/(-4)*2. Let v be m(l). Solve -2*u + 6*u = 0, v*y + 15 = -3*u for y.
-3
Let r be (1 - 2)*0*(-3)/(-6). Solve 0 = 2*b - l - 3, r*b = b + 4*l - 24 for b.
4
Suppose 2*m + 100 = 2*p + 34, 0 = 4*m - 8. Let d = -18 + p. Solve 4*l = -2*y + y + 13, 0 = 4*l - 5*y + d for l.
2
Let o(u) = -u**2 + 12*u + 3. Let m be 2*((-5 - -2) + 8). Let w be o(m). Solve w = 3*v - 6*v - 4*p, 5*p + 27 = -2*v for v.
-1
Let w be 40/(-12)*2*-3. Solve 0 = -4*k - w, 7 = 3*i - 3*k - 2 for i.
-2
Let f(t) = -2*t**3 + t**2 - 1. Suppose 3*b = 5*m + 9 - 25, -3*m + 6 = 0. Let o be f(b). Solve 4*w - k = -3, 5*w - 4*k + o - 7 = 0 for w.
0
Suppose -5*y + 65 - 15 = 0. Let n = -11 + 13. Solve n*t + 2*h - 17 = -h, -4*t + y = -2*h for t.
4
Let y be (2 - -17) + -3 + 4. Suppose 3*v - v = y. Solve u = -2*z + 12, -4*z + v = -7*u + 2*u for z.
5
Let q = -3 - -10. Suppose -p + q*p - 12 = 0. Solve -5*t - 13 = p*l, -5*l - 2*t = -3*t - 8 for l.
1
Let w = 10 + -16. Let a be w/(-10) + 12/(-20). Suppose a = 3*i + 2*i. Solve 2*h - 7 = 3*g - i*h, -h + 2 = 0 for g.
-1
Suppose 0 = -2*c + 12 + 4. Let q = -7 - -12. Suppose -q*y - c = -7*y. Solve 11 = -p - y*o, -2*o - 12 = 3*p + 3*o for p.
1
Let f(z) = z - 4. Suppose -a + 10 = a. Let p be f(a). Solve j - 6 = -3*q, p = -2*q + 2*j - 3 for q.
1
Suppose 2*v + v = 48. Solve -3*g = -2*l - 2, -3*l = 3*g - v - 11 for g.
4
Let s be 114/27 + (-2)/9. Solve 8 = -3*w + 4*b, -w + 4*w = -s*b + 8 for w.
0
Let w be 5*(2 - 3/3). Let u be 5*(-2 - (-12)/w). Solve -4*g + 2 = 2*l, -4*l = 5*g - u + 1 for g.
1
Suppose -2 = -4*h + 2*h. Let g be 2 + -1 + 0 + h. Solve -g*t = -3*q - 14, 0*t = -5*q - 2*t - 18 for q.
-4
Let i be (-1 + 3)*(-6)/(-4). Suppose 0 = -i*l - l. Solve l = -4*u - 12, -16 = 5*a - 0*u - 3*u for a.
-5
Suppose -4*u - g + 173 = 4*g, u + 4*g = 35. Let a be u/7 - (-14)/49. Solve x + 17 = -4*c + c, 3*x = 2*c - a for c.
-4
Suppose -3*r + 2*r = 1. Let h be 24 + r*(-3 - -1). Solve -6 + 0 = -3*m + 3*z, h = -3*m - 5*z for m.
-2
Let o(k) = -3*k + 1. Let t be o(1). Let w be t/(-13) + (-2)/13. Solve -h + 3*x + 6 = w, -h - h = -x - 2 for h.
0
Suppose u = -4, -4*p - u = 3*u + 8. Solve -5*n = -w + p, 2*n = 2*w + 6*n - 4 for w.
2
Let i(r) = -r**3 - 9*r**2 - 12*r - 3. Let u be i(-8). Solve 0 = 5*p - 3*t - u, -t - 1 - 2 = 0 for p.
4
Let y(g) =