e u(v). Solve 0*f = -f + q for f.
1
Let q(a) = a**3 + 9*a**2 - 9*a + 13. Let t be q(-10). Suppose -11 - 22 = t*s. Let k = 21 + s. Solve -2*h - 3*h = k for h.
-2
Let r be (-4)/(-26) - 7/(-91)*11. Solve -m + 0 = -r for m.
1
Let w(i) = -6*i**2 - 1. Let v be w(1). Let h = -4 - v. Suppose -4*d + 5 = -h*d. Solve -d*g + 20 = -0*g for g.
4
Let v(b) be the second derivative of 1/12*b**4 + 0 + 7/6*b**3 + 3*b**2 + 2*b. Let a be v(-6). Solve 0 = -2*p - a - 2 for p.
-1
Let o(m) = 2*m**3 + 22*m**2 + m + 11. Let r be o(-11). Solve r = 3*t - 1 + 7 for t.
-2
Let s(v) = -v + 7. Let k be s(5). Let o be -2 - (-3 - (-2 - -3)). Solve -2*y - k = o for y.
-2
Let l(f) = 2*f**2 + 7*f + 3. Let u be l(-5). Let m be (u - 0)*(3 + -4). Let d = -13 - m. Solve -11 = d*y + 9 for y.
-4
Let g(p) = 5*p**3 + 9*p**2 - 7*p - 1. Let i(u) = -4*u**3 - 8*u**2 + 6*u + 1. Let b(a) = 5*g(a) + 6*i(a). Let f be b(3). Solve 0 = -m + f*m - 15 for m.
5
Let a = -38 + 23. Let v = a - -27. Solve -3*r = -6*r + v for r.
4
Suppose 12*v - 61 = -1. Solve v*l + 19 - 4 = 0 for l.
-3
Let b = 2 + -4. Let a be ((-3)/(-9))/(b/(-42)). Solve 4*h - a = 1 for h.
2
Let a = 2 - -1. Let b be a/(-5) + (-46)/(-10). Solve 0*q = -b*q - 8 for q.
-2
Let c(z) = -z**2 + 10*z - 17. Let o be c(7). Solve -o*h - 15 = h for h.
-3
Suppose 12 = 2*l - 5*l. Let z = l + 6. Solve 3*x = z*x + 4 for x.
4
Let c(t) = 2*t - 9. Suppose -4*m + 9*m = 3*s + 39, -4*m + 34 = -s. Suppose 3*w - 12 - m = 0. Let q be c(w). Solve -1 = -2*n + q for n.
3
Suppose 2*x = 5*x. Suppose -w - 17 = 5*u, x = -0*w - 4*w - 2*u + 22. Solve 3 = -m + w for m.
5
Suppose -4*y + 61 - 9 = 0. Let q be y - 4*1/4. Solve -3*w = -0*w - q for w.
4
Let y(c) = 3*c + 35. Let j be y(-11). Solve -3*q - j = -17 for q.
5
Let y = 7 - 24. Let h be (-2)/8 - y/4. Suppose h*w = -2*u + 50, 3*w - 25 = 2*u - 5. Solve -q = q + w for q.
-5
Let n = 0 + 3. Let f(g) = n*g - 1 - g**3 + 2*g**2 + 1. Let d be f(3). Solve o + o - 8 = d for o.
4
Suppose 0*s + 7*s = 14. Solve -s*c + c = -4 for c.
4
Suppose c = 2, -c - 6 = -2*o - 0*c. Solve -o + 3 = -a for a.
1
Let d = -8 + 12. Suppose z + 2*b = 4*b - d, -2*z - 2*b = -10. Solve z*w - 10 = -0*w for w.
5
Let r = 8 + -3. Solve 5 = -r*b - 0 for b.
-1
Let i(s) = -s - 16. Let o be i(-12). Let j(q) = q**3 + 3*q**2 - 4*q + 3. Let x be j(o). Solve 0 = t - 4*t - x for t.
-1
Let t(s) = -s + 12. Let b be t(7). Solve -39 = b*g - 14 for g.
-5
Let p = -4 + 12. Let r = 12 - p. Solve 5*f = -21 - r for f.
-5
Let y(i) = -5*i + 2. Let h be y(0). Solve h*l = -0*l - 4 for l.
-2
Suppose 0 = -5*b - 11 - 4. Let w be (8/(-3) - b)*18. Suppose 3*j - w*j = 0. Solve j + 6 = 2*f for f.
3
Let d = -1 - -4. Solve d*r - r = -6 for r.
-3
Let v = -43 + 51. Solve 2*o + v = -0 for o.
-4
Let i(x) = 3*x + 17. Let g be i(-4). Let v be (-2 + -1)/(-3) + 5. Solve -g*w = -v - 9 for w.
3
Suppose -5*s - 6*b = -b - 10, 2*s - 4*b = 10. Solve -j - 2 = -s for j.
1
Let z = -3 + 5. Let k = -4 + 5. Let i = z - k. Solve x + i = -4 for x.
-5
Let a(v) = v**2 + 6*v - 5. Suppose n - 5*n - 64 = 0. Let l = n + 9. Let q be a(l). Solve 0 = -q*o + o for o.
0
Suppose 0 = 2*n + 3*k - 29, -67 = -5*n - 0*n - 2*k. Suppose 4*f = n + 11. Solve -3*q = 9 + f for q.
-5
Let s = 76 - 31. Suppose 6*r - 11*r = -s. Solve -3*b + 0 - r = 0 for b.
-3
Suppose 2*t = -l - 0*t - 5, -2*l + 4*t = -6. Let b(h) = -6*h**3 - h**2 + h + 1. Let v be b(l). Solve 2*c = v + 1 for c.
3
Let c = -3 + 5. Suppose i - 3*q - 6 = -c*q, -5*i = -3*q - 36. Solve i*u = 4*u - 20 for u.
-4
Let z = -3 + 1. Let u be (3/(-6))/(z/(-8)). Let s be 3 + u - -1*2. Solve -7*g = -s*g + 12 for g.
-3
Let l be 6/4*(-8)/(-6). Suppose 3*v + 5*k - 41 + 11 = 0, -40 = -4*v - l*k. Let s be (2 + v/(-4))*-12. Solve u = s - 1 for u.
5
Let y = 5 - 1. Suppose o = 3, -y*c - 4*o + 2 = -10. Suppose 0 = 2*i + i - 3. Solve c = r + i - 6 for r.
5
Let z(i) = -i**3 + 3*i**2 + 2*i - 4. Let c be ((-4)/2)/(1/9). Let y be (2/4)/((-3)/c). Let a be z(y). Solve a*s = 3*s for s.
0
Let g be ((-16)/20)/((-4)/10). Suppose 0 = -i - 2, w - 2*w = g*i - 1. Suppose d = 3*s - s - 3, 2*s - w = -d. Solve 0 = 2*b + s for b.
-1
Let d = -33 + 22. Let k = -11 - d. Solve k = -2*y + 3*y + 1 for y.
-1
Let d(f) = -f**3 + 4*f**2 + 2*f - 7. Let n(v) = -v**2 - 13*v + 18. Let c be n(-14). Let k be d(c). Solve -k = x - 0 for x.
-1
Let y(n) = -n**3 - 7*n**2 - n - 5. Let k(c) = -8*c + 1. Let i = -1 + 2. Let r be k(i). Let f be y(r). Solve -f*u = 2*u - 8 for u.
2
Let c(m) = m**3 + 5*m**2 + 4*m + 4. Let a be c(-4). Solve -o = a*o + 20 for o.
-4
Let b = -2 - -2. Suppose b*n - 5*n + 30 = 2*m, 4*m = 20. Suppose -3*i + 2*q = 10, 4*q = -2*i + 2*q + 10. Solve -n*g + 20 = -i for g.
5
Let q(w) = w**2 + 2*w - 2. Let v be q(2). Let f be (-33)/(-9) - 4/v. Solve f*c + 3 = -0 for c.
-1
Let l be (15 + 3)/((-4)/(-2)). Let g = -4 + l. Solve 2*d + g = -5 for d.
-5
Let y = -7 - -14. Let l = y - 7. Solve -3*a + l*a = 0 for a.
0
Suppose -4*b + 3*b + 8 = 0. Let h = -8 + b. Solve -2*j - j = h for j.
0
Let q(k) = -2*k**2 + k - 1. Let d(c) = -c**2 + 2*c. Let s(b) = 3*d(b) - 2*q(b). Let l be (-3)/(6*1/8). Let i be s(l). Solve -3*a = i*a + 25 for a.
-5
Let s be (-2)/6 - 94/6. Let a = s - -18. Solve -8 = 2*y + a for y.
-5
Let m(y) = -y**2 + 22*y - 12*y - 15*y + 5. Let q = 4 + -9. Let j be m(q). Solve -h - j + 2 = 0 for h.
-3
Suppose 3*s = -3*d + 11 + 7, -4*d + 4*s = -8. Solve 5 + d = -3*c for c.
-3
Let m be 2*((-18)/4)/(-3). Let w = 18 + -17. Let z(a) = 2*a**2 + a - 2. Let c be z(-3). Solve -w = m*s - c for s.
4
Let d be (-4 + 2)/((-3)/3). Solve l = d*l for l.
0
Suppose 4 = -0*x + x. Suppose p = -2 + x. Solve -5 = -3*y + p*y for y.
5
Suppose u + 0*y + y - 6 = 0, -y = 3*u - 8. Suppose -u = 3*v + 2*r + 1, -2 = -2*v + 2*r. Solve -z + 8 - 4 = v for z.
4
Let v be ((-3)/(-2))/((-5)/40). Let z be 1 - 4/(16/v). Solve -15 = -z*s + 7*s for s.
-5
Suppose 2*d = 4*w + 50, -d + 20 + 15 = -4*w. Solve -d = -4*p + 5 for p.
5
Let s be -1*(-4)/(-8)*-8. Solve -s*a = a for a.
0
Let c be (-2)/(-4) + 27/6. Let v = -7 + c. Let x = 1 - v. Solve 0 = -2*m - x*m + 10 for m.
2
Let d = -3 + 6. Suppose 0 + 12 = 5*f + w, 0 = -3*f - 2*w + d. Let y(a) = -a**2 + 5*a - 4. Let s be y(f). Solve -s*i = i for i.
0
Let l be (6/4 + 2)*2. Let c(h) = -h**2 + 3*h + 4. Let a be c(3). Suppose 5 + l = a*o. Solve 0 = -s + o*s for s.
0
Suppose 0 = 8*o - 5*o. Solve o*l = -5*l + 15 for l.
3
Let y be (-2)/(-5) + 16/10. Let d = y + 0. Suppose 5 + 4 = 4*b + 3*v, 0 = 2*b + 3*v - 3. Solve b*u + d*u + 10 = 0 for u.
-2
Let n = 7 + -4. Let l(v) = v**3 - 2*v**2 - v. Let b be l(n). Solve -b*d = -d - 20 for d.
4
Suppose -b = 3*h + 4*b - 25, -4*h + 20 = 4*b. Let t be (1 - h) + -1 + 3. Solve -4*a - t = 1 for a.
-1
Let s(z) = z**3 + 24*z**2 - 27*z - 47. Let a be s(-25). Solve -8*x = -a*x for x.
0
Let p(y) = y**2 - 7*y - 27. Let j be p(10). Solve j*o + 4 - 1 = 0 for o.
-1
Let h(y) = -y + 4. Let x be h(0). Suppose -4*u + x = -3*u. Solve -19 = u*m + 1 for m.
-5
Suppose -4*o + 0*o - 2 = -2*c, 11 = 4*c - o. Let g(n) = n + 3. Let k(z) = 3*z + 8. Let x(a) = -8*g(a) + 3*k(a). Let w be x(c). Solve w = -5*j - 2 for j.
-1
Let t = 32 - 27. Solve -10 - 5 = -t*z for z.
3
Let c be (8/4)/(1 - 0). Suppose 2*a = -c*a + 20. Solve -2*y + 3 = -a*y for y.
-1
Let s = 22 - 17. Solve -4*r = -9*r - s for r.
-1
Suppose 5*u - 7 = 8. Solve -u = 2*j - j for j.
-3
Suppose 1 = -3*h + 19. Suppose -h = -d - 2*d. Solve s = -d*s for s.
0
Let l(j) = -j**3 - 13*j**2 + 13*j + 8. Let h be l(-14). Let u = h + -22. Solve u = 2*d - 6*d - 16 for d.
-4
Let g(d) = -3 + 0*d**2 + d**3 - 5*d + 5*d**2 - 2*d**2. Let s be g(-4). Let j(x) = -2*x - 2. Let r be j(-3). Solve 3*q = r*q - s for q.
1
Let i = -104 - -107. Solve 0 = -6*h + i*h for h.
0
Suppose 3*q = -f - 9, 0 = f + f - 3*q - 9. Suppose -4*v + 0*v = f. Suppose -4*h + 0*h = v. Solve -2*i - 2*i + 8 = h for i.
2
Suppose 0*m = -2*m - 4. Let z(b) = -2*b - 3. Let l be z(m). Solve -5*i + 6 = l for i.
1
Let t be (66/(-30) + 3)/((-2)/(-10)). Solve -9*u = -13*u + t for u.
1
Let w be 2/(-4)*-14 - 1. Solve -8 = 2*u - w*u for u.
2
Let u(n) = 2*n - 2. Suppose -3*r = 5*i - 10, -2*r + 6 = 3*i - 0*r. Let a be u(i). Solve -a = p - 2*p for p.
2
Let o be 7*3/3*1. Solve -o*n + 5 = -2*n for n.
1
Let q = -5 + 8. Suppose -5*f - 12 = -n - q*f, -4 = -3*n - 2*f. Suppose n*g - 25 - 7 = 0. Solve -a + g = a for a.
4
Suppose -4*j - 15 = j. 