 63 = -4*n. Suppose 4*b + 3*c - c = n, 0 = 2*b + 4*c - 18. Solve b*u = u - 2 for u.
-1
Suppose a + 32 = 5*a. Solve -a = -2*s - 2 for s.
3
Let n be 1/((9/(-3))/(-3)). Solve -b - n = -0*b for b.
-1
Suppose -4 = -4*i + 3*s, -3*i + 8 = 4*s - 20. Solve 0*x = i*x + 20 for x.
-5
Let s(q) = 2*q**3 + 10*q**2 - 12*q. Let k be s(-6). Solve k = 4*i + 8 - 28 for i.
5
Let m(i) = i**2 + 8*i. Let x be m(-8). Solve -8 = 2*w - x for w.
-4
Let c(o) = 2*o**2 - o - 3. Let p be c(2). Solve p*h + 2*h - 5 = 0 for h.
1
Suppose 2*g + 3*g + 0*g = 0. Solve 4*a = -12 - g for a.
-3
Suppose -17 = p - 4*j, 4*p + 2*j = -j + 27. Solve d = p*d + 2 for d.
-1
Suppose 4*f - 6*d + 7*d - 5 = 0, 5*d - 7 = -2*f. Solve l + f = -1 for l.
-2
Let z be (24/14 + -2)*-14. Suppose 0 = -2*k + 4*k - z. Solve 7*p - 10 = k*p for p.
2
Let i = -34 - -36. Suppose -w - 30 = -3*w. Solve -i*l = l + w for l.
-5
Let u = 23 + -21. Suppose 0 = 2*f + i + 3*i - 4, -15 = 3*i. Let z be 1/3 - (-32)/f. Solve z*k = u - 5 for k.
-1
Suppose 2*k = -3*k + d + 90, 3*d = 0. Suppose -a + k = 4*r - 2*r, -5*a - 8 = -4*r. Let z = r + -5. Solve z*s = -s for s.
0
Let c(o) = -o + 30. Let d be c(25). Solve d*m + 34 - 9 = 0 for m.
-5
Let v = 2 - -11. Let o be 14/4 - (-12)/(-24). Solve o = -5*u + v for u.
2
Let o(j) = 7*j + 7. Let y(q) = -20*q - 20. Let w(g) = -17*o(g) - 6*y(g). Let f be w(3). Solve -f*r + 25 = r for r.
5
Let j = 6 + 0. Suppose x + j = 2*x. Solve x = -4*t + 18 for t.
3
Let v be (-2 + (-2 - 0))*(-5)/10. Solve 5 = v*k - 7*k for k.
-1
Let i = 9 + 1. Suppose -n = -6*n + i. Solve -2*y - n - 6 = 0 for y.
-4
Let n = -6 - -4. Let v = 7 + n. Solve -5 = v*b - 0*b for b.
-1
Let t be -1*1/(1/(-6)). Let q = t + -2. Solve 2*n - q*n - 4 = 0 for n.
-2
Let l(b) = b**2 + 7*b - 9. Let k be l(-7). Let w be ((-16)/(-6) + -3)*k. Let j be (w/9)/((-2)/(-6)). Solve -j - 1 = z for z.
-2
Suppose 4*x = 5*j - 12 - 25, -9 = -3*j - 2*x. Solve -2*p = j + 1 for p.
-3
Suppose -5*m + 26 = -a, 4*m + 4 - 8 = 5*a. Solve m*o - 9 = 3*o for o.
3
Let h(z) = -z**3 - 8*z**2 + z + 10. Let f be h(-8). Solve -f*r - 15 = r for r.
-5
Let x(k) = -k**2 - 9*k - 10. Let z = -12 - -5. Let a be x(z). Let v be (-10)/(-4)*(a + -2). Solve -15 = -v*c + 2*c for c.
5
Let i(w) = 4*w - 7. Let z be i(6). Suppose -p + 3 = 5*s + z, -5*s + 10 = -5*p. Let u be (1 - (-2 - 1)) + s. Solve 0 = -j - u + 5 for j.
3
Let i be 2 - (7 + (1 - 3)). Let o be 4 - (-3)/((-9)/i). Suppose 3*x - o*a - 5 = 0, -a = -3*a + 4. Solve x*k + 1 = -4 for k.
-1
Suppose 0 = 2*o - 4 - 14. Let v be 3/o + 231/9. Solve -4*p + v = 6 for p.
5
Suppose 4*v - 12 = -2*m, 5*v = -3*m + 18 - 0. Solve -4*l - m + 26 = 0 for l.
5
Suppose 0 = -4*y + 16. Suppose 8*t = 4*t + 92. Solve 0 = y*u - t + 3 for u.
5
Let s(o) = -o**2 - o - 6 + 8 - 2. Let y be s(-1). Solve -t = -y*t - 3 for t.
3
Suppose -5*b + 15 = 0, 0*b + 3*b = -m + 10. Suppose n = 14 + m. Solve -2*o + n = 3*o for o.
3
Suppose -4*f = -f. Let k be ((-8)/(-12))/((-6)/(-27)). Solve -k*c = -f*c for c.
0
Suppose f - 2*a = 16, -2*f + 0*a = -2*a - 24. Suppose -c = -5*c + f. Solve o + o = c for o.
1
Suppose 7*f - 3 - 4 = 0. Solve 4*c = f - 5 for c.
-1
Let m be -1*1/3*-6. Let f(z) = -z**3 - 5*z**2 - z + 4. Let b(t) = -t**3 - 5*t**2 - 2*t + 4. Let c(d) = 2*b(d) - 3*f(d). Let l be c(-5). Solve m = s + l for s.
1
Suppose -7*x = -9*x + 2. Solve -4*u = x + 15 for u.
-4
Let t(b) = -2*b**3 + 0*b**2 - 1 + b - 3*b**2 + 3 + 0*b**3. Let m be t(-2). Solve -3*g - 4 = -m*g for g.
4
Let w be (-11 + -2)*(0 - 1). Let o = w - 13. Suppose -t + 4 = t. Solve o - t = -2*i for i.
1
Let z be -14*1/(-3)*3. Suppose -2*c = 2 - z. Solve c + 4 = 5*f for f.
2
Suppose -3*v - 4*y - 14 = 0, y = 3*v + 6*y + 16. Let s = 2 - v. Let n be 4*9/(-6)*-2. Solve -s = 2*c - n for c.
4
Suppose 0 = -5*m + 15, -5*p + m - 2*m - 17 = 0. Let t be p/(-12) + 40/6. Solve -t*q + 3*q - 12 = 0 for q.
-3
Let h(l) = 3*l - 7. Let g be h(3). Suppose g*a = 5*a. Solve -2*m - 2 - 2 = a for m.
-2
Suppose 4*j = 2*h + 2, 0 = 2*j - 4*h - 2 + 10. Let b = 1 + j. Let n be ((-18)/(-4))/((-12)/(-32)). Solve -n = b*z - 0 for z.
-4
Suppose -n - 4*k = 24, -2*n - k - 3*k = 28. Let w be 8 + (-1)/((-2)/n). Solve 0 = d - w + 1 for d.
5
Let g(p) = p + 2. Let i be g(-6). Let z be i/(-10)*-1*-5. Suppose -z*r = -6*r. Solve -2*f = -r*f for f.
0
Let b(g) = 10*g - 10. Let p be b(3). Solve 0*k + p = -4*k for k.
-5
Let p(q) = q - 13. Let o be p(13). Let h be (o + -2)*1 + 2. Solve h*d + 2*d = -10 for d.
-5
Let q = -9 - -22. Let o = 1 - -3. Let t(s) = -s**3 + 6*s**2 - 4*s - 2. Let v be t(5). Solve -o*w - v = q for w.
-4
Let s(c) = 4*c**2 + 7*c. Let m(h) = h**2 + 2*h. Let d(f) = -14*m(f) + 4*s(f). Let j be d(2). Let k be 15/6*6/5. Solve k*y - 4 = j for y.
4
Let m = -17 - -18. Let d = m - -8. Solve 3*b - 18 = -d for b.
3
Let r = 74 - 68. Solve -2*z + r*z = 0 for z.
0
Suppose -5*v + 5*p + 95 = 25, p - 4 = -v. Suppose 5*u = 3*o - 10, -2*o + 3*u - 2*u + v = 0. Solve 0 = -0*c - o*c + 20 for c.
4
Let r = -11 + 15. Solve -4 = -r*m + 2*m for m.
2
Suppose -6*j = 4*j - 50. Solve -j*q = -q + 20 for q.
-5
Let z = 12 + -15. Let b = 6 + z. Solve 0*g - b = -g for g.
3
Let f be (-1 + 0)*(1 + -3). Suppose -f*s + 5*r + 15 = 35, -3*r = -3*s - 12. Suppose 2 = j - s*j. Solve -3 = j*x - 1 for x.
-1
Let x be 3267/143 - (-4)/26. Let i = x - 22. Solve -2 = 3*h + i for h.
-1
Suppose 4*m = -0*m. Let n = 6 + m. Solve n*x = x for x.
0
Let c(t) = 3*t**2 - 21*t - 22. Let h be c(8). Solve l - h = 2*l for l.
-2
Let p(g) = 3*g**3 - 2*g**2 + g. Let o(d) = -13*d**3 + 9*d**2 - 4*d. Let z(a) = 2*o(a) + 9*p(a). Let i be z(0). Solve 4*y + i = -8 for y.
-2
Suppose -2*m - 20 = c + 3*m, -c + 4*m = -16. Suppose 41 = -w + 5*w - 3*x, -3*w + x + 27 = c. Solve 2*o - w = 6*o for o.
-2
Suppose 9 = -2*n + 5*n - 3*h, -5*n - 15 = 5*h. Suppose 2*u - 13 = -3. Solve -u*f - 16 + 6 = n for f.
-2
Suppose -4*h - 1 - 3 = 0, 0 = 5*s + 3*h - 12. Suppose s*j - 7*j = -24. Solve 2 + j = -2*a for a.
-4
Let m(y) = y**3 - 12*y**2 + 9*y + 14. Let b be m(11). Let a = b - -8. Solve 4*t + t + 10 = a for t.
-2
Let u be (7 - 2)*4 - 0. Suppose -p + u = 5*z, -2*z - 24 = -3*p - 5*z. Solve -5*f = -p - 0 for f.
1
Suppose 4*t + 0*t - c + 23 = 0, -3*t - 3*c = 6. Let a be 0 + t - -2 - -7. Solve -a*q = -q - 6 for q.
2
Suppose 0 = 2*l - 5*l. Let s = 14 + 2. Solve 4*d + s = -l for d.
-4
Let h be -1 + 2 - (6 + -8). Solve -4*y = -h*y for y.
0
Suppose -3*g = u + 12, 2*g = -g - 5*u - 12. Let n = g + 4. Solve q = -n*q for q.
0
Suppose -3*r + f - 3 = 2*f, -5*f + 3 = -3*r. Suppose 2*t = -0 - 2. Let q be (r - -1)/(-2 - t). Solve q = -2*g - 2 + 8 for g.
3
Let u be (-1 - -3)*2/1. Solve 2*q - u = 4 for q.
4
Suppose 0 = 7*p - 2*p - 20. Solve p*a = -6 + 18 for a.
3
Let n be -3*(-4)/(-24)*0. Solve n*r + 10 = -2*r for r.
-5
Suppose -3*x + 12 - 27 = 0. Let i be 6/(-3) - 30/x. Solve i*n = -n - 20 for n.
-4
Suppose -5 = -2*t + 2*z - z, -t + 3 = -z. Solve -k + t = -2*k for k.
-2
Let v(c) = -c**3 - 4*c**2 + 8*c + 15. Let f be v(-5). Solve -3*l + 2*l = f for l.
0
Suppose -3*g - 2 = 5*s, -3*s + 12 = -2*g - 2. Let q = 1 + s. Solve -q*j - 5 = 2*j for j.
-1
Let s = -9 + 12. Solve -2*z + s*z + 2 = 0 for z.
-2
Let v(f) = f + 17. Let g be v(-17). Let j(p) = p + 5. Let t be j(-3). Solve g = t*n + 8 for n.
-4
Let b(z) = 1. Let q = -6 - -5. Let h(o) = -o - 3. Let s(k) = q*h(k) - 3*b(k). Let y be s(7). Solve -27 + y = -4*i for i.
5
Let r = 2 + -2. Let b = r + 10. Solve 0 = 5*x - b - 5 for x.
3
Let l(q) = -4*q + 68. Let m be l(17). Solve 25 = -5*u - m*u for u.
-5
Let x be (-1*9 + 2)*-1. Suppose 4*p = -0*p + 3*j - x, 2 = 2*j. Let z = p - -4. Solve 0*c = -z*c - 9 for c.
-3
Suppose 5*g + 18 = 3*g. Let a = 34 - 14. Let u = g + a. Solve 4*r = u + 1 for r.
3
Let x = 17 - 11. Solve 4*t - x = t for t.
2
Let o be 3/((-1)/(-2)*2). Suppose -16 = -5*i - h, o*i + 4*h - 19 = -2*i. Solve -i*q = 2*q for q.
0
Let n = -1 - -3. Suppose 0 = -n*q - q + 3. Let b be 0 + q + (-1)/(-1). Solve -b*w = w for w.
0
Let v be (-3)/6*-20 + 0. Suppose 4*g = -g + v. Solve -w + 0*w = g for w.
-2
Let n(q) = -q + 12. Let y be n(9). Let p = y - -1. Let o be p - 2/(2/3). Solve 0 - o = i for i.
-1
Suppose 0 = -2*u + 4*l, -3 = -3*u + 4*l + 7. Solve 4*j = -u - 2 for j.
-3
Let a(c) = -c**3 - 4*c**2 - 4*c + 1. Let x be a(-3). Let t be ((-8)/6)/(x/(-6)). Let k = -333 - -339. Solve -k*g = -t*g - 8 for g.
2
Let z(m) = m + 