 5*c + 19 for s.
3
Suppose 0 = -489*w + 492*w - 42. Let i = 8 - -8. Solve -h + 2*h - 2*a - w = 0, -h = 4*a + i for h.
4
Let d be 130/(-26) + (6 - 1). Let s(f) = f**2 - 2*f + 1. Let n be s(3). Suppose 5 + 3 = n*j. Solve 4*c + d*c - 3*w = 7, -j*c = -5*w - 21 for c.
-2
Let a(r) = 2*r**3 - 14*r**2 + 2. Suppose -5*v + 4*v + 7 = 0. Let l be a(v). Solve 3*z + 8 = -4*s, 0*s = -4*s - l*z - 12 for s.
-5
Let x be ((-12)/(-4) + (-40)/16)*4. Solve -4*r + 22 = x*d, 2*r - d - 7 = -2 for r.
4
Suppose -16 = -2*m - 4*q, -q = m + m - 28. Solve -f - 4*f = 3*t + m, -f - 5*t - 12 = 0 for f.
-2
Let w be 12/(-2) + (-8 + -1)/(-1). Solve -4*y + w*g = 0, -5*y - 2*g - 27 = g for y.
-3
Let r = 40 + -25. Let f = -10 + r. Solve -5*j = -f*d + 15, -2*j - 3 = -5*j - 3*d for j.
-1
Let i = 46 - 91. Let x = -40 - i. Solve -7 = -5*l + 5*d - 2, -3*d = -5*l + x for l.
1
Let u(f) = -f**2 + 2*f + 173. Let w be u(-12). Solve b + w = 2*m - 1, -4*b + 3 = m for b.
0
Suppose 0*t = -29*t + 174. Solve x + t = -2*x - 4*k, 0 = -k - 3 for x.
2
Let a(d) = -5*d - 22. Let k be a(-6). Solve -3*c + 2*o = k, -6*o - 30 = 5*c - o for c.
-4
Suppose 34 = -27*q + 547. Solve 5*b = 3*i - q, 0 = -i + b + 2*b + 9 for i.
3
Let q(z) = z + 2. Let u be q(-2). Let w = u - -3. Solve 0 = -w*h - 3*c - 0*c - 3, 0 = 2*h - 3*c + 2 for h.
-1
Let i be ((-1)/(-2))/((-4)/48*-2). Solve i*y = -4*t + 4 + 7, 4*y = 5*t + 25 for y.
5
Let p be -3 + -51*4/(-12). Let l be (-3)/(-6)*p - 3. Solve 4*c + 27 = -3*j, l*c - 3 + 0 = 3*j for j.
-5
Let a = -12 + 23. Suppose -12 = -r + a. Solve 0 = -p - 5*n, -2*p + 3*n = 2*p - r for p.
5
Let t = 100 + -98. Suppose b - 3*w + 3 = -6, -2*b = -2*w + t. Solve -z - 2 = 5*u, 0 = -3*z - 0*u + b*u - 6 for z.
-2
Suppose -i - 12 = -39. Let q be 7 + 3/((-9)/6). Solve q*l - 3*t = l + i, -5*t - 31 = -2*l for l.
3
Let l = 208 - 204. Solve -5*c = -l*d + 5, -3*c - 11 = -d - 3*d for d.
5
Let z(o) = 20*o + 225. Let p be z(-11). Solve -3*y - x - 12 = 0, -3*y - y = p*x + 27 for y.
-3
Suppose -143 = -59*p + 152. Solve p*o - 4*b + 1 = 8, -3*o + 1 = -4*b for o.
3
Suppose 2*n + 10 - 16 = 0. Solve -n*z + 18 = 3*d, 2*z + 4*d - 15 = d for z.
3
Let n be 2/1 - 5 - 62/(-1). Let a = -57 + n. Solve -5*z + 2*z = 5*k - 17, 18 = 4*k - a*z for k.
4
Suppose -23 = -2*i + 2*l - 5*l, l - 21 = -4*i. Solve 2*b + 4 - 1 = 3*u, -i*b - 14 = 2*u for u.
-1
Let p(m) = 12*m - 428. Let b be p(36). Solve 0*r = s + 2*r - 6, -b*s - r + 10 = 0 for s.
2
Let g = -1966 - -1969. Solve -y - o - 3 - 3 = 0, -g*o - 12 = y for y.
-3
Suppose 6*f = -10 - 32. Let r be (f/14)/((-1)/24). Suppose -4*o = -0 - r. Solve -3*u + 1 = -0*j - 4*j, 0 = 2*j + u + o for j.
-1
Let r be -11 - -8 - -3*1. Let q be 0/(r/4 + -3). Let m be 4 + (-3)/6*q. Solve 0 = m*o - 2*b + 18, o + 3*b + 11 = 3 for o.
-5
Let g be (-5 + 9)*(-10)/(-8). Solve g*a + 17 = q, -20 = 3*a + 5*q + 7 for a.
-4
Suppose 10*m = 14*m - 24. Suppose -m = -4*r - 0*r - 3*j, -r - 5*j = 7. Let z(n) = 5*n. Let q be z(2). Solve 2*s = -3*s - 5*l - q, 5*l = -r*s - 16 for s.
3
Let i(b) = -3*b + 2. Let d be i(-4). Suppose d = -t + 3*t. Let n be (17 - 18)/(14/8 - 2). Solve v + 4*c = -t - n, -3*v = -3*c - 27 for v.
5
Let g(l) = l**3 - 5*l**2 + 3*l + 2. Let a be g(5). Suppose 0 = a*m - 7*m - 10. Solve 15 = 5*j - 5*w, 2*j + 2*w = -j - m for j.
1
Suppose 3*o + 0*y = -4*y - 54, o = 2*y - 8. Let q = 15 + o. Let w be (-18)/(-4) - q/2. Solve -3*s + 4*i - 2 = -0*i, w*i = 4*s for s.
2
Let o(b) = 11*b + 12. Let z be o(-1). Solve -4*v = 2*r, 5*r = -4*v - z - 11 for v.
2
Let p be (-5 - (-6 + 0))/(2/8). Solve p*h - 10 = q, q + 17 = 5*q + 3*h for q.
2
Suppose 120 = 10*v - 2*v. Suppose 0 = -17*c + v*c + 6. Solve 0 = -f + 5*u - 24, 3*u = 4*f - c + 31 for f.
-4
Let q be ((-5)/10)/(1/(-18)). Suppose -q*d = -7*d. Solve 3*v - 2*l - 14 = d, -4*v - l - 2 = -3*v for v.
2
Let x(d) = -d**3 + 31*d**2 + 29*d + 98. Let j be x(32). Solve 3*o - 2*c = -j*o + 33, -3*c + 3 = 3*o for o.
5
Let o(i) = -i**3 + 4*i**2 - i - 3. Let d be o(3). Let u(v) = -v**2 + 14*v - 16. Let a be u(15). Let s = a - -35. Solve -c - 3*f = -1, -f - d*f + 12 = s*c for c.
4
Let u(x) = x - 1. Let q be u(3). Suppose -4 + 0 = q*w. Let l be 5*-2*(w - -1). Solve -a + 5*r = l, -3 + 6 = 3*a - 4*r for a.
5
Let z = 1539 - 1535. Solve -4*c + 10 = 5*k + 51, z*k = -20 for c.
-4
Let d(q) = q**3 + 6*q**2 - 4*q - 3. Let z be d(-7). Let y = z - -29. Solve 5*w - y*c = -45, -2*c + 4*c = -5*w - 17 for w.
-5
Let m(n) = -93 - 2*n - 88 + 4*n**2 + 175 - 11*n + n**3. Let h be m(-6). Solve 2 = 2*o - 3*d, h - 1 = -o - d for o.
1
Let r(w) = -6*w**3 + 46*w**2 + 14*w + 19. Let c be r(8). Solve 0 = 2*z - c*z - 3*k + 2, -30 = 5*z - 5*k for z.
-4
Let u = 4 - 2. Let l be u - 0*(-2 - -1). Suppose s + 7 = -3*k, 7*s + 89 - 118 = 5*k. Solve -2*d + 6 = 0, -l*b + 6 = s*b - 2*d for b.
3
Suppose -2*u - 4*i = -8, 0 = 6*u - 2*u + i - 2. Suppose -9*q = -u*q - 27. Solve -h = -5, k = 4*h - q*h - 2 for k.
3
Let s(j) = j**2 + 4*j - 3. Let p be s(-5). Let t(n) = n**2 - 5*n + 1. Let h be t(p). Let v = 9 + h. Solve -2*m - 30 = 5*r - 9, 2*m - 24 = v*r for m.
2
Let o = -31 + 46. Suppose 8*m + o = 39. Solve 19 = -2*c - m*c + 2*g, -10 = 5*c - 5*g for c.
-5
Let u = 980 + -978. Solve 4*s + q + 8 = 28, u*q - 10 = -2*s for s.
5
Let y = 993 + -989. Solve 4*g - 12 = 2*h, -g + 25 = h + y*h for g.
5
Let k be ((-6)/4)/(-4 - 28/(-8)). Suppose 3*m = -2*j + 47, k*m - 13 = m - 5*j. Solve -y - 26 = 5*s, 3*s + m = -2*y - 2*y for y.
-1
Suppose -179*i = -183*i + 16. Solve 6 = -i*o - 0*l - 2*l, 2*o + 3*l = -5 for o.
-1
Suppose r + 1 = 0, -p - 3*r + 7 = -2*r. Let s be 210/24 - (-2)/p - 4. Solve a - 2*b - 3 = -2, s*b + 25 = -5*a for a.
-3
Let p = -543 - -546. Solve p*k - 1 = -10, 0 = -3*n + k for n.
-1
Suppose -8*j = 3*s - 13*j - 1, 0 = -2*s - 5*j + 9. Solve 4*k + 2*t = s, 2*t - 18 = 3*k - 3*t for k.
-1
Let i(m) = -m**3 + 2*m**2 + m. Let q be i(-1). Suppose 0 = 6*j - 10*j + 20. Solve -4*z = j*p - 2*z - 5, 3*p = -q*z - 1 for p.
3
Let x be (1 - 5)/((-6)/(-21)). Let y = -10 - x. Let t(a) = a**3 - 4*a**2 + a - 2. Let u be t(y). Solve -4 = -u*n + h, 0 = n + 2*h + 1 + 2 for n.
1
Let n(s) = 3*s + 35. Let y(p) = -12*p - 141. Let c(g) = -15*n(g) - 4*y(g). Let j be c(-12). Solve -j*r - 16 = 5*t, 2 = -r - 4*t - 8 for r.
-2
Let r(i) = -i**2 + 13*i + 5. Let a be r(13). Solve 4*v - 2*u = -3*u + 19, -a*v + 14 = -2*u for v.
4
Let u(f) = 5*f**2 - 1. Let m be u(1). Suppose -12 = -m*h + 2*t, 1 = 4*h + 3*t - 21. Solve 3*y + 5 = 2*a, -h*a + 3*a = -y for y.
-5
Let p be (-36)/27*(-7 + -1 + 2). Solve 2*d + 3*r = -p - 14, 5*r = 2*d - 10 for d.
-5
Let k = -37 - -23. Let l be (-10)/(-35) + (-220)/k. Solve 3*z = m + 1 + l, -4*z = 5*m - 10 for z.
5
Let v be (-3)/3*-4 - -2. Suppose -27 = -v*b - 9. Suppose 5*f - 42 = -b*t, 4*f - 3*t - 6 = f. Solve -3*y = -j + y - f, -10 = -5*y for j.
2
Suppose -k + 2 = -2*d, -5*d = 10*k - 15*k. Let c be (-3)/1 + 1/k*-86. Solve 3*q - 3*u = 2*u - c, q = 4*u - 25 for q.
-5
Let h be (9/5)/(5/50). Suppose 0 = t - 3 + h. Let o = 27 + t. Solve 2*x + 2 = -4*u, 4*u + o = -4*x - 0*u for x.
-5
Let x(s) be the first derivative of s**3/3 - s**2/2 - s - 1. Let o be x(2). Suppose k + o = 6. Solve -4*l - 2*z = -4*z + 4, 5*l = 5*z - k for l.
-1
Let q(p) = p + 10. Let a be q(-10). Solve -5*h + s = 0, -3*h - 3*s + a*s + 18 = 0 for h.
1
Suppose -6 = -4*i - s, 7*i - 6*i = 3*s + 8. Solve -i*a + 3*b - 8*b = 9, 2*b = -a - 3 for a.
3
Suppose -5*b = h - 14, -4*h + 2 = 2*b - 0. Solve b*g = 4*a - 14, 2*g + 23 = 6*g + 3*a for g.
2
Suppose j - 3 = -4*x, 3*j + 0*j = 2*x + 9. Solve -j*t - 15 = -4*p, 4*p = -t + 5*t + 16 for p.
3
Let n(o) = -2*o**2 + 31*o - 10. Let b be n(15). Solve -4*s = b*h - 37, -2*h - 2*h + 29 = 3*s for s.
3
Let x = -19 + 37. Suppose -b + 6*s = 9*s - 6, -12 = -2*b + s. Solve 0 = 5*h + 2*m + 23, x = 3*h - b*h + 3*m for h.
-5
Let r be -4 - (3 + -8) - -2. Suppose 0 = 3*y + t - 11, -y = 2*y - r*t - 3. Solve -x = 5*l - 7, -y + 1 = 4*l - 3*x for l.
1
Let j = 7 + -5. Suppose -4*s = -4*u - 8*s + 8, -16 = -4*u + 4*s. Suppose 4 = j*l + 2*d - 8, -u*l + d = -6. Solve -x = c - 4, l*c = -5*x - 8 + 26 for c.
1
Suppose 18 = 3*l + 3*l. Solve -4*o - 2 = -2*h, -8*o + l*o = -5 for h.
3
Suppose -11 = 3*c - m - 36, 3*c = 3*m + 27. Let s be 32/6*(-5 + c). Let g = -14 + s. Solve -2*x = 2*u - 10, -3*x + g*u + 14 = x for x.
4
Let o be 615/164 + ((-1)/(-4) - 0). Solve -o*n - 4 = s + 11, 