e t(-4). Solve n*y - 2 = -8 for y.
-3
Let b be (2 - 0)/(2/4). Solve 0 = -m - b*m for m.
0
Let h = 6 + 2. Let y be (54/12)/(6/h). Solve 2*f + y = -0*f for f.
-3
Let b be 4 + (-2 - -1) + 0. Suppose 6*g + 2*m = 4*g, 5*g - m = 0. Solve 0 = -g*w - b*w + 12 for w.
4
Let k be 169/(-5) + 10/(-50). Let b be k/(-9) + (-10)/(-45). Solve b*h + 23 = 3 for h.
-5
Suppose -5*y + 2*y + 9 = 0. Solve y*n - 6*n = 15 for n.
-5
Let q(b) = -4*b**3 + b**2 + 4*b - 1. Let t be q(-2). Solve -5*f + t - 7 = 0 for f.
4
Let l = 3 + -3. Let w = 0 - l. Suppose w*q + 5*q - 10 = 0. Solve q*g - 6*g = 4 for g.
-1
Let w(x) = x**2 - x - 39. Let o be w(-6). Solve 4*c = c - o for c.
-1
Let w(b) be the second derivative of -b**5/20 + b**4/6 + 2*b**3/3 + b**2/2 - 3*b. Let l be w(3). Solve -f + l = 9 for f.
-5
Let o = 0 - 2. Let t be (o/6 - 1)*-3. Let s = -21 + 32. Solve 0 = t*z + 1 + s for z.
-3
Let s(t) = t**2 - 6*t. Let h(o) = 5*o + 1. Let k be h(1). Let p be s(k). Solve 0*d + d - 1 = p for d.
1
Suppose -8 = -2*g + 2. Let k(b) = b - 3. Let n be k(g). Solve q = 3 - n for q.
1
Let b(r) = -r**3 - 5*r**2 - r - 5. Let l be b(-5). Let x be 5 + (l - 2) - -1. Solve -2*j - x = -3*j for j.
4
Let t be (-80)/(-25)*10/4. Let p = 6 - t. Let o be (-1)/3 + p/(-6). Solve -r - r + 6 = o for r.
3
Let f be (-3 + 1)*4*1. Let l = f - -11. Solve -l*v - 2 = -v for v.
-1
Let z = -15 + 17. Solve -8 = 2*m + z*m for m.
-2
Suppose -h + 1 = -3. Suppose -5 - 11 = -h*c. Let s = -3 + 5. Solve -c*t + 14 = -s for t.
4
Let d be ((-4)/1 - -2)*-1. Suppose -2*a + 2 = g - 5, d*g - 5*a + 22 = 0. Let u be 1 + g - (2 - 4). Solve 2*s - 3*s - u = 0 for s.
-2
Suppose -u = -3*u + 5*b + 117, -163 = -3*u - 5*b. Suppose -3*c - 5*h = -9 - 11, 12 = -4*c + 3*h. Suppose c = -3*m + u + 4. Solve 0 = -2*p - 3*p - m for p.
-4
Let g(m) = m**3 - 9*m**2 + m - 3. Let r be g(9). Suppose -3*b = -b - 4*f - r, 2*f = -4*b + 12. Solve -b = -3*z - 6 for z.
-1
Suppose -4*h = -h - 15. Suppose -4*n = h*o + 5, -3*n + 2*o = -2*n - 15. Solve 0 = -0*m - n*m + 20 for m.
4
Suppose -2*j + t + 4*t - 15 = 0, 2*j + 2*t - 6 = 0. Suppose -2*z + 11 = b - j, 0 = -b - 3*z + 14. Solve -1 + 26 = -b*w for w.
-5
Let z be (-19)/(-4) + 1/4. Suppose -1 - z = -2*n. Solve n*g - g = 4 for g.
2
Let n = 18 - 18. Solve n = -y - 4 + 3 for y.
-1
Suppose 3*f - 9 = -3*r, -7*f = -2*f - 3*r + 9. Solve z + f*z - 4 = 0 for z.
4
Let d be (1 + 0)/((-2)/8). Let i be (d/3)/((-4)/6). Solve -i*f - 4 - 2 = 0 for f.
-3
Let w = -43 + 45. Solve -w*f + 5 = -f for f.
5
Suppose 0 = k + k - 4. Suppose 12 = k*z + 2*v, -10 + 2 = -3*z + 2*v. Suppose 0 = -5*b - 3 + 8. Solve g - b = -z for g.
-3
Let t(z) = -z + 15. Suppose -4*m + 5*m - 12 = 0. Let s be t(m). Suppose -7*r = -3*r - 20. Solve r = s*n + 17 for n.
-4
Suppose -12 = -5*p - 2*q, 2*p + 3*q - 8 = -q. Solve -4*u = -3*u - p for u.
2
Let v = 6 - 2. Let h = 36 - 36. Solve v*z + h*z + 8 = 0 for z.
-2
Suppose x + 2*x - 6 = 0. Suppose x*c + 7 = -0*d - 3*d, 3*d + 5 = -c. Let i be (-10)/(-4) + 1/c. Solve 0 = -3*l + 10 + i for l.
4
Let h be ((-8)/(-24))/(1/9). Suppose 0 = -2*n - h*n + 25. Let y be 1/(-4) + 34/8. Solve 0 = y*w + n + 11 for w.
-4
Let q(y) = y**3 + 4*y**2 - 5*y + 2. Let f be q(-5). Suppose -3*o + f*n = -14, 5*n = -0*n - 20. Let v = 7 - -1. Solve -o + v = -3*x for x.
-2
Let l(w) = w**2 + w + 2. Let h be l(-1). Solve 2*c - h = 8 for c.
5
Let s(c) = -c**2 - 10*c - 13. Let b be s(-8). Solve -u + 4*u + b = 0 for u.
-1
Let p = 1 + 2. Suppose -4*n + 5*n - p = 0. Solve t = -n*t for t.
0
Let p be (-37)/13 + (-20)/130. Let l be p/(-18) - (-11)/6. Solve -2*t - l*t = -4 for t.
1
Let w be 15 + (-6)/(-12)*-4. Solve w = -f + 14 for f.
1
Suppose 0 = 4*y + f - 12, -y - 2*f + 7 = -3. Solve -2 = -2*n + y for n.
2
Let x = -3 - 2. Let i be (4 + x)/((-1)/2). Suppose 0 = 4*z + v - i, z + 2*v - 3*v = -2. Solve 2*k = -z + 2 for k.
1
Let v(k) = 4*k - 28. Let p be v(16). Solve 0 = 6*m + p - 6 for m.
-5
Let l = -12 - -2. Let s be (-4)/((-4)/(-1)) - l. Solve -n = -4*n + s for n.
3
Let l(j) = j**3 + j**2 - j. Let s(c) = 2*c**3 + 3*c**2 - 4*c + 1. Let t(h) = 4*l(h) - s(h). Let y be t(1). Solve 1 + 9 = y*v for v.
5
Let b be ((-1)/(-1) + 2)/1. Suppose 0 = -x + b*x. Solve x*d = -3*d - 9 for d.
-3
Suppose 2*k - 27 = 5*k. Let a be ((-27)/(-6))/(k/(-12)). Let h = -2 + 2. Solve 2*r - a = -h*r for r.
3
Suppose 3 = -2*i - 3. Let b(f) = -f**2 - 5*f - 3. Let w be b(i). Suppose w*y - 16 = -y. Solve 0 = 2*o + 2*o - y for o.
1
Let s = -12 + 21. Let h = -2 + s. Solve 0 = 2*n - h*n - 15 for n.
-3
Let p(o) be the first derivative of o**2/2 + 9*o + 4. Let k be p(-9). Solve -6 = -3*i - k for i.
2
Let z = -1 + 2. Let d be -12*((-2 - 0) + z). Suppose 14*v = 21*v + 25*v. Solve v*x = 4*x - d for x.
3
Suppose 4*a = -4*f - 4, -f - a + 14 = -5*a. Suppose g = -f*g. Solve -2*k - 10 = -g*k for k.
-5
Let u be (3 - (0 + 3))/1. Solve u*t = -t + 3 for t.
3
Suppose -4*v = -v - 30. Solve -7*c + v = -2*c for c.
2
Let d = -73 + 73. Solve 0*k + 4*k - 12 = d for k.
3
Suppose -2*l = 4*c - 0*l - 24, 0 = -2*c + 5*l. Solve 3*z - c*z + 8 = 0 for z.
4
Let u(o) = -2*o + 2. Let y be -1*1 - (2 - 8). Suppose -4*l = y + 3. Let b be u(l). Solve -b = -k - k for k.
3
Let b be 9 - 4*(-3)/(-6). Solve -2*i - b = 3 for i.
-5
Let y = 0 - 0. Solve y = p + 2 + 2 for p.
-4
Suppose 1 = 7*i - 20. Solve -3*y - i + 0 = 0 for y.
-1
Let i(b) = 3*b**2 - 4*b**2 - 4*b + 3*b + 2*b + 2. Let l be i(2). Solve -2*g + 6*g = l for g.
0
Suppose -21 = v + v - o, 3*o + 9 = 0. Suppose -10*t = -11*t - 26. Let x be (-5)/30 + t/v. Solve -x*a + 0*a + 4 = 0 for a.
2
Let h(u) be the first derivative of u**4/4 + 3*u**3 + 9*u**2/2 + 5*u - 3. Let v be h(-7). Suppose -3*s + s = -v. Solve 5*a - s = 5 for a.
5
Suppose -1 = -n + 3. Solve -3*z + n = -7*z for z.
-1
Let p be 4/(-14) - 90/(-21). Suppose -p + 2 = -n. Solve 3*s - n = 1 for s.
1
Let q(l) = l + 28. Let t be q(-12). Solve 4*g + t = -0 for g.
-4
Suppose 2 + 2 = -g - 3*y, 4*y + 53 = -5*g. Let w(c) = c + 15. Let u be w(g). Solve s - 2 = u*s for s.
-2
Let c(m) = -2*m**3 - m**2 + 5*m - 1. Let z be c(-4). Let o be z/28 + (-2)/8. Solve r + 16 = -o*r for r.
-4
Let p = 4 + -2. Suppose 4*i - 2*l - 23 = -5*l, l = -p*i + 9. Solve -3*a + 7 = -i for a.
3
Suppose 0 = -8*m + 11 + 5. Let b(c) = -3*c + 3. Let h(l) = -2*l + 3. Let n(y) = 3*b(y) - 4*h(y). Let r be n(-6). Solve m*d - 11 = -r for d.
4
Let s = 12 - 9. Solve 15 - 3 = s*k for k.
4
Let y be (-2 - -1) + (5 - 0). Solve 3*q - y = 8 for q.
4
Let o = -12 + 37. Suppose 0*q = 5*q - 15, 4*g - o = -3*q. Suppose 6 = -2*d, 2*z = z - 2*d - 6. Solve z = s + g - 1 for s.
-3
Let q(b) be the third derivative of b**5/60 + b**4/4 + 5*b**3/6 + 3*b**2. Let f be q(-6). Suppose 2*x - 8 = 10. Solve x*n - f = 4*n for n.
1
Let h be (2 + -4 - 2) + -2. Let v be (h/5)/((-3)/10). Solve -6*k + 4 = -v*k for k.
2
Let z(a) = 2*a - 11. Let k be z(6). Solve 4 = -w - k for w.
-5
Let z be ((-6)/7)/((-219)/42 + 5). Solve -z*g - 7 = -3 for g.
-1
Let k = 22 + -19. Solve k*z - 7*z + 20 = 0 for z.
5
Suppose i - 3*i + 0*i = 0. Suppose -4*d + 51 = 4*o + 7, -2*o = -2. Let j = d - 7. Solve 3 = -j*n - i for n.
-1
Let j(d) = 8*d**3 + d**2 - 2*d + 1. Let o be j(1). Let a be (-1 - (-4)/o)*-10. Solve 0 = -0*s + a*s + 10 for s.
-2
Let w = -4 + 8. Suppose -1 = -3*v + 26. Let o = 9 - v. Solve -q + 2*q + w = o for q.
-4
Let q(i) = i**2 - 4*i + 2. Let b be q(4). Suppose 3*g = -5 + 14. Solve -b*p + g = -3 for p.
3
Suppose -r = 2*r - p - 34, 3*p = 4*r - 52. Solve -6*k = -8*k + r for k.
5
Let z = -7 + 8. Let t be (-261)/(-36) - z/4. Suppose -2*i + t*i - 15 = 0. Solve 5*b = 12 + i for b.
3
Let g be (-15)/12 - 1/(-4). Let o(a) = 4*a**2 + a. Let y be o(g). Let k(i) = -i**2 + 3*i + 4. Let p be k(4). Solve -y*z + 12 + p = 0 for z.
4
Let d(s) = s**3 + 2*s**2 - 10*s - 3. Let f be d(-4). Solve 6 = f*k - 2*k for k.
2
Suppose -9*t + 14 = -10*t. Let i be ((-3)/(-4))/(t/(-56)). Solve -4*o - 3 = -i*o for o.
-3
Suppose -8*z + 23 = -1. Suppose n + 15 = 5*u, -2*u + 3*u - 3*n = 3. Solve 0 = -u*f + 2*f - z for f.
-3
Let y(k) = -k**3 + 7*k**2 + 8*k + 2. Let l be y(8). Solve 1 + l = z for z.
3
Let c(z) = -2*z - 9. Let l be c(-7). Suppose 2*g + 52 = 4*g - 5*m, -l*g = -m - 84. Suppose -a + 4*w + 1 - g = 0, 20 = 4*w. Solve -2 = a*t + 3 for t.
-1
Suppose 2*s - 5*s = -7*s. Solve i - 3 - 2 = s for i.
5
Let l be 0 - 2/(-2)*4. Suppose 3*f - l*u - 6 = 