ve b*k + 7 + 9 = 0, -k - 5 = -n for n.
1
Let f be (4 + -4)*-1 - -4. Solve 2*y = f*o - 6, 1 - 11 = -5*o for y.
1
Suppose -5*u = -7*u - 20. Let b = u + 10. Solve -3*d + 3*g - 30 = b, -4*g + 11 = d - 4 for d.
-5
Let l be (-2 - -17)*(-14)/(-42). Suppose -5*h = -2*f + 3, h - 2*h = -1. Let b be (f/3)/1*3. Solve -m = b*d - 15, 3*d + 3*m - l = -d for d.
5
Let o(n) = 3*n**2 - 5*n - 1 + 3*n + 1 + 2 + n**3. Let q be o(-4). Let i be (-20)/(-3) - 2/q. Solve -2*t - i*l = -2*l - 18, 0 = -4*t - l + 18 for t.
4
Let u = 18 - 13. Let l be u - 1*(-1 + 1). Solve 4*b + 11 = -l*t, -6*b + b - 5*t - 15 = 0 for b.
-4
Let k be 11/11 - (-2)/(-4)*-2. Solve -4*j - k*x + 17 = -9*j, 2*j = -2*x - 4 for j.
-3
Let p be (200/(-24))/(1/(-3)). Suppose -y + 2*t + 40 = 2*y, -t = -2*y + p. Solve g = -4*d + y - 3, -3*g = 4*d - 5 for d.
2
Suppose -133 = 3*s - 151. Solve -g = u - 3, -s + 14 = -2*g + 5*u for g.
1
Suppose 4 - 1 = -3*h. Let q(b) = b**2 - b. Let s be q(h). Suppose -m - m + 2*w = -s, 0 = 4*w - 8. Solve -4*j = 2*g + 6, 6*j - m = 4*j - 3*g for j.
-3
Let q(o) = o + 13. Let p be q(-5). Let f be (0 - 2) + p + -1. Solve -20 = 5*n, f*n + 30 = -0*i - 2*i for i.
-5
Let q(h) = h**2 - 8*h + 5. Let v be 2 + 12/3 + 1. Let x be q(v). Let n = 4 + x. Solve 0 = -2*o - n*s, 2*o - 5*s + s = -6 for o.
-1
Suppose -21 = 22*o - 29*o. Solve 0 = 3*y - d - 12, o*y - 3*d + 6 = 24 for y.
3
Let w be (-38)/(-12) + 3/(-18). Solve -2*q + 4 = 0, 3*q + 1 = -w*s - 8 for s.
-5
Let w = 4 + -1. Suppose -12 = -a + w*i - 5*i, 3*a - i - 15 = 0. Solve u = 2*q + a, 3*q - u + 8 = -0 for q.
-2
Let f(d) = -d - 9. Let a be f(-7). Let v = a - -5. Suppose 24 = 4*r - v*t, 0*r - 11 = 3*r + 5*t. Solve -b = -u + 2*b - 5, -13 = -u - r*b for u.
4
Let l = 12 + -10. Suppose 0 = l*c + 3*c - 10. Solve -18 = -c*f - 2*d, -4*f = -d - 16 + 5 for f.
4
Let w = -11 - -9. Let d = 2 - w. Solve d*u + 1 = s, s - 1 = -0*s for u.
0
Let v(j) = j**3 - 6*j**2 + 7*j - 3. Let u be v(5). Solve 13 = -u*o + 3*o + 3*q, -4*q - 4 = 0 for o.
-4
Suppose 5*v = 5*p + 115, 5*p - 109 = -4*v + 19. Suppose -3*q + 52 = 3*w + w, w + 82 = 4*q. Solve -2*z - 4*j = v - 7, 0 = z + 4*j + q for z.
0
Suppose 3*v - 7 = 4*j, -j - 3 = -0*j - v. Solve -2*b = -2*d + j, -3*b - 2 = 3*d + 25 for b.
-5
Suppose -44 = 2*w - 14. Let r = 24 + w. Solve 3*d = 5*k + 5, -3*k - r - 23 = 4*d for k.
-4
Let q(a) = -6*a**2 + 18*a - 4. Let o(f) = 7*f**2 - 18*f + 4. Let d(c) = -4*o(c) - 5*q(c). Let r be d(9). Solve 0 = 4*t + 20, -2*x + 5*t + 31 = -r*x for x.
-3
Let r(n) = -n**3 - 4*n**2 + 9*n + 1. Let d be r(-6). Let x = 23 - d. Solve x*h - 16 = 0, -j + 1 = h - 8 for j.
5
Let m(s) = -s**3 + 8*s**2 + 9*s + 3. Let v be m(9). Solve 2*i + v*c = 6, c = -c for i.
3
Suppose 0*s = s + 25. Let c = -5 - s. Suppose -q + 0*q = 5*l - 24, 4*l - c = -q. Solve 4 = j - 0*h - l*h, 0 = 3*j + 5*h - 12 for j.
4
Let w = 4 + -1. Solve 2*g - 30 = 5*u - w*g, 3*g = 3 for u.
-5
Let b(d) = d + 8. Suppose 0 = -l + 4 - 0. Suppose -5*x - 12 = 2*u, 30 = -u - l*u + 5*x. Let f be b(u). Solve -5*p = -3*a - f + 19, 3*p + 11 = 2*a for a.
4
Let j(w) = -w**2 + 3*w - 2*w**2 - 14 + 3*w**2 + w**2. Let y be j(-6). Solve 0 = -4*i + 3*i - q - 3, y*i - 2*q + 18 = 0 for i.
-4
Let y = -24 - -17. Let o(b) = b - 2. Let m be o(-9). Let x = y - m. Solve -3*t + 8 = 4*c + t, -3*c + x = 5*t for c.
3
Suppose -g = -5*q, -2*q + 1 = -q. Solve k = -2*k - g*a - 17, a + 7 = 3*k for k.
1
Let k = 48 + -44. Solve -3*i - i + 36 = -k*g, 2*g + 30 = 5*i for i.
4
Let v = -21 + 21. Solve m + r + 3 = v, -4*r - 8 = 5*m + 8 for m.
-4
Let k = -95 + 104. Solve -r - 15 = 4*t, 0 = -3*t + t + 5*r + k for t.
-3
Suppose g - 15 = -4*g. Let j = g + 1. Let k be 6/(-4)*(-4)/3. Solve 0 + j = -4*x + 4*c, -6 = k*x - 3*c for x.
3
Let j(l) = -20*l + 10. Let a be j(-5). Suppose -a - 10 = -5*b. Solve -b = 5*q + 4*k, 3*q + 4*k + 6 = -10 for q.
-4
Let r(d) = 2*d - 5. Let s be r(4). Suppose -6*x + 10 = -x. Let c be x/7 + (-24)/(-14). Solve s*w - 11 = 2*y, -c*w + 3 = -w for y.
-1
Let f = -12 - -14. Solve 4*u + 32 = 4*p, -5*u + f*p - 25 = -0*p for u.
-3
Let x = -7 + 11. Let o = 9 + x. Solve -4*l + 5*v = 3, -2*l - 3*l - 3*v = o for l.
-2
Suppose -3*x - 2*x = -25. Let v be (-15)/20*-4*2/3. Solve y = x*l, 24 = -4*l - v*y - 2*y for l.
-1
Let b(p) = 2*p**3 - p**2 + p. Let c(x) = x + 4. Let y be c(-3). Let o be b(y). Solve -z - 19 = 5*i, 5*z - i = o*i - 11 for z.
-4
Let z(n) = -n**3 + 3*n**2 + 5*n + 2. Let q be z(4). Suppose -3*o = -t + 3, -3*t - o + 5 = -14. Solve -h - q = 2*r, -r + t = -3*h + 2 for h.
-2
Let y = 2 + -2. Let u be (1 + y)*3/(-3). Let v = u + 1. Solve m + 6 = -3*i, -i + 3*i + m + 5 = v for i.
-1
Suppose 0 = x - 2*x. Suppose -3*b + 1 = -5*f - 0, -10 = 5*f. Let z = 1 - b. Solve 4*v + 4*g + 12 = x, 3*v - 5 = -z*g - 18 for v.
1
Suppose 35*w - 37*w + 6 = 0. Solve 6 = -2*q - 3*r, 0 = -2*q + 3*q - w*r - 15 for q.
3
Let n be ((0 + 2)*-2)/(-1). Solve 0 = 5*q + 3*y - 6 - n, -3*y = q - 14 for q.
-1
Suppose 3*p - 4 = 5. Let g be ((-2)/2 - -3)*1. Suppose b = -3*s + 1, 4*s = -0*s - 3*b - g. Solve -3*a - 2*i = -18, a - s = p*i - 6 for a.
4
Let w(x) = -x**3 - 6*x**2 - 5*x - 7. Let y(t) = -t**2 + 13*t - 16. Let i be y(11). Let r = i - 12. Let a be w(r). Solve 0*g - 3*j = -4*g, g + a = -5*j for g.
-3
Suppose 8*k - 3*k = 10. Suppose 3*f = k*d + 58, 3*d - 3 = -2*f + 27. Solve -2*h - 2*h + 2*g + 22 = 0, h = 3*g + f for h.
3
Let c(b) = -14*b - 1. Let p be c(-3). Suppose -4*f + o - p = 0, -3*f + o + 25 = -5*f. Let z = -7 - f. Solve -z*u = -8*y + 3*y - 11, 0 = -4*y - 5*u - 17 for y.
-3
Let q be (-1)/2 - (-2)/4. Suppose -4 = 2*z - q*z. Let k be (-34)/(-6) - z/(-3). Solve -s + k = -2*s, 5*o + 2*s + 5 = 0 for o.
1
Let a be (-3)/12 + 102/(-8). Let u = 8 + a. Let x(o) = o**3 + 4*o**2 - 4*o + 7. Let q be x(u). Solve 0*f + 5*i + 14 = 2*f, -i - q = 0 for f.
2
Let y(r) = r**2 - 16*r - 15. Let x be y(17). Solve 0 = -4*w + 6*w + x*l, -l = 2*w - 5 for w.
5
Let y(p) = -p - 3. Let h be y(-7). Let i be 1/h - 24/(-32). Solve f - i = -3*o - 8, 0 = -5*o - 3*f - 13 for o.
-2
Suppose -3*m = -d + 2*d - 6, -2*d = 5*m - 12. Let r = -3 + d. Suppose -n - g = -5, -r*g + 6*g = -2*n + 11. Solve 5*b + 4*c = 36, 0*b + b = -n*c + 20 for b.
4
Suppose -l + 2*l = 2*f + 10, -3*l + 5*f = -26. Suppose 5*t = -w - 2*w + l, 0 = 5*w - 5*t - 30. Solve w*a + 7 = r, 0*a + 4*a = -r - 17 for r.
-5
Suppose -5*t + 4*p + 18 = -0*t, 5*t = -5*p. Solve -5*f = t*r + 3*r + 15, -2*f - 5*r = 21 for f.
2
Suppose 4*y - 1 = 19. Suppose -y*h - 2*k = -22, 4*k + 8 + 0 = 3*h. Solve 12 = -0*x + 3*x + 3*m, -2*x - h*m + 18 = 0 for x.
-1
Let f = -1 + 3. Suppose 5*j - f = 13. Suppose g + 9 = 25. Solve d - 1 = b, 0 = -j*d - d - 2*b + g for d.
3
Let r be 282/30 + 2/(-5). Suppose -5*h + 55 = -0*h. Suppose -h = -5*y + r. Solve -y*g = -5*n - 33, 4 + 8 = -4*g - 4*n for g.
2
Suppose -12 = 4*x + 3*j, 0 = x + x - 5*j - 20. Suppose -2*q + 2*f + 18 = x, -3*f = -0*f + 15. Solve -q*b - 3*k - 8 = k, 0 = -3*k + 9 for b.
-5
Let n be -1 + 6 + (-4 - -1). Suppose 0 = -4*m + n*b + 22, 3*b = -m + 22 + 1. Let z be (1/(-3))/((-2)/42). Solve -4*f + 23 = -3*a + z, -2*f + 5*a + m = 0 for f.
4
Let q = -71 - -79. Solve -3*v - 5*m - 7 = 0, 5*v - 17 = 2*m - q for v.
1
Suppose 10 - 2 = 2*v - 4*d, -5*v = -5*d - 10. Let t be (v/(0 + -1))/1. Solve 5*k - 5*s - 29 + 9 = t, -2*k + 8 = 3*s for k.
4
Let x be (-228)/(-54) - 2 - 4/18. Solve 0*c + 2*c - x = -4*t, 16 = 2*t + 4*c for t.
-2
Let k(n) = -n - n**3 + 4 - 3*n**2 + 2*n**2 - 5. Let d be k(-1). Solve d = -7*i + 2*i - a - 7, a - 3 = 0 for i.
-2
Suppose 0 = -2*g - 5*n + 21, 0 = -g + 2*g - 2*n + 3. Solve 3*x - g = -0*x - 3*d, -x = -4*d - 16 for x.
4
Suppose 6 = 5*h - 4. Suppose -3*z - 23 = -4*a, -2*a - 11 = h*z + z. Solve -2*i = -5*t + 17, 0*i + 3*t = -a*i + 23 for i.
4
Let m(g) = -4*g**3 - g**2 + g + 1. Let c be m(-1). Suppose 4*v - 25 = 7. Let d = v - 6. Solve -c*x + 2 = 5*q, -d*x + x = q for x.
-1
Suppose -3*a = 3*d - 6, -3*d + 4 = 2*a - 5*d. Solve w = 3*t + 7, 5*t = -2*w - a*w - 23 for w.
-2
Let d be 3/7 + 22/14. Suppose -4*t + 4 = -2*q + 34, d*q - t = 15. Solve q*l = -3*a - 15 + 44, a - 5*l + 17 = 0 for a.
3
Suppose 0 = -3*j - 2*j - 5. Let i(u) = 3*u**2 - 3*u - 2. Let g be i(j). Solve -2*a = a + 4*q + 8, -g*q - 4 = 2*a for a.
-4
Let w be (-6)/9 + 46/6. Let l(k) = k - 3. Let h be l(w). Let q = -22 - -28. Solve -c + h*c - 5*i = 16, 3*i = 3*c - q for c.
