 + 4*g - 11 = 0. Let f be p(o). Solve 3*x - 4*x - f = 0 for x.
-5
Let g be (3 - 6) + (-15)/(-1). Let r(m) = 2*m**3 - m**2 - 2*m + 1. Let i be r(2). Let n be -2 + i*g/9. Solve 0 = 5*h - n - 15 for h.
5
Suppose 4*d = 2*d - 5*f + 5, 3 = 3*f. Solve 4 = -c - d*c for c.
-4
Suppose -t - 2*l - l = -5, -3*t - 5*l = -11. Solve -2*u = t*u - 8 for u.
2
Suppose 12 = 2*z + 2*z. Suppose -52 = -5*w - 4*c + 10, 5*w + z*c = 59. Solve -f + w = f for f.
5
Suppose -c = 10*c - 44. Solve x - 6 = c*x for x.
-2
Let x be 12/2 - 4/1. Solve x*b = 7*b for b.
0
Suppose 4*m = -1 - 3. Let k(n) = n**3 - 2*n - 1. Let d be k(m). Solve d*i = -2*i for i.
0
Suppose -2*v - 7 + 43 = 0. Suppose 0 = -2*n + 5*n - v. Solve 0 = -2*r + 4*r + n for r.
-3
Let t be -3 + 3 - 6*1. Let x be 7 - (-3)/t*2. Solve g + g - x = 0 for g.
3
Let j(q) = q**2 + 17*q + 33. Let u be j(-15). Solve s + 1 = -u for s.
-4
Let c(r) = 6*r**2 - 5*r + 5. Let q(o) = o**3 - 7*o**2 + 6*o - 6. Let l(v) = 6*c(v) + 5*q(v). Let f = 51 - 50. Let i be l(f). Solve 0 = 3*m - m - i for m.
3
Let p(n) = n**2 - 9*n + 9. Let t be p(6). Let a(l) = 11 + 0*l - 8*l - 17*l**3 + 8*l**2 - 2 + 18*l**3. Let m be a(t). Solve -2*q + 0*q + 4 = m for q.
2
Let s(j) = -j + 8. Let u be s(6). Suppose 3*o - u*o = 4. Let p be 13/2 - (-6)/o. Solve -4*a = -0*a + p for a.
-2
Let h(z) be the first derivative of z**3/3 - 7*z**2/2 - 7*z + 4. Let a be h(8). Solve i + 4 = a for i.
-3
Let u(i) = i**3 + 5*i**2 + 4*i + 2. Let c be u(-4). Suppose y - 2*l = -2*y + 6, 2*y = 2*l + c. Suppose j - 15 = -y*j. Solve j*m + 2*m - 10 = 0 for m.
2
Suppose 4*j - 2*f = -8, -2*j + 2*f + 2*f - 16 = 0. Suppose 0 = t - 4 - j. Suppose t*w = 7 + 17. Solve -4*a + w = -a for a.
2
Let t = -1 + 1. Let i = t + -3. Let q = 4 - i. Solve 3*z - q*z = -8 for z.
2
Suppose -y + 5*y - 15 = 5*z, 0 = -3*y + 4*z + 11. Solve -y - 7 = 4*d for d.
-3
Let c = -1 + 4. Suppose -f - 2*x = -28, -5*x + 114 = c*f + 33. Suppose -4*a - f = -5*o - 3*a, 5*a - 40 = -5*o. Solve o*h = h for h.
0
Let o(p) = p + 1. Let i be o(2). Let x = 1 - 3. Let h = 0 - x. Solve 0 = -i*r + h*r - 3 for r.
-3
Suppose -2*q + 7*q = 0. Suppose 7*d = 10*d. Solve 3*m + d*m = q for m.
0
Let m = 42 + -37. Solve m*s = 2*s - 9 for s.
-3
Suppose 12 = j + 5*h, 2*j = -3*j + 5*h. Solve 7 + 3 = j*y for y.
5
Let t be 2 - 1 - (-5 + 6). Suppose -4*g - 3 + 11 = t. Solve -g*a - 2*a - 8 = 0 for a.
-2
Let a(h) = -h**3 - 6*h**2 - 4*h + 7. Let z = 11 - 16. Let t be a(z). Solve f + 2 + t = 0 for f.
-4
Suppose -5*p - 3*f - 25 = 0, -3*p + 0*f - f - 19 = 0. Let b(v) = v + 9. Let n be b(p). Solve 5 = -z + n for z.
-4
Let n(b) = b**3 + 3. Let c be n(0). Solve -c*g = -0*g - 15 for g.
5
Let l(b) = b**3 - 3*b**2 - 3*b - 2. Let d be l(4). Suppose -m + 0 - 48 = 4*o, -d*m - 30 = 2*o. Let z = -7 - o. Solve -3*g + 16 - z = 0 for g.
4
Let a(k) = -k**3 - 6*k**2 - k + 2. Let b be a(-7). Let f = b - 34. Let n be f/14 + 2/7. Solve 3*j + n = 5 for j.
1
Let g = 9 + 17. Suppose -6*c + g = -4. Solve -z = -c*z - 20 for z.
-5
Suppose -3*b = -4*d, -4*d - 4 = -0*b - 4*b. Let k = 0 + d. Suppose -2*z + 10 = -k*r - 6*z, r + z + 2 = 0. Solve -7 + r = 5*x for x.
-1
Let b be (0 - 0 - 4)/(-1). Solve 3*r - r - b = 0 for r.
2
Let w = 40 + -37. Solve -6 = -w*k + k for k.
3
Let j(o) = -6*o**3 - o**2 - 4*o - 3. Let h be j(-3). Let z be (2/6)/(9/h). Solve -20 = z*m - 11*m for m.
4
Let h(x) = 2*x**2 - 2*x - 5. Let o be h(-5). Suppose 0 = -5*g + o + 25. Suppose -2*r + 4*k = 2, -r = r + 5*k - g. Solve -2*j = -j + r for j.
-3
Let d(j) = -5*j**3 - j**2 - 2*j - 1. Let w be d(-1). Solve -5*r - w = -25 for r.
4
Let q(p) = -p. Let v(s) = -3. Let z(r) = q(r) + v(r). Let w = -13 + 7. Let t be z(w). Solve d = -t*d + 4 for d.
1
Let c be 8 + (-3 + 5)*1. Suppose -3*i + 2 = -c. Let o be i/4 - (0 + -1). Solve 3*h + o = -4 for h.
-2
Suppose 26*d - 20*d - 12 = 0. Solve 2*k - d = 4 for k.
3
Suppose -3*o + 12 = 3*n - o, -3*n + 2*o = 0. Let v = 0 + 0. Suppose -2*z - z + 9 = 0. Solve z*u + n*u - 5 = v for u.
1
Suppose 0 = -17*r + 12*r + 50. Suppose -6 - r = -4*c. Solve -2 = f - c for f.
2
Let c(z) = 4 + 2*z**3 + 0*z**2 + 5*z**2 - 3*z - 3*z**3. Let s be c(4). Let l = -1 - -1. Solve 0 = -4*g - l*g - s for g.
-2
Suppose 0 = 4*f + 14 - 58. Suppose c = 2*v + 10, -3 = 2*c - v - f. Let j = -1 - -3. Solve -c = -j*r + r for r.
2
Let h(l) = -3*l - 1. Let y be h(-2). Let r(f) = -11*f - 1. Let b(s) = 5*s. Let v(u) = 9*b(u) + 4*r(u). Let j be v(y). Solve 2*c = c - j for c.
-1
Suppose 5*l = 10, -4*b = -0*b + 2*l - 32. Let a(d) = d - 13. Let k be a(15). Solve -b*h = -k*h for h.
0
Suppose 43 - 4 = 3*f + 3*q, 4*f = -2*q + 46. Let x = -7 + f. Solve x*s - 5 = 1 for s.
2
Let z(q) = -q**3 - 6*q**2 - 9*q + 2. Let u(i) = i. Let d(v) = -5*u(v) - z(v). Let a be d(-5). Suppose -a*k = 2*k - 35. Solve -k + 3 = c for c.
-4
Let x be 51/(-7) - 6/(-21). Let b be (-3 - (-33)/21)*x. Solve 0*d + 5*d = b for d.
2
Let q(d) = -6*d + 6. Let k be q(0). Let y be (-21)/(-9) + (-4)/(-6). Solve u = y*u + k for u.
-3
Let g(j) be the third derivative of j**6/120 - 11*j**5/60 + j**3/3 - j**2. Let v be g(11). Solve -3*m + 5 = v*m for m.
1
Suppose -28 = n - 140. Suppose -5*u + 5*o = -115, -3*o = -5*u + o + n. Solve -5*a = -0*a + u for a.
-4
Let b = -53 + 56. Solve b*v + 4 - 1 = 0 for v.
-1
Let d be (4/(-3))/1*-3. Suppose 0*o = 2*o - d. Suppose 0 = -3*p - p - s + 5, -2*p - 5 = 3*s. Solve 0*t = p*t + o for t.
-1
Suppose -5*k = -5*w + 5 + 10, 3*k + 23 = -4*w. Let v be (-2)/4 - 7/w. Suppose 4*a + 10 = -2*q + 56, -v*a - 53 = -2*q. Solve 3*p + 2*p - q = 0 for p.
5
Let y be (1 + 0/1)/(-1). Let u be y/2 - 20/(-8). Solve -2 = -u*b + b for b.
2
Suppose 48 = x + 3*x. Suppose -2*m + x = 2*m. Let c = -1 + m. Solve 3*p = c*p + 1 for p.
1
Let v(u) = -u**2 + 8*u - 8. Let d be v(6). Let j = d - 4. Let p be ((-12)/10)/((-2)/10). Solve -p + j = 3*o for o.
-2
Let x(k) = -3*k - 5. Let a = -8 + 3. Let r be x(a). Solve o + r = 3*o for o.
5
Let f be 432/42 + (-2)/7. Suppose 0 = -5*k - r + 27 + 1, -f = -5*k + 5*r. Solve k*v = -1 + 16 for v.
3
Let u = -17 - -24. Suppose -5*p + u + 8 = 0, -2*k + 36 = 2*p. Solve 7*s = 4*s - k for s.
-5
Suppose 0 = o - 2*c + 6, 0*o + 4*o - 2*c = 0. Let b(l) = -l**2 - 7*l - 2. Let n be b(-6). Let i be 4/1*(-6)/(-4). Solve o*f + i = -n for f.
-5
Let h(i) = -i**3 + 4*i**2 + 3. Let q(j) = j**3 - 6*j**2 + 6*j - 3. Let a be q(5). Suppose f = a*f - 4. Let o be h(f). Solve -o*x + 3 - 6 = 0 for x.
-1
Suppose 7*p + 2 = 9. Solve p = 2*f - 3 for f.
2
Suppose 2*g = 4*f + 2, 3*g - 2*f - 10 = -3*f. Suppose -5 = g*y - 20. Solve y*x - 3 - 22 = 0 for x.
5
Suppose 12 = 5*t - t. Suppose s + t*k - 2 = -1, -3*s + 4*k = -16. Solve 0 = s*f - 1 - 7 for f.
2
Let m(p) = -p + 7. Let s be m(6). Let a(j) = j**2 + 1. Let t be a(s). Suppose 5*f = -0*f + k + 23, 2*f = -t*k + 14. Solve -9 = -f*w + 2*w for w.
3
Let u(b) = b**3 + 4*b**2 + 2. Let l = -2 + -1. Let i be u(l). Suppose -3 + i = 4*x. Solve y = x*y - 3 for y.
3
Let g be -4*(-3)/12*3. Suppose g*l - 17 = 2*h, 3*l + 3*h = -0*l + 42. Let q = l - 7. Solve -2*v + 20 = q*v for v.
5
Let g be (-47 + -1 + 0)*-1. Suppose x + x - 4 = 0. Let c be g/(2 - x/4). Solve -c = -4*h - 12 for h.
5
Let w = -19 + 22. Suppose -20 = -w*q - q. Solve 3*s + 4 = -q for s.
-3
Let m be 0/(-2*(-4)/8). Suppose m = 2*b - 0*b. Solve 2*k - 5 + 1 = b for k.
2
Let t(k) = -3*k**3 - 2*k**2 - k. Let o be t(-1). Let n be 12/(-6) + (o - -2). Suppose 0 = 3*r + 2*r - 2*q - 6, -3*r + 3*q = 0. Solve l - r*l + n = 0 for l.
2
Suppose 0 = 5*m - 3*v - 4, 12 + 2 = 2*m + 5*v. Let h(j) = -5*j - 1. Let g be h(-1). Solve -g = m*a - 14 for a.
5
Suppose 9*r = 4*r + 60. Suppose 5*p + r = 32. Let c = p - -1. Solve 0*q + q = c for q.
5
Let y(g) be the second derivative of g**3/6 - 3*g**2/2 - 3*g. Let v be y(7). Suppose 0 = -w + 9 - v. Solve w*x - 3*x - 2 = 0 for x.
1
Let n be (27/(-12))/(-3 - (-42)/16). Solve -2*y + 4*y - n = 0 for y.
3
Let z(n) = -n - 1. Let v be z(-4). Suppose 3 = 5*f - v*x + 5, 12 = 4*f + x. Suppose 6 = f*d, -5*g - 5*d + 22 + 13 = 0. Solve -g*q + 2*q + 10 = 0 for q.
5
Let h(c) = c**3 - 5*c**2 - 3*c - 12. Let g be h(6). Solve l = g*l - 25 for l.
5
Let n = 2 - 1. Let m = n + 9. Solve 4*j - m = 6 for j.
4
Let x(u) = -u - 3 - 2 + 2*u + 0*u. Let g be x(-4). Let y(q) = q + 15. Let r be y(g). Solve r*a = 3*a + 6 for a.
2
Let t be 40*((-6)/(-4) - 1). Let v be ((-6)/12)/(2/t). Le