 = 4*d, -d = 2*f + 2 for f.
-1
Let o be 6/6*(2 - -1). Solve m + 4*m + 10 = -5*v, -10 = 5*v - o*m for v.
-2
Suppose -45 = -11*l - 1. Solve 10 = -4*x - 2*a, 0 = 5*x - 2*a + l + 22 for x.
-4
Let i = 11 + -6. Solve -4*q - 5 = -5*j, 3*j = i*j + 5*q - 35 for j.
5
Let p = -49 - -58. Solve 0*n - p = -2*z - 5*n, -2*n = 3*z + 3 for z.
-3
Suppose -5 = -4*x + 3*k + 2*k, 0 = k + 5. Let h(j) = j**3 + 4*j**2 - 6*j - 3. Let d be h(x). Solve 0 = 5*p + d*v + 1 + 1, 0 = -2*v + 8 for p.
-2
Let z be (-6)/(-2) - (-1)/1. Suppose z*x = 2*x + 6. Solve 2*v = 5*b - 2, 20 = -x*v + 8*v for b.
2
Suppose -2*i + 15 = 3*i. Suppose 3*n = 9 - i. Solve q - n*u + 2 = 0, -3*q - 2*u + 26 = 2*q for q.
4
Let o(y) = -y**3 - 11*y**2 + 15*y + 38. Let g be o(-12). Solve -g*t - 2*t + 4 = -5*b, 0 = 4*t + 5*b - 4 for t.
1
Let k = 23 - 16. Suppose o = 2*w - k, -5*o + 16 + 4 = w. Let y be -5*(-2)/4*2. Solve -4*v - 3 - 9 = 4*l, 0 = -5*l + y*v - w for l.
-2
Suppose 5 = -s + 5*x - 2*x, -5*x = -2*s - 5. Let h be ((-4)/s)/(2/(-20)). Solve 0 = h*j + 4*z, 2*j + 0 - 9 = -5*z for j.
-3
Let b be (-152)/(-12) + (-1)/(-3). Suppose b = -2*j + 6*j + 5*n, -n + 1 = 0. Solve 0 = 3*k - 8*k, 10 = -j*m - 3*k for m.
-5
Let q(o) = 2*o**2 + 4*o + 2. Let v(f) = f. Let u(g) = q(g) - 4*v(g). Let d be u(3). Suppose 0 = -4*p - p + d. Solve x + 2*j + 6 = 0, p*x + 0*j + 4 = -4*j for x.
4
Suppose -12*i + 11*i + 2 = 0. Solve -5*z - i*a - 11 = -34, 3*z - 3*a = 18 for z.
5
Let d be (-4)/(-24) + 57/(-18). Let j be d/5 - (-299)/65. Solve 4*s = j*y - 5 - 7, -y + 8 = 4*s for s.
1
Let v be (-28)/3 + 4/(-6). Let s = 13 + v. Solve -10 = -5*f + f + o, s*f = -3*o + 15 for f.
3
Let v(x) = -6*x - 10. Let r be v(-11). Let l be r/6*15/10. Solve -b + 3*q - 1 = -l, b - 7 = q for b.
4
Suppose -29 = -4*o - x, 5 = 2*o + 3*x - 22. Solve -q - 2 = 5*b - o, 0 = -q - 2*b + 1 for q.
-1
Let m = -6 + 9. Solve -4*w + 9*y = 4*y - 25, -m*w + 5*y + 25 = 0 for w.
0
Suppose 7 = 5*o + 2. Let d = o - -2. Solve -5*q - 5*i = 40 - 0, -d*i = 4*q + 28 for q.
-4
Suppose -4*z + z - 2 = -r, 2*r - 5 = 5*z. Suppose r = 2*f - f. Solve 0 = -f*u + 5*s - 10, -2*u - 2*s = 8 for u.
-3
Suppose 0*u - 30 = 2*u. Let z(s) = -s**3 - 14*s**2 + 14*s - 13. Let f be z(u). Solve f*h = -h + 15, -4*m - 4*h = -36 for m.
4
Suppose 33 = 5*o - 4*y, 5*y - 4*y + 17 = 3*o. Solve 2*c - 3*l = 11, 3*c + l - o*l = 16 for c.
4
Suppose 22 = 2*h + 4*n, 5*h - 40 = -2*n - 3*n. Suppose 3*t - 6*t = 0. Solve t = j + 4, -4*c - h = -j - 29 for c.
5
Let p(a) = -3*a**3 + 2*a**2 + 2*a + 1. Let b be p(-1). Suppose b*o = -o + 15. Suppose 31 = -13*x + 70. Solve 12 = 4*s - 0, -5*s = o*u - x for u.
-4
Let p = -5 + 9. Solve -4*m = -3*g + g + 16, -g = m + p for g.
0
Let i = 36 + -23. Suppose -i - 2 = -5*t. Solve 5*m - n = 5, t - 1 = 2*m - n for m.
1
Suppose 3*c - 2*u + 2 = -c, -4*c - u + 13 = 0. Solve -2 = -2*x + c*o - 8, 2 = 2*x + 2*o for x.
-1
Suppose -5*x + 2*x = -12. Let l(i) = -i**2 - 7*i + 11. Let n be l(-8). Let k be ((-16)/4)/(-4) - (-10)/10. Solve -x*o - 20 = d + k*d, n*o = d - 15 for d.
0
Let w be (-8)/((-32)/11) + 6/(-8). Solve -11 = 3*u + 2*p, -4*p - w = 3*u + 5 for u.
-5
Suppose 2*c = -4*i + 52, 3*i + 2 + 76 = 5*c. Let d = c + -16. Let h be -1 - (2 + -6 + 0). Solve 2*a - 17 = -h*a + v, 13 = 3*a - d*v for a.
3
Let k = 6 - 0. Let w(x) = -2*x + 1 - k + 3. Let j be w(-3). Solve -d + 0*d - 4 = 0, j*d = 2*h - 22 for h.
3
Let y(h) = h**2 - 5*h + 8. Let a be y(3). Solve -4*x = 4*r - 3*x - 4, -a*x = -3*r + 14 for r.
2
Let z(s) = -s**3 + 9*s**2 + 2. Let d be z(9). Suppose -3 - 1 = -d*n. Let u = 10 + -6. Solve -5*b + 3*r - n - 2 = 0, 0 = -u*b + 4*r for b.
-2
Suppose 3*z = m - 16, 0 = z - 5*m + 1 + 23. Let r = z - -6. Solve 2*x - 4 = -3*b, 4*b - 3*x - r = -8 for b.
0
Let k(n) = -4*n**2 + 3*n - 5 - 5*n**3 + 5*n - 5*n + 4*n**3. Let t be k(-5). Solve 6 = -4*s + 2*s - 4*o, 0 = -4*s - t*o - 12 for s.
-3
Let z(n) = -n**2 - 3*n + 7. Let f be z(-4). Solve -2*x = 2*c + 4, -4*c - 5 = f*x + 1 for c.
0
Let f = 13 - 8. Suppose 12*h = 10*h + 2. Solve -4*s + h + 23 = -4*m, 0 = 4*m + f*s - 21 for m.
-1
Let j(w) = -3*w - 6. Let m be j(-4). Let n = -2 + m. Suppose 2*c + 17 = -o + 4*o, 5*c = n*o - 25. Solve -3*t + 2*p + 5 = 0, 3*t + o*p + 10 = -13 for t.
-1
Let p be 16/(-20)*(-70)/4. Suppose -3*t - p = -u, 4*t + 0 = -4. Solve s + 4*w - u = 0, 5*s - 3*w = -4*w - 21 for s.
-5
Let v(u) be the second derivative of u**5/20 + u**4/3 + 2*u**3/3 + 3*u**2/2 + 2*u. Let n be v(-3). Solve n - 5 = 5*y - 5*o, 4*y + 14 = -o for y.
-3
Let u be (-2 - (-7)/3)*15. Let a = -9 - -17. Solve -4*x - a = 3*h - 22, -u*x = h - 23 for x.
5
Let w(t) = t**2 + 10*t + 9. Let p be w(-9). Suppose a + 3*s - 4*s - 1 = p, 4*a + 4*s - 36 = 0. Solve 5*j - 15 = -a*l, 3*l - 4*j - 13 = -8*j for l.
-1
Suppose 2*f - 3 - 5 = 0. Let j = 16 + 2. Let z be 1/(-3) + 48/9. Solve 2*t = -z*d, -2*t = -4*t + f*d - j for t.
-5
Suppose -4*g - 13 = -21. Let m = 0 - 0. Solve -4*p = m, -20 = v + 4*v + g*p for v.
-4
Let n(s) = 9*s**2 + s - 2. Let q be n(1). Solve 9*x = 4*x - 5*w - 20, 2*x - 3*w = -q for x.
-4
Let b(l) = 3*l**2 + 5 - 1 + l**3 + 1 + 6*l**2. Let j be b(-9). Solve -5*g - s + 3*s + 35 = 0, g = -j*s - 20 for g.
5
Let m(w) = -w + 7. Let q be m(11). Let n = q - -9. Solve 3*k - 4 - n = 5*r, 3*k - 4*r = 9 for k.
3
Suppose 0 = u - 2*u. Suppose 5*b - 4*t - 37 = -0*b, t = -5*b + 22. Solve -x + 3*o + 2 = u, -4*x + b*o - 5 = -20 for x.
5
Suppose -y = 2*y - 6. Suppose 14 = -y*j - n, -2*j + 5*n + 1 = 3. Let z = 10 + j. Solve z*u = -4*o + 12, 0 = 3*u - 0*u - 4*o - 2 for u.
2
Let v be -16 - (-3)/((-6)/(-4)). Let t be (-4)/v - 6/21. Solve -y - y + 8 = 3*a, t = -3*y + 4*a - 22 for y.
-2
Let k(b) = b + 2. Let m be k(2). Let a be -1 + 21/(m + -1). Solve 4*d - 16 = -2*v + a*v, 4*d = 2*v + 14 for v.
-1
Let a(f) = f**2 + f + 2. Let u be a(0). Let l(q) = 7 - 2*q**u - 5*q + 0*q**2 - 2*q**2 + 3*q**2. Let x be l(-6). Solve 6 = -2*i - 2*w, x = -3*w + 4 for i.
-4
Let v be -2 - (-10 - -2) - 3. Let b be (-1)/2*-2*v. Solve p - b = -4*g, -4*g + 4*p + 5 + 3 = 0 for g.
1
Let p = -14 + 7. Let w = -5 - p. Suppose -3*t + 6*t + 10 = w*s, s = -3*t + 5. Solve -5*v + g + 16 = -0*v, 0 = -2*v - s*g + 28 for v.
4
Suppose 0 = y + 4*w - 22, y = -4*y + 3*w - 5. Suppose 2*g = -y*g. Let o = 3 + -1. Solve 2 + 2 = o*x, 2*s - 5*x = g for s.
5
Suppose 2*z + 2*s - 14 = 0, 4*z = z - s + 13. Suppose -26 = -z*b - 4*w + 31, 2*b - 3*w - 38 = 0. Solve 0 = 2*u - 3*i + 4, -4*u - b = -u + 2*i for u.
-5
Suppose r - 3*o - 19 + 8 = 0, 4*r = -3*o + 14. Solve -2 = 5*z + 4*l, r*z + l = -0 + 7 for z.
2
Let n(g) = -g**3 + 8*g**2 - g. Let r be n(8). Let d = -3 - r. Suppose k + 0*k + 11 = 4*y, -d*k + 55 = 2*y. Solve -3*f + 4*q = 3 + 8, -2*f + 3*q = k for f.
3
Let g(i) = -5*i**3 - 1 + 0*i**3 + 8*i**3. Let w be g(1). Solve -w*c - 5*b = 8, -c - 16 = 3*c - b for c.
-4
Suppose 0 = 5*z + 4*o - 4, 2*z = -0*z - 2*o. Solve 5*t + 9 = z*j + 4*t, -2*j = 3*t + 13 for j.
1
Suppose -15 = -5*j - 0*j. Let k = 10 + -5. Solve -k*b + 8 = -4*m, 2*m - 4*b = -j*b + 2 for m.
3
Suppose 0 = -3*s - 6, -6 = -3*i + 3*s + 6. Suppose -52 = -5*l - 4*k, l = -2*l + i*k + 40. Suppose 0 = -3*g + 12. Solve 2*x + c = 0, -l = -g*x - 4*c + 5*c for x.
2
Suppose 4*u + 5*p = -4 + 2, -u + 5*p + 12 = 0. Suppose -j - 18 = u*j. Let x = j + 15. Solve -l = 2*h + x, -5*l - 9 = -l - h for l.
-3
Suppose -c - 4*c = -5*m, 3*c = -m + 16. Solve 0 = m*w - 3*p + 19, -w - w + 3*p = 11 for w.
-4
Let f = -2 - -4. Suppose -3*y = f*y - 20. Solve -4*w + 0*w - 3*k + 8 = 0, w + y*k = 15 for w.
-1
Let c(s) = s + 26. Let i be c(-22). Solve 1 = 2*t + 3*d - 4, i*d - 10 = -2*t for t.
-5
Suppose -2*u + h + 3*h + 30 = 0, -2*u + 2*h + 30 = 0. Suppose -k = 4*k + u. Let z be 0 + (1 - 66/k). Solve -7 = -2*x - 3*t - z, -3*x = -4*t + 7 for x.
-5
Let a(l) = 4*l**2 + 7*l. Let i be a(-2). Solve -4*n = g - 5, 2*g - i - 8 = n for g.
5
Let y be (-24)/36 + (-50)/(-3). Solve 0*n - u - y = 3*n, u - 14 = 3*n for n.
-5
Let u be 4/(-18) + 21/(-27). Let a be u/(-1 - (-15)/18). Let y be (18/12)/(a/20). Solve -2*p = y*i - 3*p + 4, 4 = p for i.
0
Let t(m) = m**2 - 4*m - 1. Let p be t(5). Suppose 0 = 8*f + 6 - 78. Solve 3*q + 12 = p*b - q, b = -5*q + f for b.
4
Let y be (-2)/(-6) - 10/(-6). Let x(s) = -s - 4. Let g be x(-8). Suppose 3*k - 24 = -2*v, -2*k = -y*v + g + 20. Solve -3*p + z + 20 = -3*z, 2*p - v = 2*z for p.
4
Let k(r) = -r**2 - 11*