. Let b(q) = q**2 + 4*q - 7. Let s be b(-6). Let u = s - z. Solve 0*w + 2 = u*w for w.
1
Suppose 4*f = i + f - 24, -i = 5*f + 16. Let z be (6/i)/((-2)/(-9)). Solve z*k = -5 - 1 for k.
-2
Let w be 1 + 1 + 1 + -9. Let j = w - -18. Solve j = 4*m + 4 for m.
2
Let o(h) = -h**3 + 9*h**2 - 7*h + 8. Let z = 11 - 3. Let g be o(z). Solve -2*f - 2*f - g = 0 for f.
-4
Let n(v) = 3*v + 7. Let c(s) = s. Let f(w) = -4*c(w) + n(w). Let j be f(-7). Let i = -10 + j. Solve 4*p = i + 16 for p.
5
Suppose -3 = 3*y - 9. Solve y*t = -t + 12 for t.
4
Let k(q) = q**2 - q + 2. Let g(r) = -r**2 + 3*r + 7. Let u be g(5). Let j be k(u). Solve 5 - j = 3*l for l.
-3
Suppose -30 = -u - 4*u. Let k = 5 - 2. Solve k*n = u*n + 12 for n.
-4
Let s(f) = -2*f**2 - 1. Let l be s(1). Let i be (0 + -6)/(l/2). Suppose -2*w + j = -25, -4*w + j + 59 - 10 = 0. Solve -4*d + i = w for d.
-2
Let i be 1 + 2 + (-2 - -1). Let g be 1 - i - (5 - 11). Suppose u + 2*o - 12 = 0, -39 = -g*u - 3*o + 49. Solve -3*r = r + u for r.
-5
Let a(l) = 2*l**2 - l. Let v be a(-1). Suppose 4 = -v*f - 5. Let g be (f - 7)*(-2)/4. Solve g*y + 12 = -8 for y.
-4
Let w be 198/10 - (-4)/20. Let b = 3 - -1. Suppose b*f = f. Solve f = 2*k + 3*k - w for k.
4
Let l(h) = -4*h**2 - 4*h + 3. Let y(d) = d**2 + d - 1. Let f(p) = l(p) + 5*y(p). Let c be f(4). Solve -5*j - 3 + c = 0 for j.
3
Suppose -c = -4*b + 2*c + 22, -8 = -4*b - 4*c. Suppose 1 - b = -v. Let x(l) = -l + 8. Let z be x(8). Solve z - v = p for p.
-3
Let u = -64 - -68. Solve -u*h + 3 + 5 = 0 for h.
2
Let m(z) = -z - 9. Let a be m(-13). Solve 20 = a*d - 0*d for d.
5
Let s(g) be the third derivative of -g**6/120 - g**5/12 - 4*g**2. Let z be s(-5). Solve 2*b - 5*b - 9 = z for b.
-3
Suppose -2*o + 75 = 3*o. Suppose v = 19 - o. Solve v*a - a = 0 for a.
0
Let t(y) = -8*y - 1. Let q be t(4). Let l(w) = -2*w**3 - 2*w**2 - 5*w - 3. Let g be l(-3). Let o = g + q. Solve 4*p - o = -p for p.
3
Suppose f = -3*k + 32, -2*f + 0*f = 2*k - 16. Solve -k = 7*i - 4*i for i.
-4
Let k = 0 - -1. Suppose -5*g + d = -12, k = 5*g - 4*d - 2. Solve -y - 2 = -g*y for y.
1
Suppose -5*m + 5 = -0*m. Let n = 3 - m. Solve n*t = 3*t for t.
0
Let g(l) = 2*l + 13. Let p(r) = -r - 8. Let c be p(-3). Let i be g(c). Solve -7*k = -i*k for k.
0
Suppose -2*r = -2 + 6, -4*i = r - 2. Let v be (2/3)/((-8)/(-36)). Suppose i = -h + v. Solve -c + h = -0 for c.
2
Suppose -3*m - 6 = -5*m. Let y be (12/30)/((-2)/(-10)). Suppose -19 = -3*f - l, 0*l + 5*l = -y*f - 9. Solve f*h = m*h - 10 for h.
-2
Suppose -3*h - 5*p + 9 + 14 = 0, -2*p - 48 = -4*h. Solve -2*j + 3 = h for j.
-4
Let z = -5 - -5. Suppose 0 = 5*b - z*b. Solve 2*j - 3*j - 2 = b for j.
-2
Suppose 2*a + a - 6 = 0. Suppose -6*y + 35 = -y. Solve -5*i + y = a for i.
1
Let a be (-2 + 3)*5/(25/10). Let r be (-4 + 6)*(-2)/(-4). Solve 3*m + r = a*m for m.
-1
Let o = -15 + 15. Let v = -4 + 6. Let m be v - o - (-26)/2. Solve -4*p = -9*p - m for p.
-3
Let u = 11 - -9. Solve 0 = -d + 6*d + u for d.
-4
Suppose -5*c - 1 = -4*m - 31, 2*m = c. Suppose -c = -3*o + 2*o. Solve o = 4*y + 26 for y.
-4
Let q be (12/(-10))/((-4)/10). Suppose q*a = 30 + 18. Suppose t + 3*x = -4*t + 28, -3*t + a = x. Solve -o - 4 = -t*o for o.
1
Suppose 3*c + 4*o = 2*o + 26, -5*c - 2*o = -38. Let i(y) = -y**3 + 6*y**2 - 6. Let n be i(c). Let x be n/27 - (-454)/18. Solve 6*v - v = x for v.
5
Let b be (-6)/(-3 - 48/(-15)). Let v be 3 + 0 - b/(-10). Solve 5*j + 20 + v = 0 for j.
-4
Let q(d) = d**3 - 3*d**2 + 2*d - 6. Let m be q(3). Solve -2*t + 1 + 1 = m for t.
1
Let l(o) = -o**2 - 6*o + 2. Let d be l(-6). Solve 0 = 3*w - d*w + 1 for w.
-1
Let b = -7 - -11. Let o be (b/(-3))/((-6)/9). Suppose 1 - 2 = -g. Solve o*z + g = z for z.
-1
Let f = 1 - -5. Let b be 1*21/f*-10. Let d be 2/8 + b/(-20). Solve 3 = -d*v - 7 for v.
-5
Let l(o) be the second derivative of -o**4/12 - o**3/6 + 2*o**2 - 6*o. Let t(s) = s**2 + 7*s - 8. Let a be t(-8). Let h be l(a). Solve h*q - 6*q - 2 = 0 for q.
-1
Let a be 6/12 + 1/(-2). Solve a = -2*u + 10 - 0 for u.
5
Let b(g) = g + 1. Let w be b(2). Suppose -4*o - w*s = -24, 4*o - 56 = -5*s - 24. Suppose 5*f = 1 + 34. Solve -f*p + 12 = -o*p for p.
3
Suppose 4*i + w - 3 - 5 = 0, 0 = 3*w. Solve i*b + 3*b - 10 = 0 for b.
2
Let d = 7 + -3. Let s be ((-12)/d - -2)*-2. Solve s*r + r = -15 for r.
-5
Suppose -b = -4*b + 3. Suppose 2*n - b = 1. Solve -n = -4*a - 5 for a.
-1
Let h(p) = -15*p - 1. Let y be h(-1). Let k be 47/9 + y/(-63). Solve 0*j = j + k for j.
-5
Suppose -j - 5 + 6 = 0. Suppose -3 - 5 = 2*u. Let i be u - -5 - (-1)/j. Solve x = i*x - 2 for x.
2
Let h(s) = -s**2 - 6*s - 4. Let y be h(-4). Suppose -t + 4*c = 8*c - 12, -4*t = -y*c + 12. Solve 4*r - 4 = -t for r.
1
Suppose -3*s = 2*g - 1, -3*s + 4*g + 1 = -6*s. Let u be s + (-3)/((-9)/42). Solve 2*n + 3*n = u for n.
3
Let i be (21/12 + -3)*-4. Let s be 20/(-5)*(-1)/2. Solve i*u - 7 = -s for u.
1
Let m(g) = g - 25. Let a be m(25). Solve a = -5*s + 33 - 13 for s.
4
Let l be (-2)/(-3) + (-50)/(-6). Let u be 3*3/l + -3. Let s be u + (0 - -9 - -1). Solve -4*r = -2*r - s for r.
4
Let t be 0*1/(-2)*2. Let u = 54 - 52. Suppose -k + u*k - 2 = t. Solve 0 = -2*s + k - 0 for s.
1
Suppose -c - 4*g + 16 = 3*c, -2*g + 8 = -4*c. Suppose -5*y + 12 = y. Solve -2*k - y = -c for k.
-1
Suppose -20 = -43*y + 42*y. Solve -4*u + y = u for u.
4
Suppose -3 = -j - 0*j. Let r = j - -1. Solve -2*o - r = 2*o for o.
-1
Let a(q) = -q**3 - q**2 - q + 1. Let j(y) = 2*y**3 - y**2 - 9 + 13*y**2 - 2*y**2 + 3*y. Let r(o) = -3*a(o) - j(o). Let k be r(7). Solve h = -2*h - k for h.
-2
Suppose 2*x = -x + 6. Solve 3*c + x = 5 for c.
1
Let q(y) = -y + 10. Let b be q(5). Suppose 0*i + 26 = 4*j - b*i, -3*i - 26 = -5*j. Solve 4*s + 0*s = j for s.
1
Suppose 32 = 3*v + 8. Solve 0 = v*f - 4*f + 20 for f.
-5
Suppose q + 4*q = 10. Let p = q - 2. Let f be (0 - -1)*5/((-5)/(-3)). Solve p = f*d + d + 12 for d.
-3
Let y be 1 + (-1)/(-1) + 1. Let v be 15/6*(-8)/(-10). Solve -y*d + d + v = 0 for d.
1
Suppose q = -1 + 5. Solve -4 = -q*g - 0 for g.
1
Let m = -8 + 8. Solve 2*x + x = m for x.
0
Let h be -1*(-3)/(-3)*-1. Suppose -h = 2*j - 9. Solve 0 = -g + j*g + 12 for g.
-4
Suppose 25*x + 20*x = 45. Let h be (-50)/(-6) - (-1)/(-3). Suppose 4*g + 6*p = 2*p + h, 3*p - 12 = -5*g. Solve 2 = -g*v - x for v.
-1
Let y be (-5)/(10/4)*1. Suppose -3*z - 2*h = -z + 2, h = z + 3. Let r = y - z. Solve 3*b - 3 = -r for b.
1
Suppose 2*f + 5*f = 0. Solve f = 4*q - 7*q for q.
0
Let i be (-6)/(-4) + (-4)/8. Let y = 2 + i. Solve 2 = h - y*h for h.
-1
Suppose -m = -6*u + 2*u, -5*m - 5*u = 0. Let b(i) be the second derivative of -i**5/20 - i**3/6 + 2*i**2 - i. Let h be b(0). Solve m = h*p - p + 3 for p.
-1
Let j(k) = k + 9. Let z be j(-6). Solve -6*l + z*l + 9 = 0 for l.
3
Let c = 0 + -9. Let q = c + 18. Let i be (0*(-3)/q)/1. Solve 5*z - 1 - 4 = i for z.
1
Let a(w) = 4*w**2 + w + 1. Let d be a(-1). Suppose 0 = d*b - 6 - 2. Solve -6*o + 20 = -b*o for o.
5
Let f(k) = -k**2 - 4*k + 2. Let p be f(-4). Let i = -6 - -8. Let r be (i/(-5))/(7/(-35)). Solve p*z = -r*z for z.
0
Let z = 0 + 1. Suppose -2*o = z + 1. Let g be 1*(-3 - 0)*o. Solve -t + g = -2 for t.
5
Suppose -5*c + c = -4. Let x be (-3)/((2 - 3)/c). Let m be 0/(-1 - -4 - 1). Solve j - x - 2 = m for j.
5
Let p be -1*(2 - (8 - (1 - -1))). Solve p*m + 38 = 18 for m.
-5
Let v(m) be the second derivative of m**4/24 + m**3 - m**2/2 + m. Let k(y) be the first derivative of v(y). Let z be k(-5). Solve -b + 0 - z = 0 for b.
-1
Let p(t) = -2*t**2 + 7*t + 5. Let w be p(4). Solve 0 = -2*y + w - 7 for y.
-3
Let q(r) = 4*r**3 - r. Let h be q(1). Solve 0 = b + 1 - h for b.
2
Let t(y) = -y**2 + 6*y. Let w be t(4). Let l(r) = r - 3. Let k be l(w). Suppose -c + 17 = 3*c - 3*n, 4*c = k*n + 23. Solve m + c - 5 = 0 for m.
3
Suppose 15*m = -3*m + 36. Let h be 12/10*(-5)/(-2). Solve z + h = m*z for z.
3
Suppose 2*x + 4 = -3*k - 3*x, x + 8 = 3*k. Let a be (-6 - -4)*(-1)/k. Suppose 1 = z - a. Solve 12 = z*s + s for s.
4
Let z(j) = -2*j. Let m be z(-1). Suppose -3*p + 3 = 4*n, -3*n + 3*p = -8*n + 6. Solve -w = -m*w - n for w.
-3
Let h(i) = i**2 + 3*i + 4. Let m be h(-3). Let q(k) = k**2 - 26*k - 120. Let u be q(30). Solve 2*a - 2 - m = u for a.
3
Suppose 0 = 16*q - 36 - 44. Solve 0 = q*g - 4 - 1 for g.
1
Let l(n) = n**3 + 10*n**2 - 11. Let y(w) = w**2 - 1. Let c(k) = -l(k) + 6*y(k