*h = v*s - 5 for s.
1
Let o(u) = 239*u - 1193. Let j be o(5). Solve -6*y + 2*y + j*s = -4, 3*y - 9 = 3*s for y.
-1
Let l(k) = k**2 - 8*k + 15. Suppose c = -2*y, -6*c + c = -4*y - 42. Let m be l(c). Solve -2*s = -s - 2*j + 11, -3*s - 6 = m*j for s.
-5
Let v = 1 + 2. Let f(z) = 439*z + 2198. Let y be f(-5). Solve 0 = -2*d + y*a + 3, -5 = -v*d - 2*a + 7*a for d.
0
Let d(g) = g + g - 6*g**2 + 20*g + 19 + 9*g**2 + 4. Let v be d(-1). Solve v*a - 2*r - 2 = -8, 4*a = -2*r - 2 for a.
-1
Let u be 3 - -5 - (4 + -3)*-5. Solve -3*g - 4*r = -9, 3*g - u = g - 5*r for g.
-1
Let a = 242 - -219. Let g = 466 - a. Solve 5*h + 10 = -g*v, -h + 0*h + 4*v + 18 = 0 for h.
2
Let z be 3/((-60)/(-328)) + ((-8)/(-5) - 1). Solve 3*f + 2*x = -1, -z*f = -18*f - 2*x + 5 for f.
-3
Suppose -154 = 26*x - 22*x - 18*x. Solve -15 = 5*r, -7 = h - 3*r - x for h.
-5
Let c = 334 - 320. Solve -m + 4*g = 0, -2*m - 2*g = m - c for m.
4
Let c(s) = -s**2 + 15*s - 20. Let l be c(13). Let m(o) = o**3 - 9*o**2 + 16*o + 16. Let t be m(l). Solve t*z + 20 = -i, -3*z = i - 0*i + 16 for z.
-4
Suppose 4*g = -3*x + 446, 4*x + 5*g = g + 600. Let j be (-38 + 3)*2/(-5). Suppose 0*k = -j*k + x. Solve 0 = 4*d + 4, -5*t + 4*d - k = -2*t for t.
-5
Let u = -352 - -436. Suppose 83 - u = -z. Solve -3*i = 0, 2*n - 3*i - z = 7 for n.
4
Let b(t) = 122*t + 611. Let u be b(-5). Solve 2*o = 14*w - 11*w - u, 4*o - 4 = 0 for w.
1
Let x(t) be the third derivative of t**4/24 + 3*t**3 - 182*t**2. Let q be x(-14). Solve -10 = -2*b + 4*k, -6*b + 3*b + q*k = -5 for b.
-5
Suppose 11*f = -6 + 6. Suppose f = 13*h - 2*h - 55. Solve 8 = -t + 3*u + u, -25 = h*t - 5*u for t.
-4
Suppose 0 = -4*n - 2*y + 4, 83*y - 79*y = 5*n - 44. Solve -n*v + 14*p = 16*p + 8, 3*v - 3*p - 12 = 0 for v.
0
Suppose 0 = -c + 209*h - 205*h + 8, -4*c + 4*h = -8. Solve 4*v - 24 = c, -7*w + 6*w - 5 = -v for w.
1
Suppose -3*j + 5 = -4*o, 0 = 2*j - 4*j - 4*o + 10. Solve -g - 19 = -4*v, 6*g - g + 27 = j*v for v.
4
Let i be 1 + (-42)/(-24) - ((-20)/16 - -1). Solve -4*m + 3 = i*j - 3, 0 = -3*m + 9 for j.
-2
Let o(v) = -185*v - 1662. Let k be o(-9). Solve k*g - 2*l = -1, -3*g + 5*l + 1 + 1 = 0 for g.
-1
Suppose 4*j - 2*l = 3 + 29, l + 4 = 0. Solve 5*b - u = -10, b = -3*u + j*u - 2 for b.
-2
Suppose -2*r = 3*x - 456, 17*r = 14*r - 5*x + 681. Solve -3*v - 2*y = 17, -r*y + 236*y - 16 = 4*v for v.
-3
Let m(a) = 2*a**3 - 13*a**2 - 43*a + 279. Let g be m(7). Solve -2*b = -f + 5, 5*f + g = 6*b - 9*b for b.
-4
Let z(k) = -k**3 - 30*k**2 - 53*k + 86. Let c be z(-28). Solve c*b + 5*r + 28 = 6*b, 2*r + 2 = -3*b for b.
2
Let m be (-17)/2*372/(-1581). Solve m*n + 4*u = 9*u - 4, -u = 3*n - 11 for n.
3
Suppose 1204 = 30*z + 64. Solve -11 = -3*f - 4*r, 33 = -f - 2*r + z for f.
1
Suppose -4*j + 9*j - 50 = 0. Suppose 0 = -4*o - 3*c - 10, 5*c + 20 = -10. Solve u - g + o = 0, -4*u + j*g - 6 = 5*g for u.
-4
Let v(a) = -a**2 + 33*a - 266. Let y be v(18). Solve -y*h - 20 = 0, 0*h + h = u for u.
-5
Suppose -4*h - 3 = r, -r + 6*r - 35 = 5*h. Suppose -8 = 4*a, 32 = r*d - d - 2*a. Let u be 3/(-6) + 7/2. Solve 4*p = -u*o - 8, 0 = -2*p + d*p + 25 for o.
4
Let p be (-870)/(-232) - (-1)/((-8)/(-2)). Solve 0 = 2*k + 2*f + 10, 0*k - 2*f = p*k + 16 for k.
-3
Let o(q) = -3*q - 3. Let g be o(-3). Suppose g = 48*w - 46*w. Let s be (-4)/(-18) + (-175)/(-63). Solve 2*h - 9 = s*j, w*h = 4*j + 4 + 7 for j.
-5
Let q be (264/220)/(6 + -2 - (-136)/(-40)). Solve 2*p + 4*z = 5*p - 10, 0 = 5*p + q*z - 34 for p.
6
Suppose -985 = -79*n + 36*n - 154*n. Solve 3*l + 9 = -n*r, 4*r + 4*l - 3*l + 10 = 0 for r.
-3
Suppose -2*r + 18 = 2*f - 4*f, -3*r - 5 = 5*f. Suppose -2*j + r*t + 35 = 0, -t = 7 - 2. Solve -b = 4*l, 0*l + 4*l = j*b for l.
0
Let a(w) be the second derivative of -w**5/20 - w**4/12 + w**3/6 - 2*w**2 + 30*w + 2. Let c be a(-3). Solve -h - 4*h - 3*z = -5, 3*h - z = -c for h.
-2
Let d(s) = s**2 + 16*s - 36. Let k be d(-18). Suppose q + 5 + k = 0, -2*n = 3*q + 63. Let r = -22 - n. Solve 2*t = 4*t + 2*i + 18, 8 = -r*i for t.
-5
Suppose 68 = 6*s - 10. Suppose -6*h - s = -121. Suppose -42 = -h*g + 48. Solve -4*u + 2*t = -2*t + 24, -g*t = -25 for u.
-1
Let k be (20/9)/((-136)/(-612)). Solve -4*s = 4*m + 8, 5*s + 5*m + k = 4*m for s.
-2
Suppose -2*c = -22 - 14. Let f be 2 + (3 - (7 + -6)). Suppose 4*r - 12 = -5*b + f, -4*r - 24 = -5*b. Solve b*s = l + c, -2*l = -s - 0*s + 8 for l.
-2
Let n = 72 - 62. Let k be n/(-5 - (-60)/8). Solve -k*d - d - 4*y - 31 = 0, y + 10 = -2*d for d.
-3
Suppose -3*n - 4 + 10 = 0. Let r(j) = -j + 10. Let g be (-4)/(-6) + -5*(-76)/60. Let t be r(g). Solve -2*d = s - n, 4*d = t*s - 1 - 5 for d.
0
Suppose -9*i + 2*i + 7 = 0. Let n be i/(-4) + (-135)/(-60). Let y be n/3 + 286/39. Solve -j = -k - 4*j - y, -k - 11 = 4*j for k.
1
Let r be ((-2)/2)/((-4)/32*-8). Let q = 4 + r. Solve 1 = d + 4, 3*b + 3*d + q = 0 for b.
2
Let m = 396 - 392. Suppose 3*c = 4*u + u - 23, 44 = m*u + 4*c. Solve -5 = -5*q, 3*s + 3*q + q = u for s.
1
Let l(o) = 103*o - 58. Let z be l(2). Suppose 5*q - 158 = -z. Solve -20 = 2*i + 2*c, q*i + 3*c - 2 = -27 for i.
-5
Suppose -3*h + 5*c + 284 - 12 = 0, -3*h - 2*c + 307 = 0. Let r = h + -95. Solve -a + 5*g + 28 = 0, -20 = r*g - 0*g for a.
3
Suppose -w - 27*t = -29*t + 847, -3*w - 2541 = t. Let n = w - -851. Solve 1 + 12 = -5*r - 2*i, -15 = -r + n*i for r.
-1
Let n(y) = -9*y**2 - 11*y + 64. Let m(k) = -2*k**2 - k + 1. Let l(v) = 4*m(v) - n(v). Let h be l(5). Solve h = -5*r - 5*o - 20, -3*r + o + 3 = -o for r.
-1
Let w be (245/20 + -11)*(-2 + 6). Let m(c) = -2*c + 4. Let u be m(4). Let t be 6/4*u/(-3). Solve -2*y + w*o = -27, t*y = 3*y - 5*o - 26 for y.
1
Let k be 4/18 + (-3)/((-81)/588). Let s be 2/k + (-1280)/(-440). Solve 1 = -t, 12 + 0 = -s*v + 3*t for v.
-5
Let f = -193 - -197. Solve 0 = -f*w - u + 20, 4*u - 20 = -2*w + w for w.
4
Let v(g) = -g**3 - 8*g**2 + 18*g - 10. Let u(d) = 1. Let x(o) = 6*u(o) + v(o). Let p be x(-8). Let s = 148 + p. Solve -z + 5*m - 6 = s, 0 = -m + 1 - 0 for z.
-1
Let w(y) = 23*y - 2111. Let v be w(92). Solve -4*x + 2 = v*f, 0 = 4*f + 51 - 59 for x.
-2
Suppose 0 = -i + 5*m - 3 + 16, -4*i + 3*m = -18. Suppose 0 = -l - 4*l. Suppose z + l = i. Solve -z*a + 19 = 4*x, -a = 3*a - 20 for x.
1
Suppose 2*v - 1685 = -3*v. Let f = -337 + v. Solve 0 = -5*x + 4*q - 10, 0 = -4*x - f*x - 4*q + 28 for x.
2
Let f = -4750 - -4753. Solve 2*g - 9 = -f*u, -19 + 11 = -u + g for u.
5
Let t = 11 + -9. Let c be 0*(-3 - -4)*(-2 + 1). Suppose 0 = -5*h - 4*z + 34, -11 = -h - c*h - 5*z. Solve 0 = u - 5*o + t, 0 = -0*u - 3*u - 5*o - h for u.
-2
Suppose 3*g = 5*k + 16, 84 = -5*g + 2*k + 98. Solve -4*r = 3*h - g, -r - 4*h = -3*r + 12 for r.
2
Let z be ((-66)/12)/11*(1 - 951). Let k = 478 - z. Solve c - 5*n = 16, -2*c - 13 = -k*c + 4*n for c.
1
Let d be -6*(-3)/((-18)/4) + 98. Suppose 11*g - d = -28. Solve t = 2*u + 8, g*t - 14 = 3*t + 4*u for t.
-2
Let t be (2 - 4) + (-20)/(7 + -2). Let d be t/14 + 48/14. Solve d = 2*h + m + 2, 7 = -h - 3*m for h.
2
Let p(i) = -6*i - 52. Let y be p(-11). Let x(g) = g**3 - 13*g**2 - 13*g - 10. Let m be x(y). Solve -m*u - 5*h = 28 - 7, 3*u = -5*h - 17 for u.
-4
Let b(g) = -55*g**2 - 1593*g + 64. Let t be b(-29). Solve j - t*v = -3*v + 17, -5*j + 5*v = -35 for j.
2
Let f = -37 + 97. Suppose 4*n - 70 = -2*x, -4*n + f = 5*x - 13. Solve -2*m = -m - 3*q - 19, 2*m + 5*q = -n for m.
4
Let n(o) = 116*o - 2422. Let l be n(21). Solve -5*p = -f + l, -14*p = f - 16*p - 5 for f.
-1
Let d(i) = i**3 - 12*i**2 + 25*i + 73. Let s be d(7). Solve y = 5, -3*x + 3 = -s*y + 27 for x.
-3
Suppose 3*s - 67 + 46 = 0. Let l = 22 - s. Solve v - 20 = -5*b, -3*b - 1 = v - l for v.
5
Suppose 0 = -6*w - 9*w - 1365. Let f = w - -93. Suppose 19*d - f = 18*d. Solve 0 = -d*q + j - 5, -2*q - q + 2*j - 8 = 0 for q.
-2
Let n(g) = -g**3 - 14*g**2 - 43*g - 30. Let c be n(-10). Suppose c = -663*t + 678*t - 60. Let v = -1 - -3. Solve 2*r = v*s - 18, t*s + 3*r - 16 = 2*r for s.
5
Let i = 711 + -619. Suppose -5*v - 3*o + 5*o = 358, -145 = 2*v + o. Let b = i + v. Solve 3*a - 5*h = b, -16 = -4*a - h - 3*h for a.
5
Suppose 2*v + 3*u + 145 = 170, -v + 20 = 3*u. Solve -v*j + c + 9 = 5, -3*j = -5*c - 20 for j.
0
Suppose -5*y = -7*k - 24, y + 2*k - 63 + 65 = 0. Solve -3*f - f + 2*s = 4, y*f + 2*s + 8 = 0 for f.
-2
Suppose -t + 11 = 2*q + 2*t, 5*q - 3*t = 59. Suppose 4*k = -q + 106. Let r = k - 