 3/(-4). Solve 2*o - o - d = 0 for o.
5
Let y(c) = -c**2 - 4*c + 6. Let v be (-2 - -1)/((-5)/(-25)). Let f be y(v). Solve -2*j + f = -3*j for j.
-1
Suppose 6*o - 34 + 22 = 0. Solve -4 = -o*n + 2 for n.
3
Let l(q) = q**2 - 16*q - 24. Let h be l(18). Solve 0 = 5*v - 2*v - h for v.
4
Let b(k) = k**2 - 11*k - 22. Let s be b(13). Solve 0 = -s*l + 14 + 2 for l.
4
Let i = 31 - 13. Let y = i + -8. Suppose 3*p - y = -2*p. Solve -1 = o - p for o.
1
Suppose 0 = 6*b - 2*b - 16. Solve 8*z = b*z + 4 for z.
1
Let o(z) = 3*z**2 + 3*z - 2. Let y be o(1). Let r be (-34)/(-8) - (-2)/(-8). Suppose -k + t = y, -r*k + k - 2*t + 8 = 0. Solve 4*g - g - 12 = k for g.
4
Let s = 10 - -3. Solve -4*t - s = 3 for t.
-4
Let u(r) = r**3 + 2*r**2 - r + 2. Let g be u(-2). Suppose g = t - 1. Solve t*d - d - 4 = 0 for d.
1
Let g(l) = -l - 3. Let a be g(-5). Solve j = -1 + a for j.
1
Let m = -2 + 4. Suppose 0 = -3*h + 2*z - 2, -2*h - 2*z = m*h - 16. Solve 0 = h*r + r + 12 for r.
-4
Let a(l) = l. Let d(i) = 5*i - 4. Let s(g) = -14*a(g) + 2*d(g). Let m be s(-7). Solve 2*u + 3*u + m = 0 for u.
-4
Suppose 7 + 1 = 4*q. Solve q*m - m = 0 for m.
0
Let x(m) = -m**2 - m + 4. Let u be x(3). Let n(w) = 0*w + 5*w**2 + w**3 + 7*w + 4*w**2 - 5. Let b be n(u). Solve s = -b*s + 12 for s.
3
Let w = -7 + 11. Let b(g) = -g**2 + 13*g - 16. Let l be b(11). Suppose 0 = 5*t - w*o + l, -t - o + 7 - 1 = 0. Solve 0 = -v - t - 2 for v.
-4
Let k be 10/(-3)*6/(-5). Solve 0*a + 20 = -k*a for a.
-5
Let v = -19 - -23. Solve -3*c + v = -5*c for c.
-2
Suppose 5*a - 17 = -p, -4*p + 0*p = 5*a - 38. Solve 5*f = -32 + p for f.
-5
Let v be 19 - ((-2)/8 - (-9)/(-12)). Solve -3*i = i + v for i.
-5
Let d be 19/4 + (-3)/(-12). Solve -14 - 1 = d*p for p.
-3
Suppose -5*x = -m + 8 + 7, -3*m - 5*x = 15. Solve o + 3*o = m for o.
0
Let a(k) = k**2 + 2*k. Let i be a(0). Solve i*u = 2*u - 6 for u.
3
Let m = 12 - 8. Let a(b) = -2*b - 1. Let g be a(-2). Solve -m*d + g = -7*d for d.
-1
Let t be (0 + 1)/(-1)*6. Let a be 3 - 1 - (5 + t). Solve a*f + f = 16 for f.
4
Let u(j) = -j**2 + 20*j - 19. Let x be u(19). Let v = -11 + 15. Let g(d) = 2*d - 4. Let f be g(v). Solve 2*i - f = -x for i.
2
Let u(h) = -h**3 + h. Let j be u(1). Solve -3 = -m - j*m for m.
3
Let b(k) = -3*k. Let j be b(-1). Suppose 0 = -u - 3, -l + 3*u + 14 = 3. Suppose 0 = -5*t + 13 + l. Solve -j*h - t = -0*h for h.
-1
Suppose 0 = -59*c + 63*c. Solve c = 2*j - 5*j for j.
0
Suppose 4*u - 5*w - 41 = -0*w, 0 = -u - 5*w - 21. Solve -u*t + 12 = -0*t for t.
3
Let q = 44 - 42. Solve 0 = -q*r + 3 - 13 for r.
-5
Let b(c) = c + 22. Let f be b(-17). Solve -f*t - 2 = 13 for t.
-3
Suppose 2*y = 5*y - 6. Suppose -c = y*c. Solve c*o - o - 1 = 0 for o.
-1
Suppose 22*j = j. Solve 5*l + 8 - 3 = j for l.
-1
Let r(u) = 2*u**2 - 7*u + 3. Let z = 15 - 8. Let j be r(z). Suppose j = 5*x + 22. Solve 0 = -t - t - x for t.
-3
Let w be ((-42)/9 - -4)/((-1)/9). Solve -16 + w = -2*g for g.
5
Suppose -2*i + i - 6 = 0. Let q be (-33)/i - 3/(-6). Solve q = 2*p + 2 for p.
2
Let j = 34 + -32. Solve -3 = -j*r + r for r.
3
Let o = -5 - -16. Solve 2 - o = 3*c for c.
-3
Suppose -4*i + 24 - 8 = 0. Suppose -4*w + 6 + 58 = 0. Solve 0*r = i*r + w for r.
-4
Let v(x) = -x**3 - 23*x**2 - 23*x - 8. Let b be v(-22). Solve -6 = -5*j + b for j.
4
Let a be ((-3)/(-6))/((-3)/(-138)). Suppose 22 = 3*b - a. Solve 0 = 3*f + 2*f + b for f.
-3
Let x(f) = -f + 2. Suppose -2*h + 6*h = 8, 2*h = -2*a. Let p be x(a). Let k = -3 + p. Solve -u + k = 2 for u.
-1
Let t(r) = r + 6. Let d be t(0). Let m be ((-16)/d)/((-1)/3). Suppose -10*a + 5*a = 0. Solve a*l = -4*l - m for l.
-2
Let f = -5 - -8. Solve -3*a + f = -9 for a.
4
Let n = -10 - -18. Let o be (7 + -5)/(1/n). Solve -3*l - l - o = 0 for l.
-4
Let g = 0 + -1. Let r(v) = -v**3 - 2*v**2 - 2*v - 2. Let n(a) = -3*a**2 - 3*a - 3. Let k(s) = -3*n(s) + 4*r(s). Let u be k(g). Solve u*l = 1 + 19 for l.
4
Suppose 4*t + 17 = 57. Solve t = -3*h + h for h.
-5
Suppose 4*k + 4 = 6*g - g, -5*g - 4*k + 36 = 0. Let t be (-112)/(-18) + g/(-18). Solve 0 = 3*p + t + 6 for p.
-4
Let y = -205 - -209. Solve y*c - 2*c - 2 = 0 for c.
1
Suppose p - 3*p = -2. Suppose p = -2*w + 13. Let d be 3/1 + 0 + -1. Solve -w + d = 2*s for s.
-2
Suppose 2*j - 3 = j. Suppose j*i = -i + 12. Suppose -4*y + 24 = -i*s, -3*y + 3 = 4*s + 10. Solve y*h = -11 + 5 for h.
-2
Let d be -3 + 4 - (-1 - 5). Let k(f) = 2*f + 10. Let r be k(d). Let p = r + -16. Solve p = -0*t - 4*t for t.
-2
Suppose -4*d = 5*i - 30, -d + 9 = 2*d - 3*i. Suppose s - 11 = -4*n, 19 = d*n - s - 3*s. Solve n*k = -k for k.
0
Suppose -x = 2*x. Suppose x = 4*i - 65 - 15. Let y = 14 - 14. Solve y = 5*o + i for o.
-4
Let h(u) = -5*u**2 + 3*u + 1. Let x be h(-2). Suppose 4*z + 7 = -9. Let o be (z/10)/(1/x). Solve 2*v + 4 = o for v.
3
Suppose 4*z - o = 13, -5*z - 5*o = -0 - 10. Solve 0 = -z*n - n for n.
0
Suppose 2*f = 3*f - 8. Let w = f + -7. Suppose 0 = 2*u + 3*u - 20. Solve u*b - 19 - w = 0 for b.
5
Let q be (-3)/(-2*1/10). Suppose r - c = 4*c + q, -28 = -4*r + 4*c. Let b = r + -2. Solve b*h + 5 - 17 = 0 for h.
4
Let m(s) = -s**2 - 7*s - 6. Let g be (2/(-4))/((-2)/(-24)). Let x be m(g). Let y = 5 - x. Solve -y*u - 5 - 15 = 0 for u.
-4
Suppose j + 8 - 9 = 0. Solve -t + j = -1 for t.
2
Suppose -5*n + 10 = 0, -3*h + 5*n + 2 = -3. Suppose 3*w + 2 = -2*m - 1, -2*m - h*w = 9. Solve 3*t + m + 9 = 0 for t.
-4
Let z be (4 - 2)/(-2)*-1. Let f be 0/11 + z + 3. Solve 0 = -f*m + m for m.
0
Suppose -2*t + 4*m = 4, -3*t = -3*m - 4 + 7. Solve -4*o + 16 = -t*o for o.
4
Suppose -b + 3*b - 4 = 0. Suppose -4*u = b*r + 4, 0 = -3*r - 4*u - 2. Solve -r*k + 9 - 1 = 0 for k.
4
Let d = -9 - -17. Let o = -8 - -14. Solve -o*x + d = -2*x for x.
2
Let a = -7 + 5. Let v = 18 - a. Solve v = 6*d - d for d.
4
Suppose 0 = -6*b + 13 - 1. Solve -3*r - 4 = -b*r for r.
-4
Let v(u) = u - 1. Let f(r) = r**2 + 6*r - 3. Let h(g) = f(g) - 5*v(g). Let x be h(0). Solve 2 = -x*d + 10 for d.
4
Let w(g) = g**2 - 4*g + 4. Let n be w(-4). Let a = n + -20. Solve 0 = 5*m - a - 9 for m.
5
Let o(k) = -k**3 - 3*k**2 - 3*k - 2. Suppose 0 = -5*h + 6 - 16. Let r be o(h). Suppose r = -2*d - 2*d + 20. Solve 4 + d = -3*u for u.
-3
Let r(s) = 9*s. Let g be r(1). Solve 2*l - 3 = -g for l.
-3
Let r = -33 + 70. Suppose 4*l + r = -175. Let b = l - -84. Solve -5*h = 6 - b for h.
5
Let m(w) = -w**2 - 4*w + 3. Let r be m(-4). Solve -r*x + 1 = -5 for x.
2
Let x be (5/(-2) - -2)*0. Solve 4*c + 8 - 28 = x for c.
5
Let h(j) = -j**3 - 8*j**2 - 14*j - 10. Let q be h(-6). Let i = -5 + 8. Solve 0 = -i*y + 11 - q for y.
3
Suppose -3*t + 1 - 4 = 0. Let n = t - -1. Suppose n = 5*q - q - 20. Solve 12 = -q*f - 13 for f.
-5
Let i(j) = j**3 + 6*j**2 + 6*j + 7. Let n be i(-5). Let p be 4 + n*(0 + 1). Suppose -4*t + p = -2. Solve -2*u = t*u + 12 for u.
-3
Let h be 16/5 - 2/10. Suppose j + 0*j - 5*o = 18, -h*j = o - 6. Solve 4*q - j = 1 for q.
1
Let a be (-1)/(5/(-10)) + 8. Solve -5*q - a = -0*q for q.
-2
Suppose 5 = 4*m - 11. Suppose 5*g - 3*x - 45 = 0, -g - 1 - 7 = -4*x. Solve -h - g = -m*h for h.
4
Suppose 5*l + 20 = 30. Solve 0 = l*z - 4*z for z.
0
Let g(w) be the second derivative of w**5/20 + w**4/3 - w**3 - 7*w. Let l(y) = y**3 + 5*y**2 - 5*y + 1. Let x be l(-6). Let q be g(x). Solve q*c - 3 = 2 for c.
1
Let n = 47 + -22. Solve n = 3*t + 2*t for t.
5
Suppose 1 = 3*w - 5. Solve -2*o = w*o for o.
0
Suppose 4*k - 8*k = 0. Solve 5 = -k*c - 5*c for c.
-1
Let a be 1 + (0 - (-3)/(-3)). Solve 4*u + a*u + 4 = 0 for u.
-1
Suppose -q = -5 - 0. Solve 0 = 2*s - q - 5 for s.
5
Let z be (-2)/(-4) - (-5)/2. Suppose -z*h = -2*h - 2. Suppose 0 = 3*n - h*k - 11, 4*n - 13 = -0*n + k. Solve n*o - 7*o + 12 = 0 for o.
3
Let n(a) = a**3 - 2*a**2 - 8*a + 3. Let d be n(4). Suppose -5*c - 2*m = -9*c + 12, d*c - 5*m - 16 = 0. Suppose -x - 4*x = -60. Solve c*k + k = -x for k.
-4
Let x(w) = -3*w - 34. Let u be x(-13). Solve -u*o + 19 + 1 = 0 for o.
4
Let j = 5 - 2. Let c = -111 - -186. Suppose -8*b + j*b = -c. Solve -b = z + 4*z for z.
-3
Let d(a) = -a**2 - 2*a + 3. Let z be d(-3). Suppose 0*h - 2*h + 10 = z. Let o be 78/h - (-4)/10. Solve 0 = -5*f + 4 + o for f.
4
Suppose 0 = 3*k - 2*i - 15, -i - 20 = -4*k + 3*i. Solve k*m - 3 = 2*m for m.
1
Suppose 4 = 2*j - 3*j. Let f = -2 - j. Solve f*h - 20 = -3*h for h.
4
Let g be 3 + 0 - (-12)/(-2). Let n = -5 + 8. Let b = g + 