0*c + 2*c + 18, h*o - 4 = -4*c for c.
-4
Let r(o) = 8*o - 183. Let k be r(23). Solve -5*x - 2*q - 12 = 0, x = -x + 5*q + k for x.
-2
Suppose 0 = o - 5*k + 30, 38 = -o - 0*o - 3*k. Let q = -32 - o. Solve 2*x + 8 = -y, -q*x = -6*x + 3*y - 21 for x.
-5
Let z = 57 - 55. Let r be 4*(-3)/(12/(-5)). Let i = -1 + r. Solve 2*c - i*n + n = 16, z*n + 8 = 0 for c.
2
Suppose -2*r + 2 + 2 = 0. Suppose 0 = -y - 15*y + 6*y. Solve -4*u - 4*j + j - 1 = y, 0 = r*u + 2*j for u.
-1
Suppose -4*u = 3*u + u. Solve -5*s + 20 = u, 4*n - 4*s - 14 + 42 = 0 for n.
-3
Let o(n) = -n**3 - 4*n**2 - 20*n - 31. Let d be o(-2). Let t be 11/(-4) + 4/(-16). Let u be (6/(-4))/(t/4). Solve m - d = -g - 0*m, 3*g + u*m - 4 = 0 for g.
2
Let g(w) = w**2 - 24*w + 26. Let k be g(23). Solve -4*s + 1 = -7, -k*z = 5*s - 22 for z.
4
Let y(o) = -o**3 + o. Let p be y(1). Solve p = -5*c - 4*s - 4, 5*c + 2*s + s = -3 for c.
0
Suppose 11 = 7*l - 59. Let b be ((-2)/(-2))/((-9)/(-81)). Let s be b - l - (-2)/1. Solve 0 = n - 1, 3*j + s = 3*n - 5 for j.
-1
Let p be (-1)/((-1)/79) + 18/(-6). Let x = p - 76. Solve -z = 4*j - 4, 3*j - 3*z = -x*z + 18 for j.
2
Suppose -13*z = 294 - 398. Solve 10 = -2*o, z*j = 6*j - o - 7 for j.
-1
Let p = -811 - -816. Solve 5*o = 3*h, 10*o + 25 = p*o - 2*h for o.
-3
Suppose -4*t + 20 = 4*w, 3*t + t - 5 = w. Let u be (1 - -14)/w*(-4)/(-10). Solve 12 = 2*a + u*q, 4*a + q - 3*q = 18 for a.
5
Suppose -6*i + 25 = -i. Suppose -i*n + 0*n = -25. Suppose 0 = -n*x + 2*x + 93. Solve 2*w - q = 10, -3*q - q - x = -5*w for w.
3
Let q(z) = -z**3 + 10*z**2 + z - 8. Let g be q(10). Solve -3*f + 3*a = -f - 2, -g*f - 3*a = 10 for f.
-2
Suppose -2*x = -3*z - 119, 4*z + 64 + 87 = -5*x. Let l = -18 - z. Solve -3*d + 2*i - 19 = 0, 5*d - 4*i = -6*i - l for d.
-5
Suppose -2*n = -27*v + 32*v - 5, -2*n + 4*v + 32 = 0. Solve 2*g - n = -5*o, -5*o + 7*o - 8 = 0 for g.
-5
Let a(m) be the third derivative of m**4/3 - 53*m**3/6 - 40*m**2. Let f be a(7). Solve -11 = s + 2*p - 6*p, f*p = s + 7 for s.
5
Let o = 135 - 133. Suppose -2*u + 2*l = 0, 2*u - 6*l + 3 = -l. Let d be o*u/5*20. Solve 3*v - 4*n = -v - d, -2*v = -5*n + 1 for v.
-3
Suppose p - 7 = n, -6*p + 11*p - 3*n - 29 = 0. Solve -2*j - 2*c = p, -4*c = -2*j - 0*j + 14 for j.
1
Suppose -21 = -m - 13*n + 12*n, 5*m - 4*n = 150. Solve -7*u - 2*c + m = -3*u, 0 = 3*u + 5*c - 30 for u.
5
Let q = -39 + 18. Let k = 36 + q. Solve -8*g + 3*g + k = 0, -5*r + 17 = -g for r.
4
Let l be 34*(-2)/(-4)*1. Let y = 51 + 2. Let m = y + -36. Solve -5*p + m = 3*b, 4*b + 0 - l = -p for p.
1
Suppose 571*q = 572*q - 18. Solve -5*k - 29 = -0*k + 2*m, 2*k + 4*m = -q for k.
-5
Let w be -13 - (-27 + (9 - 6)). Suppose -2*c + 4*c - 14 = 0. Solve 3*z - 4*t = -c*t - 21, 0 = 5*z - t + w for z.
-3
Suppose -6*k + 67 = 7. Let b be (39/65)/(2/k). Solve 10 = -2*c + b*c - 5*r, -r = -4*c + 21 for c.
5
Let u = 749 - 746. Solve 0*w = 2*w + 4*j + 18, 5*j = -u*w - 25 for w.
-5
Let n(d) = -3*d**3 + 2*d**2 + 2*d - 1. Let g be n(-1). Suppose -p + g + 0 = 0. Solve 3*r = u + 18, 0 = p*u + 3*r - 9 for u.
-3
Let i(p) = -2*p**2 + 28*p - 46. Let j be i(12). Solve 2*l = -3*w + 10, -5*w - 7 + j = -l for w.
0
Let i(k) = k**2 - 5*k + 14. Let b be i(6). Suppose -5*u + 35 = 2*f, b = 5*u - f + 6*f. Solve -4*v + 11 = 5*t - 16, -3*t = -u for v.
3
Suppose 17 = -3*z + 71. Let y = z - 18. Let n = 2 - -1. Solve n*v - 4*c = -2*v - 9, y = -5*v - 5*c - 45 for v.
-5
Suppose 28 = -5*p + 88. Suppose -p = -9*u + 5*u. Solve -a + 2*a = 2*w + 8, -5*a = -u*w - 19 for w.
-3
Let u = 39 - 17. Let l(y) = -159*y + 323. Let i be l(2). Solve d + 2 = 4*f + u, i*d - 4 = -4*f for d.
4
Suppose 24*y = 19*y + 15. Solve -4*k + y*m + 0 + 19 = 0, -k + 3*m + 7 = 0 for k.
4
Suppose 5 = -6*j + 29. Suppose -32 = -3*q - 2*n, -24 = -q - n - 3*n. Solve -q = -4*z + 12, 2*u + j*z - 26 = 0 for u.
3
Let d be (5/7)/((-11)/(-77)). Suppose 2*z = -d*q + 6*z + 21, -q + 2*z = -3. Solve 2 = -4*a - q*l - 2, 2*a - l = 12 for a.
4
Let l = 241 + -236. Solve 8 = 2*w + 2*w, -3*w = -l*f + 14 for f.
4
Let n(o) = 15*o**3 + o**2 - 2*o + 2. Let p be n(1). Let q = -14 + p. Suppose -2*h + 8 = q*h. Solve 2*k - 21 = -5*w, -w + 9 = 4*w - h*k for w.
3
Suppose q = 4*p + 18 + 6, -5*q = -5*p - 45. Suppose 4*w = 4 + 12. Solve 0 = 4*j - 2*m, q*j + m + 4 = w*m for j.
2
Let g(w) = -w**3 + 3*w**2 + w - 4. Let j be 3/(-5) - (-66)/10. Suppose -j = -4*d + 2. Let h be g(d). Solve h*o + 4 = 2*f, -o = -f - 2*o - 4 for f.
-1
Let r = -13 + -1. Let a = 14 + r. Suppose a = -h - 1 + 5. Solve 0*j + 1 = -3*z + j, h*j = -z + 17 for z.
1
Let h(v) = 3*v**2 - v - 2. Let t be h(2). Let g = -5 + t. Suppose g = a - 0. Solve 2*i = -i - 3, -4*x + a = 5*i for x.
2
Let x = -77 - -80. Let m = -53 + 57. Solve -5*f = 5*h + 2 + x, 22 = -m*h + 5*f for h.
-3
Let u be ((-30)/(-4))/(6/(-8))*-1. Suppose -u = -z - 6. Solve -4*k - 4*y = -z, 4*k = 2*k + 2*y - 14 for k.
-3
Suppose 0 = -6*a + 2*a + 3*o - 6, 4*a = -5*o + 10. Let s = 4 - a. Suppose -3*j + i = -28, s*j = -3*i + 41 + 18. Solve -4*c + 3*k - k = 2, -c = -4*k + j for c.
1
Let f be (-2)/10 - 468/(-90). Let c(x) = -x**2 + 6*x - 5. Let w be c(f). Let d = 2 + 1. Solve 2*s - 4*r - 26 = w, 0 = -d*s + 6*r - r + 35 for s.
5
Let r be ((-30)/(-18))/((-10)/(-18)). Solve -r*x = 2*t - 19, 3*x + 2 = 4*t - 9 for t.
5
Suppose 0 = -3*a - 6, -d = -3*d + 5*a + 170. Suppose -4*i + 96 = d. Solve z = -y + i, -3*y + 2*z + 17 = 6*z for y.
-1
Suppose 0 = y + 8 - 35. Solve 5*o + 5*g - 35 = 0, 5*o + 3*g - y = -0 for o.
3
Let p be 6/(-9)*-3*159/106. Solve -p*t + 5*m + 31 = 0, 2*t = -3*m + 5*m + 14 for t.
2
Suppose 71 = 4*r + z, -5*r - 4*z + 82 = -4. Suppose r*w = 16*w + 4. Let a be 12/8 + 1/w. Solve -2*l - 2 = -0*l - 3*h, 3*l = 2*h + a for l.
2
Let z = 1103 + -1103. Solve 4*h = -l + 1, -3*l + z*l + 3 = -2*h for h.
0
Suppose 52*t = 4*k + 57*t + 15, 4*k + 3 = -t. Solve 4 = 3*q + 2*s - 10, 4*s - 16 = k for q.
2
Let o = -3 + 12. Let a = o + -5. Let m be (a - 1 - -3)/2. Solve 3 = -h + 3*u, -h = 4*u - u - m for h.
0
Let l be (-10)/15*3/2. Let o be (-5 + (3 - 1))*l. Suppose 0*t + 2*k + 8 = -o*t, 5*t = 5*k + 20. Solve t = -g - 2*m, -6*m - 8 = 4*g - 2*m for g.
-4
Let d be (-7)/(1/((-4)/4)). Suppose u = -2*f + 3, 2*f - 26 = 4*u + 2. Solve -f = i, 2*l + d*i - 2*i = -26 for l.
-3
Suppose -5 = -3*q - n, 5*q + 4*n - 3*n = 5. Solve -f + 6 = -q*w - w, 3*w + 3*f = 12 for w.
-1
Let g = 18 + 24. Suppose 0 = -5*a - 7 + g. Suppose -3*k + a = -2. Solve -5 = 4*h - 2*w + 1, k*w - 7 = 4*h for h.
-1
Let q(k) = 17*k - 14. Let f be q(3). Solve -2*h + 2*a = 18, 3*h + a = 6*a - f for h.
-4
Let q be 266/18 + 2/9. Suppose 3*v = -2*v + q. Suppose -2*u = v*u. Solve u = -4*y + 3*z + 20, -3*y = 4*z - 1 - 14 for y.
5
Suppose 2*w - 4*w = 0. Suppose 0 = t - w*t - 3. Let y(k) = k**3 - 3*k**2 + 2*k - 3. Let m be y(t). Solve -5*r = -2*d + 1, -3*d = m*r + 2*r - 14 for d.
3
Let f(i) = -i**2 + 5. Let v be f(0). Let j be ((-22)/(-3))/((-80)/45 + 2). Let r = -28 + j. Solve -r*m = 4*a + 37, 0*m + v*m = 2*a - 19 for a.
-3
Let m be (10/8)/(16/64). Solve 0 = -m*r + 20, 14 = 5*i + r for i.
2
Let x be (-2)/(-8) - (-76)/16. Solve -r = 3*q - 3 + x, 4*r = 3*q - 8 for r.
-2
Let u = 1 - 1. Let c(b) = -2*b**2 + 9*b + 7. Let d be c(5). Solve -i - 3 = o, 10 = -u*i + d*i - 2*o for i.
1
Let f(h) = -h**3 + 6*h**2. Let g be f(6). Let u = g - -29. Solve 0 = 3*z - 4*c - c - u, 0 = z - c - 7 for z.
3
Suppose -119 = -5*a + 4*n, 3*n = 7*a - 8*a + 20. Solve -3*x - 5*h = -3, 0 = -2*x + 7*x - h + a for x.
-4
Suppose 0 = -x - 3*r + 10, 2*x - 5*r + 12 = 10. Solve -3*m + t - 11 = -x*t, 2*m = -4*t for m.
-2
Suppose -108 = -43*v + 16*v. Solve -v = 5*j - t, j - 3*t + 12 = -j for j.
0
Let n = -146 + 151. Let i be (-1)/(-3)*(2 + 4). Solve -4*r + 3*a - 6 = -29, -i*r + n*a = -15 for r.
5
Let p be -1*3/(0 + -1) - -3. Solve -3*j + p*j = 5*x + 40, -5*j + x = -30 for j.
5
Suppose -2 = 1241*o - 1242*o. Solve -n + 4*c = -15, -13 = 4*n - o*c - 3 for n.
-5
Suppose 3*q - s = -5*s + 49, q - 4*s + 5 = 0. Suppose 0 = 3*j - 4*z + 8, -z - q = -6*j + 2*j. Solve -i + d + 11 = 3, j*i = -d + 7 for i.
3
Let y be (2*(-1)/(-1))/(65/65). Solve -r - z = y*r + 8, -r = 2*z + 1 for r.
-3
Suppose 9*s - 4 = 8*s. Let w be -21 + (-2)/(4/s). Let i = -9 - w. Solve -2*m + 4 = 2*t, m - 2*m + i = -3*t for t.
-3
Suppose -2*m - 8*r = -38, 5*m - 28*r = -32*r + 31. Let z = -31 + 51. Let h = z - 7. Solve 0