0 = m + 2*m - r for m.
4
Let o = 0 - -21. Let j be 36/o - (-6)/21. Solve -s = -6 + j for s.
4
Let p = -20 - -12. Let v be 19/(-7) + p/28. Let j be 10 + v + 4 + -2. Solve -4*f = -f - j for f.
3
Let f(p) = 2*p**2 - 3*p + 1. Suppose 11 = -2*c + 3*c. Suppose d - 3*b = -3*d + 5, 3*d - c = -5*b. Let q be f(d). Solve q*j - 9 = -0*j for j.
3
Let s = 0 + -2. Let n be 2*(s + (-14)/(-4)). Suppose n*o + 0*o = 30. Solve o = -4*r + 2 for r.
-2
Let f(q) = 2*q**3 + 3*q**2 - 3*q**3 - 3*q**3 + 5*q**3 + 1 - 5*q. Let r be f(-4). Let k be (-23)/(-2*2/4). Solve r*o + k = 3 for o.
-4
Suppose 0 = -d - 3*d + 12. Let v = -1 + d. Solve -2 = j + v for j.
-4
Suppose 0*z + 9 = 2*g - z, -4 = -2*g - 4*z. Let n(t) = 2*t**2 + 2*t**3 - 4*t + g + t - t**3. Let h be n(-3). Solve h*a - a - 9 = 0 for a.
3
Suppose 5*r + 36 = -2*f + 9, -2*f - 9 = -r. Suppose -15 - 95 = -5*v. Let j = f + v. Solve 4*z - j + 4 = 0 for z.
3
Let m(v) = -7*v - 9 + 4*v + 4*v. Let y be m(12). Solve y = 2*q - 1 for q.
2
Let g(m) = -m + 16. Let t be g(16). Solve 1 = -q - t*q for q.
-1
Let i(m) = m. Let z(v) = v**2 - 6*v. Let f(h) = 4*i(h) + z(h). Let x be f(2). Solve x = -t - t for t.
0
Let p(x) = x**2 - 7*x + 1. Suppose -2*j = 1 - 11. Let z be p(j). Let c(w) = -w**2 - 8*w + 12. Let y be c(z). Solve -4 + 1 = -y*k for k.
1
Let c(f) = -2*f**3 - 5*f**2 + 4*f + 2. Let o be 6*2*1/(-3). Let h be c(o). Suppose 6*z = z - 2*d + 47, h = 4*z - 2*d. Solve z = -3*q + 3 for q.
-2
Suppose -h - 2 = -2*h. Suppose -3*s = -h - 1. Solve -4*f - s = -9 for f.
2
Let i(l) = -3*l - 28. Let z be i(-11). Solve -z*r + 4*r = 0 for r.
0
Suppose -2*a = g + 3*a + 13, -51 = -3*g + 3*a. Solve -3*y = y - g for y.
3
Suppose -4*y - 12 = -7*y. Solve -y*i - 3 - 1 = 0 for i.
-1
Suppose 5*a - 37 - 68 = -4*y, 4*a + 121 = 5*y. Suppose 4*m = 3*c + y, 3*c = 3*m - 2*c - 16. Solve 3*z - 8 = m for z.
5
Suppose -2*g + 14 = 4. Suppose 0 = 4*i - 3*s + g, s + 2 = 2*i + 3*i. Solve -2*r + 3 = -i for r.
2
Suppose -6 = -3*d - 0. Suppose -3*i = -4*y, -d*y + 18 = 2*i + i. Solve i*g = 7 - 23 for g.
-4
Let m(o) = 2*o + 1. Let n be m(-2). Let j = n + 5. Let q(b) = 3*b - 3. Let v be q(j). Solve 7 = 2*i - v for i.
5
Let w = -8 + 14. Solve -2*r = -0 - w for r.
3
Let r = -40 + 40. Solve 3*s = -r*s + 9 for s.
3
Suppose 4 = -4*g + o + 3*o, -3*o + 1 = -4*g. Suppose -3*k - 10 = g*k - 2*i, -5 = -3*k - i. Solve 4*c + k - 4 = 0 for c.
1
Let r = -3 + 2. Let y be (5 - r)/(-2) - -8. Solve 7*f + y = 2*f for f.
-1
Let x be -4 - (2 + 3)*-3. Solve 5*c = 14 + x for c.
5
Let v(y) = -1. Let i(w) = -w - 7. Let k(g) = i(g) - 6*v(g). Let c be k(-5). Solve -c = -o - o for o.
2
Suppose -13 = -u - 8. Let b be 2/7*(u + 2). Solve 0 = -b*n - 0*n for n.
0
Let z be (-30)/9*3/(-2). Suppose 3*g + z = -16. Let j(c) = c**2 + 4*c - 4. Let r be j(g). Solve -5*x - 3 - r = 0 for x.
-4
Let w = 20 - 9. Suppose w = 5*f - 14. Suppose 4*r - 3*r - 8 = 0. Solve f*u - r = u for u.
2
Let u(f) = -20*f - 1. Let t be u(1). Suppose 29 = -3*v + 2. Let d = v - t. Solve l = -2*l - d for l.
-4
Suppose 10*h - 54 = 4*h. Solve 6 - h = -m for m.
3
Let r(w) = -w**3 - 2*w**2 + 2*w + 1. Let m be r(-3). Solve -m*l = -0*l for l.
0
Suppose -2*l = -4*l. Solve -3*m + 2*m + 4 = l for m.
4
Let l = 138 + -135. Solve -l*s = -s for s.
0
Let a be 0*3/24*-2. Solve v = -a*v - 3 for v.
-3
Let z be 4/6 + (-20)/(-6). Suppose z*s - 9 = -5*d, -2*s - 5*d + 4 = -3*s. Solve -4 - s = -5*u for u.
1
Suppose -39 = -4*y - 7. Let t = 14 - y. Solve r = t*r + 5 for r.
-1
Suppose -6*p = -p + 9*p. Solve p = -2*n + 7*n + 5 for n.
-1
Let c(z) = -z + 5. Let b be 13/3 + 40/(-30). Let w be c(b). Solve 0*h + 10 = w*h for h.
5
Let m(s) = s**3 + 16*s**2 + 18*s + 22. Let b be m(-15). Let x = b - -43. Solve -5 = -5*c + x for c.
5
Suppose 0*b - 2*b = 2. Let r = 20 + b. Suppose -r + 119 = 5*g. Solve -g = 4*p - 8 for p.
-3
Suppose -14 = -3*x + 5*m, 3*x + 3*m = m - 14. Let i be 0 + -1 - 4*x. Let r(c) = 5*c + 2. Let u be r(0). Solve u*t - 3 - i = 0 for t.
5
Let a = 12 + -9. Solve 0*q - a = -q for q.
3
Let l(t) = 3*t**3 - t**3 + 2*t - t**3 + 7 - 3*t. Let j be l(0). Solve -4*s = -j*s + 12 for s.
4
Suppose -2*y = 2*t - 4, 0*y - 2*y - 5*t = 2. Suppose -k = -5*g + 1 - 4, 0 = -4*g - 3*k + 9. Suppose g = -b - 3*b + 8. Solve -y = b*d - 14 for d.
5
Let a be (-2)/(-3) + (-140)/(-6). Suppose 0*j - 4*j + a = 0. Let w = 11 - j. Solve v = w*v for v.
0
Let n be ((-155)/124)/(1*2/(-8)). Solve 2*v - n*v + 12 = 0 for v.
4
Let f(z) = -z**3 + 10*z**2 + 25*z - 12. Let w be f(12). Solve -5*r = -w*r + 15 for r.
-3
Suppose 2*b = -v + 6, 4*b = v - 5*v + 20. Suppose -9 = -y - v. Suppose y*x - 10 = j - 3*j, -3*x - 3 = 3*j. Solve -5*o + 4*o = x for o.
-4
Let c be 340/14 + 4/(-14). Let h = -11 + c. Let j = 21 - h. Solve 0*z + 2*z = j for z.
4
Let r = 50 + -50. Solve r*k + 16 = -4*k for k.
-4
Suppose 0 = 3*u - 4*o + 11, -5*u + 14 + 26 = 5*o. Suppose -2*m - r = 0, u*m - 7*m + 24 = -4*r. Solve 0 = -m*p + p + 5 for p.
5
Let b(w) = -2*w - 1. Let l be b(-6). Suppose -7*c + l + 17 = 0. Solve q + 0 = -c for q.
-4
Let n = 1 + -1. Let v(h) = -6*h + 15. Let g be v(2). Solve n = 2*t + 3 + g for t.
-3
Let w = 31 + -11. Suppose 2*n = -3*n + w. Solve 0 = d - 3*d + n for d.
2
Suppose -23*f - 10 = -56. Solve 3*h = f*h for h.
0
Suppose -3*i = -3*y, 4*i + 4 = -5*y + 13. Solve i = -2*d + 7 for d.
3
Let u(w) = -3 + 3*w**3 - 2*w + 2*w**3 + 4 + 2*w**2 - 2*w**3. Let c be u(1). Solve -20 = 4*a - c for a.
-4
Let c = -6 + 6. Suppose c = -r + 4. Let q = 8 - r. Solve l + q*l = 25 for l.
5
Suppose -3*j = -8 - 1. Suppose -2*c + 4*f + 10 = -c, 0 = -j*c + 4*f + 14. Solve r = c*r - 2 for r.
2
Let p = 20 - 28. Let d = -5 - p. Let i = -3 + d. Solve -n = -i*n for n.
0
Suppose 2*q = 2*u + 8, 0 = -5*q - u + 21 - 7. Solve 1 + q = 2*w for w.
2
Suppose i = -d - 2*i - 7, -4*d - 5*i = 0. Let h(q) = -q**3 + 6*q**2 - 6*q + 8. Let f be h(4). Suppose d*s = s + f. Solve 2 = s*g - 6 for g.
2
Let t(k) = -k**2 - 4*k + 4. Let l be t(-4). Let m be 3 - -6*4/(-8). Suppose m*u = -4*u. Solve -8*a + l*a - 8 = u for a.
-2
Let u be -9 + 7 - (-2 - 0). Suppose -5*p + 0*p + 45 = u. Solve -3*z - 24 = -p for z.
-5
Let o(k) = -k**3 - 9*k**2 - k - 8. Let j = 34 + -58. Let n = j - -15. Let q be o(n). Solve f = -0*f - q for f.
-1
Suppose -12 = -3*j - 3*a, 3*j = -0*a + 4*a + 5. Suppose -j*b = b. Solve b*m - 4 = m for m.
-4
Let k = -89 - -94. Solve 0 = k*t + 20 for t.
-4
Let s be 1/(1 + (-7)/8). Let k be (s - (3 + -1))/2. Suppose -x = 3*p + x, 2*p + 5*x = 0. Solve p = v + 6 - k for v.
-3
Let l be 0 - (-2 - ((-2 - 0) + 2)). Solve -l*z + 4 - 2 = 0 for z.
1
Let b be ((-3)/9)/((-2)/(-6)). Let o be (b/2 - -1)*2. Let a = 3 + o. Solve r + a = -0 for r.
-4
Let w(m) = -m**3 + 4*m**2 + 7*m - 3. Let c be w(5). Let n = -7 + c. Solve 0 = -n*p + 5*p for p.
0
Let u = 20 - 15. Solve u*o + 13 = 3 for o.
-2
Let q be (-21)/(-2) - 2/(-4). Let l(k) be the first derivative of -k**4/4 + k**3 + 3*k**2 - 6*k - 1. Let j be l(4). Solve j = -3*u + q for u.
3
Let u(b) = b - 6. Let n be u(6). Suppose l - 2*l + 1 = n. Suppose 15 = -y + 4*y. Solve 11 = y*o + l for o.
2
Let g(k) = k**3 + 2*k - 2. Let m(n) = 2*n**2 - 2*n**2 - 3*n + 1 - n**3. Let z(i) = -4*g(i) - 3*m(i). Let q be z(0). Solve 0 + 5 = q*a for a.
1
Suppose 2*h = -4 - 0. Let o be (-1)/(1*1/h). Solve o*z - 20 = 6*z for z.
-5
Let q(i) = -3*i + 8. Let w be q(2). Solve -5*m + w*m = -12 for m.
4
Let w(s) = s**3 + 6*s**2 - 8*s + 2. Let n(u) = 2*u + 5. Let q be n(-6). Let r be w(q). Let d be (-8)/(-1) - (-8 + 5). Solve -5*b - r = d for b.
-4
Let z(j) = j**3 - j**2 - 1. Let v be z(2). Let c be ((-100)/(-6))/(-5)*-3. Suppose -4*g - g + i + 25 = 0, 2*g - c = v*i. Solve 0 = -g*l - 8 + 28 for l.
4
Suppose 2*c + 8 = -2*c. Let x = c - -6. Suppose -x = d, 0 = 4*j - 2*d - 79 - 29. Solve b = 6*b + j for b.
-5
Suppose 7*z - 6*z = 0. Solve d - 6 + 4 = z for d.
2
Let x be 10/3*3/2. Suppose -x*o = -0*o. Let b(d) = -d**3 - d**2 + d. Let g be b(o). Solve -5*q + 0 + 10 = g for q.
2
Let u(i) be the first derivative of i**3/6 + i**2/2 - 2*i + 3. Let x(z) be the first derivative of u(z). Let s be x(7). Solve -7*f = -3*f - s for f.
2
Suppose -4 = -3*j + j. Suppose -6 = j*m - 5*o, 2*o = 3*m - 0*o - 2. Suppose -15 = -m*z - 5. Solve 0*n - z = -n for n.
5
Suppose 0 = -h - h + 4. Suppose 0 = -h*v - 4*b + 24, -b + 5*b - 36 = -5*v. Solve -w - v = -6 for w.
2
Suppose -5*v - 11 -