-2*u, 5*b - u - 31 = 0. Let j be (-10)/((-1 - 1)*1). Suppose -6 = 3*g - j*g. Solve -g*w = -w - b for w.
3
Let q(z) = -z**3 + 12*z**2 - 11*z + 14. Let u be q(11). Suppose -n - 3*w = -0*n - u, 0 = 3*n - 3*w - 66. Solve 5*r - 5 = n for r.
5
Let t = 5 + -5. Solve t = -d + 2*d - 1 for d.
1
Suppose 8*b = -38 + 62. Let t(u) = u**2 + 1. Let s be t(-2). Solve 0 = -2*x - b*x - s for x.
-1
Suppose 11 = 3*n + k, n - 3*k + 3 = -0. Let v(g) = -n*g + 2*g + 3*g - 6. Let q be v(6). Solve 0 = 3*m - q for m.
2
Let f be (-3)/(-1*9/6) + 10. Solve 5*m - f - 3 = 0 for m.
3
Suppose t + 6 = -3*x + 3, 3*t = -2*x + 5. Solve t*q - 5*q - 4 = 0 for q.
-2
Suppose -3*x = -0*x + 6. Let i = x - -6. Solve 5*p = 6*p - i for p.
4
Let z be (-3)/(-12) + 68/(-16). Let r(y) = -y**3 - 3*y**2 + 4*y + 2. Let g be r(z). Solve -m - 1 = -g for m.
1
Let z be -2 - (-3)/(6/14). Suppose z*a = 3 + 2. Let o be 4/(-3) + 285/45. Solve 2*f - a = o for f.
3
Let b(s) = s**2 - 8*s. Let n be b(8). Suppose -3*r = -6*r + 24. Solve -4*w + n = -r for w.
2
Suppose 2*p - 5*l - 23 = 0, 2 = 3*p - p + 2*l. Let a be ((0/1)/p)/(-2). Solve -5*x + 5 + a = 0 for x.
1
Suppose -4*y - r + 1 = -2*r, -5*r = 5*y + 5. Suppose y = -2*i + 10, i - 125 = -2*k - 3*k. Suppose -3*z + k = -4*m, 6 = 4*z - z + 2*m. Solve -15 = h - z*h for h.
5
Suppose -5*x - 5*v + 45 = 0, x + 21 = 7*v - 2*v. Solve 4 = -x*a + 5*a for a.
4
Suppose 9 = 4*d - 51. Let r be (-2)/(-5) + (-23)/(-5). Solve -d = r*h - 10*h for h.
3
Let x(n) = -n**3 + 5*n**2 + n + 2. Let l(c) = c**3 - c - 1. Let y(p) = 2*l(p) + x(p). Let w be y(-5). Let j = 10 - w. Solve -4 = 4*t - j*t for t.
4
Let d(y) = y**2 + 1. Suppose 4*j + 4*r = 0, -j - 4*r - 3 + 6 = 0. Let w be (2 + -3 + 2)*j. Let l be d(w). Solve o - l*o = -3 for o.
3
Suppose -3*d = -u - 5, -1 + 3 = 2*u - 2*d. Solve -u*f + 0*f = 4 for f.
-1
Let q(u) = -u**2 + 4. Let c be 2 + 1 + (-4 - -1). Let l be q(c). Solve -l*z + 16 = -0*z for z.
4
Let q(x) = 2*x + 2. Let j(o) = o**2 + o. Let d be j(-2). Let s be q(d). Solve 2*w - 4 = s for w.
5
Let q(n) = 1. Suppose 0*s = -s - 4. Let y(h) = -h. Let t(r) = s*q(r) - y(r). Let x be t(4). Solve x = o + o + 4 for o.
-2
Suppose -2*w - 1 = -9. Suppose 0 = w*t - 4*c - 28 - 0, 5*c = -15. Suppose -t*y + 26 = 3*z, -2*z - 4*y + 14 = -2*y. Solve -z*b = -8 - 2 for b.
5
Let w be 4/24 - (-41)/6. Suppose -13 = -5*h + w. Suppose -5*y - 15 = -5*p - 0, 3*y - 12 = -h*p. Solve q + 2 = p for q.
1
Suppose 4 = -3*q - 5. Let t = 7 + q. Solve -t*l + 1 = 5 for l.
-1
Let q be 8*(1 - (-2)/(-4)). Suppose -q*k = -2*k - 10. Suppose 0 = -d + 5*o - 15, k*d - 3*o = -5*o + 6. Solve b - 4*b = d for b.
0
Let w be (-32)/(-10) - (-8)/(-40). Solve w*k = 8*k - 25 for k.
5
Let b(j) = -j**2 + j + 3. Let r be b(0). Let g = 24 - 40. Let u = g - -16. Solve u = r*z - 2*z - 2 for z.
2
Suppose 0 = -5*n + 4*n + 6. Suppose r + 15 = n*r. Solve -r*k + 0*k = 0 for k.
0
Let r be 7 - ((6 - 1) + -2). Solve -w - w = -r for w.
2
Let p = 11 + -10. Solve -7 + p = -2*i for i.
3
Let f be (-6)/(-1)*(-4)/(-12). Suppose 5 = 2*n - 1. Suppose n*u - 17 = 13. Solve -3*h + u = -f for h.
4
Suppose -3 = 2*n - 3. Solve -2*r + n*r = 2 for r.
-1
Let z(u) be the third derivative of -3*u**2 + 0 + 1/12*u**4 - 2/3*u**3 + 0*u. Let t be z(3). Solve t*p = -0*p for p.
0
Let s(l) = -l + 10. Let p(x) = -x**3 - 4*x**2 - 2*x - 4. Let g be p(-4). Let i = g + 3. Let k be s(i). Solve 2*b + 10 = -k*b for b.
-2
Suppose h + 0 = 2. Suppose 0*b - 5*s = -h*b - 15, -5*b - s = -30. Solve -4*i + b = -11 for i.
4
Let p(n) = -3*n - 69. Let d be p(-23). Solve d = -h - 1 for h.
-1
Suppose n + 0*t = -2*t + 7, 3*t = 6. Let z = 0 - -2. Suppose -2*c + 23 = n*a - c, 10 = z*c. Solve -b - 10 = -a*b for b.
2
Let n(z) = z**3 + 2*z**2 + 2*z - 7. Let r(a) = 0*a**3 - a**2 - a**3 + 6 + 0*a**3 - a. Let w(l) = -4*n(l) - 5*r(l). Let o be w(4). Solve 2*x = -o*x for x.
0
Let s = -6 + 10. Let t be 255/12 + s/(-16). Solve 4*l = 1 - t for l.
-5
Suppose 2*y - 6*u + u = 11, -u = -5*y + 16. Solve r + y = 4 for r.
1
Let n(j) = j + 4. Let v be n(-3). Let o(q) = -2*q + 2*q + 14*q**2 + 0 + v. Let t be o(-1). Solve t = -2*c + 5*c for c.
5
Let h be ((-2)/4)/(7/112). Let j = h + 8. Solve j = -3*a - 6 - 6 for a.
-4
Let z be (9/(-6))/((-6)/20). Solve 3*t + 1 = -z for t.
-2
Let w = -17 - -24. Solve 4 = 3*a + w for a.
-1
Suppose 5 = 5*n + 5*v, 0*v - 5*v = -5*n + 15. Solve 0 = b + 1 - n for b.
1
Let o be -2 + (-5 + 3)/(-1). Solve 4*k = -o*k + 8 for k.
2
Let b(f) = 3*f**2 - 2*f - 1. Let u be b(2). Solve -3 + u = -2*c for c.
-2
Let u = -29 - -29. Solve -5*k + 0*k = u for k.
0
Let c be (4/(-8))/((-2)/(-4)). Let z = c + 4. Suppose -l = -z*l. Solve 4*x + x = l for x.
0
Let x(b) = b**3 + 4*b**2 + 3*b. Let n be x(-2). Solve -n*u = u for u.
0
Let u = 8 + 4. Let s(h) = -h**3 - 11*h**2 - 7*h + 32. Let n be s(-10). Solve -n*o + u = o for o.
4
Suppose b + 2*x = 23, 6*x - 3*x = -5*b + 122. Let y = b - 16. Let c = y - 7. Solve 2*d = -c*d for d.
0
Let n(o) = -1 - 2*o + 4*o + 0*o. Let i be n(3). Solve -i*v = -3 - 7 for v.
2
Let j be -1 + (9/18 - (-9)/2). Solve -j = 6*f - 5*f for f.
-4
Suppose 9*y = 4*y - 30. Let g be (8/y)/(16/(-24)). Let d be ((-2)/3)/(2/(-12)). Solve 4 = -d*a + g*a for a.
-2
Let z = -135 + 150. Solve -3 + z = 3*v for v.
4
Let r be 3/6 + 0 + 22/4. Solve -q + r*q = 15 for q.
3
Suppose 0 = -4*p + 10*p - 48. Solve p = -3*m + m for m.
-4
Let v = 1 - -3. Suppose 25 = 5*a, 0*a + 97 = -3*d + 5*a. Let n be (d/(-9))/(v/6). Solve -3*p = 1 - n for p.
1
Let q(h) = -h**3 - 8*h**2 - 4. Let g be q(-8). Let z be 2 - 0 - (2 + g). Solve -z*y = -1 - 3 for y.
1
Let r be ((0 - -1) + 0)*-5. Let k(h) = -5 - h**3 + 8*h**2 + 4*h - 2*h**2 + 2*h**3. Let x be k(r). Solve i + 2 + x = 0 for i.
-2
Let t(o) = -22*o + 7. Let b(p) = -7*p + 2. Let m(x) = -7*b(x) + 2*t(x). Let y be m(3). Solve -4*r = r + y for r.
-3
Let s(g) = -g**3 - 5*g**2 + 2*g - 3. Let c be s(-6). Let l = c + -15. Suppose 2*x = l*x - 16. Solve -6 = x*h - h for h.
-2
Let y be -2*10/(-20)*6/2. Solve -2*g = y*g for g.
0
Let g = 75 + -41. Let k be g/10 - (-4)/(-10). Solve -k = 3*q - 0 for q.
-1
Let b = -15 + 17. Let q(n) = -7*n**3 - 1. Let v be q(-1). Solve -v*m + b*m = 8 for m.
-2
Let b(d) be the first derivative of d**2/2 + d - 4. Let z be b(1). Solve -3*k = -z*k + 1 for k.
-1
Let m be (-4)/(-6) + 183/9. Let f be (m/14)/(1/2). Solve 6*o = f*o - 12 for o.
-4
Let c(w) = 3*w**2 - w - 1. Let h be c(-1). Let a(z) = z - 1. Let i be a(h). Suppose i*n + 2 = 6. Solve -2*p - n = -4 for p.
1
Suppose u = 2*r + 2, 4*u - 3*u + 2 = 0. Let g be ((-2)/2)/(r/4). Solve g*n = 4*n + 4 for n.
-2
Let h = -3 + 6. Suppose 0 = -2*u - h*u. Solve -c + 2*c + 3 = u for c.
-3
Suppose 3*b = -b + 8, 4*j = -3*b + 2. Let d be 0*(-1)/(-1) + -4. Let l be 2*(-1)/j - d. Solve -l = -2*i - i for i.
2
Let i be (-22)/55*(-1 - 4). Suppose -24 = -i*p - 0*p + 2*r, 5*r = -20. Solve p = -2*m - 0 for m.
-4
Let p(b) = -b + 2. Let w be p(0). Suppose -w*k + 92 = -4*a, -a = -4*a + k - 70. Let z be 1/(-4) - 54/a. Solve -z*c - 2 = -0 for c.
-1
Let b(p) = 2*p + 4. Let d be b(-2). Suppose d*y = y - 3. Solve y*l - 6 = 9 for l.
5
Let g = 148 - 148. Solve 5*b - b - 20 = g for b.
5
Let a be (-4)/4*(3 + 0). Let y = a + 1. Let q be y/5 - (-54)/10. Solve -q = -5*k + 10 for k.
3
Let j = 4 - 0. Suppose w - j = -0*w. Solve m + 5 - w = 0 for m.
-1
Let r(o) = -o**2 + 7*o + 11. Let a be r(8). Solve a*c = 5*c + 4 for c.
-2
Let k be ((-24)/(-15))/(2/10). Let h be 7 - 3 - (-4)/(-2). Solve -h*r + 4*r = k for r.
4
Suppose -30 = 2*f - 2. Let d = f - -15. Solve 0 = -4*z + 5*z + d for z.
-1
Let u be 1/1*(7 + 0). Solve 3*p + 1 = u for p.
2
Let t(c) = 9*c + 2*c**2 + 4*c + 2 + 0*c**3 - c**3 + 10*c**2. Let o be t(13). Solve o*n - 7 = -3 for n.
2
Let w be 3*16/(-12)*-2. Solve -a - w = a for a.
-4
Let v be (-1 - 12/(-20))*5*-1. Solve -25 = -v*g - 3*g for g.
5
Let n be 0/1*(-1 + 2). Let b = n + 18. Solve 0 = 4*c + b + 2 for c.
-5
Let t(h) be the first derivative of -h**2/2 + 11*h - 3. Let x be t(5). Solve -3*o - 15 = -x*o for o.
5
Suppose -23 = 4*f - 3*o, 4*f + 3*o = -0*f + 7. Let v be ((0/(-1))/1)/f. Solve -j - 1 = -v for j.
-1
Let x(v) = v**3 + 6*v**2 + 4*v - 8. Let n be x(-5). Let a be (-2)/n - 8/(-6). Solve 2*q - 20 = -a*q for q.
5
Suppose -18 = 3*x - 18. Solve x = 3*y - 1 - 2 for y.
1
Let h(m) = -6*m - 3. Let q be h(2). Let f be ((-6)/q)/((-2)/(-20)). Solve 