uppose -4*k + 3 = -3*k. Suppose x - 6*x = 20. Let z = -4 - x. Solve z = -f - k*f for f.
0
Let m(h) = 7*h + 4. Let y(d) = -20*d - 13. Let c(s) = -17*m(s) - 6*y(s). Let l be c(-8). Solve 0*u = l*u + 6 for u.
-3
Suppose -2*h + 4*h - 6 = 0, -w + 2*h - 15 = 0. Let b = 17 + w. Suppose -5*l + 2*l = -21. Solve 0 = 3*f + l + b for f.
-5
Let z = -4 + 6. Suppose 0*a = -z*a. Solve a*m = 4*m - 16 for m.
4
Suppose -i - 3*c - 6 = -24, 0 = 3*i + c - 14. Solve 0 = i*t - 7*t for t.
0
Suppose 0 = -2*b + z + 5, z - 10 = -z. Solve 0 = 2*w + 3*w + b for w.
-1
Let j be (-42)/(-6) + -6 - -6*1. Solve m + 6 = j*m for m.
1
Let y be -7 - -13 - 8/2. Let c be (0 - (-1 - -2)) + 7. Solve y*g + c = 4*g for g.
3
Let v = 15 - 10. Suppose 0 = -2*m - v - 19. Let q be 4/14 + m/(-7). Solve 5*p = q - 12 for p.
-2
Suppose 6*j = 5*j + 8. Suppose -16 = -4*k + j. Solve 0*v + 2*v = -k for v.
-3
Let p be (-3)/((-9)/24) - 3. Suppose -y = 4*l + y - 28, p*y = 4*l. Solve 0 = l*m - 25 - 0 for m.
5
Let g be -2 - (-35 + -1 + 4/2). Solve -5*w + g = 12 for w.
4
Let c = 0 + 3. Solve t = -2*t - c for t.
-1
Suppose h = 49 - 46. Solve -10 = -h*p + p for p.
5
Let t(d) = d**3 + 3*d**2 - 3*d + 1. Let p be t(-4). Let b be -1 + 1/(-2 - p). Suppose -x - x = b. Solve -2*u + 0 - 8 = x for u.
-4
Let n = -75 + 75. Suppose 0 = -2*c - 5*o + 16, 5*c - 2*c = 5*o - 1. Solve n = -c*h - 2 - 4 for h.
-2
Let q be (15 + -6)*4/6. Solve 3*v + q = 6*v for v.
2
Let n = -23 - -26. Suppose n*y - 4*y - 2 = d, -2*d = -4*y + 4. Solve y = -2*a + 3 + 1 for a.
2
Let s(u) = 2*u - 6. Let x be s(4). Solve -x*n = -0*n - 6 for n.
3
Let g = -14 + 14. Let k be 6/4*(2 - g). Solve 0 = k*f - 8*f for f.
0
Let u = 29 - 28. Solve -v = u + 1 for v.
-2
Suppose 0 = -10*n + 8*n + 10. Solve n*w - 6 - 19 = 0 for w.
5
Suppose 5*q + 3 = -3*s - 9, 5*q - 3*s - 12 = 0. Solve -3*v - 4 - 8 = q for v.
-4
Let q = -76 + 76. Solve 3*g + 0 - 6 = q for g.
2
Let v be (14 + 12/(-1))*(-5)/(-2). Suppose f = 2*f. Solve v*a + f = 5 for a.
1
Let a(r) = 2. Let i = 5 + -2. Let s(c) = c - 2. Let h(p) = i*s(p) + 2*a(p). Let u be h(4). Solve 3*z + u = -2*z for z.
-2
Suppose r = 2*s - 13, 2*s + 2*s = -r + 17. Solve 5*i - 5 = s for i.
2
Let y = 0 - -1. Let m = -35 - -40. Solve -2*l + y = -m for l.
3
Let x(s) = s**3 + 7*s**2 - 8*s - 6. Let l be x(-8). Let k = -4 - l. Suppose 0 = -k*h + 8. Solve 5*z = -1 - h for z.
-1
Let i be (-10)/2 + 3 - -5. Suppose -4*s = -4*g, -2*g - g - i = -4*s. Solve d = -0*d + g for d.
3
Suppose -l - l + 11 = j, 3*l = -5*j + 69. Suppose j = -2*q + 5*q. Solve 20 - q = -5*n for n.
-3
Let o be 2*((-1 - -2) + -8). Let i = -6 - o. Solve -k - 3 + i = 0 for k.
5
Let n(i) = -i + 18. Let c be n(8). Solve c = -4*l - 6 for l.
-4
Suppose 0*w = -w. Let c be 10/(-20)*w/(-2). Suppose n = -c*n - 5*z - 24, 4*z = 4*n - 24. Solve 3*r = -n - 14 for r.
-5
Suppose -12 = -5*f + 8. Solve f*m + 2 = -18 for m.
-5
Suppose 2*d - 3*h = -3*d + 88, -5*h + 100 = 4*d. Let k be 4/20 + 56/d. Solve -k*b + 1 = 16 for b.
-5
Let t = 11 - 10. Let r be 2/4*-2 + t. Solve r = -5*w + w for w.
0
Let g be -1*(-1)/(-1)*0. Solve n - 1 - 4 = g for n.
5
Suppose -5*g = 62 - 17. Let q(k) = -k**2 - 11*k - 9. Let c be q(g). Solve -2*b + 1 - c = 0 for b.
-4
Let g(i) = i**2 + 1. Let n be g(-3). Let p = n - 7. Let o = p + -3. Solve v - 3 - 2 = o for v.
5
Let s be ((-24)/(-4) + -1)/1. Let j be (-132)/(-30) + (-2)/s. Solve j*r - 2 + 14 = 0 for r.
-3
Let r be 10/(-25) + (-2)/(-5). Solve r*x + 3*x - 15 = 0 for x.
5
Let n = -11 - -16. Solve 4*o = n*o for o.
0
Let z = -14 + 12. Let p(x) = -x**3 - x**2 - 2*x + 1. Let r be p(z). Solve 2*g + r = -g for g.
-3
Let p = -7 - -6. Let k be -3*(-10 + 3) + p. Solve 8 - k = -3*q for q.
4
Let i be 4/(-6)*(-3)/1. Let q be (9/(-2))/((-18)/(-48)). Let c = -5 - q. Solve -c = i*x + 1 for x.
-4
Let v = 3 + -1. Suppose -2*u + v*h + 7 = 1, -6 = 2*u + 2*h. Suppose -t - 5*o + 15 = u, 0 = t + 3*t - 5*o - 10. Solve -2*y - t = -y for y.
-5
Let h be 5 + (2 - 2)/(-3). Let x be 59/4 + 3/12. Let l = -2 - -4. Solve l*o + x = h*o for o.
5
Suppose -2*g + 0*g = 14. Let o = 10 + g. Solve -6*i = -o*i + 9 for i.
-3
Let p(w) = 3*w - 2. Let b be (5/(-15))/((-2)/12). Let s be p(b). Solve 0 = s*x + 4 for x.
-1
Suppose 0 = 7*b - 3*b - 12, -k + 5*b = 13. Solve -o - k = -6 for o.
4
Let i = 3 - -3. Let s be 4/5*15/i. Let r(f) = -f**3 - 5*f**2 + 2. Let k be r(-5). Solve -k = -s*w + 3*w for w.
-2
Let l(a) = -a**3 + 7*a**2 + a - 3. Let p be l(7). Solve 16 = -p*f - 0 for f.
-4
Suppose 0 = -3*r + 31 + 29. Let m(i) = i**2 - 7*i + 8. Let q be m(6). Let g be -4*(-2 - (-3)/2). Solve -q*k = g*k + r for k.
-5
Let m(l) = -l**2 - 7*l + 4. Let o be m(-6). Suppose 2*f = -j - 0*j - 5, -2*j - o = 3*f. Solve -3*s - 2 - 10 = f for s.
-4
Let y be 0 - ((-4)/2 + 2). Solve 0 = -y*a + 5*a for a.
0
Let r(l) = -l. Let h be r(-2). Solve 4 = h*t - t for t.
4
Let v(n) = n**3 + 2*n**2 - 3*n + 3. Let m = -4 - -1. Let k be v(m). Let w = -415 - -416. Solve w + 2 = k*o for o.
1
Let t(w) = -w**3 - w**2 - w. Suppose 3 = -3*o, -4*j = 2*o + 2*o + 4. Let y be t(j). Let s(r) = -5*r + 1. Let h be s(-2). Solve 5*q + h - 36 = y for q.
5
Suppose 3*a - 10 - 35 = 0. Let s be (-24)/(-30)*(-30)/(-4). Let i(x) = x**3 - 7*x**2 + 5*x + 6. Let f be i(s). Solve f = 3*g + a for g.
-5
Let h be 0*1/1 - -2. Let a(j) = j**3 - 3*j**2 + j + 2. Let s be a(h). Solve x + s*x = 2 for x.
2
Suppose h + 5*d + 0*d + 5 = 0, -4*d - 4 = 5*h. Let g(t) = -t**3 + t. Let j be g(h). Solve -3*s + 8*s - 25 = j for s.
5
Let n(x) = x**3 - 13*x**2. Let f be n(13). Solve 5*s - s - 12 = f for s.
3
Let q = 9 - 20. Let v = -8 - q. Solve -v*x = -6 - 0 for x.
2
Let d = -43 + 44. Solve -4*v + 7 = -d for v.
2
Let m be 232/(-58)*(1 - (-14)/(-8)). Solve 10 = w - m*w for w.
-5
Let g = -3 - -5. Let p = -1 + g. Let x be (0 + 0)/(p/(-1)). Solve x*m = m for m.
0
Suppose 0 = -13*b + 15*b - 8. Solve b*q + 10 = -q for q.
-2
Suppose 2*x - 20 = -3*x. Suppose 0*g + 12 = 4*g + 4*p, -3*g + 30 = -x*p. Solve -5*u = -3*u + g for u.
-3
Let s(u) = -u**3 - 4*u**2 - 2*u - 1. Let n be s(-3). Let m = n - -8. Solve k + m = -1 for k.
-5
Let o be -2*((-3)/(-6) - 1). Let g = o - 2. Let v be g*6/(-3) + 0. Solve -10 = v*s + 3*s for s.
-2
Suppose -3*n + 29 = -4*a, 5*n - a - 5 = -3*a. Let q(u) = -u**3 - 2*u**2 + 2. Let m be q(-2). Suppose -n*l = -2*l - m. Solve l*y = -y - 3 for y.
-1
Let y = -5 - -16. Let k = 15 - y. Solve -3*x + 13 = k for x.
3
Let l = 0 - 0. Solve l*k - 4*k - 20 = 0 for k.
-5
Let n = 23 - 13. Let b = n + -8. Solve -5*v + 3 = -b for v.
1
Let n = 9 - 7. Suppose 7 = 4*c - n*w - 3, 3*c - 7 = w. Solve -3*h - 10 = c*h for h.
-2
Let m = -1 - -1. Solve 4*f + 4 + 0 = m for f.
-1
Let c be (-132)/(-30) + 4/(-10). Solve 0*t - 2*t = c for t.
-2
Let f(j) = -j**2 - 7*j. Let h be f(-6). Solve -25 = k - h*k for k.
5
Let a(j) = j**2 + 6*j - 26. Let t be a(-9). Solve f + 0 + t = 0 for f.
-1
Suppose -15 = 4*l - 0*f + 3*f, 5*f = -3*l - 25. Let b be (-3 + 3)/(3/3). Solve -4*h + b*h = l for h.
0
Suppose 2*b = 17*b + 7*b. Solve b = -0*k + k + 1 for k.
-1
Suppose 0 = -t + w + 5, -3*w = 2*t + w + 8. Solve 0 = -3*j - 7 - t for j.
-3
Suppose p - 2*p + 2 = 0. Suppose -s = -3*y + 5, 5*y = p*s + 8 - 1. Solve -s*f - 18 + 2 = 0 for f.
-4
Let u be (-1 - (-4)/3)*6. Suppose 2*c + 2*x = -u*x, 4*x = 5*c. Suppose 2*s + c*s = 12. Solve -s*a - 15 = -3*a for a.
-5
Suppose -g - 50 = 4*g. Let d be (-15)/25 + (-56)/g. Solve 0*o - d = -o for o.
5
Let v = 3 + -5. Let s be v/4*(0 - 0). Suppose -2*b - b = s. Solve b = -f + 1 for f.
1
Let k(w) = -w + 7. Let z be k(5). Solve 0 = -3*s + 11 - z for s.
3
Let s(o) = -3*o**3 + 3*o**2 - 2*o + 1. Let t(w) = -w**3 + 4*w**2 - 2*w - 2. Let c be t(2). Let j be s(c). Let n be 2/(-5) - 186/j. Solve -m - n = 3*m for m.
-3
Let o(q) = -q**2 + 9*q - 7. Let j be o(8). Let l be ((-2)/6)/(j/(-9)). Solve 0 = l*c + 5 - 2 for c.
-1
Suppose 2*n = -u + 86, 15 + 77 = u - 4*n. Suppose -d = 2*d - 2*m - 133, 2*m + u = 2*d. Suppose -5*h + d = -5. Solve -h = -r - r for r.
5
Let z be -2 + 18*2/6*1. Solve -z*o - 8 = -4 for o.
-1
Let f(d) = -d**2 + 9*d - 8. Let v be f(8). Suppose 5*l - r + v*r - 38 = 0, -2*r = 6. Solve l*u = 3*u for u.
0
Suppose -5*y + 115 = -0*y. Suppose g + 4*g + 30 = -4*d, -4*g - y = 3*d. Let r be (g + -1)/(3/(-10)). Solve 0*f - 5*f = r for f.
-2
Let s(f) = -f**2 + 8*f. Let n be s(8). Suppose n = -t - 2*t. Let c = 1 + 