 Solve -4*c + 2*m - 9 = 7, 0 = -2*m + t for c.
-3
Let a(m) = -m**2 + 8*m + 4. Let h be a(7). Let d = -1 + h. Suppose -i + 7*g - 2*g = -25, 4*g = i - 21. Solve 2*x + 8 = -x - 5*u, -d = i*x + 5*u for x.
-1
Let j = -56 - -34. Let t = 26 + j. Solve f = -b + 2, -4*b - t*f + 5 = -f for b.
-1
Let l = -11 + 7. Let d = l - -23. Suppose u - 2 = 2*b + 4*u, 5*u = 2*b - 14. Solve -b*s = 5*c - 3*s, c = 4*s - d for c.
1
Suppose 0 = -a - a + 10. Solve -3*t + 8*t + 30 = -a*s, 5*s + t = -18 for s.
-3
Suppose 5*z - z - 8 = 0. Suppose -2*a + 24 = -5*c, 3*c - 2*c = -4*a + 4. Suppose -3*x + 20 = x. Solve -x*d - 11 + z = -2*r, a*r - 3 = -d for d.
-1
Let d = -37 + 40. Solve -4*k + 0 = 4, d*k + 5 = 2*b for b.
1
Let l be 5/(-30) + (-50)/(-12). Suppose -15 = -j - l*j. Solve 0*g = -g - 5*v + 14, 0 = j*v - 9 for g.
-1
Suppose -s - 6 = -2*s. Let m be (-3)/s*-2*27. Let r = -15 + m. Solve 3*i - 2*n = 2*n + r, n = i - 4 for i.
4
Let n = -5 + 12. Let a be 4/(-8) - 7/2. Let w = a + n. Solve 11 = -3*u - 5*i + w*i, 0 = 3*u - 5*i + 25 for u.
-5
Let m(z) = z**2 + 21*z + 4. Let w be m(-21). Solve 4*u - b + 3 + 2 = 0, 0 = -w*b - 12 for u.
-2
Suppose -2*n + 0*n + 4*s = -18, 3*n - 15 = 2*s. Let q be ((-3)/9)/(2/12). Let b be 3 + 0*q/4. Solve n*l - b*h = -12, -4*h + 2 = 4*l + 10 for l.
-3
Let j be (12/10)/((-6)/(-20)). Solve 0 = -v + u - j, -3*v + u - 4 = -4*v for v.
0
Let w = -16 + 19. Suppose -5*j - 6*y = -3*y - 10, 4*j - 5 = -w*y. Let c be -1 + 8 + 1 + 1. Solve j*f - 3*n = c, -5*f + f + 2*n + 6 = 0 for f.
0
Let l(u) = -u**3 - 3*u**2 + 6*u + 12. Let f be l(-4). Solve 0 = w + f, -2*d = -2*w + 6*w + 14 for d.
1
Suppose t + 6 = -t. Let y = t - -10. Solve -5*s - 29 + 2 = -2*a, -y = -2*a + s for a.
1
Let y = -1 + 2. Let z = -2 + 5. Let k = y + z. Solve 4*q - 5*b + 20 = q, k = b for q.
0
Let c = 31 - 4. Solve 0*k - c = -5*t + k, 0 = 4*k + 8 for t.
5
Let p(u) = -3*u + 33. Let b be p(10). Solve -i + 13 = z - b*i, 3*i + 21 = 2*z for z.
3
Let h(b) = -b**2 + 7*b - 1. Let u be h(7). Let i be 1*(3 + 1 - u). Suppose -x - 3*x = -16. Solve -21 = -x*l + p - i, l = 5*p - 15 for l.
5
Let j be 3/(-18)*-74 + (-2)/(-3). Solve 4*g + j = -5*h, 5*g - 4*g = 2*h + 13 for g.
3
Suppose -12 = -3*n - 2*g - g, 5*n - 50 = 5*g. Suppose -15 = 5*m - 3*y, -4*m - 2*y - 25 = -n*y. Suppose 3*w - 12 = -m*w. Solve 1 = -r, r + 1 = -w*i + i for i.
0
Let u = -102 - -197. Suppose u = -v + 6*v. Solve -4*w - 7 = -2*c + v, 0 = w + 5*c - 21 for w.
-4
Suppose 5*g - 69 - 11 = 0. Let d = g + -5. Solve -5*j - 13 = 4*y + d, -y + 15 = -4*j for y.
-1
Let d(r) = r. Suppose -5*g - 5*q = -24 - 1, -q = 0. Let c be d(g). Solve u = -2*u + k + 8, 2*u = -c*k + 28 for u.
4
Let m(l) = l**3 + 6*l**2 + 2*l - 2. Let u = -8 + 3. Let t be m(u). Solve 5*p - 4 = -5*a + 1, -2*a = -3*p + t for p.
3
Let a be -26 - -27 - 3/(-2)*2. Solve a*o = z + 24, 0 = 2*o + o - 5*z - 35 for o.
5
Let x = 3 + 9. Let j be ((-3)/x)/((-2)/16). Solve 0 = -j*r - 8, -w - 4 = 3*w + 2*r for w.
1
Let g(c) = -c**2 - 8*c - 10. Let m be g(-5). Solve i - 3 = k, -3*k + 4*k + m*i = 3 for k.
-2
Let n = 11 - 19. Let g = n + 10. Solve -1 = -3*j - 4*u - 0, 0 = 3*j + g*u + 7 for j.
-5
Suppose 4*l = 5*c - 16, -2*c + l = 2*c - 4. Solve -5*j = 5*y, -14 = -c*y - 2*y + 5*j for y.
2
Suppose 2*t - 2*k - 54 = k, t - 2*k - 27 = 0. Suppose 4*m + t = 5*g, -3*g + 4*m = -8*g + 3. Solve -2*q = p + q - 1, -q = 2*p + g for p.
-2
Let q = 4 + -4. Suppose q = 4*n - n - 48. Suppose 15 = k + 2*k, -2*k + n = 3*s. Solve 4*b - 2*r = 0, b + 16 = 5*b + s*r for b.
2
Let t be 3*(-2 - (-3 + 4 + -4)). Suppose -3*r + 3*f + 2 = -4*r, 4 = 2*r + 2*f. Solve 0 = 3*j + 3*c + t, -9 - 5 = 2*j - r*c for j.
-3
Suppose 64 = 6*y - 2*y + 2*u, -4*y + 76 = 5*u. Suppose -58 = -5*j - 2*k, y = 2*j + 4*k - 22. Solve -j = 5*g, 0 = 2*o + 3*g + 8 + 4 for o.
-3
Let c be 4/(-8)*-4 - -3. Suppose -6*g + c*g + 5 = 0. Solve -5 = -o + 2*t - 4, 0 = g*o - 5*t for o.
-1
Suppose 0 = -5*x - 4*g - 7, -6*x + 13 = -2*x - 3*g. Let t = 16 + x. Solve -4*j - 4*y = 8, 5*j + 6 = 2*y + t for j.
1
Let y = 111 - 63. Suppose 0*g = 3*g - y. Solve 2*l = -2*w + 6*l + 16, -4*l = w + g for w.
0
Suppose 4*h = -0*h + 8. Let w(v) = v**3 + 5*v**2 + 3*v - 3. Let y be w(-4). Let u be 1 - (-2 + (y - 13)). Solve 2*j - l - 14 = 3*l, 0 = -h*j + 5*l + u for j.
5
Let x = -7 - -8. Let f be x - -2 - (9 + -8). Solve -f*m - l + 7 = 0, 9*l + 5 = 4*l for m.
4
Let o be -5*(-1 - (-12)/20). Suppose o*y - 2*q = 4 + 2, 3*y + 5*q + 15 = 0. Solve -3*k + 5*i - 9 + 34 = y, i + 5 = 4*k for k.
0
Suppose 22 = 4*o - 18. Suppose -l - o = -6*l. Let d = l + -1. Solve 5*f - 32 = -4*z, -f + 2 = -z + d for f.
4
Let m(z) = 5*z. Let x be m(1). Solve 0 = -5*r + x, t + 0*t = -2*r + 7 for t.
5
Let i(x) = 2*x + 1. Let r be i(1). Solve 4*h = r*o + 7, -4*h - o - 2*o = 23 for h.
-2
Let s = 0 + 3. Suppose 3*n + s*v = -n + 11, n = -5*v + 7. Solve 3*o - k + 3 = 0, -2*o - n*o + 5*k = 4 for o.
-1
Suppose 2*p = -4 + 8. Let o be (47 + -2)/1 - 0. Suppose -5*b - d + 68 = 0, 48 = 3*b + 2*d - 5*d. Solve -4*y + c - b = -p*y, 5*y + o = 5*c for y.
-5
Suppose -2 = -3*d + 7. Solve 5*m + 29 = -d*y + 5, -5*y - 3*m - 24 = 0 for y.
-3
Suppose -8*l - 54 + 70 = 0. Solve c + 3 - 1 = -l*p, -5*p - 2*c - 3 = 0 for p.
1
Suppose 11 - 1 = 5*k. Solve -6 = -2*q + 4*q + j, 2*q + 5*j = k for q.
-4
Suppose -5 = -0*v - 4*v + d, 5 = -2*v + 3*d. Suppose v*h + 25 = 7*h. Solve y = -h*o - 2 - 3, 5*y + 2 = -2*o for o.
-1
Suppose 3*f - 2*f = 0. Suppose -2*s - 3*w - w = f, 5*s - 5*w = -15. Let c = 7 - s. Solve 5*l = -2*t + c*l + 10, 0 = 5*t - 5*l for t.
-5
Let w(p) = -8 - 5*p - 5*p + 4*p**2 + 4*p**2 + p**3. Let c be w(-9). Let q be (c - 1) + (1 - 1). Solve 0 = 3*h - q*h + 12, -3*j + 2*h - 1 = 0 for j.
-3
Let y = 10 - 15. Let o = y - -9. Solve 4*s + 4*h = -8, 0*s + 2 = -o*s + 2*h for s.
-1
Let r be -3 + 6 + -3 - -1. Suppose -h + r = -1. Solve 2 = h*m - 0, -5*l = -m - 14 for l.
3
Let m(s) = s**2 - 2*s. Suppose 0 = 2*o - 2 - 4. Let x be m(o). Solve -p + 9 = 3*c, -5*p - 6 = -x*p for c.
4
Let g = 113 + -102. Solve n - 3*l + g = 0, -l - 35 = 5*n - 6*l for n.
-5
Let s(t) = -5*t + 4. Let j be s(-6). Suppose 2*c + 4*w + 4 = 0, -4*c - 2*w - 37 + 11 = 0. Let l = c - -17. Solve -r = -3*b + 15, 5*b - j = -4*r - l for r.
0
Let l = 1 - -3. Suppose 5*u + 3*j = -27 + 5, -j + 2 = -3*u. Let g be (0/u)/(4 - 6). Solve -a + 2 = -g*a, -4*m + 4 = -l*a for m.
3
Let n = -31 + 33. Solve -3*p = 12, n*p + 28 = -4*s - p for s.
-4
Suppose -3 + 39 = -2*k. Let m = 9 + k. Let y be 0 + (-2)/(6/m). Solve -3*i - 4*h = -2, i + 8 = y*h - 0 for i.
-2
Suppose -2*z = -z. Suppose 2*k - 5*j + 5 = z, -k - 3 = -2*k - 3*j. Solve k = -0*x - 5*x - 4*v, -2*x - 4*v = 0 for x.
0
Let p = -46 - -55. Solve 2*b + 2*u - 4 = -b, 3*u = -3*b + p for b.
-2
Suppose -6 = 2*y - 18. Let b = -4 + y. Suppose 3*g - b*g = 3. Solve 3*i + 6 = -5*d - 29, 0 = -2*i + g*d + 2 for i.
-5
Let i(w) = -w**2 - 6*w - 3. Let s = -9 - -5. Let z be i(s). Suppose 2*q - 62 = 5*u + 1, z*q - 132 = 4*u. Solve g + 3*g - q = -5*k, 2*k = -g + 9 for k.
4
Let u = 124 + -124. Solve a + 4*p = -u*a - 16, 0 = -4*p - 12 for a.
-4
Let f = -4 + 4. Let h = f + 2. Solve -6*i + 2*i = -3*r - 31, -5*r = h*i + 17 for r.
-5
Suppose 7 + 3 = 5*t. Suppose -2*w + 2 = -t. Let q be (4 + -3 - -3) + -2 + 0. Solve -4*z + 11 = -x - q, 19 = -3*x + w*z for x.
-5
Let b be ((-1)/2)/(1/(-52)*2). Solve 0 = 4*z + 2*j + 14, -z = -0*z - 5*j - b for z.
-2
Let k be (-4)/16 + (-13)/(-4). Suppose -90 = -5*h + 2*v, -6*v + v = -k*h + 35. Solve -4*r = -x - h, -x + 25 = 5*r - 5*x for r.
5
Let v = 85 - 81. Solve -j - v = -4*q + 1, q + 3*j = 11 for q.
2
Suppose u - 7 + 1 = o, 0 = -4*o + 12. Suppose -q - u = 3*a - 3, 3*q + 2*a + 32 = 0. Let t be ((-4)/12)/(2/q). Solve 0 = 3*w - t*w + r - 6, -w + 2 = -r for w.
4
Let o(l) = l**3 - 5*l**2 + 5*l - 1. Let w be o(4). Suppose 2*q - w*q = -2. Solve 2*g - 22 = 3*d - 6, 5*d = -q*g for d.
-2
Suppose -4*f - 8 = -2*f, f = 5*a - 39. Solve 5*h = -3*c + 12, a*c - 4*c + 4*h - 12 = 0 for c.
4
Let a be (-72)/90*5/(-2). Solve -3*l + 14 = -l + a*s, -2*l = -5*s + 7 for l.
4
Let y = 11 + -11. Solve -4*o + 2*m - 19 = 3*m, 4*o - 5*m + 1 = y for o.
-4
Let q = 5 + -3. Suppose -4*w = -y - 3*y - 8, 0 = -4*y + 5*w - 10. Let b be 3/q*(2 + y). Solve 3*m = -12, 2 = b*s - s - 2*m for s.
-3
Let o(f) = -6 + 2 + f**3 - 8*f**2 - 1 + 8*f. Let p be o(7). Suppose 0 = p*j + 3*j - 15. Sol