b - 8 = 0, -2*g - b + 4*b = -v for g.
-1
Let w(b) = -b - 2. Let m be w(-6). Suppose -4*g = -4, 4*g - 5 - 7 = 2*k. Let i be 3 - (16/k + m). Solve 5*q + 0*u = -2*u + 28, u = -i*q + 16 for q.
4
Let a(t) = -32*t - 125. Let f be a(-4). Solve 2*o + f*i = 5*i + 4, 0 = -5*o - 3*i - 14 for o.
-1
Suppose 65 = 6*b - b. Suppose 0 = -z - 29 + b. Let y be (-44)/z + (-5)/(-20). Solve -g + 4*g - 3*u = 9, -u = -4*g - y for g.
-2
Let t = 261 + -104. Let n(x) = t + 2*x - 129 + 0*x. Let c be n(-12). Solve 0 = 2*j + c*h - 16, 4*h + 4 = 4*j + 5*h for j.
0
Let r = 339 + -587. Let t = -244 - r. Solve 0 = -t*p + n + 1, -n - n = 2 for p.
0
Suppose 9*r + 2079 = 2097. Let q = -25 - -15. Let x = q + 14. Solve -3*g - s - x = 0, -r*s = -2*g - s - 1 for g.
-1
Let u(j) = 6*j**2 + j + 5. Let y be u(3). Suppose -141 = -7*l + y. Let t = -28 + l. Solve -5*p + 13 = -4*k, t = -4*k - 2*p - 5 for k.
-2
Suppose 3*u = u. Let p be 1/(3/(-12)) - -2. Let q be p + (0/3 - (-6 - -2)). Solve 4*g = q*f, 8*g - 3*g + 5*f - 30 = u for g.
2
Let n(o) = o**2 - 48*o - 1105. Let c be n(-17). Solve c = h + 3*v - 18, 0*v = -4*h - 2*v + 22 for h.
3
Let u be (-3 - -6)*(15 - 2 - 4). Suppose -9*n - u*n + 180 = 0. Solve 2*g = a + 2 + n, 0 = -g - 3*a - 14 for g.
1
Let n = -28 - -31. Suppose n*z + 100 = 5*r, -5*r + 2*z = -2*r - 61. Solve -t - 6 = 5*o - 2*o, -2*o - 5*t = r for o.
-1
Suppose 6*n = -3*n + 54. Let j be ((-14)/(-35))/(n/30). Solve 0 = -j*c - h - 5, -c + 3*h = c - 7 for c.
-1
Suppose 2*u = 2*i + 4, 9*u + 6 = 12*u + i. Solve -x + 6 = 0, u*k + 5*x - 47 = -7 for k.
5
Suppose 0 = 4*o - k - 25, -3*o = -4*k - 2 - 7. Suppose 9*z = 25*z - 48. Suppose 3*y = -3*c + 24, z = 5*y - 22. Solve -d = -c*f - o, 6*f = d + 5*f + 1 for d.
-5
Let g(s) = 2*s**2 - 19*s - 471. Let t be g(21). Solve 4*l + t = -2*f + 6*f, 5*l - f = -3 for l.
0
Let i = -3970 - -3973. Solve 2*q - 5*d + 6 = 0, -14*q - i*d + 10 = -12*q for q.
2
Suppose 23*r - 101 = 14. Suppose 3*z = u + 8, -3*z = r*u + z - 17. Solve 4*p = 5*m - 5, 0 = m - 6 + u for p.
5
Let c(w) = w - 1. Let g(t) = 13*t + 11. Let k(q) = 5*c(q) - g(q). Let j = -24 - -22. Let b be k(j). Solve -2*u + r - 7 = b, 6*u + 13 = u + r for u.
-2
Let s = 4016 - 4012. Solve -s*r = -0*q - q + 1, q + r = -4 for q.
-3
Suppose 1 = -2*v + 5. Suppose -4*l - 3*f + 10 = 0, v = 5*l + 4*f - 11. Let s be ((l + -5)/4)/((-1)/10). Solve 5*a + s = 0, j + 3*a + 11 = -0*a for j.
-5
Let s(a) = -259*a - 9786. Let t be s(-38). Solve 60*j = t*j - l + 18, -2*j - 4*l = -16 for j.
4
Suppose 3*s - 259 = 4*x, -2*x = -4*s - 108 + 440. Suppose -2*c - 9 = 2*u + 87, 0 = -2*u + c - s. Let k = u + 51. Solve -2*b + 4*d = 3*d + k, 2 = d for b.
-3
Let l = -244 - -251. Suppose 11*s + 19*s = -l*s. Solve -k - 3*h - 4 = s, 2*h + 3*h = -10 for k.
2
Suppose -2*a = -4*v - 142, 5*a = 2 + 23. Let i(g) = g**2 + 36*g + 103. Let t be i(v). Solve -4*n + t*b = -0*b - 16, -b - 9 = 4*n for n.
-1
Suppose 3*n - 2*z = 2, z + 7 - 12 = 0. Solve 5*m + 27*o - 22*o = 15, -n*m + o + 7 = 0 for m.
2
Let g be (44/(-55)*3)/(8/(-10)). Let q be (-1 - (-3)/2)*0. Suppose -22*r + 27*r = q. Solve r = 4*f + g*c + 20, -5*c = -0*f - 5*f - 25 for f.
-5
Suppose 132 = 117*m - 73*m. Solve 0 = -2*r + m*l - 7, -5*l + 41 = -2*r + 6*r for r.
4
Let a be (-1)/2*(-8 - -8)/39. Solve a = 2*r + 2, 0 = g + 4*r - 0*r for g.
4
Let b be ((-18)/10)/((-221)/85 - (0 + -2)). Solve -d - 148*v + 152*v = 17, -b*v + 12 = -d for d.
3
Let w = 186 - 186. Suppose -24*q + 8*q + 48 = w. Solve -o + 3*o = -q*p - 4, 5*o + 2*p + 21 = 0 for o.
-5
Let z(f) = 2*f**3 + 74*f**2 + 72*f + 14. Let t be z(-36). Suppose 42*x - t = 35*x. Solve -2*w = x*h + 16, -w = -5*h - 1 - 21 for w.
-3
Suppose 22*t + 2*t = 0. Solve t = 4*o - 6*u + 11*u - 6, 4*o - 3*u - 22 = 0 for o.
4
Suppose 0 = 3*o + 2*o - 15. Suppose 122*k + 54 = 128*k. Suppose -9 = 12*i - k. Solve -f + t = -i*t + 3, -f + 13 = o*t for f.
1
Let p(b) = 45*b + 5900. Let w be p(-131). Solve -3*n = 2*v - 8, -2*n + 6*n = -w*v + 20 for v.
4
Let a(y) = -443*y - 2 + 4*y**2 + 872*y - 426*y. Suppose -2*n - 2 + 6 = -2*t, -5*t - 2 = 3*n. Let r be a(n). Solve -3*j + 2*l + 2 - 16 = 0, 4*j = r*l - 21 for j.
-4
Let t be 32/16*(-1 - (4 + -7)). Solve 8*s - 4*i = 11*s - t, s - 5*i = -24 for s.
-4
Suppose -88*i = -59*i - 56*i + 81. Solve 0 = -3*k - 29*z + 25*z - 29, i*z + 6 = 3*k for k.
-3
Suppose -2449 + 2484 = 7*w. Solve -w*y - 26 = -4*p, -5*p + 29 = -4*y + 1 for p.
4
Suppose -3*m - 24 = -6*m. Let z(j) = -j**2 + 8*j + 5. Let i be z(m). Suppose 0 = -4*t + l + 4*l - i, -4*l + 45 = 5*t. Solve -5*x + 12 = 4*s - x, t*x = 5 for s.
2
Suppose -5*v - 31 = -3*x, 4*x - 10 = 9*x + 4*v. Let u = -7 + 7. Solve x*m - 2*g - 4 - 2 = u, 0 = -2*m + 4*g + 16 for m.
-2
Let i(d) be the second derivative of 0*d**2 + 8*d + 0 + 1/6*d**4 - 1/6*d**3. Let h be i(-1). Solve 0 = 2*c - 2*k, h*c + 0*c + 2*k + 20 = 0 for c.
-4
Let d(i) = 58*i - 435. Let o be d(12). Suppose -271*u + o*u = -40. Solve 5*z + 12 = u*w, -4*z - 5 - 7 = -2*w for w.
-2
Let j = -71882 + 71886. Let v be (-150)/(-8) - (-2)/8. Suppose -5*x + v + 41 = 0. Solve 0 = 5*i - f - x, -2*i - f + j*f + 10 = 0 for i.
2
Let s(t) = -4*t + 14 - 16 - 12 - 70. Let y be s(-23). Solve -m + 3*l - 4*l = y, 22 = -5*m + l for m.
-5
Let f be (-216)/3024 + (-197)/(-14). Solve -4*g - 2*s - f = 0, 4*g + 13 - 8 = -5*s for g.
-5
Suppose -16 = f - 4*v, 36*f - 5*v = 33*f - 13. Solve 0*i - 4*i + 16 = -f*g, -4*g - 12 = -3*i for i.
4
Suppose -5*z + 0 + 6 = -2*g, 3*g - 12 = -3*z. Let c be (-20 - 1)*g/(-3). Suppose 16*j = c*j + 4. Solve -5*y = -5*w - 15, 5*y = j*w - w + 19 for y.
4
Let d = -249 + 258. Suppose d*h = 8*h - 5*r - 20, 5*h + 4 = -r. Solve 2 = j + 5*v - 1, h = 5*v for j.
3
Let j be (-1)/(((-2)/6)/(32/48)). Suppose 5*s = 13*s - 24. Solve -5*u + 7*u + j = s*c, -6 = -4*c + u for c.
2
Let l(t) = t**2 + t + 1. Let r be l(0). Suppose -93*u = -102*u + 18. Let f be (3/u - r)*0. Solve -8*v - 8 = -4*v + 4*z, f = 4*z + 4 for v.
-1
Let t = -12226 + 12229. Solve -18 = -4*y + t*i, -y - 92 = 2*i - 91 for y.
3
Let n be -6 + (5 - 20/(-4)). Suppose -n*m = 165 - 177. Solve -2*l = 3*l - m*p + 12, 16 = 4*p for l.
0
Let u = 53 - 18. Let q = 35 - u. Suppose q = -3*o + 11 + 34. Solve 2*x = 4*x + 10, 2*f + o = -x for f.
-5
Suppose 2 = -4*s + 2*s, d - 2*s = 6. Solve -d*t - 22 = -5*o + 10, -2*t + 4*o = 22 for t.
-3
Let i(n) = 13*n - 269. Suppose 132 - 279 = -7*w. Let a be i(w). Solve -3*v - 17 = 4*c, -2 + a = -3*v - c for v.
1
Let r be -87*((-10)/(-30) + 4/(-3)). Suppose 2*y = -r - 5. Let f = -27 - y. Solve -4*i = -3*v + 4*v - f, 0 = -3*v - 3 for i.
5
Let a(k) = 2*k**2 + 13*k + 1. Let z be a(-7). Let y = 37 - z. Suppose 5 = g, 5*q + g + y = 84. Solve -q = 2*d + 5*b, -5*d + 2*d = 3*b + 15 for d.
-5
Let j(g) = g**3 - 43*g**2 - 41*g - 129. Let u be j(44). Solve w + 7*c = 2*c + 20, -5*w + u*c - 12 = 0 for w.
0
Suppose -4*y - 137 + 401 = 0. Let d be 220/y*18/5. Suppose -3*v = -d - 30. Solve 0 = 2*a + 2*k + v, 0 = -5*a - 0*a + 5*k + 15 for a.
-2
Let z = -474 + 487. Solve 4*t + z + 15 = -5*i, -2*t = 2*i + 12 for i.
-4
Let u be 427/21*1/(1/12). Let d = u - 242. Solve 2*x = -2*n - 0*x, -d*n = -3*x + 5 for n.
-1
Suppose -5*f + 3*y + 0*y = -281, 9 = 3*y. Let i = 60 - f. Solve -3*w = -i*w + 2*z + 7, w = -4*z - 11 for w.
-3
Suppose -19*w + 10*w + 342 = 0. Suppose -w = -20*i + 22. Solve 4*j + 4*c = 2*c + 10, i*j - 2*c = -3 for j.
1
Let t be (-4 + (-105)/(-14))/((-3)/(-4) + 1). Solve 5*k + 4 = x, -t*k - 5 = -11*x + 14*x for x.
-1
Suppose 4*s + 132 - 144 = 0. Let n(z) = z**2 - z + 2. Let i be n(0). Solve 2*h + 21 = -5*v, i*h = -s*h - 2*v for h.
2
Let k(c) = 10*c**2 - 19*c + 33. Let d be k(3). Let z = d + -55. Solve 2*o + z = 4*s + 3*o, o = 5*s - 25 for s.
4
Let k be (-4)/9 - (-7592)/72. Let z be (6/4)/(-1)*(-280)/k. Solve 5*u = -4*i + z, 5*i + 3*u + 3 = 8*i for i.
1
Let x be (-49)/14*(-2)/1. Suppose 0 = x*y + 376 - 61. Let f be 7/5 + (-27)/y. Solve -30 = f*t + 3*t - 5*b, 0 = 5*t - 2*b + 27 for t.
-5
Suppose -61 = -k - 37. Let o = -24 + k. Suppose -a - 24 = -5*b - o*a, 5*a + 12 = -2*b. Solve -4*r - 3*f = -0*r + b, r = -f - 2 for r.
2
Suppose -m - 72 = -3*i, -3*m - 1134 = -1152. Solve -2*t - 3*k = -11, -27*t + i*t - 5 = -2*k for t.
1
Let q(l) = -11*l + 93. Let f(r) = -11*r + 96. Let y(p) = -4*f(p) + 5*q(p). Let j be y(7). Solve 7 + j = -3*c + 4*x, -4*c - x - 21 = 0 for c.
-5
Suppose 250*a - 266*a +