 Let c = -3 - -1. Let w be y(c). Solve -3*s - 1 - w = 0, -3*z = 3*s + 21 for z.
-4
Let l = -13 - -13. Solve -5*w + m + 3*m - 5 = l, 0 = m for w.
-1
Suppose 4*w = -w + 20. Solve 0*d + 3 = -3*d, -w*h = d + 17 for h.
-4
Suppose -4*w + p = 3*p + 4, 5 = -5*w + 3*p. Suppose 5*r = 3*r + 8. Let d = w + r. Solve 0*a + 14 = -2*t - 4*a, -d*a + 7 = -2*t for t.
-5
Let c(d) = d + 3. Let i be c(0). Let f be (-2 - -17)/(i - 2). Solve z - f = -4*k, 4*z - 2*k = 2*k - 40 for z.
-5
Suppose 0 = 5*v - 3*x - 312, 3*v - x = v + 125. Let d be 20/130 - v/(-13). Solve -5*l - 2*a - 10 = -5*a, 3*a = 2*l - d for l.
-5
Suppose 5*s = -3*q + 10, 2*s - 2 = s + 5*q. Suppose -s*c = -3*t + 9 - 32, -20 = 4*t. Solve -c*w + 4 = 0, -3*d + 2*d - 2*w = 1 for d.
-3
Let k be ((-25)/(-35) + -3 + 2)*-7. Solve -5*x = 3*l - 3, -k*l - 2*x = -3*x - 2 for l.
1
Let o(z) = -z + 3. Let v be o(7). Let w be (-4 + -9)/(-1 + 0). Let g be (-3)/12 - w/v. Solve -m + 0*d + g*d - 11 = 0, -5*d = -m - 15 for m.
-5
Suppose 0 = -2*y + 6*c - c - 6, 8 = -y + 5*c. Let g(w) = -2*w + 4. Let v be g(-3). Suppose -k + 2*k = v. Solve -3*r - y*a + 2 = -4, -k = -5*r - 4*a for r.
2
Suppose 3*o + 8 = 5*o. Suppose -6 = -o*x + x. Let j(l) = -l - 1. Let b be j(-5). Solve -b*v - 4 = -4*w + 4, -5*w = -x*v + 5 for w.
-3
Suppose -10 = -2*h + 30. Solve 3*c = -0*c - 2*d - 1, -d = -5*c + h for c.
3
Let r = -5 + -1. Suppose 3*j = -2*g + 15, 4*g - j + 3*j = 18. Let s be 1/(((-9)/r)/g). Solve -4*y = -5*f - 36, 4*f - s*y + 6*y = 0 for f.
-4
Suppose 3*d - 2*d = -v + 5, 3*d + 5 = 2*v. Solve -9 = y + k, -v*k = 2*y - k + 23 for y.
-4
Let w(l) = -l**2 - 11*l - 3. Let f be (2/4)/(5/(-70)). Let o be w(f). Suppose -4*m = -28 + 8. Solve -3*q + m*k = -o, -3*q - 3*k - 2 = -11 for q.
5
Let y = 63 + -61. Solve -11 = 5*r + y*c, -2*r - 2*c + 6*c + 10 = 0 for r.
-1
Suppose -3*p + 3*x + x - 35 = 0, -5 = 5*p + 4*x. Let c = -1 - p. Solve c*j = -3*l + 7, 2*j + l + 2 = 5*j for j.
1
Let i be (0 + (-8)/(-4))/2. Let y = 1 + i. Solve y + 3 = -3*j - t, 4*t = -5*j - 13 for j.
-1
Let z be (-3)/(-21) + (-22)/7. Let k = z - -7. Solve -4*j + 0*j - 8 = -2*f, 12 = k*j + 3*f for j.
0
Let k be -20*(6 + (-66)/10). Let a = 11 - 8. Solve -z - a*z + k = -5*s, 3*s = 2*z - 8 for z.
-2
Let h = 51 - 48. Let p be ((-4)/(-6)*3)/2. Solve m + q = 9, -h*q + p = -14 for m.
4
Let s(x) = 16*x - 3. Let c be s(2). Solve 5*r - 2*f = -f - c, 5*f = 5*r + 45 for r.
-5
Suppose 34 = 3*l - 5*u, 0*u - u - 11 = -2*l. Suppose 0 = 2*d - l - 5. Solve b = o + 2*b - 2, -d*o = b - 5 for o.
1
Suppose 2*k - 3*k = -5*a + 6, 3*k - 4*a = 4. Suppose 2*r - 7 = s + k, r - s = 6. Solve 5*c = -4*t + 17, 5*c + r*t - 4*t - 8 = 0 for c.
1
Suppose -11*k + 5*k = 42. Let w = 2 - 4. Let t = w - k. Solve 2*j = j - m - 8, t*j + 3*m + 30 = 0 for j.
-3
Let b be 4 - (1 + -2 - -1). Let o(g) = 5 - 2*g**2 - 2 - b*g + g**3 + g. Let v be o(3). Solve 2*p + 4 = 2*d + 3*p, 0 = d + v*p - 2 for d.
2
Suppose 3 + 1 = u + i, -5*u + 4*i = -2. Let d = 2 + u. Suppose -4*l = -26 + 6. Solve l*t = d*v + 19, 2*t = 7*t + 3*v - 12 for t.
3
Suppose 4*p - 6*p = -4. Suppose -12 - 7 = -2*s + 3*r, 2*s + p*r = 4. Solve 5*w - t + 17 = -3*t, -37 = s*w - 3*t for w.
-5
Suppose 0*v + 10 = -2*v, 0 = 4*i + 3*v - 5. Solve 2*p = i*y - 4 - 17, -3*p = 3*y for p.
-3
Let d = 6 + -4. Let p be (10 - 0) + (1 - d). Suppose -p = -2*t - h, 3*t + 3*h - 6 - 9 = 0. Solve 4*f = 2*q + 20 - 6, 5*f - 11 = -t*q for f.
3
Let g be (-6)/8 - (-122)/(-8). Let u = g + 20. Solve 3*i - 8 = u*z + 4, -8 = -2*i - 5*z for i.
4
Let s = 60 + -45. Solve 3*b = -6 + s, z + 4*b = 10 for z.
-2
Let d be ((-18)/(-24))/((-2)/(-8)). Let f be (-1)/d*(-9 - -3). Solve 0 = -2*c - 3*u - 2, -2*c - f*c = 5*u for c.
5
Suppose 5*r - 44 + 9 = 0. Let z = r - 5. Solve 3*x - 4 = -0*p + 4*p, z*p - 5*x = 12 for p.
-4
Suppose 2*u - 20 = -2*u. Suppose -4*q + q = -i + 38, -4*i + 152 = -u*q. Let h = i + -26. Solve 0 = -3*g - 3*o - o + 12, 3*g - o - h = 0 for g.
4
Let a = 154 + -142. Solve 4*s = -2*f - 0*f - a, -20 = 4*s for f.
4
Suppose 0 = 5*m - d - 25, 0*m - 5*m = 4*d. Solve -3*t - 4*n + 27 = 0, 0*n + m*n + 8 = 4*t for t.
5
Let d(x) = x**2 - x - 3. Suppose -3*u - 3 = -4*u. Let b be d(u). Suppose 0 = -3*k - 5*o + 34, 2*k - 26 = 3*o - 7*o. Solve -k*m + h = 0, -5*m - h = b*h for m.
0
Let j(h) be the first derivative of -h**4 - h**3/3 - h**2 - h - 1. Suppose -4*f + 3 = -7*f. Let x be j(f). Solve -2*z + d = -6, -x*d - 12 = -4*z - d for z.
3
Let i = 11 + -10. Let u = i - -23. Solve -5*r - 40 = 4*o + o, 0 = -o - 5*r - u for o.
-4
Suppose 0 = 3*r - 2*r, 0 = 4*o + 3*r - 12. Suppose -o*u = -d + 5 + 4, 22 = 4*d + 2*u. Solve -3*z = 3*j - 6, 3*z = -3*j + d*z for j.
1
Suppose -3*p + 12 = 3. Solve 0*g + 9 = -5*g - p*l, 5*g + l + 13 = 0 for g.
-3
Let b be 0 - (-3 - (-5 - -1)). Let l be 1*b/1*-16. Suppose 0 = -5*h - 5*w, -h - 5*w - 10 = 2*h. Solve h*n - l = 6*z - 2*z, 3*n - 16 = -4*z for n.
4
Suppose 5*y - n - 23 = 0, -6*y + y - 5*n + 5 = 0. Suppose 4 + y = 2*l. Solve 5*z - 4*z + l*c - 12 = 0, -2*z - 5*c + 12 = 0 for z.
-4
Let z(p) = -p + 15. Let f be z(15). Solve -n - 2*x - x = -9, -4*x + 16 = f for n.
-3
Suppose 45 = 3*u - 0*u. Let r be 10/u*(-45)/(-6). Let h be ((-4)/(-5))/((-1)/(-5)). Solve 2*v = -k + h + 3, 0 = -r*v + 20 for k.
-1
Let q be (-8)/40 - (-8)/(-10). Let z be 0 - (q + 2)*-5. Solve 3*k = -j - 3*j - 35, -j = -2*k - z for k.
-5
Let p(q) = -2*q - 2. Suppose 0*c - 2*c = v, 4*v = 5*c - 13. Let i be p(v). Solve -4*s - 3*r - 8 = -i*s, 4*r = 0 for s.
-4
Let b = 94 + -91. Solve -b*o + z = 2*z + 10, 10 = -5*o - 5*z for o.
-4
Let l = 4 + -1. Suppose -x + 0*x - 2*a = -3, l*x = 5*a + 20. Solve -x*q - 10 = 2*y + 6, 4 = -2*y + q for y.
-3
Let h(x) = -x**3 - 5*x**2 + 2. Let n be h(-5). Suppose n*o = -6, 0*o = -u - 4*o + 6. Let c = 25 - u. Solve -p + i + 11 = -2*i, -p + 2*i + c = 0 for p.
-1
Let u be (-2 - 0)*(-3 - -1). Let t(d) = -d - 5. Let r be t(-8). Solve 0 = -3*l + 4*z - 23, 0 = l + u*l - r*z + 20 for l.
-1
Suppose k + 3 - 5 = 0. Suppose 0 = -5*t - 4*i + 65, 5*t - 57 = -2*i - k. Let f = 13 - t. Solve -1 = o, 3*p + 0*o + f*o = -13 for p.
-3
Suppose -4*s + 41 = -x, 2*s + 2*x - 6*x = 38. Solve -3*m = -5*m - 2*y, -2*y - s = 5*m for m.
-3
Let h = -1 - -1. Suppose h = p + p. Solve 17 = -5*f + 2*l + 5, p = -f - 2*l for f.
-2
Let p(h) = h**2 - 1. Let v be (-1)/(-2*(-2)/(-4)). Let g be p(v). Suppose g*r - 5*r + 100 = 0. Solve 2*m + 10 = 4*o + 26, 2*m + r = -5*o for o.
-4
Suppose -4 = 14*d - 16*d. Suppose 0 = -d*i - 1 + 31. Solve 8 = 3*k + 2, -5*s - 5*k = -i for s.
1
Suppose -3*r = -0 - 9. Let c be (-2)/(-5) - 4/10. Solve c = 3*d - j - 2*j + 12, d + 8 = -r*j for d.
-5
Suppose 5*y = 7*y. Solve 3*i = 3*o - 23 + 5, -2*o - 2*i - 8 = y for o.
1
Let p(a) = a**2 - 4*a. Let o be p(6). Let q = 42 - o. Solve -4*w + q = -5*u, 2*u = -2*w - 3*u for w.
5
Let r(u) = -u**3 - 7*u**2 - 5*u + 8. Let x be r(-6). Solve -4*k = -4*s - 16, x*k - 5*k = -3 for s.
-3
Let q(b) = b + 5. Let t be q(-2). Let d(h) = h - 2. Let f be d(5). Solve -3*p = -f*a - 1 - 2, -3 = -t*p + a for p.
1
Let j be (-2)/4 + (-157)/(-2). Let r = -52 + j. Solve x + 24 = -0*x + 4*c, 4*x + r = 2*c for x.
-4
Let d(q) = q**3 - 3*q**2 + q. Let v be d(3). Suppose v = j - 0. Solve -3 = -l - j*m, 5*l + 5 = 3*l + 5*m for l.
0
Suppose -6*a - 3*a + 36 = 0. Solve -a*v - 1 = 4*j + 11, -v - 5*j = 7 for v.
-2
Let h(i) = i**3 + 5*i**2 - 4*i - 8. Let r be h(-5). Solve o = -2, 0 - r = 5*q + o for q.
-2
Let i = -3 + 18. Suppose -2*c - 10 = -z, -45 = 2*z - 5*z + c. Let m(x) = x**2 - 17*x + 18. Let s be m(z). Solve -3*n - 6 = s*t + 1, -5*t + i = n for t.
4
Suppose -3*v - 4 + 25 = 0. Suppose 5*y - y - 16 = 0. Solve l + a + 2 = 4, l + y*a = -v for l.
5
Suppose -c + 27 = 8*c. Solve 4*g - 4*j + 1 = -j, -2*g - c*j = 23 for g.
-4
Suppose 0 = -4*i + 3*i. Suppose 3*x - 6 + 0 = i. Solve 5*y + z - 11 = 0, -2*y + x*z + 22 = -2*z for y.
3
Let x be (-57)/12 - 6/(-8). Let m(t) = t + 4. Let p be m(x). Suppose -2*b - 3*z + 21 = p, b - 2*z = 4*b - 44. Solve b = -4*v + c, 0 = 5*v + 4*c - c + 14 for v.
-4
Let d = -38 + 57. Suppose -2*x + 5 = -t + d, 16 = 4*x. Solve 5*b = 5*n + 18 - 3, -2*b - 5*n = t for b.
-1
Suppose -4*s - 3*g + 1 = 0, 4*g + 0*g = -20. Suppose -4*w + 3*h + 2 = 0, s*h - 4 = 2*w - 0. Solve -w*l = 3*u + 13, -u + l - 16 = 2*u for u.
-5
Suppose -2*n = -0*n - 10. Let i be 3/3*1 + -7. Let m be i/(-33) - (-124)/44. So