Solve 2*g + m = r for g.
2
Let x(m) = -m + 1. Let l(n) = -n**2 + 6*n - 5. Let o(f) = l(f) + 5*x(f). Let p be o(0). Solve -u + p*u + 1 = 0 for u.
1
Suppose 0 = -2*f - 2*f + r + 10, 5*f - 25 = -5*r. Let o(y) = y**2 + 5*y. Let l = 5 - 10. Let j be o(l). Solve f*h - 1 + 7 = j for h.
-2
Suppose -3*g - 3*h - 29 = 2*h, -g = -3*h - 9. Let p(u) = u**2 + u - 1. Let t be p(g). Suppose -t = -4*l + 3*k + 4, 2*k = -4*l - 6. Solve -3 + l = d for d.
-3
Let j = 1 + 1. Suppose 7*m = j*m. Let u be (0/(-2))/((-4)/2). Solve u = -3*t - m - 12 for t.
-4
Let v = -62 - -62. Solve 2*i + v = 8 for i.
4
Suppose 4*v + l = 47, v - 4*l - 19 = -3. Let u = -5 + 7. Let b be u - (-2 - (2 + -2)). Solve -i + v = -b*i for i.
-4
Let t(n) = -n**3 - 7*n**2 - 3. Let c be t(-7). Let f = 1 - c. Let q be ((-10)/(-6))/(3/9). Solve -f = -q*p + 16 for p.
4
Suppose 2*u + 20 - 28 = 0. Suppose -2*r - 4*k + 28 = 0, -u*r = -2*k + k - 29. Solve -4*j = -0*j - r for j.
2
Let c be (-11)/5 - (-3)/15. Let r be 38/14 - c/7. Solve -d - 2 = r for d.
-5
Let g be 2/8 + (-99)/(-36). Solve -11 = g*l - 8 for l.
-1
Suppose 0 = -c - 1, 2*u - 3*c + 6 = c. Let n be 282/(-42) + 4/(-14). Let f = u - n. Solve -x = f*x for x.
0
Let h be 1/(-1 + (-3)/(-2)). Let i be (h/(-4))/(1/(-6)). Suppose 5*j = i*j + 8. Solve -j*r = -5*r + 1 for r.
1
Suppose -2*x = -15 - 3. Suppose 2*k + 2*k + x = p, 2*k = -4*p. Suppose -4*t + p = -11. Solve 0 = a + 1 + t for a.
-4
Let o be (2/3)/((-10)/(-15)). Suppose 5*l - o - 74 = 0. Solve l = -5*y - 5 for y.
-4
Let r(p) be the first derivative of -p**3/3 - 7*p**2/2 - 4*p + 2. Let c be r(-3). Let m = -4 + c. Solve m*t + 0*t - 16 = 0 for t.
4
Let z be 6/2 + (2 - 15). Let h(t) = -t**3 - 10*t**2 - t - 6. Let o be h(z). Solve 0 - o = -4*d for d.
1
Let z be (12/9)/(4/6). Let a(m) = -m**2 - 3*m**z - m**3 + 0*m**2 - 5*m - 3. Let o be a(-3). Solve 0 = -o*d + 4*d for d.
0
Let h be ((-2 + 2)/(-1))/1. Let u = h - -2. Suppose 3*f + 2*t = -t + 12, 2*f = 4*t - 4. Solve -f*b + 0 = u for b.
-1
Suppose 99 = 4*o - 1. Let i = o + -22. Solve -4*x = -x - i for x.
1
Let y(a) be the third derivative of -a**4/8 - a**3/2 - 4*a**2. Let i be y(-3). Solve -4*c - 10 = i for c.
-4
Let a be 4 + (0 + 1 - 2). Suppose o = -3*k + 1, -3*o - 3*k - 1 = -4*o. Solve -u - o = a for u.
-4
Let w = 21 + -18. Solve -w*o = o for o.
0
Suppose -2*p = -b - 6 - 0, 8 = 4*b. Let n(a) = -a**3 - 8*a**2 - 2*a + 5. Let k be n(-7). Let g be (-20)/k*(-1 - -4). Solve -p*q = -6 + g for q.
1
Let q(p) = -p + 3. Suppose -3*t = -5*t. Let x be q(t). Let h be ((3 - 2) + -1)/(-2). Solve h = 5*w - 7 - x for w.
2
Let n be -1 + (-4)/(-4) - -13 - 1. Solve 0 = -2*m + 5*m - n for m.
4
Let l = 22 + -14. Let f(y) = -y**3. Let d be f(0). Suppose d = -z + 3*z. Solve z = -0*i - 2*i + l for i.
4
Suppose u = -0*u + 1. Solve -3*b - 13 = -u for b.
-4
Suppose 20 = -4*d - 4. Let r = d + 11. Suppose c - 6*c + r = 0. Solve p = -0 + c for p.
1
Let n(h) = -2*h - 6. Let f(g) = -g. Let w(k) = -3*f(k) + n(k). Let m be w(11). Solve x + 0 + m = 0 for x.
-5
Let p(q) = 0*q - 1 - 3*q - 2. Let x(c) = -c**3 + 12*c**2 - 12*c + 6. Let z be x(11). Let v be p(z). Solve -2*l + 5*l - v = 0 for l.
4
Let t be (-6)/(-4) + (-3)/(-6). Solve -12 = -t*f + 5*f for f.
-4
Let l = 16 + -9. Suppose l = -2*v - 5*k, -2*v - 2*k = k + 1. Solve 2 = 2*s + v for s.
-1
Let j(w) = 2*w + 10. Let u be j(-3). Solve -u*x - 8 + 4 = 0 for x.
-1
Let h(y) = -y**2 - 4*y + 7. Let c be h(-5). Suppose 6 = 3*n - 5*m, 2*m = n + 6*m - c. Solve -d = -n*d for d.
0
Let z = -5 + 8. Suppose -4*u + 30 = u + 4*h, 25 = 5*u + z*h. Suppose -g + 7 = 5*o, 11 = g + u*g + 5*o. Solve g*w = 6*w - 16 for w.
4
Let s be (3/1 - 1) + 7. Let i be 15/10*20/6. Suppose 6*k = i*k. Solve -2*l - l + s = k for l.
3
Suppose s + 18 = -3*s - 2*l, 3*l = -2*s - 3. Let x be ((-96)/40)/(s/20). Solve 0 = 3*i - x*i - 5 for i.
-1
Let z(n) = -n**3 - 3*n**2 + 4. Let v be z(-3). Suppose v*j + 26 = 2. Let k be (6 - 5)/((-2)/j). Solve y = 2*y - k for y.
3
Suppose 3*h + 5*m - 1 = 0, -5*h = -3*m - 19 + 6. Suppose -p + 1 = -h. Solve -8 = p*t - t for t.
-4
Let y = -6 - -11. Let r(l) = l**2 - 5*l + 5. Let u be r(y). Let z be 2/5 + 16/10. Solve z + 13 = -u*m for m.
-3
Let t be (-2)/(-7) + (-66)/(-14). Suppose -2*o + 11 = -t. Let r(z) = z**3 + z**2 + z + 1. Let c be r(-1). Solve c*i = -4*i - o for i.
-2
Suppose 5 - 2 = u. Solve -2*x = -1 + u for x.
-1
Let h = -34 - -34. Solve h*a + 4*a = -20 for a.
-5
Let l(h) = h**3 + 4. Suppose -2*s - s = 0. Let j be l(s). Solve -2*k = -j*k - 2 for k.
-1
Let q(g) = g**3 - 3*g**2 - 6*g + 4. Let j be q(4). Let f = j - -5. Let u be 20 - (f - (1 + -2)). Solve -5*y = -3 + u for y.
-3
Suppose -s = -2*h + 2, -8 = -4*h + 3*h + 4*s. Solve h*i = -i for i.
0
Let i = 6 + -5. Solve q = i - 4 for q.
-3
Let o(d) = d. Let w be o(-9). Let j be (-14)/21 - 33/w. Solve 3 = j*x - 0 for x.
1
Suppose -2*l + 9 = 3*l - 3*f, 3*l - 3*f = 9. Suppose 0 = -5*i + 3*i. Solve y + i + 5 = l for y.
-5
Let b(p) = -p**2 + 7*p - 3. Let t be b(6). Suppose 16 = t*g + 1. Suppose -g*n + 1 = 3*d, 0*d + 3*d = -3*n - 3. Solve n = -y - y for y.
-1
Let a = -2 + 10. Suppose c = -5*j - 2, -3*c + a*c + 2*j = 13. Let b = 0 + 0. Solve b*x = 3*x - c for x.
1
Let i(r) = -r**2 + 7*r - 8. Let w be i(4). Let l = -3 + 3. Suppose -w*m = -l*m - 8. Solve 0 = m*n - 3*n + 2 for n.
2
Let r(f) = -2*f. Let p be r(-1). Solve 0 = p*d - 2 - 2 for d.
2
Let t = -20 + 35. Let h = -13 + t. Solve -h*m - m - 3 = 0 for m.
-1
Let l = 5 - -1. Suppose 10 = -2*d + 4*j, 4*j - 7 - l = d. Solve d = -2*p + 1 for p.
-1
Let y(g) = -12 - 6*g - 7*g - g**2 - g + 2*g**2. Let n be y(15). Solve -n*r = 2*r - 15 for r.
3
Let s(r) = r**2 + r - 1. Let x(u) = -u**3 - u**2 - u + 6. Let k(g) = -3*s(g) - x(g). Let l be k(3). Solve 12 = -3*i - l*i for i.
-4
Let s(o) = -o**2 + 15*o - 46. Let t be s(10). Solve t*i = 3*i + 3 for i.
3
Let a = -4 + 6. Let v be (-6)/(-4)*8/a. Solve 0 = -0*g - 2*g + v for g.
3
Let i be -4 + -3 + 2 - -4. Let r(u) = -u**3. Let y(p) = -3*p**3 - p**2 + 1. Let q(k) = 5*r(k) - y(k). Let l be q(i). Solve 0 + l = -m for m.
-2
Let i be (3/(-4))/((-1)/4). Solve -1 = x + i for x.
-4
Suppose -2*n = 2*v, -4*v + n - 3*n + 2 = 0. Solve -p = 4 - v for p.
-3
Let p be -4 - (-5 - -6) - -5. Solve t + 5 + 0 = p for t.
-5
Let j(d) = -11*d**2 + d - 14. Let s(w) = 4*w**2 + 5. Let o(n) = 3*j(n) + 8*s(n). Let t be o(2). Solve t = r + 4 - 2 for r.
-2
Let k(w) = -w + 6 - 15 + 0*w. Let p be k(-9). Suppose h + l + 4 = p, -3*h - 2*l = -0*l + 7. Solve 0*r = r - h for r.
1
Let m(f) = -f**3 - f**2 + 5*f + 4. Let k be m(-3). Suppose -b + 2*b = a + 3, b = 4. Let q be 4/5*(a + 4). Solve -23 + k = -q*o for o.
4
Let k(p) = -p**3 + 3*p**2 + 5*p + 2. Let f be k(4). Suppose 2*v - 6 - f = 0. Suppose -4*o - 3*b + 6*b = 6, 3*b - v = -5*o. Solve -5*r + 4 - 19 = o for r.
-3
Suppose -24 = -2*l + 4*b, 6*l - 36 = l + 4*b. Suppose 7*n = 2*n + 2*u + 75, -2*n + 30 = -l*u. Solve 0*t = 5*t - n for t.
3
Let d(t) = 3*t + 1. Let m be d(1). Solve 4*k + 4 = -m for k.
-2
Suppose 12 = 4*q - 8. Solve -q*c = -c for c.
0
Suppose -26*g + 19*g = 0. Solve -4*v - 8 - 8 = g for v.
-4
Let d = 7 - 5. Let j(k) = -2*k + 4*k - 6 + d*k. Let c be j(4). Solve 3*v = v + c for v.
5
Suppose -3*c + c = -18. Solve c = -l + 4 for l.
-5
Let u(j) = j**3 - 3*j**2 + 16. Let x be u(0). Solve 3*s = -s + x for s.
4
Suppose 4*a = 5*z - 4*z + 19, -4*z + 29 = 5*a. Let k be 1 + -1 + 1 + z. Let s be ((k - 1) + -1)/(-2). Solve 0 = i - s*i - 5 for i.
5
Suppose 5*c + 2*y - 27 = -y, 6 = -2*c + 3*y. Solve 5 = 2*o - c for o.
4
Let i(h) = -h. Let o be i(-5). Let b(x) = -x**2 + x - 18. Let n be b(0). Let p be 3/n*2*-33. Solve p = o*l - 4 for l.
3
Let x = 31 - 48. Let n = -15 - x. Solve -4*w + 10 = -n*w for w.
5
Let w(v) = v**2 + v - 2. Let i be w(-2). Solve -12*f + 16*f = i for f.
0
Let t be 1*(-4 + 3)*0. Suppose 0 + 15 = 5*h. Solve -2*u - h*u = t for u.
0
Let c = -36 + 56. Let t(s) = s**3 - 7*s**2 + 7*s - 5. Let o be t(6). Let b be 6/o - (-4)/(-2). Solve -i = b*i - c for i.
4
Suppose 2*m + 0*g = 2*g + 12, 0 = 5*g + 10. Solve 0*s = m*s + 8 for s.
-2
Let y(u) = u**3 - 6*u**2 + u - 7. Let x be y(6). Let l be 8 + -3*x/(-3). Solve -5*r = 2 - l for r.
1
Suppose -6*j = -0*j. Solve d + 4*d = j for d.
0
Suppose -3*l = -23*l + 20. Solve 3 = 2*p + l for p.
1
Let d be (-2)/6 + (-1)/(-3). Let j = 37 + -30. Solve 4*s + j - 27 = 