- t*c + 10 = 4*u for u.
-5
Let t = -67 - -59. Let n be (15/(-12))/(2/t). Solve n*d + 4 = 5*r - 41, 4*d + 31 = 3*r for r.
5
Suppose 238*q - 6 = 240*q. Let d be (q/(-2))/((306/(-48))/(-17)). Suppose -b + 5*h + 6 = -20, 2*b + 4 = -4*h. Solve d*p + 7 = -o, -3*o - 4*p - 7 = b for o.
-3
Let g be (-6)/(-4)*(-1 + (-2)/(-6)). Let m be (-3 - g) + (7 - 0). Solve 0 = 5*n + 2*q + 5 + 2, m*q + 2 = 3*n for n.
-1
Suppose 31*f = 36*f - 2*w - 36, 39 = 4*f - 5*w. Solve -4*x + 9 = y, x - 4*y - 21 = -f for x.
3
Let p = -14 + 12. Let y be (-13 - -10) + (-48)/p. Solve -2*n = h + h - 14, 2*h + y = 5*n for h.
2
Suppose -5*p - 3*h = -40, 4*p + 5*h = 62 - 17. Let q = 11 + -3. Let j be 42/q + (-2)/8. Solve -t = -3*t - j*k - 10, p*k - 20 = 4*t for t.
-5
Let g be ((-1)/(-1))/1*(-114)/(-6). Suppose g = 2*s - 7*z + 10*z, -5 = 2*s - 5*z. Solve -s*j + 4*t - 25 = 0, -t - 1 = -j - 6 for j.
-5
Let c be (-22)/(-4) + 2/(-4). Suppose 0 = 5*y + 5*d + 1 + 4, 2*y + 5*d = -17. Solve -25 = 5*r + 3*x, y*r + 5 = -c*x - 15 for r.
-5
Let h(n) = -3*n**3 + n - 1. Let g(y) = -7*y**3 + y**2 + 3*y - 1. Let l(t) = -4*g(t) + 9*h(t). Let s be l(5). Solve -a = -0*a + s*c - 13, 4*a = -4*c + 4 for a.
-2
Suppose 4*z - 3*d - 8 = d, -z = 5*d - 20. Let n = -3 - -8. Suppose 4*s + 2*h - 5 = 7, -18 = -n*s - h. Solve z*a = 2*k - 12 - 11, s*k = 5*a + 31 for k.
4
Let k(t) = t**2 + 0 + 0 + 12*t + 2 + 6. Let w be k(-12). Solve z - 1 = l, 4 - w = 2*l - 4*z for l.
0
Let z(f) = -f**2 + 13*f - 24. Let v be z(10). Suppose -4*u = -v*u - 32. Let t be (-9)/(-6)*u/(-6). Solve 13 = -2*o + t*p - 9, -4*o + 5*p = 35 for o.
-5
Suppose 0 = -a - f - 79, f = -4*a - 4 - 306. Let x = a - -93. Solve g + 6 = l - g, 0 = -4*l - 2*g - x for l.
-2
Let t be (60/(-9))/4*-3. Solve -n + 35 = 5*h + t, -5*n = -5*h for h.
5
Let y = 6 - 4. Let v = -434 + 434. Solve z = y, -3*z + 4 = w - v for w.
-2
Let r = -39 - 0. Let z = 41 + r. Suppose -2*w - 5*d = -20, w - 6*w - 2*d = -29. Solve w*j = -t + 16, -t = -z*t - j for t.
-4
Let c(d) = -2*d + 2. Let v be c(-2). Let n = 38 + -16. Suppose o + 7 = n. Solve -2*k - 5*r = -o, -v = 3*k - 4*k - r for k.
5
Let p = -12 - -15. Suppose -p*s + 36 = 3*s. Suppose s*t - 6 = 3*t. Solve -t*w + 8 = -k - 2*k, 2*k + 5*w - 1 = 0 for k.
-2
Suppose -3*g + 48 = 9*g. Solve -5*q = 5*y + 20, 2*q + q + 13 = -g*y for q.
-3
Let x = -77 + 90. Suppose 22 = x*z - 2*z. Solve -y = 5*d - 31 + 10, z*d - 26 = 4*y for y.
-4
Suppose 8 = -v - 0*v. Let h(g) = 5*g - 4. Let y(m) = 6*m - 5. Let l(z) = -3*h(z) + 2*y(z). Let t be l(v). Solve 2*n = -2*n - p + 4, 0 = -5*n + 4*p + t for n.
2
Suppose -12*o + 7*o + 35 = 0. Let f be 3/o + (-20)/(-35). Solve -5*v + 4*v + 1 = 0, -f = u + 3*v for u.
-4
Let o(b) = b - 1. Let d(t) = t**2 + 4*t - 35. Let n(x) = -d(x) + 6*o(x). Let w be n(-4). Solve w*y + 3*q + 12 = -q, -2*y - q = 3 for y.
0
Let g be ((-7)/(-4))/((-9)/(-36)). Solve 2*n + u = g*n - 15, n + 13 = -3*u for n.
2
Suppose 0 = 9*s - 18, -6*s = -5*j - s. Solve j*v + 10 = 2*b, 2*v - 4*b - b = -19 for v.
-2
Suppose -3*b + 2 = 3*t - b, -4*b = t - 14. Let g be (2 + t)/(0/(-5) - -1). Solve -2*o - o + x = 9, -2*o - 5*x + 11 = g for o.
-2
Let n(q) = 4*q + 11. Let f be -3 - (4/1 + -2). Let g be n(f). Let b = g - -17. Solve o + 4*x + 1 = -b, -3*x = -4*o + 21 for o.
3
Let b(h) = -h**3 - 5*h**2 - 9*h - 5. Let x be b(-3). Suppose 0 = x*q - p - 83, 3*q + 3*p - 69 = 6*p. Solve 3*k - 16 = 2*d, -4*d - q + 0 = 0 for k.
2
Suppose 4*f - 56*f = -104. Let k = 19 - 13. Solve 3*q - 8*q = -4*d - 12, f*d = 3*q - k for d.
-3
Suppose -43 = c + 7. Let i = -43 - c. Solve -2*u = -l + 3 + i, 4*l + 25 = -5*u for l.
0
Let k(w) = w**3 - 5*w**2 - 23*w - 2. Let j be k(8). Solve l - j = 2*n + 5*l, -5*l - 10 = 3*n for n.
-5
Suppose u = -4*y + 22, 0 = 4*y + 2*u - 20 - 4. Solve -5*d - 4*l = -30, -2*d - 35 = -7*d - y*l for d.
2
Suppose 0 = 41*c - 44*c + 6. Solve -y + c*k - 5 = 2*y, 5*k = 5*y for y.
-5
Let j = 13 + -11. Suppose -21 - 9 = -2*v. Suppose 0 = -16*b + v*b + j. Solve 5*r + o + 4 = 0, -2*r - b = -o - 6 for r.
0
Let k = 2 + 15. Suppose 0 = -3*r + 4*n + 19, 0*n - k = 3*r + 5*n. Let t = r + 4. Solve 4*x + 2*u + 1 = -t, -4*u = -2*x - 28 for x.
-4
Let y(n) = 15*n + 18. Let h be y(-1). Solve h*s - 7 = 2*j, -4*j + 1 = -5*s + 4*s for j.
1
Let x(r) be the second derivative of r**3/3 - 2*r**2 + 4*r. Let b be x(2). Suppose b*q + 5*q = 15. Solve -q*v - 12 = -3*o, -3*v - 14 = -5*o + 4 for o.
3
Let n(q) = -23*q - 3. Let i = 82 + -83. Let b be n(i). Solve 5*g + x + b = 0, 32 = -4*g - 3*x - x for g.
-3
Let i = -106 - -109. Solve -4*d = -x + 10, 2*d + 1 + i = x for x.
-2
Let t(s) = s**2 + 15*s + 61. Let a be t(-8). Solve 3*v = 4*z + 11, -a*z + v - 14 = -3 for z.
-2
Let u be (2/6)/((-2)/6). Let q(d) = -3*d - 1. Let v be q(u). Solve -v*f = -2*l - 4*f + 2, 3*l = f + 3 for l.
1
Suppose 0*i = 5*i - 4*y + 10, 25 = 5*y. Solve -i*z = 4*w + 22, -2 = -4*z + 2*w - 6 for z.
-3
Let s be (396/(-77))/((-1)/56). Let d be ((s/(-6))/6)/(1 + -3). Solve 3*g - d = -g - 3*z, 5*g - 3*z - 32 = 0 for g.
4
Let k = 64 + -36. Let a = 30 - k. Solve 5*q + j - 13 + 42 = 0, a*q = -3*j - 22 for q.
-5
Suppose -4*a = h - 2 + 13, -3*a = 12. Suppose 5*i = 2*o + 30, o + 15 = 5*i - 10. Solve 8 = -2*j - 2*j + 4*v, h = -j + i*v for j.
-1
Let t = -1 + 1. Suppose -5*r + 10 = -t. Suppose -6 = -2*o - 4*j, -2*j = -o - 2 + 9. Solve -1 = r*i - h, 8*h = o*i + 3*h + 15 for i.
2
Let l(m) = -5*m - 1. Let d be l(-1). Suppose 0 = -f + d*r - 0*r + 10, 5*r = 3*f - 16. Let z be 63/14*(-2)/(-3). Solve -5*y = -0*y - n, 0 = f*y - n + z for y.
1
Let o(b) = -b + 4. Let c be o(-14). Let x = 38 - c. Solve 0 = v - 2*r - 12, -3*r - x - 12 = -5*v for v.
4
Suppose -11 = 3*a + 3*h - 2, h = -4. Let c = a - 5. Let r be c*(-1 + (2 - 8)). Solve -3*o - 29 = 4*y, -4*o + 5*y + r = -5*o for o.
-3
Suppose -v = -0*l - l - 1, 0 = -4*l + 3*v - 1. Let d = l + 1. Let r be (-2 - (-1 - 0)) + 1. Solve 0*t + t = -d*j - 14, r = -5*t + 3*j - 16 for t.
-5
Let c = -4 + 10. Let w(d) = -2*d - 1. Let x be w(-3). Suppose x*p - 8 = 7. Solve -c = -p*l - 2*n, l - 7 = 3*n - 2*n for l.
4
Let r(q) = 2*q**2 - q. Let i be r(1). Suppose i = 2*k - 5. Suppose -15 = -0*o - k*o. Solve -2*n + 19 = 5*m, -14 = -5*m - o*n + 11 for m.
3
Let i = -2 - -8. Suppose 5*y + i - 26 = 0. Suppose 4*d - 5*d = 3*w - 4, 16 = y*d + 4*w. Solve -2*f - 5*l + 4 = 22, 0 = 5*f - d*l + 12 for f.
-4
Let s(z) = -z**3 + 5*z**2 - 3*z + 14. Let i be s(5). Let q(f) = -17*f + 1. Let b be q(i). Solve 2*a - 5*g = -18, a - g = -3*a - b for a.
-4
Suppose 2 + 13 = 3*v. Suppose 0 = 3*a - 5*y + 9, 2*a + 5*y - 23 = -4. Let w be 3 + 0*(-1)/a. Solve -12 = p + 3*q, 0 = w*p + v*q - 2*q + 12 for p.
0
Suppose s = 23*s - 110. Solve h + h = -2*f + 4, h - 8 = s*f for h.
3
Let d be ((-2)/(-6))/((-13)/(-209 - -14)). Solve -3*j - 20 = -d*m + 2*j, 5*m - 10 = -5*j for m.
3
Let y(m) = m + 7. Let h(l) = -1. Let b(j) = -14*h(j) + 2*y(j). Let n be b(-9). Solve -2*u + n = 2*r + r, 0 = 3*u - 5*r + 4 for u.
2
Let u = 176 + -171. Solve u*k = -3*i - 23, 2*k - 11*i + 3 = -6*i for k.
-4
Let x(y) = -y**3 - 4*y**2 - y + 10. Suppose 0*m + 4*m - 17 = 3*h, -m = -2. Let w be x(h). Solve 4*f - 20 = 2*q, 0*q = -w*f + 5*q + 32 for f.
3
Suppose 2*s = 6*s - 4. Let j be ((-3)/6 + s)/(2/8). Solve -j*c = -3*c + b, -3*c + 12 = 3*b for c.
2
Let h(k) = 15 - k + 2*k + 15 - 22. Let j be h(-5). Solve -2*n = 3*n - 5*w - 5, j*w = 0 for n.
1
Let x = 675 + -643. Solve 4*r + 4*g - x = 0, -4*r - 5*g = -12 - 24 for r.
4
Let z = 70 + -106. Let k be ((-2)/4)/(6/z). Suppose k*o + 0*o = 15. Solve 0 = -2*q - 0*q + 2*j + 12, 3*q = -o*j - 6 for q.
3
Let q(v) = -21*v + v**3 - 23*v + 12 + 43*v - 10*v**2. Let m be q(10). Suppose -4*y + 25 = 5. Solve -3*s = m*k - 19, 4 = -3*k - 3*s + y*s for k.
2
Let h be (-4)/12*-1*-3. Let d be h/(-1 + 12/8). Let q = 7 - d. Solve -2*n = n - q, 4*k - 4*n + 24 = 0 for k.
-3
Let r(l) be the first derivative of -l**3/3 + 9*l**2/2 + 7. Let m be r(5). Suppose -a - m = -5*a. Solve a*g + 5*s = 0, -5*g + 0*g + 2*s - 21 = 0 for g.
-3
Suppose s = -4*c - 2*s - 680, -4*s + 189 = -c. Let y be (-2)/(-7) - c/7. Solve 5*v - y = -2*u, -32 = -4*u - v - 3*v for u.
5
Suppose 0 = -5*v + 343 - 328. Solve 2*r = -3*p + 4, 0*p + v*p = -3*r + 6 for r.
2
Let z(n) = -n**2 + 10*n - 10. Let x be z(8). Let g = 2 - x. Let h = 6 + g. Solve -h*t = 2*k + 14, -2*k - k + 4*t = 0 for k.
-4
Let v be (-110 + 