 + 5*y for g.
3
Let r = 101 - -151. Suppose -7*i + 105 + r = 0. Let n = i - 51. Solve n = -4*z + q + 12, 4*q - 6*q = 2*z + 4 for z.
2
Let g = 3070 - 3052. Solve -4*n - g = -a, -2*a = -2*n - 4*a - 4 for n.
-4
Suppose -3*j + 32 = -56*y + 58*y, 2*y = -2*j + 18. Solve 12 = 2*g + 2*b, -10*g + j*g = -b + 15 for g.
3
Let x(o) = -o**3 - 9*o**2 - 10*o + 32. Let d be x(-7). Solve 5*k - l - l = -13, d*k + 8 = l for k.
-1
Suppose -266 - 51 = -27*d + 115. Solve -2*n = -2*s + 2*n + 18, 0 = -4*s - 5*n - d for s.
1
Suppose 2*g + 0*g = 78. Let j = 1 + 32. Suppose g*d - 24 = j*d. Solve m + 17 = 4*a, -a + m + 14 = d*m for a.
5
Let d(l) = -l**3 + 11*l**2 - 5*l + 14. Let f be d(13). Let a = f + 389. Solve 4*w - 4 = -2*c, a*c + 2*c + 2 = -w for w.
2
Let j be 183/(-488) - 3869/8. Let r = -482 - j. Solve 4*m + 4*z - 2*z = -4, r*m + 10 = z for m.
-3
Suppose 126*t = 142*t - 64. Solve -4*c + 18 = 2*x, 3*x = t*c - 2 - 11 for c.
4
Suppose -2*n = -3*d + 89, d + 5*n - 64 + 6 = 0. Suppose 0 = 2*w - 5*h - d, 7 = -5*w - h + 22. Solve 0 = k + w*r - 20, 8*k + 2*r = 3*k + 28 for k.
4
Suppose -6*c + 10 = -80. Let i = c + -20. Let z be 40/12*(-1 + i/(-2)). Solve -5*a = -5*r + z, -4 = -r - 3*a + 5*a for r.
-2
Let c(y) = 374*y - 10842. Let g be c(29). Solve -4 = 5*s - 660*d + 663*d, -d = -s + g for s.
1
Let s(u) = -21*u + 632. Let q be s(30). Let x be (-2)/(3*(-6)/27). Solve -2*b + 5 + 3 = -q*i, x*b + 5*i + 4 = 0 for b.
2
Let t(s) = 3*s + 182. Let a be t(-58). Solve 3*n + 32 = -4*c + a, 4*n + 7 = 3*c for n.
-4
Suppose 122 + 6 = 16*s. Let f be (2 + -10 + s)/(-2). Solve -3*i + v = -v + 1, f = -i - 4*v - 19 for i.
-3
Let g be (-62)/48*-3 + (-36)/(-288). Solve r - g = -2*d, 7*d - 12 = 5*d + r for d.
4
Let s(d) = 641*d + 2574. Let h be s(-4). Solve -46 = -5*b + n - 41, -2*b = -2*n - h for b.
0
Let o(f) = -9*f + 50. Let q be o(5). Let c = -39 - -45. Suppose 0 = 5*s - z - 11, -s - 15 = -c*s + 5*z. Solve -q*l = 4*g - g - 6, -s*l = -5*g - 21 for g.
-3
Let a(y) = -2*y**2 - 63*y - 78. Let x be a(-30). Solve 4*p - 16 = 2*t, -x = -3*p - 2*t + 3*t for p.
4
Suppose 0 = h - 4, -156 = -o - 5*h + 84. Let r = o - 215. Let q(i) = i**2 + 2. Let g be q(0). Solve -v - 5 - 3 = -g*w, -r*v = -4*w + 28 for v.
-4
Let u(s) = 3*s**2 + 11*s - 9. Let k be u(1). Solve -k*f - 9 = -4*i, -f - 45*i + 49*i = 5 for f.
-1
Suppose -5*l + 50 = 4*y - 97, -2*y = -4*l - 54. Solve 5*k = -4*b + y, 6 + 3 = k + 2*b for k.
5
Suppose 2346 = 6*r + 11*r. Suppose -18 = 24*n - r. Solve -4*o - 9 = -n*j, -j - 4*o - 4 = o for j.
1
Suppose 72 = 3*f - 5*d, -146*f + 3*d + 4 = -147*f. Solve -2*g + 5*o - 8*o = f, -2*g + 14 = -4*o for g.
-1
Let y(z) = z**3 - 10*z**2 - 8*z - 27. Suppose 0 = 3*q + 3*w - 45, -4*w = q - w - 23. Let a be y(q). Solve 2*g + l = 5, l - 4*l = -3*g - a for g.
1
Let r(b) = 2*b**3 + 89*b**2 + 124*b - 154. Let v be r(-43). Solve l - v = -4*u - 52, 0 = -5*l + 5*u + 20 for l.
5
Let r(l) = -15*l - 85. Suppose -4*i - 36 = -3*z, 9*i - z = 6*i - 22. Let g be r(i). Solve -g*q = 10 - 0, 3*w - 3*q = -6 for w.
-4
Let o be (0 - 1)/(2/(-4)). Let a = 10 + -6. Let z(g) = -250*g + 8752. Let v be z(35). Solve 0 = 3*h, -o*l + a + v = -5*h for l.
3
Let i = 1337 - 1913. Let k = i + 578. Solve 8*x - 5*l = 3*x + 5, k*x + l = 11 for x.
4
Suppose 3*z - 4*k - 40 = 4, -3*k - 36 = -3*z. Solve 0 = -4*l - q - 0*q - 9, z*l - 2*q = 6 for l.
-1
Let h(t) = -t**2 + t + 2. Let p be h(2). Let x = 1245 - 1241. Solve p = 5*o + x*n - n - 8, 2 = 2*n for o.
1
Let i = 72 + 32. Suppose i = 36*w - 28*w. Solve -5*r = 4*g - 3 + w, r = 2*g + 12 for g.
-5
Let g be (-154)/231*((-2)/(-3))/((-10)/45). Suppose 0*r = -2*r - 10. Let q(i) = i**3 + 5*i**2. Let h be q(r). Solve 0 = -5*x + 10, o + g*x = -h*x for o.
-4
Suppose 0 = 83*l - 90*l. Solve -2*j - 2*i - 6 = 0, l = i + 5 - 0 for j.
2
Let v = 198 - 219. Let l be ((-6)/4)/(v/56). Solve 0 = -3*t + 3*s + 9, -l*t + 4*s = s - 7 for t.
-2
Let m be 1/((-2 - 0)/(-10)). Suppose -197 - 191 = 2*h. Let d = 199 + h. Solve 3*g - g = d*x + 25, 5*g - m*x = 25 for g.
0
Let s(v) = 3*v**3 + 20*v**2 - 20*v - 1. Let z be s(1). Solve r - z*j - 11 = 0, 0 = r + 3*j - 9 + 13 for r.
5
Suppose -828*h + 823*h + 30 = 0. Solve -d - h = -2*j, 4*j + 4*d - 3*d = 0 for j.
1
Let k be 6/10 - -19*(-384)/(-40). Solve -4*y = 12, -3*c - y + 192 = k for c.
4
Let w = -381 - -386. Suppose 0 = 11*u + 2*u - 52. Solve 0*d - 1 = -d + 2*n, d - w*n - u = 0 for d.
-1
Suppose 3*m - 2*m = 3. Suppose 3*v + 16 = 5*h, h = -40*v + 42*v - 1. Solve -10 = 2*s - 0, -h*s = -m*u + 31 for u.
2
Let u(f) = 33*f + 20. Let c be u(-5). Let r = c - -157. Solve -3*v = -3*t + 19 - 7, 4*v + r = 2*t for t.
2
Let x be (-250)/20 + (-3)/6. Let y be -2*(2/x + 77/(-91)). Solve 3*c = 2*z + 8, -z = c + 1 - y for z.
-1
Let c(u) = -u**3 - 20*u**2 - 28*u + 37. Let d be c(-15). Let o = 670 + d. Solve 0 = 5*x + 2*r - 28, -r + 3*r = o*x for x.
4
Suppose -5*z = 5, -2 - 18 = -d + z. Solve 2*r - 14 = -4*b, -5*r = 5*b - 6 - d for r.
3
Let w(i) = 3*i - 14. Let m be w(9). Suppose -36 = -m*c + c. Solve -f = c*j + 15 - 1, 0 = 4*j + 2*f + 18 for j.
-5
Suppose 2*b = -2*u - 8, -12 = -4*b + 4*u - u. Solve b = -2*k - 3*k - 5*t, 6 = 2*k + 5*t for k.
-2
Let h be (3 - 2/(-4)*-2)*3. Suppose -h*b + 5*b = -3. Solve 5*y + 17 = -4*v, 2*y + b*v + v + 2 = 0 for y.
-5
Suppose -5*b + 28 = z, 3*b + 5 = 7*b - 5*z. Suppose 390 = 3*k + 10*k. Solve -4*v - 40 = -5*c, 0*v + 2*v = b*c - k for c.
4
Let p be 1*(-4)/18 - ((-30680)/360 + 56). Solve 4*b = -4*v - 32, -b - 26*v + p*v = -8 for b.
-4
Suppose -3*c = -4*z - 2, -6 = 3*z - 7*z - c. Let o be (104/(-78))/(z/(-3) - 0). Solve 5*u + 20 = 3*h, -5*h - o*u - u = 20 for h.
0
Let g(h) = 5*h**2 - 60*h + 6. Let s be g(12). Let j be (-4)/(-1) + -6 - (2 - s). Solve -3*a = -4*t + 17, -15 = -j*t + a - 6*a for t.
5
Let u = 3653 + -3648. Solve -10*k + 7*k - r = 9, -4*k + u*r + 7 = 0 for k.
-2
Suppose 1 = 2*q + 5*z - 3, -3*q - 3*z = -6. Let r be 4/18 + (5 - (-77)/(-63)). Suppose -r*b + 695 = 683. Solve -w + b*s = 5 - 10, 6 = -3*w + q*s for w.
-4
Let i(y) = 3*y + 32. Let d be i(-8). Suppose -d = -4*b - p, -5 - 5 = -5*b + 2*p. Solve -3*h + 4 = 2*o, 0 = 4*h + b*o - o - 2 for h.
0
Let s be 10/(-55) - 0 - 40/22. Let u be (5/4)/(s/(-8)). Solve 4*a - 8 = 4*y, 0 = -2*y - 0*a + u*a - 16 for y.
2
Let i be (-938)/70 + 14 + 2034/10. Let w = 213 - i. Solve c = 4, -5 = 5*y + w*c - 4*c for y.
-5
Let i(z) = -z**2 - 12*z - 27. Let y be i(-8). Suppose -3*s = 4*m - 8, -16 = 2*s - y*s + 4*m. Solve 5*k - 28 = l - 2*l, -32 = -s*k - 4*l for k.
5
Let l(w) be the first derivative of -w**4/4 - w**3 - 3*w**2/2 - w - 59. Let f be l(-1). Solve q = -f*q + 5*m + 2, -5*q = m - 10 for q.
2
Let o be (1 - (0 - 1)) + 1. Suppose -178*s = -181*s - 13*x, -4*x = -4*s. Solve 2*z - o = -z - 2*w, s = -2*z - w + 2 for z.
1
Suppose -m - 352 = -5*a + 168, 4*a - 12 = 0. Let p = m + 510. Solve -p*l + 4*r - 27 = 0, 2*l - 2*r = -6*r + 6 for l.
-3
Let q be -8 - (-15)/5 - -8. Solve 5*b + q*t = -7, 5*t = 3*b + 6 - 29 for b.
1
Let m = 1252 + -1247. Solve m*x - 5*d - 2 = 4*x, 0 = 3*x - 2*d + 7 for x.
-3
Let n = -1268 - -1308. Let j(w) = -w**2 + 2*w. Let l be j(-5). Let x = l + n. Solve 0 = -i + 5*i - m - x, m = -5 for i.
0
Let u = -33713 + 33828. Solve -5*f + 3*d - 16 = 0, 2*f + 116*d + 13 = u*d for f.
-5
Let j(b) = -b**2 - 6*b - 7. Let i be j(-5). Let q be 3 - ((-1320)/(-456) + i/(-19)). Solve -2*h + s + 2 = -3, q = 2*h - 4*s + 4 for h.
4
Suppose -5*w + 22 = 4*n, -9*n + 12*n - 9 = 0. Solve 5*l + 2*g = -0*l + 25, -7*g + 29 = -w*l for l.
3
Suppose 4*f - 120 = -2*d, 4*d - 2*d + f = 120. Let r = -56 + d. Solve -r*a + m = -a + 16, -2*a - 14 = -4*m for a.
-5
Let l(g) = 24*g - 2. Let n be l(1). Let d be 2 + (-4)/n - (-18)/99. Solve 2*h = -5*w, -d*w - 3*h - h = 0 for w.
0
Suppose 0 = 6*m + 25552 - 25564. Solve -3*w - 5 = m*q + 5, 2*w - 4*q = 4 for w.
-2
Suppose -t = 3*t + 4*t. Suppose -o = -3*r - t*o + 12, r + o - 4 = 0. Suppose 0 = 9*f + 5*f - r*f. Solve 3*h - 4*h - q - 6 = f, 2*h + 5*q = -27 for h.
-1
Suppose 1 = 6*g + 1. Let d be 5/25*g - 0. Let y be (0/(d + 2))/(1 - -2). Solve 4*r + 4*t = 0, r + 2*t + 2*t = y for r.
0
Suppose -7357*a + 7355*a = 0. Solve a = -2*r - 8, 5*r + 6 = 5*f - 4 for f.
-2
Let c be (-25)/(-3) - ((-20)/16)/(24/32). Solve -3*a + c = -q, -5*a + 2*q = -a - 14 for a.
3
Let w be (11/22*-38)/((-2)/10). Suppose w*c + 30 = 97*c. Solve n = -5*h + 