*y, -2*y - m = -4*l for l.
1
Let n(j) = j**3 + 17*j**2 + 42*j + 26. Let k be n(-2). Solve -4*m = 3*h - 5, -110*m - 5 = -k*h - 111*m for h.
3
Let m(y) = -y**3 + 1017*y + 2*y**3 - 2*y**2 + 11*y**2 - 8 - 1028*y. Let g be m(-10). Solve x = -3*k - g - 7, -k - 7 = -x for k.
-4
Suppose -5*j = -3*m + 2 - 5, -3 = j + 3*m. Suppose 3*h + 19 = v, v - 5*h - 1 - 28 = j. Solve i = -f - v, -3*f - 5 + 17 = -3*i for f.
0
Let k(z) = z - 68. Let x be k(31). Let a = 38 + x. Let i be (-2)/6 - (-4)/12. Solve 2*t = -i*t + 3*u, a = -3*t + 5*u for t.
3
Suppose 0 = -85*o + 63*o + 110. Solve -v + 15 = -3*f, v + v - f = o for v.
0
Suppose 28*j = 3*z + 25*j + 6, 5*z = -j + 8. Solve -7*o - 3*v - z = -6*o, v + 3 = -3*o for o.
-1
Let o(w) = 2*w**2 - 90*w + 177. Let x be 85/2 + (49/(-14) - -4). Let m be o(x). Solve 4*u = 3*j + 9, -m*j - u - 6 = -3*j for j.
-3
Let y = 3974 + -3970. Solve -y*s + c + 4 - 2 = 0, -2*c - 11 = -s for s.
-1
Suppose 4*v - 3*v = 0. Let k(j) = -j - 5. Let y be k(-4). Let q be -1*(4 - (3 - y)). Solve n = -q*h + h, -4*n + 20 = v for h.
5
Let t(z) = z**3 - 7*z**2 - 15*z + 129. Let m be t(6). Solve 3*b + m = -p, -5*b = 3*p - 2*p + 5 for p.
0
Let j = -235 + 238. Solve -8*k + j*k = b - 16, 16 = -2*b + 2*k for b.
-4
Let w(a) = 4*a**3 + 3 + 329*a - 330*a - a**3 - 2*a**3. Let x = 4 + -4. Let q be w(x). Solve -8 = g - 3*h, -2*g - 5 + q = h for g.
-2
Let n be 0/((-5 - -6)*-1). Suppose 5*s + 10 = -3*k, n*s = -2*k - 4*s - 8. Solve k = 2*m + 2*b - 8, 0*b + 5*b = 0 for m.
4
Let l(y) = y**2 + 6*y + 23. Let a = 96 + -66. Suppose 10*c + a = -10. Let w be l(c). Solve 2*s - w = 5*j, -4*s + 2*j = 4*j - 18 for s.
5
Let f(g) = g - 1. Let l(k) = -12*k - 55. Let q(a) = 5*f(a) + l(a). Let x be q(-9). Suppose -x*j - 2*j = -85. Solve j = 4*m + 3*z, -3*z - 8 = -m - 0 for m.
5
Let a = -3804 + 3809. Solve -a*u - m - 1 = 0, u + 21 = -2*m + 7*m for u.
-1
Let r = -13 + 18. Suppose r*w = 12 - 2. Suppose -4*f + 13 = j, 2*f - 8 = w*j - 4*j. Solve 0 = -5*d + f*y - 15, 4 = -4*d + 4*y - 8 for d.
-3
Let l(j) = -4*j - 11. Let o be l(-5). Suppose -o*d + 90 = -3*d. Let f = -12 + d. Solve -5*m + 10 = 4*b, 2*m - f*b - 1 = 3 for m.
2
Suppose -4*h + q = 29, -h + 5*q + 6 = -1. Let s be ((-4)/(-5))/(2/(-240)*h). Solve 5 = -n, -2*n - s = -z - 0*z for z.
2
Let x(i) = 5*i**2 - 65*i + 3. Let y be x(13). Solve 2*m = -n - 5, -5*n + 0*n + 40 = -y*m for n.
5
Let s be ((-32)/(-10))/((-492)/(-615)). Solve 0 = -5*l - s*p + 11, -l = -0*l + 3*p for l.
3
Let c = 300 + -292. Let s be c - (11 + -4) - -2. Solve -6*j + 3*j + 3*f = -9, 5*f + 19 = s*j for j.
-2
Let q(g) = -g**2 + 4*g - 1. Let u be q(3). Suppose -5*w + 5*l = -u*w - 40, -5*w - 2*l = -15. Solve -t + 3 = -3*v + 7, 2*t = w*v - 6 for v.
2
Let q(s) = s**2 + 35*s + 253. Let k be 50/35*(-4 - (-15)/(-5)). Let t be q(k). Solve 2*l = t*f - 2*l + 5, -2*f + 3*l - 5 = 0 for f.
5
Suppose 10 = -2*f, f - 6 = -5*r + 39. Suppose 175 = r*u + 125. Solve n = 2*n + u, 5*k + 4*n = -10 for k.
2
Let y(v) = v**2 + 101*v + 398. Let h be y(-4). Solve -9*l - 4*i + 29 = 0, 0*l + h = 5*l + i for l.
1
Let x(s) = s**3 + 13*s**2 + 21*s - 2. Let o be x(-11). Let k be (-9 - 9)*(-3)/o. Solve -4*p + 30 = -2*v, 3*p - k*p + 3*v = -30 for p.
5
Let d(f) = -4*f + 24. Let k(i) = -13*i - 20. Let s be k(-2). Let w be d(s). Solve -r + 1 = 6, w = -n - 2*r - 8 for n.
2
Let g(c) = -c**2 + 54*c + 646. Let o be g(-10). Solve -2*u + o*d + 24 = d, 0 = u + 3*d + 10 for u.
2
Suppose -i = 132 - 132. Suppose i = a - 4*k - 2, 30*k - 32*k = -8. Solve 2*g - a = -2*y, -2*y - 2*g + 3 = -3*y for y.
5
Let k = -323 - -281. Let g be 1/2 - k/(-84). Solve -3*l = 2*l - 4*o - 7, g = 2*l - 4*o + 2 for l.
3
Let p be (2 - (7 - (-9 + 9)))*-1. Solve -p*b = 2*s - 30, -b + s - 16 = -3*s for b.
4
Let y(r) = 3*r**2 - 60*r + 7. Let i(a) = -a + 41. Let f be i(-18). Let p = 79 - f. Let o be y(p). Solve 2 = -5*s + u - 0*u, -3*u = -2*s + o for s.
-1
Suppose -3362 = 22*g - 3670. Solve 5*q + 18*l - 21*l = g, -4*q = -2*l - 10 for q.
1
Let v be 2/8 + 427/(-28) + 8. Let g(a) = -a**3 - 11*a**2 - 30*a - 12. Let d be g(v). Solve 0 = 3*s - d*b + 21, 2*b - 18 = 3*s + b for s.
-5
Suppose -3*f - 12 = -3*n, -n - f + 8 = -4. Suppose -n*y = -4 - 12. Solve -3*c + 0 = y*m - 3, -3*m = -4*c + 4 for c.
1
Suppose 331 + 403 = -3*k - 4*a, 3*a = -k - 238. Let s be (1/((-5)/k))/1. Let x be (-4)/(-18) - s/(-18) - -1. Solve 2*p + h + 9 = 0, -x*p = -0*h - h + 15 for p.
-4
Let n = 57 + -51. Suppose 27 + 27 = n*t. Solve 0 = -2*x + 3*k - 4*k + t, 3*x + 3*k - 18 = 0 for x.
3
Let y = 7181 + -7178. Solve 5*a = -y*o - 26, a + 7*o - 3*o + 12 = 0 for a.
-4
Suppose -2*c = -i + 909 - 997, -6*c + 2*i + 262 = 0. Solve 0 = -4*g - 42*j + c*j + 9, 2*j = -g + 9 for g.
3
Suppose -1764 = -565*f - 23*f. Let c(a) = a + 1. Let h be c(-2). Let x(s) = 18*s**2 - 1. Let q be x(h). Solve 5*w = 4*v - q, f*w - 20 = 5*w + 5*v for w.
-5
Let b be (14/3)/((-77)/(-66)). Let g = 1 + 3. Let n = -4 + g. Solve n = -i - 3*i - b*z - 4, 5*z = 3*i + 3 for i.
-1
Let q = 717 + -713. Solve 28 = q*j + 54*c - 50*c, 11 = j + 3*c for j.
5
Suppose -3*j = a - 4*j - 14, -2*j + 16 = 2*a. Solve 8 = g + 2*r, -2*r + 8 = -a*g + 8*g for g.
0
Let k = 2530 + -2509. Solve -23*x = 4*p - k*x + 24, -2*p = 2*x + 16 for p.
-4
Let a(i) = -45 - 2*i + 25 - 16. Let r be a(-20). Suppose -r*v - 81 = -13*v. Solve -4*g + v*g = -3*b - 9, 0 = g - b + 5 for g.
-3
Suppose 2*j - 5 = 9. Suppose 10 = j*m - 11. Solve 2*o + 1 - m = 0, 0 = f - 5*o + 10 for f.
-5
Let k be (-1246)/(-178) - ((-126)/24 + 1/4). Solve 3*n - 23 + k = -5*t, -19 = 5*n - t for n.
-3
Let b(a) = -a**3 + a**2 + 184*a - 24. Let i be b(14). Solve -x - 12 = 3*g, -i*x - g = -3*x + 4 for x.
0
Suppose 26*z - 28*z + 8 = 5*h, 0 = -h + 3*z + 5. Solve -5*b - 7 = -h*t, -4*b + 9*t - 3 = 10*t for b.
-1
Suppose -28*v + 392 = 184*v - 2152. Solve 0 = f + 7*j - v*j, 0 = -3*j + 3 for f.
5
Let l(g) = -11*g**2 + g**3 - 353 + 684 - 348 + 12*g. Let z be l(10). Solve 7*p + 21 = 3*n + 5*p, -z*n - 2*p = -9 for n.
5
Let g = 25126 + -25101. Solve -5*u - 2*d - 17 = -g, -2*u = 5*d - 20 for u.
0
Let z(s) = 2*s + 2. Let h(l) = -14*l + 4. Let x(g) = 2*h(g) + 10*z(g). Let p be x(3). Solve -p*v + v = 12, q - 3*v - 7 = 0 for q.
-5
Let s be (1 + 0)/((-3)/(-24)). Suppose 0 = 5*b + 5, 8*g = 5*g + 2*b + s. Suppose -2*x + 30 = 3*x. Solve 2*z + x = -4*o, -z + o = g*z - 12 for z.
3
Suppose 0 = -2*s - 0*z + z + 27, -3*s - 2*z + 30 = 0. Suppose 32 - s = -5*g. Let a be 0/(6*g/8). Solve -4*l = 4*c - 10 + 2, a = 2*c - 4 for l.
0
Let d(w) = 181*w + 2190. Let x be d(-12). Solve -4*f = -2*o + x, -3*o + 18*f - 16*f = -11 for o.
1
Suppose 6 = 2*u - 4*b, -u = 4*u + b - 26. Suppose 6*c = c - 3*w - 4, -4*c + 19 = -u*w. Suppose -2*y + 5 + c = 0. Solve 0 = 2*j + y*s, 0 = 3*j + j - 5*s for j.
0
Suppose -4*j = -21*u + 19*u + 16, 5*u - 52 = -2*j. Let z(c) = -4*c + 42. Let b be z(u). Solve 0*g + 1 = -b*f - g, 3*f - 5*g - 5 = 0 for f.
0
Suppose -p - 2936*f + 32 = -2932*f, 3*f + 4 = p. Solve -24*z + 4 = -22*z, -4*q - p = 2*z for q.
-5
Suppose 0*w + 3*w - 49 = 4*p, 7 = -2*w - 3*p. Solve -3*u + 24 = -4*d, w*u + 16 = 11*u for d.
-3
Suppose 3*t - 70 = 20. Suppose 5*f = 30 + t. Let x be f/(-9)*(-3)/2. Solve -4*a + x = l - 2, 0 = -4*a + 8 for l.
-4
Let p(y) = -y**3 + 26*y**2 + 190*y + 76. Let o be p(32). Solve 0 = -f - 5*i - o, -2*f - 5 = i + 1 for f.
-2
Let o(i) = 35*i - 195 - 62 - 4 + 9*i + 9*i. Let m be o(5). Solve 0 = 2*w - m*j, -2 - 7 = -3*w - 3*j for w.
2
Let o(g) = -g + 34. Let l = 3 - -46. Suppose -21 = -5*b + l. Let h be o(b). Solve -d + h = 4*k, -5*d + 5*k - 5 = 20 for d.
0
Suppose y = -2 + 4. Suppose -3*b + 12 = 0, y*a - 3*b = -0*b - 50. Let k = a - -25. Solve 2*n + 0*n - t - 6 = 0, n + k = 5*t for n.
4
Suppose 10*j = 6*j + 8. Suppose -2*n + 2*o + 26 = 0, 3*o - 16 = -4*n - j*o. Let z be (-1 + 3/(n/(-93)))/(-2). Solve -2*r - r - z = -4*p, -4*r = -5*p + 20 for r.
0
Let a(m) = 6*m - 22. Let h be a(3). Let x be (-6)/h - (-9)/6. Solve -14 = x*p - 0*p + 5*d, p - 2*d = 10 for p.
2
Suppose -36*h + 48*h - 168 = 0. Let r be 9 - h/7 - (2 + 2). Solve -2*s = -3*l - s - 7, r*l = -4*s + 13 for l.
-1
Let j be (30 - 29)*5/(5/4). Suppose -2*l + 3*q = 7*q - j, 0 = 5*l - 2*q - 22. Solve -2*v - 10 = 2*k - 0*k, l*k - v = -15 for k.
-4
Suppose 3*u = -5*z - 124, -2*u - z + 37 = 108. Let w = 134 - 169. Let b = u - w. Solve 2*g - q + b*q = -4, 3*q + 12 = g f