Let d(l) = l**3 - 7*l**2 + 5*l + 4. Let p be d(6). Let v be 4/p + -1 + 10. Suppose 3*g + 3 = 12. Solve v = -g*y - 8 for y.
-5
Let h be 7 - ((-4)/(-2) + -1). Suppose -d - h = d. Let y be (4 - (0 - d))*1. Solve 4*o = y - 5 for o.
-1
Suppose f + 53 = 4*f + k, -2*f + 47 = 3*k. Let w be (-2)/f + (-25)/(-8). Solve -v - w*v = 8 for v.
-2
Let f(c) = -7*c - 1 + c + 3 + 5*c**2 + c**3. Let k be f(-6). Solve -b + k = -0*b for b.
2
Suppose -5*t = 5*t. Solve -5*j + 12 + 8 = t for j.
4
Let g = -2 + 12. Suppose -g = -3*w + 2. Solve -2 + w = -l for l.
-2
Suppose -1 = -2*k - 5*f, 0*k + 2*k = -2*f + 4. Solve k = -3*q - 0*q for q.
-1
Let z(i) = i**3 + 6*i**2 + 5*i - 2. Let k be z(-5). Let p = k - -2. Suppose 2*v + p*v - 4 = 0. Solve -1 - 3 = -v*f for f.
2
Let n = 0 + -3. Let b be 1/(n/12) - -6. Solve b*o - 4 = 2 for o.
3
Suppose 4*v + 3*g - 27 = 0, 2*v + 2*g + g = 21. Solve j + 2 + v = 0 for j.
-5
Let r(l) = l - 5. Let f be r(4). Let t = f + 8. Let p = 8 - 5. Solve -t*n = -p*n - 16 for n.
4
Let o(l) = l**3 + 4*l**2 + l - 4. Let w be o(-3). Let t = -8 - -11. Suppose -4*z - t*n = -0*n - 16, -4*z + 4*n = 12. Solve z = w*k - k for k.
1
Let r be 0 - (-17 - -2)/(-3). Let k be ((-1)/2)/(r/80). Solve 0 = 5*p - k + 3 for p.
1
Suppose -3*u + 27 + 15 = 0. Suppose 0*o - 4*o + 8 = 0. Suppose o = -4*v + u. Solve v*n + 15 = -0*n for n.
-5
Let z be 2/6*(7 + 5). Solve 16 = 3*x + z for x.
4
Let k = -319 - -321. Let t = 7 + -3. Let h be 15/(-12)*t/(-1). Solve -k*u = -u + h for u.
-5
Suppose -20 = -4*y, 2*a + a - 3*y = -12. Solve 4*z = -3 - a for z.
-1
Let m be (36/(-21) + 2)*7. Let z(p) = 6 + p - m + 0. Let x be z(-3). Solve x + 4 = -5*k for k.
-1
Suppose 7*b - 2*b = 3*d + 9, 2*d - 1 = b. Let x(l) = -l + 1. Let p be x(-6). Solve p*c - 4 = b*c for c.
1
Let g(r) = 2*r. Let u be g(-2). Let q be (u/10)/((-4)/60). Solve -l = l + q for l.
-3
Suppose 4*f + 45 = 7*f. Let g be (-6)/(-3) - (0 + -1). Suppose d - g + 0 = 0. Solve 2*z + f = -d*z for z.
-3
Let u(n) = -n**3 - 13*n**2 - 12*n + 2. Let q be u(-12). Suppose q*m = -0*m + 10. Let k = 9 - m. Solve 0*d - 2*d - k = 0 for d.
-2
Let u = 13 - 10. Let r be ((-8)/4*-1)/2. Solve -x + r = u for x.
-2
Let w be (-3)/2 - 44/(-8). Suppose w = 4*h - 36. Let t be 8/(1 - -1) + 2. Solve t*c + h = c for c.
-2
Let g = -47 - -49. Solve 3*h - 1 - g = 0 for h.
1
Let d = 13 - 6. Suppose d*c - 20 = 3*c, -3*f + 39 = 3*c. Solve 3*b = -f - 1 for b.
-3
Suppose -8 = -3*c - 26. Let j be 12*(9/c - -2). Solve -3*q + 0 = -j for q.
2
Suppose -4*z - 35 = -5*p, -6*z + 2*z - 20 = 0. Solve -5 = p*d - 8*d for d.
1
Let n = -3 - -8. Suppose k + 3*w = 13, 5 = -k + n*w - 2*w. Suppose 19 = m - 1. Solve -o = k*o + m for o.
-4
Suppose -4*l = -2*n - 4, 2*l = -0*l + 2. Solve n = -0*q + q for q.
0
Let w(g) = g**2 - 14*g + 26. Let z be w(12). Solve z*i = -3*i for i.
0
Let q(v) = -v**3 - 8*v**2 - 8*v + 6. Let z = -7 + -1. Let r be (-2)/3*(-84)/z. Let i be q(r). Solve -4*x - i = -1 for x.
-3
Let p(d) = d + 5. Let c be p(10). Let l = -11 + c. Solve -l*t = -0*t for t.
0
Let u(p) = -3*p - 6. Let z = -14 + 10. Let m be u(z). Solve 2 = r + m for r.
-4
Let l be (-72)/(-8) + -8 + 2. Suppose -3*p - b = -19, -5*b + 7 = -p - 8. Suppose 0 = -w + p*w. Solve l*c - 2*c = w for c.
0
Let j(q) = -q**3 + 7*q**2 + 8*q + 3. Let f be j(8). Suppose -4 = -f*v + 8. Solve -v*o + 9 = -3 for o.
3
Suppose 4 = 5*g - 6. Let n(z) be the first derivative of z**2/2 + z - 3. Let d be n(g). Solve 2*w = -w - d for w.
-1
Suppose -6*l + 2*l = -44. Let d be (16/6)/(3/9). Let z = l - d. Solve -a = -z*a for a.
0
Let a(m) = -m**3 - 7*m**2 - 5*m + 5. Let b be a(-6). Let y = 4 - b. Let n(l) = -l**3 + l**2. Let i be n(1). Solve y*j - 4 - 1 = i for j.
1
Let x(r) = 2*r**2 - 2. Let m be x(2). Suppose -4*y = 2*k - m*k - 28, -19 = 3*y + 5*k. Solve -7 = -y*h + 3 for h.
5
Let s(l) = l**3 + 3*l**2 + l + 4. Let z be s(-3). Let b(o) = -o**2 + 1. Let y be b(-1). Suppose c - z - 1 = y. Solve c = v - 0*v for v.
2
Suppose 7*w - 10 = 2*w. Solve -w = -t - 6 for t.
-4
Let b be ((-5)/10)/(1/22). Let x = -8 - b. Solve -x*m + m = 0 for m.
0
Suppose -4*f - f + 42 = -4*l, -l - 3 = 0. Suppose 0 = -2*z - z - 9. Let m be (0/3)/(f/z). Solve m = -d - 3*d for d.
0
Suppose 4*c + 11 = 5*t, -4*t - 5*c + c = -16. Suppose -4*m + 2*r - 5 = t*r, m - 3*r = 15. Solve m = d - 0 - 1 for d.
1
Suppose -4*i + 12 = -0. Let r be 9 + (2 - (i + -2)). Solve -c = -6*c + r for c.
2
Let u be ((-4)/(-8))/(2/20). Suppose 3*p - u*w - 11 = 0, w = -2*p + 4*w + 7. Let d be 1*(-1 + p) - -3. Solve d*f - 1 = 15 for f.
4
Let d be (-24)/4*1/(-3). Suppose -d*i + b = -12, -25 - 5 = -5*i + 5*b. Solve -4 = -2*r + i for r.
5
Let m = 34 + -29. Solve -w = -2*w + m for w.
5
Suppose 5 + 0 = u. Suppose -u*x + 3*x = -2. Solve -x = -5*l - 11 for l.
-2
Let i(s) = -s**2 - s. Let x be i(-2). Let v = x - -5. Solve m - 2 = v for m.
5
Let l = -31 + 81. Let f = l - 34. Solve 0 = -5*u + f + 4 for u.
4
Suppose 0 = -4*n, 0*c + n - 60 = -4*c. Suppose -2*q - s + 3*s + 12 = 0, -q + c = -4*s. Suppose -2*k + 1 = -5. Solve -k - q = -2*l for l.
3
Suppose 2*i = -0*i + 5*d, -5*d + 20 = 0. Suppose 17 = 5*y - 4*w - 3, i = 2*y - 2*w. Solve -3 + y = -p for p.
3
Let d = 5 - 2. Suppose -2*j + 0*j + 2 = -d*l, 3*j - 3*l = 3. Solve -j - 5 = -2*o for o.
3
Let s(j) = j**2 - 4*j - 4. Let v be s(5). Suppose 2*m - v = i, 7*i - 2*i - 25 = 0. Solve -2*n = 7 - m for n.
-2
Let b be 4/(-8)*-14 - 1. Solve 0 = 2*n + n - b for n.
2
Let t(z) = z**2 - z - 1. Let i(u) = 9*u**3 + 7*u**2 - 6*u - 7. Let y(q) = i(q) - 6*t(q). Let f be y(1). Let n be ((-1)/3)/((-3)/f). Solve -b = 4 + n for b.
-5
Let q(w) = w - 1. Let d be q(2). Solve s - d = -3 for s.
-2
Suppose -5*l + 0*l - 2*a = -42, 3*a = 3. Solve 2*u + l = 2 for u.
-3
Suppose k - n = 9, 2*k - 3*n - 13 = -6*n. Solve -4*i + k*i = 0 for i.
0
Let b(u) = u**3 + 5*u**2 + u - 3. Let g be ((-16)/10)/((-8)/20). Suppose g + 2 = -2*h. Let i be b(h). Solve -2*f = f - i for f.
4
Suppose 2*k = k - 5*i - 10, 4*k - 35 = 5*i. Let x = k - 2. Solve -x*t + 4 = -5 for t.
3
Let o(v) = -v - 7. Let u be o(-5). Let n be (-1)/(-2)*u - -3. Let t be 2/n*(-2 - -2). Solve t = -4*b - 4 - 8 for b.
-3
Let a(k) = -k - 1. Let x be a(-1). Let d be (-1 + 0)*(-2 + 2). Let o be (3/(-6) - d)*-6. Solve 3*n = o - x for n.
1
Let z(m) = -m - 4. Let l be z(-9). Solve -l*f + 4 = -f for f.
1
Suppose 4*k = 5*k - 1, 2*c + 3*k - 3 = 0. Let j(u) = u**3 - u + 3. Let p be j(c). Suppose -v + 2*w = 2*v + 3, 4*v - 13 = -p*w. Solve v = -4*d + 17 for d.
4
Suppose -2*t + 2*y + 4 = 0, 5*y = -6*t + t - 10. Solve g - 1 + t = 0 for g.
1
Let q = 7 + -11. Let z(a) = -a**3 - 4*a**2 - 2*a - 4. Let s be z(q). Solve -y = s*y - 5 for y.
1
Suppose 4*z + 2*k + 6 = 0, 6*z - 3*z = -2*k - 6. Suppose -2*o = -z*o - 6. Let b be 24/7 + o/(-7). Solve 18 = b*t + 6 for t.
4
Let r(b) = -7*b - 10. Let p(d) be the third derivative of d**4/8 + 5*d**3/6 + 2*d**2. Let i(t) = 5*p(t) + 2*r(t). Let c be i(-4). Solve c + 4 = -m for m.
-5
Let s = 2 - -6. Suppose 5*a + 2*d + 2*d - 25 = 0, 6 = a + d. Let r(v) = v**2 - 2*v + 1. Let h be r(a). Solve h = 4*o + 24 - s for o.
-4
Let q(u) = 6*u**2 - 4*u - 1. Let o be q(2). Solve -o = 4*f - 9*f for f.
3
Suppose 4*y - 125 = 5*w, 9*y - 4*y + 4*w = 105. Solve 0 = t - 6*t - y for t.
-5
Let b = -32 + 35. Solve -b*i = -7*i + 4 for i.
1
Let a be (6 - 0)/1*(-24)/(-9). Solve 0*m = 4*m - a for m.
4
Let a = 12 + -5. Suppose a = -4*v - 13. Let h(l) = -l**2 - 4*l + 7. Let p be h(v). Solve 0 = 4*y - 2 - p for y.
1
Let f = -14 - -17. Solve -f*h = -h - 6 for h.
3
Let f = -53 + 50. Suppose -9 = -3*b + i - 4*i, -4*b - 12 = -2*i. Let k = b - f. Solve 0 = -k*l - 7 + 1 for l.
-3
Suppose -n + 1 = -12. Suppose -5 = 2*g - n. Let o(a) = a**2 - 2*a - 4. Let i be o(g). Solve -13 + 29 = -i*s for s.
-4
Let l be (6 + -6)/((-3)/3). Solve b + 2 - 6 = l for b.
4
Suppose -u = -z + 4*u, 0 = z + 4*u. Let m = -4 - -3. Let s be (-12)/(-9)*(m + 4). Solve s*h - 24 + 4 = z for h.
5
Let p(y) = -y**3 - 11*y**2 + y + 10. Let u be p(-11). Let q be u + (4/(-2))/2. Let s be 1/q*(-13 + -1). Solve s = 5*c - 8 for c.
3
Suppose 4*w + 20 = 8*w. Solve 6 = w*q - 3*q for q.
3
Let j(w) = 32*w + 4. Suppose 0 = -0*l + 5*l - 15. Let u be j(l). Suppose 8*i - 3*i = u. Solve -i = -s - 3*s for s.
5
Suppose 7*z - 20 = 2*z. Suppose 4*c - m - 28 = -2*m, c - 7 = -5*m. Solve -z*i - 9 = -c*i for i.
3
Let j(a) 