- 6 = 3*j for u.
-5
Suppose 2*g = -g - 5*j - 3, 3*j + 1 = -2*g. Let o = -34 + 36. Solve -o = g*v + a - 0, 2 = 2*v - a for v.
0
Suppose 5 = 4*g - 11. Suppose 3*w + 0 + 23 = 5*s, -24 = -5*s + g*w. Solve 2*y + 10 = -s*p - 0*p, 5*p = 2*y - 35 for y.
5
Let i = -389 - -392. Solve i*x + 0 + 9 = -3*l, 4*l + 2 = x for l.
-1
Let y(w) = -7*w**2 + 471*w + 2*w**3 + 3 - 465*w - w**3. Let m be y(6). Solve -p = q + 3*q - m, -2*p - 10 = 0 for q.
2
Let s be 7/(2 + 5) + 2. Solve -5*k - 25 = -3*x, x - 3*x + 15 = -s*k for x.
0
Let n = -1473 - -1485. Solve -4*o - n = 5*c, 0 = -2*o + 5*o + c - 2 for o.
2
Let l(c) = c**2 - 5*c - 6. Let b be l(7). Let y = b + -8. Suppose -2*t = -5*t - r + 6, y = -r. Solve -4*w - 36 = 4*h, t*w = -h + 2 - 16 for w.
-5
Let b = -23 - -16. Let u = b - -14. Suppose -5*f = -2*d + u*d - 35, 0 = -2*f - 5*d + 26. Solve 0*j = -5*a - f*j - 17, a = -j - 5 for a.
-1
Let l(y) = 8*y**2 - 31*y - 1. Let q be l(4). Solve 4*a + 18 = -2*o, 0 = q*a - o + 4*o + 18 for a.
-3
Let i(h) be the first derivative of h**4/4 - 14*h**3/3 - 15*h**2/2 - 1. Let t be i(15). Suppose s + 3*s = t. Solve 0 = 5*l + 5*m - 20, s*l - l + 3*m = 0 for l.
3
Let b(x) = x**2 + 5*x + 6. Let v be 3 + 0/(2/1). Suppose -j + 6 = -5*y, v*j + 2 = 4*y - 2. Let h be b(j). Solve h*k + 24 = -2*k + 5*w, -4*k = 2*w - 4 for k.
-1
Suppose 0 = 14*p - 7*p - 14. Solve 4*t - 5*u + 13 = 0, 2*t - u + 1 = p for t.
3
Let i = 354 - 351. Solve -5*k + 0*k + 5 = -d, -i*k + 3 = -4*d for d.
0
Suppose o - 172 + 167 = -d, -o + d - 1 = 0. Solve -o*i + 12 - 1 = 3*x, -3*i - 3 = -2*x for i.
1
Suppose -2*o = -l - 17, 4*o + 4*l = o - 2. Suppose o = -4*v + 30. Suppose -k = -3*u + 5, u = v*k - k - 45. Solve 0 = -n - 4*h - 3, 4*h + h - k = -4*n for n.
5
Suppose 0 = 54*a - 227 + 65. Solve -u - 2*s + 2 = 1, -4*s = a*u + 1 for u.
-3
Let j = -2 + 5. Let l(f) = 3*f + 68 - 35 - 37. Let a be l(j). Solve a*o + 2*v + 1 = -2, 4*v = -o + 3 for o.
-1
Let r be 25/(20/4) + 5. Solve -10 = j - 3*j - 2*m, 2*j + 5*m = r for j.
5
Let g(y) = y**2 + 15*y - 13. Let n be g(-16). Solve 10*i - 5*i - 8 = a, -n*i - 2*a = 3 for i.
1
Let z = 5 - 1. Suppose -z*w + 11 + 5 = 0. Suppose 2 = w*r - 5*a, -r - a + 11 = 3*a. Solve 3*b + 4*k = -1 - 0, 0 = -r*b + 5*k + 35 for b.
5
Let x be (-8 + 11)/(2/2). Solve 5*o + 2*g - 5 = -0*g, 5*o = -x*g for o.
3
Suppose 0 = 7*z - 3*z, 0 = -5*c + 2*z + 25. Let p(o) = o**2 + 3*o - 3. Let k be p(-7). Let h = 37 - k. Solve r = 4*s - h, c*r - r - 20 = -s for r.
4
Suppose 2*w = 2*r, -8*r + 13*r + 36 = -4*w. Let a(i) = -2*i - 8. Let s be a(r). Solve -5*x = 4*t - 6, 2*t = -2*x - s*t + 2 for x.
2
Let r(d) = d**3 + 10*d**2 + 22*d - 1. Let j be r(-6). Solve -3*w + 11 = -5*v, 4*v + j + 11 = -2*w for v.
-4
Let y = -8 + 15. Suppose 11*z - y*z = 16. Solve -z*b - 45 = 5*s, s - 4*b - 10 = 5 for s.
-5
Suppose 3*n - 11 = 2*n. Let x(s) = 10*s + 15. Let d be x(-5). Let v = d + 40. Solve 4 + n = v*c + 5*m, 0 = 3*m - 12 for c.
-1
Let d be (1 - (-17 - 1))*2/2. Suppose -1 = -5*k + d. Suppose -j = -4*c - c + 8, -5*c + 3*j = -4. Solve -3*b - 2*b - k*f - 6 = 0, 0 = c*b + 3*f + 8 for b.
2
Let o be 10*(64/(-20))/(-8). Solve -u - 3*m = -15, -4*u - 20 = u - o*m for u.
0
Let v = -5300 - -5300. Suppose 5*a - 5*m - 25 = -4*m, 5*a - 3*m - 25 = 0. Solve 4*h = -2*y - v*h + 8, y - a*h - 4 = 0 for y.
4
Suppose 3*h = -4*t - 12, 4*t - 4*h - 16 = 2*t. Solve t = -y - 5*o - 12, 2*y + 0*o + 3*o = -10 for y.
-2
Suppose 0 = 89*y - 103*y + 84. Solve 0 = -u - y + 2, -3*u = 2*k + 12 for k.
0
Suppose 2*y - 65 = -11. Let w be 1*(-17 - -2)/(-3). Solve 5*h - 25 = -4*k, h + h + w*k = y for h.
1
Let s(z) = z**3 - 24*z**2 + 25*z + 7. Let w be s(23). Suppose 0 = -3*g - 2*n - 3*n + w, 4*n = -g + 20. Solve -2*q + 24 = -6*q + 3*c, 4*q - c + g = 0 for q.
-3
Suppose -15*k - 45 = -105. Solve 6 = -2*j + k*y, 0 = -4*j - y - 3 for j.
-1
Let k(r) = -2*r**3 - 8*r**2 + 5*r + 23. Let o be k(-4). Solve -1 = h + o*b, 2 - 18 = -4*h - 2*b for h.
5
Suppose -5*g + 19 = -3*y, 1 - 5 = -2*y. Solve -i = 5*t + 5, g*t - 5*i = t - 4 for t.
-1
Suppose -15 = -3*r - 9. Let q be 1/(r*3/30). Suppose q = 4*m - 15. Solve 2*i + 1 = -f, 0*i + m*i - f = 8 for i.
1
Suppose -44*u - 4 = -46*u, 2*v + u - 12 = 0. Solve v*x - x = -3*w - 13, 0 = -5*w + x - 14 for w.
-3
Let n be 2/5*(-2)/4*-10. Solve n*t + 8 = -3*k, 4*k + 12 = -t - t for t.
2
Let i = 6 + -92. Let y = i + 89. Solve -y*t + 28 = 4*p, -3*p = p - 3*t - 4 for p.
4
Let x(i) = 5*i**2 + 8*i + 13. Let r(m) = -m**2 - m - 1. Let a(s) = 6*r(s) + x(s). Let v be a(3). Solve 3*o - 26 = v*b, -3*o - 11 - 3 = 4*b for b.
-5
Suppose -4*d + 2 = -10, 3*l = -4*d + 72. Suppose l = 4*q, 3*r - 2*r - 10 = -2*q. Let m = 58 + -58. Solve r = z - m - 1, -2*i - 5*z = -3 for i.
-1
Suppose -5*d = 2*j + 6, -5*j + 6 = -d + 3*d. Suppose -2*u - 2*u = 5*y - 3, 2*u - j = -2*y. Solve -5 = u*o + 3*q, 2*o - 7 = 5*o + 4*q for o.
-1
Let f(b) = b**3 - 17*b**2 + 14*b + 18. Let r be f(16). Let t = r - -17. Solve 0 = -3*w + 4*c - c, 3*c = -t*w - 6 for w.
-1
Suppose u - 3 = 1. Suppose -10 = -5*n, u*v - 100 = -n - 3*n. Let g = v - 20. Solve m = -4*m - g*s - 22, -m - 4 = s for m.
-5
Let o = 2 + 0. Suppose -4*k - 24 = -o*x, -4*k + 2 = 2*x + 10. Let c be -6 + x - (-6 + 1). Solve 0 = u - 4*m + 2, -u - 2*m = -7*m + c for u.
2
Let j(n) be the first derivative of n**3/3 + 11*n**2/2 + 9*n + 9. Let d be j(-7). Let r = -16 - d. Solve z + 6 = 4*v - 2*v, 0 = -3*z - r*v + 9 for z.
0
Suppose 10*l + 2*d + 27 = 13*l, -20 = -5*l - 5*d. Solve o - 2*z + l = -7*z, 5*o - 3*z + 7 = 0 for o.
-2
Let p = 59 + -54. Suppose -h = -5, 2*x = -3*x + 3*h + 10. Let w be x - 0*2/(-4). Solve -27 = w*t + l, -4*t + p*t - 5*l = 5 for t.
-5
Suppose -2*k - 24 - 6 = 0. Let o = 18 + k. Solve 0 = -b + 5*p - 0 - 27, 4*b + p + o = 0 for b.
-2
Let y be ((-6)/(-8))/(3/(-24)). Let u = -1 - y. Suppose -4*k = -3 - u. Solve l - 15 = 2*d, -4*l + 6*l = -k*d for l.
5
Suppose 3*m - 4*m - 22 = 0. Let l = m - -27. Let i be 4 + -1 + 2/2. Solve -q - p + 4 = 3, -l*q - i*p = 0 for q.
-4
Suppose -15*i - 20 = -20*i. Suppose 4*c + 10 = -d - c, 5*d - 8 = i*c. Solve -x + 6*x + v + 17 = d, -5*v = -x - 19 for x.
-4
Suppose 5*j - 2*j - m = 3, 0 = -4*j + 5*m - 7. Solve 5*l - 3*l + v = 7, 3*l - 21 = j*v for l.
5
Let m = 1170 - 1168. Solve 2*s + 5 = -3*u - 6, -s + u + m = 0 for s.
-1
Suppose 13 = -l - 4*f, l - 4*f - 9 = -2*l. Let d be (-4 + 5)/(l/(-7)). Suppose 0 = -6*w + 4*w + 4. Solve -11 = -3*b + 5*q + d, -11 = -5*b + w*q for b.
1
Suppose u - 2*u = -5*o + 81, -2*o + 4*u + 36 = 0. Let z be (o/(-12) - -1)*-9. Solve z*k = 2*p - 10, 7*p - k = 3*p + 20 for p.
5
Let k be (-2 - (1 + -3))/(-2). Let u be (0 + -3)/(36/(-24)). Solve 3 = l - 2*m, k = -4*l - 6*m + u*m for l.
1
Let u(p) = -114*p - 331. Let a be u(-3). Solve -5*r + 4*f = a, -2*r - f = r + 10 for r.
-3
Let w(b) = -11*b + 68. Let y be w(6). Solve y*q - z + 4*z - 13 = 0, 5*z + 20 = 5*q for q.
5
Suppose 3*x - 4*t + 0 + 1 = 0, -t - 16 = -4*x. Solve -x*f - 5*j = -5, 4*f + 33 = 5*j + 10 for f.
-2
Suppose 0 = a - 4*k + 6, 4*k = 3*a - 5*a + 12. Solve 5*f - 5 = a*c + 4*f, 3*c + 3*f = -3 for c.
-2
Let p(b) be the third derivative of -1/60*b**5 + 0*b + 0 - 1/4*b**4 - 3*b**2 + 1/2*b**3. Let n be p(-6). Solve -s + 2 = -y, 0*y + 5*s = -2*y + n for y.
-1
Let g = -34 + 38. Suppose -2 = -4*v + c + g, -4 = 3*v - 5*c. Suppose 6 = 2*a - v. Solve 0 = -a*z - 4*r + 12, 0 = 5*r - 2 - 3 for z.
2
Let t(w) = -2*w**2 - 24*w - 40. Let s be t(-10). Solve s*o + 2*o = -2*x, x + 5*o = 0 for x.
0
Let v be (100/15)/(26/3 + -8). Solve 2*p = -3*c - v, -p + 4*c = c + 5 for p.
-5
Let w be 17/85 + 48/10. Solve -3*r - 2 = -i, 0 = -2*i + 3*r + 2 + w for i.
5
Let r be (-9 + 33/4)/(4/(-16)). Let c be (-14 + 0)*4/8. Let m be (-2)/(-3) - c/3. Solve -2*j + 4 = -m*v, -2*j = -r*v - j + 1 for v.
2
Let x(h) = -16*h**3 + h**2 - h. Let o be x(-1). Let b be o + 0 - (4 - 5). Solve 5*t = 2*a - b, -3*t = -4*a + 4 - 1 for t.
-5
Let c(y) = -y**2 + 10*y - 15. Let k be c(6). Let v be 18 - 5/15*k. Solve 4*j - 3*t - 9 = -0*j, -3*j - v = 5*t for j.
0
Suppose 5*j + 5 = 5*z, 4*j + 5*z - 7 = 8*j. Solve -5*q + 4 = -2*y - 26, -2*y - 2*q - j = 0 for y.
-5
Suppose -4*w - 14 = -2*w. Let r be (-4)/14 + (-58)/w. Suppose 4*b + 2*t = -7 + 33, 0 = 5*b + 2*t - 31. Solve 5*f + 12 = -j, b*j + r + 6 = -2*f for j.
-2
Let u be 11 - (-8)/(16/4). Suppose 2 + u = 5*t. Solve 0*v + t*z + 7 = -v, -z - 21 