 = -2*x for m.
-1
Let u = -11 + 26. Let n be (-6 - -8) + 0 + u. Suppose 7 = -2*w + n. Solve w*f + 1 - 13 = -2*q, -10 = -5*f for q.
1
Let k = 7 - 7. Solve 5*c + 3*t = 11, k*t = -2*c + 2*t + 14 for c.
4
Let w = -1 - -5. Let x be 0 - ((-3)/(-3) - 3). Solve -2 = x*d + w*n + 14, d = 3*n + 12 for d.
0
Let b(i) = 10*i - 2. Let x be b(-2). Let o be (-6)/9 - x/6. Solve -7 = -o*y - 2*w, 5*y + 0*w + w - 21 = 0 for y.
5
Let y be -2*(-20)/4 + -5. Solve 0 = y*b + 25, -2*b - 22 = -3*w + 3 for w.
5
Suppose 0 = -4*i - 30 + 46. Solve 5*j - o = 20, 5*j + i = -4*o - 1 for j.
3
Let l be 6*((-8)/(-6))/2. Solve -4*z - 4 = -l*s, -3 + 4 = 5*s - 4*z for s.
-3
Suppose -2*c + 24 = -v, 4*v - 3*c + 86 = -0*v. Let u = v + 28. Solve -2*n - 5*z - 8 = 0, 2*n + 6*z = 4*z - u for n.
-4
Let u(f) = -4*f**3 - f**2 - 4*f - 2. Let k be u(-1). Solve 0 = -4*a + 3*l + 3, -k = -2*l + 1 for a.
3
Suppose 3*w - 2 = 2*w. Let h be 30/w + -3 + -1. Solve 5*r - 4*a + 40 = 0, -4*r + 0*r - h = a for r.
-4
Suppose 8*z + 5 = 3*z. Let u be (z - 0)/(1/(-3)). Suppose -u*s = -5*s. Solve 0 = -s*i + 2*i + 4*o, i = -o + 1 for i.
2
Suppose -12*l + 0*l = -36. Let p = 4 - -5. Solve 3*x + p = 3*b, -b + l = -5*x - 8 for x.
-2
Let x(t) = 3*t**2 - t - 2. Let r(p) = -16*p**2 + 5*p + 10. Let s(m) = 2*r(m) + 11*x(m). Let u be s(3). Solve -y = 2*y, -q + 4 = -u*y for q.
4
Let u(l) = -l**3 + 4*l**2 + 3*l - 7. Let i be u(4). Solve -4*q + 3 = -5*d, q = i*d - 0 - 3 for d.
1
Let v(o) = 4*o + 53. Let u be v(-12). Solve 0 = 4*q - 3*q - 3*t + 10, u*q = 3*t - 2 for q.
2
Suppose 175*r - 28 = 174*r. Solve -r = -4*q + 4*i, 5*q + 5*i - 8 = 7 for q.
5
Suppose -4*g - h = h - 12, 5*g - 5*h = 0. Let n be (0 - 1/g)*0. Solve n = -3*z + 5*c - 30 + 2, -z + 24 = 5*c for z.
-1
Let s be 1302/63 - (-1)/3. Solve 2*x - s = 5*v, 2*v + v - 4*x + 21 = 0 for v.
-3
Suppose 5*w + 4 = -3*h - 5, 5*w = 2*h + 6. Solve 5*u - 19 = -3*p + 6, -2*u + 2*p + 10 = w for u.
5
Let v(k) = 5*k - 2. Suppose -w - 10 = -3*w. Let b = w + -3. Let r be v(b). Solve -t - 5*g = -0*t + 20, 0 = -2*t - 2*g - r for t.
0
Let d be (-45)/(-25)*(-10)/(-3). Solve 2*o = 3*j + d, -j - o - 2 = -0*o for j.
-2
Suppose -u - 4*u + 25 = 0. Solve -2*q + 1 = -4*b - u, -4*q + 21 = b for b.
1
Let s = -76 - -78. Solve 0 = 5*b + c, -s*b - 4*c = -5*c for b.
0
Suppose 2*z + 2*n - 18 = -2*z, z + 2*n - 12 = 0. Solve -h - h + 3*f = -15, z*h - 18 = 4*f for h.
3
Suppose -2 = -2*y + 10. Let v = y + -2. Suppose -2*l + v = -4. Solve -26 = -l*f + 2*z, f - 3*z + 0*z = 19 for f.
4
Suppose 0*y = 5*y - 2*g - 12, 2*y + 2*g - 2 = 0. Solve 2*o = -2*h + 4*o + 12, 3*o + 3 = -y*h for h.
3
Suppose -3*v + 1 - 10 = 0. Let y be 1/v*(1 - 16). Solve -3*m + 3*s - 11 = -s, 0 = y*m + s + 26 for m.
-5
Suppose 0 = -2*c - 3*d - 12, 0*c - d = -3*c + 4. Let y(i) = -i**3 + i**2 + i + 4. Let v be y(c). Solve 5*j + 6*n = 2*n + 4, 3*j + 4*n + v = 0 for j.
4
Suppose 5*o - 2*h = 23, -9 - 7 = -3*o - h. Solve o*b - 16 = -2*r, -5*r - 1 = 3*b - 3 for b.
4
Let u(d) be the first derivative of 3*d**4/4 - 2*d**3/3 + d**2/2 - 2. Let f be u(1). Solve f*o + r + 5 = -4*r, 4*r - 13 = -5*o for o.
5
Let s = -25 + 25. Solve i - 5*t + 3 = s, t + 4 + 5 = 5*i for i.
2
Suppose 0 = 3*w + 20 - 56. Let v = -7 + w. Solve -z = -3, -v*p - 7 = -z + 6 for p.
-2
Let p be (0 + 0)*(-6)/12. Solve 2*a - 6 = -3*g + 7, -2*g - a + 8 = p for g.
3
Let t be (87/9 + -3)*3. Suppose -7*n + 3*n + t = 0. Let h = 6 - 3. Solve -n*g - 2*k = -24, -h*k + 3 = -4*g + 13 for g.
4
Suppose 3*q = 5 + 7. Solve w = q*h - 13, -2*h + w = -3 - 4 for h.
3
Suppose 3*i + 7 = 19. Suppose 4*a + 6 = 6*a, -2*z = i*a - 18. Solve 4*d - b = -12, d + b = -z*b - 3 for d.
-3
Suppose -3*g + 37 = g + 3*w, 4*g - 5*w = 13. Let j = 33 - g. Solve 0 = -u - 5*r + j, 4*u - r = r - 6 for u.
1
Suppose -5*d + 5 + 9 = n, 0 = -5*d - 5*n + 30. Let s(v) = v**2 - 5*v - 2. Let a be s(5). Let m be -1*a/2*1. Solve -d*o = -x - m, -3*x = -x - 2*o for x.
1
Let j(f) = f**3 + 10*f**2 + 7*f - 13. Let h be j(-9). Suppose -5*v + 11 = -3*u, 5*u - 28 - 7 = -h*v. Solve 5*p - 19 = 2*k, k + 23 = v*p + 2*k for p.
5
Suppose -2*n + 0*n + 4 = 0. Suppose -3*z + 4*p = -30, 0 = -6*z + n*z - 4*p + 68. Let k be 116/14 - z/49. Solve -4*j - 3*r = -k*r - 29, 0 = -3*j - 2*r - 7 for j.
1
Suppose 6*s + 4*g = s + 18, 3*s + g = 8. Suppose -y + 15 + s = 3*q, -q = -y + 1. Solve -8 = -2*h, -t + h - q = -h for t.
4
Let n = 0 - -4. Let t(p) = -p**2 + 9*p + 16. Let k be t(11). Let l = k + 8. Solve n*z = l*z - 4*m + 6, 2*m = 3*z - 17 for z.
5
Suppose -3*y - 33 = 4*v, -4*v + v = -2*y + 29. Let h = v - -14. Let i be 3/(-1) - (-12)/4. Solve -r + h = -2*b, i = -4*b + r + 2*r - 5 for b.
-5
Let t(a) = -a + 12. Suppose 0*q - 3*q = -21. Let u be t(q). Solve -u*x = -4*x + 2*z - 2, z = 5*x - 10 for x.
2
Let l = 35 + -62. Let q be (-180)/l - 2/(-6). Suppose -4*v = q - 27. Solve -3*s = 4*u - v*s + 6, -2*u = 2*s + 6 for u.
-2
Suppose -4 = -2*f - 0*f. Suppose 5*t + 4*i = 18, -5*t = -3*i + 4 - 8. Solve t*g - 3*d = -f - 0, -5*d = -20 for g.
5
Let u = -7 + 19. Let y = u + -7. Solve -3*o - 6*j + 2*j - 5 = 0, 0 = y*o + j - 3 for o.
1
Let j be 18/(-24) - (-6)/8. Let y be (0 - j)/(6/(-3)). Solve y = -f - 3, 4*h - 2*h - 4 = -2*f for h.
5
Let k = 35 + -35. Solve k = -2*f - 4*r - 12, -2 = 5*f + r + 2*r for f.
2
Let i(x) = x**2 - 13*x - 14. Let k be i(14). Solve -m - 16 = -4*z - 4*m, k = -z - 2*m + 9 for z.
1
Suppose 5*u = i - 5, 5*i - 8 = -5*u + 17. Suppose 1 + u = x. Solve 0*y + y - x = 0, 3*b - 2*y = -8 for b.
-2
Let f(b) = 2*b**2 + b - 2. Let y be f(-2). Solve 4 = -3*l + 6*l - y*z, z = -1 for l.
0
Let d be 24*3/((-18)/(-8)). Let l = 8 + -1. Suppose -5*y + d - l = 0. Solve -g = y*o - 13, 1 - 4 = -g for o.
2
Let j be (-14)/(-21)*(-15)/(-2). Solve -j*i + 8*a + 5 = 3*a, 5*a = 2*i + 10 for i.
5
Let g(t) = -12 + 3*t + 0*t - 4*t + 3*t. Let j be g(8). Solve j*r + d - 12 = 0, 3*r = 5*d + 4 + 5 for r.
3
Let d(c) = c**2 + 3*c - 10. Let a be d(3). Solve 3*b - a = -s, s - 3 = -2*s - 2*b for s.
-1
Let u = 38 - 34. Solve 0 = -3*b - 12, -u*b = 2*a - 2*b for a.
4
Let y(b) = -b**3 + 9*b**2 + 9*b + 12. Let m be y(10). Let n(l) = -l**m - 3*l + 2 + 1 + 1. Let o be n(-4). Solve o = 3*i - 3, -5*i = -2*s - 0*i - 11 for s.
-3
Let o be 3 - 0/(-6*3/(-9)). Solve d = -2*x - o*d + 20, 4*d = 3*x + 20 for x.
0
Suppose 0 = 9*z - 4*z. Suppose k - 2*k + 1 = z. Suppose 2*l - 3*x + k = -2, l - 4*x = -14. Solve -3*p + 4 = 2*m - l*m, p - 8 = -2*m for p.
4
Let j = 75 - 22. Let g = -37 + j. Suppose -4*t - 22 = -3*d + 2*d, 2*t + g = 3*d. Solve -4*q - 4 = d*k - 0, -2*k = -q - 11 for k.
4
Let n = 3 + 1. Let j be 1 - 1*(2 - n). Solve -3*z - 5*f = -13, -j*f + 8 + 7 = 0 for z.
-4
Suppose -2 = k + 2*n, -n + 4 - 11 = -k. Let f be (-56)/(-12) - (-4)/(-6). Let b = 9 - f. Solve 0 = k*w - z - 7 - 0, 0 = 5*w - b*z - 5 for w.
2
Let p be -5 + -4*(1 + -3). Suppose -3*j = 5*c - 29, 5*j + 0 = 15. Solve -p = n + 3*w, -c*w = 1 + 3 for n.
0
Suppose -5*w = -w + 5*b - 34, -3*w + 14 = -2*b. Let v = 8 - w. Solve c + 2 = -n, -n + 0*n + v = 0 for c.
-4
Let f(s) = -s**2 - 13*s - 11. Let l(d) = 1. Let x(v) = -f(v) + 5*l(v). Let p be x(-12). Solve 5*t + p*g - 13 = -0*g, 5*t = 3*g + 34 for t.
5
Let p be 171/15 - (-4)/(-10). Let a be p + -2 - (-3 + 2). Let r be (a/(-4) + 0)*-2. Solve -5*y = -0*b + b + 23, -r*y + 2*b = 29 for y.
-5
Suppose 0 = 6*g - 3*g. Solve 0 = -3*p - o - 2 - 2, -2*p - 2*o = g for p.
-2
Let v = -75 + 92. Solve -20 - 1 = -3*g + 5*t, 3*t + v = 4*g for g.
2
Suppose -f - 9 - 2 = 0. Let w = f - -14. Solve -4*y = -h - 5 - 1, -w*h = 4*y - 14 for h.
2
Suppose 2*q - 31 = -7. Suppose 3*o - q = 3. Solve -2*b = o*x - 12, -3*b - 4*x = -b - 10 for b.
1
Let p = -51 - -54. Solve 3*t - 4 = -2*t + p*d, 20 = 5*t + 5*d for t.
2
Let s be 1*6*12/9. Suppose -s = 4*f - 0. Let d = f + 10. Solve 0 = 5*i - w + 12, -w = -3*i - 0*w - d for i.
-2
Suppose -4*q = -17 - 11. Let b(k) be the third derivative of k**4/24 - 5*k**3/6 + 5*k**2. Let z be b(q). Solve 4*x = 3*d - d - 8, -2*x - z*d + 8 = 0 for x.
0
Let y(b) = b**3 + 4*b**2 - 5*b + 2. Let p = -5 - -1. Let x = p + -1. Let w be y(x). Solve 3 = l + a, -3*l - w*a = l - 2 for l.
-2
Suppose -5*i + 114 = 2*v + 31, i + 4*v - 13 = 0. Solve -2*t = -5*x - i, -3*x - 5 - 9 = -5*t for x.
-3
Suppose -3*d - d + 8 = 0. Solve 0 = -3*u + 3, f + 2 = -d*u - 0*u for f.
-4
Let v(k) = k**3 + 12*k**2 - 12*k + 13. Let u be v(-13). Solve