 -41 + y. Solve 4*h = 2*k - c - 3, 2*k + 2*h = 2 for k.
2
Let z be -4 + 4 - (-2)/1. Let s be (-2)/(-4) - (-9)/z. Let v(c) = 2*c + 30. Let a be v(-14). Solve 3*b + a*b = -g + 13, -17 = -s*g - b for g.
3
Let s = 2 + 2. Let l = 26 - 12. Suppose 0 = 3*w + 4*g, -4*w + 5 = -g - l. Solve -w*a = 5*o - 3*o - 4, 0 = -s*o for a.
1
Let d = 53 + -56. Let j be (4 + 26/(-6))/(d/27). Solve 0 = -3*s - 3*f - j, 0 = -s - 0*f - 5*f + 3 for s.
-2
Suppose 4*t = -0*t + 12. Let j(m) = 1 + m**2 + m**2 + 3. Let b be j(t). Solve -b = -3*w + 5*h, -4*w - h = -w - 10 for w.
4
Let h(d) = -d + 8. Let u(b) = -b**2 - 5*b + 4. Let o be u(-5). Let q be h(o). Suppose q + 0 = 2*s. Solve -2*t = -4*x + 16, -3*t - s*t + 30 = 4*x for x.
5
Suppose 2*m = u - 0*u - 3, -4*m = 5*u + 41. Let b = -2 - m. Suppose -l + 3 = -5*k, 0 = 2*l + k - 0 - 6. Solve -3*n - 2*h = h + 9, 0 = b*n + l*h + 8 for n.
-1
Let x = 18 + -15. Let p = -91 + 109. Suppose -12 = -3*n - z, -3*z = -0*z - 9. Solve 0*v + t - 12 = n*v, -3*v - p = -x*t for v.
-3
Let u(z) = -z**2 + 23*z + 52. Let r be u(25). Solve -3*g - 5*q = -r + 7, 0 = -2*g - 4*q - 6 for g.
5
Suppose 7*t - 2 = 6*t. Suppose 0 = t*h - 3*n - 68, -2*h + 0*h - 4*n = -96. Solve -4*o - 4*k - h = 0, 2*k = 2*o + 6*k + 30 for o.
-5
Let r be 15/35 - (-7)/((-294)/(-612)). Solve -5*m = -u + 20, 2*m + r = 4*m - 5*u for m.
-5
Let c = -164 + 191. Solve 3*h + 4*s = c, -2*s = -0*s - 6 for h.
5
Let w be ((-3)/(-12) - 1)/(4/(-16)). Solve -5*t - w*x = -4*x - 14, -20 = -2*t + 4*x for t.
2
Suppose -24*t + 12 = -20*t. Solve -f = -x - 2*f + 2, 6 = -5*x + t*f for x.
0
Let i(u) = 4*u - 13. Let o be i(4). Suppose -6*s = -11*s + 20. Solve 0 = -s*c + 2*m - 22, -4*c + 5*m - 28 = -o*c for c.
-3
Let p(o) be the first derivative of -o**4/4 - 2*o**3/3 - 7*o + 6. Let v be p(-3). Solve -3*g - 8 = -2*l, -v*g - 4*l = -g + 12 for g.
-4
Let o = 10 - 6. Let d = 9 - o. Let s be 3/(0 - -4 - 3). Solve d*c - 16 = -b, -8*c = -s*c + 3*b - 8 for c.
4
Suppose 4*r - 2*r - 12 = -o, -o = -4*r + 18. Suppose -5*s = 5*m - 37 - 8, o*s - 16 = -4*m. Let u = s - 7. Solve -2*g = -3*g - 4*h - 12, -u*g = 4*h + 20 for g.
-4
Let g = -20 - -22. Suppose -4*n + 2*k + 24 = 0, 2*n - 21 = 3*k - 1. Let c be (-13)/(-26) + 14/4. Solve 0*t = -n*t - 2*b + 8, t + g*b + c = 0 for t.
4
Suppose 0 = 3*n - 15, -4*a + 5*a = -4*n + 22. Solve -7*j + 21 = -4*j + 4*k, 2*k - 12 = -a*j for j.
3
Suppose 4*s = -0*b + b - 20, -2*s = -b + 26. Suppose -3*u + b = -u. Suppose -4*l = -2*j - u, 5*l - 42 = -j - 15. Solve -5 = j*z + d, z - 5 = 5*d + 9 for z.
-1
Let h(t) = -16*t + 213. Let u be h(13). Suppose 2*f = -3*x + 3, -f + 3*f = x - 9. Solve 0 = u*i + x*k - 1 + 12, -k + 23 = -5*i for i.
-4
Let i = -85 + 104. Let w = i - 9. Solve p + 0 + 5 = 4*x, 5*p = 5*x - w for x.
1
Let j be (0 - -2) + (-9)/3. Let d be (-36)/(1 + -5) + j. Let k = d - 3. Solve -5*l + 4*v + 16 = 0, -k*v - 5 = -2*l + 15 for l.
0
Let x(p) = -p**2 - 4*p + 3. Let r = -12 + 8. Let u be x(r). Solve 6*s - 4*q = u*s + 17, 3*q = 3*s - 12 for s.
-1
Suppose 5*t - 3*t = -8, k = 2*t + 13. Let l = 174 + -168. Suppose -11 = -l*z + 1. Solve -30 = k*p + d + 3*d, -z*p + d = -1 for p.
-2
Let i(d) = -d**2 - 7*d + 5. Let n be i(-7). Suppose 2*h + 6 = n*h. Solve 5*q = -h*v + 6, -v + 6 = 5*q - q for v.
-2
Let y = -52 - -31. Let f = -17 - y. Solve -5*o + f*u = -3*o + 6, 5*u = -o + 25 for o.
5
Let l(k) = -k**2 - 8*k + 18. Let f be l(-9). Suppose -g - 3 = 0, 3*z - f = 2*g - 5*g. Solve -2*q - s = 3, -4*q = 4*s - 6*s - z for q.
0
Let d = 281 - 274. Solve 2*c = i + d, c - 6 = -0*i + 3*i for i.
-1
Suppose -4*i = -v - 13, -4*i - 3*v + 7 = -6*v. Suppose -i*l + 40 = -2*l. Let o = -17 + l. Solve 0*b = -b - o*z + 4, -5*z + 10 = 0 for b.
-2
Suppose -5*h + 0*w = -3*w - 12, h - w = 2. Let k be 4/(20/3)*5. Suppose 0*p + p + k*v - 15 = 0, 5*v - 20 = 0. Solve -2*q = -6*q - h*z - 4, 12 = -p*z for q.
2
Let d(x) = x**2 - 10*x. Let b be d(11). Suppose t - 29 + b = 0. Solve t = 5*j - 2*c, 0 = 4*j + 4*c + 9 - 1 for j.
2
Let k be 3/(-6)*0 + 9. Let z = 19 - k. Suppose 9*y - 4*y - z = 0. Solve u - 9 = -y*q, -u - 2 = -3*q - 1 for q.
2
Let n(x) = 71*x + 3. Let l be n(0). Solve 3*c + l - 6 = 3*f, 0 = 3*c + 5*f - 11 for c.
2
Suppose 136 = 24*y + 40. Suppose 2*p + 1 = -w, 2*w = 3*p + 17 - 5. Solve -y*v + v + 3*x - w = 0, 3*x + 3 = 0 for v.
-2
Let x be (-1 - (4 + -9)) + 1. Suppose 0 = -y - x + 8. Solve -h + y*o = -4*h - 18, -h = 3*o + 8 for h.
-5
Let n(y) = -3*y + 2. Let i be n(-5). Let c = 22 - i. Suppose c*h = 3*h. Solve -p + 2*o - 3 = o, 4*p + 3*o + 19 = h for p.
-4
Let d be (-4)/7 + 780/42. Solve 6 - d = 4*g - 2*u, g = 4*u + 11 for g.
-5
Suppose -4*j + 21 - 1 = 0. Suppose -j*p = -2 - 8. Solve 0 = -3*s - p*d + 15, 2*s + 0*s = -4*d + 18 for s.
3
Let r = 1 + -1. Let c = -696 - -701. Solve c*k = -20, 0 = -r*a + 4*a + k + 8 for a.
-1
Let z(j) = -j**3 + 10*j + 18. Let v be z(-2). Solve -v = 2*o - 3*b, 4*o + 8 + 4 = b for o.
-3
Let y be (38/95)/(2/(-120)). Let k = y - -31. Let d = 7 - k. Solve -2*v = -4 - d, -5*u + 3*v = 6 for u.
0
Let s = 6 + -3. Let h(d) = 1. Let b(c) = -c - 3. Let o(z) = b(z) - 2*h(z). Let r be o(-8). Solve -r*t + 2*f = -4 - 15, 4*f + s = -t for t.
5
Let g(p) = -5 - 2 + 3*p - 4*p + 0. Let v be g(-3). Let o = -1 - v. Solve -2*f = 3*i - 2 + 4, o*i = -12 for f.
5
Let k = -623 + 626. Let p = -8 - -15. Suppose -k*j + p*j = 56. Solve -3*v + 2*m = 5*m + 15, -j = v + 4*m for v.
-2
Let s(o) = 8*o - 221. Let k be s(28). Solve 10 = -2*w - 4*d, -4*w + k*d + 50 = 15 for w.
5
Let i(x) = -x - 30. Let f(d) = -9*d - 210. Let a(j) = 2*f(j) - 15*i(j). Let z be a(8). Solve 20 = -5*g, 5*o = -2*g + z*g - 9 for o.
-5
Let f(x) = 2*x + 5. Let n be f(0). Suppose 2*r + 3 = -z, -n*z + 0*r - 15 = r. Let t be -2*(-5)/(-6)*z. Solve -11 = t*v + 2*w, -w + 6*w - 16 = 2*v for v.
-3
Let r(z) = -38*z. Let n(l) = -l**2 + 4*l - 1. Let q be n(3). Let t be r(q). Let b be (-3)/((-216)/t - 3). Solve -3*u + b = 2*s, -2*s - s - 5*u + 30 = 0 for s.
5
Let j be (18/21)/((-1)/7). Let t = 10 + j. Suppose 0 = -5*b + 21 + 14. Solve -3*p - 8 = t*u + b, -3*u = -2*p - 10 for u.
0
Let v(h) = h**3 + 5*h**2 - 5*h + 9. Let x be v(-6). Suppose 0*j + 14 = 3*g - 2*j, -4*g + x*j + 19 = 0. Solve 2*p + 3*w = -g + 8, -p + 2 = -2*w for p.
2
Let x be (2 + 3 - -13)/2. Solve 2*q - n = -x, -n - 4*n + 9 = -q for q.
-4
Let n(q) = -2*q**3 - q**2 - 5*q - 10. Let z be n(-2). Solve 3*f + 0*y = 3*y + z, f = 2*y + 7 for f.
1
Let j be -2 + 10 - 240/40. Solve 4*a + 4*t - j - 6 = 0, 0 = -a - 4*t + 17 for a.
-3
Let n(f) = -f + 6. Let x be n(3). Let m be x - 1 - (-1 - 1). Suppose -2*t = 5*g - 57, 0 = -16*g + 13*g - 4*t + 37. Solve -l - 7 - g = 4*j, -j - m*l = 12 for j.
-4
Let p(h) = -h**3 + 10*h**2 - h + 13. Let q be p(10). Suppose c = 2*a - 3 - 8, -5*a = q*c. Solve 3*k + 3*l + 21 = 0, 2*l + a*l = 3*k + 5 for k.
-5
Let l(t) = t**3 + 22*t**2 + 37*t - 43. Let i be l(-20). Solve -3*u - 2*a - 18 = 0, 2*a + i = -2*u - a for u.
-4
Let t be -4*(-1 + 1 - -2). Let d(r) = -r**2 - 8*r + 5. Let p be d(t). Suppose 3*f - 50 = 34. Solve 4*m - f = p*o, 4*m - m - 6 = 0 for o.
-4
Let v be 4/6 + 2/(-3). Suppose 2*t + b = -v*b + 13, 1 = -t + b. Let a = -180 - -182. Solve 1 = r - 4, t*q = a*r + 2 for q.
3
Let p(z) = 3*z - 2. Let h be p(-2). Let q be h/(-28) - 8/28. Solve -5*s - 4 = -0*m + 3*m, -4*m + 5*s + 18 = q for m.
2
Let s(p) = -3*p**3 - 18*p**2 + 3. Let i be s(-6). Solve -3*u + 1 = 4*j, 5*u + 2 = i*j - 6*j for j.
1
Let h be -32 - (4 + -4)/4. Let s be (24/16)/((-3)/h). Suppose t - 22 = 28. Solve -3*y + t - s = -5*u, 5*y + 5*u = -10 for y.
3
Suppose 36*d - 99 - 585 = 0. Solve 4*j + d = -f, 9 = -5*j - f - 15 for j.
-5
Suppose q = -4*f + 2 + 8, f - 4 = -q. Suppose -f*x = -10*h + 5*h + 10, -20 = -5*h + 4*x. Solve 5*j - 3*m + 11 = h, -5*j + 2 = -j + 3*m for j.
-1
Let s = -62 - -91. Let p = s - 10. Suppose -2*o - 6*j - p = -j, -o = -5*j - 28. Solve -5*b = 3*a + 17, -4*b = 3*a - o*b + 1 for a.
1
Let q(l) = 3*l**2 + 3*l - 11. Let i be q(2). Solve -2*r = -4*o - 12, 0*o + o - 3*r = i for o.
-5
Let z = 288 + -286. Solve -z*m = -3*h - 14, m + 5*h + 6 + 0 = 0 for m.
4
Let t be 1/2*(12 - 6). Suppose t*a = -17 + 77. Suppose -3*w + a = w. Solve -4*r - v + 27 = -4*v, 0 = -v - w for r.
3
Let f(h) = -h**3 + 16*h**2 - 37*h - 24. Let b be f(13). Solve 3 = -t + 5, b*t = -5*o + 14 for o.
2
Suppose 3*l + 0*l + 45 = 0. Let b = -11 - l. So