6 = 0 for h.
-3
Let b(k) = -k - 3. Let g be b(-6). Let j be (1*-2)/(1/(16 - 17)). Solve -19 = -5*n + 4*y, -j*n - y = -g*y - 8 for n.
3
Let p(n) = -316*n + 1583. Let y be p(5). Suppose -5*u + 15 = -0*u + 5*a, 0 = 2*u + a - 5. Solve -29 = y*d + 4*z, -z = -u*z - 5 for d.
-3
Let o(q) = -2*q**3 - 115*q**2 + 40*q - 1041. Let l be o(-58). Solve -4*n + 2*g + l*g = -45, -6*g = 30 for n.
5
Suppose 14*k + n = 10*k + 2, -26 = -k + 4*n. Solve -k*y - 33 = 3*j - 41, 0 = 3*j + y - 7 for j.
2
Suppose -51*s = -56*s + 3*g - 5, 2*s + 3*g - 19 = 0. Solve -5*j + 27 = 5*y - 3, 0 = -s*j + 4*y - 6 for j.
3
Let o be (-8)/(-6)*((-1596)/112)/(-19). Solve -2*y + o = g, 0*y + y = 4*g - 22 for y.
-2
Suppose -4*o - i + 9 = -8, -3*o = i - 12. Suppose 15 = o*n - a + 2*a, 3*a = -5*n + 5. Suppose 8 = 3*t - n. Solve 0 = 3*z + t*j + 8, 5*z + 15 = j - 6*j for z.
-4
Let p(l) = 7*l - 17. Let r be p(-7). Let s be (-11)/(r/60) + -2. Let k(w) = w - 7. Let o be k(8). Solve -x - o = 5*q - s, -3*q = 5*x - 13 for x.
2
Let s(z) = -18*z - 17*z - 16*z - z**2 + 53*z + 4 + z**3. Let a be s(0). Solve 0 = -4*q - 3*k - a, q + k + 3 = 1 for q.
2
Let m = -3623 - -3626. Let v be (-4)/10 - (-54)/10. Suppose -i - 20 = -v*i. Solve 5*s - s - m*j = 28, 0 = i*s - j - 24 for s.
4
Let l(d) = -20*d - 155. Let j(g) = -g**3 - 15*g**2 - 13*g + 6. Let w be j(-14). Let p be l(w). Solve -22 = -4*o - 2*z, 2*o + p*z - 10 = o for o.
5
Let a be ((-6)/9)/2*-9. Suppose 0*u + a = u. Suppose 15 + 7 = 13*v + 9. Solve -x - 3*k = -u - v, -3*k = -4*x - 14 for x.
-2
Suppose -8723*m = -8726*m + 9. Let n be (-10)/(-6)*(-1 + 4). Solve n*u - m*a + 4*a + 7 = 0, 4*u - 3*a = 2 for u.
-1
Suppose 0 = 6*u - 31 + 7. Suppose 2*b = 5*j + 6*b - 29, -24 = -u*j - 4*b. Solve 3*p - j*h + 3 = -0*h, p + 1 = h for p.
-1
Let d(z) = -z**2 + 12*z - 14. Let o be d(10). Let j = -3 - -6. Let t be (12 - o) + (2 - j). Solve -5*x - 5 = t*y, x - 24 = -y + 5*y for y.
-5
Let n be 12/42 - (2 - (-30)/7). Let p be 4 + -7 + 8 + n. Let b be (p + (-2)/(-2))/((-10)/5). Solve s + 3 = -d - 0*s, b = -3*s - 15 for d.
2
Let r = -70 - -64. Let q(b) = -20*b - 15. Let h be q(r). Let z = 118 - h. Solve 3*m + z = -4*f + 2*f, -4*f - 8 = 0 for m.
-3
Suppose 3*v - 2*g = 133, 0*g - 108 = -3*v - 3*g. Suppose x = -3*w + v, x = w + 62 - 17. Let z be 2/8 - 2/8. Solve z = a - 5*l + 21, -5*l + x = 3*a + 7 for a.
4
Suppose 10*l - 43*l - 314 = -380. Solve -l*x = 2*p + 14, -3*p + p + x + 1 = 0 for p.
-2
Suppose -5*a + 18 = r, -5*a + 24 = -46*r + 49*r. Solve -2*h - h + 3 = -3*y, r*h + y = 15 for h.
4
Let u = -6372 - -6374. Solve -5*s + 6*s = 3*v - 10, u*v + 5*s = 35 for v.
5
Suppose -2*m - 2*u + 8 = 0, -36*u + 35*u = 4*m - 4. Solve y = -11 + 5, m = 3*n - 3*y - 27 for n.
3
Let c = -125 + 126. Let a(b) = 3*b**3 - 4*b**2 + b + 2. Let p be a(c). Solve 4*w + 11 + 10 = 5*h, 0 = -p*h + 2 for w.
-4
Suppose 302 - 244 = 151*w - 697. Let h = -2 - -2. Solve w*s + 4 = 2*g - h*g, g - 2*s - 1 = 0 for g.
-3
Let b = -29550 - -29556. Solve 0 = -2*k + b, 24 = -46*m + 50*m + 4*k for m.
3
Suppose 93 = -61*l + 92*l. Solve 0 = l*i - 5*s + 24, -4*s - 18 = -3*i - 6*s for i.
2
Let f = 143 + -141. Suppose -4*g + 3*a - a + 12 = 0, -6 = -f*g - 3*a. Solve -x - g*m = 5, -2*x + m = 3*x - 7 for x.
1
Suppose 45*b - 295 - 1235 = 0. Solve -2*o + b*d + 6 = 32*d, -d = 4 for o.
-1
Suppose -51*b - 901 + 1054 = 0. Solve 4*w - 17 = 5*k, 5*w + 3*k - b = 9 for w.
3
Let p be ((-99)/(-66))/((-2)/(-8) + 0). Solve 3*s - t = 2, s + 5*t - p = 8*t for s.
0
Let c be (116/6)/(-1)*(-9)/2. Suppose 15*l = 183 + c. Solve -l = -3*b - 5*p + 2, -20 = -5*p for b.
0
Suppose -56*a = -46*a - 140. Suppose -2*j - a*j = -8*j. Solve -17 = -2*o - 3*o - 2*b, b + 4 = j for o.
5
Let z(b) = 3*b**2 - 16*b - 280. Let h be z(-8). Solve 5*r + h = 5*p - 0, 5*p + 5*r + 10 = 0 for p.
3
Suppose k - t + 25 = 4*k, -2*k = 5*t - 21. Let m be ((-112)/21)/((-2)/6). Suppose -m*z = -k*z - 24. Solve -z*l = a - 4*l - 6, 5*a = 4*l + 26 for a.
2
Suppose -3*q = -8*q + 60. Let f(x) = -x**3 + 3*x + 2*x + 6 - 5*x + 12*x**2. Let k be f(q). Solve -2*s + n = 1 + 1, -k = 4*s - n for s.
-2
Let y = 100 - 86. Let f be y/(-4)*((-26)/(-14) - 3). Solve 3*n - 4*c = -c + 12, 0 = f*n - 5*c - 18 for n.
2
Let x(n) = n**2 + 12*n - 5. Let c(s) = 17 + s**2 + 5*s + 12*s - 4*s. Let d be c(-10). Let h be x(d). Solve 0 = -2*u + 5*t + 2, -3*u - 3*t - 26 = -h for u.
-4
Suppose -129 = r + 11*x - 13*x, 0 = 4*r + 5*x + 477. Let s = -118 - r. Solve v + i - 8 = -1, s*v = -4*i + 30 for v.
2
Suppose -27 = v + 3*q, 2*q + 25 = -3*v + 7*q. Let a(w) = w**3 + 14*w**2 - 14*w + 17. Let j be a(v). Solve 0 = 5*u - j*h + h + 20, 5*u + 45 = -4*h for u.
-5
Let r be 3/1*(-16)/(-12). Let m be (-279)/155*(-10)/3. Let v be 6/10*r + m/10. Solve 5*x - v*q = -17, 5 + 0 = -x + q for x.
-1
Let y = 4801 + -4764. Solve x - o = -6, -35*x = -y*x - 5*o + 2 for x.
-4
Let g = -105 - -96. Let m be (-15)/((-20)/136*g/(-15)). Suppose 3 + 0 = 3*a, 0 = 5*j - 5*a - m. Solve 4*p + j = -5*l, -p - 4 = 2*l + 7 for p.
-5
Suppose -3*f = 4*z - 65, -6*z + 8*z + 4*f - 20 = 0. Let x be -4 + (2 - (-6)/3). Solve -5*g = -z, x = -4*c + 2*c - g for c.
-2
Suppose -6*p - 512 = 304. Let w = p - -139. Solve w*a + 1 = -4*m - 31, -5*a - 15 = -m for a.
-4
Suppose 0 = -2*v + 3*c + 22, -c = -668*v + 669*v + 4. Let g(r) = r**3 - 2*r**2. Let z be g(1). Let f be 2/4*0/z. Solve f = l + k, -2*l + 5 = -3*l - v*k for l.
5
Suppose -n = 0, 5*f = f - n + 12. Let i be (2/3)/(f/63). Let t be ((-1)/(-2))/(12/24) + -1. Solve -3*k + 2*l - 20 = t, k = -5*l + 2 + i for k.
-4
Suppose 20*c = 24*c + 63*c. Solve -2*w + 3*l = 2, 4*w + c*w + 4 = -5*l for w.
-1
Let t be 28/21*(-75)/(-20). Suppose 5*x - 70 = 30. Suppose -x = t*z - 5*l, z - 3*l - l = -16. Solve -2*y = -4*m + 2 + 6, -m + y + 1 = z for m.
3
Let o(c) = -24*c + 797. Let j be o(33). Solve 4*s + 4 = l, 4*s - j*l + 3 = s for s.
-1
Suppose 4*k = -2*f - 24, -4 = 3*k + 5. Let n be 8/(-12) - f/(-9)*-13. Suppose 7*g = 5*g + n. Solve -o = -g*p + 8, 3 = p - 0 for o.
4
Let u(f) = 398*f + 416. Let j be u(-1). Solve -j*n + 19*n + 6*v = -4, 3*v = 4*n - 11 for n.
2
Let p = 536 - 557. Let g be p/(-14) - 62/(-4). Solve 0 = 3*v - n + 10 - 3, 0 = -3*v - n - g for v.
-4
Suppose -2*g + 13 = a, -8*a - 3*g + 24 = -5*a. Solve -q + a*r - 6 = 2*q, 3*r = 9 for q.
1
Let f = -284 - -287. Solve -f*n + 2*n - 2*x + 4 = 0, 5*n - 15 = -5*x for n.
2
Let k be (1*-1 - 714/204)/((-6)/4). Solve -13 = -t - k*l, 3 = -t + 5*l - 16 for t.
1
Let n(c) = c**2 + 2*c + 1. Let z be n(-1). Let q = z - -9. Let f(g) = -g**2 + 3*g + 26. Let h be f(6). Solve h = -2*o - 4*m, -o - q = -4*o + m for o.
2
Suppose -10*o + 13 = -27. Solve 3*j + 4*n + 18 = 7*n, 17 = -o*j - 3*n for j.
-5
Suppose 2*h + z = -2*h + 540, 675 = 5*h - 5*z. Suppose 13*i + h = 16*i. Solve s - 4 = 2*s, -i = -5*d + 5*s for d.
5
Let q = 6 - -3. Suppose -6*a = -7*a - q. Let i = a - -12. Solve 4*b - 11 = 3*h, 5*b - i*h - h = 15 for b.
-1
Suppose 23*m - 15 = -8 + 85. Let h be 9/4 + 2/(-8). Suppose 2*x - 6 = -h. Solve f - 2*y + 0*y - x = 0, -f + m*y + 2 = 0 for f.
2
Let m be -18 + 14 + 9 - 3. Solve -2*f - 2 - 8 = 3*x, 0 = -m*x + f + 5 for x.
0
Let w be ((-10)/(-22))/(178/1958). Solve 4*g = w*z + 17, 0 = -5*z - 3*g + 108 - 104 for z.
-1
Let a be -2*((-4 - 1) + -5). Let p be (-16)/a - (-312)/65. Solve 0 = x - 5*w + 2, p*w + 2 = -5*x - 8 for x.
-2
Suppose -2*o - 3*n = -26, -419*o + 423*o + n - 22 = 0. Solve 3*v + 4*m = -38, -v - o*m - 73 = -47 for v.
-6
Let s be -3*(-12 + (-102)/(-9)). Solve -6*j = s*g - 4*j, 5*g - 6 = -3*j for g.
3
Let x = -22 + 25. Suppose 32 + x = 5*s. Suppose w - s + 0 = 0. Solve 3*r = 4*z - w, 2*r - 3*z - 2*z = -7 for r.
-1
Let u(x) = -22 + 32*x - 18 - 101 - 3. Let r be u(5). Solve -2*f + 4 = -2, -2*f + r = 2*v for v.
5
Let f = 189 + -144. Suppose -18 - f = -7*h. Solve 14 = -3*c + 5*r, 4*c + h = 2*r - 5 for c.
-3
Let c = 4009 - 4005. Solve 5*g - 37 = 10*g + c*w, -w + 2 = -g for g.
-5
Let w = -7142 + 7142. Solve -5 = 4*r + 3*q, w = -r + 31*q - 28*q - 20 for r.
-5
Let n be (-9)/180*-8*(5 + 0). Solve 0 = -c + 3, -3*g = -4*g - n*c + 6 for g.
0
Let h be -2*(7 + 0) + 17. Solve 20 = -5*b, -5*m - h*b - 29 - 3 = 0 for m.
-4
Let a be 2*-2 - 14/(-70)*35. Solve -5*j - 15 = -m, 3 = a*j + 6*m - 9*m for j.
-4
Suppose 0 = 2*f - 1993*a + 1990*a - 12, -5*f - 2*a = 8. Solve -q - 5*i + 5 = 0, -5*q - 5*i + i + 4 = f for q.
0
S