ve w = n + 6, 3*n + 5*w + 0*w = l for n.
-1
Let o = 46 + -47. Let r be 13/13 + (1 - o). Solve -2*s - 3*c = -r*s + 5, 0 = 5*s - 5*c + 5 for s.
-4
Let a(z) = -z**3 + 19*z**2 - 40*z + 114. Let u be a(17). Solve -4*k + 2*n + u = -6*k, 2*k + 5 = 5*n for k.
-5
Let t be 2 - (2 + 2) - -12. Let q = 158 - 155. Let c = -8 + 12. Solve 0 = -p + c*m - 21, 2 = 4*p + q*m + t for p.
-5
Suppose 0*r = -r + 25. Suppose -5 = -a, -n + 5*a - r = -4*n. Suppose 15*p - 10*p - 10 = n. Solve -p*i + 5*d - 29 = -4*i, -11 = -3*i - d for i.
2
Suppose 0 = s, 1 = -x - 2*s - 6. Let d = x - 3. Let k = 10 + d. Solve k = 4*a - 2*l + 14, -3 = -a + 3*l - 4 for a.
-4
Let z = -13 - -20. Suppose 3*m - z*m = -32. Solve 0*b + m = 4*b, -2*b = -2*a - 4 for a.
0
Suppose -i + 4 - 2 = 0. Suppose -4*p + 39 = -m, 4*m - 13 = i*p - 43. Suppose 2*w - 5*w + p = q, 9 = q - 5*w. Solve -d + 2*t - q = 0, -18 = 2*d - d - 5*t for d.
-3
Let n be (-4)/(-3)*(28 - 25). Suppose u + 8 + 3 = -3*v, -2*v = -4*u + 26. Solve 0*h + 3*h + u = -4*l, -2*l + n*h - 24 = 0 for l.
-4
Let x(c) = -38*c + 830. Let l be x(21). Solve 8*t - i + 24 = 3*t, 3*t + l = 5*i for t.
-4
Suppose -g + 43 = 4*q, g + 3*g = -4. Let b = -81 - -92. Let l = q - b. Solve l = z - 3, 2*z + 2*z = -5*o + 7 for o.
-1
Suppose 5*h + 18 - 43 = -2*j, -2*j = -h + 5. Solve 3*y = 3*u - 3, -4*u + j*u + 4 = -5*y for u.
1
Suppose g - 104 = -25*g. Solve 0 = g*n - x - 12, -n = n + 4*x - 24 for n.
4
Let u(h) = -h**3 - 8*h**2 - h - 3. Let l be u(-8). Solve -l*d = -d - 2*v + 6, -3*d = -v + 5 for d.
-2
Let w(u) = -u**3 - 17*u**2 + u + 19. Let g be w(-17). Solve 2*z = -4, 9 = p - 3*z + g for p.
1
Let a be 0*(-1 + 5 + -20 + 15). Solve -2*s - 4*i = 16, 2*s + 5*i + a*i + 21 = 0 for s.
2
Let f(p) = -3*p - 10. Let k be f(-5). Let n = 0 - k. Let l(g) = -g**3 - 5*g**2 + 4. Let t be l(n). Solve 0 = -2*y + 2*o + 1 + 5, 0 = -y - t*o - 12 for y.
0
Let y(v) = -2*v**2 - 10*v - 4. Let n be y(-4). Suppose k + 4*j = 5*k + n, 0 = -4*k - 4*j + 20. Solve 3*r + 0*q + k*q = 1, -4*q + 11 = -3*r for r.
-1
Let i(c) = c**2 + 5*c - 4. Let b be i(-8). Suppose s = -s + b. Suppose 0*z = z - s. Solve -o + 5*w - z = -3*o, -2*w - 10 = -2*o for o.
5
Suppose -5*y = -2*i + 64, -24 = 4*y - 8. Suppose -8*x + i = 6. Solve 4*a - 17 = 8*a + h, x*a = h - 1 for a.
-3
Let g be (((-30)/4)/5)/((-3)/16). Let h be 1 + -4 - (0 + (4 - g)). Solve -4*l - t + h = 0, -4*l - 2*t + 2 - 4 = 0 for l.
1
Let n = -22 - -24. Solve -3 = -n*x + 1, 0 = -2*i + 5*x - 18 for i.
-4
Suppose -3*k = -7*k + 168. Let j = k + -37. Solve 0 = z - 4*z - 9, 0 = -g + j*z + 10 for g.
-5
Let j(n) = 2*n + 4. Let h be j(0). Solve -h*f = -f + 5*y - 7, 0 = 5*y + 5 for f.
4
Let t be ((-117)/(-26))/((-3)/(-80)). Let a be (-58)/(-12) - (-20)/t. Solve 4*m = -3*h + 13, 3*m - 14 = -a*h + 4 for h.
3
Suppose 2 + 7 = c. Suppose -c - 1 = -2*u. Solve u*t - q + 7 = 0, -3*t + 2*q - 4*q = 12 for t.
-2
Let k(t) = 3*t**2 - 17*t - 16. Let p be k(7). Solve 0 = 4*o - 2*j - p, o - 6 = -o + 3*j for o.
3
Let q be -14 - (-12)/(3 + 1). Let p(k) = -k**2 - 10*k + 13. Let z be p(q). Suppose -6*b = -z*b - 24. Solve 10 = 3*h + 4*v, -b = -2*v + 2 for h.
-2
Suppose -t - 6*x + x = 29, x - 87 = 3*t. Let d = t - -24. Let z be (-85)/(-34)*(-8)/d. Solve 0 = 3*u + z*g + 8, -4*g + g - 7 = 2*u for u.
4
Suppose 4*b = -2*n + 10, 4*n + 0*b = -3*b + 15. Suppose n*u + 5 = 3*c + 2*u, -5*u + 7 = c. Solve -c = -3*a + 2*x - 5, -2*a + 4*x + 6 = 0 for a.
-3
Let s(i) = -i**3 + 15*i**2 + 18*i - 28. Let j be s(16). Solve b + 6 + 23 = -5*m, j*m = b - 16 for b.
-4
Let w be 2 + (-2 - -2) + (-28 - -32). Solve 2*t - w = -h - 3*t, -5*t - 2 = 3*h for h.
-4
Let r(h) = -9*h + 8. Let z be r(2). Let g be 2/z - 910/(-50). Solve -u + 6 = v, 3*v = -5*u + v + g for u.
2
Let c = -110 + 116. Suppose 0 = -11*w + c*w + 95. Solve w = 4*r + s, r - 2*r = s - 7 for r.
4
Let q be (-2)/11 - 1653/(-319). Solve -q = 3*h + 2*b + 3, -7 = 5*h - 3*b for h.
-2
Let h = -33 + 35. Suppose 10 = h*r - r. Suppose 6*w = r*w. Solve 2*y - 8 = w, -1 = -g + 2*y - 8 for g.
1
Let x = -545 + 546. Suppose 0 = 2*r - 4 + 12. Let z = x - r. Solve 5*d - 20 = -5*c - 0, -5*c = -z*d - 30 for c.
5
Suppose g - 53 = 3*c - c, c + 34 = 3*g. Let f be (-6)/15 - 10/c. Solve -3*b = -3*h - 18, -4*h - 2*b + f + 6 = 0 for h.
-1
Let z = 3 + 5. Let u(f) = -11*f + 17*f - f**3 + 3*f + 4 - 9 + 7*f**2. Let k be u(z). Solve -2*i - k*i = -2*c - 30, -5*c = i + 21 for i.
4
Let w be -8 + 8 + (-4)/(-1). Let p(s) = s**3 - 2*s**2 - s - 4. Let n be p(w). Solve 2*f - 2*q + 4 = 0, 2*q + 2*q + n = -4*f for f.
-4
Suppose -3*w = 5*l - 4, 3*w = 7*w - 5*l - 17. Solve 0 = -5*q - a - 2, a + 1 = -q + w for q.
-1
Suppose -117 = -13*w - 26. Solve -19*f = -22*f - t - w, 3*t + 6 = -4*f for f.
-3
Let h(t) = t + 33. Let w be h(0). Suppose 0 = -5*c - g + w, -2*g = -5*c + 13 + 11. Solve -c*z - 3*n = -2*z - 35, z = -2*n + 15 for z.
5
Suppose -5*h + 4 = 5*c - 41, -4*h + 3*c = -64. Solve 2*x - 3*x + 5*s = h, -4*x - 6 = 3*s for x.
-3
Suppose -5*m - 18 = -4*a + 3*a, 4*a = 2*m + 18. Solve -w + 2 = 4*o, -w + a*w + 8 = 4*o for w.
-2
Let i = -2 + 2. Suppose -8*d + 3*d + 10 = i. Suppose -5*l + 3*o + 71 = 8, 2 = -d*o. Solve 5*m - l = 4*x, 7*x = 2*x - 15 for m.
0
Let i = -339 + 343. Solve i*k = -5*w - 4 - 11, 4*k + 4*w + 12 = 0 for k.
0
Let m(k) = 3*k**2 + 14*k - 1. Let s be m(-5). Solve s*c - a - 2*a = 10, -2*c = 4*a + 6 for c.
1
Let z(j) be the first derivative of j**3/3 - 4*j**2 + 3*j - 4. Let l be z(8). Suppose -l*r + 20 = r. Solve 3*p - 12 = 0, -5*p + r = -3*v - 12 for v.
1
Let j(r) = -3*r + 41. Let l(s) = 2*s - 27. Let f(w) = -5*j(w) - 8*l(w). Let m be f(6). Solve -3*y = -o + 20, -m*y - 7 = o + 13 for y.
-5
Suppose -7*g = 3*g - 80. Suppose g*k = 3*k. Solve 5*u + d - 20 = k, 1 = u + 5*d - 3 for u.
4
Suppose 0*s = -2*s + 10, 6 = 2*f - 2*s. Suppose 10 = x + 3*a, 2*x - 3*x - 2*a = -f. Let b = 8 - 2. Solve -2*r + 2*o - b = 0, 4*o = -x*r - 11 - 9 for r.
-4
Let g be 2/(-33) - (-12060)/2970. Solve g*j = j - 5*u - 5, -5*j = -3*u - 3 for j.
0
Let l be ((-3)/(-6))/1*0 + 9. Suppose 0 = -p + 2*k, -p - k + l + 0 = 0. Solve 3*q + p = -2*z + 6*z, -3*q + 3*z = 6 for q.
-2
Suppose -17 + 2 = -5*l. Suppose -l*r = -0*r + 3*h + 15, 25 = -r - 5*h. Suppose r = 3*b - 4 - 8. Solve -20 = -9*c + b*c - 5*o, 2*c + 3*o - 7 = 0 for c.
5
Suppose 2*b + 14 = 5*n, 0 = 5*b + 2*n - 3*n - 11. Solve 0 = -2*c + 4*q - 22, -10 - 6 = 5*c + b*q for c.
-5
Let p(j) = -18*j**3 - j**2 - 3*j - 3. Let v be p(-1). Solve v = 4*c + 5*f - 0*f, 2*f - 5 = -c for c.
3
Let y(z) = z**2 + 17*z - 26. Let k be y(-17). Let i = -21 - k. Solve 5*d - v + 18 = 0, -14 = 3*d - 2*d + i*v for d.
-4
Let z = -11 + 15. Suppose -z*w + 3*w + 6 = 0. Suppose 0 = -4*h - w*i + i + 7, -5*i = 3*h - 4. Solve -5*d - 8 = -2*a, 3*d - 16 + 4 = -h*a for a.
4
Let c(r) = -4*r + 3*r - 4*r - 14. Let v be c(-6). Solve -4*q - v = -2*m, q - 10 = -5*m - 3 for q.
-3
Let p = 15 - 12. Suppose -p*z = y - 0*z + 6, -5*y + 2*z = -21. Solve 0*r + 29 = y*w + 5*r, 4 = 4*w - 2*r for w.
3
Let t be ((-120)/(-42))/((-6)/(-21)). Suppose -5*p - t = 0, 8*p = 3*j + 4*p - 14. Solve w = 3*y - 0*w, 4*w = -j*y for y.
0
Suppose -3*w + 14 - 2 = 0. Let b(p) = -p**2 - 3*p + 141. Let t be b(-13). Solve -32 = w*k - 4*q, -6*q - t = 4*k - 3*q for k.
-5
Let p(h) = -h**3 + 6*h**2 + 2*h - 11. Let w be p(3). Solve -5*d + w = -c, -c - 5*d - 6 = -24 for c.
-2
Suppose 0 = 4*w - 7*w + 12. Suppose -w*q + 21 = 3*q. Solve 0 = 2*c + q*j - 4, 0*c + 3*c = -3*j for c.
-4
Let b(s) = -s**3 - 17*s**2 + 6*s - 8. Let u be b(-19). Let i be (-4)/(-10) - 15/(u/(-64)). Solve 7*w - 2*w = -i*r - 10, -3*w + 25 = -5*r for w.
0
Suppose -2*l - 2*l = 0. Suppose -p = -l*p. Suppose -u + 3*u - 8 = p. Solve 0*t + 5*a + 4 = -4*t, -2*a = u*t - 8 for t.
4
Let p(n) = 7*n + 53. Let r be p(-11). Let u be (6/r)/(1/2)*0. Solve l - 4*k = -9*k + 24, u = -3*l + 2*k + 4 for l.
4
Suppose -2*y + 1 = -0*y - w, 5 = 5*w. Let m be (53*1/y)/1. Let x = m - 35. Solve -5*o - 3*a = -0*a + x, 3*o = -5*a - 14 for o.
-3
Let q(d) be the first derivative of d**3/3 + 8*d**2 + 5*d - 8. Let z be q(-16). Solve 5*n - 3*t + 10 = -2*t, 4*n + z*t = 21 for n.
-1
Let k = 208 + -205. Solve n - 2 = k*o + 2, -n - o = 0 for n.
1
Let w = 5 - 5. Let x(j) = j + 16. Let m be x(w). Let u be 2 + (-8)/(-20)*5. Solve -4*d = -u*r - 20, 0 = 4*r - 3*d + m + 1 for r.
-2
Suppose -3*m + 76 = -5*t + 84, -3*t = 4*m -