Solve -m + g = -3*c for c.
-1
Let q be (-1)/(-2)*(-2*50)/(-5). Solve -3*x - q - 5 = 0 for x.
-5
Suppose -6*v = -v - 40. Suppose u = -v*x + 3*x + 5, 3*x + u = 1. Solve p - x*p = 5 for p.
-5
Suppose 0*b - 2*b + 4*s = -4, -3*s = 3. Solve b = -4*x - 2 - 2 for x.
-1
Suppose 7*i - 3*i - 100 = 0. Solve -2*z = 3*z - i for z.
5
Let a = -9 - -19. Solve 0*p = 5*p + a for p.
-2
Let v(w) = 3*w**2 - 3*w + 4. Let l be (2 - -3)/((-5)/(-2)). Let q be v(l). Solve 2*z = 7*z + q for z.
-2
Let n(y) be the first derivative of y**2/2 - y - 3. Let u be n(6). Suppose 3 + 21 = 3*x. Solve -o - x = -u*o for o.
2
Let l = -4 - -9. Let q = -10 + 11. Solve 9 = -l*x - q for x.
-2
Let s(c) = -c**2 + 7*c - 10. Let a be s(5). Solve a = 3*k - 3 - 9 for k.
4
Suppose 5*d - 12 = 3. Let r(t) = t + 2. Let u be r(d). Solve u*n + 6 - 1 = 0 for n.
-1
Let q = -33 + 50. Suppose -q = -4*h + 15. Solve -5*r + 17 = -h for r.
5
Suppose 2*n - u - 4 = 0, 2*u + 8 = n + 4*n. Solve 0*c + 3*c + 6 = n for c.
-2
Let f(u) = 4*u**3 + 2*u**2 - 2*u + 1. Let d = -5 - -6. Let j be f(d). Suppose -5*w - 2*p + 37 + 14 = 0, j*w - 33 = 4*p. Solve -3*r = -0*r - w for r.
3
Let j(f) = f - 5. Let l be j(5). Suppose 16*v - 14*v = 4. Solve l*p + v*p = 10 for p.
5
Suppose 0 = g - 1 - 4. Suppose g*t = 2*t + 15. Let z be (0 - -1)*(t - 0). Solve -3*h + 10 = -z*h for h.
-5
Let c(h) = 4*h - 4. Let m be (8/(-6))/((-6)/9). Let j be c(m). Solve 0 = -2*r + j*r + 2 for r.
-1
Suppose i - 9 = 2*i. Let p be (i/3 - 2)*-5. Solve 4*l = -l + p for l.
5
Let v(k) = k**2 - 4*k - 3. Let w be v(3). Let h(f) = -f - 5. Let y be h(w). Solve -4*s = -17 + y for s.
4
Suppose 2*x + 4*j - 26 = 0, 0 = 3*x - 5*j + 2 - 8. Let w(f) = f**3 - 7*f**2 - f + 10. Let m be w(x). Solve -m*n - 8 = -n for n.
-4
Let q = 13 - 19. Let n be -3*4/q + -6. Let l(v) = -v. Let m be l(n). Solve -3*p - m = 2 for p.
-2
Let n(b) = -b**2 + 10*b - 5. Let c be n(9). Solve 7*i + 3 = c*i for i.
-1
Let v(z) = -z**3 + 4*z**2 + z. Suppose 4*p - 5*p + 11 = 0. Let d = 15 - p. Let r be v(d). Solve 0 = -r*x + x for x.
0
Let n(w) be the second derivative of -1/12*w**4 + 0 - 3*w**2 + 2*w + 7/6*w**3. Let a be n(5). Solve t = a*t - 6 for t.
2
Let h(f) = -f**2 + 8*f - 2. Let p be h(7). Solve -m - p = -0 for m.
-5
Let v = -3 + 5. Suppose -5*g = -t, -3*g - 2*t - 13 = -0*g. Let j be (5 + -6)/(g/v). Solve j*s = -s for s.
0
Suppose -4*l - 47 = -l + 2*k, 4*k = -5*l - 81. Let y = l + 14. Solve -j - 2 - y = 0 for j.
-3
Suppose 2*t - 7 = -1. Suppose t*i + 2*u - 25 = -3*u, 4*i + 5*u - 30 = 0. Let d be -4 + i - (0 - -1). Solve -4*b - 16 + 0 = d for b.
-4
Let z be 6/8 - (-84)/16. Suppose -4*q + z = -q. Suppose -3*c - q*c = -20. Solve i = 1 - c for i.
-3
Let k(d) = d**3 - 16*d**2 - 17*d + 20. Let f be k(17). Let i be ((-10)/f)/(2/(-12)). Solve -i*t + 1 = -5 for t.
2
Suppose 0 = -11*r - r + 14*r. Solve r*p = -p - 3 for p.
-3
Suppose 0 = 2*q + 3*q - 15. Suppose 4*w = -5*p + 26 + 3, -q*w + 3*p = -42. Solve w - 3 = -2*r for r.
-4
Suppose 2*p - 10 = -3*m + 3, -7 = -m - 2*p. Solve 5*l = -2 - m for l.
-1
Suppose 17 = 3*h - o, -4*h - 4*o - 3 - 1 = 0. Suppose 15 = -w + 5*j, -w = -0*w - 3*j + 9. Solve 2*y + h + w = 0 for y.
-2
Suppose v = p - 4*v - 20, 3 = -v. Suppose -4*s - 5*z = -11, -3*s + 0 + 8 = 4*z. Solve -s = a - p for a.
1
Let b be (19 - (-5 - 0)) + 1. Solve -8*x + b = -3*x for x.
5
Let k be -3 + (-6)/(-3) + 2/1. Solve -k + 7 = -2*t for t.
-3
Suppose 0 = 8*y - 7*y - 3. Suppose 0*v = -3*v. Solve q - y*q = v for q.
0
Let m be (-1)/2*4 - -14. Suppose -6*g = -2*g - m. Solve 0 = -2*t + g*t - 2 for t.
2
Let z = 23 - 19. Solve -5 + 1 = -z*p for p.
1
Let z = 5 + -1. Let w be z/1 + (-3 - -2). Solve -4*r = -r + w for r.
-1
Suppose -2*o - o = -4*o. Solve -3*b = 12 - o for b.
-4
Suppose -3*f - 5 = -4*j, -j - 5*f + 3*f = -4. Solve j - 22 = 4*w for w.
-5
Let w(c) = 5*c. Let g = 3 + -2. Let t be w(g). Suppose 2*o + 5*z = 18, -2*z = -2*o - 4*z + 24. Solve 1 = -t*m - o for m.
-3
Suppose g - 3 = 4*c, g - 1 = -2*c + 2. Suppose -g*j + 4 = -5. Suppose 3*m + j - 12 = 0. Solve m*w = -9 - 0 for w.
-3
Let w(j) = 3*j**2. Let c be w(1). Suppose 12*b = 10*b + 40. Suppose 2*h - b = -c*h. Solve i + 25 = -h*i for i.
-5
Let i = -158 - -158. Solve 2*m + 10 + i = 0 for m.
-5
Suppose -6*u + 5*u = 0. Suppose -2*i = -5*j + 11, -2*j + u*j + 4*i = -14. Solve -j - 4 = q for q.
-5
Let t be 2/9 - 75/(-27). Solve 0*l = -t*l - 12 for l.
-4
Let u be 0 - 3/(9/6). Let w be -6*(u/(-3) + -1). Solve -w*d - 5 + 13 = 0 for d.
4
Let d be (-3 + -5)*2/4. Let g be (-3)/4 - 3/d. Solve g*q + 16 = -4*q for q.
-4
Let l = 19 - 14. Let h = 0 - 3. Let p(j) = j + 4. Let o be p(h). Solve l*g - o = 4*g for g.
1
Suppose -4*h + 4 = -4*p, -2*p = -5*h + 2*h + 5. Solve 1 = p*c - 3 for c.
2
Suppose -3*b = -v + 4, v + 4*v = 3*b + 44. Let c = -2 + 1. Let l(p) = -p + 1. Let j be l(c). Solve 0 = -j*s - 0 + v for s.
5
Let j(b) = b**2 + 12*b + 16. Let o be j(-11). Suppose 0 = -v - o + 8. Solve 2 - 5 = v*n for n.
-1
Let o(l) = l**3 - 8*l**2 - 8*l - 2. Let j be o(9). Let q(b) = 17*b - 1. Let k be q(1). Suppose 4*g = -5*s - j, -2*g = -4*g + 4*s + k. Solve g*m = 1 + 1 for m.
1
Let k(j) be the first derivative of j**3/3 - 3*j**2/2 + 4*j + 2. Let i be k(3). Let m(o) = -o**2 + 5*o - 2. Let t be m(i). Solve -t*p = -2 - 2 for p.
2
Suppose 3*j = 6*j - 45. Solve 5*m = 40 - j for m.
5
Let b(f) = -f**2 + 12*f - 12. Suppose 0 = w + 2*z, -3*w + 5 = 3*z - 7. Let o be b(w). Suppose l - 6*l = -15. Solve -m + o = l*m for m.
5
Let b = -34 + 40. Solve x = b*x + 20 for x.
-4
Let t(o) = o - 1. Let j be t(6). Suppose -5*x = -5*k + j, -3*k + 0*k + 2 = -4*x. Suppose -5*h - 1 = -11. Solve -1 - x = -h*r for r.
1
Let w(q) = 3*q**3 + 10*q**2 + 7*q + 8. Let i(a) = -a**3 - 3*a**2 - 2*a - 3. Let v(y) = 8*i(y) + 3*w(y). Let u be v(-5). Solve -4*o - 4 + 0 = u for o.
-1
Let h(j) = -j**2 + 5*j - 4. Let c be h(3). Suppose -2*d + 11 = f + d, -c*f + 6 = -2*d. Let x = 42 - 27. Solve -x + 5 = -f*t for t.
2
Let v(i) = -i**3 - 8*i**2 - 10*i - 10. Let p be v(-7). Suppose -5*b = 2*x + p + 7, x = b + 5. Let u = 3 - x. Solve 0 = 5*w + 23 + u for w.
-5
Let h be 5*1/(-4)*4. Let r = 13 + h. Suppose 0 = 3*u - r - 1. Solve u*g = 2*g for g.
0
Let l(k) = -k**3 + 9*k**2 + 9*k + 10. Let z be l(10). Solve 4 = 4*d - z for d.
1
Suppose -20 = -2*i - 7*g + 4*g, -5*g + 16 = -i. Suppose -4*z - 4*v - 4 = v, i*z - 3*v = 28. Solve -f - 15 = z*f for f.
-3
Let o(x) = x**2 - 6*x. Let u be o(7). Suppose 5*g - u = 3. Solve 0 = -g*t + 2 - 6 for t.
-2
Suppose p - 5 = 3. Let h(r) = r**2 - 7*r - 6. Let z be h(p). Solve -z = 5*y - 12 for y.
2
Suppose -8*y + 4 = -6*y. Solve -y = 3*r + 1 for r.
-1
Let g(b) = b**3 + 6*b**2 - 2*b - 8. Suppose 4*q + 0*q = -24. Let i be g(q). Suppose i*c = -4 + 24. Solve c*f = f - 12 for f.
-3
Let o(d) = -d**2 + 11*d - 6. Let c be o(5). Suppose 5*t - c = t. Solve -5*g = -19 - t for g.
5
Let g(l) = -l + 13. Let m(v) = -v**2 + 8*v + 2. Let y be m(7). Let a be g(y). Solve r = -0*r + a for r.
4
Suppose -h = -2*h + 2. Let o(a) = a**2 - a. Let d be o(h). Suppose -1 - 7 = -d*j. Solve 4*g - 2*g = j for g.
2
Let c be ((-8)/2)/(6/6). Let b be (-60)/(-25)*(-10)/c. Let h be (b/8)/((-3)/(-12)). Solve h*o + 6 + 0 = 0 for o.
-2
Let g = 0 + 3. Suppose h - 3 = -2. Let p = g + h. Solve -3 = p*l - l for l.
-1
Suppose 4*g - 2*g + 21 = 3*t, 2*t + 5*g + 5 = 0. Solve 0*d - t*d = -5 for d.
1
Suppose -p = -4*k - 19 + 1, -3*p = -2*k - 14. Let y be ((k - -2) + 2)/2. Solve 2*x - 6 = -y*x for x.
3
Suppose 0*x + 2 = x. Suppose 0 = 4*z - x*n - 34, -2*n + 24 = 5*z - 5. Let r = z + -6. Solve 0 = u + r + 3 for u.
-4
Suppose 6 = 3*u - 0*u. Suppose 3*z - 4*g - 12 = 0, -u*z - g = 2*g + 9. Suppose 3 = i - 1. Solve z = i*o + o - 5 for o.
1
Suppose -19 - 6 = -5*k. Suppose -5*q = -k - 0. Let y be -10*1/q*-1. Solve 4*f - y = -f for f.
2
Suppose -3*k - 39 = -5*s, -4*s - 4*k - k + 9 = 0. Let v be (s/10)/(3/15). Solve 0 = 5*w + 2 + v for w.
-1
Let v = 7 - 4. Suppose -v*o = 0, -48 = -5*h + h + 4*o. Solve -5*c - h = -c for c.
-3
Suppose k + 2 = -5*t - 3*k, 5*k + 7 = -4*t. Let r be (t + 0 + -4)*-1. Solve s - 12 = -r*s for s.
4
Let u = 20 + -16. Let l be (-4)/6 - 64/(-6). Let h be (22 + 3)*8/l. Solve -u*c - 4 = -h for c.
4
Let r = -5 - -5. Let g = -6 + 8. Solve r = -g*a + 8 for a.
4
Let y be (3/6)/(3/12). Let t be (y/(-6))/((-5)/105). Let w(x) = -4*x - 3. Let s be w(-4). Sol