4 = -r - 22. Suppose 0 = -5*a - 52 + r. Let l(c) = -2*c**2 + 8*c - 3. Let i be l(2). Solve 0 = -i*v + x - a, 4*v = -5*x - 53 + 8 for v.
-5
Suppose -2*p = 5*w - 53, -4 + 25 = 2*w + p. Let y = -3 + w. Suppose -y - 4 = -4*i. Solve 2*a = 5*l + 14, 15 = -3*l - i*a + 2*a for l.
-4
Suppose n - 4*a + 0*a + 11 = 0, 0 = 5*n + 3*a + 9. Let v = n - -6. Solve -4*i + 21 = -r, 0 = -r + v*i + 2 - 18 for r.
-1
Suppose -12 = 2*s - 5*s. Suppose 4*j + 3*q = 2, 4*j + 2 = -q - s*q. Suppose -j*y - 2 = 3*u, 3*u - 13 = -5*y - 0*u. Solve 0 = y*n + i - 26, n - 8*i = -3*i for n.
5
Let l = -2 + 1. Let n be (l + 3 - 3)*-2. Suppose 2 = n*o - 6. Solve -3*q + 3*u = 6, -o*q + 0*u = -2*u + 10 for q.
-3
Suppose -3*k + 4*k + 1 = 0. Suppose 3*p + 8 = -1. Let g be k*(p - -2)*5. Solve -g = -3*i - 4*d, -d = 3*i - 4*d + 9 for i.
-1
Suppose -26 = -6*w + 28. Solve -5*u = -3*s - w, 5*s - 2*u + 0*u = -15 for s.
-3
Let u = -8 - -22. Let z = u - 9. Solve 0 = -2*t + z*m + 13 + 9, m = 4*t - 8 for t.
1
Let m(a) = 6*a**2 + 2. Let r be m(-2). Let h = r + -13. Solve -5*x = -4*g + h + 8, 3 = -x + 2*g for x.
-5
Let a(f) = f + 4. Let o be a(0). Suppose 0*v - o*v + 8 = 0. Solve v*r - s + 9 = 0, -5*s - 6 = 5*r - 2*s for r.
-3
Let o be (-18)/(-5) - (-6)/15. Solve 2*b = 5*d - 10, o*b - 3*b = -d + 2 for d.
2
Let l(y) = -68 + 7*y + 0*y + 7*y. Let q(m) = -5*m + 23. Let b(d) = -4*l(d) - 11*q(d). Let s be b(0). Solve 5*i - 20 = -2*r + 5, 2*i - 5*r = -s for i.
3
Suppose 1 = 5*y - 19. Suppose -7 = 2*c + 5*r, 2*r = 3*c - y*c - 2. Let d = c - 4. Solve -2*m = -4 - d, -3*v - 16 = -2*m for v.
-4
Let b = 95 - 92. Solve z + 8 = -2*y - 1, -4*y - 23 = -b*z for y.
-5
Let o = 1 + 1. Suppose -2*r + 12 = o. Let u = r + -1. Solve h + 3*j + j - 4 = 0, 0 = 2*j - u for h.
-4
Let p be -130*(-2)/(-12)*3. Let q = 35 + p. Let x be ((-18)/(-5))/((-9)/q). Solve -2*c + 8 = 2*j, 2*c - x = -2*c - 3*j for c.
0
Suppose -14 = -2*b + 5*g, 2*b - 2*g - 1 = 13. Solve -y = 4*f + b, 3*y + 2 - 17 = 0 for f.
-3
Let g(d) = -2*d + 5. Let c be g(6). Let p = 13 + c. Let w be -2 + -1 + 1 + p. Solve -3*s = -3*k - 12, 5*k - 2*s = -w - 16 for k.
-4
Let a(c) = -c - 3. Let t be a(-8). Suppose i + 3*p = -0*i - 10, 2*i = -t*p - 15. Solve -2*n - i = 5*s, -2*s + 3*s = n - 1 for s.
-1
Let h = -10 + -2. Let n = 15 + h. Solve -5*r - 25 = n*g, 2*g + 10 = -2*r + 5*g for r.
-5
Let d be 16*(-1)/2*5. Let t be (-108)/(-10) + (-8)/d. Solve 3*f + 0*c + t = 2*c, -4*c - 8 = 0 for f.
-5
Suppose 2*f = -2*r + 7*r, -2*f + 4*r = -4. Solve 2*m + 3*z = 4 - 1, 0 = 3*m - z - f for m.
3
Let k be 1*(-6)/(-3)*3. Let v = k - 6. Solve 4 = -2*w - 2*i + 12, v = -3*w + 2*i - 13 for w.
-1
Let k(j) = -4*j - 16. Let h be k(-5). Solve -u + h*b = 4*u + 31, -3*b = -4*u - 24 for u.
-3
Let z(s) = -2*s**3 - s - 1. Let r be z(-2). Solve -2*f + b - r = 2*f, -3*b = 5*f for f.
-3
Let o be -3 + 5 - (-1 - -3). Suppose o = -5*g - 4*k + 3, 2*k = -2*g + 3*k + 9. Let z = 17 - 7. Solve g*h + 5*t = 37, -5*h + 0*t + 2*t = -z for h.
4
Let c(b) = -b**2 - 4*b + 4. Let h be c(-4). Let w(i) = 2*i - 12. Suppose -4*j - 12 + 40 = 0. Let f be w(j). Solve -f*y = -h*m + 2*y + 12, 4 = 3*m + 2*y for m.
2
Suppose -15 = -5*b - 0. Suppose b*l = 2*l. Let c = -6 + 8. Solve -c*w - 2 = 5*p - 4, l = -5*w + 4*p - 28 for w.
-4
Let m be -2*(-1 - -1 - 1). Suppose -f = m - 10. Let p = f - 3. Solve 0*w = 2*w - p*k - 18, 0 = -w - k + 2 for w.
4
Suppose -5*i + 5 = -5*u, -5*i - 2*u + 5 = 2*u. Let n(t) = 4*t**3 + 2*t**2 - t. Let r be n(i). Solve 3*j = 5*d + j + 17, r*j - 5 = 0 for d.
-3
Suppose -2*k = -12 + 4. Let g = -7 - -7. Suppose g = l, 5*l - 2*l - 8 = -4*f. Solve -3*n + n - h + 12 = 0, -f*n = -h - k for n.
4
Let u be (-16)/(1/((-3)/6)). Let b be (2/4)/(u/48). Solve 0 = -b*t - l - 8, -4*t = -l - 0 + 13 for t.
-3
Let n(u) = u + 12. Suppose -27 = -d + 4*d. Let b be n(d). Let r = 6 + -3. Solve -6 = y + b*l, 2*l - 12 = r*y - 5 for y.
-3
Let f be ((-22)/10)/((-3)/15). Let n be (-2 - -1)*(2 + 4). Let u = f + n. Solve k + 5*y = 6 - 32, -y = -u*k for k.
-1
Let k be -1 + 1*(1 + -2). Let r be (2 + -8)*1/k. Suppose -12 + r = -3*h. Solve 5*l = y - 6 + 16, -h*l = -3*y + 6 for l.
3
Suppose 2*w - 74 - 9 = -5*n, 5*n = -5*w + 80. Solve -5*r - 2*y = -y - 26, -4*r + 3*y + n = 0 for r.
5
Let d = -66 - -71. Solve 0 = d*w - 5*f + 45, w + f + 2*f - 11 = 0 for w.
-4
Let o(g) = -g**2 + 6*g - 1. Let k be o(5). Suppose -j + k = -0*j. Solve -3*a = 1 - 7, -2*z = -j*a - 2 for z.
5
Let y = -6 + 5. Let j be (-2 + y - -1) + 6. Solve -x + 11 = 5*i, -3*i = 3*x - 1 + j for x.
-4
Let k(t) = t**3 - 9*t**2 + 10*t - 14. Let y be k(8). Solve -2 = -y*j - 4, j = o + 2 for o.
-3
Suppose 2*h - i + 2 + 10 = 0, 3*h = 2*i - 17. Let a be (h - -1)*(-6)/12. Solve -2 = -a*q - 5*s + s, q + 8 = 3*s for q.
-2
Suppose 0 = 9*j - 12*j + 6. Solve 5*u - 5*t = 0, -j*u + 4*t + 2 + 0 = 0 for u.
-1
Let a = 44 - 40. Solve 3*t = -2*g + 3, -g - 12 = -a*t + 3 for g.
-3
Let r(g) = -2*g**2 - 15*g + 11. Let z be r(-8). Solve z*x = -0 - 3, -4*x = -u + 5 for u.
1
Suppose 4*u - u - 15 = 0. Let t = 4 + u. Solve -3*s = -f + 9, 2*f + s + t = -2*s for f.
0
Suppose -3*z + 23 = 2. Let a(k) = -5 - 3 - 3 - 2*k + z. Let p be a(-10). Solve 4*m = -5*q + 13, 4*m + 4*q - p + 4 = 0 for m.
2
Suppose -11*h + 3*h = -16. Solve -s - 4 = -z, -z - h = 5*s - 12 for s.
1
Suppose -5*o + 3*g = -24, 2*o + 2*o + 3 = -5*g. Solve -2*n - 4 = 4*w + 2*n, -w - o*n + 5 = 0 for w.
-4
Let b(m) = m**3 + 6*m**2 - 3*m + 1. Let u be b(-6). Solve 4*q - 5*a + u = 0, -5*q + 2*a = a + 8 for q.
-1
Let m(g) = g - 3. Let x be m(5). Suppose x = k - 4. Suppose 0 = -3*u + 9 + 6. Solve k*t - d = t + 3, 2*t = -u*d + 12 for t.
1
Suppose 5*m + 4 + 1 = 0. Let t be m + (-1)/((-2)/6). Let c be 10/3*6/4. Solve 3*l - 19 = u, -4*u = -t*l + 21 + c for l.
5
Suppose -4*q + 2*x - 24 = 0, -x - 6 = q + 4*x. Let r = q + 10. Suppose 2*l - 17 - 6 = -5*n, 2*n + 2 = 2*l. Solve -l*u = c + 5, 3*u + c = r*c for u.
-1
Let n(x) = x**2 + 2*x - 3. Let y be n(2). Suppose y*w = 5 + 5. Let k be (-1 - -3 - w)/1. Solve j - 12 = -3*j + 2*m, 4*m = k for j.
3
Let r(z) be the second derivative of z**4/6 + z**3/3 + 2*z. Let f be r(-2). Solve f*p = -3*h - 16, 4*h + 5 = 5*p - 6 for h.
-4
Let a = -15 + 17. Solve n - 5*n = -3*r - a, 0 = -2*r - 4*n + 12 for r.
2
Suppose 0 = 2*j + 10, -2*j = -s - j + 8. Solve -4*t = o + 21, -6 = -t + s*o - o for t.
-4
Suppose 4*y = 5*h + 26 + 6, 4*y + 4 = -4*h. Suppose 0 = i - y. Let u(j) = j**3 - j**2 + 4. Let n be u(0). Solve -i*q - n*b - 13 = -5*b, 2*q - 5*b = -13 for q.
-4
Let d = 31 + -27. Solve 0 = 5*n + 3*r + 6, 0 = -d*n + 3*r + 6 for n.
0
Let s(f) = 2*f + 12. Let b be s(-5). Solve b*v = -l - 7, 0*l + v - 14 = 3*l for l.
-5
Let c be (-4)/(-7) - (-68)/28. Suppose 4*g = 5*a, -c*a - g = 4*g - 37. Solve -4*x + r = -19, 0 = -3*x + a*r + 25 - 1 for x.
4
Suppose -1 = -g + 2. Solve -5*p = -g*t + 12, t - 4 = 2*p - t for p.
-3
Let g(f) = f**2 + f + 5. Let w be g(0). Suppose -3*o + 5 = l - 3*l, 5*l = -5*o. Let c = 5 + l. Solve -c*u = w - 1, x + 1 = u for x.
-2
Let w(b) = -5*b + 73. Let o be w(14). Solve 2*s + 3 = m, -5 = -s - o*m + 4 for s.
0
Let a = 4 + -1. Suppose 6*r - a*h = 2*r + 17, 4*r = 2*h + 18. Solve 2*b + 12 = -0*j - j, 0 = -r*b - 5*j - 40 for b.
-4
Let z(d) = d. Let q be z(3). Let l = 2 + q. Suppose -20 = -5*i, -28 = h - l*h - 3*i. Solve 0 = 3*w + h*r + 16 - 4, 0 = w - 2*r - 6 for w.
0
Suppose -8 = -v - 6. Suppose 0 = v*l + 3*a - 3, 2*a - 3*a = -4*l + 13. Solve -4*i + 26 = -0*i - 3*n, -25 = -l*i + 5*n for i.
5
Suppose -2*l - 2*l = -8. Suppose -l = -5*c - 3*u - 1, 0 = -4*c + 4*u + 20. Solve i + i = c*q - 10, 2*i + 22 = 5*q for i.
-1
Let b be 20/15*6/4. Suppose -5 + b = -p. Suppose 0 = p*q - 5*q. Solve 3*u + 4*j + 11 + 3 = q, 0 = 5*u + j + 12 for u.
-2
Let b = 2 - 3. Let r = 1 - b. Suppose -2*t - 2 = -2*j, -4*t + 4*j = -r*t + 8. Solve 10 = g - c, t - 27 = 5*c for g.
5
Let f(o) = o - 8. Let u be f(8). Let m(z) = z**3 + 5*z**2 + 4. Let b be m(-5). Solve 2*k = -6, x - 10 = b*k - u*k for x.
-2
Let s be (2 - (0 + -3)) + -3. Suppose s*t - 4*t = -6. Solve -c - 2 = -4*n - t, 0 = c + n - 6 for c.
5
Let t = 34 + -30. Solve -t*k = -2*z - 14, -5*z + 5*k = 2*k + 7 for z.
1
Let x = 4 + -4. Suppose 2*q - 7 - 3 = x. Solve q*b - 5 = 2*i - 31, -2*i + b = -10 for i.
3
Let q = 3 + 5. Suppose -r = 5*i - 48, r - 18 = i + 12. Solve -t - 4*f + r = 4*t, 2*t - q = f for t.
5
Let u = 