 - z = 5*y, 4*y + 0*y - 2*a = -8 for y.
0
Suppose 0 = -0*v + 3*v + 18. Let i(y) = -3*y - 13. Let o be i(v). Solve 5*h = -4*u + 2*u - 10, o*u = 0 for h.
-2
Suppose 3*q = w + 3, 4*w - 23 = -q - 9. Solve 15 = 5*t, q*i + 4*t = i + 16 for i.
4
Let r = 3 - 2. Let j be 4/4*(r + 1). Solve s - 7 + j = 2*z, -5*z - 5*s + 25 = 0 for z.
0
Let b = 27 + -19. Suppose 0 = -u + b - 3. Solve -q + 12 = -2*i, -14 = -4*q + u*i + 22 for q.
4
Suppose 1 = -3*n + 97. Solve 5*v + n = 3*p + 12, -4*p + 4 = -v for p.
0
Let f be -3 + 1/((-155)/40 - -4). Solve 5 + 30 = f*c - 3*a, 0 = -5*c + 5*a + 45 for c.
4
Let i(h) = -h**2 + 10*h - 14. Let u be i(8). Solve u*p + 4*w = 4, 3 - 1 = -2*p - 2*w for p.
-4
Let q be -2*1/2 + -2. Let u be ((-4)/q)/((-6)/(-18)). Solve 0 = 4*i - 3*c + 13, u = -2*i + 2*c - 4 for i.
-1
Let r be ((-1)/(-2))/((-3)/(-30)). Solve 0 = -4*x - 4*j + r*j + 8, x + 4*j = 19 for x.
3
Suppose -5 - 15 = -5*w. Let l = 8 - w. Let m be 19/4 + (-4)/(-16). Solve 3*c - 18 = 4*p, -m*c - 2*p = -l*c + 4 for c.
2
Let g = -30 - -30. Let t(z) = -z**3 - 5*z**2 - z + 5. Let k be 13/(-3) + (-2)/3. Let j be t(k). Solve 0*h + 3*h = -d - j, 4*d - 2*h + 12 = g for d.
-4
Suppose -t + 2*t = 5*x + 10, 0 = x + 2. Suppose t = -3*k - k. Suppose g - 2*g = k. Solve v - m + 8 = g, 2*v + m = -3*m + 8 for v.
-4
Let u(x) = x - 5. Let y be u(4). Suppose -3*z - 4*p = 0, 3*p = -5*z - 0*p. Let a be (z + y)*(-14)/2. Solve 0 = f + 3*c + a, -4 = 5*c + 1 for f.
-4
Suppose 26*k - 11 = 67. Let v(s) = s**2 - 3*s - 7. Let d be v(5). Solve -3*x - c - d = -14, -x = -k*c + 13 for x.
2
Let j = 9 + -9. Let y = j + 2. Solve -6 = -y*k - 0*a - a, 3*a - 8 = -k for k.
2
Suppose 5*h + 28 = -37. Let z = h - -24. Suppose t = 2, i + 3*t - z = -0*i. Solve 2*m = -3*s - 17, 5*m + i*s = -2 - 33 for m.
-4
Let s be -1 + 16/(-4) + 8. Solve 2*a - 6 = -a - s*k, 4*a - 3*k = 15 for a.
3
Suppose 88 - 98 = -5*s. Solve -3*z + 4*j - 32 = s*z, 4*z + 3*j + 7 = 0 for z.
-4
Suppose 10 = -5*w, -l = -5*l - 3*w + 18. Suppose -5*m - l = -21. Let f = 25 + -12. Solve -a + m*z = 6, 3*z + f = -5*a + z for a.
-3
Let x(j) = -j**2 + 6*j - 2. Let d be x(6). Let l = -2 - d. Let i = -4 + 7. Solve -w + 1 = -5*h, -4*h + 8 = -i*w - l*w for w.
-4
Suppose -4*q = -8 - 4. Let v = -3 + 6. Solve p + p = -v*g + 1, p - q*g + 4 = 0 for p.
-1
Suppose n = 6*n - 35. Solve -5 = y, 7*c - 4*c = 2*y + n for c.
-1
Suppose -c = 5*o + 33, -2*o + 44 = -7*c + 3*c. Let f be -1*(c - (2 - 0)). Solve 0 = -z - 5, 2*z - f = 2*b + 5*z for b.
0
Suppose -7*u + 120 = -4*u. Suppose 3*o - 7 - 8 = 0. Solve s + 4*p - 23 = 0, -5*s = -0*s + o*p - u for s.
3
Let c be -2*((-102)/8 - (-1)/(-4)). Solve 2 = -2*u + 6, c = 4*s + 3*u for s.
5
Suppose 0 = f + 7*f - 24. Solve 2*g + 0*g - f*m - 4 = 0, -g - m + 2 = 0 for g.
2
Let s = 10 - 8. Suppose -5*n + s*o = 0, 5*o - 19 = -3*n + 12. Suppose n*a = -0*a. Solve 0 = -5*d - a*d + 2*r + 15, 0 = -d + r for d.
5
Suppose 4*m - 44 = -8. Solve 5*c + 9 = -4*q, -c + 0*c + q = m for c.
-5
Suppose -a = -5*m - 2*a - 19, 4*m + 20 = 4*a. Let k = -6 - m. Let d be k/(-3)*6/4. Solve 0 = -h + 2*c + 2, -4*c - d = -h + 3 for h.
0
Let d be 1 + 1 - (-17 + 17). Solve 5*a + 1 = -b + d, -2*b - 3 = 5*a for b.
-4
Let x(r) = r**3 - 14*r**2 + 13*r + 9. Let h be x(13). Solve -2*p + 2*a = 6, 4*p + 2*a - h = -a for p.
0
Suppose 19 = 4*v + o, 21 = -v + 6*v + 4*o. Let z = 2 - 1. Let s = z - 1. Solve 3*n = -s*n + v*f + 28, 4*n = -3*f - 11 for n.
1
Suppose 4*s - 5 = 3*s. Solve -4*f + 5*g = -41, -s*f + 5*g = -4*f - 29 for f.
4
Let l = -62 - -67. Solve -4 = s + 2*j, j + 0 = -l*s + 16 for s.
4
Suppose 5*i = 7 + 18. Solve 2*g - 3*m + 2 = 8, -2*g - 10 = i*m for g.
0
Let i be 1 - (-13 + -4 + 2). Solve -i = -2*g + 2*y, 4*g - 4*y - 27 = g for g.
5
Suppose -2 = t - 16. Suppose -c = 5, 0*c + t = 2*y - 2*c. Solve y*j + 19 = -0*j + 5*x, -1 = -j - x for j.
-2
Suppose 3*n - 6 + 21 = 0. Let i(x) = x**2 + 4*x + 1. Let g be i(n). Let y be 1 - (-4 - g/(-3)). Solve -3*v = -b - 8, -2*b - 5*v + y*v = -16 for b.
4
Suppose -10*d - 15 = -15*d. Let c(l) = l**3 + 15. Let j be c(0). Let t = j + -11. Solve n - r = 1, 0*n + 24 = d*n + t*r for n.
4
Let w be ((-24)/20)/((-3)/20). Let k be (1 - -2)/(12/w). Let d(i) = i**3 + 1. Let j be d(1). Solve 2*g = 3*r + 10, 0 = j*g + 6*r - 5*r - k for g.
2
Let y(n) = 6*n**2 - 7*n + 5. Let f be y(1). Solve 0 = -c + f*o - o + 6, 2*c + 2*o + 12 = 0 for c.
-3
Let l(k) = -2*k**3 - 5*k**2 - 4*k - 7. Let f be l(-3). Suppose 0 = -s + 1 + 1. Suppose g - s = -0*g. Solve -4*x + 2*m - f = 0, 3*x + g*x + 1 = -3*m for x.
-2
Let q = 38 + -30. Solve -4*n + q*b - 3*b = 28, 0 = -3*n + 3*b - 18 for n.
-2
Let a = -9 + 17. Suppose 0*k - 5*p = -k + 22, -p - 17 = -2*k. Let t = 3 + k. Solve 4*c - 3*y = -5*y - a, 5*c + 2*y = -t for c.
-2
Suppose 34 = 4*i - 50. Let r(s) = s**2 + 11*s + 28. Let o be r(-8). Solve -5*v = 4*j + 41, 2*v - o*j = 3*v + i for v.
-5
Suppose 0 = 10*q - 7*q - 12. Solve q*i - 5 = -z + i, -3*i = 0 for z.
5
Suppose -2*w = 4*w. Solve w = -t - 4*b + 18, -2*t - 4*b + 5 = -11 for t.
-2
Let x = 16 + 6. Let b be x/7 + (-4)/28. Suppose 3*o - n - 91 = 21, 4*n = 5*o - 189. Solve 0 = b*m + d + 7, 2*d + 7 = 5*m + o for m.
-4
Let o be (-8)/(-1) + (4 - 2). Solve -5*t + 2*j = -j - o, 0 = -3*t - 2*j + 6 for t.
2
Suppose -6*b = -0*b. Solve -f + 24 = 5*p - 4*f, 5*p + 5*f = b for p.
3
Let n(w) = w**2 - 5*w - 3. Let h be n(10). Solve -4*b - 25 = m, -4*b + 2 - h = 5*m for b.
-5
Let f be (-4)/3*(-3)/2. Let v(k) = 4*k - 4. Let i be v(-2). Let j = i + 17. Solve -5*w = -2*o + 15, -j*o = f*w - 5*w + 10 for w.
-5
Let c(i) = -2*i + 14. Let n be c(6). Solve -2*f = n*f - 4*v - 12, 5*v - 30 = -4*f for f.
5
Let d(q) = -q. Let o(i) = i**2 - 6*i - 8. Let c(y) = -d(y) - o(y). Let t be c(8). Solve 5*k - 3*f = t, -f = -4*k - 6*f for k.
0
Let p(z) = 10*z - 41. Let g be p(5). Solve -2*s = -3*c - 7*s - 21, -3*c + 5*s = -g for c.
-2
Let f(b) = b + 1. Let g be f(5). Suppose -j - 100 = -g*j. Suppose a - j = -3*a. Solve c - q + 5*q - 1 = 0, 24 = a*c + q for c.
5
Let x = 13 + -8. Suppose -x*b = 3*d - 12, 2*b + 0 = -3*d + 12. Solve 5*n + d*f = 36, 28 = 3*n - 0*f + 4*f for n.
4
Suppose -2*i + 3*j - 8 = 0, -i = 3*i - 3*j + 4. Solve 5*f - 3*f = 3*g + 3, 4*g - i*f = -2 for g.
1
Suppose 0*w - 2*w + 4*y = -8, 0 = -2*y. Let i(d) = 0*d**2 - 33*d + 32*d - 2*d**2 - 3 + 4*d**2. Let q be i(w). Solve -q = -5*o, 2*o - 15 = 4*x + x for x.
-1
Let d = -1 + 8. Let x(s) = 3*s + 5 + 7*s - s**2 - 1 + d. Let n be x(11). Solve -w - 14 = i - 5, n = w + 3*i + 17 for w.
-5
Suppose 11 = 2*n + 7. Solve 14 = -p + n*a, -3*a + 14 = -p - 5 for p.
-4
Let h be 19/4 + (-3)/(-12). Let a = -12 + 26. Solve m + 8*f = 4*f + a, h*m - 2*f - 4 = 0 for m.
2
Let w be (-8)/28 - 0 - 2/(-7). Solve w*m - m - 3*y + 15 = 0, 0 = -5*m + 2*y + 7 for m.
3
Let v = 40 + -37. Solve 3*b - 4*k - 3 = -k, v*b = -2*k - 17 for b.
-3
Let k be (-45)/(-6)*(0 + (-32)/(-12)). Solve -4*g = -2*n + k, -5*n - 2*g + 2 = -3*n for n.
4
Let i = 81 - 75. Solve i*x - b = 3*x - 8, 0 = -3*x + 2*b - 4 for x.
-4
Let l be (-24)/(-9)*(0 - -3). Suppose -f + l = f. Solve -2*o + 2 = -3*s, f*s = -5*o + o - 16 for o.
-2
Suppose -1 = -3*s + 2*s. Let g be 5*((-6)/(-15))/s. Let z be 21 - 2/2*1. Solve -2*i - 20 + 0 = -5*m, z = 5*m + g*i for m.
4
Let m(d) be the first derivative of d**3/3 - d**2/2 - 4*d + 2. Suppose 6*p - 4*p - 6 = 0. Let h be m(p). Solve -3*n = 5*a - 3, 2*a + 3 - 1 = h*n for n.
1
Let j = -4 - -8. Suppose 0 = q + q + j*o - 26, -q = -o + 2. Solve 3*f - q*s = -3, -4 = 2*s + 4 for f.
-5
Let f(u) = u**3 + 8*u**2 + u + 11. Let h = -1 + 1. Suppose h = -l - 11 + 3. Let w be f(l). Solve -8*y + 40 = 5*m - w*y, -y + 28 = 5*m for m.
5
Let z(r) = -r**3 - 3*r**2 + 4. Let u be z(-2). Solve u = 2*i + l + 4*l + 5, -l = 4*i + 1 for i.
0
Let z be (-49)/(-7)*(-2)/(-2). Suppose -3*d + z = 4. Solve -3*p + p = r + d, -r - 3 = 3*p for p.
-2
Suppose 0 - 8 = -4*f. Solve -5*s = 3*b - 6*s - 5, 20 = f*b - 4*s for b.
0
Suppose -u - 10 = -4*v - 3*u, u = -4*v + 11. Let g(z) = z**2 + z + z - 1 - v*z. Let t be g(-2). Solve r = 2, t*f - r + 3 = -4 for f.
-1
Let a(j) = 6*j - 2*j - 1 - 1 - j. Let m be a(6). Let v = m + -9. Solve 4*c = -5*f + 5, -3*f + 27 = -c + v for c.
-5
Suppose 2*k - 6 = g - 0*k, -4*k + 16 = 0. Solve 0 = 4*v + 16, -5*v + 3 = 5*i - g*v for i.
3
Let y(w) = -2*w - 1. Let n be y(-2). Suppose -1 = -3*k + k - n*d, 0 = k - d 