-5*m - 2 for m.
-1
Let n(y) = -y**2 + 10*y - 6. Let c be n(6). Let k be 4/(-16) - c/(-8). Solve 0 = 2*h + 4 + k for h.
-3
Let a be (-1)/(-1) + 0/(-5). Solve 6 - a = 5*p for p.
1
Let x(j) = -2*j + 20. Let a be x(9). Solve -3*r - a*r + 5 = 0 for r.
1
Suppose 0 = 4*a - 2*a - 36. Solve -3*x + 6 - a = 0 for x.
-4
Let a(w) = w - 14. Let t be a(14). Solve -2*l = -t*l for l.
0
Suppose u + 2*u = 0. Solve -d + u = -5 for d.
5
Let l(v) = 2*v - 1. Let g be l(3). Suppose 0*a + 40 = g*a. Suppose -x = -17 - a. Solve -x = 5*b - 5 for b.
-4
Suppose -4*r + 13 = 5*q, -q + 6 = 5*r - 5*q. Solve -7*w - 25 = -r*w for w.
-5
Let h(c) = -4*c - 1. Let w(f) = -2*f. Let n(i) = 2*h(i) - 5*w(i). Let d be n(4). Solve -3*y = -0 - d for y.
2
Let m = 42 - 40. Solve -m = d + 2 for d.
-4
Suppose -5*q + 1 = 2*d, -2*d - 6 = -2*q - 0*d. Let t be (-9)/(-9)*3*q. Let w = t - 0. Solve -5*y = -w*y for y.
0
Suppose q - 4*n + 0*n = 0, -2*n = q - 6. Suppose 4*y - 4*w + 5 - 1 = 0, -q*y + 2*w = -6. Solve -4 = y*x - 2*x for x.
-2
Suppose 3*u + 0*u - 6 = 0. Let y = u + -2. Solve 4*i + i - 5 = y for i.
1
Suppose 2*p + 12 = -2*z + 4, 2*p - 2*z = 8. Suppose p = -5*o + 44 + 16. Solve x - 4*x = -o for x.
4
Let m(c) = -2*c + 48. Let t be m(20). Solve -5*h + 12 = -t for h.
4
Suppose -4*y + 12 + 0 = 0. Suppose -31 = -4*l - y. Solve 16 = -3*n + l*n for n.
4
Suppose -2*a - a + 15 = 0. Solve 0 = d - a + 4 for d.
1
Let f be 22 + (4/(-10) - 16/10). Solve 6*g = g + f for g.
4
Let f(i) = -i**2 + 8*i + 33. Let a be f(11). Solve a = 2*s + 3*s for s.
0
Let o be (16/(-28))/(4/(-14)). Solve 0 = -4*r - 6 - o for r.
-2
Let w(n) = -n**2 - 5*n + 6. Let r be w(-7). Let t = -6 - r. Suppose 0 = -3*p - 12, -4*h + h + 5*p = -35. Solve -t*b + h = -3*b for b.
-5
Let n(k) = k**2 + k + 4. Let u be (-2)/3 + 4/6. Let h be n(u). Solve 2*o - h = 6 for o.
5
Let n(y) = -y**3 - 22*y**2 - 21*y. Let x be n(-21). Solve 3*o = -x*o for o.
0
Let u = 2 + 2. Let z(x) = x - 4. Let o be z(7). Solve -o*y = 5 + u for y.
-3
Let g = -9 + 11. Solve -2 - g = 2*k for k.
-2
Let o(w) = -2*w - 9. Suppose -3*k - 26 = -2*b, 5*b + 2 = -4*k - 2. Let i be o(k). Suppose -4*s - q + 4 = -4, 2*s - q = 4. Solve -s = -i*p + p for p.
1
Let s(l) = 3*l + 11. Let a be s(-2). Solve -a*c + 3*c = 4 for c.
-2
Let a = 22 + -20. Suppose -5*x - 75 = -6*j + j, -a*j - 3*x = -15. Solve -3*m + 6*m = -j for m.
-4
Let m = -1 + 5. Suppose -15 = m*j + 5*f, -3*j - 4*f - 6 = 6. Suppose j*i - i = -4. Solve -i*a = 7 - 27 for a.
5
Let x be ((-4)/(-16))/((-1)/(-52)). Suppose -x*d = -9*d - 44. Solve -2*h + d = 1 for h.
5
Let t(w) = 3*w**2 - w - 5. Let k(g) = 7*g**2 - 2*g - 11. Let j(o) = 2*k(o) - 5*t(o). Let i be 2 + 5/((-5)/2). Let l be j(i). Solve -10 = q - l*q for q.
5
Let r = 7 + -5. Let u be (-1)/(-4) - (-114)/(-8). Let i be (-7)/u + (-1)/(-2). Solve r*y = 9 + i for y.
5
Suppose -2*j = -j + j. Suppose 0 = -s + 9 - 3. Solve j = 4*l - 2 - s for l.
2
Let v = 16 - 12. Solve 0 = 5*x + v + 21 for x.
-5
Let d(u) = -2*u**2 + 9*u + 1. Let q(z) be the third derivative of -z**4/24 - z**3/6 - z**2. Let i(p) = -d(p) - 6*q(p). Let j be i(4). Solve j = 2*b - 7*b for b.
-5
Suppose 16 = -4*x + 4*q + 72, -5*q = -2*x + 22. Solve 3*r - x = -r for r.
4
Let w = 51 + -49. Solve -5*b + w = -3*b for b.
1
Let v(z) = -1. Let s(o) = o**2 + 7*o + 2. Let d(q) = s(q) - 6*v(q). Let g be d(-6). Solve -2*f = g*f - 4 for f.
1
Suppose 4*v - 2*y = 56, 0 = 5*v + y - 22 - 34. Let w = -12 + v. Solve -h + w = 5 for h.
-5
Suppose 5*f - 3*f - 28 = 0. Suppose -8 = 2*s - f. Solve 4*a - a + s = 0 for a.
-1
Let j = 6 + -4. Solve y - j = -3 for y.
-1
Suppose y - 4 = -4*b, 9*b - 11 = -2*y + 4*b. Solve -4*d + 0*d - y = 0 for d.
-2
Suppose -10 = 8*o - 50. Solve 24 + 1 = o*x for x.
5
Suppose 0 = 3*m - 2*m. Solve -5*z - 13 + 3 = m for z.
-2
Let a(o) = 9 + o**2 + 27*o - 27*o. Let b be a(-4). Solve -5*m + b = -0 for m.
5
Let v be (-1 + 2/4)*0. Let u be 0*-2*(-4)/16. Solve u*m - 2*m + 2 = v for m.
1
Let j be (-5)/(-20) - 76/(-16). Solve 16 = j*r - 4 for r.
4
Let s = -1 + 7. Let i be 7/2 + 3/s. Suppose 2 = c, -5*o = i*c + 11 - 34. Solve -l + 12 = o*l for l.
3
Let u = 6 - 3. Suppose u*g = 8*g. Let j be (10/6)/((-1)/(-3)). Solve g = -0*f + 5*f + j for f.
-1
Suppose -3*h + 0*c = 5*c - 37, 2*c - 18 = -2*h. Suppose 3*i - 5*i = -h. Let z(p) = -p**3 + 3*p**2 - p + 1. Let w be z(2). Solve -w = -3*d + i*d for d.
3
Let s = -6 + 15. Suppose -b - s = -2*g, 3*g = -b + 9 + 7. Solve 3*k = g*k + 4 for k.
-2
Let d = 10 + -8. Solve -d*g - 2 = -0 for g.
-1
Let y = -4 + 11. Suppose -3*d = -2 - y. Suppose o - 2*m + d = -4*o, -m + 5 = o. Solve -u - 4 - o = 0 for u.
-5
Suppose -j + 0*j + 3*b + 9 = 0, -5 = -j + b. Let c(f) = f**2 - 12*f + 3. Let d be c(10). Let o = 18 + d. Solve 0 = -j*i + 7 - o for i.
2
Let x(a) = 2*a**2 - 12*a. Let o be x(6). Solve 0 = -3*r - o*r - 15 for r.
-5
Let h be (1 + 2/6)/(22/99). Solve h = -0*c + 3*c for c.
2
Let o(g) = 1 - g - 2 - 2 + 1. Let k be o(-2). Solve k*d = -d for d.
0
Let r = 8 + -5. Let q be (-2)/3 + 16/6. Suppose m = q + 6. Solve -s + m = r*s for s.
2
Suppose 4*c = 5*c - 16. Solve 0 = 5*z + c - 1 for z.
-3
Let j = -3 + 4. Let m = 2 + j. Solve w = -2*w + m for w.
1
Let v be ((-6)/4)/(1/(-2)). Let s(g) = 3*g + 20. Let z be s(-6). Solve -v*w = z*w for w.
0
Suppose 4*r = -2*r. Solve -a = -r*a for a.
0
Suppose -2*t + 53 = 49. Let k(u) = -u**2 - 2*u + 1. Let w be k(1). Let m(r) = r**3 + 3*r**2 + r. Let n be m(w). Solve n*c = -t*c + 4 for c.
1
Let r(s) = 9*s - 1 + 0*s - 10*s. Let a be r(-4). Solve n - a = -2 for n.
1
Let g be (-2 - -2)/((-8)/(-4)). Solve g*j = -j for j.
0
Suppose 5*i = -2*p + 4, -2*p + 3*p = 4*i + 2. Let j be (15/3 - 2) + p. Solve -6 = j*y + 4 for y.
-2
Suppose -u = 2*u - 24. Let a = -9 + u. Let g be (-25)/(-15) - a/3. Solve k = g*k - 2 for k.
2
Let f be 8 + -2 + (-14)/7. Solve -j - j = f for j.
-2
Let c be 1 + (-3)/(-4 - -1). Let v(f) = -f**3 + f**2 + 2*f. Let q be v(2). Suppose -2*x + 6*y = y + 7, q = -3*x + 4*y. Solve -c*g - x = 2*g for g.
-1
Suppose -5 - 11 = -4*b. Suppose h = -3*d + 24, 0*d + 3*d = -4*h + 69. Suppose 5*l + 5*z + 15 = 0, 6*z + h = z. Solve l*n = -b*n for n.
0
Suppose c - 2*c + 5 = 0. Suppose -c*d + 118 + 67 = 0. Suppose -13 + d = 3*t. Solve -4*z + t = -2*z for z.
4
Let h be (-160)/(-48) - 4/(-6). Solve -h = -4*d - 12 for d.
-2
Let f(s) = -s**3 - s**2 + s + 12. Suppose 3*q - d = 0, 0 = -6*q + 2*q + 4*d. Let g be f(q). Solve 0 = -5*w - 8 - g for w.
-4
Let q be (-6)/(-3) + (-4)/(-2). Suppose 2*t = q*t + 4*u - 28, t + 5*u = 11. Solve 0 = -5*p - t - 4 for p.
-4
Suppose -5*g + 6 = -5*b + 3*b, -4*b + 3*g + 2 = 0. Solve -b*c - 1 + 7 = 0 for c.
3
Let f be (-2)/2 - 4/(-4). Solve -1 = -n - f*n for n.
1
Suppose -5*y + 41 = 1. Let x = -8 + -4. Let g be (-1 + 3)*x/(-8). Solve 0 = g*i - 5*i + y for i.
4
Suppose 6*s - 3*s = 24. Let h(b) = -b + 8. Let q be h(s). Let i = 3 + 1. Solve 2*z - i*z + 6 = q for z.
3
Suppose -1 - 2 = 4*z + r, -z = 4*r + 12. Solve -b + 3 + 0 = z for b.
3
Let k be -5*2/((9 - 4)*-1). Solve 0 = k*h + 3*h - 10 for h.
2
Suppose 0 = 3*o + 2*o. Let n be o*3/(18/3). Suppose n = -3*t - 4*b + 18, -4 - 8 = -2*t - 4*b. Solve t + 0 = 3*f for f.
2
Let b(r) = r + 14. Let z(v) = -22*v + 1. Let a be z(1). Let q = a + 15. Let w be b(q). Solve -2 = -3*d - w for d.
-2
Let k(g) = g**2 - 1. Let c(b) = 8*b**2 + b - 3. Let t(f) = c(f) - 4*k(f). Let n be t(3). Suppose -n = i - 3*i. Solve -3*d + 8*d - i = 0 for d.
4
Let s(h) = 21*h**2 - 2*h + 1. Let v be s(1). Suppose -5*x = 5*q - 40, -5*x - q + v = -0*q. Solve x = -0*o - o for o.
-3
Suppose 33 = -3*j + 24. Let s(u) be the third derivative of -u**4/24 + u**3/3 + u**2. Let m be s(j). Solve f + 0*f = m for f.
5
Let i(l) = -l**3 + 11*l**2. Let s be i(11). Solve s*t - 2*t = 10 for t.
-5
Suppose f + 3 = 2*z + 2, -3*z = 3*f - 6. Let y(x) = x**3 + 2*x**2 - x. Let i be y(z). Let p be 24/16 + 21/i. Solve 0 = 2*l + l - p for l.
4
Suppose 0 = 3*y + 9, 7*y - 2*y - 1 = -4*c. Let f be (2 - -18)/c - 3. Solve -f*p - 4 = -p for p.
-4
Let s(i) = i**2 - 3*i + 6. Let j be s(4). Let p = j - 10. Suppose p = -3*k + 4*k - 3. Solve -3*t = -k - 0 for t.
1
Let a = 7 + -12. Let q(p) = p**3 + 6*p**2 + 5*p + 1. Let b be q(a). Solve -3*f + b = -4*f for f.
-1
Let c = -255 - -258. Suppose -20 = d - 5*u, 2*u = 2*d - 2*u + 16. Suppose d = k + k - 4. Solve -k = c*w - 2*w for w.
-2
Suppose 2*y