 4 = 2*n, n - 16 = -2*h - d*n for h.
5
Let j be (-10)/45 + (-280)/36. Let c be (j/6 - -1)/((-8)/696). Solve 0 = o - n + 9, -n = -5*o - 0*n - c for o.
-5
Let j be -1*((10 - 18) + -5). Suppose -2*k + 6 = -0*k. Suppose 36 = 4*x - 5*s, 5*x + 2*s - 8 - 4 = 0. Solve -2*t + 2*w = x, -k*t - 3*w - j = 11 for t.
-5
Suppose 0*f = 4*f - 96. Let x = f + -21. Solve 2*d - x*a = -3, -2 - 1 = -3*a for d.
0
Let s(d) = -3*d**3 - 2*d**2 - d. Let g be s(-2). Suppose -4*y - 6 + g = 0. Solve -2*f = y*a + 11, 5*f = 2*a - 0*a - 18 for a.
-1
Suppose 4*b - f - 7 = 5, 5*b + 3*f = -2. Solve -5*k - 20 = 5*q, 5*q + 17 = -4*k - b for k.
-1
Let s = 422 + -413. Solve -l = -v, -s + 44 = -5*l - 2*v for l.
-5
Let y(o) = o**2 + 12*o + 2. Let d be 3 + 3/(12/80). Let x = 11 - d. Let j be y(x). Solve c - 18 = 2*s - c, -2*s - 2*c = j for s.
-5
Let v(c) = -c**2 - 6 + 4 - 6 + 8*c. Let f be v(6). Let n(h) = -h**3 + 24*h**2 - 21*h - 42. Let w be n(23). Solve f*u - w*g = 20, -5*u + 2*g + 21 = -g for u.
3
Let v = 39 - 34. Suppose v - 14 = o. Let n be (12 + o)*80/6. Solve 4*b + n = 2*s + 3*s, -4*b - 32 = -3*s for b.
-5
Let p = 19 + -15. Suppose -3*t = -5*n + p + 9, -3*n = 3*t - 27. Suppose 7*g = n*g. Solve g = -m + 2*o - 4*o + 7, 1 = -3*m + 5*o for m.
3
Suppose 0 = 4*y - 1 - 11. Suppose -23 = -4*t - y. Solve t*r + 2*x + 0 = -10, 4*r = 2*x - 26 for r.
-4
Let b(s) = -s**3 + 8*s**2 - 12*s - 1. Let l be b(6). Let i be (-20)/(-4) - (-1)/l. Solve 0 = -4*g + 4*u, 2 = -i*g + 2*u - 2 for g.
-2
Suppose 4*n + 2*x + 24 = -n, -5*x = 3*n + 22. Let u(o) = -o**3 - 5*o**2 - o + 5. Let s be u(n). Let v = -3 - s. Solve -3*a = -y - 2*y + 9, -20 = -v*y for a.
2
Suppose -2*a + 5 = -4*s + 5*s, 3*s = -4*a + 11. Let x = s - -3. Solve -2*g + x*c = -2, -4*c - 12 = 4*g + 8 for g.
-3
Let i = 63 + -60. Let d be (-3)/i + 1 - -3. Solve -21 = d*q + 5*x, 3*x + 15 = -3*q - 0*q for q.
-2
Let y = 251 + -247. Solve -3 = j + 3*m, 3*j + y = 2*m + 17 for j.
3
Let w(o) = 2*o**3 - 35*o**2 + 20*o - 38. Let u be w(17). Solve 3*i - u = 4*p - 0*i, -7 = p + 3*i for p.
-4
Let l(m) = -2*m**3 + 2*m + 1. Let t be l(-3). Suppose -t = a - 9. Let r be 6/(-18)*(a - -1). Solve 3*d + 4*b = r, -8 = -d - 2*b - 1 for d.
-1
Let d be (7/2)/((-18)/(-108)). Let l = d - 18. Solve -3*w = -3*v + 15, 14 = -4*w + l*v - 4 for w.
-3
Let t(m) = -m**2 - 4*m - 1. Let v(a) = -a. Let i = -10 - -13. Let g be v(i). Let w be t(g). Solve -p + w = -r, 4*r - p = 6*r + 13 for r.
-5
Let m = 74 + -72. Solve -4*u + 2*u = -4*r - 14, 4*u = -m*r - 22 for u.
-3
Let w(p) = 2*p**2 - 15*p - 5. Suppose -6*t = -9*t + 24. Let y be w(t). Solve 0*m - m - y*l - 7 = 0, 0 = 5*m + l - 7 for m.
2
Suppose 10*u = 9*u - 1. Let y = -4 + u. Let r(p) = -p**2 - 5*p + 5. Let j be r(y). Solve v = m - 3, -j*v - 3*m + m - 1 = 0 for v.
-1
Let o = 782 + -777. Solve -7 = -3*j + 3*t + 14, -o*j + 2*t + 26 = 0 for j.
4
Let p(l) = 3*l**2 + 3*l + 2. Let b be p(-1). Let w = 42 - 40. Let n be 6/(3 + -1) - 1. Solve -b*y = d + 10, n*d = 5*y - w + 27 for y.
-5
Let y(q) be the first derivative of 2*q**3 + q**2 - 2*q + 5. Let d be y(-2). Solve -4*c = 4*g - 20, 4*g + 5*c = 6 + d for g.
1
Let q = 3 - 0. Suppose a + 1 - 3 = 0. Let y = -6 + 11. Solve 0 = q*o + 2*o - a*f - 25, y = -5*o - 4*f for o.
3
Suppose -5*u + 5 = 3*a, 3*a = 2*a + 5*u + 15. Solve -a*j - 2 = 2*i, 4*i + 5*j = 4 + 2 for i.
4
Let x be 611/104 + 2/16. Let t(p) be the first derivative of -15*p**2/2 + p - 1. Let f be t(-1). Solve g = -k + 3, 4*g + x*k = k + f for g.
-1
Suppose p + 4*r = -2, -r - 8 = -2*p - 3*r. Let h(v) = 2*v - 12. Let q be h(p). Solve -7 + 2 = -2*g - l, 5*g - 2*l - 8 = q for g.
2
Let f(j) = -j**2 + 20*j + 47. Let q be f(22). Solve -2*v - 3*v - 22 = -q*u, 3*u + 5*v - 2 = 0 for u.
4
Suppose -5*b + 52 = 31*r - 29*r, -r - 3*b + 26 = 0. Let w = -13 + 18. Solve -t + 0*t - w*z = r, -t - 3*z = 16 for t.
-1
Let c be 11/(-11)*(2 - 4 - -2). Solve 5*s - 25 = c, -2*s + 0*s = 3*r - 1 for r.
-3
Let t = 314 + -312. Solve 0 = -5*v - 5, -2*v = -t*d - 3 - 5 for d.
-5
Let d = 932 - 929. Solve k = -d*t + 5*t + 6, -5*k + 6 = 2*t for k.
2
Let k be (-3)/((-1)/((-2)/(-3))). Let m be k/10 - 1003/(-85). Solve o + r - 11 = -2*r, m = -4*o + 2*r for o.
-1
Let d(t) be the third derivative of t**5/30 - 11*t**4/24 - 13*t**3/6 + 9*t**2. Let p be d(7). Solve 10*h - 5*h - 4*n - p = 0, -4*h = -5*n - 10 for h.
0
Suppose 4*m - 4 = 2*y, 4*y = 2*m + 9 + 1. Let q be 5/(1*y/1 + -3). Solve -19 = -4*b - q*d - 1, 0 = 4*d - 8 for b.
2
Let x(i) = i - 11. Let g be x(12). Suppose -g - 38 = -3*r. Suppose 4*a - m = 21, 3*a - 2*a = -5*m. Solve 4*u + 2*h + 1 = r, -a*u + 5*h = -30 for u.
4
Let q be (-20)/(-16) - 3/(-4). Let i be (-6)/(-4)*4/q. Let m(y) = y + 14. Let b be m(-3). Solve -5*v - i*p - 28 = 0, 3*v + b = -p - 5 for v.
-5
Suppose -6*h + 7 + 11 = 0. Suppose h*z = 2*z. Solve z = 5*s - 5*j + 10, s - 5*s - j + 17 = 0 for s.
3
Let i be 8/(-12)*(-5 + 2). Suppose -3*p - i = -r, -2*p + 0*r = -4*r + 8. Let h(k) = -3*k - 5. Let o be h(-6). Solve p = 2*f + y - 4 - 7, 2*y = -f + o for f.
3
Let o(y) = -y**3 - 8*y**2 + 9*y + 2. Let n be o(-9). Suppose -2*m - 10 = -4*m. Suppose m*r = r. Solve 3*i - t - 3 = r, 2*i - n = -0*i - 2*t for i.
1
Let x = -1379 - -1381. Solve 0 = 4*q + x*v - 3 - 1, 3*q + 10 = 5*v for q.
0
Suppose 7 = 4*v - 5. Suppose 5*c = v*s + c + 26, 34 = -4*s + 5*c. Let m = s - -8. Solve -m*z - 6 = -0*z - 5*o, -2*o + 14 = 5*z for z.
2
Let m(j) = j**3 - 5*j**2 + 6*j - 8. Let i be m(5). Suppose -47*b - 24 = -53*b. Solve -b = -2*p - 2*k, -3*k - i = -5*p + p for p.
4
Let w = -4 + 6. Let a be (w/8)/((-4)/(-16)). Suppose 0*d = -4*d + 2*m - 2, 5*d = -m + a. Solve d = -p - 3*l + 14, l - 3 = -0*l for p.
5
Let l(w) = 6*w - 260. Let s be l(44). Solve -s*t + 4*a = 3 + 5, -t - a = 0 for t.
-1
Suppose -56 = -4*t - 3*q - q, -5*q = -5*t + 20. Let y be 3*(-26)/t*3. Let s = -21 - y. Solve 4*f - 1 + 19 = -s*o, 0 = 2*f - 3*o - 2 for f.
-2
Suppose -2*k - 55 = -3*g, 3*k + 45 = -2*g + 4*g. Suppose -3*j - 2*j = -g. Solve -3*o = -j*t - 12, 2*o + 0*o = -2*t - 12 for o.
-1
Let r be (-55)/(-2) + 24/16. Let i = r + -25. Solve -5*h - 16 = -4*l, -3*l + 3*h + i = -2*l for l.
4
Suppose g = -0*g - 21. Let x = g - -24. Solve -2*i + 7 = x*c - 3*i, 1 = -2*c - 5*i for c.
2
Suppose -10 + 0 = -5*c + 2*x, 3*x = -2*c + 4. Let q be (-7 + 204/24)*(-8)/(-6). Solve -i - 2*i - 2*u = 10, q*u = 3*i + c for i.
-2
Let n be (-4)/(-26) - 279/39. Let q(u) = -2*u - 10. Let l be q(n). Solve -4*t = 3*x + 7, -3*x + 4*x + l*t + 5 = 0 for x.
-1
Suppose 52*m = 93*m. Suppose -5*n = 4*k - 41 + 4, 0 = -3*n - 4*k + 27. Solve m = -n*b - 25, -4*p = b + 2*b - 1 for p.
4
Let y(z) = -5*z - 5. Let t be y(-3). Suppose t*f + 20 = 14*f. Let q = 5 - 0. Solve 2*o = f*l - 15, 3*l = -q*o + 62 - 22 for l.
5
Let i(j) = 3*j - 35. Let g be i(13). Solve 0 = -3*s + u + 2, -2*s - 20 = -4*s - g*u for s.
2
Suppose 0 = j + 4*p + 23, -2*p - 52 + 21 = j. Let h be -2 - (j/(-3) + -3). Let r be (-18)/(-8)*(-16)/h. Solve 0 = r*d - 4*o + 8, -5*d = 2*o - 30 - 0 for d.
4
Let t = 49 - 49. Solve t = 2*z - 2*u - 20, 4*z + 15 = 3*z - 4*u for z.
5
Let o = -440 + 628. Suppose o + 134 = 14*s. Suppose -4*z = -2*n - 12, -n - 8 = 3*n. Solve -4*x - s = -3*i, -x + z*i = 7*i for x.
-5
Let v(z) = -z**2 + 7*z - 7. Let f be v(4). Suppose -m + f*t - 18 = 0, -m + 3*t + 6 = 4*t. Solve 4*d + m*j = -1 + 17, -d - 2*j + 1 = 0 for d.
5
Let j = 1367 - 1363. Solve -5*o - 1 = -t + 14, -2*o - 24 = -j*t for o.
-2
Let b(s) = s**3 + 21*s**2 + s + 48. Let n be b(-21). Let g be 2/(-9) - (-141)/n. Solve -3*r + g = -v - 1, 0 = -r - 5*v + 2 for r.
2
Let o(u) = -9*u + 93. Let z be o(10). Solve -2*q - 3 = j - 13, z*j = 2*q - 10 for j.
0
Suppose 3*w = 2*w + 4, 0 = 4*n - 4*w - 4. Solve -2*t + u - 19 = 2*t, -5 = n*u for t.
-5
Suppose 8*a - 18*a + 20 = 0. Solve 0 = 2*k + 4, 2*l + a*k = 6*l + 8 for l.
-3
Suppose -3*o = -4*x, -3*o + 2*x = -3*x. Solve -2*z + z + 2*p = -1, -5*z - 2*p - 19 = o for z.
-3
Let a be -25 - 2 - (-3)/3. Let q = a + 29. Solve -2*n = 5*w + 3, 1 = q*n + 2*w - 0*w for n.
1
Let l be 10/(-40)*-8*8. Solve -7 = 5*o + 4*j + 4, -l = 5*o - j for o.
-3
Let r be 0 - -1 - (-104)/8. Suppose -4*u - 2*v = -4, 0*v + 4*v + r = 3*u. Solve -11 = -3*a + u*l, -a + 0*a + 4*l = -17 for a.
1
Suppose -4*w = -13 - 11. Solve 0 = -3*r - 15, r - w*r = -5*a + 15 for a.
-2
Let h be 10/2*(2 - 0). Let t be (-1)/2 - h/(-4). Let l = 53