-20, 2*p - 6*p = z + 16. Solve 2*j + 2*f = -10, -j - 11 = -z*j + 3*f for j.
-2
Suppose 0*z - 4*z = 0. Solve 0*x + 4*x = d - 11, z = -3*x - 5*d - 37 for x.
-4
Let v(b) = b**2 - 6*b - 5. Let y be v(7). Solve -4*f - 20 = 4*l - y*l, -2*l - 5 = -f for l.
-4
Suppose 31 = -5*h + 4*t + 9, -t = 4*h + 5. Let o = h - -14. Suppose 0*j - o = -4*j. Solve -5*g - 6 = -5*f + 4, -19 = 2*g + j*f for g.
-5
Let q = -46 - -66. Solve 4*s = 2*l + 14 + 16, q = -2*l + 2*s for l.
-5
Suppose 5*r = r + 108. Solve -6*s + r = -s + 3*d, 0 = 5*s + 4*d - 31 for s.
3
Suppose -8*x + 6*x + 12 = 0. Let j = -1 + x. Suppose 2*t = -0*t + 6. Solve -2*i + 2*m = 6, -j = -4*i - t*m + 4 for i.
0
Let y = 3 - 5. Let p = y + 5. Solve -4*k - 3*r + 3 = -2, -3 = p*r for k.
2
Let o = 24 - 5. Suppose 4*h - o = 5. Solve -3*l = 3*m - h, -2*m - 3*l + 12 = 3*m for m.
3
Suppose 7 - 1 = 2*p. Suppose p*b = 4*b - 5. Solve 3*a - 4*f = -5, -b*a + 4*f + 15 = 2*f for a.
5
Let u be (-8)/6*(-9)/6 - -2. Solve -4*t + 3 = 3*l + 1, -5*t - 13 = -u*l for t.
-1
Let o = -21 - -25. Solve -o*f - f = -4*u - 16, 3*u + 4*f + 12 = 0 for u.
-4
Suppose 6*q = 2*q. Solve 4*h = -q*h - 5*d + 45, 4*h + 5 = 5*d for h.
5
Suppose -2*a + 2*g = -4, -2*g = 4*a + 3*g - 8. Solve -4*b + 2*f - 5 = 9, -27 = a*b - 5*f for b.
-1
Let c(n) = n**2 + 6*n + 4. Let m be c(-6). Solve -2 = m*b - v, -2*b - 2*v + 4 = -5*v for b.
-1
Suppose 0 = -3*c + 5*c + 20. Let s = -10 - c. Solve -3*a - 5 - 1 = s, -m + 9 = -2*a for m.
5
Let x = -1 + -1. Let l be -1*2 + 1 - x. Suppose -6 = -k - u, -18 = -3*k - 0*u - 2*u. Solve 4*y + k*r - 3*r + 32 = 0, -l = y - r for y.
-5
Let k be 6/21 - (-52)/14. Suppose 3*p + k*w = 16, -4*w = -3*p - 2*w - 8. Solve 0 = 5*t + 2*z - 0*z + 19, p = -5*z + 15 for t.
-5
Let g = -26 + 29. Solve -3*t + 6 = 3*h, -g*t + h = -4*h + 26 for t.
-2
Let h be 1*1*12 + 1. Let f be -3*(h/3)/(-1). Suppose 3*c - f = -1. Solve 15 = 2*s - n, 3*s = 2*n - c*n + 5 for s.
5
Let c = 2 + -3. Let r = c - -3. Solve -r*j = -g + 11, 5*j - 2*g + 11 = -5*g for j.
-4
Let m(r) = r**3 - 6*r**2 + 4*r + 5. Let l be m(5). Suppose 3*v + l*v = 12. Solve 3*b - h - 6 = 4*b, b - 9 = v*h for b.
-3
Suppose -2*b + h - 6 = -23, 5*b - 41 = 4*h. Solve 0 = -4*u - 4, u = 2*y - b for y.
4
Let y be (-3)/(-3) + (-2)/2. Let n(x) = x**3 - 10*x**2 + x - 8. Suppose -3*v + 40 = v. Let h be n(v). Solve y = 3*u - 6, -h*u + 0 + 13 = 3*b for b.
3
Let w be 2*(-10)/8*-2. Solve -37 = -3*s + w*r, r = -5*s + 5*r + 40 for s.
4
Let r = 10 - 10. Let o be 0/(-1 - (r + 1)). Solve -11 = n + 5*l, o = -n + 5*l + 2 + 7 for n.
-1
Let s = 85 + -58. Let g = 17 - s. Let x be (-1)/(-2) - g/4. Solve -4*p + 4*h = 0, -4*p = -x*p - 5*h + 12 for p.
3
Suppose 5*s - 3 = 7. Suppose 24 = 4*v - 3*l, -2*v - s*l - 4 = -2. Solve 0 = -0*t - 5*t - m + 20, 2*t - 25 = v*m for t.
5
Let y = 134 - 223. Let j = -62 - y. Solve o - 5*r + j = 0, o + 8 = 2*o + 2*r for o.
-2
Suppose 4*o = -3*z + 71, 3*o + z = -2*z + 54. Suppose c - o = -5. Suppose 5*f + 5*w - 20 = 0, -2*f - w = 3*f - c. Solve 2*h = -f*h + 4*d - 20, 2*d = 8 for h.
-1
Let n = -6 + 4. Let f be (6/4)/((-1)/n). Let m(p) = -p**3 - 2*p**2 + 1. Let o be m(-2). Solve -2*x + k + 3 = 0, x - f*k - o = -12 for x.
4
Let x be ((-51)/(-119))/(1*(-1)/(-7)). Let i = 1 + -1. Let z be (-2)/5 + (-24)/(-10). Solve -k - k = -4, i = x*a - z*k - 11 for a.
5
Suppose 4*o + 8 = -4*u, 0 = -4*u + o + o + 16. Solve -k - 4 = 5*c + 5, -u*c - 5 = -k for c.
-2
Let j(m) = -1. Let h(b) = -b + 4. Let l(k) = h(k) + 6*j(k). Let s be l(0). Let n(x) = -x + 1. Let z be n(s). Solve 2*i + 10 = 3*d, z*i = 2*i - 3*d + 4 for i.
-2
Let z be ((-4)/(-2))/2 - -24. Suppose 2*c = -10 + 60. Let m = -92 - -96. Solve 5*k + z = q - 1, 5*q = m*k + c for q.
1
Let k(i) = 3*i + 12. Let y be k(-9). Let w = 28 + y. Solve -j + g = -6, -j - j - w = 3*g for j.
1
Suppose -7*l = -11*l + 16. Solve 5 = -s - p, 5*s + 0*p - 20 = l*p for s.
0
Let a = 31 + -29. Let m be (9/(-4))/(2/(-16)). Suppose 0 = 2*h - 5*h + m. Solve -3*y + a = s, 3*s + 3*y + 0*y - h = 0 for s.
2
Suppose -5*p + 32 = -53. Solve -c + 3*c + 7 = t, -c = -5*t + p for t.
3
Let h be 4/10 + (-44)/10. Let s be -1 - (2 - 2) - h. Let c be 22/6 - (-2)/(-3). Solve -2*y - s*j = -20 + c, 2*y + 4 = 4*j for y.
4
Suppose -3*d = -4 - 11. Solve 4 = 3*t + j - d*j, 2*t - 3*j = 4 for t.
-4
Suppose 2 = -3*h - 1. Let c = 4 - h. Solve -5 = 5*q - c*s, 2*q = -s - 3*s - 2 for q.
-1
Let y(b) = -20*b + 1. Let k be y(1). Let c = 59 + k. Let d = 59 - c. Solve 5*h + 0*t = 4*t - 16, 5*h + d = t for h.
-4
Let q be (-1)/(56/60 + -1). Suppose 5*y = 3*i + 11, -i - 2*y + q = y. Solve i*j = 5*d + 2, -3*j - 4*d + 24 = j for j.
4
Let u = -65 - -70. Solve -3*i + 4 = 1, 0 = -u*w - i - 9 for w.
-2
Let r = 12 + -7. Let j(l) = -l**2 + l + 2. Let t be j(0). Suppose -t*p + 5 = -p. Solve r*z = -25, 19 = 2*h - p*z - 2 for h.
-2
Let z be 51/15 + 4/(-10). Let j(s) = 2 - 6*s**3 - s**3 - z. Let y be j(-1). Solve m = -2*m - 4*v - 8, 5*m - 3*v = y for m.
0
Suppose -5*n + 3*s + 0*s + 36 = 0, 2*n - 9 = 3*s. Solve 4*g - 5 = 5*z - 17, -5*z + 3*g = -n for z.
0
Let h be (99/(-132))/((-26)/(-32) - 1). Solve -15 = h*g - 3*n, 2*n - 7 = g - 2*n for g.
-3
Suppose h = 7*h - 24. Solve -h = -j + u - 12, 4 = u for j.
-4
Suppose -18*c = -20*c + 8. Solve -2*y + c = 0, 0 = -5*u + y - 12 - 5 for u.
-3
Let o be 8 - 2/(0 + 2). Suppose o = 3*u - 2. Suppose u*b + 2 - 12 = -2*f, -3*b + 3*f = 15. Solve 4*r - 3*a + 0*a - 17 = b, 1 = a for r.
5
Let p = 32 - 29. Solve -2*j + 6*j - 3*t - 9 = 0, p*j = -2*t - 6 for j.
0
Suppose 0 = 5*z - 8 - 2. Suppose z*h - 7 + 1 = 0. Let y be 27/6*(-4)/(-6). Solve -16 = r - y*c, 5*r + 4 = -h*c - c for r.
-4
Let x = -11 - -14. Solve -3*n - 6 = -0*d + 3*d, -x*n + 5*d - 22 = 0 for n.
-4
Let j(r) = r**2 + 8*r + 9. Let v be j(-6). Let s = -4 - 2. Let p = v - s. Solve -2*x - 18 = -p*h, -3*h + x + 8 = -7 for h.
4
Let q(t) = t**2 + 2*t - 10. Let k be q(-5). Solve -2*r - 4 = -4*f, 10 = -f + 4*f - k*r for f.
0
Let i(d) = d**2 - 4*d - 8. Let p be i(6). Let s(o) = o - 2. Let q be s(2). Suppose l = 5 - q. Solve 2*c - 15 = l*x, c + p*x + x = 0 for c.
5
Suppose 4 = -3*n + 4*n. Solve -5*i = 5*c - 6 - n, 4*c = 4*i + 8 for i.
0
Suppose -5*w = 8 - 23. Solve -4*l + 18 = -n, w*l - n = -2*n + 17 for l.
5
Let r be 1/((-130)/45 + 3). Solve -5*v = 3*t - 1, 2*v + 4*t = 3*v + r for v.
-1
Let a be (-2 - -4) + 0 + 32. Let i = a + -20. Solve 0 = 2*t + k - 9, -3*t + i = -4*k + 5*k for t.
5
Let k(y) = y**3 + 2*y**2 - 1. Let v be k(1). Let z(s) = 7 - s + v*s + 0*s. Let d be z(-6). Solve 5*f = 0, -g + d + 0 = -2*f for g.
1
Let b = -5 + 9. Suppose 28 = 10*w - 2. Solve n - 3*z = 11, b*z = -n - w*n - 36 for n.
-4
Let j(w) = -6*w - 9. Let b be j(-5). Solve -5*m = -2*y + b, -3*y + 0*m - 16 = 2*m for y.
-2
Suppose -3*g = -2*d + 21, -2*d + d - 4*g = 17. Solve 1 - 33 = -4*y + d*j, y - 21 = 4*j for y.
5
Suppose 4*g - 9 = 39. Let u(k) = -3*k - 1. Let n be u(-1). Suppose -w + n*l + 13 - 2 = 0, -w + l = -7. Solve 10 = -w*y - x, 2*y - g = 7*y - 3*x for y.
-3
Let l = 174 + -294. Let a be l/(-54) - (-2)/(-9). Solve 10 = a*j, 2*j - 13 = -m + 1 for m.
4
Suppose 3*l + 6 = 0, -3*b = 3*l + 6 - 42. Solve h - 8 = 2*t, -5*h - 4 = 5*t - b for h.
4
Let c(z) be the first derivative of z**4/4 + 4*z**3/3 - 3*z**2 - 5*z + 1. Let b be c(-5). Solve -y - w = b, -4*y = -w - 4*w - 36 for y.
4
Let i = 15 + -11. Solve 4*k - m + 0 = 1, k - 4*m - i = 0 for k.
0
Let z(n) = n**3 - 9*n**2 - 12*n + 24. Let g be z(10). Solve -g*c = 4*p, 5*c + 2 = -3*p + 4 for c.
1
Suppose -2*g + 3*r - 6*r - 6 = 0, -2*r = -5*g + 23. Solve -f - g*a = -2, -2*f = -3*f - 2*a for f.
-4
Let w(b) = -b**3 + 4*b**2 - 5*b + 9. Let i be w(3). Solve 2*g + i*z - 5 = 0, -3*z + 15 = -g - z for g.
-5
Suppose 4*f - f - 3 = 0. Solve -5*j - 2*i = 4, j + 3*j - f = -3*i for j.
-2
Suppose -2*x - 9 = -5*x. Let r(l) = l**3 + 8*l**2 - 3*l + 7. Let f be r(-8). Solve i + x*t = -5, 5*t + f = 6*i - 2*i for i.
4
Let a be 1 - (1 + -2)/(-1). Suppose -i + a = -4. Suppose -2*r = -i - 2. Solve -t + r*t = -2*u + 6, -3 = -3*u + 3*t for u.
2
Suppose -4 = -2*r + 2. Let s be ((-5)/10)/((54/12)/(-9)). Solve -r*g = -6*g + 4*b + s, 2*g + 2 = 2*b for g.
-5
Suppose q + 8 - 28 = -2*w, q + 43 = 5*w. Let b = w + -6. Solve -2*z + 6*z = 0, b*z = -3*u + 15 for u.
5
Let y = -8 - -8. Suppose 4*m = -4*v + 24 + 4, -v + 5*m - 17 = y. Let l be 75/(-6)*(-4)/5. Solve -1 = -o