)/20 + 1/5. Let o = u + x. Solve o*y + 0*y = -20 for y.
-5
Let j(l) = -l**3 - 7*l**2 + l - 4. Let g(b) = -b**3 - 6*b**2 + b - 4. Let o(q) = -6*g(q) + 5*j(q). Let f be o(0). Solve i - 2 = -f for i.
-2
Let t be (22/(-2) + 1)/(-1). Suppose 0 = 4*p - 38 + t. Solve 2*x + 25 = p*x for x.
5
Let c = -130 + 135. Let m be 20/3 - 4/6. Solve m*u - u = c for u.
1
Let g be -2 - (-2 - (1 - -5)). Let f = 29 - 29. Suppose f = a - g - 14. Solve -2*x + a = -7*x for x.
-4
Let t = 2 + 0. Suppose -2*z + 4 = 2. Solve t - z = h for h.
1
Let k(x) = -x**2 - 7*x + 8. Let l be k(-8). Solve l*y - 5*y + 25 = 0 for y.
5
Suppose 11*b = 16*b. Solve b = -p - 4*p for p.
0
Suppose j = 4*l + 22, j + 2*l + 16 = 4*j. Solve 0 = n + j + 1 for n.
-3
Let u = 64 + -44. Let h be 4/(-14) + (-210)/(-49). Let k(t) = -t**2 + 6*t - 5. Let j be k(h). Solve -a + u = j*a for a.
5
Let d = -9 - -10. Suppose 2 = -2*b + 8. Solve 2*i = b - d for i.
1
Let a(k) = 5*k - 1 - 3*k + 2 + 1. Let m be a(-4). Let x(q) = -2*q - 9. Let g be x(m). Solve -l - g = -2 for l.
-1
Let i be 1/2 - (-11)/(-2). Let t be (-8)/(-2)*i/(-10). Solve -t*s = -4 - 0 for s.
2
Suppose -3*g = 5*n - 0*g - 31, 2*n - 8 = g. Suppose 4*z + 7 = n*a, 7*a + 4*z - 23 = 2*a. Let l be a - (-2)/(0 + 1). Solve l = -0*v + 5*v for v.
1
Let t(j) = -j - 8. Let l be t(-10). Solve m + 4 = l*m for m.
4
Let a be ((-2)/(-4))/((-2)/(-16)). Suppose -b = -3*m + 7, 2*m + b + a*b = 16. Solve -m*x = -5 - 1 for x.
2
Let z = 12 - 7. Solve -2*o - z = -3 for o.
-1
Suppose -4*l - 56 = 4*y - 16, -4*y + 3*l = 68. Let v(a) = -a - 10. Let h be v(y). Solve -20 + 0 = -h*t for t.
5
Let o = -18 + 22. Suppose -2*u = -u - o. Solve -7*b + u*b + 9 = 0 for b.
3
Let u be (-13)/(-3) - 18/(-27). Solve -u*k + 0*k = 25 for k.
-5
Let j be (-2)/1 + 21/7. Let q be (-2 - -6 - 3)/j. Solve k + 1 = -q for k.
-2
Let d(n) be the first derivative of -n**2 + 12*n + 1. Let k be d(9). Let a = k - -8. Solve a = -4*o - 2 for o.
-1
Suppose 5 = d + 1. Let h be 8/(d*2/4). Let v(i) = -i + 4. Let z be v(h). Solve z = o + 4*o - 15 for o.
3
Let g = -7 + 3. Let y be g - -1 - 0/3. Let r = y + 6. Solve 4*t - 1 - r = 0 for t.
1
Let c be (2 - 2) + 2 + 0. Suppose -s + 8 = 5*y + 3*s, -s + c = 2*y. Suppose y*k - 2*w + 62 = 5*k, -5*k - w + 61 = 0. Solve -k = -3*d + 7*d for d.
-3
Let a(m) = 0*m**2 - m**2 - 4*m**3 + 2*m + 2*m**3. Let q be a(-2). Suppose q = -2*h + 3*h. Solve h = 5*v + 28 for v.
-4
Let m = 2 - -8. Let c = -10 - -14. Let z be (6*1)/(6/c). Solve -2 = z*g - m for g.
2
Let y = -17 + 17. Solve 4*a + a = y for a.
0
Let a(v) = -v + 3. Let g be a(0). Suppose 4*w = -0 - 24. Let p = -4 - w. Solve j + g + p = 0 for j.
-5
Let h(i) = i**2 + 7*i - 25. Let y be h(-10). Solve z - y*z = 0 for z.
0
Let l(t) = -2*t**2 + 12*t + 1. Let h be l(5). Suppose -5*o + h + 4 = 0. Let y(k) = -k**3 + 6*k**2 + 6*k + 9. Let q be y(7). Solve 0 = o*z - q - 1 for z.
1
Suppose 2*k - 7 = k. Let g = -7 + k. Let v be 6/2 - (-2 + 4). Solve g = l + 3 - v for l.
-2
Let z = 30 - 26. Solve z*p = -0*p - 4 for p.
-1
Suppose -16*s + 13*s = 0. Solve -h - 3*h - 12 = s for h.
-3
Let x = 15 + -25. Let r be (x/15)/((-2)/9). Solve -2*h = -h + r for h.
-3
Let d be (-24)/(-20)*(-10)/(-4). Solve -8 = -d*i - i for i.
2
Let l = -15 - -17. Solve l*r + 1 = 11 for r.
5
Let n(y) = y - 4. Let u be n(7). Suppose 0 = 5*t - 2*t - 15. Solve -2*o + u = -t for o.
4
Let b(w) = w**3 - 2*w**2 + 2. Let c be b(2). Suppose 0 = 9*i - 14*i + 10. Solve i*v + c*v = -12 for v.
-3
Suppose 17*t = 12*t + 20. Solve -s - s = -t for s.
2
Suppose -11 - 14 = -v. Suppose 3*k - 89 = -2*h - v, 4*h = 3*k + 92. Suppose 4*t + 2*p = 4*p + h, 0 = t - 3*p - 14. Solve -4 = t*l - l for l.
-1
Let c(y) = -y**3 - 5*y**2 - 2*y + 4. Let q be c(-5). Let s be (-4)/6*(-105)/q. Solve -3*z + s = 2*z for z.
1
Let a(s) = 4*s + 6. Let t(k) = -k - 2. Let f(g) = 3*a(g) + 8*t(g). Let i be f(1). Solve -v - v - i = 0 for v.
-3
Let o = -17 + 25. Suppose 2*k = -2*k + o. Solve -3 = -l + k for l.
5
Let r be (0 - 0)/(2*1). Let g = -3 + 3. Suppose g = -7*t + 3*t + 8. Solve 5*i - t*i = r for i.
0
Suppose -5*c = -0*c - 15, 4*y + 5*c = 27. Solve -y*m + 2 = -1 for m.
1
Let k be (-8)/((-8)/(-2))*-1. Suppose -2*s + 10 = j, -2*s = -3*j + k*j - 10. Solve g + 0*g - 1 = j for g.
1
Suppose 0 = 7*v - 12*v. Solve l + 0*l = v for l.
0
Suppose 7 = 3*z - 11. Solve z*t = 2*t - 8 for t.
-2
Let h = 0 + 1. Let g = h - -4. Let q = -15 + 48. Solve -g*o = -q + 8 for o.
5
Suppose -4*h + 11 = -5. Solve 0*l = -h*l for l.
0
Suppose r + 15 = -9. Let m be r/15*(1 - -9). Let j be (m/(-6))/(10/15). Solve a + 20 = -j*a for a.
-4
Let h = -10 - -8. Let t(z) = 3*z**2. Let q be t(2). Let r be (h/4)/((-2)/q). Solve 0*u = -r*u + 6 for u.
2
Let d(a) = -a**2 + 6*a. Let j be d(5). Let o(p) be the first derivative of p**4/4 + 5*p**3/3 - 7*p**2/2 + 4*p - 3. Let c be o(-6). Solve -j*g + c = -5 for g.
3
Let f(s) = -2*s - 4. Let w be f(-2). Solve 0 = -3*v - w*v for v.
0
Suppose 4*j = -10 + 2, r + 5*j + 9 = 0. Suppose 7 - r = w. Solve -w*i + i = -15 for i.
3
Let y = 18 - 16. Solve -y*p + 0 = -4 for p.
2
Suppose -5*b = 61 - 61. Solve b = 5*d - 5 for d.
1
Let v(y) = -y**2 - 4. Let p be v(0). Let z be 3 - (p - (5 - 4)). Solve -2*m = z - 2 for m.
-3
Let q(w) = -w**2 + 2*w - 2. Let j(h) = -2*h**2 + 3*h - 5. Let i(l) = 2*j(l) - 5*q(l). Let t be i(5). Solve -n - 2 = -t for n.
3
Let c be (-2)/14 - (-19)/133. Solve 0 = d - c*d + 1 for d.
-1
Let c(f) = -f + 7. Let j be c(8). Let s = 11 + -15. Let q = j - s. Solve 4*p - 13 = q for p.
4
Let x(k) = k**3 - 10*k**2 - 10*k - 11. Let t be x(11). Let r = 2 - t. Solve -r*f - 4 = -6 for f.
1
Let m = 7 + -1. Solve 0 = 3*v - v - m for v.
3
Suppose 3*w = -a + 10, w + 5*a = 3*a + 10. Solve 3*s - 5 = -w*s for s.
1
Let y(g) = -g**2 - 2*g + 4. Suppose 15 = -s - 4*s. Let p be y(s). Solve -c - 2 - p = 0 for c.
-3
Suppose -3*z + 26 = -0*z - 5*a, -18 = -3*z + 3*a. Solve -2 - z = -j for j.
4
Suppose -2*z = -7*z - 2*u + 31, -5*z + 4*u + 13 = 0. Solve -25 = z*g - 0*g for g.
-5
Let a(y) = -2*y - 16. Let k be a(-8). Solve -3*g = -k*g - 6 for g.
2
Let i be (6/(-21))/((-3)/21). Suppose 0*v + 21 = -i*v + 5*n, 2*v + n = 9. Let t(r) = -r**3 - 3*r**2 + r + 3. Let c be t(-3). Solve c = -v*m - 0*m for m.
0
Suppose -4*j - 4*i + 0*i + 52 = 0, 2*i = -j + 18. Let w = -1 - -5. Solve 0 = 4*g + w + j for g.
-3
Suppose -4*z + 9 = 1. Suppose -2*r - z = 2, 4*q - 4 = -2*r. Let c = 0 - -6. Solve 0*g = -q*g + c for g.
3
Suppose 0 = -4*l - l + 2*h + 6, 5*l = -5*h + 20. Solve l*f + 6 = -0*f for f.
-3
Let z be (0 - 0)/(5 + -3). Suppose -4*k - a + 60 = z, -2*k + 21 = 3*a - 19. Solve -k = 4*n + 6 for n.
-5
Suppose -5*a + s + 18 = 2*s, -a + 15 = 4*s. Suppose -2*l + 2*t = a*l - 4, -4*l = 3*t + 6. Let u(b) = b**2 + 4*b - 7. Let c be u(-6). Solve l = -5*f + c for f.
1
Let s be 7/(-28) + 9/4. Solve 4 = -s*q - 2*q for q.
-1
Suppose 0 = 2*t + 2*k + 2, 5*t - 5*k - 35 = 0. Solve -u - 4 = -t for u.
-1
Let x(u) be the first derivative of u**3/3 - 3*u**2 - 7*u - 2. Let w be x(7). Solve 4*c - c + 6 = w for c.
-2
Let o = 3 - 0. Solve -o*g + 5 = 17 for g.
-4
Let r = 14 + 13. Suppose -4*w - r = -h + w, 0 = h + w + 3. Solve h*s - 1 = -3 for s.
-1
Suppose 2*k = -4, 2*j + 0 - 10 = -k. Let v = j + -6. Solve g - 4*g - 12 = v for g.
-4
Let q = 15 + -8. Let z(r) = -r**2 + 4*r + 10. Let b = 13 + -8. Let g be z(b). Solve 4*h + q = -g for h.
-3
Suppose 0 = -4*q - 7 + 19, 3*q = -4*l + 29. Suppose -4*i - l = -9*i. Let u be (4 - i) + (2 - 2). Solve -2*a = -u*a + 2 for a.
2
Suppose 0*y + 26 = 2*c + 3*y, c - 5*y = 0. Let s be 2/c + (-24)/(-5). Suppose 15 = -s*w + 40. Solve 0 = -0*o + w*o - 15 for o.
3
Let j(r) = -r + 2*r**3 - 4 - 4*r**3 + 6*r**3 + 6. Let z be j(1). Solve z = 2*d - 1 for d.
3
Suppose 5*c - 6 = s - 19, -2*s - 16 = 4*c. Let z = s + 4. Solve 1 = -z*x - 1 for x.
-1
Let z = 11 + -5. Let g = z - 2. Solve -g = -4*n + 4 for n.
2
Let y(k) = k**3 + 9*k**2 - 2*k - 6. Let t be y(-9). Let q be ((-3)/t)/(3/(-36)). Solve q*z - z = 0 for z.
0
Suppose -6*l + l + 100 = 0. Solve 2*g - 6*g + l = 0 for g.
5
Let r be (-22)/(-6) - (-6)/18. Solve -6*f = -r*f + 2 for f.
-1
Suppose -z = 2*v, -4*z + 0*v = -2*v. Suppose 3*m - 13 - 17 = z. Solve 2*j + 2 - m = 0 for j.
4
Suppose -5*w = -10 - 5. Let v = w - 0. Let g = -3 + v. Solve 3*y = -g*y + 6 for y.
2
Suppose 0*r = 4*r + 16. Let c(p) = -p. Let a be c(r). Suppose -m