 = -o - 22 for x.
5
Let m(i) = i**2. Suppose -f = -3*n + 15, 2*f - 5 = 2*n - 3*n. Let c be m(f). Solve -t - 12 = 3*t, c = -g - 3*t - 8 for g.
1
Let c be 6 - (-2 + 3 + 0). Suppose c*w - 2*o = -3*o + 2, 3*o - 6 = -w. Solve 2*z + l = -3, w*z - z + 21 = 5*l for z.
-4
Suppose 5 = -2*d + 3. Let t be 2/(3/(-6)*d). Suppose -t*o + 3*k - 7 = 0, 0 = -3*o - k + 3*k - 4. Solve 0 = u - 5*v - 12, -o*v = 2*u + u + 15 for u.
-3
Suppose 3*b + 4 = -8*h + 3*h, 5*b + 3*h - 4 = 0. Suppose -44 = -4*g - b*r, 4*r + 9 = 1. Solve -4*p - g = -2*j, 5*j + 41 - 6 = -3*p for p.
-5
Let a be (-75)/10*(-4)/3. Let k = a + -6. Solve -14 = 2*x + 2*n + k, 3*x + 5*n = -35 for x.
-5
Let p(f) = 23*f. Let k be p(1). Let l = k - 3. Solve 4*a + 20 = 5*x, -l = -3*x - 2*x + 3*a for x.
4
Suppose 3*a + 1 = 3*f - 17, -f - 2*a - 6 = 0. Solve 3*l = z + 1 - f, 2*z = 4*l + 4 for l.
1
Suppose -6*z = -11*z + 15. Solve 0 = -w + 2*w - 1, 3*l = z*w for l.
1
Suppose -12 + 16 = 2*u. Solve -5*o - u*p + 3 - 1 = 0, -2*p = -o - 2 for o.
0
Suppose -2*h = 2*s - 6, s + 12 = -2*h + 4*h. Let d be -6*(s - (-6)/4). Solve v = d*k + 1 - 6, 0 = 3*v + 6 for k.
1
Let c = 21 - 18. Solve j + 2*o = 8, -11 - 1 = 2*j - c*o for j.
0
Let y(l) = 4*l + 6. Let h be y(-4). Let r be ((-12)/h)/(2/5). Solve 11 = -2*z - r*u - 0*u, 2*z + 4*u = -14 for z.
-1
Suppose -5*q + 11 - 1 = 0. Solve -q*f - 15 = -7*f, -5*f = -5*o - 15 for o.
0
Let p(a) be the first derivative of a**3/3 - 7*a**2/2 + 6*a + 1. Let g be p(7). Suppose -5*v + g = -2*v. Solve -v*r - 4*w - 25 = r, -2*r = -2*w - 2 for r.
-3
Let k = -10 + 7. Let t be (10/6)/((-1)/k). Let z = 2 + 0. Solve t*u - z*p = -p + 1, 0 = -u + 2*p - 7 for u.
1
Let s(n) = n - 8. Let o be s(8). Suppose o = r - 0*r - 5. Solve 4*i = j + 18, 6*j - 2*j + r*i - 33 = 0 for j.
2
Let p(x) = 2*x**3 - 3*x**2. Suppose 0 = -5*g - 3*y + 16, 12 = 5*g + 4*y - 3*y. Let t be p(g). Solve 4*k = t*m, -2*m - 3*k - 10 = -5 for m.
-1
Let d = -22 + 24. Solve 2*i = 4*n - d*n, -4*n - 45 = 5*i for n.
-5
Let t(m) = m**2 - 17*m - 82. Let k be t(21). Let a be (-4)/(-10) - (-8)/5. Solve 0 = -k*f - 4*p - 16, -7 = 3*f + p + a for f.
-2
Let d = -11 + 14. Suppose t + d*t - 2 = -v, 5*v - t - 31 = 0. Let q be (-5)/(-2)*(-6)/(-5). Solve q*j + c + 11 = 0, c + 15 = -v*j + j for j.
-2
Suppose -2 = 4*q + 6, 0 = -2*u + 3*q + 6. Let i be 6/1*(-4)/(-6). Suppose i*a = -u + 8. Solve a*r - 10 = -r + 5*y, 0 = -5*r - 5*y - 50 for r.
-5
Let h(c) be the first derivative of c**4/4 + 4*c**3/3 - 4*c - 1. Let i be h(-3). Solve 0 = -i*s - m - 21, -2*m = -7*s + 2*s - 33 for s.
-5
Suppose 4*l = 2*l. Suppose 3*i - 2*n = -2*i - 17, -3*n = 12. Let z(g) = g + 7. Let y be z(i). Solve y*b + b + 3*t = l, -2*b = 3*t for b.
0
Let z = -51 + 88. Suppose -5*f = -4*v - z, -2*f + 11 - 1 = -4*v. Solve -3*p = -f, -n - 5*p = n - 15 for n.
0
Let u = 41 + -36. Solve 0 = 2*s + 11 - 3, 4*z - u*s = 0 for z.
-5
Suppose -u - u + 4 = 0. Suppose y + u = 2*y. Solve -k - 3*d = -y*k - 4, 4*k = -d - 16 for k.
-4
Let s(o) = -o**2 - 6*o + 2. Let m be s(-6). Suppose m*j - 24 = -0*j. Let h = -9 + j. Solve 2*q + 3*z = 9, z - h = 3*q - 0 for q.
0
Let u = 30 + -16. Let n = -6 + u. Solve -i + n = s, -4*s + 7 + 22 = 3*i for s.
5
Let k be -9 + 9 - (-3 + (0 - 3)). Solve -2*s + 4*y = 2*s - 24, -s - 2*y = k for s.
2
Let t be 57/9 - (-1)/(-3). Suppose 0 = -5*k + 3*k + t. Solve 2*q = -z + 10, k*z + 8 = -4*q + 30 for z.
2
Let u(v) = -v**2 + 3*v + 2. Let f be u(4). Let p = f - -5. Solve 8 = -2*q - 2*w, 0 = p*q - 2*q - 2*w + 4 for q.
-4
Suppose 6*x - x + 2*f = 6, -3*x = -f + 3. Let q(n) = -n**3 + n**2 + n + 2. Let s be q(x). Solve 0 = -4*a - s*k + 6*k + 20, 2*a - 4*k - 18 = 0 for a.
1
Let q(n) = n**3 + 7*n**2. Let g be q(-7). Solve -4*z - 4*m + 4 = 0, g*m = 5*z + 2*m + 10 for z.
-4
Let n be ((-2)/(-1))/(6 + -5). Solve -34 = -0*t + 3*t - 5*i, -n*t + 3*i = 21 for t.
-3
Let f be (-2)/(-6) - 75/(-45). Solve -4*d - 16 = -5*b, 0 = -f*b + 7*d - 3*d + 16 for b.
0
Suppose -4*s + 9*s - 15 = 0. Let r(i) = i**2 - 5*i - 4. Let d be ((-14)/8)/(4/(-16)). Let g be r(d). Solve -4*v + s*t = -9, -g = -4*v + t + t for v.
3
Let p = 16 + -16. Solve p = -r + 2*r - 2*k + 11, -3*r = -5*k + 30 for r.
-5
Suppose 0 = -q - 0 + 3. Let c be 9/q + -4 + 26. Suppose -2 = 3*m + 4*u, 3 = -m + 2*u + 9. Solve -s = j + 10, 0 = -3*j - m*s - 0*s - c for j.
-5
Let z be 10/6*(2 + 1). Solve 0 = z*m + 6*l - 4*l + 26, -4*l - 28 = 4*m for m.
-4
Let v be 13 - (2/2 + 0). Solve 5*k + v = -0*k - 3*i, 8 = 3*k - 2*i for k.
0
Let y be (2/(-3))/((-2)/(-3)). Let m(w) be the first derivative of -w**4 - w**2/2 - w - 4. Let q be m(y). Solve 6 - q = 4*v - 3*g, 5*v + g + 7 = 0 for v.
-1
Suppose 3*p = -8 + 8. Solve 0 = -2*x - 4*k + 8, -4*x - 4*k + p*k = -16 for x.
4
Suppose 5*h = 57 + 48. Solve -4*a = 5*w + h - 5, 4*a = 4*w + 20 for w.
-4
Suppose 0 = -4*j + 7 + 13. Solve 2*r - 3*n = 8, j*n = -r + 2*n - 14 for r.
-2
Let k be 140/56 - ((-1)/(-2))/1. Solve 0 = d - 5*g - 3, -3*g + 1 = d - k for d.
3
Let p = 10 - 9. Suppose -11 = -3*w + p. Solve h = w*o + 10, -3*h + o - 3 = -0*h for h.
-2
Suppose -28 = -4*g + 2*w, -17 = -2*g + 5*w + 13. Solve 3*t = -4*v + 15, -5*v + 29 = g*t + 4 for t.
5
Let k(z) = -z. Let d be k(-3). Suppose -d*b + 24 = b. Suppose -2 = 3*u + g, 5*u - 5*g = -g + 8. Solve -2*o - 8 = -2*i + b*i, u = 5*i - 3*o + 32 for i.
-4
Suppose 4*g = 4*a, -a - 2*a = 4*g - 14. Let c = 46 + -42. Solve 10 = a*w - 2*s, 6 = w - c*s - 14 for w.
0
Let q = 9 + -5. Let o be (8/(-12) + -2)/((-6)/9). Solve -q*d + 9 = -i, i + o*d = -d for i.
-5
Let d(a) = a + 6. Let x be d(-4). Suppose -3*y - x*n = -16, 3*y + 3*n = 2 + 16. Solve -2*t + y*b = 2, 8 = t + 4*b - 9 for t.
5
Let p = -35 - -42. Solve 4*o - 4*q = 0, 5*o - 4*q + 2 - p = 0 for o.
5
Let f = -8 - -23. Let u = f + -8. Solve -4*t + 4*k = -4, u*t + 2*k + 23 = 2*t for t.
-3
Let v = -37 + 39. Solve -4*x + t = -1, 0 = -x + v*x - 3*t - 14 for x.
-1
Suppose -5*m + 0 = -5. Let p be -1 - m*(-1 - 10). Solve 5*h - 3*o - 2*o + p = 0, 2*o - 10 = 0 for h.
3
Let z(n) = 2*n - 12. Let t be z(7). Solve -k = t*b - 9, b + k + 3*k = 22 for b.
2
Let p(m) = -3*m + 5. Let o be p(1). Solve -o*u = 2*d, u + 9 = -5*d - 3 for u.
3
Let t = -5 - -9. Let g = 4 - t. Solve 0 = 5*y - 5*j + 2*j + 14, -4*y + j - 7 = g for y.
-1
Let g(d) = -d**3 + 9*d**2 - 5*d + 6. Let k be g(8). Let l be 95/k - (-2)/(-12). Solve 3*c - 2*p + 4 = -0*p, 4*c = l*p - 6 for c.
0
Suppose -1 = -2*i + 5*i - 4*h, 5*i + 17 = -h. Let o(n) = -n - 1. Let p be o(i). Solve p*x - 3*l = 1, 0*x - 5*x + 3*l = 2 for x.
-1
Let s(v) = -6*v**3 - v**2. Let i be s(-1). Suppose -3*b - 3*k + 39 = 0, -5*b + 85 = -0*k - i*k. Solve -3*q + 2*d = -9, q = 4*d - 2 + b for q.
1
Suppose -4*d + 6 = -26. Let f = 7 - d. Let a be f/(-2) + (-341)/(-22). Solve 2*r - 4*z + a = -8*z, -4*r - 5*z = 23 for r.
-2
Let u(w) = -w**2 - 8*w + 12. Suppose 5*t = -0*t - 45. Let y be u(t). Solve -y*z - 5 = 4*r, -r + 2*r = -4*z - 11 for r.
1
Let g(m) = 3*m**2 - 4*m - 1. Let l be g(3). Suppose -3*w = -2 + 41. Let a = w - -58. Solve l = -p + 2*q, -q - a = 5*p - 6*q for p.
-4
Suppose 0 = 3*l - 6*l + 12. Suppose -l*j = -q - 4*q + 15, -2*q + 6 = 4*j. Solve -x - 4*a = a + q, 2*x = 3*a + 7 for x.
2
Let w = 3 + 7. Suppose 5*g - 4*f - 45 = 0, 0*g - w = 3*g + 5*f. Let t = -6 - -13. Solve 3*o = -5*k, g*o + 5*k + t = 17 for o.
5
Let l be -1 + 3*-1*1. Let c be (l/6)/(6/(-27)). Let z = 5 - c. Solve 0 = -2*u, -z*u = 4*p - u + 8 for p.
-2
Let j(b) be the first derivative of -b**3/3 - 7*b**2/2 - 3*b + 1. Let u be (-93)/15 + 6/30. Let g be j(u). Solve -g*w + k = -4*w - 6, 3*w + k = -16 for w.
-5
Suppose -3*g + 3*v = -6, 2*v + 2*v + 11 = 5*g. Suppose 2*m + 47 = 4*l + 19, g*m - 3*l = -27. Let w = m + 6. Solve -2*k = -2*d + 2, w*d = -4*k - 2*d - 12 for k.
-2
Suppose 2*d - 5*d - 4*i = 15, 3*d - 2*i + 33 = 0. Let s = 8 + d. Let w be 1*(-3 - -2) - s. Solve w*v + 6 = v + x, 5*v = 5*x for v.
3
Let o(p) = p. Let f = 1 - -3. Let i be o(f). Suppose 9 - 29 = -i*x. Solve -x*h - 20 = -y, 2*y + 0 + 5 = -5*h for y.
5
Let l = -17 - -23. Suppose l = p + 3. Solve -1 = -p*q + 2*u, -4*u = u - 20 for q.
3
Let x be 0/3*5/(-5). Solve x = -5*i + 2*o - 19, -3*o = i + 2*i + 3 for i.
-3
Let q(t) = -t - 6. Let i be q(-5). Let c be (-2 - (i - 1))/(-3). Solve 4*v - 2*r = c, v + 14 = -5*r + 3 for v.
-1
Let n = 4 + -2. Let j be (-26)/(-8) - 1/4. Suppose 0*l - 15 = -j*l. Solve -3*v = 