813. Solve 4*o = 3*z - s, -h*z + 4 = o - 6 for z.
5
Let n be 22/(-44) + (0 - (-1)/2). Suppose -447*g + 450*g - 6 = n. Solve -f - 3*x + 4 = -g*f, -1 = -f - 2*x for f.
-1
Let c be 1*(-4)/16 + 40/32. Solve 3*g + 21 = -3*h, -3*h + 3*g - c = 2 for h.
-4
Let i be (-6)/13 + (-5445)/(-1573). Solve 0 = -k + 2*f - 10, 3*f = i*k + 8 + 10 for k.
-2
Let r = 2540 + -2535. Solve r*w + 14 = -4*q - 11, 2*w + 10 = -2*q for q.
0
Suppose 8*i - 13*i + 40 = -5*j, 5*j = -25. Solve i*q + 15 = 5*h + 7*q, q = -h + 3 for h.
3
Let s = -200 - -217. Suppose 4*j = -3*x - 4, -2*x + 12*j - 12 = s*j. Solve x*b = -5*c - 8, -3*c = -3*b - b + 24 for b.
3
Let n = 1 - 2. Let a be (n/((-8)/6))/(6/32). Solve 3*m + m - 14 = d, -a*d + 3*m = 4 for d.
2
Let a = 262 + -253. Suppose 3*r + a = -d - 0*d, 4*d - 12 = 4*r. Solve -4*b + 12 = 2*q, q - 4*b = -d*q for q.
4
Suppose -14*o - 23*o = -4*o. Solve o = -2*g - 6, -p - 4*g = 10 + 3 for p.
-1
Let d = 3262 - 3254. Solve -4*g + 4*i = -2*g - d, 4*g - 3*i = 1 for g.
-2
Suppose -49 = -j + 4*x, 89*j = 84*j + 5*x + 290. Solve -2 = -57*o + j*o + g, -3*o - 5 = -g for o.
-1
Suppose 5*z = u - 8, z + z - 24 = -3*u. Let b be 114 + (-3 + 4)*-5. Suppose b*i - 15 = 104*i. Solve -n = i*h + u, h + 1 = -1 for n.
-2
Suppose -x + 2 = 0, -2*k - x = -2*x + 16. Let r(u) = u + 9. Let d be r(k). Let b be 5 - d - 2*(2 + -4). Solve 0 = -p + 2*p - 5*o + 19, 2*p - b = -5*o for p.
-4
Let y = -10994 - -10998. Solve -5*k = -3*d - 22, 3*k - 6 - 16 = y*d for d.
-4
Suppose 12*q - 11*q = 4. Let j be 1/1 - q/(-2*1). Suppose -3*k + 42 = -0*k + j*c, k - 11 = 2*c. Solve 0 = -3*d + 3*n + 1 - k, 3*n - 12 = 5*d for d.
0
Let a(z) be the second derivative of z**4/12 - 11*z**3/6 + 35*z**2/2 - 115*z. Let j be a(6). Solve 2*h = -3*k + h - 12, -j*k - 20 = 4*h for k.
-4
Let k = -294 + 296. Solve d = -k*l + 1, -3*d - 2 = -6*l + 7*l for d.
-1
Let l = -3554 + 3556. Solve 4*u - 8*i + 11*i + 10 = 0, u = l*i - 8 for u.
-4
Suppose -p + 3*f = 6*f - 42, 0 = 5*f - 15. Suppose -2*b - 12 = 31*d - p*d, -25 = -4*d + 5*b. Solve 5*g - 12 + 2 = -5*q, -d*q - 2*g = -19 for q.
5
Let r = 211 + -207. Suppose 2*g = -c - 6 + 19, r*g + c - 23 = 0. Solve 0 = -g*b - 10, 5*h - b = 26 - 4 for h.
4
Suppose 0 = -19*f + 17*f + 84. Let x = -45 + f. Let n(k) = 2*k**2 + k. Let z be n(x). Solve -4*i = 3*o + z, 4*i + 14 = -2*o - 0*i for o.
-1
Suppose 14*a + 7683 - 1915 = 0. Let n = 414 + a. Solve -n*f = -3*q + 4, q + 0*f - 4*f + 12 = 0 for q.
4
Let b(i) be the first derivative of -i**2 + 41*i - 1/4*i**4 - 24 + 6*i**3. Let u be b(18). Solve -o - 5 = -c - c, -o - 2*c - u = 0 for o.
-5
Let s = 229090 + -229060. Let i be 2/11 + 93/33. Solve 2*x - 5*k - s = -3*x, 0 = i*k + 12 for x.
2
Let x be (21/2)/7 + (-89)/2. Let m = 39 + x. Let u be 3/(9/12) + m. Solve 7*h + 20 = -5*l + 2*h, -5*l + 3*h + 20 = u for l.
1
Let x be (0 - -1)*(36/(-162) + (-101)/(-9)). Let q(s) = 0*s**2 - 4*s**2 - 6*s + 6 + 11*s**2 - s**3. Let f be q(5). Solve d = 0, x - f = 5*n + d for n.
-3
Let y(f) = -23*f + 63. Let h be y(-7). Let w = 226 - h. Solve 2*r = -2*z + 14, w*z - 5*r - 8 = -22 for z.
3
Suppose 0 = 3*a - 2*a - 2. Let s be (4 - 1)/((102/(-17))/(1 - 11)). Solve -4*p = -n + 6, s*p - a*p = -6 for n.
-2
Let k = -7124 - -7128. Solve 14 = 4*s - 2*q, -18 = -4*s + s + k*q for s.
2
Let p = 397 + -369. Suppose 5 - p = -k. Solve 3*g - 2*c + k = 0, 0*c = -3*g - 5*c + 5 for g.
-5
Let w be 2/14 - 66/(-77) - -1. Solve 0 = -3*p + n - 2, -w*p - 4*n + 11 = 3 for p.
0
Suppose 0 = -135*x - 356*x + 193 + 789. Solve 7*j - w + 9 = x*j, -6 = 4*j - 2*w for j.
-2
Let g(y) = -48 + 29 - y**2 - 9*y + 4. Let z be g(-3). Solve 0 = -m + 5*b + 5, -m - 5*b + z*b - 9 = 0 for m.
-5
Let g be 5/(-4)*(-485 - -481). Suppose 4*r = -3*u + 10, r = -2*u + u + 3. Solve -k - r = -3*c, 0 = g*k + 3*c - c - 12 for k.
2
Suppose 15*h = 28*h + 8242. Let m = h - -637. Solve -20 = -4*d - m*v, 3*d - v + 0 = 2 for d.
2
Suppose -17*u + 95 = 2*u. Suppose 18 = u*l + l. Solve 0 = -5*t + l*d, -3*t + 2*d = -7*t for t.
0
Let z = 0 + 0. Suppose -13493 = 947*j - 21069. Solve 2*s + j*d = 3*d + 10, 5*s - d + 2 = z for s.
0
Let r = 41 - 41. Let l = -4 + r. Let y be (2 - 1) + (l + 2 - -4). Solve 5*u = -4*n + 11, 0 = -0*u + y*u + 3 for n.
4
Suppose -2*k = -5*i + 51 + 33, -k - 42 = 2*i. Let z = 61 + k. Suppose 467*m = 295*m + 232*m - 2760. Solve 3*c + m = -3*n + z, 4*n + 3*c + 31 = 0 for n.
-4
Let y be 14/(-91) + (-224)/(-104) + -2. Let m = 6 + -2. Solve 3*z - 5 = -g, 6 = m*g + 5*z - y for g.
-1
Let x(f) = 299*f + 4190. Let h be x(-14). Solve 0 = h*o - 12, 13 = -t + 5*o - 7 for t.
-5
Suppose 5*y + 29 = 3*p, 7 - 2 = y + 3*p. Let r be (-1)/y*8/1. Suppose -3*s = -o - r*s + 1, 3*o = -2*s - 2. Solve -3*u + o*a - 4*a + 7 = 0, 5*a = u + 4 for u.
1
Let f be ((-9)/12 - -1) + ((-217)/(-28) - 3). Solve 30*k + 8 = 27*k - i, -k = -2*i + f for k.
-3
Let l(j) = j - 1. Let i be l(4). Let y = 30465 + -30447. Solve b = 5*g + 12, g - y = i*g + 4*b for g.
-3
Suppose -4*h + 2*a + 60 = 0, -149*a = 4*h - 146*a - 40. Solve -17*x - 2*g - 10 = -h*x, 5*g = 2*x + 23 for x.
-4
Let y = 1123 - 1118. Let u(k) = -k**3 + 3*k**2 + 3*k + 6. Let q be u(4). Solve 2*m - 2*o - 1 = -y, q*o - 3 = m for m.
-1
Let i = 601 + -599. Solve 5*m - i*d + 25 = 0, 7*d - 9*d = 3*m - 1 for m.
-3
Let y be 836/143 - (-17)/((-2873)/(-26)). Solve -2*x + 17 = -3*p, -y*p + 2*p + 4*x - 24 = 0 for p.
-5
Let k = 1076 + -1076. Let a(p) = -p**3 - 17*p**2 + 19*p + 25. Let q be a(-18). Solve s - q = -k*s + 5*c, 3*s - 1 = -5*c for s.
2
Suppose 16 = 1406*i - 1398*i. Let l = 47 + -32. Suppose -3*x = -2*x - l. Solve u = 1, -4*f - x = i*u - 1 for f.
-4
Suppose 0 = 5*i - 3*q - 101, -2*q - 41 = -4*i + 39. Let b be (3/(54/8))/((-14)/(-63)). Solve 0 = -2*d - 3*h - 0*h - i, b*d - 3*h + 1 = 0 for d.
-5
Let n be (2 + (-6 + 9 - 5))*(-10)/(-30). Solve -4*s + w - 21 = n, 3*w + w - 14 = 2*s for s.
-5
Let d be 133/19 - 3*2/3. Suppose 0 = d*v - 0*s - 3*s - 11, -5*s = 4*v - 31. Solve v*l = -z + 24, -4*l - 4 = -2*z - 16 for z.
4
Let p(v) = -v**3 + 10*v**2 + 11*v - 60. Let w be p(10). Suppose w - 31 = 19*a. Solve -b + 6*b + 23 = -s, -5*s + a = -4*b for s.
-3
Let y = 10859 - 10856. Solve 4*p = -4*l + 4, 5*p + y*l + 137 - 134 = 0 for p.
-3
Let q = -339 - -300. Let n be 6 - (q/12 + (-12)/(-48)). Solve 4*d + 7 = 5*z, 5*d - 2*z + n = -4 for d.
-3
Suppose 0 = -3*n - 5*s + s + 15, -2*s = -4*n + 20. Solve 24 = r + n*z, 3*z = 18 - 3 for r.
-1
Let j(b) = 5*b - 11. Let a be j(3). Let f be 9*(56/12 - 20/(-25)*-5). Solve 5*w + 2*t = 11, -a*w - 5*t = -f*w + 16 for w.
3
Let y = 1627 + -1617. Solve y = -2*r, 5*h - 6*r - 25 = -4*r for h.
3
Let x be 10/3 + ((-32)/20)/(60/50). Solve 5*s - 19*k + 22*k = 13, 0 = x*s + 2*k - 6 for s.
2
Suppose 139 = w + 111. Suppose -4*z + w - 12 = 0. Solve -4*u = -4*f - 32, -3*u = -u + z*f + 2 for u.
5
Suppose 109*u - 7123 = -1346. Suppose 12 = 4*t, 2*d + 0*t - 2*t + 106 = 0. Let p = u + d. Solve j + 4*j + p = -z, 3*j = 0 for z.
-3
Let v(z) = -z**3 + 74*z**2 - 142*z - 139. Let g be v(72). Solve u + g*y + 4 = 0, -5*u - 5*y + 4*y + 4 = 0 for u.
1
Suppose 0 = -m - 28 + 37. Suppose -16 = -5*t + m. Solve -4*u - 5*p + 5 = 0, u - t*p = -0*u + 20 for u.
5
Let w(a) = -17*a**2 - 125*a - 1. Let d(p) = -2*p**2 - 1. Let r(j) = -6*d(j) + w(j). Let b be r(-25). Solve -3*l = b*f - 5 - 5, -4*l - 15 = f for f.
5
Suppose -h + 0*u + 25 = 4*u, -2*h = 2*u - 80. Suppose -25 = -d - h. Let r = d - -24. Solve 3*a - r*g = 6, -6*a - g = -2*a + 11 for a.
-2
Let g be (-33)/(4 + (-6 - 1)). Suppose 90 = 29*v - g*v. Solve -2*n - 29 = -v*l, n - 17 = -3*n - 5*l for n.
-2
Let j be -4 + 12/(-3) + 7*(-32)/(-28). Let y be 4 + (-2 - -3) + -1. Solve -u - 2*u - 12 = j, -2*x + 2*u = -y for x.
-2
Let t = -11509 + 11513. Solve 3*m + 8 = -2*j, -4*j = t*m - 8*m + 16 for m.
0
Suppose -5*b = 10, -3 = -y + 4*b + 5. Let r = -13 + 16. Suppose 0 = -r*m + 4*m + 6*m. Solve -4*i + 5*d + 21 = m, 3*i + d + y*d = 11 for i.
4
Let o(q) = 7*q + 1. Let j be o(1). Let z be 0/(-3)*((-36)/j - -4). Solve 0 = 4*v - 2*g - z*g - 4, 3*v + 3*g - 3 = 0 for v.
1
Let l = 2 + -1. Let a = -82736 + 82736. Solve -l = -a*o - o - 2*m, 0 = -5*o - 2*m - 3 for o.
-1
Suppose 3*q + 78 = 5*b, -5*q - 102 + 7 = -6*b. Solve -3*u = b, 2*h - u + 2 - 3 = 0 for h.
-2
Suppose -s - 4 = 3*a, 0 = -2*a + 2*s + 2*s - 26. Let k(g) = g**3 + 2*g**2 + 9*g + 38. Let y be k(a). Solve 4*u + p = 18, -