*d - 18 = -2*h for h.
5
Suppose -4*c = -1 - 7. Suppose 0 = c*y + 4 - 222. Suppose 3*a - y = -40. Solve s = 5*w + 5 + a, 5*w + 5*s = -10 for w.
-5
Let c = 5 + 6. Suppose -3*o + 2*x - 61 = 0, 3*o + c = -4*x - 20. Let z = o + 25. Solve 3*g - 3 - z = 2*a, 8 = 3*g + a for g.
3
Let m(b) = b**3 - 2*b**2 + 2*b - 2. Suppose -n - 21 = 10. Let c = -28 - n. Let t be m(c). Solve 4*v = 4*p + 36, -3*p - 4*v - 5 = -t for p.
-4
Suppose 0 = 2*u - 3*u + 4*x + 1, 4*u = -3*x + 99. Suppose 4*f = -3*f + u. Solve -3*i = 5*z - 14, i - 4 = -f*z - 3*i for z.
4
Let c(p) = -p**3 - 16*p**2 - 19*p - 47. Let v be c(-15). Let s = -1 + v. Solve 4*j + s = 2*i, -i + 4*j = j - 7 for i.
4
Let s = 0 + -6. Let z = s - -8. Suppose -5*r + z + 2 = 4*j, -2*j = 3*r - 2. Solve -2*m + y - 4 = r, -16 = -m + 3*m + 2*y for m.
-4
Suppose 2*t - 19 = 5*q, -4*q + 1 = -2*t + 17. Solve -4*m + c + 6 = 0, -2*m + 3*c = t*m - 2 for m.
2
Let t be 4 - (2/13 + (-240)/(-130)). Solve 0 = -4*w - t*c - 2, -2*w - 3*w + 4*c = 22 for w.
-2
Let m(p) = p - 1. Let i be m(5). Suppose 177 = -z + 4*z. Suppose 0 = -2*b + 2*a + a + z, 4*b - 4*a = 108. Solve 0 = -5*n + g - b, i*n + 0*g = -5*g - 35 for n.
-5
Suppose -2*h + c = -4*h + 52, -4*h = 3*c - 100. Solve 4*b - 2*o = -0*b - h, -4*b = -o + 24 for b.
-5
Suppose 3*p - 15 = -3*z, 11*p = 12*p + 5*z - 9. Solve 5*v + 3*m = v + 8, 0 = p*v + 4*m - 8 for v.
2
Suppose -10*m = -16*m + 6. Solve k - 5*t + 2 = 31, k + m = -t for k.
4
Suppose 7*s + 103 = 14*s - 2*t, 5*s + 2*t - 77 = 0. Solve 5*h + 16 = 3*u - 15, -5*u + s = -h for u.
2
Let f be (0 + -2)*497/142. Suppose -s + 4*s = -33. Let g be f - s - (0 - 0). Solve 0 = 2*n + c - 12, g*c = -2*n + 4*n - 2 for n.
5
Let w be (-20)/(-12)*18/15. Suppose -w*a = -0*a + 32. Let t be a/28*(-42)/6. Solve 0*x + 3*k = -5*x + 30, 0 = -3*x + t*k - 11 for x.
3
Let p = 5 - -1. Suppose -74*h + 78*h - 13 = m, 4*h = -m + 19. Solve -3*v = -4*c + c - p, 0 = h*v - c - 17 for v.
5
Suppose 6*v = v + 10. Suppose 2*x - 4 = 2. Let k = x - v. Solve -3*o - k = 2*i + 2, 4*o = i + 7 for i.
-3
Let u(i) = -6*i + 23. Let q be u(5). Let a be (-72)/q - 8/28. Solve 4*t - a = -h, 0 = 4*t - 7 - 1 for h.
2
Suppose 8 = i - 0*i + 5*t, -103 = -5*i - 4*t. Let u be 0/(8/40 - (-57)/15). Suppose u = 4*o - i + 15. Solve -q - 8 + 1 = 5*l, 0 = -o*l - q - 1 for l.
-2
Suppose -5*a + 6 = 3*b, 2*b - 4 = 3*a - 0*b. Suppose -5*s + 0*s = a. Suppose s = m - 6 + 2. Solve -3*k = 5*d - m, -3*d + 3*k + 17 - 5 = 0 for d.
2
Let f = -224 - -238. Solve -5*b + d = -f, 4*b + 5*d = 6*b - 1 for b.
3
Let q(a) = 5*a - 118. Let l be q(24). Solve 3*r + 6 = -0*j + 2*j, -j - r = l for j.
0
Let t be ((-900)/63)/(2/(-7)). Let x be ((-20)/t)/(1/(-25)). Solve 3*l + 5*d + 23 = 0, -3*l - 2*d - x = -l for l.
-1
Let r = -2126 - -2131. Solve -4*w = -r*x + 2, -2*w = -x - 7 + 11 for x.
-2
Let i(f) = -f + 9. Let x be i(9). Let g(m) = -m**2 + 105. Let n be g(x). Suppose -n = 3*u - 8*u. Solve 5*w - 26 = -3*z + 4*z, -z + 4*w - u = 0 for z.
-1
Suppose -z + 186 = 183. Solve -4*m - 2 = u, m + z*u + u - 7 = 0 for m.
-1
Suppose -4*g - 2 = -30. Let a be (8 - g)*1*9. Solve -5*k - y = -a - 15, k = -y + 4 for k.
5
Suppose 6 = -a - 0. Let p = -3 - a. Let m be (-1 - -9)*p/2. Solve 2*u = -u + m, 3*w - 5*u = -5 for w.
5
Let y(m) = m**3 - 4*m**2 - 5*m + 3. Let d be y(5). Let n be 104/28 - (24/(-28))/d. Solve -n*l - 24 = 3*j, -j + 6*j + 35 = -5*l for l.
-3
Let g = -621 - -626. Solve -g*n = -20, -2*b - 4*n = -3 - 3 for b.
-5
Let p = 452 + -450. Solve 5*g - g = m - 4, -2 = p*g for m.
0
Let h be 39/(-6) + 1/(-2). Let j(f) = 2*f + 5. Let b be j(h). Let i = -6 - b. Solve 4*q + 7 = -i*p, -4*p = -2*p - 2*q for p.
-1
Suppose -a - 3*v + 1 = -0*v, 0 = -2*a - 4*v + 4. Solve a*z - 5*k + 4 = -9, 5 = k for z.
3
Let i be (4/6)/(12/18). Let w be 1*(2 + (-3)/(i - 2)). Let j(m) = -m**3 - 3*m**2 - 4*m - 2. Let s be j(-2). Solve 25 = w*z + 5*q, -3*z + z - s = -2*q for z.
2
Let g(j) = -3*j**2 - 4*j + 2. Let q be g(-2). Let t be 189/35 - (-5)/(25/q). Solve 0 = -4*l - t*i - 10, -i - 2 = 5*l - 0*i for l.
0
Suppose 4*a = -2*t + 6*a + 152, t - 5*a - 80 = 0. Suppose 6*z = -4*k + 9*z + t, 4*k = -5*z + 99. Solve 0 = -4*x - f - 4 - k, 4*x + 45 = -5*f for x.
-5
Let l(k) = -4*k - 72. Let o be l(-21). Solve 0 = -3*t - 3*c - 0*c - 3, 4*t - 4*c = o for t.
1
Suppose 0 = -31*b + 153 + 64. Solve -3*f - 2*z - b = 0, 5*z - 22 = -f - 20 for f.
-3
Suppose -24*a + 59 = -85. Solve -4 = -2*r, 0*r = -3*k - 3*r + a for k.
0
Let x(k) = -k**3 - 8*k**2 + 5*k - 34. Let a be x(-9). Solve -5*d = -q - 19, -d + a = -2*q - 3*d for q.
-4
Let y be (-4)/((-32)/(-6)) + 122/(-8). Let h be (y/4 + 5)*0. Let o = 4 + 0. Solve -o*f + 3*c = -h*f + 16, 2*c - 10 = 2*f for f.
-1
Suppose -9*j = -13*j + 8. Solve 2 = x - j*p + 3*p, -4*x = -p + 2 for x.
0
Suppose 3*c = -0*c + 12. Suppose 30*h = 28*h + c. Suppose o + 3*a = 2*o - 15, o - 11 = h*a. Solve 18 = 4*v - 3*v + 4*t, 5*v - o*t = -25 for v.
-2
Let z(o) = -36*o**2 + 466*o + 26. Let h be z(13). Solve y + 4*t - 16 = h, 0 = 4*y - 6*t + t - 1 for y.
4
Let b = 1625 - 1612. Solve 0 = -d - 2, -i + 3 = 11*d - b*d for i.
-1
Suppose -2*b = -3 - 15. Let t be (b/12)/(1/4). Solve -2*f = -5*a - 16 + t, -f + 3*a + 7 = 0 for f.
4
Suppose 3*d - 2*s - 23 = 10, 42 = 4*d - 2*s. Solve -2*n + 4 = 2*k, -k + 4*k - d = -2*n for n.
-3
Suppose -t - 140 = 3*t. Let x = -18 - t. Solve 4*a + 10 = 2*w - 4*w, 4*a + x = 5*w for w.
1
Let h = 555 - 555. Solve h = -5*i - 3*f - 28, 4*i + 2*f + 16 = 6*f for i.
-5
Suppose -6*m = -m. Let y = 78 - 73. Suppose -s = -y*s + 12. Solve m = 2*b - s*b + q, -2 = b + q for b.
-1
Suppose 0 = 4*g - 2*v - 4, -10*g + 6 = -5*g - 2*v. Solve g*n - 7 = -3*j + 8, 2*j = 2*n + 10 for n.
0
Suppose -260 = -5*m + 3*m. Suppose 5*x = -60 - m. Let i = x - -60. Solve -d = 4*d - k + 13, 0 = -5*d + 4*k - i for d.
-2
Suppose 300 = 6*r - r. Let o be 0*(-4 + r/16). Solve h + b - 2 = o, -2*h - 2*h + 3*b + 15 = 0 for h.
3
Let b = 64 - 62. Solve -2*x - 6 = -b*s - 0*x, 4*x = s - 3 for s.
3
Let w = 287 - 285. Solve 5*k = -0*c + 5*c - 10, -5*c + k = -w for c.
0
Suppose 4*k - 2*k = 4. Suppose 3 = -q - k*x, -3*q + 8*q - 11 = 3*x. Solve -5*g + 9 = -3*a, q + 2 = -a + 3*g for a.
-3
Let l be (-28)/(-15) - (-11)/((-330)/(-4)). Solve 5*u = y - 14, u - l*y + 10 = -0*y for u.
-2
Suppose 22*q - 45 - 43 = 0. Solve 6 = 3*v - 0*v, -4*v + 12 = q*r for r.
1
Suppose -d + 4*f + 14 = 0, d - f + 0*f = 5. Suppose -15 = -n + 4*g, 69 - 129 = -4*n + 5*g. Solve -u + 11 = 4*u + d*i, 3*i + n = 3*u for u.
3
Let w = 17 + -11. Suppose -3*h + v = -v - w, 5*v = h + 11. Solve 4*k = 5*f + 6, 4*f - k = 2*k - h for f.
2
Suppose -a + 0 = -3. Let y(p) = p**2 - 85*p - 354. Let q be y(-4). Solve -2*o = -3*v - 10, -a*o + 19 = -5*v + q for v.
-4
Suppose p - 4*o = 30, 0 = 4*p - o - 4*o - 175. Let z = p + -50. Solve -3*f - 3 + 6 = z, -3*b = f - 7 for b.
2
Suppose -2*f + 16 = 2*f. Suppose -34*h = -35*h + 23. Let x = -1 - -1. Solve -5*q + 15 = x, u + f*q + 6 = h for u.
5
Let w(t) = -t**3 + 6*t**2 + 22*t - 41. Let k be w(8). Solve 0 = 5*v, k*v + 1 = s + 2*v for s.
1
Let h = 39 - 27. Suppose q = -3*q + 4*w + 8, -q = 4*w - h. Solve 4*y - 5 - 3 = -4*f, -q*f + 10 = 5*y for f.
0
Let u(d) = -4*d**2 + 13*d - 2. Let o be u(3). Let v be (-4)/(1/o)*11/(-22). Solve 0 = -v*g + 4*z - 14, -4*g - 6 - 2 = -4*z for g.
3
Let t = -632 + 637. Solve -3*u + 5*u - 3*z = -3, 3*u + t = 4*z for u.
-3
Let p = 28 + -18. Let f(c) = -16 - p*c - 5*c + 13*c. Let l be f(-9). Solve -l*b - 4 = 0, 3*s - 5*b = s + 10 for s.
0
Let g = -146 - -151. Solve f - 2*r = 2*f + 3, f - g*r = -10 for f.
-5
Let n = 65 + -58. Suppose 9*q = n*q + 18. Solve -3*x - q = 2*l, 2*l - 4*x - 1 = l for l.
-3
Let t be (10 - 81/9)/((-2)/(-20)). Solve 2*s = -2*k + t, 0 = -4*s - 5*k + 21 + 1 for s.
3
Let o(i) = -i**3 - 8*i**2 - 13*i + 6. Let a be o(-3). Solve -2*g - 5*n - 27 = 0, 4*g + 4*n + n + 29 = a for g.
-1
Suppose -7*j + 3*j + 24 = 0. Let l be (-28)/6*(-3 + j). Let d = l - -17. Solve -i = -4*q + 23, d*i + 5*q - 22 = 2*i for i.
-3
Suppose -2*y + 3*y = 5. Suppose -1 + 5 = 2*a - 5*k, -4*k - 10 = -y*a. Solve v = a*b + 2*b + 12, -2*b - 6 = -v for v.
0
Let a(n) = -2*n - 8. Let j be a(-4). Suppose j = 5*s - s - 48. Let o be (-10)/15 + 140/s. Solve 3*r - d = -2 - o, 4*r - 2*d = -16 for r.
-5
Let d = 78 - 63. Suppose 16*g - d = g. Solve 0 = 5*k + j + g, -j + 8 - 4 = 0 for k.
-1
Suppose -2*f