t*w - 0 + 16 for w.
-4
Let i(d) = -d**2 - 8. Let y be i(0). Let j = y - -11. Solve 2*v = j*v - 2 for v.
2
Let t(y) = 4*y**2 + 2 + 10*y - 14 - 5*y**2 + 0. Let a be t(8). Solve -a*o + o + 9 = 0 for o.
3
Suppose b - 5*v = -3*v + 2, -6 = -3*b - 2*v. Solve -b*x + 0*x = -8 for x.
4
Let i(h) = h + 11. Let t be i(-6). Let f(c) = -2*c - 16. Let x be f(-18). Solve -t = -5*a + x for a.
5
Let a be 3 + -4 + (36/2 - 0). Solve -a = 4*w + 3 for w.
-5
Let c(v) = -7*v - 2. Let p be c(-1). Solve 4*u - p*u = 0 for u.
0
Let d be -2 + (-1)/2 - 110/(-44). Solve -8 = -d*h - 2*h for h.
4
Let g(q) = -q**2 + 7*q + 11. Let v be g(8). Solve 15 = -v*l - 0 for l.
-5
Let s(p) = -p**3 + 8*p**2 + 8*p + 13. Let b be s(9). Solve -5*d + d = -b for d.
1
Suppose 4*s = -3*b + 28, -s - 29 = -4*b + 2*s. Solve -5*v + 2 = -b for v.
2
Suppose -2*b + 60 = 2*b. Solve r + b = 6*r for r.
3
Let w = 10 - 4. Let c be (-2)/w + (-5)/(-15). Suppose 12 = -c*i + 2*i. Solve -i = 2*h - 5*h for h.
2
Let j = -5 - -17. Solve 0 = -n - 3*n + j for n.
3
Let c be (0/1)/(15/15). Solve 3*i - 2*i - 2 = c for i.
2
Let r(x) = -3*x**3 - 2*x**2 - 2*x - 1. Let c be r(-1). Suppose 5 = c*u + 17. Let m be u/21 - (-23)/7. Solve -6 = m*s - s for s.
-3
Suppose 145*n = 143*n + 8. Suppose 0 + 2 = 2*x. Solve -x = n*y + 3 for y.
-1
Let g(j) = j + 22. Let v be g(-17). Solve -v*h + 4 = -6 for h.
2
Suppose o - 10 = -2*n - 2*n, -3*o - 21 = -5*n. Suppose c + n*c = 0. Solve -4*q + 3*q + 3 = c for q.
3
Let r be (-6)/(-24)*1*4. Suppose -2*c - 3 + r = 0. Let j be 10/((1 + -3)*c). Solve j*o = 26 - 1 for o.
5
Let o = -56 + 34. Let q be (-12)/16 + o/(-8). Let d be -1*(0 + 1)*0. Solve d = -3*s - q*s + 15 for s.
3
Let j = 66 - 66. Solve -2*l + 3*l - 5 = j for l.
5
Let c be 1/3*(0 - 0). Solve c = -9*p + 5*p + 20 for p.
5
Let i = 21 + -13. Let o be ((-4)/i)/(1/(-6)). Solve o*h + h = -16 for h.
-4
Suppose l + 3*l + 8 = 0, -2 = -c - 2*l. Let n(r) = -r**2 + 7*r - 3. Let k be n(c). Let y(b) = b - 2. Let v be y(5). Solve -6 - k = v*u for u.
-3
Suppose 21*c = 17*c. Solve 0 = -2*v - 4 - c for v.
-2
Suppose -4*k = -w + 19, -5*k = -11 + 31. Suppose -2*t - w = -3*t. Solve 3*f - t = -9 for f.
-2
Let d be -5*-2*(-6)/(-20). Suppose 0 = 5*x - 5, 4*x - 4 = 4*i - 20. Suppose 0 = -i*t + 11 - 1. Solve 4*y - d*y - t = 0 for y.
2
Let l(g) = g**3 + 12*g**2 + 11*g. Let t be l(-11). Let i be (0 - t)*(-2 + 3). Let m = 9 + -4. Solve 5*x + m - 20 = i for x.
3
Suppose -4*q + 16 = -4. Suppose 0*g = q*g - 10. Solve g*d = d + 1 for d.
1
Suppose -n - 6 = -4*p, 0 = 6*p - 4*p - 2*n - 6. Let f be p*-12*8/(-12). Solve 8*y - f = 4*y for y.
2
Suppose 4*k - 3*t - 18 = 0, -5*k - 2*t = -1 - 10. Solve 9 = 3*i + k for i.
2
Let q = -14 - -30. Suppose -y = -3*y + 5*l + 5, 4*y - 4*l - q = 0. Let s = y - 5. Solve s = f + 2 + 1 for f.
-3
Suppose -5*q - 3*o = 41, q + o = 4*o - 1. Let s = q + 4. Let l = s + 5. Solve c - 3 = l for c.
5
Let y(x) = 2*x + 53. Let z be y(-23). Solve z*o = 6*o - 3 for o.
-3
Let q(s) = -s**3 - s**2 + 2*s + 3. Let h be q(0). Solve -h = 2*n + 5 for n.
-4
Let o be 1 + -2 + -2 + 2. Let p = o - -5. Solve -p*s - 19 = -7 for s.
-3
Let k be -2 - -1 - (-2 + 1). Let x(i) = 6*i**2 - 2*i**2 - 3*i**2 - 2*i**3 + i. Let d be x(-1). Solve 0 = -d*n - k*n for n.
0
Let p(l) = 7*l**2 + 9*l - 7. Let d(w) = -4*w**2 - 5*w + 4. Let v(k) = 5*d(k) + 3*p(k). Let x be (-22)/8 - 4/16. Let u be v(x). Solve -f = f + u for f.
-1
Let z = -8 + -1. Let r be (-65)/z - (-2)/(-9). Let g(q) = q**2 - 7*q + 1. Let b be g(r). Solve k - b = 2*k for k.
-1
Suppose 2*z = q + 46, -q + 50 = 2*z - 3*q. Suppose -4*t + z - 5 = 0. Let d be 2/(-3)*-6 + 0. Solve t*j + d = -0*j for j.
-1
Suppose -2*y - 5*r = -19, -r + 12 = 3*r. Let g be (-3)/(0 + (-3)/y). Solve -g*x + 20 = -6*x for x.
-5
Let q(l) = -l**3 + 3*l**2 + 6*l - 5. Let s be q(4). Solve s = f - 2*f for f.
-3
Let f be ((-16)/(-6))/(14/21). Solve 0*o = -o - f for o.
-4
Let j be (-13)/(-4) - 6/(-8). Let n be (-6)/(-3)*6/j. Solve 0 = -b - n*b + 20 for b.
5
Let v be 1 - (0 - -6)/(-2). Suppose 4 = h + 2*k + 11, v*k = 2*h - 26. Solve p = h*p - 4 for p.
2
Let c(q) = 3*q + 12. Let o be c(12). Let g be 16/o + (-2)/6. Solve 4*v + 6 - 2 = g for v.
-1
Let h = -1 - -4. Solve -3*s - h = -2*s for s.
-3
Let z(v) = -v - 3 - v**2 - 3*v - 2*v. Let m be z(-7). Let a be -1 + 3 + -2 - m. Solve -4*c + a = 30 for c.
-5
Suppose 5*c - c + 12 = 0. Let t = 3 + c. Solve 16 = 4*j - t for j.
4
Let v be (-8)/3*12/(-8). Suppose -3*f + 90 = -l, 2*f + f = v*l + 90. Let p = 50 - f. Solve 0*r = -5*r - p for r.
-4
Let j be (-11)/(-1) + (-3 - -1). Let s = j - 4. Suppose 5*r - 2*o + 6*o = 15, -r = -s*o - 3. Solve n = -r*n for n.
0
Let o(b) = 4 - 4*b**2 + b**3 + 5*b - 2*b**3 + 3. Let y be o(-5). Suppose -4*i + z = -3, 2*i + 3 - y = -2*z. Solve 2*k + 11 = i for k.
-5
Let y(q) = 4*q**3 + 5*q**2 - 7*q + 8. Let m(o) = 5*o**3 + 4*o**2 - 6*o + 7. Let f(h) = -3*m(h) + 4*y(h). Let t be f(-9). Solve i = 5*i + t for i.
-5
Let t(w) = -w**2 + 6*w - 4. Let v be t(3). Suppose 4*f - v = -f. Solve -2*g - 7 = f for g.
-4
Let v be ((-81)/4)/(12/(-32)). Suppose 174 = 5*m + v. Solve -4*r + m - 4 = 0 for r.
5
Let h(n) = 2*n - 5. Let d be h(5). Suppose 13 = 3*f - 2*i + 4*i, f - d*i + 7 = 0. Solve -8*q - 5 = -f*q for q.
-1
Suppose -5*n + 3 = -2*n. Let o be (-1 + n - 2) + 8. Let h be (-2 + 5)/(o/10). Solve b - 1 = -h for b.
-4
Let v = -17 + 32. Suppose 0*g = 2*g - 16. Suppose z = 2*i - 3*i + g, 4 = 2*i. Solve -z*h = -h + v for h.
-3
Suppose x + 5*t - 21 = 0, -2*x - 5*t = -0*x - 27. Solve -3*a + x + 6 = 0 for a.
4
Suppose -6*v + 3*v + 7 = -5*d, -5*d - 13 = -2*v. Let n be 0 + (-3 - (v + 1)). Solve -2*k - 2 - n = 0 for k.
-2
Let t = -7 - -10. Let q = -25 - -57. Suppose -7*f + t*f + q = 0. Solve -4*s = -2*s - f for s.
4
Let s = 21 - 11. Solve 0 = -2*h - 3*h + s for h.
2
Let z be (-1)/(-1) + 6/2 + -2. Solve -4*q - z = -22 for q.
5
Let w be 3/(-15) - 78/(-15). Solve 5*y = w + 10 for y.
3
Let y(h) = -h + 4. Let p be y(0). Suppose -p = 5*k - 24. Suppose 4*m + m + k*x = 0, 4*x = 3*m - 32. Solve 2*z = m*z + 4 for z.
-2
Suppose -4*p + 5*f = -5, -2*p - 5*f = 6 - 1. Solve m - 3 = -p*m for m.
3
Let g(w) = 3*w - 29. Let s be g(12). Solve -s + 4 = 3*n for n.
-1
Let w be 2/3 - (-64)/12. Let s be 1/w*3*0. Solve s = 3*z - 7*z - 12 for z.
-3
Suppose -u + 4*m + 39 = 2*u, 0 = 2*u - m - 21. Solve -u + 1 = 2*f for f.
-4
Suppose -4*n - 5 = 15. Let s(d) = d**3 + 5*d**2 - 6*d - 5. Let q be s(n). Suppose q = j + 3*f, 0*f = 4*f. Solve -7*i + j = -2*i for i.
5
Let c(a) = -a**3 + 5*a**2 - 4*a - 5. Suppose 3*w - 12 = -0*w. Let m be c(w). Let y be (-10)/m + 2/(-1). Solve y = -x - x + 4 for x.
2
Suppose -s - s = -22. Suppose -s - 14 = -5*h. Solve -6 = 2*q - h*q for q.
2
Let b(j) = -j**2 + 3. Let r be b(0). Suppose r*h - 8 = 2*h. Suppose l + 3 = h. Solve -l*f - 2 = -3*f for f.
-1
Let z be ((-87)/(-27) + 14/(-63))*1. Solve -8*u = -z*u for u.
0
Suppose -5*w + 10*w - 201 = v, -4*v - 84 = -2*w. Suppose 4*x = -x + w. Solve 8 = -4*k + x*k for k.
2
Let j be (-62)/(-3) - -3*(-4)/(-36). Solve -j + 1 = 5*w for w.
-4
Let d(r) = 2*r - r**3 - 3*r**2 + 4*r**2 - 4 + 2*r**2. Let g be d(3). Let a be (6/4)/((-15)/(-20)). Solve -g*u = a*u - 12 for u.
3
Let x = 6 - 7. Let o be (30/(-75))/(x/10). Solve -o = h + 1 for h.
-5
Suppose 5*j - 5 = 0, j - 71 = -6*d + d. Let v = d - 7. Solve -3*l = -v*l - 20 for l.
-5
Suppose 3*r + 1 - 16 = 0. Suppose 10*s = 5*s + 40. Solve 3*j = r*j + s for j.
-4
Suppose -2*c = -w - 13, -2*c - 23 = -4*c - w. Let m be ((-24)/(-18))/((-1)/c). Let v be m*-2*(-2)/(-12). Solve 9 = -v*s - 7 for s.
-4
Let t(m) = 7*m**2 - 1. Let r be t(-1). Suppose 2*v + r = 4*v. Solve 4*s = s - v for s.
-1
Let x(r) = -2*r - 2. Let o(q) = q**3 + 3*q**2 + 4*q + 1. Let h be o(-3). Let i be x(h). Solve -s - i = -5*s for s.
5
Suppose -4*n - 5 = -13. Suppose -4*h - 3*m + 4 = m, -2*h + 16 = -5*m. Suppose j + 5*w = w + 3, w = h*j - 9. Solve n*y - 15 = -j*y for y.
3
Let h(s) = s**2 + 14*s + 3. Let k be h(-14). Solve 15 = k*r - 6*r for r.
-5
Suppose -6*i + 3*i + 22 = -4*m, 5*i - 33 = 3*m. Let p be 3/2*(-4 + i). Let r = p - -1. Solve -q = r*q for q.
0
Suppose -1 = -v - 3. Let c be ((-3)/v)/((-12)/32). Let p be 10/4*(-8)/c. Solve 0 = -p*t - 4 + 29 for t.
5
Suppose -7*j = 31 - 52. Solve j - 1 = 2*s for s.
1
Let u be 17/(-34) + 11/2. Solve u*n - 1 + 16 = 0 for n.
-3
Let n(h) = -h + 1. 