-2*m + 4*a = 20 for m.
-4
Let t(n) = n**3 - 4*n**2 + 3. Let x be t(4). Solve -3*o + 5*g + 3 = 0, -x*g = -5*o - 2*g + 5 for o.
1
Suppose -5*d + 6 = -3*d. Solve -6*y + d*y + 6 = 3*t, -5*y - 4*t = -8 for y.
0
Let g(n) = -n**2 - 10*n + 12. Let b be g(-11). Solve 1 + b = o - r, -6 = -o + 2*r for o.
-2
Let o(y) = -7*y + 10. Let x be o(1). Solve 4*c + 3*q + 8 = 4*q, -2*c = -x*q + 14 for c.
-1
Suppose -4*q + 11 + 13 = 0. Suppose -93 = -5*t + 3*v, 4*t - 4*v = v + 77. Suppose 3*w - 4*f - t = 0, 5*f = 3*w + 1 - 22. Solve 2*s + 5*u + w = -q, -2 = u for s.
1
Suppose 0 = 2*a - 4. Solve -a*k = -2*t + 14, 2 = 2*t + 5*k + 9 for t.
4
Suppose -5*f + 57 - 285 = 2*c, 342 = -3*c + 2*f. Let l be c/(-24) + (-3)/(-12). Solve -4*h - 2*d - 4 = 8, 5*h - l*d = 0 for h.
-2
Let b(c) = c**2 + 4*c + 3. Let y be b(-4). Let l be -2 + (0 + y - 1). Let w = l - -4. Solve f = -2*i - 2, -5*i + 3*f - w - 12 = 0 for i.
-2
Let p be (-3)/(-18) + 17/6. Solve 3*o + 2*k - 8 = 0, 2*k - 8 = -o + p*o for o.
0
Suppose -2*a = -3 + 1. Suppose -3*s - a = -16. Solve 2*y - 22 = b - 2*y, -b + s*y = 27 for b.
-2
Let t be (-33)/6*(-4)/2. Let q = -9 + t. Solve -u + 3*u = -q, 4*s + 5*u + 13 = 0 for s.
-2
Suppose 3*r + 5*h - 48 = 0, 5*r - 46 = -h + 4*h. Suppose -2*b = 4 - 0, 5*w - 2 = -4*b. Solve w*t = 4*t - p - r, 2*p + 14 = 2*t for t.
4
Suppose -4*s - i + 8 = 0, 0 = -s + 5*i + 21 + 2. Suppose 3*t + 3*o = 3 + 15, -5*t = s*o - 26. Solve 3*j = -t*l + 2*l - 3, -3*l = -2*j - 15 for l.
3
Let j = 19 - 17. Let w = 3 + j. Solve -w = -3*d + 5*v, 5*v + 0*v - 15 = -d for d.
5
Suppose 5*m + 1 = 4*j - 0*j, 3*j - 12 = 0. Solve 0 = 2*b - 4*f + f - m, 3*b = -4*f - 21 for b.
-3
Let d(l) = l + 2. Let i be d(0). Solve -20 = -5*z, 0 = -2*b - i*b - z + 8 for b.
1
Suppose -l = 2*l. Let a be (-38)/(-14) - (-2)/7. Suppose -a*t + t - 10 = l, -5*z + t = -160. Solve -6*n - 5*u - 40 = -n, 2*u = -5*n - z for n.
-5
Let g(i) = -i - i - 2*i**3 - 2*i**2 + 5*i + 2. Let b be 3/(-2) - (-2)/(-4). Let p be g(b). Solve -5*k = 2*x - 0*x + 35, -5 = p*k - 3*x for k.
-5
Suppose 2 + 2 = 4*u. Let w = 6 - u. Suppose 0*a = w*a - 15. Solve a*q = 2*z + z + 30, -3*q + 15 = 0 for z.
-5
Suppose 0*j - j = 2*n + 12, -3*j + 12 = 0. Let x(m) = -m + 3 - 10 + 3. Let k be x(n). Solve 0 = -z + 4*g + 11, -3*z + k*g + 12 = -g for z.
-1
Let y(t) = 35*t**2 - 1. Let b be y(1). Let v = b - 19. Suppose -4*u + 7*u = v. Solve -x = -2*a, 3 = -4*x - u*a + 29 for x.
4
Suppose -6*u = -2*u - 40. Let h = 15 - u. Solve -h*n = -25, -z - 4*z - 20 = -2*n for z.
-2
Suppose 4*j = -u + 191, j + 2*j - 3*u - 132 = 0. Let r be 4/18 + j/(-9). Let y(n) = -2*n - 5. Let p be y(r). Solve -i - 15 = -4*i - 3*s, p*i + 3*s = 17 for i.
1
Let q = 3 - -1. Suppose q*n + 17 = -k, k + k + 3*n + 9 = 0. Solve 5 = v + k*c, -13 = -3*v + c + 2 for v.
5
Suppose 4*h - 5*h + 22 = 0. Let f = -13 + h. Solve 3*p = -b + 3*b + f, -4*p - b = -12 for p.
3
Let t(a) = -3*a**3. Let w be t(-1). Suppose -3 = -w*f + 18. Let u = f + -3. Solve -u*q = -2*j + 3 + 1, 8 = 2*j for q.
1
Let r be (-81)/(-12) - 3/(-12). Suppose r = 4*q - 1. Solve 5*c + q*v + 17 + 9 = 0, 0 = -4*c + 5*v - 1 for c.
-4
Let v = 13 + -10. Suppose -v*y = -y - 8. Solve -y*l = -2*o + 24, -5*l = o + 4*o for o.
4
Let g be (24/9)/((-1)/(-3)). Suppose g*r - 15 = 3*r. Solve r*d - 4*l - 5 = 0, -2*d - 5*l = -6 - 5 for d.
3
Suppose 6 + 0 = -2*f, -3*n + 2*f + 60 = 0. Solve -q - 17 = 2*v + 2*v, -3*q - n = v for v.
-3
Let f be ((-6)/4)/(6/(-8)). Let t = 2 + f. Solve 2*k = t, 5*q + 0*k - 2*k + 4 = 0 for q.
0
Let l = 15 + -11. Suppose 0 = -l*r + 3*t - 4*t + 49, -5*t = 4*r - 37. Solve 2*d - r = 3*b, d + 6 = -4*b - 2*d for b.
-3
Suppose 3*p - 2*y = 0, -3*y = 4*p - 19 + 2. Solve -2*x + x + 11 = -2*o, 2*o + p*x = -2 for o.
-4
Suppose 0 = -5*s - 11 - 4. Let z(m) = m**2 + 3*m + 4. Let n be z(s). Solve -w - 1 = 4*i, -4*w = 2*i + n - 0 for w.
-1
Suppose -2*g + 5 = 21. Let k = g - -10. Solve 2*z + 16 = 2*i, k*z + 2*i + 24 = 6*i for z.
-4
Suppose 0 = -3*t + 7*t - 8. Suppose -2 = 5*m + t*b - 0, -1 = 5*m + b. Solve -u + 3*l = -5*u - 18, m = -2*l - 4 for u.
-3
Suppose -2*t = -0*q - 5*q - 24, 3*q + 2 = -5*t. Solve -4*j + t*o + 12 = 0, 0*j - 5*j + 2*o = -17 for j.
5
Suppose 5*j - 4*j = 3. Solve -5*x + 12 = l, -1 + 10 = -j*l for x.
3
Suppose 2*q - 3*x - 75 = 0, 0 = -3*q - 2*x - 5 + 150. Solve -2*r - 2*a = 2*r + 28, 5*r + q = -5*a for r.
-5
Suppose 0 = 3*d - 6*d + 78. Solve 0 = 5*x - s + d, 4*x + 8 = -s - 11 for x.
-5
Let b(k) = k**3 - 8*k**2 + k + 5. Let x be b(8). Solve -x = -n + 4*v, v - 4*v = -5*n + 14 for n.
1
Suppose -5*r + 2*m + 13 = -8, 2*r = -2*m + 14. Let k = 29 + -27. Solve -r*u - k*x = 18, -2*x + 6 = 4 for u.
-4
Let f = 32 + -28. Solve -2*u = 3*z, 5*u - 2*z + 11 = -f*z for u.
-3
Suppose -5*h = -3*k - 28, -4*k - 2 = -2*k. Solve -4*p = -h*g - 12, 12 - 3 = 3*p - 5*g for p.
3
Let i be 14/6 + (-1)/3. Let s = -2 + i. Suppose -3*a + s*a + 9 = 0. Solve 4*l = 3*t - 4 + 1, 0 = -a*t + 3*l for t.
-3
Let b(y) = -11*y**2 + 3*y - 19. Let x(w) = 5*w**2 - 2*w + 9. Let i(l) = 4*b(l) + 9*x(l). Let j be i(5). Solve 4*a + 3*f = 24, j*a - 2*f = -3*a + 1 for a.
3
Let n(h) = -7 - 6*h**2 + 1 + h**3 - 1 + h. Let u be n(6). Let k be (0 - u) + 42/2. Solve -4*s - 2*t = k, 0 = -0*s - 5*s - 2*t - 27 for s.
-5
Let p(l) = -l**3 + 6*l**2 + 9*l - 9. Suppose -10*h + 5*h + 35 = 0. Let z be p(h). Solve -t + 10 = 2*t - 5*x, -2*t + z = -5*x for t.
5
Let i(n) = -n - 12. Let x be i(-22). Solve -4*l - 4*z = 6 + 14, 2*l + x = -z for l.
-5
Let l = -6 + 9. Suppose 2 = -l*a + 4*a. Suppose n + a*n = 15. Solve t - 3*t = n*b - 31, 3*b = 15 for t.
3
Let n be 6/2*-1 + 10. Solve 0 = -3*w - 5*c - 13, 5*w + c + n = -0*c for w.
-1
Let u = 12 - 26. Let k = u + 14. Solve b + b - 2 = 0, x + 5*b = k for x.
-5
Let m be -4*(-44)/40 + (-2)/5. Solve -5*y + 30 = 2*l, y + 4*l - 8 = m*y for y.
4
Let q be 14*1*5/10. Solve -c - 5*y - 2 = 0, 2*c + q*y - 2 = 3*y for c.
3
Suppose -6*w = -5*w + 21. Let v = w - -24. Solve -3*i + 3*r + 1 = 2*r, v*r = 5*i - 3 for i.
0
Let y(u) = -u**2 - 11*u - 7. Let n be y(-10). Solve n*q - 4*p - 9 - 11 = 0, 5*q = 5*p + 25 for q.
0
Suppose 4*b - 7 - 9 = 0. Let j be 9*(b/6 + -2). Let z = -8 - j. Solve -z*h + 8 = 0, 3*p - 20 = -p - 2*h for p.
4
Let c be 12*(-2)/(-4)*-3. Let g = -13 - c. Suppose -4*p - g = -45. Solve 3*a - 11 = f, -a + 7 + p = 3*f for a.
5
Let c be 4 + (-2)/((-8)/4). Suppose -c*y = 0, -2*y - 3*y = -2*v. Solve v = -3*j - 5*w - 5, 5*j - 36 = j + 4*w for j.
5
Suppose -30 = -u + 5*g, -5*u + 4*g + 15 = -30. Let v = 8 - u. Let q be 4/2 - (-57)/v. Solve d + q = -4*j, -4*j = -8*j + 5*d - 15 for j.
-5
Let m(g) = -2*g**2 - 6*g + 13. Let l be m(-4). Solve -2*t + l*t - 4*s = -28, t = -2*s + 4 for t.
-4
Let v(g) = -g + 11. Let r be v(8). Solve r*d - 2*s = -2, d + 4*s + 5 = -19 for d.
-4
Suppose -19 = -5*p + 2*x - 7, x = -3*p + 5. Solve 22 = -2*b - 5*d, -3*b - 7 = p*d - d for b.
-1
Let d(n) = -n**2 + 5*n - 2. Let y = -10 + 4. Let x(o) = -o**2 - 6*o + 2. Let h be x(y). Let f be d(h). Solve -2*q + 2*j = f*j - 6, -5*q - 2*j = -9 for q.
1
Let j be (-5)/(-2)*(-32)/(-16). Solve -5*r = 5*a - j, 6*a - 5*r = 3*a - 13 for a.
-1
Suppose -5*p - 5*g - 10 = 0, -2*p - p - g = -2. Solve p*b = -2*w + 6, 2 = 3*w - w + b for w.
-1
Let x be (3 + -39)*(-5)/10. Let t = 20 - x. Solve -2*h - 5*w - 4 = 0, 0 = h - 2*w - 9 + t for h.
3
Let t(r) = r**2 + r - 3. Let h be t(-3). Solve 0 = -3*x - h*y, 3*y = 2*x - y + 6 for x.
-1
Let t be ((-8)/(-10))/(6/15). Solve -3*k = -t*y, -3*y + k = 2*y for y.
0
Suppose 0 = -10*q + 9*q + 2. Solve -2*g - q*f = 16, 16 + 7 = -4*g - f for g.
-5
Let n be ((-4)/5)/((-2)/25). Let g be 1/4 + 7/4. Suppose -2 = -t + 2*i, -2*t - g*i + 7 - 3 = 0. Solve t*w + n = 4*m, -m = -4*w - 3*m - 10 for w.
-3
Suppose -4*i = y - 6*y + 24, 5*y + 5*i - 15 = 0. Let k be (-2 - 3)/(1/(-2)). Solve -2*q = -c - 3*c + k, 4*q = y*c - 16 for c.
1
Let k = 38 - 35. Solve -2 = u + 3*f + f, -3*f - k = 0 for u.
2
Let r(a) = -4*a**2 - 3*a + 3. Let p be r(-3). Let i be p/(-30)*10/4. Suppose -f = i*f - 15. Solve -10 = -3*t - 1, -4*q - 5*t - f = 0 for q.
-5
Let i(l) = -l**3 - l**2 - l + 5. Suppose -24*d = -26*d. Let a be i(d). Solve 0 = 5*t - a*s - 10, 2*t - 3*t + 20 = 5*s for t.
5
Let s(h) = h**2 - 4*h - 2. Let f be s(5). Let i(p) = 4*p**3 - 5*p**3 + 3*p**2 + 0 + 4. Let q be i(f). Solve -4*z + q*m + 8 = 3*m, -6 = -3*z - 5*m for z.
2
Let w be (-7