 -5*c + w, 0 = -5*c - 4*w + 15 for c.
-1
Let i be (-2 - 8/(-6)) + 51/9. Solve h + 21 = -i*o, -3*h = 5*o - 2 + 25 for h.
-1
Suppose 2*i = i + 3. Solve 12 = -5*v - o, 2*v = i*o - 4*o - 3 for v.
-3
Let r = 4 + 0. Suppose 2*z = -v + 7 - 3, -r*z = -v - 2. Solve k = 4*o - v, 4 = 3*k - 5*k + 2*o for k.
-2
Suppose -2*l - 26 = -0*l + 3*r, 0 = -l - r - 14. Let n = -13 - l. Solve 15 = 3*t, 4*d + n*t - 58 = -23 for d.
5
Suppose 5*f + 3*t = -16, -12 = 5*f - 4*t + 5*t. Let g be 5 - (0 - f) - -2. Suppose 0 = d - 2*d + 2. Solve -u + 2*l + g = 0, d = -5*l - 3 for u.
3
Let t(d) = 2*d + 6. Let s be t(6). Let o(y) = -y - 3. Let l be o(-6). Solve -l*x + 0*a - 12 = -3*a, -5*x + 4*a = s for x.
-2
Let a be (-9)/(-3) + 2/(-2). Solve 2*w = -a*u - 4, u + 3*u = 4*w - 24 for w.
2
Suppose -4*p + 3*z = -12, -5*p + 3*z = -16 - 2. Let w be 0/p*3/(-6). Solve w = d - h, -3*h - 3 = 2*d - 6*h for d.
3
Suppose c + n = 0, 3*c + 5*n = n - 5. Suppose 5*z = o - 35, -3*o - 34 = -c*z - 99. Let q = 2 - -2. Solve -3*g - 5*i = -o, -4*g - q*i = -i - 20 for g.
5
Suppose 9*a = 14*a. Solve a = p + 2, x - 3*x - 4*p = -2 for x.
5
Suppose -4*m + 4*d = 0, 0 = 5*m + 2*d - 6*d - 2. Solve -5*v + c = 4*c + 3, -2*c - m = 2*v for v.
0
Suppose 5*y + 2*a - 10 = 7*a, 0 = -y - a + 4. Let s be 7 - 4/(y + -1). Solve 14 = -4*t + 3*v, -4*v = -s*t - 17 - 1 for t.
-2
Suppose 0 = 7*v - 28. Solve -3*u + n = 7, -v + 0 = 2*n for u.
-3
Let n be 0*1*3/(-6). Suppose -4*l + n*l + 16 = 0. Suppose -3*q + 20 = -2*q. Solve 5*r + 30 = 5*v, 5*v + l*r + q = -r for v.
1
Let f = -2 + 4. Suppose -f*j - 7 = -2*l - 1, 3*j = -4*l + 26. Let k be 6/3 - (j - 2). Solve 4*p - 7*y + 2*y = 0, p - k*y - 3 = 0 for p.
-5
Suppose -3*a - 2 = -8. Suppose 5*i - i - 4*c = 0, -a*c = 0. Solve -14 = -2*t + 4*d, -7 = 2*t + 3*d - i for t.
1
Suppose -90*u + 84*u = -48. Suppose 2*f = -2*f. Let r be 2/(-3)*-6 - f. Solve 5*i = -2*n + 4, -2 = 3*n - r*i - u for n.
2
Let j = 8 + -5. Suppose -x = j*x - 20. Solve 0 = -2*b - 2*y, x*y = 5*b - 43 + 3 for b.
4
Suppose -2*h - 2*h = -12. Suppose 2 = h*c - 2*c. Suppose -80 = -4*f + 4*z, -5*f + c*z = -45 - 40. Solve 0*x - 3*g - f = 3*x, 13 = -x - 5*g for x.
-3
Suppose -1 + 11 = 5*d. Solve 3*a - 3*c + 3 = -2*c, -4*a + d*c - 4 = 0 for a.
-1
Let i = 22 + -9. Solve -l = -2*l - 4, -l - i = 3*u for u.
-3
Let h(g) = 1. Let t(c) = -c + 5. Let n(l) = -4*h(l) + t(l). Let r be n(-2). Solve -2*b = -4*p + 20, -5*p - r*b + 16 = -b for p.
4
Suppose x + 0*x + 8 = -5*d, -2 = -3*x - 2*d. Suppose 0*m = -x*m + 8. Solve m*l + 0*l + g = 16, 4*l - 3*g = 0 for l.
3
Let s(r) = -3*r - 12. Let d = -4 + -1. Let k be s(d). Solve -3*l = -2*u - 8, -4*l = -l + 3*u - k for l.
2
Let i(j) = j**3 - 12*j**2 + 12. Let d be i(12). Solve -5*x + d = t, 5*t = -0 + 10 for x.
2
Let i be 2 - (-4)/(-4)*1. Let r(s) = 3*s**2 - 2*s + 1. Let o be r(i). Solve 4*q - 4*x = 0, -o*x = -2 - 2 for q.
2
Suppose 9 = 4*o - r, 16 = -3*o - o - 4*r. Suppose -3*c - 10 = -5*s - 6*c, -s + 2*c = -15. Solve -5*d = s*g + 5, 0 = 2*d - d - 4*g + o for d.
-1
Suppose 98 - 82 = i. Solve -5*h = 4*o - 25 - i, 4*h = -5*o + 40 for o.
4
Let b(y) = 10*y**3 - y**2 + 1. Let j be b(-1). Let g be 2/(-5) - 74/j. Let r(u) = 5*u. Let s be r(1). Solve -5*n = -2*l + g*l + s, 0 = -3*n + 4*l + 32 for n.
4
Suppose -3*b + 5*b - 8 = 0. Solve -4*u - 4*x - x = 0, 0 = -b*x - 16 for u.
5
Let h be 3 + (6 - 9)/((-3)/4). Solve 15 = -2*x - d + 7, d = x + h for x.
-5
Let g(p) = p**2. Let z(o) = -6*o**2 - 3*o + 4. Let c(n) = 5*g(n) + z(n). Let t be c(-4). Solve t = 6*w - 2*w + 8, 5*k - 4*w = -7 for k.
-3
Suppose 2*j + 110 = 3*l - 0*j, -2*l - j = -85. Let w(d) = 2*d**2 + 5*d + 4. Let y be w(-3). Solve 5*r + 25 = u, -4*u + l = 2*r - y*r for u.
5
Suppose b = -0*b + 5*n + 15, -2*b + 16 = -3*n. Solve -2*m + b*l + 4 = 0, -m = -0*l - l - 2 for m.
2
Suppose 2*w - w - 2 = 0. Suppose 3*n = u + 7*n - 2, -5*n = 5*u - 10. Let c be 4 - (-3)/((-6)/(-4)). Solve 2*h - w = -4*v, -3 = u*v - h + c for v.
-2
Suppose -o - 6 = -3*o. Suppose o*d - 8 = 1. Solve -2*k = 3*k - d*r - 19, r + 13 = 3*k for k.
5
Suppose -76 + 268 = 2*j. Let x be (-4)/(-18) - j/(-54). Solve 0 = 2*b - f + 13, -f - x*f + 15 = 0 for b.
-4
Let y(j) be the second derivative of j**3/6 + 17*j**2/2 + 5*j. Let q be y(-14). Solve -q*m + m = -2*c + 6, 0 = 3*c + 2*m - 9 for c.
3
Suppose 6 = -3*d + 6*d. Solve -12 = 7*g - 2*g - d*w, -5*g + 5*w - 15 = 0 for g.
-2
Let g = 137 - 100. Solve 5*n + 21 = -2*d, 0 = 5*n + d - 14 + g for n.
-5
Let z(w) = -w**2 - 6*w - 4. Let j be z(-4). Let s = j - 1. Solve -3*p + 3*h + 2*h - 13 = 0, -3*p + 3*h - s = 0 for p.
4
Let j(w) = -3*w + 1 - 1. Let p be j(-1). Solve 0 = p*l - 4*y - 11, 2*y - 7 + 0 = -l for l.
5
Suppose d + 2 = -3*h, -d - 4 = -3*d - 2*h. Let t = -9 + 16. Suppose 0*w + w = t. Solve -d*o - 4*s = -4, 2*o - 3*s = -0*s + w for o.
2
Let z(m) = m**3 + 12*m**2 - 13*m + 5. Let q be z(-13). Let x be -3 + (-2 + q)*1. Solve -5*h + 4*i + 16 = x, -3*i + 2*i = -1 for h.
4
Let x = 34 - 31. Solve -c + x*k = -13, 2*k - 5 = 5*c + k for c.
-2
Let a be 38*2*3/12. Solve 2*h + 0*l = 5*l - a, 0 = 4*l - 12 for h.
-2
Let h(u) = u**2 - 5*u - 1. Suppose 4*l = -5*p + 29, 3*p - 22 + 4 = -3*l. Let r be h(p). Let q be r*3/(-6)*0. Solve 3*z + q*z + 11 = 2*w, -3*z - 9 = -3*w for z.
-5
Suppose 18 = k + 2*k. Suppose -4*z - 2*f - k = 0, f - 3 = -3*z + 2*f. Solve z = -2*h - 4, 2*d = -4*h - 9 - 3 for d.
-2
Let c(o) = -o**3 + 3*o**2 - 2*o + 2. Let v be c(2). Solve 0 = -v*d + x + 5, -6 = -5*d + 4*x + 8 for d.
2
Let c(p) = -7*p + 10. Let i be c(0). Solve -v + 4*d = 2 - i, -v - 3*d - 6 = 0 for v.
0
Let z(w) = w**3 + 7*w**2 + 7*w + 12. Let o be z(-6). Solve 4*g + 4*q + 8 = 0, 4*q + o = 2*g - 2 for g.
0
Suppose -5*l + 27 = 7. Suppose 4*x = l*n - 36, n + x = -2*x + 29. Solve 5*d - 4 = -2*v + n, 0 = -3*d - v + 10 for d.
2
Let j(w) = w**3 - w**2 - w - 2. Let m be j(2). Suppose 3*k + 2 = -4*l - 6, m = -l - 2. Solve 18 = u - k*g - 4*g, -g - 9 = 2*u for u.
-2
Suppose -8 = -4*p + 2*p. Suppose -p*j + 52 = -0*j. Suppose 3*r - 5*r = -10, -r - j = -3*d. Solve 3*n + 4*f = -n - 36, 2*n - 4*f - d = 0 for n.
-5
Let a = 2 + -3. Let x = -21 - a. Let n be x/(-8) + (-1)/(-2). Solve -5*l + 23 = -3*t, -t - 8 - 5 = -n*l for t.
-1
Suppose -20 = -4*m - 4*i, -4*m + 25 = i + 8. Solve 6*o - o - 9 = -m*r, r = o for o.
1
Let i(a) = a**2 - a. Let r be i(0). Suppose 4*c + r*c = -12. Let j be ((-1)/(c/18))/2. Solve 3*n = j*b + 16 - 4, -b = 4 for n.
0
Let w(q) = -q**3 + 8*q**2 - 7*q. Let y be 8 + (-1 - 1 - 0). Let c be 4/(-2) + y + 2. Let l be w(c). Solve -u + 11 = -2*d, 5*u - 3*d = -3 + l for u.
3
Suppose 4 = -6*w + 28. Suppose 2*l + 2*k + 14 = 0, -2*k + 0*k - 4 = 0. Let c be w/10 - 18/l. Solve 2*f = u - 8, c*u = -4*f - 0*u - 28 for f.
-5
Let j be -4 + 40/(-3 + 8). Solve 5 = -4*w - 7, r = -j*w - 15 for r.
-3
Let m = -10 - -10. Solve 0 = 3*s + 2*i + 1, -3*i + m = 5*s + 1 for s.
1
Let k(w) = -w**2 + 8*w - 5. Let f be k(7). Solve -3*q + 7*x = f*x - 6, 5*q = -5*x - 30 for q.
-3
Let l = 3 - 2. Let d(o) = -2*o - 1. Let b be d(-1). Let a = b - l. Solve a = -2*t - 4*u, 0*t - 6 = 4*t + 2*u for t.
-2
Let w be (1 - 11)*5/(-10). Let p = w + 3. Solve -3*d - 5*n = 22, 5*n + p = -d + 3*n for d.
-4
Let c(t) = t**2 + 6*t - 1. Let r be c(-5). Let n = 24 + r. Solve -n = 4*g - u, 3*u - 8*u = 5*g + 35 for g.
-5
Let a(x) = -2*x + 6. Let o be a(2). Solve -o*m - 4*n + 16 = 0, -3*n + 4*n - 4 = -4*m for m.
0
Suppose -5*n = -3*n - 12. Solve -2*o - 4 = 4*z - 0, -3*o = -3*z + n for z.
0
Let y(p) = 11*p - 6. Let b(r) = r**3 + 12*r**2 + 12*r + 16. Let c be b(-11). Let z be y(c). Let w = -14 + z. Solve -5*n = -4*h - w, -2*h = h + n + 12 for h.
-5
Let d = 6 - 3. Suppose -d*n - 90 = -6*n. Let i(u) = u**2 - 2*u - 3. Let x be i(-2). Solve 4*z + 3*f + 22 = 0, x*z + n = -0*z - 5*f for z.
-4
Suppose 2*p + 120 - 124 = 0. Solve 0 = 3*w - 3*c - 6, -2*w + 4*c - p = -4 for w.
3
Let q = -1 - 0. Suppose 2 = 5*h - 3*d - 6, 3*h + 2 = -5*d. Let k = h + q. Solve 0*m + 5*m - 5*t - 25 = k, -4*t + 15 = 3*m for m.
5
Suppose 15*z = 8*z + 28. Solve v + z*j = 5*v, 2*j = -3*v - 20 for v.
-4
Suppose 2 = 3*l - 1. Suppose 4*f = -0*f. Suppose 3 = k - f. Solve -4*c - 14 = 5*y - 0*y, 0 = k*y - 5*c + l for y.
-2
Let t be (3 - 2 - 10)/(-3). Solve -t*u - 1 = -h - 3, 5*h = -3*u + 8 for h.
1
Let y = -72 - -77. Suppose 2*a = -2 + 8. Solve -2*h + 5 = -0*h + a*f, -h - y = -f for