 - 4*a for n.
0
Suppose 4*u + u = 0. Solve u = -3*r + 2*r + y - 5, -5*r - 9 = 3*y for r.
-3
Let s be (-2)/(-5)*(-10)/(-2). Suppose -s*o = l - 4, 5*l + 2 = -0*o + o. Solve 2*p = n - 1, 2*p + 2*n + o*n + 26 = 0 for p.
-3
Let o be 0*(-7)/(-7)*(2 + -1). Solve 0 = -2*m - g - o*g + 2, -2*g - 23 = -5*m for m.
3
Let w(g) = g**3 + 4*g**2 + 4. Let z be w(-4). Let u be 24/14 + z/14. Solve 0 = -s + 2*a - 2, -u = -5*s + 2*a - 4 for s.
0
Let c(w) = w - 7. Let h be c(10). Suppose 0*d = 4*d - 2*f - 14, -3 = -h*f. Solve -2*i + d*i - b - 7 = 0, 0 = 4*i - 5*b - 5 for i.
5
Suppose 0 = 5*t - 25, 2*w - 2*t = -6*t + 24. Solve 0 = -2*p - 4*a - 8, -w*p = a - 0*a - 1 for p.
2
Let j(m) = m + m + 0*m - 5. Let y be j(4). Let q = -6 + 11. Solve -4*h - q = -w, y*h - 2*w + 15 = w for h.
0
Let u(y) = 3*y**2 + 51*y + 2. Let o be u(-17). Solve 4*m - 20 = 0, -3*w + m - 10 = o*w for w.
-1
Suppose 0 = 5*b - 0*b + 10. Let a be (-3)/b*12/9. Suppose -a - 10 = 4*j, 0 = -y + 5*j + 19. Solve -11 = -y*x - 3*r - 0, 2*x = -5*r + 9 for x.
2
Suppose 5*u = 7*u - 8. Suppose 1 + 17 = f. Solve -3*l = 3*m + f, u*m + 11 = 2*m - l for m.
-5
Let k = -22 - -26. Solve -4*u + 4 = x - 2*x, 0 = -k*x - u - 16 for x.
-4
Let j(t) = -t. Suppose 3*q + 3*p = 15, 3*p = 3*q - q + 5. Let s be j(q). Let o = s + 4. Solve -4*g - 8 = -o*g - 4*w, -5*w + 20 = -5*g for g.
-4
Let b(p) = -p**3 - 7*p**2 - 5*p + 6. Let j be b(-6). Solve 4*r = 2*u - 28, -4 = -u - j for r.
-5
Let u = 127 - 124. Solve -19 = -2*k - 3*v, -2*k = -u*k - 3*v + 14 for k.
5
Suppose -4*c - 3 + 7 = 0. Let y = c + 3. Solve y*s = -3*v + v - 20, -3*v - 5*s = 27 for v.
-4
Let p(c) = 4*c - 78. Let n be p(23). Solve 3*s - 12 = 0, 3*t - 3*s - 2*s + n = 0 for t.
2
Suppose -6 = -4*j - 2*z, -2*j + 2*z + 2*z = -18. Let x be -1 - ((-9)/(-3))/(-3). Solve 2*g = 3*r - 0*g + 21, -j*r - g - 12 = x for r.
-5
Let u(d) = -d**2 - d + 2. Suppose -14 - 18 = -t. Let b be (-24)/t - (-3)/4. Let v be u(b). Solve 22 = 4*z - v*p, 0 = -3*z - 3*p - 0*p - 6 for z.
3
Let q be (-26 - -24)*3/(-2). Solve -3*a = -q*m + m - 15, -9 = -2*a + m for a.
3
Suppose 0 = 2*a - 4*a + 64. Suppose c + c = a. Solve -c = -4*n + 3*m, -2*m = -n + 3*n + 6 for n.
1
Suppose -4*x + 6*x = 0. Let s = x + 2. Suppose 30 = 5*t + 10. Solve 3*w = t*i - 32, 0 = -5*i - s*w + 4*w + 33 for i.
5
Let w be 0 + 1 + -15 + 17. Let n be w - (-6)/(-3) - 1. Solve n = l - 2*d - 2, 0 = 2*l - d - 7 - 0 for l.
4
Let u be -2 + 1 + 17 + -13. Solve 2*x = -4*f - 24, -7*f + u*x = -2*f + 8 for f.
-4
Let q(p) = -22*p - 9. Let c be q(-6). Suppose 2 + c = 5*v. Suppose -r = 4*r - v. Solve l = r*l + 12, -19 = -5*s - 2*l for s.
5
Suppose 0 = 6*m - 3*m - 24. Suppose 0 = -5*j + 2*s + 20, -2*j + s = 2*s - m. Suppose 0 = -5*q + 11 + 14. Solve 2*r = q*r - 2*z - 9, -j = 2*r + 2*z for r.
1
Suppose -63 = 2*y - 69. Solve 6*j + 12 = 2*j + 3*g, 0 = 3*j - y*g + 9 for j.
-3
Let s(m) = -m**3 - 5*m**2 - 2*m - 3. Let n be s(-3). Let c be (n/6)/((-2)/4). Let r be -2 - (c*2)/(-2). Solve 3*b - r*p + 4 + 2 = 0, 2*b = -p - 4 for b.
-2
Suppose 11*b - 1 = -1. Solve b = -p + 5*h + 29, p - 4*p + 4*h + 32 = 0 for p.
4
Let g(l) = -8*l - 22. Let x be g(-3). Solve 3*u + d - 6 = 6*d, 0 = -4*u + x*d + 8 for u.
2
Let f = -9 - -12. Solve 0 = g + 3*t - 8, f*t = 12 for g.
-4
Suppose -3*n + 27 = -2*n. Suppose -3*z + 47 = 92. Let w = z + n. Solve -4*t = 4*q + w, 0*q - 5*t - 8 = -2*q for q.
-1
Let o(y) = -y - 2. Let z be o(-1). Let j = z - -5. Solve -g = j*p + 15, -4*p - g = 3*g for p.
-5
Let p(u) = u - 1. Let v be p(1). Suppose -6 + 18 = -2*k - 5*b, v = k + b. Solve -i - 2*i = k*f + 8, -19 = 3*f - i for f.
-5
Let x(c) = -4*c**2 + 5*c**2 - c - 8*c + 0*c**2. Let q be x(9). Solve -5*i + 4*u - 40 = 0, q = -0*i - 5*i - 4*u for i.
-4
Let w = -50 - -55. Solve -o - w*k + 1 = o, 4*k + 7 = o for o.
3
Suppose 0 = -3*t - t + 3*r, -4*r = -16. Let a = -4 + 4. Suppose -t*j + 2 + 10 = a. Solve f + 5 = -j*c, 2*c + 2*f - 3*f = 5 for c.
0
Let t be (8/10)/((-2)/(-5)). Solve -4*g + 12 = t*v, 5*g - 3*v + v = 6 for g.
2
Let z = 10 + -5. Let i = -3 + 3. Suppose -4*b + a + 1 = -3, -z*a = i. Solve 2*o + b = 2*n + 3, 4*o - 3 = 5*n for o.
2
Let t = -10 + 14. Suppose 4*v + 5*x = -0 + 8, -2*v = -3*x - 4. Suppose 0*i - i = -t*k - 15, 0 = -i - v*k - 3. Solve -i*s - 2*b - 10 = 3*b, b + 2 = -5*s for s.
0
Let s be (6/(-4))/((-2)/16). Let g be ((-4)/(-6))/((-129)/45 + 3). Solve 0 = -3*t - a - a - 7, -2*t - s = g*a for t.
-1
Let q = 11 - 8. Let i be 16/(-2)*6/(-4). Suppose -3*r + 0 = -9. Solve 0 = -4*z + 5*z + r*v + i, 0 = 3*z - q*v for z.
-3
Let s(m) = 2*m**2 + m + 4 - 4 - 1 + 0. Let f be s(-2). Solve b = -f*k + 2, 3*k = 2*b - 2 - 2 for k.
0
Let v be ((-62)/(-4))/((-1)/(-2)). Solve v = -2*r + 6*r + 5*d, -2*d + 2 = -r for r.
4
Let x = 48 + -34. Let z be 7*(-3 - (-62)/x). Suppose 3*w + 0*h = -4*h - z, -5*h = 20. Solve 0 = w*p + 2*q, -5*q + 2 - 11 = -4*p for p.
1
Let z(t) = -2*t + t**2 - 2 + 2*t. Let g be z(-5). Solve v + 6*d - d = g, -2*d + 12 = -v for v.
-2
Let c(j) = j**2 - 10*j + 9. Let u be c(9). Solve u = k + 4*h + 3, 2*k = 2*h + 5 - 1 for k.
1
Suppose -5 = -3*i + 7. Solve j = 2, 0 = -5*h - i*j - 7 - 0 for h.
-3
Suppose -2*c - 4 = w, -4*w - 9 = 5*c - 4*c. Let f be 2*((-2)/1)/c. Solve 26 = 3*i - 5*i + f*o, -5*o = -5*i - 40 for i.
-3
Let u(w) = -4*w + 7*w - 5 + 4 + 0 + 2*w**2. Let y be u(4). Solve 4*g - y = -4*r - 3, r + 4*g - 25 = 0 for r.
5
Suppose -5*d + 4*k + 3 + 1 = 0, -5*d + 28 = 2*k. Solve 5*s = d*w - 3, -2*s + 2*w - 3 = s for s.
-3
Let i(g) = -2*g**3 - g**2 + 1. Let o be i(-1). Let r(x) = 7*x - x**o - x**3 - 7*x + 5. Let s be r(0). Solve -s*y - 10 = -3*f, 0 = -3*f - 5*y - 9 - 31 for f.
-5
Let r be (-12)/4 - -3*1. Let l be ((-3)/(-6) - r)*26. Solve 4*h = 4*x + 4, -x + 4*h - l = -h for x.
2
Suppose -3*m + 5*m = 0. Suppose 4*d + 0 - 12 = m. Solve 0 = -l - 3*b - 8, d*l - 4*b + 16 = -l for l.
-5
Let n(h) = h**3 - 5*h**2 - 7. Let y be n(6). Solve -3*m = -3*p - 15, 9 - y = -m + 4*p for m.
0
Let x be (-8)/(-3) + 2/6. Let d be 14/56 + 11/4. Solve a + d*a + 14 = -2*q, -8 = x*a - q for a.
-3
Let r = -5 - -8. Suppose p + 4 + 9 = 2*g, 4*g + r*p - 21 = 0. Suppose 4*d + g = 22. Solve -3*b = -0*b - c + 17, 0 = d*b + 4*c + 12 for b.
-5
Let w be (2/2)/(1/(-2)). Let j be w/4*(2 - 8). Solve -j*i = -2*s - 4, -2*i + 8 = 2*s + i for s.
1
Let m = 35 + -32. Solve -3*b - 27 = -4*g - 0*g, m*g = -3*b - 6 for b.
-5
Let m(u) = -u**2 - 4*u + 2. Let o be m(-3). Let w(l) = l**2 + o - 1 + 0*l - l + l**3. Let p be w(0). Solve -2*t = g + 7, 3*t + 2*t + 24 = p*g for g.
1
Suppose 3*a - 3*j = -7*j - 19, -j + 20 = -2*a. Let f be (-20)/a - (-2)/(-9). Suppose -t = -0*t - f. Solve 5*k - 2*r = 13, k - 11 = -t*k + 2*r for k.
1
Suppose 2*q + 6 = -4*o, o + 41 = 5*q - 3*o. Solve 6*y - 3*y = -5*x - q, -3*y + 3 = 3*x for y.
5
Let g(w) = -w**3 + 4*w**2 - 2*w + 1. Let i be g(4). Let s = i - -2. Let j be ((-4)/s)/(2/5). Solve j*o + 0*o = -10, -4*o = -5*h for h.
-4
Let w(g) = -g - 15. Suppose 26 = -4*c - 2. Let o be w(c). Let u = 2 - o. Solve 3*v + u = -0*n - n, 2*v + 2 = 4*n for n.
-1
Suppose 0 = -4*u - 5*k + 69, u - k = -0*u + 6. Solve -10 = 2*t, -4*h + h + 4*t + u = 0 for h.
-3
Let n(y) = 5*y - 2. Let t be n(9). Let u = t + -11. Solve -5*m = 4*g + 36, -5*g - 5*m - u = 8 for g.
-4
Suppose -n + 3*a + 6 = 0, -n + 3*n = 2*a. Let r(s) = s**3 + 4*s**2 + 5*s + 3. Let j be r(n). Let u = -2 - j. Solve -q + 0 - u = -p, 0 = -4*q + p - 13 for q.
-4
Let i(p) = -p**2 + 3*p + 4. Let w be i(3). Solve w*u + 0*u = 2*x - 2, -u = 2 for x.
-3
Let a be 3/(-3 - 8/(-2)). Solve -g + a*r = -0*g + 7, 2*g = r + 1 for g.
2
Suppose 0 = -4*s + s + 6. Suppose -3*k = g - 17, -5*g - 2*k + s = -18. Solve -2*v = -2*p - 6, 0 = v - 0*v - g*p - 1 for v.
5
Suppose -4 = 4*l - 8*l. Let f be ((-6)/8)/(l/(-4)). Solve 4*g - 8 = -5*s, 0 + 1 = -2*s - f*g for s.
4
Let k be 117/65 - (-2)/10. Solve -k*p - 2*m = 2*p - 18, -5*p + 5 = -m for p.
2
Let q = -55 - -60. Solve -t + 4*i + 1 = -0*t, q*i = 0 for t.
1
Suppose 5*t = -25, -5*p + 0*t + 30 = -4*t. Let z = -86 + 86. Solve z*v - q = -v - p, 2*v = q - 3 for v.
-1
Let a(x) = -x**3 + 4*x**2 + 8*x - 4. Let f be a(5). Suppose -5*z = -4*j + f, -3*j - z + 0*z = -13. Solve j*p - 3*w = -13, -p - 4*p - 3*w = -4 for p.
-1
Let u be 1/3 + 126/27. Solve -4*h - 20 = 3*f, -h + u = -2*h + 3*f for h.
-5
Suppose -k + 2 = -2. Let b = -4 + 8. Solve k*u + 3*r = -0*r + 2, -r 