 h*v, 0*i = i - v - 8 for i.
3
Suppose -5*k + 29 = 4. Suppose -2*g = 3*b + 12, -11 = -5*b - k*g - 36. Let q be b + (-3)/1 + 18. Solve q = -4*m - s, -3*m - 26 = -0*m + 4*s for m.
-2
Let c(w) = -2*w**3 - 2*w**2 + w + 2. Let y be c(-1). Let j be (-476)/(-252) - y/(-9). Solve 0 = 3*k - 5*k + 2*m - 2, -3*k = -j*m + 7 for k.
-5
Suppose 33*w - 150 = 8*w. Solve -w = 3*g, -4 = -y - 0*y + 2*g for y.
0
Let s(u) = 3*u - 6. Let f = -8 - -9. Let p be -3 + (3 - f) + 4. Let o be s(p). Solve -3*r = -5*h + 37, 0 = o*r + r - 2*h + 26 for r.
-4
Let d = -17 - -2. Let u be 12/30 + (-744)/d. Let o = u - 16. Solve -y = 2*s - 13, -3*y - 5*s = -0*s - o for y.
3
Suppose -22 = -n + 4*t, -4*n - 5 = -9*n - t. Let h = 39 - 20. Let i = h + -19. Solve i*s + n*q = 3*s + 7, -14 = 4*s + 2*q for s.
-3
Let a be -1 + 2 + (-2 - -3). Suppose c - 4 = a. Solve -2*m + c = -4*z, 3*m - 5*z + 3 = 12 for m.
3
Suppose -3*d + 15 = 0, 5*d - 26 = 2*l + 3*d. Let q be ((-12)/(-10))/(l/40). Let w be ((-2)/3)/(q/27). Solve 3*s + 5*x = 19, 5*s + w*x - 5 = -0 for s.
-2
Let a be (-106)/(-8) - (-1)/(-4). Let f = -275 + 275. Solve 4*o - 16 = f, -t + 4*o - a = -0*o for t.
3
Let j(g) = -g - 1. Let i(a) = 4*a - 3. Let b(h) = i(h) + 2*j(h). Let t be b(7). Let f = 11 - t. Solve f*r + 19 = 3*p - 0*p, 0 = -r + 5*p - 20 for r.
-5
Let d = 131 - 185. Let t be -3 - d/10 - 6/15. Solve o + r = 2, -3*o - 19 = -0*o - t*r for o.
-3
Let w(y) = -80*y + 2. Let m be w(0). Let d be 5 - (-1)/2*0. Let t be 1/(-1*1/(-3)). Solve m*p + 8 - 24 = -d*l, 0 = 3*l - t*p - 18 for l.
4
Let w = -342 + 344. Solve -f - 2*q = -1, f + w*q = 3*q - 8 for f.
-5
Let w be -10 + (-160)/(-6 - 2). Solve -2*l + 3*n - 7 = 0, 2*l + 3*l - 5*n = -w for l.
1
Let j(u) = -3*u + 38. Let h be j(11). Solve -m + 10 + 10 = -h*t, 16 = -5*m - 4*t for m.
0
Suppose -5*m - 4 = -2*t + t, m = -t + 16. Solve 2*q - 4*c - t + 6 = 0, 40 = -5*q - 5*c for q.
-4
Suppose 11*c - 6*c = 35. Let t be c/(-2)*(-120)/84. Solve -5*m = -t*o + 40, 5*o - m + 3*m = 19 for o.
5
Let v be 5 + (-15)/(-5) + -5 + 10. Solve j + 3*g + v = 0, -6*j + 5*g = -j - 15 for j.
-1
Suppose -4*z = -369 - 183. Let k = z - 135. Solve -i + 10 = -5*w, 4*w + 32 = -7*i + k*i for w.
-3
Suppose -2*q + 2 = 5*m, 2*m + 10*q = 8*q + 2. Solve h - 4*d - 9 - 16 = m, 30 = 2*h - 4*d for h.
5
Let u = 111 - 12. Let b = -97 + u. Solve -b*d = -4*l + 3*d - 35, -3*d = -9 for l.
-5
Let t be (-1)/5 - (-231)/105. Let r = -21 + 24. Solve -4*f + 2*f = r*i + 23, t*i = 3*f + 2 for f.
-4
Let s = -14 - -19. Suppose -3*r + 19 = 4*t, -4*r + 2*t = -6*r + 12. Solve 4*k - r = s*d + 19, -4*d - 2*k = 14 for d.
-4
Let x be (10/20)/(1/4). Let z = 2 - 0. Suppose s - z = x. Solve 5*f - s*i = -3*i - 14, -3*i = 2*f - 8 for f.
-2
Let z = -462 + 464. Solve 0*i - i - 5*j = 5, -i - z*j = 2 for i.
0
Let i(s) = -s**3 + 3*s**2 + 2*s - 2. Let l be i(3). Suppose 4 = h + l*h + 2*t, -4*t + 8 = -4*h. Let a = 4 - h. Solve a*q + 4*m = 3*m + 7, -5*m = 25 for q.
3
Let u be 54/(-405) - (-62)/15. Solve p = -u*r - 15, 4*r - 6*r = -3*p - 3 for p.
-3
Let q(h) = -19*h - 93. Let r be q(-5). Solve -4*g + 8*g = 20, 20 = -5*i + r*g for i.
-2
Suppose 16 - 136 = -24*a. Solve 4*t + 2*u - 24 = 0, 2*t = 2*u - a*u + 20 for t.
4
Suppose 0 = -6*q + 3*q + 114. Suppose 42*p = q*p + 12. Let s(w) = w**2 - 6*w - 2. Let x be s(7). Solve -4*l + 7 = p*a, 3 - 9 = -x*a - l for a.
1
Suppose 45*w + 6 = 48*w. Solve d + 1 = -w*s + 11, 5 = 3*d + s for d.
0
Suppose m = 2*t - 65, 4*t = -2*m + 10 + 100. Suppose -t = -12*g + 2*g. Solve 2*b + 14 = 2*z, 3*z - 6*z = 3*b + g for b.
-4
Suppose -7*d - 7114 = -7149. Suppose 9 = -5*g - 3*k + 6*k, 0 = -3*k + 9. Solve g = 3*x + 3*z - 9, -d*z - 14 = -3*x + 3 for x.
4
Let z be -1*1/(-2)*4. Suppose -z*u + 4 = -12. Suppose -5*t + 41 = 4*w, 0 = t + 5*w - 19 - 6. Solve 5*a - u = 2*x, 5*x + t*a + 20 = -0*a for x.
-4
Suppose 4*a = 5*d - 28, 3*d - 11 = 2*a + 5. Solve d = 5*t + v - 0, 0 = -3*t - 3*v for t.
1
Let w(f) = -f**3 - 4*f**2 - f. Let x be w(-4). Suppose -15*g - x = -16*g. Solve -4*k + 4 = g*c - 7*k, -c + 5*k + 18 = 0 for c.
-2
Let q(c) = c - 6. Let n be q(10). Suppose -4*j + 32 = -g - 3*g, 0 = 2*j + g - n. Solve 9 = 2*b - 4*p + 1, j*b + 5*p = 3 for b.
2
Suppose 2*t - 16 = 4*z, 2*t + z = -0*z - 4. Suppose 0 = -t*w + w. Suppose 0 = -w*g + 5*g. Solve -3*a + 9 = -g*a - 4*n, n = -4*a + 12 for a.
3
Suppose 2*o = 34 + 12. Suppose 26*d - 24 = o*d. Let h(b) = -b**2 + 11*b - 19. Let k be h(d). Solve -k*l + 12 = 4*v, -5*l - 2*v = -v - 3 for l.
0
Suppose 0 = -5*j - 4*d + 71, 0 = -d - 4*d + 20. Suppose -3*y + j = -10. Let t = 12 - y. Solve -t*q = -5*c + 20, 3*c - 5*q + 4 = 16 for c.
4
Let l = -11 - -8. Let i be (((-6)/(-3))/(2/l))/(-1). Suppose 9*z - 4*z = 0. Solve -i*c - 5*b + 1 - 33 = z, -2*b - 20 = 3*c for c.
-4
Let n = -4 + -2. Let m = n + 11. Let t = 0 + 3. Solve k + 4*y = -y + 14, -t*y + m = 4*k for k.
-1
Suppose 16*i - 2 = 30. Let q(u) = u + 1. Let n be q(i). Solve -n*j - 2*g - 17 = 0, -2*j + 1 = -3*g - 5 for j.
-3
Suppose 0 = 3*c + 5*d + 14, -5*c + 26 = d - 5*d. Suppose 98 = 8*b + 10. Let x be (-88)/b*(-1)/4. Solve 2*j - c*y + 2 = 0, y = -2*j - x*j + 6 for j.
1
Let i be (-16)/(-12)*6/4 + 5. Suppose 2*q + a + 11 = 4*a, 3*a = 4*q + i. Solve 5*p - 23 = 3*z, 0*z - p = -q*z - 6 for z.
-1
Let s(z) = -3*z + 9. Let m be s(11). Let f be m/13 + 28/(-182). Let o be (f - (-2)/3)*-3. Solve -3*r + o*x + 14 = 0, -1 = -x - 6 for r.
-2
Suppose 175 = -9*l + 4*l. Let m be l/21 + (-2)/(-3). Let s be m/(-3) - (-3)/(-9). Solve 0 = -5*q + 15, s = 3*b + b + 5*q - 35 for b.
5
Let g(p) = -2*p**3 + 12*p**2 - p + 9. Let q be g(6). Solve -2*v + 5*z + 21 - 36 = 0, 2*v + q*z - 25 = 0 for v.
5
Let w(f) = 6*f - 28. Let k be w(5). Solve 4*s - 4 = k*z, 2*s = 4*z - 2*s for z.
2
Let w = -2808 + 2815. Solve 0 = -c - 5, 0 = -w*p + 2*p - 2*c + 5 for p.
3
Let l be 288/56 + 18/(-126). Solve 4*f = l*y + 20, 0 = -5*y + f - 1 - 4 for y.
0
Let w = -2 + 10. Suppose -2*v - 4*m + 4 = -6*m, -4*v = -2*m - w. Suppose 12 = -3*x, 2*y + x - v = -y. Solve 8 = -y*p - b + 2, 2*b - 4 = 4*p for p.
-2
Suppose 3*i + 3*p = 0, 0 = 5*i - 3*p - 19 + 3. Let x(y) = -5*y + 3. Let k be x(1). Let q be (-6 + -2)/(k - 0). Solve i*u + 0 = 2*t + q, 5*t + 4*u - 8 = 0 for t.
0
Let t = 2256 + -2252. Solve -k - i - 8 = -t*k, -4*k = -i - 9 for k.
1
Suppose 3*j = -3*n - 15, 4*j = 4*n - 6 - 14. Solve 7 = 4*d - q, -3*q = -d - 1 - n for d.
2
Let u = -119 - -121. Solve 0 = u*o + 3*x - 18, -5*x + 32 = 4*o - 0 for o.
3
Let l(d) = 94*d**2 + 2*d - 2 + 5*d**3 - 94*d**2. Let i be l(1). Solve -4*v - i*o + 0*o = 16, 3*o + 20 = -5*v for v.
-4
Let z be (-24)/15*15/(-6). Let d be 47/9 - z/18. Suppose -d*f + 8 = -3*f. Solve 2*h = 0, -f*v - 12 = -3*h + 4 for v.
-4
Let z(f) = -f**2 - 18*f - 72. Let b be z(-11). Let y(j) = -j**3 + 3*j**2 + 6*j - 6. Let l be y(4). Solve -w = -5*r + 2*w - 1, b = r + l*w for r.
1
Let o(a) = -a**2 - 2*a + 4. Let b be o(2). Let j be (-1)/(1*b/20). Solve 0 = -5*d - 2*w + 24, j*w = d + 6*w - 6 for d.
4
Let o = 391 - 388. Solve -35 = -5*m + 3*b, o*m - 6*m - 4*b = 8 for m.
4
Let f = -334 + 337. Solve -1 = -5*i - f*l, -i + l = 4*i + 7 for i.
-1
Let u(b) = -b**2 + 4*b + 82. Let t be u(-7). Let j(m) = -2*m - 8. Suppose 2*q = -3 - 9. Let r be j(q). Solve -5*g + 15 + t = 2*s, -r*s = 0 for g.
4
Let t(k) = -k + 9. Let m be t(7). Let u = m - -10. Suppose u = 3*g + g. Solve 2*r - 11 = -0*r + 5*q, -5*r = -g*q - 18 for r.
3
Let p(g) = -g**3 + 29*g**2 - 23*g - 29. Let b be p(28). Let a = b + -108. Solve 0 = a*r + 3, -u = -2*u + 5*r + 7 for u.
2
Let q be 17/(-2) - 2/4. Let n be (0 - (-1 + 1) - 7)/1. Let g = n - q. Solve 3*b + 25 = 5*l, -g*l - b = b + 6 for l.
2
Let f be (3 + -6)/((-21)/14). Solve -3*n + 4 = -f*g, -5*n + 36 = 3*g + g for n.
4
Let k be (-40)/6*(-27)/36. Solve 0 = -2*l - 6, s + 0*s - k*l - 12 = 0 for s.
-3
Suppose 0 = -4*s + 5*b + 29, 0*b + 14 = 3*s + 4*b. Let m(t) = t - 2. Let q be m(s). Let l be (-20)/(-130) + 89/13. Solve q*f = -4*v + 36, v + 2*f = l + 6 for v.
5
Let k = -31 + 40. Suppose -s + k*s = 8. Solve z - 3*n = -s, 4*n - n = 0 for z.
-1
Let r(q) = 40*q**2 + q + 1. Suppose 5*p - i + 5*i + 25 = 0, -4*p - 4*i - 24 = 0. Let y be r(p). Solve 4*a + y = -4*d, -4*a + 0*d - 3*d - 35 = 0 for a.
-5
Let z(u) = 2*u + 1. Let f be z(-1). Let b(x) = 9*x**3 + x**2 + x + 1. Let t be b(f). Let h be 3/(-2 - t)*0. Solve h = -2*j + w - 8, 3*w - 7*w