6, -4*r - 4 = -3*u - o for u.
-1
Let v(f) = -f**3 - f**2 - 2*f - 1. Let d be v(-3). Suppose -4*r = -3*r - d. Solve -z - 2 = 0, r = -3*m - 5*z + 1 for m.
-4
Let u be (-6)/(-5)*(-10)/(-4). Suppose -2*k + 9 = -3*c + u*k, 0 = -2*c + 4*k - 8. Solve -o = -3*r + 3 - 8, 0 = -3*r + c*o - 7 for r.
-1
Suppose 4 + 16 = 5*i. Suppose i*o = 24 + 36. Solve -2*d - 4*l - 4 = -6*d, 3*l = -o for d.
-4
Let f = -14 - -15. Suppose -7 + f = -2*m. Solve 2*a - m*v - 1 = -2*v, -4*v = -5*a + 10 for a.
-2
Let c(p) = -2*p**2 + 16*p + 20. Let s be c(9). Solve 18 = 4*k - 2*h, -7*k + h = -s*k - 15 for k.
2
Let u = 6 - 1. Suppose 0*j = j - u. Solve 21 = j*i + 3*k - 4*k, -i + 25 = 5*k for i.
5
Let n(i) = -5*i + 3. Let q(t) = 6*t - 3. Let l(x) = -5*n(x) - 4*q(x). Let b be l(8). Solve 5*z + 3 = b*r + 3*z, 1 = -4*r + 5*z for r.
1
Suppose -3*c + 6 = -33. Suppose 27 = -5*t - 4*o, 2*o + 2*o = -3*t - c. Let y be 95/35 + (-2)/t. Solve 0*a = -2*a - 4*r + 14, y*a - 5*r = -34 for a.
-3
Suppose 0 = -0*a - 5*a + 30. Let j = -2 + a. Solve -3*l + 5 = -2*x - 8*l, 4*l = 4*x - j for x.
0
Suppose 0 = -3*v - 0*v + 6. Suppose -v*h = 2*h - 12. Solve -5*j + 5*l + 15 = 0, -h*j - 5*l + 5 = 12 for j.
1
Let p = -2 + 17. Let l(s) be the first derivative of s**4/4 - s**2/2 + 39*s - 2. Let v be l(0). Solve 0 = -3*f + 5*d, p = 3*f + 3*d + v for f.
-5
Let t(g) = g**3 + 6*g**2 - 8*g - 2. Let m be t(-7). Solve 2*c - 8 = -m*y, y - c = -3*c for y.
2
Let d = -17 + 26. Suppose -3*l = -3*k + d, -4*l - 2 = -3*k - 8*l. Solve 0 = 4*m - 0*m + 2*s - 12, 0 = 5*m - k*s - 15 for m.
3
Suppose -3*o = 8 - 11. Solve 0 = p - 2*p + 2*m + o, 5*p + 3*m + 34 = 0 for p.
-5
Let g be (1/(-2))/(4/32). Let z be (-27)/g + 3/12. Solve -5*m + 2*b + 10 = z*b, 0 = -2*m + 5*b - 10 for m.
0
Let u(j) be the first derivative of -j**3/3 + 4*j + 2. Let m be u(2). Solve x + 5*h + 18 = 0, m*x - 5*x - 10 = 5*h for x.
2
Let n(k) = -k**2 + 6*k - 6. Let u be n(3). Solve u*v - 6*v + 2 = -4*a, -2*a + v = 0 for a.
1
Let l be (6/4 + -1)/((-12)/(-48)). Suppose 3*g = -5*z + 20, -z = 3*z + 3*g - 16. Suppose 0*p - 6 = -p. Solve l*c + 4 = 0, 0*c = z*f + 5*c - p for f.
4
Suppose -4*h + b + 7 = -6, 0 = 3*b + 3. Suppose 4*t - 2*t - 27 = -u, -h*u + t + 81 = 0. Solve -4*s + 0*s = -3*z + u, -5*z = -4*s - 37 for z.
5
Suppose -1 = j + z, -31 = 4*j - 2*z - 3*z. Let u be j/(-14)*(-35)/(-5). Solve -3*n = -5*i - 6*n + 13, -u*i + 5*n = 1 for i.
2
Let k = 2 + 11. Let t = -21 - -12. Let p = t + k. Solve 3*v - 6 = -p*r - 0*v, 0 = 2*r - 2*v + 4 for r.
0
Suppose -4*h - 7 = -n + 2, -4*h = n - 1. Let w = h - -3. Suppose w*d + 2*c - 6*c = -4, -2*c = -2*d - 2. Solve 16 = 3*f - d*l - 5*l, 5*f = 5*l + 20 for f.
2
Suppose 0 = -p + 2*u - 2, p = 4*u - 5 + 1. Let q be 0 + -2 + (p - -2). Solve 4*m + 3 = -o - q, -2*m - 14 = -2*o for m.
-2
Let j be 0 + 2 - (-1 - 2). Solve 5 = -r, -3*f - 2*f + j = -r for f.
0
Let j be (-4)/(-6) - 280/(-30). Solve 8 = 2*b - 2*w, b - j = -b + 3*w for b.
2
Suppose 0 = -5*o + 3*v + 13, -2 = 2*o + 5*v - 1. Solve 4*p + 3*a + 1 = -1, -o*p - 2 = a for p.
-2
Suppose -i = -2*i - 4. Let c = -4 - i. Let y = c - -4. Solve 7 = -m + 4*k, -4*m + m = y*k - 27 for m.
5
Let x = -19 + 24. Solve -4*s + 29 = -x*b, 3*s - 2*b - 14 + 1 = 0 for s.
1
Suppose 0 = 4*l - 2*l. Suppose 4*y + 13 - 41 = l. Solve -28 + y = -2*w - 5*u, 0 = -5*u + 25 for w.
-2
Let q = 17 + -12. Let s(t) = -t**2 - 6*t + 4. Let m be s(-6). Solve -4*v + q = 2*w + 3*w, -2*w = -m*v - 2 for w.
1
Suppose -2*w + 7*w = 10. Suppose 0 = -4*u + 5*u - w. Solve -2*g + 6 = -4*a, 3*a + 21 - 6 = -u*g for g.
-3
Let j = 69 - 69. Let p = -3 + 5. Solve j = 3*f + 5*i + 3, 5*f + 3 + p = 3*i for f.
-1
Let o be ((-10)/(-3))/((-20)/(-30)). Let h = -5 + o. Solve -n - 17 = -4*q, -3*q + h*q = 4*n - 8 for n.
-1
Let r = -40 + 66. Suppose -9 = y - 4*y. Solve -x + y*s = -6*x - 31, -4*x = 3*s + r for x.
-5
Let d = 17 + -7. Suppose -4*w - 3*j - d = 2*j, 4*j + 8 = 5*w. Solve 4*v - 5*k + 10 = w, 8*k = 2*v + 3*k + 10 for v.
0
Let s(w) = w**3 - 7*w**2 - 2*w + 2. Let z be s(7). Let t be (2/(-4))/(2/z). Solve 2*f - t = -5*r - 4, 4*f - 2*r + 14 = 0 for f.
-3
Let n be (1 + -2 - -5)/1. Suppose -t = t + 4. Let d = t + 18. Solve -4*w = -d, 3*w - 4 = n*i - 2*w for i.
4
Let h(n) = 3*n - 5. Let m be h(2). Suppose -p - 11 = -3*o + 3*p, -17 = -o + 4*p. Let b = m - o. Solve 2*q + 2*w - 6 + 24 = 0, b*q + 24 = -w for q.
-5
Let k be (-167 - -1)*(2 - 0). Let h be k/(-14) + 12/42. Solve -h = 4*r - 4*f, -3*r - f + 2 = 16 for r.
-5
Let b be 1 + (-1)/((-1)/3). Let n be 1*(7 + (2 - b)). Solve j - 3*v = 14, -n*j + 2*v + 8 + 10 = 0 for j.
2
Let o(x) = x**2 - 7*x + 5. Let r be o(7). Suppose 4 = r*j - 4*j. Solve -3*q = 2*c + 11, c = -3*q - j*c - 23 for q.
-1
Suppose -3*b - 2 = -4*b. Solve b*i + 11 + 1 = -4*g, 2*g - 6 = 2*i for i.
-4
Let i = 0 - 0. Suppose -3 = -v - i. Suppose 2*j + 2*u - 4 = 0, j + 1 = 2*u - 4*u. Solve -4*k = -v*s - j + 16, k = 1 for s.
5
Suppose 9*u = 5 + 22. Solve 3 = -3*w + 5*o, -4*w = -u*w - 5*o + 1 for w.
-1
Suppose 8 = 2*a + 4. Solve 0 = -a*z + b + 3, 1 + 17 = 2*z + 4*b for z.
3
Let k(z) = -z**2 + 4*z + 3. Let i be k(4). Let w = 95 + -94. Solve 2*d + i*c - w = -3, 0 = 5*d + c + 5 for d.
-1
Let j = -1 + 9. Let o = j + -7. Suppose 0 = -t + 4 + o. Solve -4*l + 5*g = -45, t*l - g = 15 + 15 for l.
5
Let x = 1 + 3. Suppose -3*b + 4*b + 3*o = 3, -46 = -2*b + x*o. Suppose k = 4*r - b, r + 7*k = 2*k + 9. Solve -t + 1 = s, t - 1 = r*s - 7*s for t.
1
Suppose -1 = -r + 2*s + 2, 2*s = 2. Solve h + 18 = 2*p - 4*h, 2*h = -r*p + 16 for p.
4
Let v = -1 - -1. Suppose -6*j = 2*m - 9*j - 1, 2*j = -3*m + 8. Suppose 0*n = -m*w + 3*n + 16, 2*n + 6 = -w. Solve 2*i - i - 2*h = w, -i + 4*h + 6 = v for i.
-2
Let d(n) = n**2 + 8*n + 5. Let k be d(-5). Let w be (-32)/k - (-6)/(-30). Solve g - 3*v + 25 = -3*g, 0 = -w*g - 4*v for g.
-4
Suppose 2*i + 7 = -s + i, 35 = -5*s - 3*i. Let g(b) = 3 + 3*b + 2 - 4*b - 4. Let h be g(s). Solve -h*m + 28 = -4*m + 5*f, -14 = m - 4*f for m.
2
Let u(h) = 2*h**2 - 4*h + 2. Let x be u(2). Let m(v) = -8*v + x - v**2 - 6 + 3*v. Let n be m(-4). Solve -3*y - k - 17 = n, -2*y - 2*k + 7*k = -17 for y.
-4
Suppose -4*i = 1 - 29. Suppose -5*l = 4*o - 32, -6*l + 1 = -2*l - 5*o. Solve 10 = -l*s + 2*d, -2*d - 1 = 2*s + i for s.
-3
Let k be ((-2)/4)/((-2)/48). Suppose 2*r = -2*r + k. Let v(q) = q**2 - 7*q + 12. Let u be v(5). Solve n + 12 = 3*h, 5*n - 4 = -r*h + u*h for h.
4
Let p be (-8)/(-52) + 24/13. Suppose 3*c - 4*z - 28 = 0, p*c - 3*z = -3*c + 43. Solve 5*a - 2*r = -c, a + 4*r - 12 = r for a.
0
Let s(a) = 2*a + 20. Let i be s(-8). Solve -i*k + 23 = m + 2, -3*k + 27 = 3*m for m.
5
Suppose 0 = 4*x - 21 - 91. Solve -f - g + 18 = 3*g, 5*g = -4*f + x for f.
2
Suppose 2*o - 49 = -3*l, 0 = 6*o - 2*o - 8. Let i = l + -10. Solve 4*x + 5 = -5*d - 7, 4*d - i*x + 26 = 0 for d.
-4
Let c be (6 - -1) + (3 - 1). Solve -3*k + 2*o - c = 0, 5*k + 0*k + 20 = 5*o for k.
-1
Let y = 21 - 17. Suppose y*a - 3*l = 53, -4*a + 136 - 48 = 4*l. Solve 5*x + 32 = -w - 3*w, -a = 2*x + 3*w for x.
-4
Let m(t) = -t**2 + 9*t - 5. Let f be m(5). Let b be f*(0 + -2)/(-6). Let h be (-68)/(-7) - 12/(-42). Solve -3*p = -j - j - 7, -j - h = b*p for j.
-5
Let u be (2/3*33)/2. Solve 0 = -2*q - 5*p - u, 5*q = -0*q + 4*p + 22 for q.
2
Suppose -5*k = -5, -o + 2*k = -0*k - 25. Suppose -5*p + o = 7. Solve v = -2*h + 4, -3*v + p*h - 1 = -3 for v.
2
Let d = 8 - 36. Let u be d/(-49) - 31/(-7). Solve -3*s = b - 5 + 19, u*s - 5 = 4*b for s.
-3
Let d = -38 + 43. Solve 0 = d*v + b + 3*b + 28, 5*b - 2 = 3*v for v.
-4
Suppose -25 = 5*b, 2*t + 2*t + 5*b + 17 = 0. Suppose y + f = 2 + 25, 0 = -3*y - t*f + 76. Solve 3*k - 5*v = y, 0 = 2*k - v - 10 - 0 for k.
4
Suppose -8*r = -6*r - 4. Solve i = d - 7, 2*d = -i - r + 1 for i.
-5
Let d = 1 - -2. Suppose -d*k - k = -16. Solve k*g + j + 0*j = -17, -5*g = -j + 28 for g.
-5
Suppose -5*z + 32 - 12 = 0. Suppose -1 - 15 = -z*w. Solve 3*k = m - 1, -w*m + 0*k + 4*k = -4 for m.
1
Let l = 64 + -64. Solve -5*m = 4*t - 18, 3*m + l*m = 3*t for t.
2
Suppose -57 = -4*g - 13. Let f be g/2 + (-1)/2. Suppose -9*i + 60 = -4*i. Solve -2*b + j = -j + i, 0 = -b - f*j for b.
-5
Let z be ((-2)/2)/((-3)/21). Suppose 0 = 3*b - z*b + 8. Suppose 2*d = -4*q + 12, 0*q + b*q - 10 = -3*d. Solve -d*s = -0*s + 5*n - 20, 3*n - 12 = s for s.
0
Let k(s) = s**3 - s**2 + s + 5. Let a be k(0). Solve 0 = -2*p 