 f be h(-28). Solve -f*u = -0*u for u.
0
Suppose 0 = -3*o + 5*i - 10, -10 = -5*o + 2*i + 5. Suppose -12 - 9 = -3*d - 3*g, -2*d + o*g - 7 = 0. Solve -z - d = z for z.
-2
Let n(a) = -a**2 - 22*a + 16. Let x be n(-21). Solve -5*w - x = -12 for w.
-5
Let s(u) = u**2 + 3*u + 1. Let k be s(-4). Let t be (28/10 + -2)*25. Solve 0*v - k*v = -t for v.
4
Suppose 0 = -7*w + 4*w + 33. Suppose -18 = -3*n + 3*q - 2*q, -w = -4*n - 3*q. Solve -2 = -n*p - 7 for p.
-1
Suppose x - b = 4 - 2, -11 = -3*x - 2*b. Suppose -4*h - 15 = h, x*n + 4*h = 0. Let v be n/1*(-2 + 3). Solve 5*y = v*y + 3 for y.
3
Let g be 4/(-6)*(4 - (-35)/(-2)). Solve 0 = l - g + 7 for l.
2
Suppose 0 = 5*q + 1 - 11. Solve -2*w - q = -3*w for w.
2
Suppose -2*t = 2*t. Solve t = -8*d + 3*d + 20 for d.
4
Let i be -1 - (-2 + 1) - -6. Let s be 1*-2*(-3)/i. Let q = 1 + s. Solve y - 15 = -q*y for y.
5
Let j(f) = -4*f**3 + 3*f**2 - 4*f + 3. Let l be j(2). Let b be (15/l)/((-2)/10). Solve 0 = 5*x - 7 - b for x.
2
Let i = -18 + 20. Solve i*p + 3 = -3 for p.
-3
Let p be 72/30*(-10)/(-6). Solve p*d - d = 0 for d.
0
Suppose 0 = 5*a - a + 5*b + 5, 3*b + 3 = 2*a. Solve a = -v - 0*v for v.
0
Let j(s) = -11*s**3 - s**2. Suppose v = -v - 2. Let a be j(v). Solve 5*t + a = 30 for t.
4
Suppose 4*g = -0*g + 8. Suppose -g*x + 1 = -x. Solve x = -3*d - 2 for d.
-1
Let o be (-2)/(-3) + (-128)/(-24). Suppose -o*d = -7*d + 2. Solve d*v - v = -2 for v.
-2
Suppose 3*f + 7 - 10 = 0. Solve -f = -3*c + 2 for c.
1
Let t = 23 + -20. Solve 0*s + t*s = 9 for s.
3
Let r be (4/(-6))/(2/(-9)). Suppose 25 = -5*k, 0 = j + r*j - k - 5. Suppose -3*q - q + 18 = 2*d, -5*d - 4*q = -27. Solve d*p - 12 + j = 0 for p.
4
Suppose 8 = -2*i + 4*c, -12 = -i - i - c. Suppose i*w + 0*w = 0. Solve -h + 1 = -w*h for h.
1
Let y be 1/8 + (-329)/(-56) + -4. Solve 0 = -2*h - y - 2 for h.
-2
Let q(n) = n - 7. Let m be q(7). Solve -z - 5 = -m for z.
-5
Let h(r) = -r + 1. Let z be h(5). Let a(l) = l**3 + 3*l**2 - 4*l + 3. Let u be a(z). Solve y + 2*y - u = 0 for y.
1
Let q be 2 + 3/(-1 - -4). Suppose 4*i - k = 6, -5*i = k + q*k + 3. Let p(l) = 5*l**2 + 1. Let z be p(i). Solve 0 = z*j - 3*j - 3 for j.
1
Let z be 6/4 + (-45)/(-30). Solve -8 = z*l - 2 for l.
-2
Let s(h) = 4*h - 5. Let o be s(6). Suppose -z - 4*g + o = 0, 3*z + 4*g - 25 = -0*g. Solve 0 = 4*k - z - 9 for k.
3
Let v = 10 - 6. Suppose 13 = v*o + 5. Let t(n) = -n**3 - 4*n**2 + 3*n - 4. Let y be t(-5). Solve o*g - y - 2 = 0 for g.
4
Suppose -3*u = -5*u + 6. Suppose 5*y - 2 = -q + 18, 5*q = -4*y + 16. Suppose -n = y*n. Solve n = 4*f - 1 - u for f.
1
Let j(g) = -g**3 - 5*g**2 + 8*g + 12. Let z be j(-6). Let v = -5 + 9. Suppose -6 = -v*q + 6. Solve z*h = -h + q for h.
3
Let r be -5 - (1 + -2 + 2). Let h(p) = p**3 + p**2 - p. Let s be h(2). Let v = s + r. Solve -v*b - 8 = -2*b for b.
-4
Let k be ((-6)/12)/(1/2) + 1. Solve -8 = -k*h + 4*h for h.
-2
Suppose -r + 6*r - 4*r = 0. Solve -6*w + 2*w = r for w.
0
Let r be ((-18)/(-12))/((-1)/2). Let a be 45*((-24)/9 - r). Solve -6*h + h = a for h.
-3
Suppose -3*w + 4*g + 17 = 0, -3*g - g - 8 = 0. Solve -3 + 0 = w*v for v.
-1
Suppose -2*r - 89 + 99 = 0. Solve 0 = -2*c + r + 5 for c.
5
Let p(o) = o**2 + 3*o - 19. Let d be p(-8). Suppose -x - 1 = 0, -2*x - d = -3*q - 7. Solve 2 = 3*m - q for m.
2
Let f be 1 - (-1 + (-5 - -2)). Let c(d) = -d**3 + 5*d**2 + 2*d - 6. Let n be c(f). Solve n*h = h - 9 for h.
-3
Let h = -113 + 115. Solve -3 + 9 = -h*j for j.
-3
Suppose -3*v = -4*x + 2 + 11, -2*v + 2*x - 6 = 0. Solve 2*y = y - v for y.
-1
Let a = -17 + 19. Solve 3*u = a + 1 for u.
1
Suppose 3*t = 2*t - 14. Let q be (0 - 1)*(t - -1). Suppose -q = -5*m + 12. Solve m*z - 4 = 1 for z.
1
Suppose 8*w = 3*w. Suppose j + 0*j = w. Let c be j - -2 - (-10)/5. Solve 2*x + c + 2 = 0 for x.
-3
Suppose 8 = 4*x - 0*x. Solve -x*p = -p - 4 for p.
4
Let i be 1/(-4) + (-13)/(-4). Suppose v = -5*y + 10, 0 = -5*v - 3*y - 9 - 51. Let s be (-10)/(v/i - -3). Solve -s*r + 6 = 21 for r.
-3
Suppose -4*g - g + 8 = 3*t, 5 = 5*t. Solve 5*u = -6 + g for u.
-1
Suppose -5 = 5*u - 4*f, -u - 4*u = f - 20. Suppose 2*z = 3 - 13. Let h be z + 2/1 - -5. Solve u*s - h*s = 0 for s.
0
Let l(i) = 11*i - 8. Let v(h) = -4*h + 3. Let o(r) = -3*l(r) - 8*v(r). Let b be (2/(-4))/(2/4). Let q be o(b). Solve -5*y - 6 + q = 0 for y.
-1
Let p = 22 + -14. Let y(f) = f**3 + 8*f**2 + 4. Let n be y(-8). Let a be 14 - (-4*1 - -2). Solve p*c - a = n*c for c.
4
Let z be -4 + -6*(-12)/9. Solve -r = 3*r - z for r.
1
Let i(f) = f + 6. Let a be i(-6). Solve a = 3*c - 6 + 3 for c.
1
Let o = 9 + -9. Solve o*v + 5*v = -25 for v.
-5
Suppose 0 = -a - 2*r - 0 + 1, -r = -2*a + 7. Suppose 6*g = a*g + 3. Solve 0 = 4*q + 3 + g for q.
-1
Suppose 8 = 2*i + 5*v, 0*i + 4*i = v - 28. Let j(y) = -2*y - 9. Let t be j(i). Suppose -o + t*o = 6. Solve 2 = -o*k + k for k.
-1
Let t = 4 - 0. Solve -t*k = k - 10 for k.
2
Let t = -4 + 8. Solve j - 2*j = t for j.
-4
Let b(h) = 2*h**2 + 12*h + 12. Let q be b(-5). Solve -a = q*a + 12 for a.
-4
Let b(c) = -4*c - 3. Let i(g) = 7*g + 5. Let k(u) = -5*b(u) - 3*i(u). Let p be k(-4). Let a = p - 2. Solve a*q + 7 - 1 = 0 for q.
-3
Let f(b) = b**2 - 5*b + 3. Let i be f(3). Let l = -3 - i. Solve -5*g = -l*g + 15 for g.
-3
Let c(b) be the first derivative of -b**2/2 - 1. Let j be c(-10). Suppose 4*d - j = 2*d, -4*d + 2 = -2*l. Solve -3*y + l = -6*y for y.
-3
Let n = -10 + 15. Suppose c = -w, -4*c + n*c = 5*w - 24. Let r = w + -1. Solve -r*u = -u - 4 for u.
2
Let k be (-4)/2 - -7*1. Let v = k + -2. Solve 5*z + 4 = v*z for z.
-2
Let d = -25 - -30. Solve 5*k + d = 20 for k.
3
Let r(v) = -v**3 + 2*v**2 + 3*v + 4. Suppose 4*m + 4*y - 12 = 0, 5 = -y + 3. Suppose -p = 4*p - 15, 4*f = -m*p + 27. Let j be r(f). Solve -5*n = -j - 11 for n.
3
Suppose -11*v + 6*v + k = -14, -3*v - k = -2. Solve 14 - 4 = -v*n for n.
-5
Let o(x) = -x**3 - 15*x**2 - 13*x + 16. Let y be o(-14). Solve 8 = 2*p - y for p.
5
Let t = 15 + -13. Solve -t = -5*d + 3 for d.
1
Suppose -j = 3*j - 12. Solve -j*t + 4 = -t for t.
2
Suppose 0*m - 5*s = 3*m + 72, 3*m + 72 = 2*s. Let o be (m/(-18))/((-4)/(-6)). Solve -o*c - 10 = -0*c for c.
-5
Let j(f) = 4*f**3 + f**2 - 2. Let t(n) = -3*n**3 - n**2 + 1. Let z(v) = 4*j(v) + 5*t(v). Let b be z(3). Suppose 0*q + b = 5*q. Solve q*s = -s for s.
0
Let q(s) = -5*s - 1. Let o be q(1). Let r be -6*(33/o + 3). Solve -2*g + r = 3*g for g.
3
Suppose 6*r - 12*r + 42 = 0. Solve -4*p = -r*p + 9 for p.
3
Let p(r) = -r**2 + 3*r + 6. Let y be p(4). Let j(a) = a**3 - 3*a + 1. Let w be j(y). Solve w*t = -t - 12 for t.
-3
Let d be 16/(-6) + (-12)/(-18). Let b be 2*(-3)/d + 0. Suppose b*w - 5*n = -w + 5, 5*w = -4*n + 37. Solve -w = -0*h - 5*h for h.
1
Suppose -4*m + 34 = b - 3*b, m = 3*b + 1. Solve -m = 4*a + a for a.
-2
Let u = 80 + -77. Solve u + 12 = -5*x for x.
-3
Let v = 84 - 24. Let f be (v/9)/((-6)/(-9)). Solve f = 4*l - 10 for l.
5
Suppose 2*t = -1 + 5. Solve -8 = -2*o - t*o for o.
2
Let v be 4/((-3)/(12/(-8))). Suppose -v*q = q - 12. Solve -i + 5*i = q for i.
1
Let i(b) = b. Let m(c) = -c - 1. Let x(v) = 2*i(v) + m(v). Let r be x(1). Solve -5*z + 5 = -r for z.
1
Let y = 40 + -38. Suppose 3*n - 4 = -5*c - 3, 3*c + 7 = 2*n. Solve n + y = 4*a for a.
1
Suppose 15 = -5*f - 2*n, 0*f = 2*f + 5*n + 6. Let h be (6*2/f)/(-1). Solve 0 = -2*v + h*v for v.
0
Let l(f) = 2*f + 20. Let x be l(-8). Let k be -2 + 5 + -3 - -4. Solve -3*j + x*j = -k for j.
-4
Suppose 2*q - 34 - 6 = 0. Let i = -9 + 13. Solve -i*k = k + q for k.
-4
Suppose 3*b - 2 = 2*b. Suppose -4 + 6 = -q + j, -4*q + j - b = 0. Solve 3*f - 8*f - 25 = q for f.
-5
Let d be 0 + 8*3/6. Suppose u + d = -r, -r - 2*u = -2*r + 2. Let z be (-5)/((1 + r)*1). Solve 5*b + z = 4*b for b.
-5
Suppose -3*j + 9 = -3*y, -j - y = -3*y - 3. Suppose 4*a = -2*h, 4*a = -5*h + 9 + 9. Solve -j*l + h = -0*l for l.
2
Suppose 0 = -3*k + 8*k - 15. Solve -k*j + 6 = -6 for j.
4
Let q be 4/(-12) - (-25)/3. Suppose -3*a = a - q. Suppose -u + 2*u + 4*w = 9, u - a*w + 3 = 0. Solve -l = -u - 1 for l.
2
Let d = -6 - -6. Suppose 3*s + 4*n + d = 10, 0 = 5*s - 5*n - 5. Let m = s - 2. Solve 5*b - 25 = -m*b for b.
5
Let q(v) = v**2 - 7*v - 8. Let j be 3*8/3 - 1. Let h be q(j). Let m = h + 8. Solve m = -g - 3*g + 12 for g.
3
Let z be 95/30 + 1/(-6). Solve -18 + 3 = -z*s for s.
5
Let l(h) = -h**2 - 8*h - 6. Let t be l(-6). Let o(