o(0). Solve s*j + 12 = -2*j for j.
-3
Suppose 10 = 12*h - 7*h. Solve h*r - r = -1 for r.
-1
Let o = 100 + -99. Suppose 0 = -w - 2*w + 33. Solve -5*g - o = -w for g.
2
Let q = 32 + -32. Solve q = 4*w - 0 + 20 for w.
-5
Suppose 4*o + 2 = -h, h - 4*o + 130 = -4*h. Let g = h - -26. Solve g = -4*r + 16 for r.
3
Let f = 0 + 3. Suppose -3 = -f*z - 2*w, -z + w = -2*z. Solve z*l = -2 - 4 for l.
-2
Let m(i) = -9*i + 92. Let l be m(10). Solve l*g - 7 = -3 for g.
2
Let l(z) = -8*z - 12. Let b be l(-6). Suppose -3*f + 36 = 5*x, -2*x - b = -3*f + x. Solve 3*t = -0*t - f for t.
-4
Let g = -1 + 4. Let l(k) = -k**2 + 3*k + 5. Let h be l(4). Let u be 0/(h + -3 + 4). Solve -g*m - 2 + 5 = u for m.
1
Let b(q) = -2*q + 22. Let m be b(9). Solve 2*j + m = 3*j for j.
4
Let q = -10 + 14. Suppose 2*s - 2 = 3*u - 6, 2*u - q*s = 8. Suppose u*n = 3*n. Solve -f + 1 = -n for f.
1
Suppose 0 = -4*c + 3 + 9. Let v = -10 - -21. Suppose -5*b - 5 = c*z - 2, -5*z - 3*b + v = 0. Solve -z*l = -l for l.
0
Let l = 24 + -22. Solve -4 = x - l*x for x.
4
Let j(n) = 2*n**2 + 3*n - 4. Let o be j(-3). Solve 0*k - 5*k = o for k.
-1
Suppose 0 = -9*b + 5*b + 16. Solve 1 - b = -3*q for q.
1
Let p(y) = -y**2 + 7*y + 1. Let t be p(5). Let k = t - 7. Suppose 0 = -4*d - 3*j + 5, 2*d = -2*d - 4*j + 4. Solve 0 = -k*u - d - 10 for u.
-3
Suppose 10*n - 6*n - 8*n = 0. Solve -b + n*b = -2 for b.
2
Let w be (1/(-4))/(1*(-3)/24). Suppose -12 = c - 5*c. Let f be 8/3 + 1/c. Solve -5 = w*p + f for p.
-4
Suppose 20*f - 25*f + 100 = 0. Solve 0 = -6*o + o - f for o.
-4
Let g be (-1)/2*0 - -2. Solve -g = 2*h - 8 for h.
3
Suppose -5*f = -5*l - 20, -3*f = -f - l - 7. Solve -f*a = -12 + 3 for a.
3
Suppose -2*s - 3*l = -8*l, 4*l = 2*s. Let j = -11 + 11. Suppose 5*y + j*i + 1 = -i, 5*i + 5 = -y. Solve 5*w + s*w - 20 = y for w.
4
Suppose -3*t = -13 - 2. Suppose t*y + 0 = 5. Let r(n) = 3*n**3 - n**2 + 1. Let g be r(y). Solve -3*d - g = 6 for d.
-3
Suppose 4*k - 4 = 5*c - c, -5*c - 3*k = -19. Solve -3*r - 4 = c for r.
-2
Suppose -4*k = k - 15. Solve -12 = -k*x - 0 for x.
4
Suppose 14 = 5*h + t, 3*t + 2*t = 4*h + 12. Solve 3 = -5*s - h for s.
-1
Let o(j) = -3*j**2 - 12*j - 9. Let f(q) = -2*q**2 - 11*q - 9. Let r(p) = 4*f(p) - 3*o(p). Let a be r(8). Let x be 6/(-4)*60/a. Solve 2*t - x = -0*t for t.
5
Let l(v) = -v**2 - 3*v + 3. Suppose -5*j - 7 = 2*r, -2*j = -5*r + 17 + 9. Let k be l(j). Solve 3*f + k = -3 for f.
-2
Suppose -2*q + 5*q = 0. Solve q = -3*u + 1 + 5 for u.
2
Let l(s) be the first derivative of -1/2*s**2 + 2*s + 2. Let j be l(2). Solve j = 2*c + 2*c - 8 for c.
2
Suppose 111*u - 116*u + 20 = 0. Solve -u = s + s for s.
-2
Let x = -18 + 20. Solve -6*o + 8 = -x*o for o.
2
Let r(v) = v**3 - 3*v + v**2 - 2*v**3 + 3*v**2. Let l(t) = t**3 - 6*t**2 + 4*t + 7. Let m be l(5). Let d be r(m). Solve 0 = p + d for p.
-2
Suppose 0*y - 3*y = -9. Solve 3*o - 2*o - y = 0 for o.
3
Suppose -3*d + 8 = -4, 0 = v + 3*d - 12. Suppose 5*a = 4*b - 57, -5 = 2*a + 3*a. Suppose 0 = -3*t + 3*q + 8 + 7, -5*q = -2*t + b. Solve v = 5*j - t*j for j.
0
Suppose -3*g - 2*g - 10 = 0. Let p be -2 + 0/(g - -5). Let a be 3/3 + p + 4. Solve -2*m = -a*m for m.
0
Let y = -11 - -17. Suppose 8*r = y*r. Solve 3*f = -r*f + 9 for f.
3
Let b = -16 - -18. Solve 3*k - 20 = -b*k for k.
4
Suppose -15*m = -7*m - 56. Solve -m = -d - 2 for d.
5
Let c(j) = j - 1. Let o be c(6). Let d be 6*1*o/15. Solve -s = -d*s - 5 for s.
-5
Let v(r) = -2*r**3 - 3*r**2 - r - 2. Let w(x) = -x**2 - 1. Let h be w(1). Let j be v(h). Suppose -d - d + j = 0, 0 = -4*g - d + 14. Solve g*l = -l + 16 for l.
4
Let g(x) = -x**3 - 8*x**2 + 8*x - 9. Let p be g(-9). Suppose p*o - 2*o - 8 = 0. Let q = o + 7. Solve q*t - 4 = -t for t.
1
Let g(u) = u**2 - 9*u + 20. Let i be g(6). Solve -o = -i + 3 for o.
-1
Let s be (-38)/(-10) + (-2)/(-10). Solve 2*x - s*x = -8 for x.
4
Let o(w) = 6*w + 1. Let u be o(1). Let t = u - 7. Solve t = 3*c + 2 + 1 for c.
-1
Let o = -5 + -7. Let y be o/(-20) + 22/5. Suppose -r + y*t - 5 = 0, -2 = 4*r + t - 24. Solve -17 + r = -4*i for i.
3
Let q be -4 - -7 - (1 + 0). Let u(o) = 3*o**2 - 2*o - 2. Let z be u(q). Solve -z*l = -8*l for l.
0
Let h = -18 + 18. Solve 0 = -h*s - 4*s - 20 for s.
-5
Suppose -k = 3*x + x + 16, 0 = -2*k - 2*x - 2. Suppose 4*q - 9 = -4*d + 11, 0 = -k*q + 4*d + 4. Solve 0*u = u + q for u.
-3
Let i(x) = 3*x. Let m(a) be the first derivative of -a + 1. Let p(l) = -i(l) - 3*m(l). Let g be p(-4). Solve -5*w + g = -2*w for w.
5
Let t be -3 + -2 + 2 + 7. Suppose t*f + 16 = 3*x, -x = -6*x + 5*f + 25. Solve -x = -2*w - 2*w for w.
1
Suppose -2*w - 5*l = -6 - 4, 0 = -5*l. Solve w*k = 1 + 9 for k.
2
Let g = -7 - -7. Suppose 0*c - 28 = -5*r - 4*c, -3*r + c + 27 = g. Let y = 10 - r. Solve 2*w - y = -0 for w.
1
Let g(a) = -19*a + 252. Let t be g(13). Let s = 4 + -1. Solve 0 = 2*z - t + s for z.
1
Suppose -6 - 14 = -4*w. Solve -j = -w*j + 20 for j.
5
Let b be 87/6 + 3/(-6). Solve 5*u = 11 + b for u.
5
Let h(t) = 9*t**2 - 2*t - 1. Let o(m) = 8*m**2 - 2*m - 1. Let d(w) = -2*h(w) + 3*o(w). Let z be d(-1). Solve -z - 1 = 4*p for p.
-2
Let f = 14 - 9. Let n(r) = r**3 - 9*r**2 + 5*r - 1. Let y(j) = -j**3 + 10*j**2 - 6*j. Let g(u) = 5*n(u) + 4*y(u). Let h be g(f). Solve 7*a - 4*a + 9 = h for a.
-3
Suppose 144 + 96 = 16*h. Suppose -3*i + 3 = -0*i, -21 = -5*u - i. Solve u*y = y + h for y.
5
Let o be 6/12*(2 + -22)/(-1). Solve -6*b - o = -b for b.
-2
Let x(h) = -h**2 + 3*h - 2. Let q be x(2). Suppose q = 4*s - s. Solve 4*m + m - 15 = s for m.
3
Let t be (-22)/(-3) - (-1)/(-3). Let l(v) = -v**3 + 6*v**2 + 7*v. Let p be l(t). Suppose 5*w - w = p. Solve w*k + 25 = 5*k for k.
5
Suppose 3*t - 3 = 2*q, -7*q + 3*q = 5*t - 5. Solve t = -o + 3 for o.
2
Let m be ((-1)/(-2))/((-11)/22). Let r = m + 1. Solve r*s = 4*s + 20 for s.
-5
Let n(j) = -j**2 + j + 3. Let r be n(0). Suppose -4*y = -3*y - r. Solve -y*d + 8 = d for d.
2
Let n be 46/7 + -1 + (-132)/231. Solve -n = 7*b - 2*b for b.
-1
Let z = -9 - -12. Suppose -4*t - 2*k = k - 23, z*t = -k + 11. Solve -3*u + t = 8 for u.
-2
Let n be ((-6)/10)/(2/(-10)). Suppose 2*h = 5*a - 16, 6 = -2*h - n*h + 4*a. Suppose -6 = -5*s + h*s. Solve -5*m = s - 7 for m.
1
Suppose 4*p = w - 25, 28 - 84 = -4*w + 5*p. Solve 5*i = w*i for i.
0
Let r = 199 + -112. Let i = -62 + r. Let h = -5 - -7. Solve -h*g - i = -7*g for g.
5
Let x(q) = 4*q - 2. Let y be x(-2). Let a(z) = -z**2 - 11*z - 10. Let u be a(y). Solve u = -5*m + 12 - 2 for m.
2
Suppose -m = -14 - 6. Solve 5*y + m = -0*y for y.
-4
Let b be (-1 - -1)/(1 + 1). Suppose 2*x - 13 - 1 = b. Let r(k) = -4*k + 1. Let m be r(-1). Solve m*v + 32 = x for v.
-5
Suppose -3*b + 1 = -20. Let g(d) = -d - 5 + b + 10. Let q be g(10). Solve 6*f - q*f = 0 for f.
0
Let g = -16 + 18. Solve -3*p = g*p for p.
0
Let r = -7 + 7. Solve 2*j + j = r for j.
0
Let n(t) = 5*t**2 + 1. Let f be (-24)/(-16) + (-1)/2. Let s be n(f). Suppose y - s*y - i = -36, 5*y - 3*i = 32. Solve 8 = -3*k - y for k.
-5
Suppose 0 = -5*r + 13 + 12. Suppose 3*x - h + 2*h = 14, r*x + 5 = 4*h. Suppose -q = x*q. Solve q = p - 0*p - 5 for p.
5
Let n be ((-24)/(-10))/(2/5). Suppose n = 4*g - 2. Solve g*x = -4 - 4 for x.
-4
Suppose 2*p = -4*a + 8, p - 5*a = -0 - 3. Let g be (6/15)/(p/10). Solve g*t - 6 = -t for t.
2
Suppose 0 = s - 4*s + 6. Suppose -5*k + 6*k = s. Solve -7 + 1 = -k*d for d.
3
Let j(x) = x**3 + 3*x**2 - x - 3. Let p be j(-3). Solve g = -p*g for g.
0
Let i = -14 - -4. Let g be ((-4)/i)/((-1)/(-10)). Solve -q - 3*q - g = 0 for q.
-1
Let f(t) = t + 14. Let a(c) = 2*c**3 + 2*c**2 + 3*c + 3. Let d be a(-2). Let w be f(d). Solve 0 = -2*j - w + 9 for j.
3
Let p(d) = d - 10. Let k be p(12). Solve 0 = k*a - 3*a + 1 for a.
1
Let k be 2/(-1) + (5 - 5). Let v = 2 + k. Suppose v*i + 10 = 2*i. Solve -n + i*n = -16 for n.
-4
Let s = 0 - -8. Let u = s + -5. Suppose 5*z - 3*l = l + 40, 0 = -2*z - l + u. Solve z*r + r = 20 for r.
4
Suppose 0 = -b - 5*v + 18, 2*b + 3*v = -0*b + 15. Suppose -q - b*q = -12. Suppose -g + q*g = 14. Solve x - 2 = -g for x.
-5
Suppose -1 = r - 5. Let c be 126/24 + (-1)/r. Solve -2 = -c*w + 23 for w.
5
Suppose 2 = 14*f - 12. Solve 2*d = 3 - f for d.
1
Suppose 11 + 25 = -2*r. Let m be (-6)/r - (-2)/(-6). Suppose -6*l + 5*l = m. Solve l*z = 4*z + 4 for z.
-1
Let c = 114 + -68. Suppose -4*w = -3*w + c. Let f = -14 - w. Solve 5*d - f = -12 fo