- m for d.
-3
Let z = 144 + -139. Solve -19 = -z*s + 6 for s.
5
Let t(o) = -4*o - 15. Let c be t(-4). Solve x - c - 1 = 0 for x.
2
Let w be 115/(-10) - 2/(-4). Let z = w + 13. Solve 0 = z*i - 5*i - 6 for i.
-2
Let w = -28 + 11. Let l = 18 + w. Solve -5 + l = -4*i for i.
1
Suppose -1 = -y + 3. Suppose p - 22 = -5*w, w + 9 = y*w + 2*p. Solve 0*k + w*k = -20 for k.
-4
Let x = 12 + -2. Suppose b + 5*i = -16, -4*b - i - 2*i = 13. Let t = 1 + b. Solve 2*s + t*s + x = 0 for s.
-5
Let x = 16 - 10. Let y be (-10)/(-3)*x/5. Suppose 0 = y*n + n. Solve -5*w + 20 = -n*w for w.
4
Let b = -25 - -26. Solve 2*n + 7 - b = 0 for n.
-3
Suppose 0 = -3*o + o + 4. Solve 1 - 3 = -o*x for x.
1
Let k = 0 + 4. Let q be 4/20 - 1/5. Solve q = k*s + s - 15 for s.
3
Suppose 8 = 3*r - x - 6, 3*x - 18 = -3*r. Suppose -o + 4*o - 3 = -3*s, 0 = -s - r*o - 19. Suppose l + 4 = -2*j + s*j, -1 = -j - 4*l. Solve -h + j - 3 = 0 for h.
-2
Let s = -89 + 89. Solve -1 = -s*q + q for q.
-1
Suppose -5*h - 7 = -2*l - 5, 4*l = 3*h + 4. Solve 0*z + 4*z = h for z.
0
Let i be (-3)/(-6) - 49/(-2). Solve 4*q = -q - i for q.
-5
Suppose b = 5*b. Solve 4 = -b*h - h for h.
-4
Let f = -8 - -10. Suppose -y + u - 3 = 0, 27 - 8 = 2*y + 3*u. Suppose -y*n - 8 = -6*n. Solve -f = -4*c + n for c.
1
Suppose -128*h + 126*h = -6. Solve -h*z - 2 = 1 for z.
-1
Let a(r) = r + 4*r + 3*r - 4*r - 1. Let n be 2/(-4*1/(-2)). Let s be a(n). Solve u + s*u = -20 for u.
-5
Let n = 22 - 22. Solve 0 = -n*z - 5*z - 20 for z.
-4
Let c = 9 + -6. Suppose 2*o + 6 = -4*x - 0, -3*x = 9. Suppose -11 = -o*b + 7. Solve 0*d = c*d - b for d.
2
Let f(a) = -a**3 + 12*a**2 - 11*a + 3. Let j be f(11). Solve -j*v = -2*v + 1 for v.
-1
Suppose -4 - 18 = -11*q. Let p = -7 + 13. Solve q*x - p = -0*x for x.
3
Let t = 1 - 1. Suppose 0 = -t*q - 4*q + 4. Solve -4*s + q = -3*s for s.
1
Suppose 2*g = -2*y - 0*y - 8, 2*y = -5*g - 20. Solve -2*d = -y*d - 10 for d.
5
Suppose -5*n + 24 - 4 = 0. Suppose -2*f + 2*p = -n, p - 6*p = -10. Solve 0 = 4*d + f - 0 for d.
-1
Let c be 0/(-2)*4/8. Let q(s) = -s**3 + s. Let i be q(-1). Suppose i = -j - c*j. Solve 0*y - y = j for y.
0
Let i(f) = -f**3 + 6*f**2 + f - 4. Let t be i(6). Let d be (-15)/3*(1 - t). Solve -d*g - 9 - 11 = 0 for g.
-4
Suppose -2*d - 4*o = 8, -3*o + 1 = -d + 7. Let n = d + 5. Suppose -2*z - 4*t - n = -1, -z = t. Solve c + z = -0 for c.
-2
Let v(k) = -k**2 - 9*k + 3. Let z be v(-9). Solve -z*w - 7 - 5 = 0 for w.
-4
Suppose -5*l - 7 = 23. Let r be (l/(-9))/((-2)/(-6)). Solve -17 = -5*q - r for q.
3
Let t be ((-4)/(1*-2))/1. Let w = 0 + t. Suppose 5*y - 40 = -q, 0 = -w*y + 5 + 3. Solve -3*l + q = l for l.
5
Let d = -84 - -88. Solve 0*p - 2*p = d for p.
-2
Suppose -2*x + 6 = 5*v - 4*x, -5*x = 5*v - 20. Solve -2 = -v*p + 3*p for p.
-2
Let x(s) = 4*s - 5. Let t be x(2). Solve t*k = 4*k for k.
0
Suppose f - 3*n = 18, -3*f - n = -f - 22. Suppose 2*o + f = 6*o. Solve o*t = -t - 12 for t.
-3
Let m(z) = z - 3. Let b be 57/12 + (-2)/(-8). Let c be m(b). Solve -x + 5 = -c*x for x.
-5
Let c be (-18)/12*(-10)/3. Solve -f + 4 = c for f.
-1
Let i = 8 + -6. Suppose i = 4*a - 3*o, -2*a + 1 + 1 = -o. Solve 0 = h + a - 4 for h.
2
Let g be (-1 - (-36)/(-16))*-4. Let u = -13 + g. Solve u*k = k - 5 for k.
5
Let o(x) = -x**2 + 3*x + 5. Let n be o(4). Solve 3*z - 7 = -n for z.
2
Suppose -3*c + 5*n + 25 = 0, 0*n + 28 = 4*c - 4*n. Suppose -3*l = -5*f + 16, -3*l - c*f = 2*l - 40. Solve 0 = l*y - 2 - 13 for y.
5
Let n = 29 + -21. Suppose -2*b + 16 = 4*g, 0 = 2*g + 3*b - n*b + 16. Suppose 0 = -r + 5*p - 16, 4*p = 5*r + 5*p - 24. Solve u + r = g*u for u.
4
Let z = -7 + 10. Suppose 3*q - 13 + 37 = z*v, -q = -5*v + 56. Solve -v - 13 = 5*x for x.
-5
Let v(a) = -a**3 - 4*a**2 - a - 3. Let q be v(-4). Suppose -3*y + 2*y = -q. Suppose 0*l - 4*l = 12, -3*l - 15 = -2*j. Solve j*m - 2 = y for m.
1
Suppose -4*m + 15 = o, -2*m = 5*o + 14 + 1. Solve 11 = 4*k - m for k.
4
Suppose 0 = -3*v + 2*v + 4*s - 2, v + 4*s = 6. Let y be (1/v)/(1/10). Solve y = -4*q - 3 for q.
-2
Suppose 7*b - b + 48 = 0. Let x = 21 - -1. Let l be 4/b + x/4. Solve -l*n + 16 = -n for n.
4
Suppose 36 = -0*r + 4*r. Solve -20 = -r*o + 4*o for o.
4
Let x = 26 + -24. Solve -x + 1 = q for q.
-1
Let p(b) = 13*b**3 + 2*b**2 - 1. Let g be p(1). Let n = g + 14. Suppose -4*h + n = -5*q, 5*h + 0*q - 22 = 3*q. Solve -h*r = 3*r - 5 for r.
1
Let g(z) = -z + 6. Let m be g(3). Solve m*n = 1 - 4 for n.
-1
Suppose y + 0*y + 3 = 0, 29 = -2*f - 3*y. Let t = -16 - f. Let b(a) = -a - 1. Let s be b(t). Solve -s*o + 2*o = 6 for o.
-2
Let l(j) = j**2 + 3*j - 1. Let w be l(-4). Solve 4 = -4*c + w*c for c.
-4
Let s be -3 + 3 + 2*(2 - 0). Solve 0 = r - 0*r + s for r.
-4
Let f = 13 - 11. Solve -7 + 3 = -f*i for i.
2
Suppose -9*w - 16 = -11*w. Solve -3*p = -w*p for p.
0
Let d = 5 + -3. Suppose -t = -10 - d. Let s be 2/3 + t/9. Solve s = -j + 2*j for j.
2
Let d(f) = -2*f - 6. Let a(r) = -r - 7. Let i(h) = 5*a(h) - 4*d(h). Let k be i(5). Solve 0*y = k*y + 8 for y.
-2
Let d(x) = -2*x - 11. Suppose 4*b + 3 = c + 2*c, 0 = b + 3*c - 18. Suppose -7 = s - r, -4*s = -r + b*r + 34. Let k be d(s). Solve k*q = 2*q + 6 for q.
2
Let x(f) = f**2 + 5*f - 8. Let c be x(-7). Suppose l = -0 + 2. Suppose 2*a + l = c. Solve m - a = 1 for m.
3
Let y(k) = k**3 + k**2 + 4. Let z(g) = g**3 - 3*g**2 + g - 3. Let m be z(3). Let b be y(m). Solve 0 = b*a + 15 + 1 for a.
-4
Let v = 1 + 4. Suppose 2*s = -5*z + 3*z + 12, v*s + 2*z = 18. Solve 4*d - s*d = 0 for d.
0
Let g be 156/16 + (-3)/(-12). Let q(b) = b**3 + 3*b**2 + 3*b + 4. Let y be q(-3). Let w = 0 - y. Solve -w*m + g = -3*m for m.
5
Suppose -2*j = -5*i + 5, 3*j = -2*i + j + 16. Suppose 0 = 5*v - i*a - 42, 2*v - 4*a = -1 + 15. Solve -v - 1 = -5*m for m.
2
Suppose 4*a = -0*a + 56. Suppose -2*c + c + a = 5*g, g + 4*c - 18 = 0. Solve 0*f = -f - g for f.
-2
Suppose 2*k = -3*s + 15, 15 = 5*k + 4*s - s. Suppose f + 0*o + 3*o + 1 = k, -5*f + 4*o + 14 = 0. Solve -3*l - 1 = -f*l for l.
-1
Suppose -4 = 3*c + 4*y, 2*c + 4*y = y - 2. Let j be (-33)/(-1 + 2/c). Solve -j = 3*m - 7 for m.
-5
Suppose 19 = 4*d - 1. Solve -4 - d = 3*b for b.
-3
Suppose -3*z - 6*w + 13 = -2*w, -3*z - w = -1. Let r be z*-1*8/2. Suppose -r*x + 7 = -7*p + 2*p, -2*p = -x + 1. Solve 2*f + p = -1 for f.
-1
Let x be 14/5 + 7/35. Suppose 0*b + 3*d + 12 = 3*b, -x*b = -5*d - 16. Solve -2 = -b*q + 4 for q.
3
Let p = 27 - 19. Let y = p + -3. Solve -y*c + 25 = -0*c for c.
5
Let o = 30 - 22. Let r = o + -6. Solve -r*q - q = -12 for q.
4
Let r = 110 + -110. Solve 0 = j - r*j - 2 for j.
2
Let w be -28*(-1 + (-4)/(-8)). Let h be w/(-21) - 14/(-3). Solve -t - h*t = 25 for t.
-5
Let z = -61 + 66. Solve 15 = -2*h + z*h for h.
5
Let s be 1*(5 + (-4 - -2)). Suppose -s*a + 0 = -15. Solve 5*b = a - 25 for b.
-4
Let b be ((-20)/(-6))/((-6)/(-9)). Solve a + b = -4*a for a.
-1
Suppose -3*y + 18 = -5*u, 3*u + y + 8 = -0*y. Let q = -1 - u. Solve -q*v = v + 3 for v.
-1
Suppose -3*f - 18 = -3*n, 0 = 6*n - n + 5*f - 20. Solve n*s + 2 = 6*s for s.
2
Let i(d) be the third derivative of -d**5/60 + 5*d**4/24 - d**3/2 - 2*d**2. Let l be i(3). Let u(x) = 3*x - 3. Let p be u(3). Solve -l*c + 6 = -p*c for c.
-2
Suppose 5*n = 2 + 3. Let r be n/(-2)*-6*3. Let b(s) = 2*s**2 - s - 2. Let q be b(2). Solve -r - 3 = -q*d for d.
3
Suppose -20 = -5*y - 0*y. Let g be y/3*18/6. Solve g*k = -7 - 5 for k.
-3
Let k = 0 - 0. Suppose -6*j - j + 28 = 0. Solve j*y = -k*y - 8 for y.
-2
Let g(k) = 2*k + 16. Let n be g(0). Suppose -5*b - n = -66. Solve 5*f = -0 - b for f.
-2
Suppose -2*r + 3*r = 4. Let j(u) be the first derivative of -u**3/3 + 4*u**2 - 3*u + 4. Let o be j(7). Solve -r*q - o = -0 for q.
-1
Suppose 0*g - 2*g + 8 = 0. Suppose -5*m + 15 = 2*i + 4, -5*i + 15 = 0. Suppose s - 4*j = 21, -5*j + 2 - 37 = -3*s. Solve -s = g*a - m for a.
-1
Let m be (462/(-56))/(6/(-16)). Let q = -20 + m. Solve q = 3*o + 17 for o.
-5
Let k(t) = t**3 - 2*t + 3. Let j be k(0). Solve j = c + 2 for c.
1
Suppose 4*m - 3*f + 9 = -72, 3*m - 2*f = -60. Let v be m/24*2*-2. Solve 0 = -n + v*n - 2 for n.
1
Let v be 3/(2/7 - (-78)/168). Solve -v*k - 20 = k for k.
-4
Let c(j) = j. Let s(k) = 6*k - 5. Let a(l) = -4*c(l) + s(l). Let d be a(4). Solve f = 2*f - d for f.
3
Suppose 0 = 5*a - a - 32. Suppose -5*v + a + 37 = 0. Suppose 0*q = 3*q - v. Solve -r - q = -7 for r.
4
Let r be (-372)/(-1