 + 7 = z*v, 3*u + 18 = 3*v - u for v.
2
Let r be 10/(-4)*(-374)/55. Solve -2*h - 4*t + 3*t = 12, 5*h + r = 4*t for h.
-5
Let s be (-1 - (-2)/3)*(76 + -76). Suppose -3*n + 44 = -13. Suppose -4*c = -l + n, -5*l + 26 = -c + 7. Solve a - u + 4 + 3 = s, l*a + 23 = 4*u for a.
-5
Suppose -3388*u - 3 = -3389*u. Solve 0 = -2*t - 2*a - 4, u*a + 8 = 5 for t.
-1
Let o(w) = -w**3 + 49*w**2 + 49*w + 53. Let s be o(50). Solve 4*v = -4*r + 20, -s*r + 9*v = 4*v + 9 for r.
2
Let g be (-4)/10 + (-2)/(-5). Suppose g*l = -3*l + 9. Let u(p) = p**3 - 4*p**2 - 18*p - 15. Let n be u(7). Solve -2*s = -2*r - n, 4*r = 8*r - l*s + 8 for r.
1
Let f = 15 + -24. Let k = 13 + f. Solve 5*z - k*d = -6 - 9, 3*z + 9 = 3*d for z.
-3
Let f(k) = k**3 - 4*k**2 - 5*k. Suppose -4*p - 24 = -10*p. Let a be f(p). Let m be 0*(-5)/a*-2. Solve 0 = -s - 5*x - 28, 0*s + 2*s - 3*x - 9 = m for s.
-3
Let t be (8 - (9 - 4))*(-2)/3. Let a be t/11 + 216/99. Solve q - 15 = 2*d + 2*d, a*d + 5 = q for d.
-5
Let n be (-4)/18 - 529/9. Let y = 87 + n. Solve -4*l - y = 4*x, -5*x + 4*l - 5 = -15 for x.
-2
Suppose 2*k - 39 = 5*k. Let o = -10 - k. Solve 0 = o*d - 2*u + 4*u - 19, 5*d - 23 = u for d.
5
Suppose -n + 3*t = 3*n - 163, -3*n - 4*t + 91 = 0. Let x = -37 + n. Solve -2*u - 5*s = -19, 4*u + 5*s - 23 = -x*u for u.
2
Let y be ((-8)/(-6) + -1)*12. Suppose 8 = 4*h, -y*h + 3 = -2*f - 5. Suppose -2*l = -3*b - 10, -3*b - 2 = 2*l - f*l. Solve 0*a - 2*u = 2*a, 4*u + 24 = l*a for a.
4
Let h(y) be the first derivative of y**4/4 + y**3 - 2*y**2 - 2*y + 32. Let f be h(-3). Solve 4*n - 2*u - f = 0, -u - 3 = -0 for n.
1
Let h be 4/(-2) - -5 - 1. Suppose -7*w + h = -9*w. Let x(q) = -5*q - 3. Let v be x(w). Solve 5*j + v*u = 26, 5*u - 9 = 2*u for j.
4
Suppose s = 5*k - 56, -2*s = -3*k + 5*k - 32. Let w(v) = -v + 12. Let g be w(k). Solve -m - 20 = -5*b - 3*m, -4*b - 2*m + 18 = g for b.
2
Suppose -5*h - 2*i + 103 = 0, 3*h - h - 58 = -5*i. Let b be (-16 + h)*(0 - -1). Solve 4*x + 17 = f, -2*x - b*f - 9 = x for x.
-4
Let q be 0 + -124 + -4*(-6)/(-8). Let p = q - -131. Solve -p*s + 0*b = -3*b - 35, 4*b = 5*s - 45 for s.
5
Suppose 0 = 3*q + 49 - 16. Let k = -15 - q. Let g be 0*(2 + 10/k). Solve -5*c + g*c = -4*y + 35, -3*y = -2*c - 21 for y.
5
Suppose 18 = 8*a - 110. Solve -d - 3*d - t = a, -2*t = 2*d + 2 for d.
-5
Let j(y) = y**3 + 10*y**2 + 13*y - 19. Let q be j(-8). Solve h + 2*g - 5*g + 4 = 0, 25 = 2*h + q*g for h.
5
Let c(d) = d**3 - 2*d**2 + d. Suppose -3*w - 15 = -4*z, z + 4*w = 3*w - 5. Let n be 5 + -1 + z + -2. Let l be c(n). Solve l*m - s = -3*s, -4*m - 6 = -2*s for m.
-1
Suppose -17 = -d + o + 4, -4*d = -o - 75. Solve -2*i = 5*x - x + d, 0 = -3*x - 5*i - 17 for x.
-4
Let f(s) be the second derivative of -s**3/6 + 11*s**2/2 - s. Let i be f(6). Let r(b) = b - 14. Let u be r(16). Solve -4*t + 4 = -u*t, -a = 3*t - i for a.
-1
Let w be 117/5 - ((-78)/30 - -3). Suppose -9 = -4*g + w. Solve -2 = 3*n - 3*f + 1, 2*n + g = -f for n.
-3
Let p be ((-3 - -33)/(-10))/((-12)/8). Solve 5*s - 5 = 0, 0*s - p*s = 5*j - 2 for j.
0
Let q be ((-5)/((-165)/22))/((-1)/(-9)). Solve 0 = -2*n + 2, -3*v + q + 1 = n for v.
2
Suppose -6*i + i = 2*u - 50, -3*u + 25 = -5*i. Let b be (1/(-2))/(-1)*(-360)/(-10). Let y be (-6)/27 - (-58)/b. Solve -a - y = 4*f - f, 5*a = -u for f.
0
Suppose -5*g - 2 = 2*k, 2 + 2 = 3*k + 4*g. Let i be (-4)/14*(-3 - k). Suppose -3 = 3*p - 4*z - z, -4*z + 32 = 5*p. Solve h + 0 = 2*r + p, -2*h = -2*r - i for r.
-3
Suppose 6 = -3*z + 15. Suppose -3*a + c = -2 - 3, -4*c = -z*a + 20. Suppose -9 = -3*f - a*f. Solve f*d + 2*d = 3*j + 32, -3*j - 24 = -3*d for j.
-4
Let r(d) = 40*d + 363. Let q be r(-9). Solve 2*a - 25 = -5*t - q*a, 0 = 5*t - 4*a - 7 for t.
3
Suppose -33 = 4*g - 61. Suppose -g*p = p - 64. Solve -l + 4 = -2*f, -2*f = 3*l + 2*f + p for l.
0
Suppose -2*t = 13*t - 525. Suppose 0 = 2*l + 3*g - 67, -4*l - 3*g + t + 84 = 0. Solve -4*c - 24 = 4*n - 0*c, 5*n + c = -l for n.
-5
Let h = -588 + 592. Solve 0 - 1 = -2*f + 3*n, h*f - 2*n - 6 = 0 for f.
2
Suppose -6*d + 10 = -2*l - 10*d, d - 8 = -4*l. Solve -3*q = 5*n, 3*n - 6*n = -l*q - 24 for q.
-5
Let y = -7 - -42. Suppose 2*s = -3*s - 4*d + y, d = -5*s + 20. Solve u = -s*i + 19, 5*u = -0*u + 4*i for u.
4
Let z be 1/(22/(-6) - -4). Suppose 5*n + 5*r = 15, 2*n - z*r + 6 = r. Solve -j - 2*j - y - 7 = 0, -n = 5*j - y for j.
-1
Suppose z = 0, 6 = 3*f + 5*z - 10*z. Solve -f*w + 8 = -5*d, -2*d - 20 = d - 5*w for d.
0
Let i be 5/((-5)/(-10)*2). Suppose 0 = 5*t - 6*t + 18. Let h = t + i. Solve 4*s + 20 = -0, -x + 5*s = -h for x.
-2
Suppose -1 = 3*n - 4. Suppose s + 26 = 3*v, -2*v - 4*s + 21 = -n. Let l = 14 - v. Solve 0*q - l*q - 5 = 0, -4*x = 4*q for x.
1
Suppose -3*g + b + 7 = 0, -b + 15 = 3*g + 2*b. Solve -y + 7 + g = -4*l, -14 = -4*y + 3*l for y.
2
Let k = 111 - 159. Let x be (6/12)/((-1)/k). Solve 4*s + x = 4*t - 0*s, -2*t - 4*s - 6 = 0 for t.
3
Suppose -z = 4*b + 4 + 2, 5*z + 5*b - 30 = 0. Suppose 3*a = -12, -2*a + z = 2*v - 2. Let c = 16 - v. Solve -5*u + 0*u = -4*k, -2*k - c = -u for k.
-5
Suppose 0 = -h + 1, -5*t + 0*t + 14 = 4*h. Let z(u) = u**3 - t*u**2 - 5*u + 10 - 6*u**2 + 4*u. Let x be z(8). Solve -4*d + s = -24, x*d + 3*s + s = -6 for d.
5
Let b = 25 - 21. Suppose n = 3*n + t + b, 2*t + 8 = 2*n. Solve -2*i + 5*i - 1 = p, -4*i - 2*p + 18 = n for i.
2
Let m = 10 + 14. Suppose 0*n - m = -8*n. Solve 5*o + 10 = -2*z, 5*z + 25 = -2*o - n*o for o.
0
Let p = -235 - -242. Solve p = -o - 5*u, 0 = -3*o - 3*u + 4 - 1 for o.
3
Suppose -38 = -5*j - 8. Suppose -j*v = -15 - 9. Solve -5*i = -v*t + 30, t = -3*i - t + 4 for i.
-2
Let q be (-7)/(-3) + (-1)/3. Let g be (228/8)/(5/10). Suppose -8*r = 11*r - g. Solve 0 = -r*c - 4*s + 7, -1 = -5*c - q*s - 2*s for c.
-3
Suppose 30*y + 3 = -b + 31*y, -2*b + 3*y = 11. Solve -o + 2*z - 5 = 6, -b*z = -6 for o.
-5
Suppose l = -g + 5, 6*l + 7 = 3*g + l. Solve -w + g*k + 0 = 1, -3*w - 13 = -2*k for w.
-5
Let k be 5*(-1)/(-1)*(-136)/85. Let g be (60/k)/(6*2/(-32)). Solve g = -5*s, -2*s = j - 3*s - 3 for j.
-1
Let v(h) = -13*h + 118. Let l be v(9). Solve -3*t + l = 5*i - 4, 0 = 3*t for i.
1
Let x = 13 - 37. Let t be ((-3)/6)/(3/x). Suppose 2*z - 4*q - t = -0*q, 3*q = 0. Solve -w - 8 = -3*w - z*i, 2*i = 3*w - 17 for w.
5
Let g(u) = -u**3 + 18*u**2 - 17*u + 9. Let s be g(17). Suppose -4*f + 4 = -2*f. Suppose -3*y + 33 = 9. Solve -3*n - v = -3 - s, -v = -f*n + y for n.
4
Let r be 132/88 - 102/(-4). Solve -5*t = -w, 2*t + 5*w + 0*w + r = 0 for t.
-1
Suppose 0 = l + 3*k, 4*l - 6*l = 3*k + 12. Let m = l + 18. Solve m*t - t - 5 = -o, -o + 1 = t for o.
0
Let u be 24/18*1*12. Suppose 5*p = 2*p + 2*l, 0 = 2*p + 2*l - 10. Suppose 4*k - u = -p*x, 3*x + 4 = x. Solve -s - s - 5*i = -21, -2*i - 9 = -k*s for s.
3
Suppose 3*v = -3*y - 6, 0 = -y + 4*v + 6 + 2. Suppose 4*o = -y*o + 20. Suppose 14 = 17*p - 20. Solve p*n - 8 = -i, -i - 4*n = -o*i - 16 for i.
0
Let l = -9 - -12. Suppose 9 = 3*q - g, -l*q - 2*q = -g - 13. Solve -2*a = -3*n + 7, 6*a - q*a = -2*n + 26 for a.
4
Suppose -3*l = 2*l - 10. Suppose 0 = -w + 2*w + 5, -w + 85 = 5*n. Let u be -1 + n + (0 - l). Solve 2*c = -3*y - 2*c + 26, -5*y + 5*c = u for y.
2
Let x be -2 - (1 - (5 + 11)). Suppose 3*g + 5*v - 2*v = 18, -5*g = 2*v - 24. Let a be g/2 + (0 - -2). Solve 5*u = a*w + x, 0*w + 5*w + 12 = 2*u for u.
1
Let n(k) = -13*k**2 + 13*k + 172 - 212 + 4*k**2 + k**3. Let g be n(8). Solve g = -5*i - 3*c - 13 - 21, i - c = -2 for i.
-5
Let b = -28 - -32. Suppose 5*x - 9 = -h, -x + 27 = b*h - 9. Let t be (3/h)/(2/12). Solve t*u + 6 = 4*m, 0 = -5*u - 3*m - m - 1 for u.
-1
Let s = 157 - 146. Solve -o - r + 3*r = -s, -3*r = 3*o + 12 for o.
1
Let i = -113 + 115. Solve -5*h = 2*q + 11, i*q + 6 = q - 3*h for q.
-3
Let x be 77/55 + (-23)/(-5). Solve 0 = 5*s - 2*r - x, 6*s + 2 = 2*s + 5*r for s.
2
Suppose -5*o - 42 = g, -o - 13*g + 17*g = 0. Let m be (2/(-4))/(o + (-126)/(-16)). Solve 5*n + 15 = -2*p, m*n = 9 - 21 for p.
0
Let g be 17/((1 + 1)/2). Let y be 2 + -6 - (-10 + 2). Solve y*z = -l - g, l + z - 13 = 3*z for l.
3
Let p be 520/156*(-6)/(-5). Solve 2*u + 9 = 4*o - 3, 4 = p*o for u.
-4
Suppose 5*c = -3*j + 115, -10 = -6*c + c. Solve -3*i = -5*s + 16, -2*i - 3*i - 4*s = -j for i.
3
Let t be 3/(-6)*6*-1. Solve -3*s = 2*j - 2, 0 = -0*s - t*s + j - 1 for s.
0
Let o(j) = j**3 - 8*j**2 - 3*j - 11. Let z be o(8). Let b = z +