) = 7*a**2 - 6 - a + a**3 + a. Let i be c(-7). Let l be f(i). Solve -3*j = -l*j for j.
0
Let q(z) = z**2 + 3*z + 1. Let o be q(-3). Let p be 1/(-1)*(-2 - -2). Let v(i) = 2*i + 15. Let n be v(-4). Solve -3*r - n + o = p for r.
-2
Let j(d) = 2*d + 4. Let i be j(2). Solve 3*p - i - 1 = 0 for p.
3
Let x = 33 + -19. Suppose -3*o + x = s, -o - s + 4*s - 12 = 0. Solve 0 = -o*y - 2 - 7 for y.
-3
Let p(b) = -7*b - 122. Let s be p(-18). Let m(c) = 2*c - 2. Let w be m(2). Let h be 2/(-3) + 4/6. Solve h = w*v - s*v - 4 for v.
-2
Let y(x) = -x**3 + 6*x**2 + x + 3. Let k be y(6). Let z(l) = l**2 - 4*l - 4*l - 7 + 0. Let w be z(k). Solve w*b = 4*b + 4 for b.
-2
Let z be 30/(-8)*((-12)/(-9))/(-1). Solve 0*h = -z*h for h.
0
Let k = -61 - -63. Solve -5*h = -3 - k for h.
1
Suppose 0 = 4*p - 3*p - 23. Let k(z) = -z - 4. Let b be k(-7). Suppose -l + p = 5*x - 8, b*x - l = 17. Solve 4*w = 2 - x for w.
-1
Let b(u) = -u**2 + 7*u - 6. Let a = 2 + 4. Let o be b(a). Solve o = -y - 4*y + 25 for y.
5
Suppose 0*n + 9 = -w - 3*n, 4*w = 2*n + 20. Solve 0 = -5*v + w*v for v.
0
Suppose -4*l - 12 = -3*a + a, a - l = 8. Let u(s) = s**2 - 1. Let i be u(2). Suppose -a = -i*o + o. Solve -2*d + 3 - o = 0 for d.
-1
Let k(y) = y**2 - 9. Let p be k(0). Let w = -7 - p. Solve -w = n - 7 for n.
5
Let r be (-8)/44 + -6*(-4)/11. Solve 0 = -3*c + 4*c - r for c.
2
Let a(u) = -u**3 - 3*u**2 - 2*u - 4. Let y be a(-3). Let r(t) = t**2 + 2*t - 2. Let d be 20/6*6/(-5). Let v be r(d). Solve -2*x = -y - v for x.
4
Let c(q) = -q**3 - 6*q**2 + 6*q - 3. Let o be c(-7). Let t = 1 + o. Suppose 0 = 3*b + p + p + 7, 2*p + 13 = 3*b. Solve -b = -t*j + 14 for j.
3
Suppose 7 - 4 = h. Solve -8 = -a - h for a.
5
Let y = -51 + 58. Solve 5 = -3*n - y for n.
-4
Let c = -1 + 9. Suppose c*t - 3*t = 10. Suppose -3*b + 8 = t. Solve x + 0*x + b = 0 for x.
-2
Suppose 2*x - 8 = -5*v, 0*x = -x - 1. Solve 0 = -s - 0*s - v for s.
-2
Let j be 2/(-3) + (-8)/(-3). Suppose 4*r - 5*n - 1 = 2, -j*n = -2. Let v = 2 + r. Solve z = -z + v for z.
2
Let j be (-1 + 0)*-1*-2. Let c be 5 + -2 + (j - 2). Let q be -1 + -2 - 6/c. Solve 7 = -2*h + q for h.
-2
Suppose w - l + 4 = 0, 4*w - 3*l = 2*l - 16. Let f(t) = -5*t - 1. Let k be f(w). Solve 3*y + 4 - k = 0 for y.
5
Suppose 4*q - 4*b - 8 = 0, 2*q - 4 = -5*b + 14. Solve 0 = -q*y - 0*y for y.
0
Let k = 16 + -10. Let x be (k/(-5))/(6/(-20)). Suppose 12 = -0*r + 4*r. Solve 15 = x*h + r for h.
3
Let o be 4/(-6) - (28/3)/(-2). Solve 28 = o*h + 8 for h.
5
Suppose -4*c + 35 = c. Solve 13 = 5*r - c for r.
4
Suppose -14 = -y + b - 6*b, -22 = -4*y - 3*b. Suppose 2*p + 2*v - 12 = y, 0 = 4*p - 3*v - 18. Let z = 15 + -13. Solve z*j = p*j - 12 for j.
3
Let w = 4 + 1. Suppose t = 2, -w*t + 61 = 2*f + 25. Suppose f = 3*q - 2. Solve 3*h + 2 - q = 0 for h.
1
Let a be ((-5 - -4)/((-3)/9))/1. Solve -6 = a*l + 9 for l.
-5
Let k = 32 + -28. Let v(w) = 2*w**2 + 1. Let x be v(-1). Suppose -k*c = 3*y - 28, x*y = 4*c + c - 8. Solve 5*l - c - 1 = 0 for l.
1
Let p(m) = -2*m + 1. Let y be p(-3). Let x = y + -2. Solve 5*t - x = 15 for t.
4
Let v(d) = d**3 + 3*d**2 - d. Suppose 2*q - 2 - 2 = 0. Let k be v(q). Let c = k - 6. Solve -c - 13 = -5*g for g.
5
Suppose -2*l - 10 = o, -2*o - l + 0 = 5. Suppose 0 = -5*n + 4*x + 22, 7*n - x - 7 = 5*n. Solve 0*d - d - n = o for d.
-2
Let w be (2/(-7))/(2/(-14)). Suppose -3*a + 20 = w. Solve 0 = 4*l - a - 14 for l.
5
Let x = 3 - 0. Let t(j) be the second derivative of -j**5/20 + j**4/3 - j**3/3 - j**2/2 + j. Let z be t(x). Solve 2*q + z + 4 = 0 for q.
-3
Let i(x) = x**3 - 3*x**2 + 3*x - 1. Let f be i(3). Let m = f - 6. Suppose 3*j = -m*b - 1 - 1, b = -3*j - 4. Solve 2*d + 20 = -b*d for d.
-5
Suppose 0 = -4*v - 20 - 0, 4*o = -2*v + 6. Solve o*g + 20 = -0*g for g.
-5
Let r = -3 - -7. Let d = 8 - r. Solve 4*j - d = 8 for j.
3
Let i(d) = d**2 - 12*d - 26. Let m be i(14). Solve -q + m = -2*q for q.
-2
Let k = 1 + 1. Let j = -32 + 54. Let f = -16 + j. Solve k*o - f = -14 for o.
-4
Let y be ((-1)/(-2))/((-2)/12). Let j(k) = -2*k**3 + k**2 + k + 1. Let d be j(-1). Let g be 13/d - (-1)/y. Solve g*u - 6 - 2 = 0 for u.
2
Let n(w) = 2*w**2 + 29*w - 10. Let x be n(-15). Suppose -35 = -4*z - r, 3*z - r + 3*r = 20. Let j be 16/z - 2/(-5). Solve x*h = -3 - j for h.
-1
Suppose -m - 4*r + 10 = 0, -6*r + 9 = 3*m - r. Let b = 4 + m. Suppose 0 = -5*i, 4*i = b*c + 3*i - 2. Solve 3 = -t - c for t.
-4
Let f(p) be the second derivative of -p**5/20 + 5*p**4/12 + p. Suppose -3*u - 2 + 11 = 3*w, 4 = -2*u. Let a be f(w). Solve a = -2*s + 4*s for s.
0
Suppose -34 = -7*m - 6. Solve 0*u - m*u = -12 for u.
3
Let p = 6 + -7. Let d be -1 - p*(1 + 0). Solve d*a = -3*a + 9 for a.
3
Let a(k) = 5*k - 2*k - 2 - k - 3*k. Let j be a(-3). Solve -j = u + 1 for u.
-2
Suppose -2*m - m + 30 = 0. Let t be 5 - -1 - (-1 - -1). Let z be (-1)/((-3)/t) - -1. Solve m = -f + z*f for f.
5
Suppose 8*u - 104 = 4*u. Let r = u - 24. Solve 0 = 2*t - 6 - r for t.
4
Suppose n + 0*n = 4. Suppose -b = -3*b + n. Let d(g) = -g - 2. Let l be d(-8). Solve b*r + l = -0 for r.
-3
Let q be (11 + -9)*2/4. Suppose -3*c + 5*b = 0, 2*c + 2*b = -0*b. Solve c = -0*l + l - q for l.
1
Suppose -2*k - 2*k = 16. Let l be (k/(-2) + -2)/2. Solve l = -3*f + 4*f - 3 for f.
3
Let t = -2 + 9. Suppose 4*x = -j + t, -2*j + 1 = -2*x - 3. Solve j*l = -7 - 8 for l.
-5
Suppose 0 = 2*a - 0*a + 24. Let r = -7 - a. Solve 10*n + 20 = r*n for n.
-4
Suppose 12*m + 30 = 17*m. Solve -4*y + y = -m for y.
2
Let n = 21 + -14. Solve 15 = -2*t + n*t for t.
3
Let x = 1 - 1. Let r(g) be the first derivative of g**4/4 - 2*g**3/3 - g**2 - g + 3. Let c be r(3). Solve c*h + x*h - 2 = 0 for h.
1
Suppose 0 = -3*v + 2*v. Suppose -5*j + 28 = 4*b - 5, v = -b - 4*j + 22. Solve -5 = b*d - 7*d for d.
1
Let k(v) = 21*v**3 - 2*v**2 + v. Let x be k(1). Let c(p) = 3*p**2 + 1. Let j = -2 + 3. Let f be c(j). Solve s - x = -f*s for s.
4
Let s(r) = 2*r**3 + 10*r**2 + r + 10. Let n be s(-5). Solve -4 = -n*w + 6 for w.
2
Let x = -6 + 2. Let m = x - -4. Solve m = -j + 2 + 1 for j.
3
Let t(w) = -w + 14. Let x be t(11). Solve -5*m - 2 = x for m.
-1
Let m be (-84)/(-22) - (-4)/22. Suppose -5*k + 1 + m = 0. Suppose 0 = v - 4*r - 19, -2*r = -2*v + 25 + k. Solve v + 4 = 3*x for x.
5
Let v = -28 - -15. Let o = v - -17. Solve -o*s = -26 + 10 for s.
4
Let m be (-3 - -2)/((-8)/16). Solve -7 - 1 = -m*z for z.
4
Let d(g) = 3*g**3 + g. Let c be d(1). Suppose -n + c*z + 34 = 0, z = -n - z + 46. Let b be ((-6)/(-9))/(4/n). Solve 2*s = b*s for s.
0
Let p(q) = q + 2. Let c be p(-5). Let j = c - -6. Let x be (-2)/5*(-6 - -1). Solve -y + x - j = 0 for y.
-1
Suppose -14 = -o + 2*c, 0 = -4*o + 3*c + c + 36. Solve 0 = -o*y + 3*y - 4 for y.
-4
Let x = 16 - 34. Let p = -26 + 14. Let v = p - x. Solve t + v = -t for t.
-3
Let o(w) = 2*w. Let c = 15 + -13. Let h be o(c). Suppose -m = -2 - 2. Solve -m*r + 0 - h = 0 for r.
-1
Let h be 2/18*3*-9. Let v(q) = q**2 + q. Let p be v(h). Solve 2*k = p + 4 for k.
5
Let p = -4 - 24. Let l = p + 44. Solve 5*f = -l - 9 for f.
-5
Suppose 3*c = -15 - 0. Let o be (0 - 0)/(c + 7). Solve o*g = 2*g + 10 for g.
-5
Let q(p) = p**3 + 5*p**2 + 3*p. Let o be q(-2). Suppose 0 = -2*m - f + 1 + o, -m + f = 1. Let c be 1*m/3*3. Solve 2*h = -c*h + 8 for h.
2
Let y(r) = r - 3. Suppose 5*l + 4*g + 7 - 30 = 0, -g = 5*l - 32. Let j be y(l). Solve j*v = v - 15 for v.
-5
Suppose 0*m - 2*q = m, 0 = -4*m + 2*q + 10. Suppose -120 = m*k - 5*k. Let h = k + -15. Solve 0 = -0*c + 5*c + h for c.
-5
Suppose 0 = -3*l - p + 4*p + 6, -3*l + 4*p = -5. Solve j + 2 + l = 0 for j.
-5
Suppose 3*n - 1 = -g + 4*n, -2*n + 6 = 2*g. Let y = g - -6. Let u(x) = x - 7. Let c be u(y). Solve 0 = q - 3 + c for q.
2
Let h = 3 - 2. Suppose -13 = 3*w - 2*a, -3*a + 25 - 5 = -5*w. Let c = h - w. Solve 5*q + 13 + c = 0 for q.
-3
Suppose 10*j = 15*j - 5. Suppose 5*u + 4*v = -13 + 3, -2*u = v + j. Solve u*w - 2 = 3*w for w.
-2
Let i(a) = a**2 + 4*a + 5. Let s = 5 + -9. Let b be i(s). Suppose -l + 6 = -5*x, x + 30 = b*l + 5*x. Solve -2*f + 5*f = l for f.
2
Suppose -5*v = 2*d - 6*d + 21, 25 = 5*d - 5*v. Suppose 4*m - m = -d*c + 3, -2*c = -m - 9. Let k(w) = w - 2. Let p be k(7). Solve -2*o + c*o = p for o.
5
Suppose 30 = -3*i + 36. Solve -q + 12 = i*q for q.
4
Let j = -11 + 16. Let s be (-4)/14 + (-37)/(-7). Suppose 3*k - 2 + 11 = -3*n, 3*n - k - 11 = 0. Sol