c, -5*i + h = s for i.
4
Let w = -11 - -16. Let l be -8 + 2 + -4 - 1. Let o = -8 - l. Solve w*t + o*j + 19 = t, 0 = 4*t + j + 17 for t.
-4
Suppose 4*o - 84 = 32. Let d = -12 + o. Solve -3*a = 3*y + d - 2, -y - 13 = 5*a for y.
-3
Let t = 15 - 14. Solve -2*n = 3*a - 5, a + t = n + n for a.
1
Let d(b) = -3*b - 4. Let u be d(-4). Let t(p) = -7 - p**2 + u*p + 0*p**2 + 0*p**2. Let k be t(6). Solve -k*x + 29 = 3*m + 4, 0 = 3*x - 4*m + 14 for x.
2
Suppose n = -n + 6, 4*b - 5*n - 13 = 0. Solve p + b = 3*j, -5*p - j + 6*j = 5 for p.
2
Suppose -n - 15 = -18. Solve 2*k = 10, -5*z - n*k + 3 = -z for z.
-3
Let q be 4/20*5*4. Solve -32 = q*v + 2*n - 10, 2*n = 3*v + 13 for v.
-5
Let c(h) = 2*h + 6. Let s be c(-6). Let r be (-2)/s*(-5 - -5). Solve 4*p - 5*v - 15 = r, -2*v + 12 = 5*p - 6*v for p.
0
Let f(j) = j**2 - 5*j - 6. Suppose -4*k + 0*k - 3*o = -27, o = -k + 7. Let m be f(k). Solve -2*s + 0*h = 4*h + 2, m = 4*s + 4*h + 8 for s.
-3
Let o be (-9)/(-4) - (-21)/28. Suppose -5*k = 2*a - 31, k + o*a = -k + 19. Solve -5*r - 3*y = -4*r + 1, -k*y - 15 = -r for r.
5
Let h = -15 - -35. Solve 4*z + 2*c + h = 0, -5*z = -c + 12 + 13 for z.
-5
Let s = -24 + 25. Solve -4 = 4*p, s = m - 0*p + 4*p for m.
5
Let m = 30 + -17. Suppose -4*h - 1 = -m. Solve 4*r - 2*a - 19 = -3*a, -5*r + 29 = h*a for r.
4
Suppose -5*b = -22 - 18. Let i be (-4 + 12)/(2/25). Let r be 2/14 - i/(-35). Solve -2*h - r*w = 19, b = -h + 3*w - 4*w for h.
-5
Let g = -94 + 94. Solve -5*i + i = -b - 21, -2*i + 5*b + 15 = g for i.
5
Let q be (-12)/(-4)*(-1)/(-3). Let p be 3 - q - (-4 - 5). Suppose -48 = -4*z - h, -3 = 2*h - p. Solve -z = -3*u - 2*o, 3*o = -2*u - 2*o + 11 for u.
3
Suppose 5*n = 10, -2 = -4*m - 5*n + 8. Suppose 5*z - 6*j + j + 15 = m, 2*j = z + 8. Solve -6*y + 21 = a - y, -z*y + 6 = -2*a for a.
1
Let o = -5 - -7. Solve 3*f + 5*s + 24 = o*f, -s = 4 for f.
-4
Let a(o) = o**2 + 6*o + 3. Let f be a(-2). Let t be f/7 - 6/21. Let z be (-3)/9*6/t. Solve z*w = -2*c, c + 4 = -0*c for w.
4
Suppose 21 - 5 = -q. Let j be (-116)/(-10) + q/(-40). Solve -c + j = -2*a, -2*c = -c + a for c.
4
Let x(g) = -4*g + 13. Let l be x(5). Let s(t) = t**2 - t + 1. Let w be s(3). Let m = l + w. Solve 3*a + 29 = 5*f, m*a - a = 2*f - 5 for f.
4
Let g(j) = j + 12. Let i(w) = w**3 - 4*w**2 - 5*w + 4. Let b be i(5). Suppose 35 = -b*n - 5. Let x be g(n). Solve -2*t - 4*d = 2, -t + 2*d + 1 = -x for t.
1
Let u be 23/3 + (-1)/(-3). Let p = u - 6. Solve -5*v + 3*w - 3 = 3, v = -p*w + 4 for v.
0
Let m = 14 + 12. Suppose -5 = n - 10. Suppose -j = 3*v - 13, -v + n*v - 28 = -4*j. Solve -m = -4*o - v*t, 6*o - o = 5*t + 15 for o.
5
Suppose -11 = -3*y - 2. Let l(n) = -n - 7. Let o be l(-8). Let t = y + o. Solve t*f = -5*h, -h - 3*f + 0*f - 11 = 0 for h.
4
Suppose 90 + 2 = 4*q. Suppose 2*n - s - 20 + 7 = 0, 0 = -4*n - s + q. Solve 0*b - 5*b = 4*k + 14, 2*k - n = 4*b for b.
-2
Let r(p) = p - 5. Let d be r(7). Suppose -6*m - 3 = -4*k - m, 0 = -d*k + 4*m. Suppose 4 = k*h, 0 = l - 0*l + 3*h - 6. Solve l = 5*o - 4*a - a, 3*a = o for o.
0
Let o = -13 - -19. Solve 0 = 3*l + 2*g - 6, -4*l + o*g - 6 = 4*g for l.
0
Let v(i) = i - 2. Let d be v(3). Let f(k) = -k. Let o be f(-3). Suppose o*s - 20 = -2*y, 3*s + 17 = 3*y + s. Solve d = j, 2*c - 4 = -j + y for c.
5
Suppose -6 - 5 = -2*r - 3*o, -10 = -2*r - 2*o. Suppose 4*h + 18 = 5*f - 0*f, -f + r*h + 10 = 0. Solve -18 = f*a - 7*v + 3*v, -a + v - 6 = 0 for a.
-3
Suppose 11*z - 6 = 10*z. Solve 5*x + 4*p - z - 1 = 0, -3*p - 6 = 0 for x.
3
Let g(l) = 3*l - 7. Suppose 0 = -2*q + 5*x + 11, 5*q + x - 10 = 4. Let z be g(q). Solve 4*b = 4, 2*m + 5 = -z*b - 3 for m.
-5
Let j(z) = 3*z - 7. Let u be j(5). Suppose -17 = -5*n + u. Suppose -5*w + 7 = -3. Solve 5*h - 4*c + 18 = -11, w*h = -n*c - 5 for h.
-5
Suppose -3*s = 3*x, 5*s + 18 = -0*x + x. Solve m = -3*z - 4*m, 2*z + x*m - 1 = 0 for z.
5
Let g(c) = 4*c**3 + 44*c**2 - 5*c - 39*c**2 - 3*c**3 + 6. Let a be g(-6). Solve -2*d + 5*z + 12 = 0, a*d + 8 = -5*d + 3*z for d.
-4
Let n be (-4)/(-3 - -5)*48/(-3). Solve 3*f = -x - 3 + 10, -n = -3*f + 4*x for f.
4
Let o = -10 + 10. Solve -5*n = o, -2*n + 2 = q - 3 for q.
5
Suppose 3*u + 17 - 32 = 0. Solve 3*p + u*c = 0, -2*p + 37 - 12 = -5*c for p.
5
Suppose -f - 2*i = 4, -7*f + 5*f = -4*i - 16. Solve -2*w - 2 = -f*o, 2*w + w = -3*o + 27 for o.
5
Let l = -3 + 2. Suppose 4*j = -0 + 4. Let d = j + l. Solve -c + 2*z + 9 = d, -3*c - z + 5*z + 17 = 0 for c.
-1
Let d = 17 - 53. Let i be (-2)/(-7) + d/(-21). Solve 2*k + 3*o = 5*o - 10, 2*o + i = -2*k for k.
-3
Let n(m) = m**2 + m + 2. Let x be n(0). Solve 5*h + x*s + 17 = 0, -27 = 4*h - h - 3*s for h.
-5
Let p(c) = c**3 + 2*c**2 - 2*c. Let y be p(2). Let x be (4/y)/((-2)/(-30)). Solve 2*s - x*o - 8 = -0*s, 0 = s - o - 4 for s.
4
Let m be 4 - -1 - (4 + -1). Suppose -5*g + m*y + 16 = -14, -4*g + y = -21. Let d be 12*(3 + -2) + -1. Solve 13 = t - i + g*i, 3*t - i = -d for t.
-2
Let k(n) = -n**3 - n**2 + n - 3. Let w be k(3). Let r = -21 - w. Solve -2*i + 0 = v + r, v - 20 = 5*i for v.
-5
Let d(v) = -v**3 + 6*v**2 + 8*v - 3. Let z be d(7). Solve z*n + 3*l - 1 = 0, 4*n + n = 3*l - 19 for n.
-2
Suppose -171 = -4*g - 43. Solve 5*s + 4*m = g, 3*s + 3*m - 21 = -0*s for s.
4
Suppose 7 = 3*d - 11. Suppose -5*g + d = -2*g. Solve -2*l - 5 = -y, g*l + 11 = 4*y + 3 for l.
-2
Let g(y) = -y + 5. Let t be g(-4). Solve 3*i - 2*i + 3*l + t = 0, -5*l = 10 for i.
-3
Let c = 3 + -1. Let z be ((-2)/2)/(c/(-28)). Suppose z = 5*o - 21. Solve n + 5*j = o, 0 = -3*n + 4*j + 2 for n.
2
Let i(o) = o**3 + 6*o**2 + 5*o + 4. Let y be i(-5). Suppose y + 4 = 4*h. Let k = 3 + h. Solve -5*c - 3*f - f = -4, -3*c - k*f + 5 = 0 for c.
0
Let u(z) = z**3 + 10*z**2 + 9*z - 5. Let w be u(-9). Let d(s) = -s**3 - 6*s**2 - 4*s + 5. Let t be d(w). Solve -5*a + t*o = 5*o + 5, -5*a = 2*o + 8 for a.
-2
Let k be (-2)/9 + 125/(-45). Let d(h) = -h**3 + 7*h**2 - 5*h - 7. Let r be d(6). Let f = r - k. Solve -f*m = -4*u + 8, -2*m - 1 - 1 = 2*u for u.
1
Suppose -u = -15 - 0. Suppose 2*c + u = 7*c. Solve c*n + 5*w + 2 = -0*n, -20 = 3*n - 4*w for n.
-4
Let r(c) = 5*c**3 - 2*c**2 - c + 2. Let t be r(1). Let z(u) = -u**2 + 23. Let k be z(0). Solve -t*a + 4*j = -28, -a - j - k = 4*j for a.
2
Let l = 0 + 0. Suppose 4*j + 11 = 39. Solve -2*u - 3 = a, 0 = -3*u - a - j - l for u.
-4
Let u(i) be the second derivative of i**4/2 + 2*i**3/3 - 8*i. Let o be u(-2). Solve 0 = -q + 2*h + 8, 3*q = -h + 3*h + o for q.
4
Suppose -7*b - 46 + 235 = 0. Solve 2*u = 5*j + 4*u - b, -3*j = 5*u - 20 for j.
5
Suppose 0 = 5*n - 59 + 4. Suppose -4*j + k + 1 = -5*j, -j = -3*k - n. Solve 3*p = -2*p - 5*s - 20, 2*s - 4 = j*p for p.
-3
Suppose -5*v + 39 = -2*v. Solve v = -3*k + 1, 0 = 5*n + 5*k for n.
4
Suppose 0 = 4*k - 3 - 5. Suppose -k*w - 4 = 2. Let m be 0 + (-20)/6*w. Solve h = 5*a + 7, m*h + 2*a = 5*h + 8 for h.
2
Let t be (-171)/(-33) - (9/(-11) + 1). Solve 3*i = -6, t*c + 9 = 4*c - 5*i for c.
1
Let n(c) = c**2 - 8. Let u be n(0). Let o be ((-10)/(-8))/((-2)/u). Let v = o + -1. Solve j - 3*j = m - 5, v*j - m - 1 = 0 for j.
1
Let a be (-4)/3*(-30)/4. Let n = 14 - a. Solve 5*m + 36 = -4*t, -3 = -n*m + 5*t + 1 for m.
-4
Let o(r) = r**3 + r**2 - r + 2. Let c be o(0). Suppose 5*p - 37 = -3*v, 3*v - 11 = -c*p + 11. Solve -k + 16 = 4*k - 4*b, 5*b - 25 = -p*k for k.
4
Suppose 20 = 5*w, 3*r - 2*w + 0 - 4 = 0. Let c be 6 - (r/2 - -1). Solve 6*x = -5*s + 2*x - 37, c*s = 5*x for s.
-5
Suppose 4*f - 3 - 2 = -q, -19 = -2*f + 5*q. Suppose -k = 2, 2*h = -3*h - 2*k + 21. Solve -h*w - o = 21, -3*w - f*o + 13 = -4*w for w.
-5
Let k(z) = -2*z - 11. Let d(f) = f + 5. Let b(u) = -7*d(u) - 4*k(u). Let c be b(-5). Solve 2*y - 5*q + 6*q + 6 = 0, -2*y - c*q - 6 = 0 for y.
-3
Let w be 4/(1 + 12/(-14)). Let n be (-2)/(-8) + (-75)/(-20). Suppose -3*g = -5 - 4, -n*j - g = -19. Solve -j*h - s = 3*s + w, -3*h - 5*s = 25 for h.
-5
Let t(m) = -m**3 - 3*m**2 + m + 3. Let f be 9/27 - (-10)/(-3). Let n be t(f). Solve 5*q = 3*s - 6*s + 25, n = -5*q + 5*s - 15 for q.
2
Suppose -2*j - 4 = -10. Solve 5*p + 4 = -3*k - 11, j*k - p = -15 for k.
-5
Suppose -6 = 5*r + 2*b, 6*b = -5*r + 3*b - 9. Let p be (5/2)/(2/4). Let o = -3 + p. Solve r = 5*c + 25, 32 = o*d - 5*c + 3 for d.
2
Let c = 26 - 22. Let l be 8/(-20) + (-2)/(-5). Solve l = 4*r + c, 0*r - r - 4 = -3*o for o.
1
Suppose 0 = 3*b + 2*x - 23, -b - 2*x 