 14 = -7*h for h.
2
Suppose 5*x + 41*n - 4 = 39*n, -7 = -5*x - n. Solve -16 = -d + x*w, w = -0*w - 6 for d.
4
Suppose 2*s = -2*k - 2, k + 17 = 4*s + 6. Suppose 7476 = 39*m - 14052. Let q = m - 548. Solve -4*c - 3*d - 7 = s*d, 4*d = -q*c - 8 for c.
-3
Let d = 15742 - 15650. Solve -d*c = -87*c - 2*j - 16, 7 = 2*c - j for c.
2
Suppose 0*r + 5*r = -50. Let u be r/(-4) - (-4)/(-8). Let k = -110 - -115. Solve k = 4*h + 5*w, -w = h - u*h + 8 for h.
5
Suppose -5*q + 6 = -b, 129*b + 12 = 4*q + 130*b. Solve 3*n = -n - q*v - 8, -3*n + v - 6 = 0 for n.
-2
Let l(u) = -u**2 + 10*u - 5. Let b be l(9). Let c be ((-9)/(-36))/(2/88). Let p be (-14)/(-91) - c/(-13). Solve -b*v - p - 10 = -5*d, 2*v = 2 for d.
3
Suppose 0 = -3*r - 482 - 124. Let o = 136 + r. Let x = o - -71. Solve x*b - 4*b + 3*d = 9, 0 = -2*b + 2*d + 2 for b.
3
Let z = 151 - 104. Suppose 0 = z*d - 193 + 5. Solve -l = -2*u + u + 1, -d*l + 8 = 2*u for l.
1
Suppose 828*l = 822*l. Solve l = -3*x + 6*c - 4*c + 16, 4*c = 3*x - 20 for x.
4
Suppose 5*q - 1 = w, -2*q - 3 = w - 2. Suppose 6*i - 20 + 8 = q. Solve 0 = -2*c + 2*x + i, 2*c = -c + 2*x + 6 for c.
4
Suppose -3*a + 5*n - 773 = 4*n, 0 = -4*a + 3*n - 1039. Let q = 259 + a. Solve -4*j + 25 = j, -q*j = -2*f - 5 for f.
5
Suppose h = 3*d - 64, -5*d + 84 = -4*h + 8*h. Solve -5*l + d = -5*p, -4*l - 5*p - 3 + 19 = 0 for l.
4
Let w be -10 - (10 - 30/(-35)*-28). Solve l - w*l - 15 = 0, 0 = -2*v - 2*l - 16 for v.
-3
Let x be (-153)/12 - 2/((-40)/15). Let a be (x/(-8))/((-15)/(-160)). Solve 4*n - a = -6*v + 2*v, 5*v - n = -10 for v.
-1
Suppose -3*a - 5*z + 69 = 0, 4*a = -4*z - z + 92. Suppose a*d + 38 = 130. Solve -3*k = 4*u - 26, -5*u + d*k = -11 - 6 for u.
5
Let r = 37 + -37. Suppose r = -0*c - c + 2*i, -3*c + 4*i - 6 = 0. Let o be 7/(42/4) + (-8)/c. Solve 0 = 3*a - o*a + 4, 0 = 5*x - 5*a for x.
-4
Let d be (-810)/18 + 27 - -18. Solve -2*u + o + 13 = d, 4*o - 50 = -4*u - 54 for u.
4
Suppose -3*o - 2 = -5, -4*u - 4*o = -12. Suppose 3*r + r + w = 9, u*r + 5*w = -9. Solve r*l - l - 18 = -4*d, -4*l + 8 = d for l.
1
Suppose 15*s - 21 - 384 = 0. Let c(j) = j**3 - 27*j**2 + 4*j - 104. Let q be c(s). Solve q*a - 5*r - 6 = -2*r, -4*a = r - 14 for a.
3
Let u = 54 - 77. Let s = 27 + u. Let g be ((-42)/(-24))/((-1)/(-4)). Solve -32 = j - 5*q - g, s*q - 20 = -3*j for j.
0
Suppose -15*g = 45*g - 3*g - 798. Solve 5*b + 2*i - 16 = 0, -i + g = 3*b - 2*i for b.
4
Let n = -50 - -161. Suppose 9*t - 138 + n = 0. Solve -t*g = 2*y - 9, -5*y = g + 4 - 7 for g.
3
Suppose -8*v = -10*v + 2*s + 40, 0 = 4*v + 3*s - 66. Solve 0 = -5*l - 14*m + v*m - 35, 2*l - 4*m + 26 = 0 for l.
-3
Suppose i + 16 = 10 + 12. Solve -4*s + i*s - 6 = -3*a, -5*a = -5*s - 10 for s.
0
Let z(k) = -2*k**3 + 6*k**2 + 24*k - 67. Let f be z(3). Let u be 3 + 3 - (6 + -3). Solve -31 = u*n - 4*a, -4*n - 3*a = f + 3 for n.
-5
Let j = 1097 - 1087. Suppose -i = 3*d - 8, 0 = d - 2*d - 3*i. Suppose -2*x = -l - 11, 0*x - 5*l + j = d*x. Solve -x*v + 5 = 2*a - 4*v, a + 3*v = 10 for a.
1
Let u(x) = 2*x**2 + 10*x - 166. Let h be u(7). Solve -2*v - 9 = 5*q - 6, 3*v + h*q + 10 = 0 for v.
-4
Let t = 9110 + -9102. Solve -4*i = -5*j + 23, 5*j = 5*i + 33 - t for i.
-2
Let j be ((-3)/(-2) - 270/20)*4/(-12). Let u = 9 + -5. Solve -16 = u*g + j, 0 = -w - g for w.
5
Suppose -2*t = i + 5, -5*i - 2*t - 19 + 34 = 0. Solve -5 = k, 9*k + 35 = 3*r + i*k for r.
5
Suppose 9 = 2*v + 7*v. Suppose -4*k - 112 = -4*w, -2*k - 24 = -w + 37. Let u be (-2)/11 - v/(k/204). Solve 4*c + j - 2 = 0, 4*j = 4*c - u - 6 for c.
1
Let d(s) = 6*s**2 + 42*s + 74. Let x be d(-3). Solve 0 = 3*o + x*c + 6, 59*o = 57*o + 4*c + 12 for o.
0
Let n(c) = c**2 + 3*c + 6. Let r be n(-3). Suppose i = -0*i + 4. Suppose 3*y = -2*u - 6 + 18, -3*y = -i*u + 6. Solve -u*w = -h - 8, -18 = 5*h + 2*w - r*w for h.
-2
Let k be (-8 - -3)/(6/14 - (-53)/(-42)). Solve 3*a - 46 = k*a + 5*b, 5*b + 32 = -a for a.
-7
Suppose -24 = -w - 9*b + 5*b, b = -3*w + 17. Solve w = -5*v + 2*z, 7*v - 4*v + z + 9 = 0 for v.
-2
Suppose -21*g = -5*g - 144. Let u = 14 + -14. Suppose -3 + u = -a. Solve 4*m = a*w - g, m + 13 = -w - 3*m for w.
-1
Let o = 40 + -1. Suppose 0 = 91*z + 17*z - 4536. Let t = z - o. Solve t*d = 6*y - y - 13, 1 = 5*d + 3*y for d.
-1
Suppose 30*x - 39 = 25*x + 3*i, -18 = -2*x + 2*i. Suppose -x*o = -83 + 17. Solve -4*j = 4*g - o - 1, 2*j = g - 6 for j.
-1
Let w = -65 - -68. Suppose -3*m = 3*l, m + 2 = -w*m - 5*l. Suppose t = -3*n + 8, -m*n - 12 - 1 = -3*t. Solve j + n = -4*k, 0*j = -4*j - 5*k - 15 for j.
-5
Let b(y) = -2*y + 11. Let r be b(0). Let o(g) = -3 - 3*g + 21 - 2*g**2 - r*g. Let v be o(-8). Solve 0 = -5*s + v*d + 18, 3*s - 7*s - d + 4 = 0 for s.
2
Let b(s) = s**2 + 8*s + 7. Let y be b(-8). Suppose 4*c - 4 = 0, -y*r + 3*c = -2*r - 17. Let x = r - -5. Solve 3*v - 4*i - 5 = -3*i, -v = -3*i + x for v.
3
Let j(k) = -2*k**2 - 32*k - 26. Let b be j(-15). Suppose -b*v - 16 = -5*h, 5*h - 19*v = -17*v + 8. Solve h*t - t + m = 4, 0 = -2*t + 4*m - 14 for t.
-1
Suppose -5*l = -4*c - 164, 4*l = 5*c + 192 - 59. Let n(r) = r**2 + r. Let t be n(5). Let q = l - t. Solve 5*g + 14 = q*h, -g + 12 = -3*g + 4*h for g.
-2
Suppose 12*o - 11*o - 6 = 0. Suppose 5*y = 4*a - o, y = -a + 17 - 11. Solve 4*x + 12 = 0, y*x + 6 = -i - 4*i for i.
0
Let z = -233 + 235. Let u be -4 - (-7)/z*(-10)/(-5). Solve 5*l = 2*b + 9, -4*b - 2*l + u = -15 for b.
3
Suppose -39*m + 116 = 116. Solve -8*c + 5*c - 9 = m, 4*p + 2*c = -6 for p.
0
Let m be (-2)/7*(-2 + -82)/6. Let z be 2/m + (-28)/(-8). Solve 4*n - z*i = -28, 4*n = 6*n + 3*i - 1 for n.
-4
Suppose 5*c + 4*h = 32, 166*c - 169*c + 2*h + 28 = 0. Solve 5*y = 3*r - 11, c*y - 3*y = 2*r - 14 for r.
-3
Let u be (-1)/(-4) - 3/(-4). Suppose 25*z - 560 + 35 = 0. Suppose z*k - 10 = 32. Solve 0 = -k*d + 4*g + 12, -g = 3*d - u + 4 for d.
0
Let y(j) = -15*j. Suppose 4*q + 7 + 5 = 0. Let w be y(q). Let k be 153/w + 2/(-5). Solve 14 = -5*f + k*p, -8 = 4*f + 3*p + 14 for f.
-4
Let s(b) = -16*b + 1289. Let q be s(79). Solve 12 - q = -p + 2*j, -2*p = 5*j + 19 for p.
3
Let t(j) = 2*j**2 + 1. Let w(g) = -19*g**2 - 2*g - 10. Let l(i) = -5*t(i) - w(i). Let h be l(0). Solve 0 = -3*s - 2*z - 5 - 0, 0 = 5*s + 5*z + h for s.
-3
Suppose 2*k - 6*k + 126 = 2*q, -5*q + 2*k + 255 = 0. Let m = q - 49. Let r = 5 + -3. Solve -4*f = -r*g + g, 5*g - 16 = m*f for g.
4
Suppose 174*t + 2*n = 171*t + 11, -t + 37 = 9*n. Solve 5*r + t = -d, 4 = -r - 3*d + 1 for r.
0
Suppose 24 = -24*i + 18*i. Let h be (-1)/i - (-6 - (-42)/8). Solve v - 3*r - 4 = h, -4*v = r + 6 for v.
-1
Suppose 86*g + 19 = -k + 82*g, 2*g = -k - 7. Solve -p = 8*i - 12*i + 18, -p + 9 = k*i for p.
-6
Let s(j) = j**3 - 8*j**2 + 17*j + 4. Let k be s(3). Let y be k*(-3)/6*-1. Solve 3*t + 11 = -5*f + y, 0 = -2*f - t - 2 for f.
0
Suppose 3*h - 3*x = 6, -12*x + 10*x = 3*h - 6. Let l be -1*(8 - 4)*(-1)/h. Solve -5*b - 4*a + 10 = -6*b, -l*a + 14 = 4*b for b.
2
Let o(y) = 177*y + 1243. Let f be o(-7). Solve 0 = -f*a + 16, 4*a = -11*u + 14*u + 22 for u.
-2
Let g = -3412 - -3416. Solve 4*s - g*j - 5 = -25, -s = -3*j + 15 for s.
0
Let c be (20*11/(-176))/((-2)/48). Solve -2*g = -3*s + 12, -3*s - c*g + 27*g = -12 for s.
4
Let r(c) = 24*c - 42. Let q be r(4). Suppose -14 = -q*z + 47*z. Solve z*i = -f - 6, i + 2*i = -4*f - 4 for f.
2
Suppose 3*y - 4 - 11 = 0. Suppose -y*x + 29 = 3*m, -5*x + m + 10 = -7. Let l be (x - 7) + 2 - -4. Solve l*d - 2*o - 16 = 0, 1 - 6 = -5*d - o for d.
2
Let y(p) = -p + 1. Let f(k) = -4*k - 23. Let v(u) = f(u) - 2*y(u). Let b be v(-15). Solve -13 = -3*h + b*t, -14 + 2 = -4*h + 4*t for h.
1
Suppose -17*q + 32 + 39 + 14 = 0. Solve 3*k + 27 = q*g, -3*g - 2*g + 31 = -4*k for k.
-4
Suppose 5*a + 0*n = -3*n + 156, 5*a + 2*n = 159. Suppose -a*p + 34*p = 8. Solve -3*o - 4*t + p = 0, 0 = 2*o - 5*t + 33 for o.
-4
Let a(o) = -49*o - 4294. Let m be a(-88). Solve 5*x + m = 2*d - 2, 10 = 2*d for x.
-2
Let d = 3921 + -3905. Solve 2*y + 4*p + d = 0, y = -6*p + 7*p + 1 for y.
-2
Suppose -27*i + 4*i = 16*i - 156. Solve -5*y + 4*b - 30 = 0, -3*y = -y - i*b + 24 for y.
-2
Let w = 505 + -472. Suppose 2*y = -u + 21, y + w = -5*u + 57. Solve y*v - p = 6*v - 1, -3*v - 11 = 4*p for v.
-1
Suppose -o - o = 4*c - 148, -320 = -4*o - 2*c. Let m = o + -82. Suppose -x = -1, 8 = w - 0*w + 3*x. Solve m = -y - 0*y - w*d - 15, y + 11 = -4*d for y.
5
Let x = 129 + -121. L