*z, -7 - 2 = -5*h - 3*z. Solve x - 3 = h*l + 6, -4*x + 12 = -4*l for l.
-3
Let p = 38 + -6. Suppose 4*f = 5*d - 4*d - 162, 0 = -f - 4*d - p. Let i be (-8)/f + 18/10. Solve -w - w = -i*h + 10, 5*w + 21 = 4*h for h.
4
Suppose -9*a + 4*a = -90. Let v = a - 13. Solve -7 = 3*d - g, -v*d + g - 10 = -d for d.
-3
Let c be 20/(-8)*(0 + -4). Let y be (36/(-4))/(2/(-2)). Let p = -1 - -1. Solve 2*r - 3*a - y = r, p = -4*r - a + c for r.
3
Let b(j) = -j - 4. Let a be b(-8). Suppose 5*x + 3*v = 1, -v - a = x + v. Let c be 3/(x - -1) - 0. Solve -5*m + c + 1 = -d, -m = 3*d - 10 for d.
3
Let t = 9 + -4. Solve t*w - 2*a = -a - 12, 0 = w - 4*a + 10 for w.
-2
Suppose -u = 15 - 41. Solve -7*w + 12 = -3*w, -4*h + 2*w - u = 0 for h.
-5
Let v be 58/(-6) - (-3)/(-9). Let r = v - -15. Suppose -r*p + 21 = -9. Solve h + 0*n + 4*n - p = 0, -n + 2 = 0 for h.
-2
Let f be 1 + (1 - 0) + -2. Let c be 2 - (-1 - 0) - -1. Solve -3*r - 9 = f, c*o + 2*r = -2*r - 32 for o.
-5
Let k = -16 + 49. Let p be 466/22 + (-6)/k. Suppose -3*o - 5*y + y = 10, -2*y = o + 6. Solve 3*z = -4*d + 11, -p = -2*d - d + o*z for d.
5
Let b be ((-9)/(-18))/(1/20). Suppose 10*u + 35 = 5*u. Let n = b + u. Solve 2*x - 3 = 3*q + n, -2*q - 3*x = 4 for q.
-2
Suppose 6*q = 12*q - 30. Solve p - 1 = 0, 2*p + 9 + 4 = q*h for h.
3
Let g = 8 - 2. Let h = -21 + 23. Solve -5 = 5*k - 5*f, f - 5*f = -h*k + g for k.
-5
Let n(t) = t**3 + 2*t**2 - 4*t - 3. Let m be n(-2). Suppose -3*x + 4*l = 5*l - 12, -5*x = 4*l - 27. Solve -x*g + 4*w + 10 = 2*g, 25 = -m*w for g.
-2
Let p(u) = 29*u**2 - 2*u + 3. Let z be p(2). Suppose -5*m - 20 + z = 0. Solve -2*q = -3*w - 7, 5*w + q + m + 10 = 0 for w.
-5
Suppose 0 = t - 4 - 0. Suppose 3*p = 8 + t. Solve -4 = -z - 3*u, -p*z + 2*u = -0*z - 2 for z.
1
Suppose -5*q + 75 = -0*q - 5*b, -3*q + 5*b + 47 = 0. Solve 3*y = -3*s + y + 4, 0 = 3*s + 4*y - q for s.
-2
Let s(j) = -3*j + 24. Let z be s(7). Solve 4*b - 4*f = 8, 0 = 4*b + z*f + f - 32 for b.
5
Let w = 26 - 22. Let m(y) = -2*y - 9. Let b be m(-7). Solve w*t + 2 = -b*i - 1, -2*i - 2 = 2*t for i.
1
Let n be (-2)/(-3)*9/2. Suppose n = -3*l - p + 10, -15 = -5*l - p. Solve -d + 2*b = 4*b, l*b = d for d.
0
Let j = 7 + -7. Let t = j - -5. Solve 0 = b - p + 2, t*b + 4*p = 4*b - 2 for b.
-2
Suppose -4*l + 9 = -7. Solve 3*s - l = 4*b, 3*s - 4*s = -b for s.
-4
Let z(v) = -4*v**2 + 12*v + 6. Let y be z(9). Let q be y/(-8) - (-1)/(-4). Solve 2*d + 4*l = q, -3*l + 12 = 3*d - 15 for d.
5
Let p(j) = -j**2 - 9*j - 8. Let w be p(-8). Suppose 9 = 7*r - 5. Solve -12 = 3*b, w*c - r*b = 2*c + 12 for c.
-2
Let w(x) = 4*x + 3 - 6*x + 6*x - 5*x. Let o be w(-7). Suppose 0*k - 15 = -k - 3*u, k + 2*u = o. Solve -3*v + 3*h - 27 = k, 1 = 2*v - h + 14 for v.
-4
Let r(a) = a**2 + 111. Let v be r(0). Suppose -5*d = -x + 373, -d - 2*x - 39 = 40. Let h = v + d. Solve 2*s - 3*g + 20 = 0, -2*s + 4*g - h = 3*s for s.
-4
Let m be (2/4)/(2/(-72)). Let g be (-40)/(-18) + 4/m. Solve 2*l + 5*c + 5 = -28, 5*c + 17 = g*l for l.
-4
Let a be 2*3/24 - (-135)/20. Solve b + 6 - 2 = 2*t, t - 5*b = -a for t.
3
Let z = -231 + 235. Suppose 5*m + 12 = 3*k, 0*m = -3*m. Solve k*o + c = 5, -z*c = -c - 15 for o.
0
Let n(a) = 9*a - 54. Let x be n(6). Solve 0*s - 12 = y - 5*s, x = -3*y - 3*s for y.
-2
Suppose -4*o + 18 = -o. Solve -r + x = -14 + o, -4*r = -5*x - 35 for r.
5
Let l(d) = d**2 + 3*d - 1. Let q = -1 + -3. Let g be l(q). Let c be 2/g*(-105)/(-14). Solve 9 = -2*v + 3*a, -5 = 3*v + c*a - 1 for v.
-3
Suppose -4*r = p - 239, p = -r + 2*p + 61. Suppose r = 4*n + n. Solve -4*i - 3*q - 14 = 0, 2*i + n = -0*i - 4*q for i.
-2
Let i be (-14 + 2)*(-2)/6. Suppose i*t = -0*t + 20. Solve 0 = -c + 3*z + 2, -26 = t*c + 2*z - 2 for c.
-4
Suppose 0 = 2*p + a - 23, -p = -2*p + a + 4. Let r be (0 - p)/((-6)/4). Let v(h) = 5*h - 9. Let w be v(r). Solve 2*o + x + 13 = 0, -2*o + 5*x = -o - w for o.
-4
Suppose d - 2*d + 2 = 0. Solve -2*c + 6 - 14 = m, -d = -m for c.
-5
Suppose -4*d = -19 - 29. Solve 0*t - 4*t - 22 = 3*m, -d = 2*t + 2*m for t.
-4
Let w(z) = -z**2 + 3*z + 4. Let y be w(4). Let g be -2*2*(-2)/4. Suppose -3*r = v + g*r, -5*v = -r. Solve -3*t - 2*s + 4*s = v, -t + 3*s = y for t.
0
Let p(d) = -11*d + 4*d + 13*d - 2. Let j be p(3). Solve j = -4*f + 3*k, -k - 3*k = 4*f - 12 for f.
-1
Let l be (-2)/(-5) - 46/(-10). Let a(n) = n**3 + 10*n**2 - 11*n - 2. Let r be a(-11). Let v be r/1*23/(-2). Solve t = l*w - v, -2*w + w + 3*t = 1 for w.
5
Suppose -2*t = -5*t. Solve 2*p + 3*g = -4, t = 4*p + p - 5*g + 35 for p.
-5
Let g(l) be the third derivative of -l**6/120 + l**5/12 - l**4/8 - l**3/6 + l**2. Let r be g(4). Solve -2*v - 5*i + 29 = 0, -4*v + i + 0 = -r for v.
2
Let t = 0 + 5. Let m(x) = 4*x - 16. Let g be m(t). Solve 0 = 5*s - 4*l - 18, -2*l + l = g*s - 6 for s.
2
Suppose -1 = -2*m + m + 3*j, -2*m + 17 = -j. Solve y - 2 = 3*f - 18, -m = -2*f for y.
-1
Let p be (10/(-15))/((-4)/18). Let d be 1 - p/2*-2. Solve d*s = -5*t - 0*t, 3*s + 7 = -2*t for t.
4
Let g be (-2)/8 - 65/(-4). Suppose -g = -5*j + 3*j. Let l be (-5)/(-7) - 2/(-7). Solve -s + l = -u, -5*s + 3*s - j = 0 for u.
-5
Let o = 10 - 7. Solve 0 = 4*w - o*c - 4, 4*w + 0*w = -2*c + 24 for w.
4
Let f(z) = -z**2 - 10*z + 3. Let j be f(-10). Solve 25 = -3*l + 5*o, 4*o - j = 5*l + 17 for l.
0
Let y be (-310)/(-25) - 6/(-10). Suppose 4*l - 7 = y. Solve 4*r - 2*w = -14, -6*r - 5 = -2*r - l*w for r.
-5
Let d = 15 - 10. Suppose 3 = 2*c - c, 0 = 2*y - 2*c - 4. Solve d*i + 2*w = -2*w + y, 0 = -5*w for i.
1
Let n be 5*7 + (6 - 5). Solve -4*i - n = -4*o + i, -24 = -5*o + i for o.
4
Let q(m) = m**3 - 4*m**2 + m + 6. Let y be q(3). Solve 2*s - 2*r = 11 + 7, -5*s - r + 21 = y for s.
5
Suppose -5*l + 140 = 5*r, -4*r + 2*l + 118 = -0*r. Let c = -2 + 5. Suppose s = c*x - 10, -r + 9 = -4*s. Solve k = x*k - 8, 3*d + 4*k = 20 for d.
4
Let x be ((-4)/(-16))/((-2)/8). Let b be (2 - -1) + (x - 3). Let i = b - -4. Solve 5*a = -i*k - 20, -k + 5*a = 3*k + 15 for k.
-5
Let h be (-242)/(-14) + 8/(-28). Let y = h + -15. Solve 0 = 5*k + 3*m - 1, -y*k = 2*m + 2*m - 6 for k.
-1
Suppose v + 4 = 3*v. Suppose v*f - 7 = 19. Let t = f - 9. Solve -3*x + t*w + 7 = 3, 5*x + 40 = -5*w for x.
-4
Suppose 3*y = o - 18, -3*o + 2*o + 2*y = -14. Solve 2*c = -c, -2*c + o = 2*l for l.
3
Suppose 4*v = -v + 10. Suppose -7*j = -v*j - 15. Let b(k) = k**2 - 3*k + 4. Let n be b(j). Solve 0 = -4*m + 2 + 14, -y + n*m = 11 for y.
5
Suppose 7*m - 2*m = 25. Let q(u) = u**2 - 2*u. Let k be q(-2). Let z(p) = p**2 - 9*p + 8. Let j be z(k). Solve -d - 2*v - 2 = -0*d, -3*d - m*v - 5 = j for d.
0
Let t(c) = c**3 + 4*c**2 + 3*c + 4. Let k be t(-3). Solve q + 6 = -5*a - 2, 6 = k*q + a for q.
2
Suppose -4 = -5*t + 16. Suppose 0 = b - t*b. Solve l = 4*v + 3, -v - 4*l + 1 - 6 = b for v.
-1
Suppose -4*h = -m - 11, 4*h = 5*h - 4*m + 1. Solve 5*f - 4*f + 2 = 0, 0 = 2*t - h*f + 2 for t.
-4
Suppose 20 = -0*v + 5*v. Suppose -4*x = 20, -3*x = d - 4*d + 51. Solve 4*l = v - d, 7 = -5*t - l for t.
-1
Let s be (15/(-20))/(1/(-4)). Solve 20 = 5*p - 3*z, 2*p - s*z = 4*p + 13 for p.
1
Let c be (-42)/(-12) - (-2)/(-4). Suppose -4*u - 3*n + 9 = 0, 2*u + c*n - 13 = -4. Solve u = 2*a - a - 4*g + 23, 2*a + 21 = 3*g for a.
-3
Let f(z) = z**3 - 2*z**2 - 3*z + 2. Let w be f(2). Let h be w/12 - 16/(-3). Solve 5*i + 4*y - 25 = -0*i, h*y + 15 = 3*i for i.
5
Let g be -1 + (-16)/(-4) - -22. Solve -4*s - 2*q = 8, 5*q - g = 3*s + 2*s for s.
-3
Let d be 40/6 - (-4)/(-6). Let r = d + -3. Solve -5*a = r*w - 0*a - 5, 2*a = -5*w - 17 for w.
-5
Let t = 21 + 7. Solve 2*y = 6*y - 2*c + t, 4*y - 4*c = -36 for y.
-5
Let s(u) = -u**2. Let w be (3/9)/(2/(-6)). Let b(x) = x. Let z(a) = w*s(a) - b(a). Let y be z(2). Solve c + 3*h - 7 = 8*h, -4*c = -y*h + 8 for c.
-3
Let x = 104 + -102. Solve 3*n - 1 = v, -6*v - 4*n = -x*v - 28 for v.
5
Suppose -3*c + 6 = -6. Solve -5*q - r - 4*r = -15, -c*r + 9 = q for q.
1
Suppose -5*g + 0*g = -35. Let h = g - 4. Solve -h*m - 3*u = 2*m - 5, -25 = -5*m + u for m.
4
Let a be 1 - (-2 - (-3 + 7)) - 2. Solve -3*u - 3*k = -15, a*u + 20 = u + 4*k for u.
0
Suppose -8*y = -17*y + 36. Solve -8 = -y*d + 4*l, -2*d + 6 = -3*l + 1 for d.
1
Let m be 320/(-6) - 2/(-6). Suppose -2*k = k + 5*w + 290, k = -3*w - 102. Let o = m - k. Solve 5*d - o = -3*x, 3*x - 4*d + 0*d + 8 = 0 for x.
4
Let r be (0 + -1)/((-4)/20). Solve r*f + 15 = -0*f, -4*j - 5*