 m.
0
Let b(w) = -w**3 + 5*w**2 + 7*w - 1. Let d be b(6). Solve 4*s - 1 = -d for s.
-1
Let f(l) = -6*l + 0 - 1 + 2 - 2. Let k be f(-4). Solve 3 = -4*x + k for x.
5
Let s(m) = -m**3 + 7*m**2 + 7*m + 8. Let k be s(8). Suppose j - 25 = -5*x + 3*j, k = 3*x - 4*j - 15. Let t = x - 3. Solve -a = t - 0 for a.
-2
Let i = 15 - 10. Let v be 4 - 1/(3/6). Let x be (6 - v)/(-2)*-2. Solve -i = 3*c + x for c.
-3
Suppose -4 = 2*j - j, 0 = 2*d - 5*j + 428. Let u be (2/(-8))/(8/d). Solve 0 = -u*v + 3*v for v.
0
Let d(l) = 2*l**2 + 3*l - 1. Suppose 0 = -4*c + 5*c - 2. Suppose 0 = -h + c. Let g be d(h). Solve g + 2 = 3*z for z.
5
Let r(v) = -13*v - 61. Let k be r(-5). Solve k*i + 12 = 8*i for i.
3
Suppose 2*q - 3*a - 1 = 0, -a + 3 = q - 0*q. Let s(r) = -r**2 - 7*r + 10. Let v be (-2*1 - -4) + -9. Let c be s(v). Solve -q*n + 4*n - c = 0 for n.
5
Let r = -11 - -16. Suppose 3*s - 2*s - 10 = -t, -5*s = -4*t - r. Solve 1 = n + t for n.
-4
Suppose 0 = 3*h - 14 + 5. Suppose 4*w + 16 = 2*t, -5*w + w = -4*t + 20. Solve h*l = l - t for l.
-1
Suppose 2*r + 3 = 11. Solve t + 2 = r for t.
2
Let x be (-1)/(267/135 - 2). Let q be 2/(-4) + x/10. Suppose -2*f = f - 6. Solve -f*h = -3*h + q for h.
4
Suppose -5*o - 15 = 4*z, 2*z + 0*o = 2*o + 6. Let x(u) = -u**3 + 9*u**2 - 9*u + 11. Let h be x(8). Solve m + h*m = z for m.
0
Suppose 3*f - 8 = 4. Let t(h) = -h. Let a be t(7). Let w be (a + 5 + -2)/(-1). Solve w*m - 12 = f for m.
4
Let d = 77 + -75. Solve -d*m = -m + 4 for m.
-4
Suppose -3 = -n, v + 0*n = -4*n + 19. Suppose d + v = 2*x + 1, -3*x + 4*d = -14. Solve x*l = -0*l - 10 for l.
-5
Let a = -2 + 5. Solve a*c - 11 + 2 = 0 for c.
3
Suppose -2*r - r = 0. Let t = 19 - 5. Suppose 58 = 5*i + 2*f, i - 3*f = -f + t. Solve 3*b + 0*b + i = r for b.
-4
Let p(q) = 3*q**2 + 3*q - 3. Let a be p(1). Solve 15 - a = -4*y for y.
-3
Let z = -25 - -35. Let r = z + -6. Solve -3*n = -r*n for n.
0
Let w(n) = 4*n**2 + 4*n - 4. Let t be w(-4). Suppose 5*v = 6*v - t. Suppose y = -y + v. Solve -5*x - 2 + y = 0 for x.
4
Let v = -4 - -6. Suppose f = -v*f. Solve -16 = -4*u - f*u for u.
4
Let v = -186 + 357. Let g be 2/8 - v/(-36). Let j(r) = -4*r**3 - r**2 - r. Let x be j(-1). Solve -3 = -x*s + g for s.
2
Let x be 0/(((-4)/10)/((-6)/30)). Solve -3*o + 1 + 11 = x for o.
4
Let k be 38/4 - 2/4. Suppose 3*i = 6 + k. Solve 0 = -i*a + 2*a + 15 for a.
5
Let u be ((1 - 4) + 2)/(-1). Solve -u = l + 1 for l.
-2
Let n = -19 + 13. Let a(d) = -3*d - 9. Let o be a(n). Let z = 8 - 5. Solve 6 = z*x - o for x.
5
Let x be 0 - 3/(2 + -1). Let d(z) = z**3 + 3*z**2 + 4*z + 3. Let c be d(-2). Let k be c*(-1 - (2 + x)). Solve 2*v + k*v + 10 = 0 for v.
-5
Let m be 70/20 - (-3)/(-2). Suppose 3*v - 10 = -3*d + 8, -3*v = -d + m. Solve 3*h - v = -4 for h.
-1
Let n be -2*4/(-5 + 1). Suppose -3 = -5*v - 5*w + 7, 2*v = 4*w + 4. Solve v = n*l - l for l.
2
Suppose 2*s = -2*k + 20, -2*s = -3*k - 1 + 6. Suppose -2*l + k*h - 3 = -0*l, -3*l + 21 = h. Let z be (4/5)/(l/15). Solve z*a + 10 = -3*a for a.
-2
Let k be (0 - 1)/(2/12). Let r be 15*((-2)/k - 0). Solve 0 = -0*s - r*s + 5 for s.
1
Let t be 2/(-13) - (-14)/91. Solve t*z + 10 = -5*z for z.
-2
Let p(f) = f**2 + 6*f + 5. Let q be p(-6). Let w(a) = -2*a**2 - 29*a + 12. Let i be w(-15). Let s = i + q. Solve -s*y = y for y.
0
Suppose 0 = 13*x - 33 - 6. Solve 4*q + 4 = x*q for q.
-4
Let h(a) = a + 3. Let f be h(-3). Suppose f = 3*m - 6. Suppose -m*v = 1 - 3. Solve -3*o - 13 = -v for o.
-4
Suppose 2*n - 2 = n. Solve 8 + 0 = -n*g for g.
-4
Let g = 23 + -5. Let i be ((-6)/(-4))/(g/24). Suppose n - 6 = -i*n. Solve 2 = -3*o + n*o for o.
-2
Suppose -g - 4 = -p, 3*p + 3*g = 2*g - 4. Solve p = -0*h - 4*h - 16 for h.
-4
Suppose -4*y - 99 = -7*y. Solve -5*i + y = 8 for i.
5
Let b(o) be the first derivative of o**2/2 + 8*o - 7. Let p be b(-8). Solve 6*a - 3*a - 12 = p for a.
4
Suppose 3*w = 2*w + 8. Let f = w - 4. Solve f*a - 3 = 1 for a.
1
Let u(c) = -c**2 - 10*c - 9. Let m be u(-8). Let l be 244/28 + 2/m. Let f = -5 + 11. Solve -f - l = 5*s for s.
-3
Suppose -a + 2*a - c - 5 = 0, -c - 1 = 0. Solve -4*j + 16 = -a for j.
5
Let q = -5 - -10. Suppose 0 = i + q*g - 3, 4*g = 3*g. Solve 2 + 10 = -i*t for t.
-4
Suppose -y + 30 - 20 = 0. Suppose -4*g + 34 = 5*q, -5*g - 2*q + 4*q = -26. Solve 0 = 4*f - g - y for f.
4
Let u(l) = -l**3 - 2*l**2 + 2*l - 3. Let m be u(-3). Suppose -r - 4*r + 20 = m. Suppose o + 5*z - 19 - 19 = 0, -3*z = -4*o + 60. Solve r*n - 2 = o for n.
5
Let d(h) = h. Let j be d(6). Suppose 0 = -2*z + j. Solve z = -t + 7 for t.
4
Let r(j) = 3*j + 9. Let s(f) = 4*f + 9. Let y(n) = 3*r(n) - 2*s(n). Let q be y(-7). Solve q*h + 0 = 4 for h.
2
Let t(x) = x**2 + 6*x - 5. Let a be t(-5). Suppose 0 = -j + 5*b - 32, -15 - 5 = -5*b. Let h be j/(-3) - 2 - a. Solve h = -0*q - 4*q for q.
-3
Let h = -4 - -12. Suppose -3*r - h = -5*j, -2*r = -6*r - 4*j + 32. Solve -x + r = x for x.
2
Let f = -56 - -60. Solve -6 + 2 = f*z for z.
-1
Let w = -24 - -14. Let b = w - -15. Solve q = b*q - 16 for q.
4
Let l(g) = g**3 - 9*g**2 + 3. Let u be l(9). Solve -u*c + 7*c = -16 for c.
-4
Suppose -u = -5*u. Let l(t) = -3*t - 9. Let d be l(-3). Suppose d*h + 2*h - 4 = u. Solve -h*p = -7*p + 10 for p.
2
Suppose 0 = -5*o + c - 14 - 1, -5*o = -5*c + 15. Let u be (0/(-1))/o - -3. Suppose u*l = 8*l. Solve l*v - 15 = -3*v for v.
5
Let u(s) = -2*s - 9. Let t be u(-6). Let m(c) = 5 - t*c - 1 - 3. Let o be m(-1). Solve 0*z + 8 = o*z for z.
2
Suppose -k = -3*k - 6. Let w be (-6)/k*(-10)/(-4). Suppose 0*m = -w*m - s + 15, -4*m = -s - 12. Solve 4 = 4*f - m*f for f.
4
Suppose 26*x - 31*x = -40. Solve -5*v + x = 3 for v.
1
Let h be (-16)/6*27/(-12). Suppose -3*m + h*m = 12. Suppose m*v - 10 = 10. Solve 0 = v*y - 15 - 0 for y.
3
Let h = 3 - -12. Let b = -8 - -8. Solve 5*y + h = -b*y for y.
-3
Suppose -4*g - g = -55. Solve -4*z - 5 = g for z.
-4
Let p be (-4)/((-4)/(-16)*-2). Suppose 5*s = -0*r - r + 2, -2*r + 3*s = -4. Solve -r*d - 2*d - p = 0 for d.
-2
Let x(s) be the first derivative of s**5/120 - s**4/6 - 2*s**3/3 - 1. Let c(a) be the third derivative of x(a). Let y be c(6). Solve y*w = 7*w for w.
0
Let x = -122 + 126. Solve -q + 9 = x for q.
5
Let u = -3 + 6. Suppose -5*f - 3*q = -63 - 63, -2*q + 76 = u*f. Suppose p - f = -2*p. Solve i - p = -3*i for i.
2
Let z be 6*-2*1/(-4). Solve -3*s = -4*s - z for s.
-3
Let w = -10 + 12. Suppose 4*r = -0*x + 4*x + 20, w*r = -2. Let c be (-72)/27*x/4. Solve -c - 4 = -4*p for p.
2
Suppose -3*o = 4*j - 7*o - 28, -6 = 2*j + 3*o. Solve -3 = -j*m - 0*m for m.
1
Let d be (1 - -1)/((-2)/(-7)). Suppose -p = -m - 4, -1 = 3*m - 2*p + d. Solve -5*b + 0*b = m for b.
0
Let r(p) = 2*p - 3*p - 5*p**2 + p**3 + 4 - p - 4*p. Let g be r(6). Solve g*i = -10 - 6 for i.
-4
Let n = 17 + -12. Solve 0 = 3*u - 4 - n for u.
3
Suppose 0*z = 4*z + 4. Let q be (2/4)/(z/(-6)). Solve -q*r + 10 = 2*r for r.
2
Suppose 0 = k + 2*k - 9. Solve -5*o - k = -2*o for o.
-1
Let u(c) = 12*c - 65. Let g be u(6). Solve h + 2 - g = 0 for h.
5
Suppose 3 + 3 = i. Solve 3*u + i = -3 for u.
-3
Let w be 6/15*5*2. Suppose 4*c = -c + 5. Suppose -c = -w*p + 3*p. Solve -y + 2 = p for y.
1
Let s = -5 + 10. Suppose -2*j + s*j = 12. Solve 2*i - j = 4 for i.
4
Suppose 5*s - 2 = -4*v + 8, 2*v + 2*s = 6. Suppose -4*g - 12 = 5*k, -3*k - 9 = -g + 5. Let r be k/8 + (-9)/(-2). Solve -c + r = -v*c for c.
-1
Let t = -7 + 9. Solve -13 = 3*j + t for j.
-5
Suppose 3*a - 4 = r - a, -3 = 4*r - 3*a. Let f = 3 + r. Let u = 7 - f. Solve 3 = -u*m + 15 for m.
3
Let x = -1 + 13. Solve 4*o + 0*o - x = 0 for o.
3
Let u be (1/3 + 0)*15. Let c be 3/6*0 + u. Suppose -3*z + 8 = c*b + 1, 2*b + 14 = 3*z. Solve z*h = h for h.
0
Let l(p) be the second derivative of 13*p**4/12 - p**3/6 + 2*p. Suppose -2*r = -1 - 1. Let y be l(r). Solve -i = 2*i - y for i.
4
Let w = 74 + -72. Solve 0 = -0*c + w*c + 4 for c.
-2
Let r = 39 - 24. Solve 0*x = 5*x - r for x.
3
Let f be ((-5)/(-15))/(1/12). Solve -3*z + f - 1 = 0 for z.
1
Suppose -3*v + 29 = -5*k, v - 5*v + 2*k + 20 = 0. Suppose 0 = 4*b + 2*p + 3*p - 13, -4*b - 4*p + 12 = 0. Solve 5 = -v*d + b for d.
-1
Suppose -3*j + 0*j + 12 = 0. Suppose -3*s = -3*m - 5 + 17, -3*s = -j*m + 20. Solve m = -a - 3*a for a.
-2
Let k be (-26)/(-6) + 2/(-6). Suppose f + k = 20. Let w = -7 + 12. Solve d - w*d - f = 0 for d.
-4
Let a = -1 - -6. Let n be (2 - -12)*3/2.