lve 0 = -g*o - 2 - a for o.
-2
Let t(j) = 3*j. Let h be t(6). Suppose f - h = -2*f. Suppose -4*s + 20 = -4*r, -5*r + 2*s = 9 + 1. Solve 2*u - f - 4 = r for u.
5
Let g(p) = -2*p**3 + 2*p**2 + 2*p + 1. Let i be g(-1). Suppose -h = i*h - 140. Let s = h + -23. Solve n = -2*n - s for n.
-4
Let w(h) = h + 1. Let g be w(1). Suppose -2*s = 2*f - g, -s - f - 2 = f. Solve -s*m - 3 = -3*m for m.
-3
Let c be (-3)/(0 - 3) + -1. Suppose 3*y - 19 = -4*w, w + 4*w + 3*y - 23 = c. Suppose -4*i = -3*i - 2. Solve j = i*j - w for j.
4
Suppose 5*r + 3*r = 16. Solve -r*o + 2 = -o for o.
2
Let m(v) = -2*v**2 + v + 2. Let k be m(2). Let d = k - -6. Solve -3*u + d*u + 4 = 0 for u.
4
Let w = 14 + -9. Let r = -1 - -4. Solve w - r = -2*x for x.
-1
Suppose g = -g + 10. Solve -4 + 24 = g*f for f.
4
Let w(b) = 5*b + 13. Let i(y) = y + 3. Let r(v) = 9*i(v) - 2*w(v). Let n be r(-1). Solve -n*l + 5 = 3*l for l.
1
Let z be 2/8 + (-60)/(-16). Solve -z*k + 2*k = 4 for k.
-2
Suppose 2*m - 7 = 11. Suppose 0 = -3*s + m, 5*s - 9 = -3*x + 12. Suppose 3*k = x*k. Solve k = h + h + 6 for h.
-3
Let s = 2 + -2. Suppose -4*k - 5*n + 41 = -s*k, -4*k - 4*n = -36. Solve -24 = -5*c - k for c.
4
Suppose -3*k = -2*t + 8, 4 = t - k + 1. Let a = 5 - t. Let w(y) = 2*y - 6. Let u be w(4). Solve 0 = -a*m + u*m - 2 for m.
-1
Suppose -2*q + 4 = -0. Suppose w - q*w = 6. Let u(o) = -2*o - 9. Let b be u(w). Solve -b*l - 2*l + 25 = 0 for l.
5
Let q = 5 + -1. Suppose 2*i + 14 = 5*t, 4*i + i + 18 = q*t. Let k be -3 + 7 - 1*t. Solve k*g = -2*g for g.
0
Suppose -x = -4*f - 12, 4*f - 4 = 2*x - 16. Solve -c - 3 - 2 = x for c.
-5
Let k(t) = t**2 + 6*t - 3. Let j be k(-7). Let c(v) = v**3 - 4*v**2 + 2. Let l be c(j). Solve -l*n - 3 - 1 = 0 for n.
-2
Let p(o) be the first derivative of -o**4/4 + 8*o**3/3 + 9*o**2/2 + o + 6. Let g be p(9). Solve -k + g = 2 for k.
-1
Let y be 2 - (-68)/18 - (-18)/81. Let x = -2 - -2. Solve x = -3*i + y*i - 12 for i.
4
Let m = 14 + -9. Suppose -12 = -m*u + 3*u. Solve u*x = 5*x for x.
0
Suppose -v = 4*v - 65. Solve -4*u = -5 + v for u.
-2
Suppose -5*o = 3*j - 70, 5*j - 2*o - 33 - 63 = 0. Suppose -6*q + q + j = 0. Solve -u = q*u + 10 for u.
-2
Let g = -16 - -20. Let v = 7 - g. Solve -v*o = o for o.
0
Let z = -30 - -30. Solve -2*m - 8 = -z*m for m.
-4
Let a = -59 - -61. Solve 0*u = -u + a for u.
2
Suppose 6*w = 26 + 4. Solve -w*y - 5 = -10*y for y.
1
Let u be (-4 + 14)*12/15. Let x be 3 - u/(-12)*-3. Let s = -1 - -1. Solve -h + s = x for h.
-1
Let j(p) = -p**3 - 7*p**2 - 7*p + 2. Let t be j(-5). Let d = t - -21. Solve -2*y + d = -2 for y.
5
Let s = -9 - -12. Solve 3*d = -0*d + s for d.
1
Suppose -s = -4*s + 9. Let r be (-2)/s + 11/3. Let q = 0 + 3. Solve -3*t - q = r for t.
-2
Suppose -3*m - m - l + 10 = 0, -m + 5*l = 8. Suppose 2*f + 1 + 3 = -m*h, -4*h - 16 = 0. Solve -1 + 7 = -f*r for r.
-3
Let l(n) = 2*n**2 + 24*n + 5. Let h be l(-12). Solve -h = 2*k - 3 for k.
-1
Let r = 0 - -3. Let v = -30 - -34. Solve -r*x = -v*x for x.
0
Let p(i) = i**3 + 2*i**2 - 1. Let h be p(1). Let c be (h + 1)*1/3. Solve -n - c = -0*n for n.
-1
Suppose -4*k = 47 - 11. Let i be (-3)/k + (-1)/3. Solve i = -5*s - 1 + 6 for s.
1
Suppose 3*l - l - 2 = 0. Suppose -4*w = 2*r + l - 13, 9 = -5*r + 3*w. Solve 5*f = -r*f for f.
0
Let p = -9 - -11. Solve -4*k = -p*k - 6 for k.
3
Let g be 1 - (2 - 6)/4. Solve 0*x + g*x = 0 for x.
0
Let s = -1 + 6. Suppose s*p = -3*b + 32 - 8, 4*b + 4*p - 24 = 0. Solve b*x - 10 = -2*x for x.
2
Let u(s) = -5*s**2 + 13*s - 5. Let x(g) = 11*g**2 - 27*g + 11. Let a(n) = 13*u(n) + 6*x(n). Let i be a(-7). Solve -2*h - i = -3*h for h.
1
Let q be 6*(20/12)/5. Solve -9 = q*a + 1 for a.
-5
Suppose 22*l + 36 = 124. Solve -8*d = -l*d - 12 for d.
3
Let u be (-3)/(2*(-15)/50). Solve -i = u - 3 for i.
-2
Suppose w = h + 4*h - 9, -w = 3*h - 23. Let k be w + -4 + 0 + 0. Solve -3*o = -k*o for o.
0
Let p(x) = -x**2 - 5*x - 4. Let u = -9 + 5. Let r be p(u). Let h = 2 + r. Solve 4*m - h*m = 0 for m.
0
Let r be ((-12)/10)/((-3)/10). Solve 3*v + r = -2 for v.
-2
Suppose 2*g = -3*g. Suppose 5*h + 1 = -2*q, -4*q + 5*q - 2*h - 4 = g. Solve -q*l = l for l.
0
Suppose 0 = 2*y + 2*d + 2*d - 20, 5*d = -2*y + 25. Solve -n = -y*n for n.
0
Suppose -6*t = -9*t + 6. Let h(j) = j**2 + j - 4. Let m be h(-3). Solve -t = m*l + 6 for l.
-4
Let p(l) = -l**3 + 7*l**2 - 5*l - 4. Let t be p(6). Suppose -5*c + 15 = -w, -t*c - 2*c + 41 = 5*w. Solve 6*a + 2 = c*a for a.
-1
Let l = 11 + -9. Solve -5*v = 3 + l for v.
-1
Suppose -r = -2*j + j + 1, -5 = 5*r. Let d be 0/(j - (-1 + -1)). Solve -q - 3*q - 8 = d for q.
-2
Let i be ((-12)/(-2))/(4 - 2). Let z(f) = f**2 - f - 4. Let v be z(i). Suppose 2*m - 19 = -0*m + 5*q, v*m + 2 = -2*q. Solve -m*u - 4 = -u for u.
-4
Suppose 2*z = -4*v + 10, 0*z + 2*z = v. Let d(k) = -k + 5. Let q(a) = 1. Let r(l) = -d(l) + 4*q(l). Let o be r(z). Solve 0 = -o*w - 2*w + 2 for w.
1
Let l(s) = -s + 1. Let m be 4*3/(1 - 4). Let c be l(m). Solve -c*z = -3*z for z.
0
Let u(o) = -o**2 - 6*o - 3. Suppose 2*i = 5*h + 3, -2*h - 15 = 3*i - 3*h. Let v be u(i). Let z be (-2)/6 + (-7)/v. Solve 0 = -k + z - 1 for k.
1
Let h = -1 - -4. Let o = -3 + 3. Suppose o = -p + 4*p. Solve 3*j - 12 + h = p for j.
3
Let c = -9 - -11. Suppose 2*l + 3*y + c = 5, 3*l = y - 1. Solve 6 = -l*h + 3*h for h.
2
Suppose -5*n + 0*n + 15 = -3*v, 15 = 5*n + v. Let l be n/(6/(-4)) - -3. Solve 0*p + l = p for p.
1
Let f(a) = 4*a - 14. Let b be f(4). Solve b - 4 = 2*h for h.
-1
Let q(g) = g + 7. Let h be q(-7). Suppose k - 4*k = h. Solve -w = -k*w for w.
0
Let i(u) = u**3 + 5*u**2 + 4*u + 2. Let d be i(-4). Let a(v) = v**2 + 9*v + 2. Let x be a(-7). Let f = -6 - x. Solve -12 = -f*l + d*l for l.
3
Suppose -5*k - 46 = 114. Let m = k + 12. Let j = 40 + m. Solve 0 = -4*u - u - j for u.
-4
Suppose -17 = -3*q + 2*t, 3 = -q - 4*t + 4. Suppose -2*y = -q - 19. Suppose 0 = -g - l + 4, 0*g = g - 5*l + 20. Solve 0*a - 3*a - y = g for a.
-4
Suppose 10 = 8*o - 3*o. Suppose o*r = -r. Suppose -2*x - 25 = -5*a, r = -2*a + 4*x + x + 10. Solve 0*k = a*k for k.
0
Suppose -2*x - 2*x + 32 = 0. Suppose 2*f + 15 + 3 = 5*o, f = 2*o - x. Suppose 3*m - o*n = 8, 3 = -5*n - 17. Solve 0*y - 4*y - 12 = m for y.
-3
Let m(k) = k**2 + 6*k + 4. Let t be m(-6). Suppose -b - t*b = -10. Let g be 8/b + 2 - 2. Solve g*y = y - 9 for y.
-3
Let c = 5 - 1. Suppose 10 = 3*b + 2*o - 7, 4*b - 2*o = c. Solve -6 = -b*s + 3 for s.
3
Suppose 5*o = 2*t - 21, 15 - 6 = -t - 4*o. Suppose 0 = 5*f - 27 - t. Solve -f*k + 20 = -k for k.
4
Let k = 68 + -68. Solve k = c - 4*c for c.
0
Suppose -s = y + 3*y - 3, -y + 3 = s. Suppose 0 = v - 3*f - 18, -3*v - 5*f + 72 = v. Suppose 2*n - 2*l - 12 = -0*n, 5*l + v = 2*n. Solve 0 = s*r - 16 + n for r.
4
Let a(s) = -s**3 - 9*s**2 - 2*s + 6. Let c be a(-9). Let y be c/10 - (-6)/10. Suppose -y*z + 2 = -4. Solve -4*v = -z*v for v.
0
Suppose -3*l = 3*q - 6, 5*q = -l - 3*l + 10. Solve -q*u = u for u.
0
Suppose -a - 2 + 4 = 0. Solve 0 = -4*u + a*u for u.
0
Let q(s) = -2*s - 1. Let l be q(-3). Suppose 2*n - 5 - 3 = 0, 5*y - 2*n - 7 = 0. Let d = l - y. Solve 1 + d = -3*j for j.
-1
Let f = 17 - 13. Solve -n = f*n - 5 for n.
1
Suppose 3*j - 16 - 1 = 2*c, 0 = 4*j - 3*c - 23. Suppose 0 = -y + j*y - 24. Solve 2*v - y = -0 for v.
3
Let h be (4/((-16)/3))/(6/(-16)). Solve -6 = h*j - 4 for j.
-1
Let y(f) = 4*f. Let d(u) = 9*u. Let p(z) = -3*d(z) + 7*y(z). Let g be p(5). Let t = 53 + -33. Solve 0 = -g*w + w - t for w.
-5
Suppose -4*i + 3*i = 2*j - 11, 0 = 3*i - 15. Suppose 5*f + 4*v = 133, -j*f + 5*v - 135 = -8*f. Solve -3*w = 2*w + f for w.
-5
Suppose 5*v = 2*s - 21, 0 = 5*s + 3*v - 3 - 3. Let j be 0 + 1*9/s. Suppose 0 = 3*r + j*c - 27, -4*r + 9*r - 15 = 5*c. Solve -5*o + 4 = -r*o for o.
-4
Let h(t) = t**3 - 5*t**2 + 2*t + 8. Let i = -19 + 23. Let g be h(i). Solve g*f = f + 4 for f.
-4
Let h = 2 - 1. Let b(k) = 2*k - 1. Let u be b(h). Suppose 66 = -3*m + 9*m. Solve u = -5*w + m for w.
2
Let q = 56 - 41. Solve q = -0*g + 5*g for g.
3
Suppose -4*s + 29 = -3*b, -2*b = 2*s + 1 - 5. Let u = s - 5. Solve 3 = -u*c - c for c.
-3
Suppose -1 = 5*i - 11. Let a(v) = v. Let y be a(4). Suppose 2*q + 3 - 7 = -d, -q - d = -y. Solve 4*w - 18 + i = q for w.
4
Suppose -5*f + 9*r - 35 = 4*r, 13 = f + 3*r. Let n be (0 - 0)/(f + 0). Solve n = -4*c + c for c.
0
Suppose 5*c = -10, c = -4*w + 5*c + 16. Solve -w