Solve -2*t + 5*t - z = 0 for t.
4
Let w(r) = -3*r**3 - 22*r**2 + 33*r - 6. Let t(d) = -d**3 - 7*d**2 + 11*d - 2. Let o(u) = 8*t(u) - 3*w(u). Let m be o(-11). Solve 0 = n - 3*n + m for n.
1
Let r(m) = -m**3 + m. Let c be r(-1). Suppose 5*d - 20 = -c. Suppose 5*z + d = 24. Solve 2*j + 4 = z*j for j.
2
Let x(u) = 7*u - 3. Let t be x(-3). Let p(z) = -z**2 - 25*z - 14. Let g be p(t). Solve -4*n = -6*n - g for n.
-5
Suppose 52 = v + v. Let a = 29 - v. Solve a*x - 3 + 6 = 0 for x.
-1
Let g be (-131)/(-11) + (-8 - -14)/66. Solve -4*a + a - g = 0 for a.
-4
Suppose 3*w - 5 = -2*o, -2*w + 4 = -0*w + 2*o. Let s = w - 1. Solve s = 5*m - 0*m for m.
0
Let u be (13/1)/((-1)/(-1)). Let h(a) = -a**2 + 15*a - 22. Let m be h(u). Suppose -x + 35 = m*x + 5*v, -4*v = 2*x - 12. Solve 0 - x = 2*o for o.
-4
Suppose -4*u + 85 = w + 8, -5*u = -w - 103. Let i be (u/15)/(3/18). Let m be 0*(28/i - 4). Solve m = -y - y - 6 for y.
-3
Let k(w) = w**2 - w. Let b be k(1). Suppose -2*g + 1 + 5 = b. Solve 0 = -g*n - n + 4 for n.
1
Let r(d) = d**3 - 6*d**2 - 9*d + 14. Let f be r(7). Suppose 4*a + 26 = 6*a - t, -2*a - 5*t + 26 = f. Suppose -5*j + a = -7. Solve -13 - 3 = -j*q for q.
4
Suppose -17*i = -18*i + 3. Let h be (3/i - -9)*1. Solve h = k + k for k.
5
Suppose 6*o = o + 575. Solve -o + 95 = -5*k for k.
4
Let k be (3 - 4) + 2 + 63. Let r = 68 - k. Solve r*f = 6*f - 8 for f.
4
Let l = 9 - -15. Suppose -3*v + 2*q + 2 = -21, -4*v = -q - l. Suppose -2*y - y - 16 = -v*h, 4*h - 20 = 0. Solve 0 = y*k - 5*k + 10 for k.
5
Suppose 5*d = c + 2*c + 167, -1 = -d. Let h = c + 54. Solve 2*f + 0*f + 4 = h for f.
-2
Let d(b) = b**2 - 4. Let r be d(0). Let h be (-4)/(-16) - 23/r. Solve -4*f + 10 = -h for f.
4
Suppose -5*v + 2 = 2*g, -5*g - 14 = 8*v - 5*v. Suppose 7 = 3*h - 0*h + 5*p, 5*h - v*p = 22. Solve -10 = -3*d - h for d.
2
Suppose s = -4*q + 32, -5*s + 8*s - 64 = -4*q. Solve s + 0 = -4*m for m.
-4
Let a = 11 - 9. Let s(d) = -d**3 - 9*d**2 - 7*d + 1. Let z be s(-8). Let g = z + 14. Solve 0 = a*q + 1 - g for q.
3
Let b = 48 - 40. Suppose 18 = -4*s - 18. Let g(z) = -z**3 - 10*z**2 - 8*z + 9. Let u be g(s). Solve -2*w = -u - b for w.
4
Suppose 2*m - 13 = -5. Suppose 5*d - 64 = -3*d. Solve -4 = -m*b - d for b.
-1
Let w = 8 - 6. Let o(h) = -5*h - 2. Let g = -15 + 14. Let v be o(g). Solve -w = v*l - 8 for l.
2
Let p(k) = k**3 - 13*k**2 - k + 11. Let r be p(13). Let w be r/12 + 50/12. Solve 1 = -5*u - w for u.
-1
Let x(r) = r**2 - 44*r + 467. Let m be x(29). Solve -m*t = -37*t - 25 for t.
-5
Suppose 0 = t - g - 1, t = 4*g - 2 - 3. Suppose 3*b + 2 = -25. Let h be 5 - b/(-2) - (-2)/4. Solve -t - h = -a for a.
4
Let n(f) = -f**2 - 6*f - 1. Let q be n(-4). Solve 5*v + q = 2 for v.
-1
Let g(c) = -c**2 + 9*c + 1. Let v be (-845)/(-91) + 2/(-7). Let w be g(v). Suppose -3*u - y - 1 = -0, 4*u + y + w = 0. Solve -6*q + q = u for q.
0
Suppose 5*j = -0*j + 10. Suppose -2*g + 18 = j. Let z be (-27)/(-6)*g/3. Solve 0*i - 3*i + z = 0 for i.
4
Let x be (-2 + 2)/(6/(-6)). Suppose x*d - 12 = -6*d. Solve -1 = -c - d for c.
-1
Let u(f) = 21*f**3 + 48*f**2 - 48*f**2 - 1. Let g(m) = m - 2. Let t be g(3). Let d be u(t). Solve 4*p + d = -0*p for p.
-5
Suppose 3 + 1 = -j + z, 5*z = 20. Solve -5*y + 6 - 16 = j for y.
-2
Suppose 0 = 5*i, -4*i - 12 = -4*n - 0*i. Suppose 0 = 5*s - n*q - 91, 6*q - q = -5*s + 75. Solve s = -5*r - 3 for r.
-4
Let n be 18/(-36) + (-9)/(-2). Solve s + s = n*s for s.
0
Let a be (0/(-1))/(0 + 1). Suppose 0 = -y + 5*m + 24 - 7, 0 = -4*y + 3*m + 17. Suppose 14*v = y - 2. Solve v = -a*t + 4*t + 16 for t.
-4
Suppose -b = -2*f - 41, 5*f - 3*b + 6*b + 130 = 0. Let i = f + 43. Solve 3*t - i = -t for t.
5
Let p = 107 + -105. Solve -16 = -p*z - 6 for z.
5
Suppose -4*l + 31 = 3*y, 3*l - 7*l + 21 = y. Suppose n = 3*v - 2, 5*v + y*n = 3 - 13. Solve v = -i + 6*i - 5 for i.
1
Let s = -664 + 672. Solve -3*p = -s*p + 15 for p.
3
Let a(j) = j**3 - 4*j**2 - 6*j - 6. Let f be a(6). Let t = 43 - -5. Let g be (-6)/f + t/15. Solve 0*s - 12 = -g*s for s.
4
Let r = -302 + 314. Solve 0*n = -3*n - r for n.
-4
Let y = -219 + 219. Solve -23*o + 18*o + 25 = y for o.
5
Let a(c) = -c**2 - 10*c - 8. Let l be a(-4). Let z = l - 14. Suppose -29 = -z*p - 5*i, -p - i = -4*p + 1. Solve -p*t = 2*t for t.
0
Suppose -d = -6*d + 4*o + 30, 3*d = -4*o - 14. Solve -8*g + d*g = 24 for g.
-4
Let h be 6 - 4 - (-1 + -22). Let s = 30 - h. Solve s*i - 5 = 10 for i.
3
Let n(b) = -46*b - 220. Let a be n(-5). Solve a = 8*l - 3*l for l.
2
Let x(w) = -w**3 - 2*w**2 + 3*w - 3. Let h be x(-3). Let s be ((-44)/(-3))/((-2)/h). Let i be (-2)/((-72)/(-20) - 4). Solve s = -i*d - 3 for d.
-5
Suppose 3*z = 5*z + 34. Let x = z + 20. Let n = x + -2. Solve 2*r - 9 = n for r.
5
Let l be (-20*1 + 2)*20/(-8). Solve 7*p - l = 22*p for p.
-3
Suppose o - 1 = -0*o. Let w(z) = 7*z - 3. Let h be w(o). Solve h*q = 1 + 3 for q.
1
Let u be -2*5/10*0. Suppose 5*i - 5 = 0, u*v - 5*v = 5*i - 5. Suppose -k = -v*k. Solve n = -k + 5 for n.
5
Let k(j) = 6*j - j**3 - 7*j**2 + 8*j**2 + 3*j**2 + j**2 + 3. Let n(b) = -b**2 - 5*b + 6. Let y be n(-5). Let w be k(y). Solve w = -5*z - 7 for z.
-2
Suppose 24*f + f - 3075 = 0. Solve f*k = 118*k - 20 for k.
-4
Let s(i) be the first derivative of -3*i**2/2 + 4*i + 14. Let c be s(1). Solve -3*p = -4*p + c for p.
1
Let p(g) = 5*g**2 - 4*g + 3. Suppose 3*w + w = 8. Let x be p(w). Suppose d - x = -12. Solve 5*b - d*b - 8 = 0 for b.
4
Suppose -4*c = 2*l + 3*l + 45, 3*c = 3*l. Let z be 1*2/(l/(-5)). Solve z*o = -2*o for o.
0
Suppose 15*g - 16*g - 15 = -3*m, 3*g + 5*m - 25 = 0. Solve -166*i + 162*i - 8 = g for i.
-2
Suppose 3*j + 14 = 2*j. Let l = j - -36. Solve 4*z - l = -2 for z.
5
Let a(u) = 4*u**2 - 23*u + 21. Let q be a(9). Solve -134*o = -q*o + 12 for o.
3
Let q = 73 + -66. Suppose -4*h = -q*h + 9. Solve h = b - 0 for b.
3
Let b be (11 + (-33)/3)/2. Solve -12*k + 43 + 17 = b for k.
5
Suppose 12*d = -3*d + 210. Solve -9*r - 4 = d for r.
-2
Let c = -7 + 12. Suppose 2*w - w + c = 0. Let o = w - -7. Solve 0 = -o*b + 3*b - 3 for b.
3
Let g be ((-14)/(-35))/(2/(-5)). Let v = g + 11. Solve 0 = l + l - v for l.
5
Let w(j) = -j**3 + j**2 + 9*j - 6. Let v be w(3). Solve q + 16 = -v*q for q.
-4
Suppose 4*u = 10*u - 576. Let x = u + -95. Solve 19 + x = -5*q for q.
-4
Let m(o) = -o**2 - 6*o + 23. Let z be m(-8). Solve -20 = -z*j + 3*j for j.
5
Let u be (-14)/(-182) + -1 + (-12)/(-13). Solve u = z - 2 + 1 for z.
1
Suppose 0 = -6*n + 111 + 93. Solve 33*y - 1 = n*y for y.
-1
Let x(a) = 3*a**2 - 92*a - 122. Let u be x(32). Solve 3*r = 5*r + u for r.
-3
Suppose -3*q = -12*q + 306. Suppose 2*n + 14 = q. Solve b = -b - n for b.
-5
Let s(f) = -2*f**2 + 17*f - 5. Let c(i) = i**2 - 17*i + 6. Let y(v) = 3*c(v) + 2*s(v). Suppose 24 = 13*l + 245. Let r be y(l). Solve -r*t = -4*t for t.
0
Suppose 0 = -3*m - m + 5*l + 14, -4*m - 3*l + 30 = 0. Solve -m*b = -3*b - 3 for b.
1
Suppose 81*l = 85*l - 12. Suppose 4*c = 4*h - 8, -2*c + h - l*h = -16. Solve -2*w + 25 = c*w for w.
5
Let b = -187 - -334. Solve -145*z - 6 = -b*z for z.
3
Suppose -2*a = a - 4*b - 25, -5*a = -2*b - 23. Let u be 0*(a - (-20)/(-8)). Let w(m) = -m**3 - m**2 + m + 10. Let y be w(u). Solve 0 = v + 4*v - y for v.
2
Suppose 3*u - 3*r - 12 = 0, r - 3*r + 32 = 3*u. Solve -7 = p - u*p for p.
1
Let n(f) = -f - 9. Suppose 8 = -0*t + 2*t. Let b be (2/t)/(2/(-44)). Let p be n(b). Solve -4*h - p = -6*h for h.
1
Let m(h) = h**2 - 12*h + 35. Let k be m(5). Let q be (2 + 0)/((-2)/(-4)). Solve k = -q*c - c - 15 for c.
-3
Suppose -56 + 378 = 2*o. Suppose -3*b - b - o = 5*m, m + 4*b = -45. Let l = -29 - m. Solve 6*s - 4*s + 8 = l for s.
-4
Suppose 0 = -54*l + 6*l. Solve 2*b + 17 - 7 = l for b.
-5
Let l be (-12)/9*(-1 + 4). Let h be -14 - l/(-4)*-2. Let v = h - -15. Solve 2 = t - v for t.
5
Suppose -1 = -2*i + 3. Suppose i*l - 2*b = -3*b + 9, 24 = 2*l + 4*b. Let s = 10 + -3. Solve s = -3*k - l for k.
-3
Suppose 3*b + 0*b + 5*q + 13 = 0, b - 2*q = 14. Suppose -d - d - b*t = -4, 0 = 3*d + 4*t - 6. Solve -3*h = d + 10 for h.
-4
Let r(p) = p**3 - 8*p**2 + 11*p + 10. Let y be r(6). Solve -y*l + 0*l + 16 = 0 for l.
4
Suppose -3*r + 3 = -a - 6, -5*a = -2*r + 6. Suppose 24*d = 50*d - 650. Solve a*q - 5*q - d = 0 for q.
-5
Let b(c) = -c**3 - 13*c**2 - 3*c - 23. Let n be b(-13). Solve -3*s + n = s for s.
4
Let v(j) = -j**2 - 25*j +