 u for w.
1
Suppose -b - 4 + 10 = 3*c, 0 = -4*b. Let j be (-2 - -5)/3 - -2. Solve -c = -j*f + 13 for f.
5
Suppose 6 = 4*l - l. Let j(c) = 0 - 4*c + 1 + l*c**2 + 3*c - c + 3*c**3. Let d be j(1). Solve 2 = -d*i - 2 for i.
-1
Suppose 0 = 3*k - 6*k, z = -4*k. Solve z*r = 4*r - 4 for r.
1
Let n(v) = v**2 - v + 5. Let l be (-1)/3 + (-1)/(-3). Let s be n(l). Solve b = s*b + 16 for b.
-4
Suppose 2*z - 3*a = 3*z - 3, 4*a + 44 = 4*z. Let u(c) = -7*c**2 + 4*c - 4. Let m be u(4). Let y be (-2)/9 - m/45. Solve z = y*j - 5*j for j.
-3
Suppose k = 6*k + 3*y, 2*y = 2*k. Solve -h - 2*h = k for h.
0
Let n(z) = z**3 + z**2 - z + 16. Let s = -14 + 14. Let b be n(s). Solve 5*f = 6 - b for f.
-2
Suppose 0 = z + 7*z. Solve w + z*w = -2 for w.
-2
Suppose -2*u - 18 = -3*v + u, -4*v + 3*u + 28 = 0. Let d = v + -7. Solve 0 = -d*b - 10 - 2 for b.
-4
Let z = -18 + 19. Solve -z = -2*u + 5 for u.
3
Let q = -2 + 4. Let u(l) = l**2 + 0 - 21*l - 3 + 23*l. Let x be u(q). Solve s = x - 4 for s.
1
Let a be (5 - (-20)/(-6))/(1/3). Solve j + 8 - a = 0 for j.
-3
Let m be 10/4*(-96)/(-20). Suppose -b = 2 - 5. Solve -b*o - o = m for o.
-3
Let m = -71 + 73. Solve -m*g - 9 - 1 = 0 for g.
-5
Let p(y) = -y. Let i be p(-2). Let m = 0 - 0. Solve i = -w - m*w for w.
-2
Let z(k) = -2*k**3 - 2*k**2 + k + 2. Let r = 0 - 2. Let i be z(r). Suppose -h - h = -i. Solve -c = h*c + 20 for c.
-4
Let k = 19 + -15. Solve -6 = w - k for w.
-2
Let c = -12 - -13. Let g be c + 3 - (-1 + 2). Solve -j + g*j = 8 for j.
4
Let d be -27 - -23 - (-9 + 1). Solve d*l = -1 + 21 for l.
5
Let l = 24 - 14. Suppose 0 = -7*x + l*x - 9. Let u be (x/(-2))/((-1)/2). Solve -5*b = -u*b - 8 for b.
4
Let b(l) = l**2 - 9*l - 9. Let y be b(10). Solve y + 0 = -p for p.
-1
Suppose 0*b = 2*b. Let r(t) = t + 3. Let a be 2 + 0 - (-1)/1. Let p be r(a). Solve -3*v + p = -b*v for v.
2
Let v(a) = a**2 + 5*a - 2. Suppose i = 3*f - 21, -4*i = -i + f + 13. Let b be v(i). Solve -2*q + 0*q - b = 0 for q.
-2
Suppose 79 = -4*p - 5. Let c = -13 - p. Solve c + 4 = -3*h for h.
-4
Suppose -o - j + 16 = 0, 17 = o - 0*o + 2*j. Let u be (-65)/o - 4/6. Let d be 2/5 + 2/u. Solve d = 3*r - 6*r + 15 for r.
5
Let o = -20 + 25. Let t = 8 + -6. Solve t*i + o = -1 for i.
-3
Let t(u) = 13*u**2 - 1. Let o be t(1). Suppose 2*f + f - o = 0. Solve -a + 1 - f = 0 for a.
-3
Let w = 18 - 13. Solve -10 - 10 = w*y for y.
-4
Suppose -6*i + 4*i = -3*i. Solve i*v + 8 = -4*v for v.
-2
Let n(a) = -2*a**2 + 1 + 4 - a**2 + 4*a**2. Let k be n(0). Suppose 3*g - 3*z = 2*z + 34, -g + 14 = -3*z. Solve -k*y + y = -g for y.
2
Let w(o) = -3*o - 8. Let c be w(-4). Solve 8 = -c*b - 0*b for b.
-2
Let u(i) = i**3 + 5*i**2 + 2*i + 2. Let d be u(-4). Suppose 2*m = d + 14. Let a be (-1)/(-4) - (-141)/m. Solve s - a = 4*s for s.
-4
Let c = -184 + 200. Let a(d) = d**3 - 4*d**2 + 3*d + 2. Let v be a(3). Solve -v*l + c = 2*l for l.
4
Let i = -9 - 4. Let s = i - -15. Solve s*g + 0 = 2 for g.
1
Let m(y) = y**2 + 11*y - 12. Let s be m(-12). Solve -3*g + g - 6 = s for g.
-3
Suppose -4*w - 21 = -5*d, -25 = -4*d - w - 4. Suppose a = 11 - 4. Let x be ((-10)/a)/((-3)/21). Solve 0*j - x = d*j for j.
-2
Let g(n) = n**3 - 7*n**2 + 9*n - 7. Let w be g(6). Suppose 87 - 15 = 5*j - 2*f, j = -3*f + w. Solve -11 = 5*i + j for i.
-5
Let q = 16 + -10. Solve 2*s - 5*s = q for s.
-2
Let a(k) = -2*k**2 + 3. Let h be a(-3). Let z = 17 + h. Solve 0 = 3*b - 8 + z for b.
2
Let g(z) = 2*z + 5. Suppose -8 = 4*b + 2*n, 0 - 32 = 3*b - 5*n. Let f be g(b). Let x = 3 + f. Solve 2*j + 10 = -x for j.
-5
Let q(n) be the third derivative of 0*n**4 + 0*n + n**2 - 1/2*n**3 + 0 + 1/60*n**5. Let b be q(-3). Solve b*x = 2*x - 8 for x.
-2
Let q = 57 + -57. Solve j - 1 = -q*j for j.
1
Suppose 0 = -4*x - 0 + 24. Solve -5*w + 16 = x for w.
2
Suppose 18 + 31 = -k. Let h = -29 - k. Solve -2*u + 6*u = h for u.
5
Let h be 22 - (0 + 2 - 0). Let k be h/9 - (-8)/(-36). Solve k*v + 0 = 6 for v.
3
Suppose 0 = j + j - 5*j. Solve -2*n = 6 - j for n.
-3
Let z(l) = l**3 - 13*l**2 + 13*l - 10. Let n = 21 - 9. Let a be z(n). Solve a*s = -2*s - 4 for s.
-1
Let s(r) = 6 + 13*r**3 - 22 + r**2 - 21*r - 2*r**2. Let d(p) = -3*p**3 + 5*p + 4. Let l(x) = 9*d(x) + 2*s(x). Let t be l(-3). Solve t*w - 6 + 2 = 0 for w.
1
Let g = 25 + -25. Solve g*u + 6 = 2*u for u.
3
Let f(d) = -d + 5. Let n be f(4). Suppose 3*k = n + 2. Solve h = k + 3 for h.
4
Suppose 25 = 4*a + 1. Suppose -a*w + 3 = -3*w. Solve 4*p + w = -15 for p.
-4
Let c(h) = h + 7. Let j be c(-4). Solve j*y - 3 = 2*y for y.
3
Suppose 20 = -4*w + 5*w. Solve -6*v + v = -w for v.
4
Suppose 28 - 22 = 3*z. Solve 5*y = z*y + 9 for y.
3
Suppose -80 = -5*h - 0*h. Let y = h + -6. Let w = y - 7. Solve w*a + 9 = 3 for a.
-2
Let c(z) = -z**2 + 5*z - 2. Let f be c(4). Let m be 2/5 + 616/35. Let j be (3/9)/(1/m). Solve 0 = -f*o - o + j for o.
2
Suppose 0 = 3*s - 395 - 97. Let p be 4/(-6) + s/12. Suppose -2*h - 1 = -p. Solve 5*i - h = 2*i for i.
2
Let n = -19 - -19. Solve 0*f - 3*f + 6 = n for f.
2
Let n(t) = t**2 + 2*t - 1. Let f be n(-4). Suppose 0 = 4*k - 20 - 8. Let x = f - k. Solve -2*b + 3 - 11 = x for b.
-4
Let j = -9 - -5. Let c = 0 - j. Let b = 4 + c. Solve -5*o = -7*o - b for o.
-4
Suppose 2*y + 4 = 3*y. Let k be (4 - 3)/((-1)/(-3)). Solve 0 = -k*n + y + 8 for n.
4
Suppose -3*k + 6 = 0, 6 = -4*z + 3*k + 32. Solve 0 = -0*t + 2*t - z for t.
4
Let g be ((-27)/6)/(2/(-4)) + 3. Solve -2*d = d + g for d.
-4
Let t(c) = -c - 1. Let a(s) = 2*s + 2. Let i(g) = -a(g) - t(g). Let h be i(-3). Solve -13 = 5*r + h for r.
-3
Let w(g) = 6*g**3 - 7*g**3 + 6 - 4*g - 5*g**2 + 4*g**2 - 5*g**2. Let x be w(-5). Solve -5*c + x = 6 for c.
-1
Suppose -9 = -2*a + 3*u, -5*a = 3*u - 2 - 31. Solve a = i + 2*i for i.
2
Suppose -4*b = -b - 15. Let c(s) = -s**2 + 5*s + 4. Let y be c(b). Let q be 5 - ((-1)/(-1) - 1). Solve 7 = -y*a - q for a.
-3
Let c(n) = 4*n**2 + 7*n. Let v be c(-2). Solve -3*u + 2 = -v*u for u.
2
Suppose -w - 4*w = -10. Solve w - 18 = 4*i for i.
-4
Let x = 93 + -91. Solve -3 - x = p for p.
-5
Let k(w) = -w + 9. Let o be k(9). Let f(s) = -s**2 - 5*s + 1. Let j be f(-4). Let l = -1 + j. Solve o = l*n + 8 for n.
-2
Suppose -9 = -4*a + 11. Suppose 0 = -a*u - 15, n + 3*u = -5. Suppose 5*m + 123 = 5*b + 23, -n*b = -3*m - 85. Solve -5*t = -0*t + b for t.
-5
Let t(o) = o - 3. Let s be t(5). Let r = s + 0. Let a = 12 - r. Solve -a = 4*f - 2*f for f.
-5
Suppose 6*m + 2*p = 2*m + 36, 3*m - 3*p = 36. Solve -5 = 3*b + m for b.
-5
Let l be -1 + (1 - (-2 + 0)). Suppose 25 = -x + l*x. Solve -3*g - 2*g - x = 0 for g.
-5
Suppose r + r + 2 = 0, -4*s = -3*r - 11. Let g(w) = -8*w + 1. Let h be g(-2). Suppose s - h = -3*n. Solve -n*z + 4 = -3*z for z.
2
Let j = -5 + 7. Suppose -j*y = 2*l + 3 - 1, y + 10 = -4*l. Suppose 0 = 3*k + n - 7, -y*n + 1 + 1 = 0. Solve 4*a - 2 = k for a.
1
Let r be (-24)/20*(-20)/6. Solve r = -5*b - 6 for b.
-2
Let z be (-39)/(-15) + 2/5. Let p be 13 + 3/3*-3. Suppose 4*d = 3*c - p, -4*d = c + 2 - 16. Solve z*l - 5*l = c for l.
-3
Let o = 1 - -2. Suppose -o*q + 1 = 2*v, v - 3*q + q = 4. Let w be -1 + 2 + 2 + v. Solve n = w*n - 12 for n.
3
Let x(o) be the first derivative of -o**3/3 - 5*o**2/2 - o + 1. Let h be x(-4). Solve -1 = h*u + 5 for u.
-2
Let n(j) = -j**2 - 16*j - 13. Let v be n(-15). Solve -1 = v*d - 11 for d.
5
Suppose -4 = -9*n + 5*n. Solve -3*u - 5 - n = 0 for u.
-2
Let u be (-1 - -2)/(17/102). Solve 4*a + u = -2 for a.
-2
Let t(w) = -w**3 - 8*w**2 + 10*w + 12. Let r be t(-9). Solve -r + 0 = -j for j.
3
Suppose 0 = 8*o - 9*o - 8. Let x(z) = -z**3 - 4*z**2 + 3*z - 1. Let v be x(-5). Let r = o + v. Solve -r - 2 = -f for f.
3
Let g be 3*((0 - -2) + 3). Suppose 2*i - g = -i. Suppose -5*w = 3*c - 29, -12 = -i*c + c. Solve -w*h + 13 = 1 for h.
3
Suppose 3*y = 6*y. Solve y = -5*n + 22 + 3 for n.
5
Let y = -4 - -4. Suppose 4*o - 3*b - 18 = y, -b = 3*b - 8. Let t be o + -3 + 0 + 2. Solve -3 - t = 4*x for x.
-2
Let u = 53 - 51. Solve -12 = b + u*b for b.
-4
Suppose -5*b + 33 = -4*o + 7, 3*b - 5*o - 26 = 0. Suppose -b*f + 52 = 2*f. Solve 4*m = -3 - f for m.
-4
Suppose 20 = 2*g + 8*g. Solve 4*k - 8 = g*k for k.
4
Let n(v) = v**3 + 5*v**2 + 3*v - 4. Let x be n(-3). Let z = 4 + 0. Solve x*s = -z - 21 for s.
-5
Let a(i) = i. Let c be a(-4). Let r = -2 - c. Solve 1 = -r*j + 5 for j.
2
Let k = -12 + 27. Suppose 0 = -10*f + 5*f + 