*o + 2*s + 4 = 0, -s = -2*o + 4*s - 6. Let u be 4 + 0 + (1 - 2). Suppose 6*m - 6 = u*m. Solve v = -o, -m*a + 4*v - 4 = 2*a for a.
-3
Suppose -3*i + 45 = 2*i - 5*f, -2*i + f = -14. Suppose 10*g = i*g + 20. Solve -b = 5*l + 27, -10 = g*l - 0*b - 5*b for l.
-5
Suppose -5*u - 5 = -6*u. Solve 0 = -3*g + u*q + 40, -q - 30 = -5*g - 0*q for g.
5
Suppose 8*g + 17 = 57. Solve -2*c + 4*w = 3 - 9, -g = -4*c + w for c.
1
Suppose 5*v = -10 - 0. Let o be -2*1/v*2. Solve -4 = -5*c - 4*b, 0 = 3*c + o*c - b - 24 for c.
4
Let j be -2*(-1)/(-2) + -3. Let x be (j/12)/(1/(-12)). Solve 3*n = 5*m - 6, 5*n = 2*m - 14 + x for n.
-2
Suppose 3*c + 0*c = 21. Solve 0 = 4*d - c*m + 2*m + 12, 5*m - 26 = -3*d for d.
2
Let o = -171 - -171. Solve 4*q + 1 = 3*n, o = 2*q - 2*n + 1 + 1 for q.
2
Let x = -6 - -10. Solve 5*u - 3*m + 25 = 0, m - 31 + 11 = x*u for u.
-5
Let k be -1*(2 - 4 - 1). Suppose 0 = j + k + 1. Let s be (-18)/12 - 6/j. Solve 5*t + 15 = 0, s*d - 4*t = d + 13 for d.
-1
Suppose 8 = 4*p + 5*g, 0 = -5*p + p - g + 8. Let s = p + -7. Let z(k) = k + 7. Let n be z(s). Solve -3*w + 2 = -n*l + 11, w + 5*l = 14 for w.
-1
Let q be ((-12)/(-8))/((-1)/2). Let w(x) = -5*x + 2. Let l be w(q). Solve -d + l = 4*z + 1, -2*z = -10 for d.
-4
Suppose 0 = 2*q - 3*d - 1 - 5, -3*d - 6 = -5*q. Solve 2*s + 18 = 2*r + 6*s, q = -3*s + 15 for r.
-1
Let x(o) = 3*o - 4. Let c be x(3). Solve -p + 5*r + 11 = 0, 2 = -2*p - c*r - 6 for p.
1
Let h(j) = j + 6. Let q be h(0). Let p = -3 + q. Solve 2*b + 33 = 5*g, -21 = p*b - 4*b - 5*g for b.
-4
Suppose -4*r = -2*w - 20, 0 = 4*r - 8*r - 16. Let i = w + 20. Solve -3*y - i*g + 2 = -y, 4*g = 5*y + 13 for y.
-1
Suppose 2 + 10 = 4*t. Suppose -4*r - 2*b = -5*b - 7, t = -r - 4*b. Let z be ((-64)/(-20))/(r/5). Solve 0*f + 2*f - 5*s + z = 0, f = -5*s + 22 for f.
2
Suppose -2*i + 1 = -7. Solve -4*d + 6 = 5*x + i, -3*d + 3 = 3*x for x.
-2
Let f be 3*-1*(-4 + 7). Let s = f + 10. Suppose -4*w + 3*z = -5, 3 + 6 = 3*w + 3*z. Solve -3*t = -g + 5, -2*g - w*t - 7 = -s for g.
-1
Let q be (-2)/((21/(-6))/7). Solve 2*d - 16 = q*v, 0 = -v - 3*v - 12 for d.
2
Suppose 0*k - k - 2*z - 5 = 0, -4*z = 5*k + 7. Suppose 3*v + 0*v - 15 = 0, -2*v = 5*b - 20. Solve 0 = -2*u - 2*n + 5*n + b, -k = u - n for u.
-5
Suppose f - 58 = -0*f. Solve -5*t + 5*j = 13 - f, -3*t - j = -7 for t.
4
Let m(p) = p**3 + 5*p**2 - p - 3. Let u = 7 - 12. Let g be m(u). Suppose -5 = -k + 1. Solve g*c - c + 3 = -2*a, k = -2*c - 3*a for c.
-3
Suppose -6*i = -5*p - 9*i - 3, 5*i = -5. Solve p = q - 3*q - a - 4, 3*a + 12 = 0 for q.
0
Let u be (10/(-4))/((-2)/4). Suppose -4*q + q = -5*g + 3, 4*q - g + 4 = 0. Let n be 3 - (-2 - q*3). Solve 0*j + j = n*l - 7, 22 = 2*j + u*l for j.
1
Suppose 2*z = -2*z + 20. Suppose z - 17 = -4*b. Suppose 3*l = o + 8, 4*o - 28 = -0*o - 3*l. Solve 3*n + 4*y - 5 = 0, -4*y - o = -n - b*y for n.
3
Let g(x) = -x**2 - 5*x + 3. Suppose 2*u = 7*u + 15. Let p be g(u). Solve p = 3*n, -3*j + 0*n - 4*n + 6 = 0 for j.
-2
Let a(i) = -i + 2. Suppose 6*m = 2*m. Suppose -b = -r - 1, m*r - 3*r = 4*b - 4. Let n be a(r). Solve 3*k - l = 2 + 5, -2*k = -2*l + n for k.
4
Let v be 5 - (-2)/(-1) - -1*1. Solve p - t = 1, -v*t = -8*t - 20 for p.
-4
Suppose 5*w = 3*w + 6. Let h(i) = 6*i**2 - 2*i**3 + 0 - i + i**w - 3. Let c be h(4). Solve -5*a + 7*v = 3*v + 20, -c = a - 5*v for a.
0
Let h be 0*(2 + (-15)/6). Let v(s) = s**3 + s**2 - s. Let n be v(h). Suppose -3*z - 6 = -5*z. Solve 3*i + 15 = -3*c, n = z*i + 5*c + 2 + 17 for i.
-3
Let x = -7 - -6. Let b = x - -5. Solve b*i - 5*h - 5 = 5, h = 2 for i.
5
Let l be (-4)/18 - ((-24)/(-27))/(-4). Solve l = -2*u + 5*p - 2 - 14, -2*p - 5 = 3*u for u.
-3
Let x(g) be the first derivative of -g**3/3 - 9*g**2/2 - 7*g + 1. Suppose -24 = 6*l - 2*l. Let u be x(l). Solve -3*q = -0*q - n + u, q = 3*n - 1 for q.
-4
Let k(d) = -d - 7. Let f be k(-10). Solve 0*x + 11 = -x + f*y, -4*y + 19 = 3*x for x.
1
Let b(j) = j + 11. Let v be b(-10). Let z be 0/(v*(-4 - -3)). Solve -4*d = 4*k + 4 - z, -k + 15 = 5*d for k.
-5
Suppose -5*p - 4*x = -p - 72, -5*x + 12 = -p. Solve -j - 4*w = -w + p, -5*j - w = 9 for j.
-1
Let f(y) = y**2 - 3*y. Let k be f(3). Solve -m + k*m = -4*z - 18, 12 = 2*m - 2*z for m.
2
Let z be 4/(-8) + (-4)/(-8). Solve z = 3*v + 5*h + 7, -3*h - 1 = 5 for v.
1
Let k(x) = -5*x + 3*x + x - 2 + 4*x**2 - 3*x**2. Let n be k(3). Suppose -5 = n*b - 13. Solve z + 7*d - 2*d + 17 = 0, -26 = -b*z + 5*d for z.
3
Let a be (-6)/(2 - 12/3). Let h = a + -3. Suppose -4*r - 5*q + 15 = -3*r, -4*r - 3*q + 26 = 0. Solve r*o + 4*t + 4 = h, -3 = -t + 1 for o.
-4
Suppose 0 = 2*w - 1 - 1. Suppose -5 = -4*a - w. Solve -k = 4*g - 8, g = 2*g - a for k.
4
Let r = 152 - 150. Solve 0*t = -r*u - 2*t - 14, -4*u - 5*t - 31 = 0 for u.
-4
Suppose -2*l + h - 2*h - 1 = 0, -3*l - 12 = 5*h. Solve 6*z - z - 10 = -2*x, 0 = -4*z - 3*x + l for z.
4
Suppose -2*q + 20 = 12. Suppose g - 2 = 2*m - q, -5*g - 4*m = -18. Solve 0 = -2*t - 5*s + 18, g*t = 4*t - s + 6 for t.
-1
Let g be 14/28 + -1*5/(-2). Solve 3*u + g*b + 21 = 0, -21 = 5*u + 4*b + 12 for u.
-5
Let t be 4/1 - (-4 + 2). Solve s = 5*p - 11, t*p - p + 4*s - 31 = 0 for p.
3
Let x = 68 + -65. Solve -4*o + 2*j + 25 = -x*j, -3*o - 3*j - 15 = 0 for o.
0
Let k(t) = t + 4. Let d be k(0). Suppose 3*c + 5*x = 6*c + 10, 4*x = -d*c + 8. Solve -p = -5*p + 8, c = -3*r - 4*p - 1 for r.
-3
Let u = -147 - -149. Solve 3*p - w - 9 = -4, -3 = -u*p + w for p.
2
Let u = -2 - 2. Let k be 1/((u/50)/(-2)). Suppose 4*y = -y + k. Solve x - 6*m + 4*m = 13, 0 = -m - y for x.
3
Let v(r) = r + 7. Let h be v(16). Let l = -17 + h. Solve -5*x - c - 3*c = l, 5*c - 1 = -2*x for x.
-2
Suppose 2*k - 1 = k. Let p be k/((-4)/(-3) - 1). Solve -2*b = 10, -2*d - 3*b + p = -2*b for d.
4
Let w = 16 - 16. Solve 3*i - 2 = 3*s - 5, w = -3*s + 2*i + 1 for s.
-1
Let r be (-1*2 - -2) + 2. Suppose s + r*s = -15. Let o(w) = -4*w + 2. Let c be o(s). Solve 3*j + 0*q - q = 17, 4*j - q = c for j.
5
Suppose -2*o = 2*v + 16, 0 = 5*v + 7 - 2. Let k = o + 12. Solve 2*y - l = 0, -k*y + 4*l + 3 = -0*l for y.
-1
Let h be 17 + ((-4)/(-10))/(3/15). Let k(i) = i**3 - 5*i**2 - 3*i + 6. Let p be k(5). Let r = h + p. Solve -4*b = m + m - r, -2*b + 8 = -2*m for m.
-1
Suppose -4*i - 21 = 11. Let m be i/(-6) - (-2)/3. Solve -m*a = 10, 0*a = -5*d + 2*a + 10 for d.
0
Let w be (6/(-4))/((-21)/28). Suppose -16 = -h + u, 3*h + u = -w*u + 24. Let t = 5 + h. Solve t = 4*l + 5*y, 2*y + y - 9 = -2*l for l.
3
Suppose 3*g + h - 28 = 0, 5*g = 5*h + 48 + 12. Solve 5 = -l - q, l + 3*l - g = 2*q for l.
0
Suppose h = 5*i + 52, i = -3*h - h + 103. Let b be (-87)/(-27) + (-6)/h. Solve 3*v + d = 6, -b*v + 0*v - 2*d + 9 = 0 for v.
1
Let s(v) = v**2 - 1. Let h = -3 - -1. Let z be s(h). Let l = -1 + z. Solve 2*a - 2*w + 6 = -l*a, 3*a - 13 = 5*w for a.
-4
Suppose n + 3*x + 62 = -0*x, -2*n = -x + 138. Let g = -41 - n. Solve 4*j - 5*j + 14 = -2*l, 3*j = 3*l + g for j.
4
Suppose 0 = d - 3*p - 17, d - 45 = -4*d + 5*p. Let o be (-3 - -12)*(-4)/(-12). Let a be -6*(-4 - (-11)/o). Solve -3*g - 5 = -5*r, -g - 3 = -d*r + a for g.
0
Let n(h) = h**2 - 3*h - 5. Let o be n(5). Let g(d) = d**2 - 2*d - 4. Let t be g(6). Solve -3*a + 0*a - 12 = -z, 5*a + t = o*z for z.
0
Let h(q) = -20*q - 2. Let j be h(-1). Suppose -5*v + 24 = -2*f, 0 = 2*v - 0*v - 5*f - j. Solve -v*s - 4 = -2*g + 6, 3*s = g - 8 for g.
-1
Suppose -2*b = -7*b. Let u(h) = -h + 9. Let o = -10 + 16. Let g be u(o). Solve 5*p = -7*i + 2*i + 20, b = 3*i + g for p.
5
Let a be -4*(14/(-8) + 1). Let h(u) = -4 - 8*u**2 - 4*u - u**3 - 2 + 0*u**3 - 6*u. Let k be h(-7). Solve -2*d - d - k = a*s, 4*s = 0 for d.
-5
Let q(y) = -y**2 - 11*y - 4. Let l be q(-10). Let n be l/18*(1 + -1). Solve 4*f - i - 3 = n, -f - i = i + 6 for f.
0
Let g = 20 - 14. Let o = g - 5. Suppose 0 = -3*j + 4*q + 25, -4*q = j - 3*q + o. Solve y - p - 5 = j, -4*p - 7 = y for y.
5
Suppose 22 + 18 = 4*r. Suppose -24 = -r*n + 6*n. Suppose 0 = h - n + 1. Solve -5*q = 5, 0*q + 4*q + 4 = h*c for c.
0
Let m(n) = -n**3 + 5*n**2 + 6*n + 2. Let k be m(6). Suppose 0 = k*p + s - 49, 3*p = -s + 2*s + 81. Solve 4*q - 2*u = p, 4*q = 2*q + 3*u + 23 for q.
4
Suppose -5*b = -2*b. Let i = 3 - b. Suppose -3 = -3*u + i. Solve 3*s + 5 = 3*z + u, -s = 4*z + 6 for s.
-2
Let h = -1 + 9. Solve g - 6 = -w, 4*w + 0*w - h = 4*g for w.
4
Let s = -9 - -6. Let q be (-4)/s + 3/