z be -2 - (m/(-3))/1. Let l be (z/(-6))/(4/6). Solve 0 + l = -y for y.
-1
Let i(q) = q**3 + 4*q**2 + q - 2. Let x be i(-3). Suppose -3*r = -4*r + 2. Let g be (-2 - -1)*(r - x). Solve 1 = -w - g for w.
-3
Let q = 8 + -2. Suppose -4*r = i + 5, -10 = 5*r + q*i - 4*i. Solve r*w + 5*w = -15 for w.
-3
Let w = -28 + 40. Suppose 4*o = -0*l + l + 12, -o + w = 2*l. Let b be (42 + -27)*4/6. Solve d - b = -o*d for d.
2
Suppose -2*r - 12 = -4*u, 4*r + 4*u = 3 + 9. Solve -2*w + 4 = -r for w.
2
Let f = 13 + -11. Solve 2 = f*g - 2 for g.
2
Let p(i) = i**2 + i - 39. Let q be p(6). Let r(l) = -l**2 + 6*l - 1. Let u be r(5). Solve s = u - q for s.
1
Let b(w) = 2*w. Let h be b(1). Suppose -3*t = -h - 1. Let s = 12 + -12. Solve s + t = z for z.
1
Let w(l) = -2*l**3 + 0*l - 4*l - 1 - l**2 + 3*l**3. Suppose 0 = 3*t - 0 - 9. Let h be w(t). Solve -n + 16 = -h*n for n.
-4
Let u be (-1 + 0 - -6)*2. Suppose -7 = 4*m + 13. Let l = m - -7. Solve 0*d + u = l*d for d.
5
Let n be ((-55)/10)/((-4)/8). Let a be -11 + n - (-6 - -2). Solve a*j - 6 = 2 for j.
2
Let s = 40 + -40. Solve s = 4*l + l for l.
0
Let g = -8 + 12. Let o be 25/(-2)*2/(-1). Solve -g*x = -9*x + o for x.
5
Let y be (14/(-6))/((-4)/12). Suppose 9 = 4*w - y. Solve 4*a - 24 + w = 0 for a.
5
Let o(p) = -p**3 - p**2 + p + 2. Let q be o(-2). Solve -y = -q*y + 6 for y.
2
Suppose -2*s = -2 - 2. Solve -s*c + 4 = -4 for c.
4
Suppose 12*j = 10*j + 16. Solve -z - z + j = 0 for z.
4
Let u(j) = j + 7. Let n be u(-4). Let c = 0 + -2. Let a be (-4)/c*45/6. Solve -n*o = -0*o + a for o.
-5
Let a(z) = -z**2 - z - 7. Let b(m) = m**2 + 2*m + 6. Let o(l) = 2*a(l) + 3*b(l). Let k be o(-4). Let g = 8 - k. Solve 10 = p + g*p for p.
2
Suppose -5*w + 3*m + 44 + 18 = 0, 2*w - 24 = 2*m. Solve 3*g - 2 - w = 0 for g.
5
Suppose 0 = 2*z + 15 - 45. Solve 0 = -s + 4*s - z for s.
5
Let j(b) = b + 2. Let q be j(-2). Let h = q + 0. Let u = 5 - h. Solve -l - 16 = -u*l for l.
4
Let x(z) = z - 10. Let o be x(12). Solve -o*p - 6 = -0*p for p.
-3
Let v(b) = -5*b - 62. Let a be v(-14). Solve -4*k + 0 = -a for k.
2
Let b(c) = -c**2 - c. Let i be b(0). Let y = i - -2. Suppose -3*l = y*l - 5. Solve 4 = 5*s - l for s.
1
Suppose -6*q + 10*q = 12. Suppose -3*a - 11 = -5*m - 2*a, -q*m - 5*a = -29. Solve -m = 2*i + 1 for i.
-2
Let p be (-12)/12*(2/(-2) - 1). Solve p*c + 3*c + 25 = 0 for c.
-5
Let o(w) = -w**2 + 8*w + 11. Let y be o(10). Let r be 2/2 - (y - -7). Solve -8 = 5*l - r for l.
-1
Let b be (-2)/(-9) - (-230)/18. Let a = b - 21. Let v = -5 - a. Solve 0 = -v*q - q for q.
0
Suppose -4*j + o + 8 = 1, 2*o = 10. Suppose 6 = 5*l - 4, 4*v + 5*l = 30. Suppose v*h - j*h = 0. Solve h = 4*x - 3*x for x.
0
Let b be ((-40)/25)/(4/(-10)). Let m(n) = -3*n + 2. Let p be m(-2). Suppose 0*u = 4*u - p. Solve b*o - 5*o = -u for o.
2
Let p(k) = 4*k. Let y be p(-1). Let n(j) = j**2 + 9*j + 3. Let l be n(-10). Let o = l + y. Solve h = -2*h + o for h.
3
Let c = 3 + -2. Let r be (-1)/((-8)/(-10) - c). Let x(w) = 3*w**2 - 1. Let j be x(1). Solve -15 = -j*m + r*m for m.
-5
Let a be 4/10 - (-32)/(-5). Let w be 0 + 1 + 4 + a. Let n be (36/8)/(w/(-2)). Solve 3*t + n - 21 = 0 for t.
4
Suppose -3 = -l + 2. Suppose 4*s = -s - 5*v + l, -v + 5 = 2*s. Solve -s*x + 4 = -2*x for x.
2
Let z = 68 - 65. Solve -z*u + 9 = -3 for u.
4
Let k be 36/10 - (-4)/10. Suppose -k*m = -5*n + 23, 0*n = -3*n - m + 7. Suppose n*j + 3 = -2*h, 2*h - 35 = 5*j - 14. Solve -h*r + 9 = -6*r for r.
-3
Suppose -i = 4*z - 3, -2*z = -3*i + z + 24. Solve -4*n - 15 = -i for n.
-2
Let q be 4*(14/4 - -1). Suppose -7*i + 5*i = -8. Solve -i*s + q + 2 = 0 for s.
5
Suppose -3*t - 9 = 0, 3*c + 4*t + 12 = -0*c. Suppose 0 = 7*g - 5*g + n - 1, 2*g + 5*n + 3 = 0. Solve g = -z - c for z.
-1
Let j(o) be the first derivative of o**4/24 - o**3/3 - o**2 - 1. Let l(p) be the second derivative of j(p). Let u be l(6). Solve -2*z = -3*z + u for z.
4
Let t(q) = -3*q - q**2 - 4 - 2*q**2 + 4*q**2 - q**3. Let g(k) = 2*k**3 - k**2 + 7*k + 8. Let w(o) = 3*g(o) + 7*t(o). Let j be w(3). Solve -2*z - j = 1 for z.
-3
Let a be 16/3 + (-2)/6. Let p(y) be the third derivative of -y**5/60 + 5*y**4/24 + y**3/3 + 6*y**2. Let t be p(a). Solve -7*b + t*b = -10 for b.
2
Suppose d - 4*q = -3*d + 68, 0 = 2*d - 5*q - 25. Suppose 5*t - w + 5 = 0, 0*t - 4*w + d = -5*t. Let f be -1 + t - -2 - -3. Solve -8 - f = -3*y for y.
4
Suppose -5*i = -20, 3*v = 7*v - 3*i - 8. Let o(z) = z + 1. Let q be o(v). Let t be q/(-15) - 67/(-5). Solve -4*d = t - 5 for d.
-2
Let y = -13 - -13. Solve y = -0*k + 4*k for k.
0
Suppose 0 = -4*z + 20, 2*z + 5 = -0*l + 3*l. Let b = 15 + -5. Solve -15 - b = l*p for p.
-5
Let q be 1/2 + (-2)/4. Suppose t = -4*x + 12, 2*x - 3*t = 4*x + 4. Let a(l) = l**2 - 2*l - 4. Let v be a(x). Solve q = u + v - 3 for u.
-1
Let u be 17 - (-1)/((-1)/(-3)). Solve -2*x + u = 2*x for x.
5
Let z(m) = -2*m + 1. Let h be z(-2). Let k(y) = -y**3 - y**2 + 2*y - 3. Let j be k(-3). Let o = j + -2. Solve -h*n - o = 3 for n.
-2
Suppose y = -0*y + 10. Suppose -8 = 4*x - 3*x. Let u be (-4)/x + (-3)/6. Solve u + y = -5*q for q.
-2
Let l(v) = 2*v**2 - 2*v - 1. Let s be l(-1). Suppose 2*i + 18 = 2*h, s*i + 7 = 4*h - 5*h. Let m = -4 - i. Solve 2*p = -m*p - 6 for p.
-3
Suppose 1 + 23 = 2*m. Suppose -2*h = -h. Let n be h/(-1) + (1 - 1). Solve n = -4*s + 4 - m for s.
-2
Let j(i) = -2*i**3 + 4*i + 2*i**3 + i**3 + 1 - 4*i**2. Let m = 3 + 0. Let c be j(m). Solve -c*u = -7 - 5 for u.
3
Let z = 11 - 11. Suppose z = -u + 5*u - 12. Solve 0*r + u*r = -15 for r.
-5
Let s be (-28)/(-42)*(-18)/(-4). Solve s*m + 0 = 12 for m.
4
Let q(u) = 9*u - 2*u - u**2 - u + 5 + u. Let w be q(5). Solve -4*o = -o - w for o.
5
Let l be ((-12)/(-3))/(-8)*-16. Solve 0*v = 2*v - l for v.
4
Suppose 6*r - 34 = 2*r - 2*t, 4*t - 12 = 0. Let f = r + -6. Suppose -b = 2*b - 6. Solve f - b = m for m.
-1
Suppose -2*m + 5*a - 3 = 0, 0*m + m - 3*a + 3 = 0. Solve 0*o - 3*o = m for o.
-2
Let c = 0 + 2. Suppose -7 + 25 = -d + 5*h, -h = d - 6. Suppose d = -3*t - 5*s - 3, 3*t + s + 1 = 0. Solve t*u = -c*u - 4 for u.
-2
Suppose 3*n - 15 + 0 = 0. Suppose -4*x = -5*o + 34 + n, 5*x = -4*o - 18. Let d be 3/(27/x)*-6. Solve -6 + 18 = d*l for l.
3
Suppose 3*w = 4*j + 2, 4*j + 4*w - 17 + 5 = 0. Solve j = -s + 2 for s.
1
Let w(o) = -o**2 + 10*o - 16. Let q be w(8). Solve 3*j + 12 + 0 = q for j.
-4
Let u(z) = -z + 7. Let r be u(-6). Let n(m) = m**3 + 11*m**2 - 11*m + 19. Let i be n(-12). Let c = r - i. Solve 4*a - a - c = 0 for a.
2
Let z be 21 + 1/(2/(-4)). Suppose z = -4*w - p, -4*w + 3*p - 45 = w. Let y = -4 - w. Solve 0 = -y*o - 2 + 12 for o.
5
Suppose 0 = -3*t - t + 3*s + 27, 8 = -4*t - 4*s. Solve i - t*i = -4 for i.
2
Suppose -2*j + 5 + 11 = 0. Solve -j*c = -5*c for c.
0
Suppose -2*t - 4 = -3*i, -2*i + 3*i - 12 = -2*t. Let z(s) = -s**2 + 5*s - 2. Let y be z(t). Solve y*m - 10 = -0*m for m.
5
Let m be (10/(-8))/(3/(-24)). Let u = -7 + m. Solve u*x + 8 = -1 for x.
-3
Let b(d) = d - 1. Let n be b(1). Suppose -2*u + n + 6 = 0. Suppose r = 11 - 7. Solve u*v + v + r = 0 for v.
-1
Suppose -3 = -4*r + 5. Suppose 0 = r*f + g - 17, -4*g + 25 = g. Solve 0 = -h - h + f for h.
3
Let m = 2 + 2. Solve 4*o + 0*o = m for o.
1
Suppose 0 = 5*s - 6 - 9. Suppose i + 4*h + 4 = 0, -4*h - 7 = 2*i - s. Solve i = 6*r - 3*r + 3 for r.
-1
Let i be (-2)/(-5) + (-230)/(-50). Solve -i*y - 25 = -0*y for y.
-5
Suppose -3*m - w = -18, -3*w - 2 = m - 8. Solve -5*q = q + m for q.
-1
Let t(q) = q**2 + 2*q - 3. Let z be t(-3). Solve z = 2*x + 2*x + 20 for x.
-5
Let z(y) = -y**2 - 6*y + 2. Let w = 4 - 10. Let j be z(w). Solve -j*i + 4 = -4 for i.
4
Let h = -8 + 8. Suppose 0 = -6*x + 2 + 10. Solve h*j = x*j + 6 for j.
-3
Suppose 0 = -n + 4*j + 13, -5*j + 33 = 3*n - 57. Suppose -4*o + 9 = -11. Solve 0*a - o*a = n for a.
-5
Let v(g) = -g**2 + 12*g - 1. Let w be v(12). Let d = 4 + w. Solve -i = 2*i + d for i.
-1
Let u be 2/(-9) + 164/9. Let z = 25 - u. Solve 2*c = -3 + z for c.
2
Suppose -2*f = -2*l - 6*f - 4, 3*f + 3 = -l. Solve l = i + 4*i - 25 for i.
5
Let x(a) = 11*a**2 - 2*a + 1. Let o be x(1). Suppose j - o = -j. Let c = -3 + j. Solve c*h + 0*h + 10 = 0 for h.
-5
Let g be 80/36 - 2/9. Suppose g*h - 5 = h. Suppose -h = -m + 24. Solve 0 = -4*i + 9 - m for i.
-5
Suppose -5*s - 4*o = -18, -s - 2*s = -5*o + 4. Solve s*p + 8 = -0*p for p.
-4
Suppose 0*p - p + 1 = 0. Let 