pose 20 = 5*q + 5*h, 3*q = -5*h + h + 11. Suppose 0 = -q*g + 4 + 56. Solve 2*c - g = -3*l, 2*l = l + c + z for l.
4
Let a be ((-20)/6)/(2/6). Suppose -q = 75 - 88. Let w = a + q. Solve -2*z = -w*u + 5, 14 + 10 = -5*z - 4*u for z.
-4
Let m be 3 + -1*-1*(-2 + 3). Suppose 24 = m*x + 4*v, 3*x - x + 4 = 2*v. Solve 5*h = x*d - 3*d - 5, -h = -4*d + 22 for d.
5
Suppose 2*u = -3*u - 105. Let l = 26 + u. Suppose 2*v = -3*f + 23, v + f - 4 = 5. Solve 0 = l*c + 2*b - 4*b + 5, -4*c - v = -b for c.
-1
Suppose -2*l = -5*t - 71, 67 = -3*l + 5*l - t. Solve 3*y = 3*z, 5*z + 3 = -4*y - l for z.
-4
Let c(s) = s**2 - 8*s + 15. Suppose -3*u - 5*d = -2*u + 19, 2*u + 5*d = -13. Let r be c(u). Solve -3*q - 14 = -4*x, -q - r = -4*x + 7 for x.
2
Suppose -4*v - 5*n + 23 = 0, -5*n + 17 = 3*v - 4. Solve -4*b = -4*g + 6 - 30, 0 = v*b + 2*g for b.
3
Let u be 2/(-5 + 4) + -24. Let s = u + 38. Solve -5*i + 2*w - 9 = 0, 0*i - 5*w = -i + s for i.
-3
Let t = 1399 + -1423. Suppose -3*f + 108 = 27. Let c = t + f. Solve -3*g + 0 = c*l + 6, 2*l + 4 = 2*g for l.
-2
Let u = 97 + -94. Let b be (-2 - 2 - -4)*-1. Solve b = -z - 0*z + u*y, -3 = 3*y for z.
-3
Suppose -y - 2*m = -22, 3*m = -4*y - 0*m + 108. Let q be ((-20)/y)/(4/(-18)). Suppose 2 = q*j - j. Solve a - 11 = 5*i - 2, -j = a for i.
-2
Suppose 0 = 5*p - 16 - 34. Let w be (-2)/5 + 44/10. Suppose -o = -16 - 4. Solve 6 + p = -3*i + 4*x, -w*i = -5*x + o for i.
0
Let s be (49 - 43)*(-1)/(-3). Solve 3 = 3*l + 15, s*l = u - 12 for u.
4
Let o be 2/(-13) + (-8512)/104. Let s = 46 + o. Let b be s/(-16) + 6/8. Solve b*t + 3*k + 30 = 0, -5*t - 10 = -4*k + k for t.
-5
Let t(d) = -d - 1. Let f(q) = 4*q - 12. Let p(j) = -f(j) - 5*t(j). Suppose 0*a + 5*a = -50. Let x be p(a). Solve 4*z - x*z + 5*v = -6, 5*z - 5*v = 0 for z.
-3
Suppose -4*r = -41 + 13. Let f(m) = -m + 10. Let b be f(r). Let p = 0 + 26. Solve -n = -5*j + p, -19 = -j - b*j - n for j.
5
Suppose -5*d = -3*d - 6. Suppose d*w - 10 = 5. Let z(n) = -n**3 + 3*n**2 + 2*n - 3. Let a be z(3). Solve -w*o + 22 = -a*j, 4*j + o - 4*o = -22 for j.
-4
Let a = 418 + -415. Solve 5 = -a*l - 4, 2*m + 2 = -4*l for m.
5
Suppose 13*y + 0*y = 26. Solve -y*t - 3*t = -u + 16, 4*t - 2*u = -8 for t.
-4
Let w be (4/(6/3))/(1 - 3). Let k be 0 + 1 + 5 + w. Solve 0*b = 2*b + 2*x + 6, k*x + 16 = -4*b for b.
1
Suppose -2*l - 4*j = -42, 0 = -2*l + 4*j + j + 6. Solve -2*n - 4*x + 5 = -11, -5*n = x - l for n.
2
Let r = -73 + 79. Let z be ((-6)/9)/(r/(-45)). Solve -3*t + 2*l = 5, 0 = z*t + l - 6*l for t.
-5
Suppose -2*c = 3*x - 18, -x + 109 - 107 = 0. Solve 9 = 2*n - 5*z, -n + c = -6*z + 2*z for n.
2
Let o = 1708 + -1706. Solve 0 = -m - 11*d + 6*d - 21, 2*m = o*d + 6 for m.
-1
Suppose 51*o - 907 + 193 = 0. Solve -2*h - o = -4*q + 8, 4*q - 37 = 5*h for h.
-5
Suppose 6 + 3 = 3*h. Suppose 3*z = z - 8. Let x be (z/6)/((-9)/27). Solve 3*l - 15 = 0, -x*n + 4*n - h*l = -13 for n.
1
Let j be (-3*6/12)/((-14)/112). Solve 0 = -5*o + 2*f - j, -3*f + 9 + 0 = -3*o for o.
-2
Let n = 27 + -6. Suppose -7*j + n = -4*j. Solve -a - 3*y = 4, -2*y = 2*a - j*y - 14 for a.
2
Suppose 0 = 26*k - 0*k - 104. Solve 0 = -3*n - 12, k*z = 4*n - n for z.
-3
Suppose 5*q + 6 = -19, 3*r + 5*q + 283 = 0. Let b = -84 - r. Solve -8 = 2*i + b*n, -n = -2*n - 1 for i.
-3
Suppose 21*b = 20*b. Suppose b = -4*h + 5*h - 4. Solve 2*v - 6*v - 3*z + 16 = 0, -h*z = 5*v - 20 for v.
4
Let w(s) = 4*s + 2. Let x be w(0). Solve x*l - 8*p + 3*p = 6, -3*l + 4*p + 9 = 0 for l.
3
Let r be (4 + -13 - 0)*-4. Suppose 2*a - r = -22. Suppose 3*p = a*p. Solve p = 3*y - 2*s - 8, 2*s + 3*s = 5*y - 10 for y.
4
Suppose -3*f + 5*j - 1 = -77, -2*f = 5*j - 9. Solve 2*p + 0 = -2, -3*i = -2*p - f for i.
5
Let h = -3 - -7. Solve 4*c - 4 = h*b + 4, 4*c + 28 = -5*b for c.
-2
Let g = 60 - 59. Let u be (g - -1)/8 - (-21)/12. Suppose 5*t - 2*v = 2, 4*t - 2*v + 1 = -3*v. Solve t = -2*h + 3*a - 15, u*h + 5*a - 9 = -0*a for h.
-3
Let g(a) = a**3 + 12*a**2 + a + 14. Let z be g(-12). Suppose m + m - z = 0. Let t be -14*((-27)/21 + m). Solve -t*v - 2*q = 12, q + 6 = -3*v - 5 for v.
-5
Let v(c) be the third derivative of -c**5/60 + c**4/3 - 7*c**3/6 - 4*c**2. Let a be v(5). Let w = a - 4. Solve z + 2*u = -6, -3*u - 2 = w for z.
-2
Suppose 2*p + 4*z = -22, -p + z - 11 = -3*z. Let f = 14 + p. Let m be f + (-3 - 0) + 2. Solve -3*a + 4*a = -m*l, 4*a = -3*l for l.
0
Let x be 16 - (-4 + 14/2). Suppose -x*f + 5 = -12*f. Solve -f = 4*s + u, -4*s - 1 = -2*u + 1 for s.
-1
Let b = -399 - -404. Let s(f) = f**2 + 2*f + 3. Let l be s(-2). Solve b*j - k + 0*k = 5, -2*j + l*k + 15 = 0 for j.
0
Suppose 2*h = n + 9, n + 14 + 0 = 3*h. Let b be 16/(-24)*33/(-2). Suppose h*c - 151 = -b. Solve 2*v - 23 = 5*t, -3*v - 3*t = 2*t + c for v.
-1
Let v = 7 + 27. Suppose -d = d - v. Suppose 2*s = -3*o + d + 31, 0 = 3*s. Solve -5*r + r - o = -m, 3*m + 3*r = -27 for m.
-4
Let t(x) = 1. Let p(f) = -f - 1. Let l(c) = -p(c) - 4*t(c). Let d be l(8). Solve -3*s + 9 = -3*i, 3*i - 2*i + d = 2*s for i.
-1
Let h be -4*(-2 + 1)*2. Solve 4*y + 4*s = -11 + 3, -4*y = s + h for y.
-2
Let z = 1918 - 1914. Solve 3*g - 13 = -d, -z*g - 4*d + 8*d + 28 = 0 for g.
5
Let s be (7 - (-52)/(-8))*4. Solve d = 4*l + 5, 2*d + s*d = 20 for l.
0
Suppose 0 = 2*c - 6 + 2. Let x = -19 - -22. Solve -5*f = 4*d - x - c, -3 = 2*d - 3*f for d.
0
Suppose -8*o = 5*b - 3*o + 70, -3*b - 32 = -2*o. Let t(f) = -12*f + 2. Let k be t(-1). Let c = b + k. Solve -5*v - 6 = -c*d + d, -3*d + 3 = 0 for v.
-1
Let u = -44 - -44. Solve 7 = -4*b - 4*s - 13, u = -s for b.
-5
Let w(t) = -7*t - 26. Let o be w(-4). Solve 3*b - 4*r - 12 = 0, 2 + 4 = -o*b - 2*r for b.
0
Let p be 0/(-27) + 2/1. Solve 4*a + 8 = -4*x, 14 = p*x - 3*a - a for x.
1
Let q = -86 - -85. Let y be 21/(-7) + 10 + (q - 1). Solve 0 = -y*m - 5, -5*r - 4 - 3 = 2*m for r.
-1
Suppose 3*t + 3*v - v = 12, 0 = 2*v - 6. Suppose -10 = -c - 2*w, -4*w + 2*w + 14 = 2*c. Solve -t*a - 5*n - 2 - 4 = 0, 4*a + c*n = -12 for a.
-3
Let p be -3 + (-2 - (-30)/(-3)). Suppose -4*s + 29 = -39. Let b = s + p. Solve -19 = 5*f + b*d, 2*f + 5*d - 10 = -26 for f.
-3
Let c(w) = -w**3 - 6*w**2 - 7*w + 4. Let h be c(-4). Suppose -y - 2*k + 4 = -10, -2*y + 27 = 3*k. Solve -14 = -h*m - 4*m + 2*g, y = -4*g for m.
2
Let p(i) = 6*i - 8. Let v(x) be the second derivative of x**3/6 - 6*x. Let t(a) = p(a) - 3*v(a). Let c be t(6). Solve 0 = 5*s - c, -s = 5*h - 4*s + 1 for h.
1
Let u(c) = -3 + 4 - 7 - 1 + c. Let y be u(7). Suppose -b = 2*m - 10, y = -3*m + b - 6*b + 15. Solve -2*q + i = -3*q + 2, 0 = i - m for q.
-3
Let y(b) = 4*b - 34. Let o be y(9). Solve 4*g + 25 = -g, o*f + 2*g = -8 for f.
1
Suppose -5*z + 9 = -c - c, 2*c = 2*z. Suppose -z*s - 2*k = s, 0 = 2*k. Solve 3*n - 2*n - 4*o = 17, 2*n + 4*o + 2 = s for n.
5
Let o(d) = -4 - 3*d + 3*d**2 - 14 - 2*d**2. Let n be o(6). Solve 5*s = -t - 10, -4*t - 21 = s - n*s for s.
-1
Suppose 3*s + 26 - 65 = 0. Let o = -21 + s. Let m be ((-25)/(-2))/(o/(-16)). Solve 5*g - m = -2*n, -3*g - 2*g - 5*n = -40 for g.
3
Let p = -108 - -45. Let s = -58 - p. Solve 4*d + 8 = -3*f - f, 10 = s*f for d.
-4
Let y(b) = b**3 - 10*b**2 - b + 6. Let v be y(10). Let g be (-72)/(-33) - v/(-22). Solve -3*m + 2 = -2*r, -g*r = 4*m - r - 10 for m.
2
Let y(n) = -8*n - 1. Let l be y(-2). Suppose 25 = 2*r + 3*r. Solve 0 = -4*j + p - 12, r*p - 11 - l = 3*j for j.
-2
Suppose 2*k - 2 = g + 11, -36 = -4*k + 4*g. Let d be (-5 - k)*(-2 + 3)*-1. Solve -2*x - 10 = 0, d*x + 29 = -l + 4*x for l.
-4
Let d(w) be the first derivative of -5/2*w**2 + 5*w - 1 + 0*w**3 + 1/4*w**4. Let q be d(2). Solve 3*h - 11 = b, 0*b = q*h + b - 1 for h.
2
Suppose -6*q + 91 = -23. Let p = q + -17. Suppose -2*f = -7*f + 10, -3*f = -3*h + 45. Solve -p*g - 3*g = -25, 3*g - h = -2*t for t.
1
Let l = 2 + -2. Let m(a) = a**3 + 5. Let i be m(l). Let b(c) = -7*c - 116. Let x be b(-18). Solve -i*v = -4*q - 0*v - 25, -2*v + x = -q for q.
0
Suppose -12 - 58 = -2*h. Let c be h/7*(-6)/(-10). Solve x = c*j + 7, -3*x - 2*j = -j + 9 for x.
-2
Let f be 18/10*-6*50/(-180). Solve 2*x = f*t - 16, -3*t - 2 = -3*x - 5*t for x.
-2
Let v be (-3)/(-30)*6 - 8/(-20). Suppose -v + 3 = -3*x - 4*g, x + 5*g + 8 = 0. Solve 6 = -x*l, 3 - 2 = 5*u + 3*l for u.
2
Suppose g - 37 = 4. Suppose -2*q - 3*q = -2*h + g, -5*h = -4*q - 60. Let v(l) = -l**2 + 8*l + 3. Let t be v(h). Solve -2*z = 4*w, -2*z + t*w = -5*z for 