+ (f - 1). Solve -2*z - 2*z - s = 0 for z.
-2
Let m(i) = -2*i**3 + i**2 + 2*i + 1. Let t be m(-1). Let x(p) = -2*p. Let n be x(-2). Let k = -3 + n. Solve -t = z + k for z.
-3
Let v be -6*(-9)/6 + -3. Solve -3*p = -v*p + 12 for p.
4
Let o = 2 + -1. Suppose -g + 6*g = 5. Solve -2*m + o = -g for m.
1
Let u(r) = -r**2 + 4*r + 5. Let c be u(5). Solve 5*a - 15 = -c for a.
3
Let l(b) = -1. Let y(g) = -g - 7. Let q(m) = 2*l(m) - y(m). Let a be q(-6). Let t be 2*a/((-2)/5). Solve r = t*r + 8 for r.
-2
Let k = 5 - -1. Let n be 16/12*k/4. Solve -n*c + 3 = 1 for c.
1
Let m = -17 + 24. Let j(u) = 2*u - 10. Let l be j(m). Solve 0 = 4*n - l for n.
1
Let k = 15 - 5. Solve -4*z - 2 = k for z.
-3
Let l(c) = 6*c**3 + 3*c**2 - 2*c. Let b be l(1). Solve 0 = 4*x - b - 5 for x.
3
Suppose 3*z + 4*h = -18, -2*z + 0*h = -5*h + 12. Suppose 0 + 11 = -5*i + q, 5*i + 6 = -4*q. Let r = i - z. Solve -r*a = -9*a for a.
0
Let r(s) = s + 2. Let t be r(0). Solve 0 = -0*c - t*c for c.
0
Let i be ((-25)/15)/((-2)/18). Let x be 39/5 - (-3)/i. Solve -x*s = -3*s - 5 for s.
1
Suppose 0 = -5*w + 5*q - 10*q + 45, -14 = -2*w - q. Suppose -8 = -w*r + 7. Solve -1 = -2*z - r for z.
-1
Let m = 1 + 1. Suppose 24*a = 22*a + 4. Suppose 2*t - 3 = t + f, -a*f = -4*t + 6. Solve 4 = m*q - t*q for q.
2
Suppose -4*q - 50 = -9*q. Let a(h) = -h + 1. Let r = -1 - 0. Let n be a(r). Solve 3*s + q = -n*s for s.
-2
Suppose -3*f + f = -106. Let t = 34 - f. Let k = -2 - t. Solve 0 = -4*a - 5 + k for a.
3
Let u(p) = p**2 + p. Let w be u(-2). Let g(d) = d**w + 0*d**2 + 0*d**2 - 4*d + 10*d. Let q be g(-6). Solve q = 3*y + y + 12 for y.
-3
Let g(f) = 2*f**2 + 7*f - 4. Let i be g(-4). Solve -5*o + 3*o = i for o.
0
Let o(z) = -z**3 - 4*z**2 - 4*z - 2. Let c be o(-3). Solve -c = 3*d + 14 for d.
-5
Let y(g) = 6*g. Let o(j) = -5*j. Let d(z) = -7*o(z) - 6*y(z). Let a be d(-2). Solve 4*v + a = 3*v for v.
-2
Let q(o) = 0*o + 5*o + o - 5*o + 9. Let s be q(0). Solve -2*m + s = -5*m for m.
-3
Let m = -19 - -20. Solve -m = 3*a + 8 for a.
-3
Let j(f) = 17*f - 3. Let k be j(2). Let r = k - 44. Let i(c) = c**2 + 14*c + 17. Let m be i(r). Solve 3*v = m + 11 for v.
5
Suppose 13*k - 8*k = 0. Solve -3*p + 2*p - 3 = k for p.
-3
Suppose -5*a + 4*h = 6 - 18, -3*a + 18 = 3*h. Let u = a + -4. Suppose u*v = -5*v + 10. Solve -v*t = 4 - 2 for t.
-1
Suppose 2*f = -4*d, d = -2*d - 2*f. Solve d*a = -a + 3 for a.
3
Suppose -10 = -4*s + 6. Let b be -1 - (-1*20)/s. Solve -5*d = -b - 1 for d.
1
Let o(a) = -4*a + 2. Let q be o(3). Let w be ((-6)/(-5))/((-2)/q). Suppose -4 = -2*i + 2. Solve -m - w = -i*m for m.
3
Let k = 0 - 5. Let z = -3 - k. Solve u + z*u = 0 for u.
0
Let t be -2 + (0/(-4) - -4). Solve 0 = q + t*q for q.
0
Suppose 0 = 4*s + a + 10 - 30, 2*s + 3*a - 20 = 0. Solve -5 = -5*n + s*n for n.
5
Let z(y) = 0*y**2 - 7*y**3 + y**2 - 8*y + 10*y + 1. Let w be z(-1). Suppose 4*i = 11 + 9. Solve -i*o - 13 = w for o.
-4
Suppose -3*d - 3 = s, 5*d - 3*s - 11 + 2 = 0. Solve -5*c + 2 + 3 = d for c.
1
Let d(k) = k**3 - 23*k**2 - 25*k + 34. Let v be d(24). Let l(s) = 10*s - s**2 + 1 + 0*s + 3. Let g be l(v). Solve n = -n - g for n.
-2
Let a = 9 - 4. Suppose -10 = -a*c, 3*c + 0*c + 3 = -3*d. Let l = d - -3. Solve -p + l*p = 0 for p.
0
Let l = -1 - -1. Solve 0 = 5*b - l*b - 25 for b.
5
Let d(t) = -t**3 - 3*t**2 - 2*t + 2. Let i be d(-2). Solve m + i*m = -12 for m.
-4
Let w = -4 + 2. Let j(u) = 2*u**2 + 2*u - 2. Let n be j(w). Solve 0 = -n*o - 5 - 5 for o.
-5
Suppose j - 5*j - 4 = 3*t, 3*j = -12. Solve -p - t*p = 5 for p.
-1
Let p be (-1)/(3/(-9)) + 0. Suppose -39 = -0*l - p*l. Solve 3*b + 1 - l = 0 for b.
4
Let j(i) = -i. Suppose 0 = -7*m + 3*m - 16. Let g be j(m). Solve 0 = -g*a - 2 + 6 for a.
1
Let h = 19 + -19. Solve -o + h = 3 for o.
-3
Suppose -3 = -2*g + 7, 0 = -5*x + 4*g - 10. Suppose 2*n = -3*i + 53, i = x*i - 3*n - 3. Solve -2*s + i = s for s.
5
Suppose 4*r = -0*r. Suppose r = -z - 3, 106 = -0*j + 5*j - 2*z. Let w = -5 + j. Solve -5*i + 0 = -w for i.
3
Suppose -u + 15 = -3*m - 4*u, u + 5 = 0. Solve -3*h + h = m for h.
0
Let k = 52 - 49. Solve -2*o = -k*o for o.
0
Let x = 34 + -33. Solve -b = -3 + x for b.
2
Suppose 2*b - b + 11 = -5*z, -1 = b. Let m(y) = y + 4. Let w be m(z). Solve -n + 2*n - w = 0 for n.
2
Let b(w) = -6*w + 7. Let a be b(-9). Suppose 5*t + 5*z = z + a, 0 = 2*z - 8. Solve 3 + t = -3*n for n.
-4
Let h be (6/(-15))/((-1)/5). Solve 5*d - h = -12 for d.
-2
Let g(p) = p**2 - p + 12. Let f be g(0). Solve 4*z = -0*z + f for z.
3
Let f = 6 + -4. Suppose 4*p = -i - 10, 4*i + p = f*p + 11. Suppose -4*h = -0*t + t - 7, i*h + 5*t + 19 = 0. Solve -h*j = -j + 10 for j.
-5
Let y(q) be the third derivative of -q**5/60 + 5*q**4/12 - 7*q**3/6 - q**2. Let w be y(9). Let l be w + ((-12)/3 - -2). Solve l = 2*b - 6*b + 16 for b.
4
Let s(r) = 3*r**2 - 12*r - 12. Let n(f) = 13*f**2 - 49*f - 48. Let d(b) = -2*n(b) + 9*s(b). Let k be d(12). Solve -k = u + 2*u for u.
-4
Let v be -12*(21/4)/(-7). Let o = v - 1. Solve 0*r - 4*r = o for r.
-2
Suppose 0 = f - 98 + 82. Suppose -r - 2*n = -11, 3*r - 12 = r - 2*n. Let q(l) = -l**2 + 1. Let b be q(r). Solve 2*u - 6*u - f = b for u.
-4
Let j = 3 - 1. Let i be (0 + (5 - 3))*-27. Let w be i/15*25/(-15). Solve -j*b + w = -4 for b.
5
Let b = -4 - -7. Let m(s) = s**3 - 3*s**2 + 3*s - 3. Let d be m(b). Suppose 4*g - 4 = -2*w, -5*g + 4*g = 4*w + d. Solve 5 = -g*n - 5 for n.
-5
Let y(d) = -d**3 - 2*d**2 + 2*d + 4. Let v be y(-3). Suppose -12 = -2*c - 2*c. Solve -4*z - v + c = 0 for z.
-1
Let c(a) = 5*a + 3. Let t(b) = -21*b - 11. Let p(q) = -9*c(q) - 2*t(q). Let m be p(-3). Solve -m*h + 5 = 17 for h.
-3
Suppose d - 2 = 3*d. Suppose 3*r + 4 - 1 = 0. Let c = r - d. Solve -5*g + 1 + 24 = c for g.
5
Suppose 0 = 3*v + 3*h, -v = 4*h - 1 + 7. Let q(w) = 5 - w**3 + 7*w**2 - 6*w**2 + 6*w**v. Let x be q(7). Solve -3*g + 4 = -x for g.
3
Suppose 4*d - 3*i - 191 + 52 = 0, -16 = -d - 3*i. Let t(v) = 2*v**3 - v**2 + 3*v - 3. Let y be t(3). Let f = y - d. Solve -f = -7*x + 2*x for x.
4
Let d be (-1 + 3)/(2/4). Let p be (16 - 1)/(4/d). Suppose 2*m - p = -m. Solve 3*o - m*o - 6 = 0 for o.
-3
Let q = -4 + 14. Suppose 2*s - 7*s + q = 0. Suppose -6*n + 18 = -n - 3*a, 4*n - s*a = 14. Solve 0 = -0*p - n*p - 6 for p.
-2
Let j be 4/10 + 16/10. Suppose 0 = -5*p + 2*d + 10, -4 - 2 = -4*p + 2*d. Let y(b) = b - 4. Let i be y(p). Solve i*a - j = a for a.
-2
Suppose -5*d + 4*g = 8 - 32, -16 = -5*d - 4*g. Solve -d*f - f = 0 for f.
0
Suppose -8 = 2*o - 2*l, -2*l = 2*o - l - 4. Solve o = u - 3*u for u.
0
Let s(g) = g + 15. Let q be (-1)/3 - 110/(-15). Let u = q + -7. Let r be s(u). Solve 0*d = -5*d + r for d.
3
Suppose -3*h = -2*h - 3. Suppose -7*d + 4*d = 0. Solve d = -g + h for g.
3
Let s be ((-45)/(-10) - 4) + (-2)/4. Solve s = -k - 3*k - 4 for k.
-1
Suppose 3*h - h - 5*t = 13, 4*t + 15 = -3*h. Let i be (-1 - -1) + h + 3. Solve -k + 2 = -i for k.
4
Let g(h) = -h**3 + h - 2. Let p be g(-2). Let u = 3 - p. Let m = u + 1. Solve -4*k + 0 - 20 = m for k.
-5
Suppose h + 2*h = 0. Solve 3*z + 2*z + 25 = h for z.
-5
Let c be 48/21 + -3*(-4)/(-42). Solve 3*y - 14 = -c for y.
4
Let v(b) = b - 2. Let f be v(5). Solve m + f = -0 for m.
-3
Let x(g) = g - 1. Let j be x(-2). Let m be 1/(3/(-9)) - j. Solve m = s - 2*s + 1 for s.
1
Let b(j) = 4*j. Let o be b(3). Solve -4*r + r = o for r.
-4
Suppose 0*n + 3 = n. Suppose -4*w - n*k = -12, -2*k = 4*w - 0*k - 12. Let q = 8 - w. Solve 2*r = r - q for r.
-5
Suppose 21 - 25 = p. Let b = 9 - 4. Let k = b + p. Solve v + 0*v = -k for v.
-1
Let h(n) = -3*n**2 + n - 7. Let p(m) = -2*m**2 - 6. Let y(u) = -3*h(u) + 4*p(u). Let w be y(-2). Solve w*s - 2*s = 20 for s.
4
Suppose j + 0 + 3 = 0. Let a = 3 + j. Solve a = -h + 4*h + 6 for h.
-2
Suppose 2*d - l - 7 = 4*d, 3*d - 3*l - 3 = 0. Let t be d/(-6)*(-3 - -9). Solve -x = t*x for x.
0
Let p = 50 + -35. Suppose 9*i = 4*i + p. Solve -i*c = -5*c for c.
0
Let h(l) = 3*l + 2. Let p(g) = 2*g + 1. Let y(w) = 5*h(w) - 7*p(w). Let t be y(-5). Let a be (0 - t) + 1*2. Solve z - a = -z for z.
2
Suppose g + 2*g - 6 = 0. Suppose 2*i - 3*o = -o - 6, g*i = 4*o - 16. Solve y + i*y = -12 for y.
-4
Let t = -8 + 10. Suppose -4*l - 5*r + 45 = 0, 6 = -t*l - 4*r + 24. Solve 0 = -2*o - o + l for o.
5
Let p(m) be the third derivative of -m**4/24 + 5*m**3/3 + m**2. Let z be p(7). Solve 0 = -z*t - 12 for t