) = i**2 - 13*i - 8. Let l(h) = 2*o(h) + 5*s(h). Let v be l(-8). Solve -6 = -4*b + v for b.
5
Let t = -54 - -59. Solve t*x - 4 = 1 for x.
1
Let s(u) = u**2 - 10*u + 20. Let l be s(8). Solve 3*w + l = 1 for w.
-1
Let t = 2 + -2. Suppose 2 = -h - t. Let n be -2*(-3)/(-6)*h. Solve -n*x - 2*x = 0 for x.
0
Let f = -4 + 7. Suppose 3*w = 4*w - f. Let n = 3 - w. Solve j + 0 + 3 = n for j.
-3
Suppose -3*y = -4*z + 7, -2*y + 16 = z + 2*y. Suppose 2*b + 2 = b, z*p - 8 = -4*b. Solve p*g - 7 - 9 = 0 for g.
4
Suppose 0 = -2*w + 7 + 5. Let g be (w - 3) + (2 - 5). Let o be (-2)/(-4)*g/3. Solve o*v - 8 = 2*v for v.
-4
Let m(n) = n**3 + 13*n**2 + 9*n - 16. Let q be m(-12). Solve 3*b + b - q = 0 for b.
5
Let y = -16 - -11. Let a(l) = 0*l**3 + 2 - 2*l**2 + 7*l**2 + l**3. Let k be a(y). Solve -d + k*d = 0 for d.
0
Let q = -11 - 10. Let p be 14/q - 8/6. Let j(f) = f**3 + 2*f**2. Let l be j(p). Solve l = -4*m + 3 - 15 for m.
-3
Suppose 4*c + 1 = -3. Suppose 10*j = 7*j + 12. Let l = j + c. Solve 0 = w - l*w - 4 for w.
-2
Let b = 17 - 15. Solve 0 = b*r - 0*r for r.
0
Let g(q) = q**3 - 3*q**2 - 3*q + 4. Let n be g(4). Let w = 14 - n. Solve -4*c - w = -22 for c.
4
Suppose 18 = 4*f + 5*d, -4*d = 4*f - 27 + 11. Suppose 2*q + f*j = -q + 2, -14 = -5*q + 2*j. Solve -q*c = c for c.
0
Let r = -19 - -34. Let b = r - 14. Solve 5*q = b + 9 for q.
2
Let g be (1 - 0)*6 + 2. Suppose -d + 3*d = g. Solve c + d = 5*c for c.
1
Let n be (20/(-15))/(4/(-6)). Solve -n*d + d = 2 for d.
-2
Suppose 0 = -c + 4, 3*w + 3*c + 0 = -24. Let v = w + 17. Solve -v*z + z = 0 for z.
0
Let f be 10/35*(-35)/(-10). Solve -u + f = -2*u for u.
-1
Let s(g) = 4*g + 23. Let n be s(-2). Solve 0*h - 5*h - n = 0 for h.
-3
Let a = -88 - -88. Solve -4*s + 12 = -a*s for s.
3
Suppose -3*h = -o + 3*o - 43, 4*o = -2*h + 42. Let d = -2 + 3. Solve 2*k - d = -h for k.
-5
Suppose -4*r + 3*f - 60 = -2*f, -r - 4*f = -6. Let s(u) = 2*u + 13. Let j be s(-9). Let a = j - r. Solve 34 - 14 = -a*w for w.
-4
Suppose 2*d - 3 = 1. Suppose d*z - 3 = -1. Let k be (-25)/(-4) - z/4. Solve -j - k + 2 = 0 for j.
-4
Let x(s) = 2*s - 9. Let n be x(6). Let v be (-4 + (6 - 3))*0. Suppose 0 = 2*t + 3*t + o - 16, -3*t + o + 16 = v. Solve -n*b = -16 + t for b.
4
Let r = -10 + 14. Solve 9 - 1 = -r*d for d.
-2
Suppose -w = 2*w + 5*y - 51, -5*w = y - 63. Suppose 3*a - 5*q = -q + w, -a - q + 4 = 0. Let o = -1 + a. Solve -12 = o*m + m for m.
-3
Let s = 12 - 6. Let m(h) = -h**3 + 4. Let u(k) = k**3 + 6*k**2 + k + 6. Let n be u(-6). Let t be m(n). Solve t*d = d - s for d.
-2
Let a = -53 - -56. Solve -c + 1 = -a for c.
4
Let k(s) = 2*s. Suppose 5*p = 4*p + 4. Let d be k(p). Solve 3*g + g - d = 0 for g.
2
Let y(x) = -x**3 + 6*x**2 + 2*x - 8. Let v be (-1)/6*-3*12. Let k be y(v). Suppose -g + k = g. Solve c - 2 = g*c for c.
-2
Let t be 21 + 1/((-1)/1). Suppose 0 = -5*g - 27 + 37. Solve 0 = -g*k + 6*k + t for k.
-5
Let o(m) = -m**3 - 4*m**2 - 4*m + 5. Let c be o(-4). Suppose -4*w + c = -w. Solve -10 = 2*q - w*q for q.
2
Let r(g) = g**2 - 4*g - 9. Let x(h) = h**3 + 7*h**2 - 9*h - 1. Let u be x(-8). Let p be r(u). Solve 3*q - p = 6*q for q.
-4
Suppose v - g + 0 = 10, 3*g = -5*v + 18. Solve -v = -u + 4*u for u.
-2
Let x(u) = -5*u + 3. Let z be x(2). Let w = z + 11. Solve n = -3*n - w for n.
-1
Let g = -18 - -24. Solve -1 + g = a for a.
5
Suppose 0*u = 5*u - 25. Let i = -1 + u. Let c be 1 - ((-21 - -3) + -2). Solve -c = i*x - 5 for x.
-4
Suppose -2*x = 6 - 36. Solve 5*f + x = 2*f for f.
-5
Suppose 78 - 22 = 14*t. Solve 2*h - t = -2 for h.
1
Suppose 5*c - 2 = 18. Solve 3*t - c*t + 4 = 0 for t.
4
Suppose 0 = -3*q + 5*q. Let o = 4 + q. Suppose b = -4*g + 18, 4*g - 15 = -2*b + 5. Solve y + b - o = 0 for y.
2
Let t(k) = 5*k - 2. Let c = 6 + -4. Let g be t(c). Solve -4*h = -g*h for h.
0
Let j = -3 - -6. Let c be j - 1 - (-3)/1. Let o = c + -3. Solve 0 = -2*u - 0*u + o for u.
1
Let i(h) = -h**2 - 2*h. Let q be i(-2). Let f be 11/3 + 90/(-54). Solve 3*b - f - 1 = q for b.
1
Let k(w) = -w**2 + 6*w + 7. Let n(z) = 3*z + 1. Let u be n(2). Let c be k(u). Solve c = -3*y + 1 + 2 for y.
1
Let f be (-6)/1*(-6)/4. Let z = -14 - -25. Suppose -5*s + 5 = -4*s. Solve z = s*m - f for m.
4
Let t = 1 - -4. Suppose t*n - 131 = -26. Suppose 0 = 4*o - 5*s - 21, s = -3*o - 10 + n. Solve 1 = o*w - 15 for w.
4
Let h(n) = -4*n**3 - 2*n**2 - 3*n - 2. Let d be h(-1). Solve -d*r + 9 = -0*r for r.
3
Let d(t) = 2*t**2 + 7*t + 4. Let y be d(-5). Suppose -5*r - 5*j = -y - 6, -6 = -3*j. Let a(l) = -l - 5. Let z be a(-7). Solve q = -z*q - r for q.
-1
Let u = -4 - -6. Let p = -5 - -5. Solve u*f - 4*f - 6 = p for f.
-3
Let c = 6 + 6. Suppose i - c = -2*i. Solve -i*f - 11 = 5 for f.
-4
Let l = 8 + 11. Suppose -v - 5*o = -0*o - l, 3*v + 5*o - 37 = 0. Solve -3*g = -v + 24 for g.
-5
Suppose 0 = -4*h + 20, -2*r + 0 + 5 = h. Suppose r = -i - i + 4. Suppose 0*b - 21 = -2*s - 3*b, 9 = -i*s + 3*b. Solve 4*p + s = 5*p for p.
3
Let r be 2*33/6 + 2. Suppose -4*s = c - 3*s + r, 3*c + 35 = s. Let t be (c - -2)*(-1)/1. Solve t = -2*m - 3*m for m.
-2
Let p be (2 + (-27)/6)*-2. Solve -p*o - 4 = 1 for o.
-1
Let s = -7 + 15. Solve x - 5*x - s = 0 for x.
-2
Let f be (56/10)/((-24)/(-60)). Solve 3*v = -f + 5 for v.
-3
Let p = 25 - 21. Suppose -5*h - 4 = -2*m, 2*h + 2*m = -2*h + 4. Solve 4*t + h*t + p = 0 for t.
-1
Let u be -2*1 + 3 - -4. Let x(g) be the second derivative of -g**5/20 + g**4/2 - g**3/2 - 7*g**2/2 - 4*g. Let v be x(u). Solve 2*b = b - v for b.
-3
Let z = 9 + -5. Let j be (-1)/1*(-12)/z. Solve 5 = j*p - 4 for p.
3
Let z(y) be the first derivative of y**6/360 - y**5/20 + y**4/24 - y**3 + 3. Let l(x) be the third derivative of z(x). Let n be l(6). Solve n + 24 = -5*h for h.
-5
Let j = 1 + -1. Suppose -2*s - 4*t - 4 - 12 = j, 20 = -4*t. Solve -s*y = -6*y for y.
0
Suppose -2*y = -7*y + 40. Let c = -2 + y. Solve -5*u = -26 + c for u.
4
Suppose -4*h + 48 = 4*t, 3*h + 1 = h + 3*t. Suppose 3*d = 2*d + 5*p + 17, -4*d - p + 5 = 0. Suppose -4 = -d*x + 2. Solve 2*m - h = x for m.
5
Suppose -4*z = x - 15, 3*x + 4*z + 3 - 24 = 0. Suppose 9 = -x*t + 6*t. Solve -3 = -2*d + t*d for d.
-3
Let n = -10 + 10. Solve -k - 5 = -n for k.
-5
Let u(j) = j**2 + 3*j - 7. Let m be u(-5). Let b be 1 - -2*3/m. Solve -3*t = -6*t + b for t.
1
Suppose -q - 2*q - 3 = 0. Let w = 2 - q. Solve -5 = -2*x + w for x.
4
Suppose -v + i + 9 = 0, 2*v = 4*v - 4*i - 26. Solve z + 8 = v*z for z.
2
Suppose -3*k = -k. Solve k*h - 3*h = 0 for h.
0
Let w = 101 + -91. Solve -8*f + 2 = -w*f for f.
-1
Let g be 3/(-2) - 2/4. Let t be 5 + (g - (-2 - -1)). Solve -t*q + 2 + 6 = 0 for q.
2
Let l(u) = -u**3 - u**2 - 2. Let w be l(-2). Let j(f) = -5*f**w - f**3 - 5*f + 4*f - f**2. Let p be j(-6). Solve -p*b = -b + 25 for b.
-5
Let r(i) = 6*i**2 + i. Let j be r(-1). Let q = 54 - 36. Let f = -3 + q. Solve f = -j*o - 5 for o.
-4
Suppose -4*v + 2*y - 66 = 0, 8*v - 3*v + 2*y = -96. Let z = 19 + v. Solve h = -0 - z for h.
-1
Suppose -m - 8 = -3*m. Suppose 2*y + m = 10. Solve -y*o - 2 - 4 = 0 for o.
-2
Suppose -o + 6*o - 13 = -2*h, -3*h - 2*o + 14 = 0. Let c = -9 - -5. Let y be (c/(-3))/(4/48). Solve h*w - y = 8*w for w.
-4
Suppose -2*r = -13 - 15. Suppose 0 = -4*b + 32 + 48. Suppose -b = -4*j - 0. Solve -6 = j*v + r for v.
-4
Suppose 3 - 28 = -5*x. Suppose -x = -2*i - 1. Suppose 3*d = -5*w - 10, d - w = -i + 4. Solve 2*g + 2 = -d for g.
-1
Suppose 4*f - 4*m - m + 5 = 0, -5*m = -f - 5. Solve -2*z + f*z = 2 for z.
-1
Let u be 2/(-4)*(-4 + 4). Suppose u = -4*a + 2*a + 4. Solve a = 3*t - t for t.
1
Let m(f) = -f**3 - 7*f**2 - 9*f - 9. Let p be m(-6). Solve 4*d - p = d for d.
3
Let v(r) = -r**3 - 16*r**2 - 14*r + 18. Let u be v(-15). Solve u = -g - 0 for g.
-3
Let l(b) = -b**2 - b + 5. Let f be l(0). Let u be (-2)/(2 - 16/6). Suppose u*w = 7*w. Solve w = -3*c + f*c + 2 for c.
-1
Suppose 8*j - 25 = 3*j. Suppose -2*t = -2*s + 19 + 7, 4*s = t + 37. Suppose -8*o - 2*u + s = -4*o, -3*o + u + 11 = 0. Solve -2 = -o*y - j for y.
-1
Suppose 3*m - 11 - 4 = 0. Suppose 0 = -m*v - t - 4*t + 10, 2*v - 3*t = 4. Solve -v*r - 2*r - 8 = 0 for r.
-2
Let q(i) = -i**2 - 13*i - 12. Let g be q(-8). Suppose 2*s - 116 = -4*u, -u - 160 = -3*s - 21. Let o = s - g. Solve 0*z = -5*z - o for z.
-4
Let n be (-1)/(-1) + (-1)/(-1). Let v = -10 - -10. Solve -4*w - n + 6 = v for w.
1
Let k(q) = -2*q - 5 + 7*q + q