t w be -2 - -1 - (-1 + x). Let o be (12/7)/(-3)*w. Solve 1 = o*t - 19 for t.
5
Let f be 8/(-6)*3/(-2). Let i(v) = -2 + v**2 + 26*v - 23*v - 2. Let y be i(1). Solve -f*b = -y - 4 for b.
2
Suppose -5*h - 20 = 0, 22*i - 18 = 17*i + 2*h. Let y = -21 + 31. Solve -i*r = -0*r + y for r.
-5
Suppose -14*u = -23*u + 9. Let o be (-4)/(-12) + (-38)/(-3). Solve u = 3*x + o for x.
-4
Let o(s) = 8*s - 14. Let r be o(2). Solve 2 = -r*g + 8 for g.
3
Let x be -11 + (1 - -1) + -5. Let z(v) = v. Let s be z(x). Let t be 7/(s/(-12)) - 3. Solve -g - 2 - t = 0 for g.
-5
Let t(l) = 2*l + 8 + 0*l - 5*l + l. Let u be t(4). Solve u = -4*d + 8*d for d.
0
Let c = 435 + -417. Solve -4*r = -c + 10 for r.
2
Let y(d) = -18*d + 1. Suppose b + l - 12 = 3*l, -16 = -2*b + 2*l. Let h be -3 - (b - 2)*-1. Let m be y(h). Solve 5*z - m = -4 for z.
3
Let f(r) = -r**2 + 36*r - 202. Let l be f(29). Solve j + l = -1 for j.
-2
Let a be (-4)/6*-3*2. Suppose 0 = t - 0*t + z - 12, a*z - 8 = t. Let o(l) = -6*l**3 - 2*l**2 + 1. Let s be o(-1). Solve -t = -s*y + 7 for y.
3
Let w(p) = -2*p**3 - p**2 - 3*p + 2. Let f be (1/((-2)/(-3)))/((-3)/4). Let t be w(f). Solve -r = -6*r + t for r.
4
Let a = -1089 + 1092. Solve -a = s + 1 for s.
-4
Let g = 367 - 348. Solve 0 = g*r - 22*r + 12 for r.
4
Suppose 188 = 3*o + 503. Let i be 4/(-30) - 14/o. Solve i = 4*t + 9 + 3 for t.
-3
Suppose 4*j - 16 = -4*r, 5*j - 4 = r + 4. Solve 6*y - 4*y = -r*y for y.
0
Let x(b) = 6*b + 11 + 2 - 5*b - b**2. Let i be x(0). Solve 7 + i = -4*l for l.
-5
Suppose -9*h + 120 = -3*h. Suppose h = 9*y + y. Solve -y*l + 9 = l for l.
3
Let s be (-9)/(14/20 + -1). Let n be (-4)/(-10) + 168/s. Solve -n*m = -m for m.
0
Suppose z - 4*f + f + 24 = 0, 0 = -2*z - 3*f - 21. Let w = z + 16. Solve -2*x + x = -w for x.
1
Let n = -2342 + 2356. Solve 0 = -2*p + n - 12 for p.
1
Let l(j) = j**3 + 3*j**2 - 2*j - 4. Suppose 0*o + 2*o + 6 = 0. Let q be l(o). Let g be (-1 - (0 - 0)) + q. Solve c + 0 + g = 0 for c.
-1
Let d = 23 + -19. Let x be (3 + d)*(-30)/(-35). Solve -2*w = w + x for w.
-2
Let z = -23 + 32. Let j = 13 - z. Suppose 4 = -0*c + 2*c. Solve c*h + j - 2 = 0 for h.
-1
Suppose 149 = 23*a + 11. Solve -10 + 16 = a*m for m.
1
Suppose -45*h + 646 = 61. Solve -5*f - h = -8 for f.
-1
Let x(s) = -72*s + 663. Let f be x(9). Solve -8 + f = 7*j for j.
1
Suppose 0 = -7*a + 40 + 79. Suppose -11*t = -a*t + 30. Solve 15 = -0*i - t*i for i.
-3
Let y(o) = -o**2 + 14*o - 12. Let i be y(13). Suppose 22*c + 50 = 32*c. Solve -c*w = 9 + i for w.
-2
Let o(n) = 3*n**2 + 50. Let q be o(0). Solve -54*z = -q*z + 8 for z.
-2
Suppose 15 + 2 = d. Let u = 316 + -291. Suppose -v - d = -u. Solve o + o = -v for o.
-4
Suppose 0*w = 4*w + 2*x - 16, 0 = w - 2*x + 6. Let c be 3/(6/w)*6. Let s be 4 + c - 3 - -4. Solve -9 = 5*k + s for k.
-4
Let u be (50/8)/((-1)/(-4)). Suppose 19*s - u*s = -36. Solve 0*b - s = -2*b for b.
3
Let u(b) = -3*b - 8. Suppose i - 2 = -0*i. Let x(a) = -2*a**3 + 2*a**2 + 2*a - 2. Let o be x(i). Let n be u(o). Solve 2*z + n = -3*z for z.
-2
Let k be (-28)/35 - (-28)/10. Solve 3*g + 17 = k for g.
-5
Let d be 11 + 4 + 0/((-12)/(-4)). Solve 3 = 12*s - d*s for s.
-1
Let b be 2/4 - ((-28)/(-14))/4. Solve b = 17*q + 2*q + 57 for q.
-3
Let f(w) = -3*w**2 - w + 10. Let t be f(-2). Solve -3*r + t*r - 6 = 0 for r.
-2
Suppose 16*f - 5*f = 8*f. Solve f = 6*t - 3*t + 6 for t.
-2
Let z = -24 + 15. Let c be z/(-6)*12/9. Suppose 3*l - 8 = c*o, -8 = 2*l + 4*o + 8. Solve l = 3*q + q - 20 for q.
5
Let c(h) = 5*h**3 - 10*h**2 + 18*h - 4. Let g(i) = i**3. Let m(y) = -c(y) + 4*g(y). Let b be m(7). Solve 0*r = 5*r + b for r.
-5
Let t(d) = -2*d - 8. Let h be t(-10). Let r be 2/(-7) + h/42. Suppose 0 = -r*u + 5*u - 20. Solve -k = -8 + u for k.
4
Suppose 0 = 4*w - 5*n - 13, -2*w + 1 = -5*n - 8. Solve t + w = -t for t.
-1
Let p(x) = -x**3 - 7*x**2 + 8*x + 4. Let b be p(-8). Suppose q = -4, 25 = 4*u - b*q - 11. Let t be (-180)/(-81) + 4/(-18). Solve t = j + u for j.
-3
Let n be 1*(3 + (-6 - -6)). Solve -n*u = -1 - 5 for u.
2
Let p(t) = -21*t + 6. Let l be p(2). Let u = l - -40. Solve u*s = s for s.
0
Suppose -2*h - 2 = -2*l, -12 = 5*l + 2*h - 45. Suppose -l*b + 3*g = -10, 0 = -3*b - 2*g + g + 6. Solve p + 3 = b for p.
-1
Suppose 0 = -3*h - 9, -3 + 18 = 3*q - 2*h. Solve 0*n = q*n for n.
0
Suppose 5*k + 14 - 4 = 5*j, 3*k = -j + 2. Suppose -3*o - j*s = -1, -4*o + 14 = -2*s - 6. Let q be 15 - 11 - (0 + 0). Solve 2*c = o*c + q for c.
-4
Let l(d) = 4*d - 2. Let o be l(2). Solve 2*v = -v + o for v.
2
Let z be -1*((-30)/8 - 3/(-4)). Suppose r + 4*k = -0 - 9, -29 = -4*r - z*k. Solve -v + r - 14 = 0 for v.
-3
Let t(i) = -2*i**2 - 66*i + 7. Let m be t(-33). Let a(p) = -p + 1. Let h be a(-7). Solve 5*w = -m - h for w.
-3
Let a be 1845/105 + 6/14. Let z(l) = -2*l + 13. Let s be z(9). Let m be (-2)/s - a/45. Solve 8*g - 3*g + 20 = m for g.
-4
Suppose -362*a + 388*a - 650 = 0. Solve 0 = -8*c - a + 9 for c.
-2
Suppose -2*m = -m - 4, -56 = -2*j - 3*m. Let k be 2/7 + j/(-77). Solve k*v = 2*v for v.
0
Let n be 1 + (-193)/3 - 8/(-6). Let z = -60 - n. Solve -z*t + 0*t - 10 = 0 for t.
-5
Suppose -1 = 44*s - 441. Solve p - 15 = -s for p.
5
Let a(i) = -i**3 - 3*i**2 - 3*i - 4. Let v be a(-3). Suppose -101 + 123 = 5*x - 2*p, -x + 6*p = -10. Solve -v*n + 4*n - x = 0 for n.
-4
Suppose -o - 20 = -6*o. Suppose -4*l = 5*t - 16, -2*t + l = o - 13. Solve u = -t*u - 10 for u.
-2
Let p be 4/7 + 430/301. Solve -3*g + p*g = 3 for g.
-3
Let j(s) = -6*s - 10. Let g be j(8). Let h = 59 + g. Solve -2*k + h = -k for k.
1
Let t(x) = 3*x**3 - 87*x**2 - x + 39. Let o be t(29). Solve p + o = 3*p for p.
5
Suppose 9 = 5*c - 2*c. Suppose 3*k - 138 = -i - 4*i, -i + 3 = 0. Let f = k + -36. Solve -f*b = -c*b - 8 for b.
4
Suppose 2*m = 5*m - 477. Let k = m + -159. Solve n = -k*n for n.
0
Let c = 171 + -140. Solve -36*z = -c*z + 10 for z.
-2
Let s = -14 - -18. Suppose 2*b + 2*i + 8 = 0, -5*b = -s*i + 5*i + 4. Suppose 5*t - 4*u - 21 = b, -4*t - 3*u = -t - 18. Solve -2*o = -t*o for o.
0
Suppose 35 + 84 = 7*s. Solve s = b + 20 for b.
-3
Suppose 64 = 7*i - 11*i. Let a(f) = -f**2 - 15*f + 31. Let g be a(i). Solve -3*x = -0 + g for x.
-5
Let f be 12 + 11/(33/(-12)). Solve 9*m = 11*m + f for m.
-4
Let d(l) = -7*l + 42. Let q be d(6). Suppose 3 = -2*z + 2*s - 5*s, -6 = 2*s. Solve q = -z*v - 3 for v.
-1
Let n(w) = -11*w**3 + w**2 + 3*w + 1. Let u be n(-1). Let h be (2 + (-24)/u)*-15 - 1. Solve -2*v = 5 + h for v.
-5
Let i = -52 + 48. Suppose -3*z - 2*w - 4 = -4*z, -6 = 3*w. Let f = z - i. Solve f = b + b for b.
2
Let g = -1685 - -1699. Solve 4*v = -g*v - 54 for v.
-3
Suppose 3*o = -10*o + 351. Suppose 4*k - 27 = 5*h, 5*k + 6 - o = 2*h. Solve -4*c = -5*c + k for c.
3
Suppose 2*w = 6 - 58. Let v = -25 - w. Solve r + 1 = -v for r.
-2
Let x = 1106 - 1103. Solve -x*o = 7*o - 10 for o.
1
Let c(h) = -h**2 - 18*h - 4. Let m be c(-20). Let p = 44 + m. Solve p = 4*x - 5 - 3 for x.
2
Let i(z) = -2*z + 11. Let y be ((-12)/(-4) - -7)/2. Let c be i(y). Solve c = 2*x - 1 for x.
1
Let f(m) = m**3 + m - 3. Let o be (-27)/(-6) - 6/4. Let t be f(o). Let u = -594 + 601. Solve 5*x + t - u = 0 for x.
-4
Let q = 63 - 58. Suppose -2*g = -q*a + 9, 0 = -4*a - 2*g - 2*g + 24. Solve -1 = -p - a for p.
-2
Suppose o - 9 = -0*o + m, -2*o - 4*m + 42 = 0. Solve 24 = o*s - 28 for s.
4
Let o = -19 - -21. Let c be 2/3*(1 + 2). Solve 0*z + c*z + o = 0 for z.
-1
Suppose -9 = -3*d - 3. Let n be ((-9)/(-18))/(d/52). Let p = n - 13. Solve -3*g + 5*g = p for g.
0
Suppose -y + r = -35 + 26, y = -5*r + 9. Solve -3*q + 6 = -y*q for q.
-1
Let i be ((-2)/4)/((-93)/558). Solve -6*w + 21 = i for w.
3
Suppose 0 = 3*t - 2*r + 1, -4*r - r = -t - 22. Suppose 4*f = 2*s + 6, -3 = -5*f - 2*s + 3*s. Suppose f = h - t. Solve 0 = -h*p - 20 + 5 for p.
-5
Suppose 0 = 4*f - 7*f. Let r be (f - 3)*133/(-57). Solve 0 = 5*p + r + 3 for p.
-2
Suppose -742*z = -746*z + 24. Solve -7*o = -z*o - 3 for o.
3
Suppose 0 = f - 3*k - 10, -f = -3*f - 5*k - 13. Let o be ((-2)/2 - -4)*f. Solve -o*q - q = -4 for q.
1
Let b(a) = a + 4. Let d be b(0). Let f be (-18)/9 - (1 - 0 - 10). Let i be 102/18 - (-4)/(-6). Solve -i = d*m + f for m.
-3
Suppose 2 + 9 = 4*y - c, -2*c = -4*y + 6. Suppose 5*z - 4*p = 16, y*z = -2*p - 3*p - 20. Solve 4*x + 4 + z = 0 for x.
-1
Let r be 1*(-4)/2 - (4 + -5). Let n be ((-3 - -3)/1)/r. Solve n