olve -q*v - 3*u + 2*u = -7, b = -r*v + u for v.
1
Let k(d) = d**2 - 9*d - 8. Suppose 3*f + 0*w - w = 25, -f + w = -5. Let l be k(f). Solve 0 = -l*x - 8, -9 = -h - x + 4*x for h.
-3
Let t be (11/2)/(3/6). Let n = t - -9. Solve n = -5*l, 0*k + 20 = 2*k - 3*l for k.
4
Let o(v) = -6*v**3 - 5*v + 1. Let g(w) = w**3 + w**2 + w. Let k(j) = 5*g(j) + o(j). Let a be k(5). Solve 0 = 4*x + 3*s - 14, 8 = x - 2*s - a for x.
5
Suppose -c - 3*n + 3 - 10 = 0, 4*c - 3*n = 32. Solve 8 = -2*i, 0*i = c*s + 3*i - 3 for s.
3
Let p(x) = 4*x**2 - x + 2. Let t be p(1). Suppose -3*v + 14 + 3 = 2*a, -2*a = -v - t. Solve 0 = 5*o + 5, z - v*o - 8 = -4*z for z.
1
Let q = 11 + -4. Let m(w) = w**3 - 6*w**2 + 3*w - 3. Let l be m(6). Let d be (-9)/(-2) - (-1)/2. Solve l = -d*u - r, -q*r - 12 = 4*u - 2*r for u.
-3
Let l = 71 + -29. Let f be 12/l - 124/(-7). Solve -m - f = 2*b - 5*m, -5*m = -b - 24 for b.
1
Suppose 2*f - 4*s = -4, 2*s + 6 = -4*f + f. Let h = 0 - f. Solve 4*t - 8 = -h*m, t = -t for m.
4
Suppose 1 = 4*h - 3. Let b = h - -1. Solve -3*u - 3*w + 15 = 0, -19 = -u - b*u - 4*w for u.
1
Let x be (3 + -3)/4*(-3)/(-6). Solve -6 = -4*r - o + 2*o, -r - o - 1 = x for r.
1
Let q = 19 - 16. Solve 11 = -q*x - 2*x + 4*i, -4*x = -4*i + 12 for x.
1
Let h = 74 + -52. Let p = h + -8. Let j = p - 7. Solve x - 2*n = -1, -5*n = -3 - j for x.
3
Let d(k) be the first derivative of k**4 - k**3/3 + k**2/2 - 1. Let l be d(1). Solve 8 = 2*n - 5*g, l*n - g - g = 16 for n.
4
Let w = 0 + 10. Solve -3*l + 17 = x, 4*l - 3*x - w = 2*x for l.
5
Suppose 13*r - 17*r = 0. Solve -4*h + 6*h + 5*j - 33 = r, -2*h + 4*j - 12 = 0 for h.
4
Suppose 4*u + 1 = -3*w, 3*u + 3 + 6 = -5*w. Solve l - 2*f = u*f - 15, -3*f = 5*l + 6 for l.
-3
Suppose -2*c - 3*t = -4*c - 5, -5*c - 4*t + 22 = 0. Solve 2*l - o = 4, c*l + 5*o + 20 = l for l.
0
Suppose -3*o - 426 = -4*o. Let z be o/15 + (-4)/10. Let j = z + -20. Solve 2*l + j = 0, -l - 8 = -4*b + 4*l for b.
-3
Let g be ((-15)/6)/((-5)/10). Solve 3*f - 3*n + n = 8, -g*f - 2*n - 8 = 0 for f.
0
Suppose -15 = -6*o + 33. Solve -h = -3*w + 5*w + o, 5*w - h + 20 = 0 for w.
-4
Suppose 3*r = -r + 12. Suppose 7*g = r*g + 56. Solve -4*k + 6 + 6 = 0, -3*k + g = s for s.
5
Suppose -g + 2*m + 4 = -6, -3*g - m = -9. Suppose g*u - 10 = -u. Suppose -u*c = c - 3. Solve i - 8 = -5*n, 3*n = 2*i + 9 + c for i.
-2
Let y = 4 - -2. Let b = 9 - y. Suppose 0 = 5*a - b*a. Solve 5*l - 3*q + a - 10 = 0, 5*l + 3*q - 10 = 0 for l.
2
Let g be (6/1)/(0 - -2). Suppose n - 5*c - 4 = 0, 4 = g*n - c - 8. Solve -j - 9 = -5*k + 3*k, 0 = -5*k - n*j + 3 for k.
3
Let z(l) = -7*l + 4. Let a be z(3). Let h = -12 - a. Suppose -3 = d + p, -2*p - 4 = 3*d - 0*p. Solve -f = d*v + 3*f - 14, -3*v = h*f - 18 for v.
1
Let s = 8 - 6. Solve -15 = l + s*l, -n + l = -3 for n.
-2
Suppose -w = -4*o - 1, 7*w = 2*w + 2*o - 13. Let a be ((-3)/w)/(2/4). Solve 3*f = 4*q - 23, a*q + 17 = -5*f - 4 for q.
2
Let q be (-308)/10 - (-2)/(-10). Let o = 20 + q. Let n = -6 - o. Solve n*f - 41 = 4*a, 2*a = -0*a + f - 13 for a.
-4
Let r = -5 + 7. Let d(l) = -l - 2. Let p be d(-8). Let h(y) = y + 10. Let q be h(10). Solve 2*b = -r*j - 12, -q = -2*b + p*b for j.
-1
Suppose -5*r - k + 151 = -3*k, -4*k + 8 = 0. Solve -4*t + 3 = p, 0 = -t + 4*t - 5*p - r for t.
2
Suppose 2*z = 4*z - 10. Solve 0 = 3*f - 5*q - z, f + 0*q + 1 = q for f.
-5
Suppose -2*s + 18 = 2*c, 5*s + 5*c = s + 38. Solve -3*l - v + 3 = 0, -2 = -3*l - 3*v + s for l.
0
Suppose -o - 26 = o. Let d = o + 18. Solve -d*j = 2*q - 2*j - 3, -j = 1 for q.
3
Suppose -20*t - 25 = -25*t. Solve 1 = -3*i - 2, -t*i = -5*a + 15 for a.
2
Let x = 74 - 72. Solve -x*g + 7 = -a, 2*g + 5*a = -g + 17 for g.
4
Suppose -8*p = -7*p - 4. Solve p*o = 8, d + 0 - 1 = -3*o for d.
-5
Let u be 6 + 209/(-33) - 13/(-3). Suppose t + t = 64. Suppose -5*z = -3 - 17. Solve 2*l + t = -z*q - 3*l, u = -l for q.
-3
Suppose -154 = -11*t - 3*t. Solve -3*m = 5*b - 0*m + t, 2*b = m for b.
-1
Let q(k) = -3*k + 20. Let n be q(5). Solve j - 9 = -n*i + 4, -2*j - 5*i = -16 for j.
3
Let v = 72 + -72. Solve -c = -2, 4*n = -v*n - 4*c - 8 for n.
-4
Let l = 115 - 113. Solve -3*c = -l*s - c, -c + 2 = 0 for s.
2
Let c = 1 - 2. Let u = 4 - c. Suppose -u*g + 47 + 38 = 0. Solve -g = -2*w - 5*y, -2*w - 7 = -6*w - y for w.
1
Let w be (-1)/8*12/6*-20. Solve 3*t + r = -1, -w*t = -r + 3*r for t.
-2
Let f = -1 + 5. Let z(w) = w**2 + 7*w + 9. Let c be z(-6). Suppose 2*g - 2 = 3*t, -3*g + 18 = t + g. Solve 5*n = j + t*n - c, -4*n = f for j.
0
Let s(i) = 4*i - 28. Let t be s(9). Solve t = k + 2*k - y, 4*k - y = 11 for k.
3
Suppose 0 - 12 = -4*t. Solve -2*a + 5*a = i + 20, -t*a + 10 = i for i.
-5
Let o(z) be the second derivative of z**3/6 - 3*z**2 + 2*z. Let a be o(11). Solve -4*b = a*h, -2*b + 3 = h - 3 for b.
5
Let t be (-321)/(-45) + (-6)/45. Solve -2 = 5*k - t, -3*r - 2 = 4*k for r.
-2
Let s(a) = a**2 - 4*a - 1. Let u be s(3). Let m be 6 + 0 + u + 2. Solve 2*v = -6, -v - m - 3 = -4*l for l.
1
Suppose -i - 11 = -4*f, f + 3 = -i + 17. Suppose 3*m + 4*o = -8, -m + 6 = -3*m - 2*o. Let x = i + m. Solve 2*y - 3 = -3*j - y, -4*y + 31 = -x*j for j.
-3
Suppose -t - 1 = -23. Solve 3*l = -5*m + t, -4*l + 3*m - 19 = -0*m for l.
-1
Let c(k) = -k**3 - 6*k**2 - 6*k + 4. Let i be c(-5). Let y(h) = h**2 - 7*h - 3. Let t be y(i). Suppose -1 = u - 5. Solve 0 = -r - u*f - 15, -2*f - t = -r for r.
5
Let y(s) = s**3 - 8*s**2 - s + 17. Let c be y(8). Let d = c + -4. Solve -d*g + m = -17, g + 2*m = 2*g - 7 for g.
3
Suppose 3*r - 6 = -0*r. Suppose r*f - 2*v + 1 = -7, 5*f + 5*v - 10 = 0. Let s = f - -1. Solve -20 = -y + 5*c, -3*y = -s*c + 4*c - 3 for y.
5
Let p(w) = w**2 + 5*w - 10. Let k be p(-7). Let q = k - 1. Suppose 0*l - 2 = -l. Solve 5*t - x - x = 24, 2*t + q*x = l for t.
4
Suppose -3 = -m - f, -2*m - 4*f = -m + 9. Let r be m + 3 + 1*-2. Let g = r + -6. Solve 5*b + 3*n + 3 + 28 = 0, b + 9 = -g*n for b.
-5
Let x = 73 - 46. Solve 4*f = j + 33 - 10, 4*j = 3*f - x for j.
-3
Let r be ((-1)/(-3))/(132/(-27) + 5). Solve 2*q - 5*q + 3*a + r = 0, -3*a - 27 = 5*q for q.
-3
Let v be 2/(-2)*-1*11. Suppose 5*w = -z - 10, 5*w - 5 = -2*z - 2*z. Let s = v - z. Solve 5*q - 3*h = 12, h - s*h = -q + 20 for q.
0
Let h(y) = y**2 - 9*y + 3. Let f be h(9). Suppose 1 = -2*g - 3. Let l be (2/g)/(1/(-26)). Solve 0 = s - 2*c - 2*c - 13, -4*s + f*c = -l for s.
5
Let g be ((-2)/2)/1 - -5. Let h = -12 - -28. Let q be (2 - (1 - -1))/(-1). Solve -j + r + 3 = q, 0 = -g*j - 4*r - h - 12 for j.
-2
Suppose 0 = -a - 2, a - 4*a - 6 = 2*h. Suppose 3*i + 5*f = 2*f + 3, 0 = 2*i - 5*f + 5. Let t be (i + -1)/(4 + -5). Solve -5*q + g = h, 4*q = g - 0 + t for q.
-1
Let u = -24 - -27. Solve 3*f = k + 12, -4 - 10 = -u*k - f for k.
3
Let a be 5 - (2 - 0/(-3)). Suppose -4*g - a = -5*g. Solve -g*w = -w + 3*b - 15, 12 = -w + 5*b for w.
3
Suppose 0 = -2*m + 5*s + 31, -6*m + 3*s = -4*m - 21. Solve -q + 6 = -2*g, 0 = m*q + 5 + 1 for g.
-4
Suppose -2*c - 5*c = -28. Solve 4*y - 3*t + 14 = 2*y, c*t = -y + 15 for y.
-1
Suppose 3*a = 2*o - 4*o + 6, 4*a = -2*o + 8. Let y = 20 + -17. Solve 0 = -2*w - 3*q, o = y*w - 2*q - q + 15 for w.
-3
Suppose -6*z - 5*c + 20 = -z, -2*c + 2 = 0. Solve 0 = 4*d - g + 5*g + 8, 2*d + z*g + 1 = 0 for d.
-5
Suppose 5*x - 41 + 16 = 0. Solve -3*z = 3*d - 3, 0*z + 2*z + 7 = -x*d for d.
-3
Let p = -8 - -13. Suppose -2*f - 27 - 61 = -p*a, -3*a = -4*f - 50. Solve -h + 16 = 5*j, -5*h + 2*h - 5*j = -a for h.
1
Suppose 12 = -2*b + 3*z, 10 = -2*z + 7*z. Let m be 11 - (0 + 0 + b). Solve 3*g + 10 = -2*t, -m = -5*g + 2*t - 4 for g.
0
Suppose 11*g - 96 = 5*g. Solve 0 = -3*u - 5*d - g, -2*u - 2*d - 3*d - 14 = 0 for u.
-2
Let v(x) = x**2 - 4*x**2 + 7 + 2*x**2 - 4*x. Suppose 2*z + 5*c = -5, -2*z - 18 = -3*c - 5. Let n be v(z). Solve 5*d - 2*a + 5 = 0, 3*d - 4*a + n = -3*a for d.
1
Suppose 4 = 2*a - f, 0 = f + 2 - 4. Solve a*w - 15 = 0, 2*j + w = 3 + 4 for j.
1
Suppose 0 = 5*p + 2*j - 9, 3*p - 5*j - 1 = -8. Suppose 2*r = -4, 5*m - r + 2*r = 3. Let o = 23 - m. Solve -4*s + o = c - p, 4*c + 4*s = 32 for c.
3
Let d(c) = c**2 - 3*c + 5. Let g be d(2). Solve -3*y - 3*o + 15 = -0, -2*y - 10 = -g*o for y.
1
Let u be -1*-2*2/1. Solve 3*r + 1 = -2*n - 2, 5 = -u*r - 3*n for r.
1
Let h be 0/(1 + 1) - -3. Suppose 0*g - h*g = -6. Let k(i) = -i**3 - 12*i**2 - 11*i + 2. Let t be k(-11). Solve -g = 4*s - t*s - 2*j, -s + 3*j = 11 for 