= -3*v - 8 for v.
-2
Let x(n) = 6 - n**3 + 2*n**2 + 5*n**2 + 8*n - 3. Let w be x(8). Solve 2*j = -5*p + 3*j + 4, 2*j = -p + w for p.
1
Let x be (-4)/2*(-6)/4. Let u be -3 + x + 1 + 28. Suppose 0 = 5*c + 3*h - 29, 0*c - 2*c + 2 = -2*h. Solve -27 = -3*k - 2*k - 2*v, -c*v = 5*k - u for k.
5
Let x be 2/(-6) + (-32)/(-24). Solve -z + b = -x, 2*b + 4 = z + 4*b for z.
2
Let t be (2/5)/((-1)/10). Let d(n) = -4*n + 5*n + 2 + 6. Let g be d(t). Solve 0*x - 3*x = 15, o + g*x = -18 for o.
2
Let x be (15/6 + -2)*(-18)/(-3). Solve u = i + 5*u + 13, -4*i + x*u = 14 for i.
-5
Let v(o) = o + 2. Let f be v(3). Suppose 5*a - 2*i - 22 - f = 0, -4*a = -5*i - 25. Solve -5*g = 5*k - 5, -a = k - 3*k - g for k.
4
Let c(d) = -d + 8. Let x be c(6). Solve -4*g = 2*r + x, 5 = -0*g + 5*g for r.
-3
Let c be (-9)/(-7) - 1 - 48/(-28). Solve -c*s = 3*p + 6, -8*s - 15 = -3*p - 3*s for p.
0
Let v = 0 + 11. Suppose -n + 4*p + v = -9, -2*n + 4*p = -20. Solve 0 = 5*o - 0*o + 4*g + 36, -5*o - 2*g - 28 = n for o.
-4
Suppose -3*m + 76 = y, -4*m + 9*m + 5*y = 140. Let f = m - 16. Solve 2*p = 2*t - 5*t - 17, -2*p = f for t.
-3
Suppose -j + 0 + 4 = 0. Let m be 4*(0 + 15/j). Solve -3*t = -m, 0 = 4*h - 3*t + t + 26 for h.
-4
Suppose 3*v = -2*f + 52, 3*v = 5*v - 2*f - 18. Solve 0 = 5*s + d - 4*d - v, 0 = s + 4*d - 12 for s.
4
Suppose 4*v = 3*g + g - 12, 0 = -2*v - 2*g + 6. Let u(b) = b**2 + b + 3. Let r be u(v). Let j be 1 + 1 - -1*2. Solve -4*c - j*z + 9 = -7, -2*z + 8 = r*c for c.
0
Suppose -2*o = -8 - 10. Suppose 5*s - 23 = 2. Solve 15 = -s*g + q, 5*g + o = -q - 16 for g.
-4
Let g(z) = z**2 - 3*z + 4. Let t be g(4). Let s = t + -4. Let r be (-1)/(0 + 2)*-4. Solve 3*w + 5 = s*y, 4*y - 2*w - 2 = r*y for y.
2
Suppose -4*z = -v - 16, -35 = -2*z - 4*v - 9. Solve 0*u + 30 = 5*q + u, -z*u = -2*q - 15 for q.
5
Let l be -1*69/(-15) + 14/35. Let q = -2 - -15. Solve q = 5*b + 3*m, -1 = 4*m - l for b.
2
Let g(o) = -o**3 - 4*o**2 - 2*o + 1. Let n be g(-2). Let k be 1/n + (-14)/(-6). Solve -q - 6*l + k*l - 17 = 0, q - l = 8 for q.
3
Let v(l) = -2*l - 9. Let h be v(-7). Solve -h*f - 2*g + 13 = 0, -2*f - f - 5*g + 23 = 0 for f.
1
Let w(s) = s**3 + 5*s**2 + 2*s + 10. Let t be w(-5). Solve 7*n - 28 = 2*n - 3*z, 4*n + 4*z - 24 = t for n.
5
Let u(a) = -a**2 + 4. Let v be u(0). Suppose 0*l + 4*l - v = 0. Solve -3*s - 3 = -g - 0*s, -g - l = -s for g.
-3
Suppose 2*z - 13 = -7. Solve z*p = 4*s + 4, 4 = -s + 2*p - 2 for s.
2
Let a be (1/((-2)/(-128)))/2. Solve -20 = -4*n - 0*i - i, -5*n - 3*i = -a for n.
4
Suppose -5*j + 2*j - 24 = 0. Let k(m) = -m**2 - 4*m + 16. Let u be k(-7). Let t = u - j. Solve -2*z - 5 + 2 = -t*s, 0 = -4*s + z + 4 for s.
1
Let z(a) = 11*a**3 - a**2 - 2*a - 1. Let n be z(-1). Let v = 28 + n. Solve -3*w - p = -v, 0 = 5*w - p - 2*p - 5 for w.
4
Let w be 1 - (8/2 + -44). Solve 4*l - 12 = 5*o - w, -4*l = o - 1 for o.
5
Let t be 0 - ((-5 - -2) + 0). Suppose -h - 20 = -4*j, t*h + 10 = 4*j - 10. Solve -j*w + 5 = -s - s, -s = -3*w + 3 for s.
0
Suppose 0 = 3*q + 2*q - 185. Solve 3*u - 6 = 3*b, -4*b - 3*u + q = 2*u for b.
3
Let k be 3*((-8)/(-6))/2. Let m be (-2)/(-7 - 76/(-12)). Solve -9 = -m*z + 3*s, 0*z - k = -4*z - s for z.
1
Let w be 4/(-30) + (-310)/(-75). Suppose -2 + w = c. Solve -o - c*o - r - 7 = 0, -o = -2*r for o.
-2
Let h(l) = l**2 - l + 1. Let y be h(2). Let m be -21*(-1)/3 + -2. Solve -y*d = -n + 11, 4 = -2*d - n + m for d.
-2
Suppose 0 = -h - 5*v + 33 - 9, -4*v + 36 = 2*h. Let k = h + -10. Solve 5 = 3*l - 5*l - r, 0 = 2*l + k*r - 4 for l.
-4
Suppose 2*p = 3 + 5. Let t(z) be the second derivative of -z**3/3 + z**2/2 + z. Let u be t(-1). Solve g - p = -w, u*w - 3*g = -4*g + 10 for w.
3
Let n be (-2)/(-4)*(1 - -1). Let t be 1/n - 8*-1. Suppose -3 = -4*h - o, o + 2*o - t = 0. Solve 5*p + 4*m - 33 = 0, h = m + 4 - 6 for p.
5
Suppose 0 = -24*m + 23*m + 4. Solve -3*k + m*y - 29 = 0, -2*k + 5 = 3*y - 4 for k.
-3
Let z be 5*(1 - (4 - 4)). Solve 0 = -3*d + g, -12 = d - 4*d + z*g for d.
-1
Let v = -5 + 15. Suppose 0 = 3*u - 8 - v. Solve -3*f = 2*l - 1, l - 2*f = u*l + 3 for l.
-1
Let k = -9 + 20. Solve 4*q - v = -0*v - k, -3*q - 2*v - 11 = 0 for q.
-3
Let v = 6 - 2. Suppose l - h - 1 = 0, 9 = 3*l + 2*l - v*h. Solve -2*d + 5*j = -6*d - 21, l*d = j + 10 for d.
1
Suppose 0 = -3*l + 7*l - 16. Suppose 4*t + 0 = 4*y - 4, l*t - 2 = -2*y. Solve t*a - 5*a - 3*f = 25, 2 = 4*a - 2*f for a.
-2
Suppose 2*f + 15 = 2*l - 3*f, 4*l + 12 = -4*f. Suppose 5*c - 5 + 0 = -5*n, -5*n - 3*c + 15 = l. Solve -5 = 5*m - 2*d, n = 3*d - 9 for m.
1
Let s be 8 - (1 + -5 + 1). Solve 5*d - 2*n = s, -3*d + n + 6 = -0*n for d.
1
Let d = -16 - -21. Solve d*w - 2*m = 0, -4*w = w + m for w.
0
Let h be (-3 + 105/(-3))*-61. Let d be h/10 - (-5)/25. Let g be d/10 + (-2)/10. Solve -5*z = -m + g, 0 = -4*m + z + 2 + 14 for m.
3
Let i(y) = -y**2 - 3*y - 3. Let j be i(-2). Let u be 3*(j/1 + 2). Solve -5*n - 7 = -0*k + k, 11 = -u*k - 5*n for k.
-2
Suppose -4*z + 5*z = 5. Solve -z*r = 0, -x + 5 = 4*x - 3*r for x.
1
Let m(o) = -2*o**3 - 21*o**2 - 11*o - 8. Let a be m(-10). Solve 0 = -3*r - 19 + 7, 4*r = -a*g - 26 for g.
-5
Let i = -12 + 14. Solve 6*k - i*k + 6 = -3*u, -3*k - 11 = -u for u.
2
Let o be 2/11 - 175/55. Let y = 15 - 11. Let r be y - 0*o/(-3). Solve r*k = -20, 3*k + 20 = s + 2 for s.
3
Suppose -4*x + 12 = 0, -4*x = -5*c - 6 + 19. Solve -2*p + 4*p = -c*a + 15, -p = -5*a for a.
1
Let g = 24 - 20. Solve -g*l - 2 = -2*p, -3*l = -2*p - l for p.
-1
Let y(p) = p**3 + 7*p**2 + 7*p + 9. Let j be y(-6). Solve -m + 0 + 2 = 0, 3*m + 6 = -j*l for l.
-4
Let m(x) be the second derivative of -5*x**3/6 + x. Let p be m(1). Let n = p + 17. Solve q - 6 = 3*q - 2*r, 3*q = -4*r + n for q.
0
Let g(d) = -3*d**3 + d**2 + d. Let z be g(-1). Solve z*s - 4 = 4*s, -3*s - 4 = 4*m for m.
2
Let u(q) = 2*q**2 - q + 3. Let t be u(0). Solve -5*f - 6*n = -t*n - 23, 0 = 5*f + 2*n - 22 for f.
4
Let s be -1 + 34 - (-1 - -1). Suppose -42 = -3*r + s. Suppose r = -5*c, -z = 5*c + 24 - 1. Solve 4*t + 10 = z*b, -b + 9 = 2*b - 4*t for b.
-1
Suppose 0 = -28*w + 33*w - 170. Suppose -3*q + w = -q. Solve 0 = -3*r - 3*l + q + 4, 4*r + 2*l - 24 = 0 for r.
5
Let c = 6 + -4. Let k(d) = -d**3 + 10*d**2. Suppose -y = -2*y + 10. Let l be k(y). Solve c*v = 2*z, 0 = 4*v - l*v + 4*z for v.
0
Let c = 14 + -9. Suppose c*j - 6*j = 0. Solve -4*o - 2 = -5*m, 5*o + j*m - 6 = 2*m for o.
2
Let t(q) = 4*q + 39. Let h be t(-5). Solve -2*u + 12 = 4*i, -i - h = -5*u - 0 for i.
1
Let y(r) = -r**2 + 21*r - 58. Let t be y(17). Solve b = 6*b + 5*f + t, -2*b - 4*f = 0 for b.
-4
Suppose -5*s - 12 = -9*s. Solve -z + s*w = 7, -z = -5*z + w - 6 for z.
-1
Let i be 112/3 - 8/(-12). Suppose 3*j = -17 + i. Let h be j + -5 + (-1 - -1). Solve -3*l = -8*l - h*u + 16, -3*u = -5*l + 1 for l.
2
Suppose -3*g + 6*g + 3 = 0. Let j be (g*(-1 + 7))/(-2). Let n(m) = m**3 - 2*m**2 - m - 3. Let i be n(3). Solve 3*b - i*s + 6 = 0, 4*b = j*s - s - 14 for b.
-5
Let h(i) = -i**3 - 7*i**2 + 3. Let w be h(-7). Suppose w*o - 5*l = 2*o + 21, 6 = -2*o - 2*l. Solve 4*n - d + 6 = 0, n - 3*d + 4*d = o for n.
-1
Suppose 0 = 5*k + h - 115, h = -5*k + 2*h + 125. Solve 0 = f - 1, 0*p + 4*f - k = 5*p for p.
-4
Let r(x) = x**3 + 5*x**2 - x + 3. Let q be r(-5). Solve -2*u = t + 3*t + q, 5*u = 3*t + 32 for u.
4
Let b = 10 + -10. Solve b = -3*c - 5*h + 8, 0 = -5*c - 2*h + 7*h - 40 for c.
-4
Let y(b) = b**3 - 3*b**2 + 4*b - 1. Let d be y(2). Solve -d*w - 16 = 2*o, -5*o = 4*w + 4 + 22 for w.
-4
Suppose -32 = -4*u + 4*v, -3*v - 19 = -2*u - 3. Let p be 1*3 - (-1 + 0). Suppose -p*r + 6 = -6. Solve -h + r = 2*l, l = -l + 4*h + u for l.
2
Let j = -49 + 53. Solve 0 = -5*p + 20, j*o + 5*p - 4 = -0 for o.
-4
Let a be 2/2*-2 + 2. Suppose 0 = 5*b, 3*b = -4*i + 4*b. Suppose -p + 2*o = -7, 4*o + 4 = -i*o. Solve -4*j = -p*c + 4, a = -3*j - c - 3 for j.
-1
Let h(p) = -p + 3. Let b be h(1). Solve -3*u - 2*n = 13, u + 0*n + 3 = -b*n for u.
-5
Let c = 10 + -8. Let k(a) = 2*a**2 - 4*a + 2. Let g be k(c). Solve 4*n = 5*n + 2*i - 3, -2*i + g = 0 for n.
1
Let l = 38 + -16. Solve -5*n = -2 + l, -5*n - 23 = 3*c for c.
-1
Let f = 1 + 1. Let r be 2*-1 - (-5 + -2). Solve r*s = g - f - 3, 0 = 2*s + 4*g + 2 for s.
-1
Let b = -8 - -12. Suppose -n = 5*k - 15, 3*k + 2*n = -0*n + 9. Solve -3*l = l - k*i - 3, -b = 4*i for l.
0
Let u be (2/(-6))/(2/(-18)). Solve -13 = -u*x - b, -x 