m = 2 for m.
-2
Let m be (572/(-1755) - (-2)/(-27))*-10. Solve m*v + 21 = 5 for v.
-4
Let c(u) = u + 4. Let f be c(0). Let h(d) = -d**3 + 2*d**2 + d + 6. Suppose -3*l + 6*l = 5*g - 15, 0 = -5*l. Let b be h(g). Solve f*n - 12 + 4 = b for n.
2
Let n = -175 + 181. Solve n - 21 = -3*v for v.
5
Let i = -16 - -16. Solve i = f + 3 for f.
-3
Let t(n) = 10*n - 1. Let f(h) be the first derivative of 9*h**2/2 - h - 4. Let y(r) = -7*f(r) + 6*t(r). Let w be y(-1). Solve -3*q + 1 = w for q.
-1
Let f(s) = 2*s**2 + 7*s + 33. Let y be f(-6). Let u = -43 + y. Solve 2*p - 6*p = u for p.
-5
Let z = 936 + -896. Solve 0 = 4*d + 4*d + z for d.
-5
Let y(n) = -n**3 + 4*n**2 - n + 13. Let u be y(4). Solve -34 + u = -5*i for i.
5
Let x(o) = -o**3 - 17*o**2 + 20*o + 49. Let i be x(-18). Solve 23 = 9*k - i for k.
4
Let r be 5/2 + (-9)/(-6). Suppose 29 = r*i + 9. Solve 0*t = -i*t + 25 for t.
5
Let z = -2 + 13. Suppose z*u = -u + 36. Solve -1 = d + u for d.
-4
Let l be 1 + 5 + 6 + -3. Suppose 4*o - l*o = -15. Suppose -3*c + o = -0*c. Solve 2*f - c = f for f.
1
Let n(u) = -4*u**2 + 5*u - 3*u**3 + 3*u**3 + 4 - u**3. Let t be n(-5). Let l = 653 - 652. Solve l = 3*i + t for i.
-1
Let f = -130 - -130. Let p be (f - -1)/(3/48*4). Solve p*v = 2*v + 4 for v.
2
Let g(x) = -2*x**2 + 43*x + 15. Let n be g(22). Let z(u) = -6 - 5*u + 2*u - 11. Let q be z(n). Solve -q*b - 6 = -b for b.
-2
Let w be -2 + 6 - 1/1. Suppose -7*s + 32 = -w*s. Suppose s*h - 4*l = 4*h - 4, -2*h + 5*l - 14 = 0. Solve -2*v + 4 = -h*v for v.
-4
Let g(o) = -3*o - 27. Let i be g(-19). Suppose -5*z + 2*w + i = 0, 3*z + 1 = 5*w + 19. Solve h + 2*h = -z for h.
-2
Let a be ((-6)/8)/(0 + 3/(-48)). Let c be ((-8)/a)/(4/(-18)). Solve -8 = c*y + 1 for y.
-3
Let p = -496 - -526. Solve 2*b - p + 26 = 0 for b.
2
Suppose -5*s + 5*u + 60 = 0, 5*s + 10 - 58 = -u. Let m(o) = -o**2 + 13*o - 25. Let p be m(s). Solve -k + p = 4*k for k.
1
Suppose n + 5 = 0, 2*u = -u + 3*n + 33. Solve m + u = 2 for m.
-4
Suppose -3*g + 44 = 3*y - 34, -52 = -2*y + 3*g. Solve -2 = 7*l + y for l.
-4
Suppose 0 = -3114*g + 3126*g - 48. Let a(c) = c**3 + 3*c**2 - 6*c - 4. Let i be a(-4). Let v = i + 1. Solve 0 = -g*r - v - 3 for r.
-2
Let n(j) be the first derivative of -9*j**2/2 - 14*j + 42. Let s be n(-2). Solve -2*f + s = -0 for f.
2
Let u(w) = w**2 + 49*w + 140. Let n be u(-46). Let q = -7 - -11. Solve 2*t + q = -n*t for t.
-1
Let h = -4 + 17. Suppose -j + h = 1. Suppose 0 = 3*z + 5*c - j, -2*z + c - 1 + 9 = 0. Solve -1 = -3*q + z*q for q.
-1
Suppose -5*v = -q + 7, v = 4*q + 8 - 17. Solve q*k - k - 2 = 0 for k.
2
Let d = 215 + -180. Solve 2*h + d - 33 = 0 for h.
-1
Let a be (-15)/((7/14)/((-2)/4)). Suppose -13 - a = -7*l. Solve -2*o - l = -3*o for o.
4
Let s(m) = m - 2. Let w be s(12). Solve -2*i + 14 = w for i.
2
Let s be (-3 - -4 - -1) + -30. Let a = -23 - s. Solve a*p + 11 = 36 for p.
5
Let o be -3 - ((-6)/(-9))/((-4)/54). Solve y + 25 = o*y for y.
5
Let o = -37 + 73. Let r = 38 - o. Solve -m + 4 = r for m.
2
Suppose 4*r + 45 = s, 4*r - 3*r + 15 = -s. Let a = -9 - r. Let f be (-1 - -2) + -2 + 6. Solve -f*y = -2*y + a for y.
-1
Suppose 4*c - 5*l + 2 = 7, 0 = 2*c - 3*l - 3. Suppose 4*r = 5*h - 68, c = -r - 1 - 1. Solve 2*x = 5*x - h for x.
4
Suppose -o = -6*o - 2*o. Suppose -j - z + 3 - 1 = o, j = 3*z + 2. Solve 3*a = j*a - 5 for a.
-5
Let j be (-96)/(-56) - (-2)/7. Solve x - j*x = -2 for x.
2
Let o(m) = m**3 - 6*m**2 + 4*m - 16. Suppose -4*g = -2*y - 22, -4*g - 5*y + 22 = -7. Let n be o(g). Solve -n*j - 12 = -4*j for j.
-3
Let u(r) = -r**3 + 2*r**2 - 3*r - 3. Let j be u(5). Let x = j - -95. Solve -15 = -x*z - z for z.
5
Suppose -2*o - 3*u + 5 + 8 = 0, 0 = o - 3*u - 20. Suppose -7*z = -o*z. Solve 0 = 2*a - z*a + 2 for a.
-1
Suppose 2*v - 9 + 1 = 0. Suppose k - 7 = -v. Solve 0*j = -k*j + 6 for j.
2
Let f = -51 + 53. Suppose 3*z + f = 5*o, -o + 8 = 4*o + 3*z. Solve 2*q - q - o = 0 for q.
1
Let m be 236/6*(-18)/4. Let g be (-1)/(m/(-45) - 4). Solve -4*v + 7*v - g = 0 for v.
5
Let z(w) = -w**3 + 13*w**2 + 15*w - 5. Let n be z(14). Suppose 37 - 1 = n*k. Let d = 0 + 12. Solve 4*p - d = k for p.
4
Suppose -94 = 15*t - 17*t + 5*r, -5*t + 5*r + 205 = 0. Solve 38*j - t*j + 2 = 0 for j.
-2
Suppose -6*h - 118 - 446 = 0. Let q = h - -117. Solve -q + 8 = 5*g for g.
-3
Let l be -1*(3 - 2 - 2). Let f be (-8)/(80/15)*-2*l. Solve 4*g = f*g - 4 for g.
-4
Suppose 4*s - 4*m = 102 + 58, -166 = -4*s - 2*m. Solve s*f = 37*f + 20 for f.
5
Suppose 9*s + 26 - 197 = 0. Solve 22*b = s*b + 12 for b.
4
Suppose 2*q = 2*s + 2*s + 14, s = 4*q - 14. Suppose q*y - 7 = 17. Solve 12 = 4*a - y for a.
5
Suppose 40 = 4*f + 4*f. Suppose 7*l + 36 = 4*h + 2*l, 5*h - 40 = f*l. Let y be (-8)/(-12) + 14/6. Solve h = -t + y for t.
-1
Let o(y) = -y**3 - 12*y**2 - 12*y - 3. Let n be o(-11). Suppose -4 = 4*t + 4*r, 3*t - n*t - 3*r = 13. Let f be t/(20/(-24)) + -2. Solve -16 = -8*d + f*d for d.
4
Suppose p = 2*g - 7, 5*p - 4*g = -g. Let c(v) = -v**3 + 4*v**2 + 2*v - 7. Let w be c(3). Suppose p*a = w + 4. Solve a - 2 = q for q.
2
Let w = -89 + 234. Solve w = -5*t + 145 for t.
0
Let m(w) = w + 10. Suppose -3*n = -2*v + 21, -2*v + 29 = -4*n + v. Let q be m(n). Solve -q*b - 7 = -32 for b.
5
Let g(j) = j**2 - 5*j - 12. Let c be g(7). Solve -10*w = -c*w + 8 for w.
-1
Suppose 3*k - 144 = -k. Let p = k + -34. Solve 3*d - 11 = -p for d.
3
Suppose -5*l + 3*m = -5, 0 = 6*l - 3*l - 5*m + 13. Let g = 0 - -3. Solve -g = -3*v + l*v for v.
-3
Let a(p) = 2*p**2 + 22*p + 39. Let t be a(-9). Solve 3*m = -t*m for m.
0
Let v = 28 - 19. Suppose 0 = -12*a + v*a + 18. Suppose a*p = 2*p. Solve 0 = -p*f - 3*f - 12 for f.
-4
Suppose 2*a - 2*r = 14, 3 = 3*a + r - 6. Solve 4 = -n + a for n.
0
Let t(i) = -i**3 + 5*i**2 - 7*i + 7. Let s be t(3). Solve -5*o + 9 = s for o.
1
Let w be 486/72 - 6/8. Suppose -v - w*v = -560. Suppose 5*u - 4*c - v = 0, -4*u = -3*c - 9 - 56. Solve 0 = -0*x + 5*x + u for x.
-4
Suppose 6*w - 358 = 5*w. Let q = 194 - w. Let n be 4/14 + q/(-14). Solve 2*f = -f - n for f.
-4
Let x be (-12)/(-21)*(8 - 1). Solve 2*v = x*v + 6 for v.
-3
Let t = -29 + 33. Suppose 4*o = m + 2, -m = 4*o - t*m - 6. Solve 0 = -f - o*f for f.
0
Suppose -4*p + 13 + 40 = y, 5*y - 31 = -2*p. Solve -4*d + p*d = 10*d for d.
0
Let w(o) = -o**3 + o. Let y be w(1). Let h be 1/((-42)/44 - -1). Let i = h + -22. Solve i = -y*q + 4*q for q.
0
Let r = -55 + 60. Let s be 20/6*(r + 48/(-15)). Solve 5*i - 4 = s for i.
2
Suppose r = 1 + 1. Suppose 4*a + 3*k - 1 = 0, -3*a = 2*a - 3*k - 35. Suppose a*f - 3*f = 0. Solve r*y + 3 - 1 = f for y.
-1
Let x(f) = -40*f - 56. Let k be x(-2). Solve 10*i - k = 18*i for i.
-3
Let c be -1 - ((-36)/(-15))/(26/(-65)). Suppose 6 = 5*a - 3*a. Solve a*r + c = -2*r for r.
-1
Let s be 8/(-40) + (-2)/(-10). Suppose 3*w - 5*w + 10 = s. Suppose -2*l - 10 - 5 = -3*n, 4*n - 5*l = 13. Solve w*r + n = -8 for r.
-3
Let a be (-2)/(-3) - 30/45. Suppose -2*o + 11 = 3*f, a = -4*f - o - 2*o + 14. Solve f*m + 36 = 11 for m.
-5
Suppose 29*u = 33*u - 72. Suppose 0*z + z + 22 = 5*j, -u = -4*j + z. Solve 3*k + 3 = j*k for k.
3
Let w be (-1 - -6) + 6/3. Suppose -4*s = 4*k - 4, -4*s - 2*k = -5*s + 10. Suppose 2*j + 7 = -3*a, -5*a = s*j - 0*j + 15. Solve a + w = -2*l for l.
-4
Let a be 2 + 3 + 3/(-1). Let r be (3 - 0)/((-3)/4). Let z be r/10 - 4/(-10). Solve -a*s + 2 + 8 = z for s.
5
Let q = 85 + -55. Suppose 3*u + 0 - 30 = -2*b, 2*b - q = 3*u. Solve 5*k = 10 + b for k.
5
Let i(f) = -f**3 + 6*f**2 - 6*f + 12. Let z be (0 + 2)*2*35/28. Let g be i(z). Let s(q) = 9*q**2 - q + 1. Let c be s(1). Solve g*a = 4*a + c for a.
3
Let a(i) = -i**3 - 7*i**2 + 4. Let y be a(-6). Let d = -30 - y. Solve 20 = d*w + 2*w for w.
5
Suppose 2*h + 5 = -5*d, 9 = -4*h - 3*d + 6. Solve h = 52*f - 53*f + 4 for f.
4
Let o(h) = -h**3 - 3*h**2 + 4*h. Let b be o(-4). Let y = 2 + b. Let i be (-1 - y) + 3 - 0. Solve -l + i = 3 for l.
-3
Let a be (2 - 1) + 1/(-1). Let g = -4 - a. Let q(d) = -2*d - 6. Let y be q(g). Solve y*l = -2*l + 4 for l.
1
Let w(g) = g + 22. Suppose 3*h = 4*o - 46, -h - 5*o = h. Let f be w(h). Suppose -3*p + f = 4*c, 2*c - 3*p + p = 20. Solve 0 = 3*i - c*i + 3 for i.
1
Suppose -15*a + 81 = -6*a. Solve 3*p - a*p - 30 = 0 for p.
-5
Let v be 12/((-4)/(-24)*3). Suppose -3*a + v = a. Solve -2*k = -a*k - 16 for k.
-4
Let h = -3 - -29. Let t = h - 24. Solve 3*d