 - 0*d for d.
-5
Let n = -8 + 10. Suppose -9*z = -4*z - 15. Solve z*x = -n*x + 20 for x.
4
Suppose -u - 1 = 4*w - 0*u, -u - 3 = 2*w. Suppose -1 = -2*t + w. Solve 0 = -5*z - 11 + t for z.
-2
Let h be 28*2/(5 - -3). Suppose -h*q = -3*q. Solve -2*z + 1 + 1 = q for z.
1
Let l be (-1)/4 - (-8)/32. Solve -2*p + l*p - 6 = 0 for p.
-3
Let p be (-6)/(-51) - (-147)/51. Solve -p*k = k for k.
0
Let y be (-6)/4 + (-6)/4. Let f(s) = -s**3 - s**2 + 5*s + 3. Let j be f(y). Solve 3*u + j = u for u.
-3
Let v be (4/(-2))/(10/(-35)). Suppose -2*d + 3 = -v. Suppose 3*o - 47 = -2*o - 3*c, -4*o + 48 = d*c. Solve -o*r + 3*r + 8 = 0 for r.
2
Suppose 5*d + 11 = -3*q, 5*d = -5*q + 3*d - 31. Let w(i) = -i**3 - 7*i**2 - i - 5. Let n be w(q). Solve 4*f + n = -2 for f.
-1
Let g(d) = -d**3 - 11*d**2 - d + 1. Suppose 0 = -n + 1 + 1. Suppose 33 = -3*i + 2*w - 8, 25 = -3*i - n*w. Let m be g(i). Solve -6*o + 3*o = -m for o.
4
Let r = -15 + 18. Suppose -22 = -r*q + 11. Solve -3 = 4*n - q for n.
2
Suppose p - 7 = s, -4*p + 32 = -5*s + 1. Solve -x - 6 + p = 0 for x.
-2
Suppose 4*w - 5*w + 3 = 0. Let y be 2 + 2/w*3. Solve -7 + 3 = -y*j for j.
1
Let i(r) be the first derivative of -r**4/12 - 5*r**3/3 - r**2 + 1. Let l(x) be the second derivative of i(x). Let v be l(-7). Solve -v*u - 1 = 3 for u.
-1
Let f be 0 - (1*-2)/(-2). Let u = -8 + 4. Let v be u*(-4 + (-3)/f). Solve v*o = 5*o for o.
0
Let r(n) = -n**3 + 9*n**2 - 6. Let a be r(9). Let p = a + 11. Solve -p*m + 12 = -m for m.
3
Let z be (36/30)/((-6)/(-10)). Solve -3*h + 4 = -z for h.
2
Let q be (-2)/(((-9)/3)/3). Suppose q*l - 27 = m - 2, 45 = 2*l + 3*m. Solve 3*o + 2*o - l = 0 for o.
3
Suppose -s + 0*s = 0. Suppose f - 5*f + 12 = 0. Solve s = p + f*p for p.
0
Suppose 9*y - 4*y = 5*d + 15, 2*y - 8 = d. Solve -3*w + 10 = -d for w.
4
Let d be 7 + -5 + 0/1. Suppose 0 = -n - 3*f - 8, -3*n + 8 = d*n + 3*f. Solve 5*g + 1 = -n for g.
-1
Suppose -5*g + 6*g = 1. Suppose -g = -2*n + 1. Solve 2*f = n - 7 for f.
-3
Suppose -12 = -2*y - 2. Let p = -4 + 8. Suppose 3*k = 3*s - 12, -s + p*k + 2 = -y. Solve 2*m - 5 = s for m.
4
Let o = 1 - -1. Suppose -2*x - o*w + 6 = 0, -x - 5*w = -5*x + 3. Solve 3*k + 25 = -x*k for k.
-5
Let c(w) = w**2 + w + 1. Let r(g) = -6*g**2 - 7*g - 5. Let l(o) = -5*c(o) - r(o). Let y be l(-3). Let a = 10 - 4. Solve y*j = a*j - 15 for j.
5
Let d(q) = -q**3 + 3*q**2 + q + 2. Let x be d(3). Suppose 0 = 4*g - 2*b - 10, x*b - 14 + 3 = g. Let m = 10 - g. Solve -m + 3 = -t for t.
3
Suppose -5*o - 2*t + 12 = 0, 3*t + 7 = 5*o - 0. Suppose -v - 2*v = -o*h + 8, 12 = 3*h + 3*v. Solve 0 = -4*g - 12 - h for g.
-4
Suppose 3*q + 39 = 2*m, 0 = 4*m + 3*q - 4*q - 53. Solve -c - m = 2*c for c.
-4
Let m be -2 - -2 - (-6)/(-2). Let x be 16/m - (-2)/6. Let r = -2 - x. Solve -13 = -4*t + r for t.
4
Let n = -10 + 27. Suppose -3*b + 1 + n = 0. Suppose 2*o + 4*t + 6 = 0, 2*o + 3*t + 3 = -0*o. Solve -h + o = b for h.
-3
Let i be (-30)/(-4)*(-24)/(-36). Suppose u + u = 12. Solve k = u*k - i for k.
1
Let m be (-222)/(-7) + (-8)/(-28). Let u = m - 47. Let p be (-3)/((u/2)/5). Solve -p*y + 9 = y for y.
3
Suppose 3*w + j = 15, -2*w - 5*j + 11 + 12 = 0. Let p = 2 + w. Solve -3*i + 9 = -p for i.
5
Suppose 4*r - 10 = -2*q, 4*r = -0*r - q + 13. Solve -1 = r*p - 3*p for p.
-1
Suppose 4*p + 4 = 24. Suppose c - p = -4*c. Let b(u) = 2*u**3 - u**2 + u. Let r be b(c). Solve r*l = -2*l + 8 for l.
2
Let m be 58/14 - ((-30)/35 - -1). Solve -m*x = 13 - 1 for x.
-3
Let m(n) = n**3 - n**2 + 1. Let v be m(2). Let y(p) = -6*p - 10. Let w(x) = -2*x - 3. Let d(o) = -16*w(o) + 5*y(o). Let a be d(v). Solve a*f = 3*f for f.
0
Let i(g) = -g**3 - 11*g**2 - g + 6. Let z be i(-11). Suppose -3*s + 1 = -5. Solve 3*t - s = -z for t.
-5
Suppose -6 = -h + 3*h. Let u be (3 + 14 - -1) + h. Suppose 0 - u = -5*j. Solve j*n = 3 + 6 for n.
3
Let b(l) = 12*l + 24. Let s be b(-2). Solve -2*g - 4*g + 6 = s for g.
1
Suppose 6*h - 25 = h. Suppose h*g + 4 = -5*j + g, 5*j + 3 = -3*g. Let s = 10 - 7. Solve -s*c + j = 12 for c.
-4
Suppose 0 = g - 24 + 21. Solve -1 - 11 = -g*n for n.
4
Let v = 77 - 77. Solve v = 3*t + 5 + 7 for t.
-4
Let n = 40 - 39. Solve -2*z - 1 - n = 0 for z.
-1
Suppose -2*g + 10 = 5*b - 2, b = 4. Let p = 12 - g. Solve -3*d - p = -7*d for d.
4
Suppose 9*y - 7 - 11 = 0. Solve 0 = y*h + 12 - 2 for h.
-5
Suppose 0 = -33*j + 32*j + 4. Solve 2*y = j*y for y.
0
Let r(c) = -c**2 + c + 1. Let n be r(1). Suppose 2*h - 1 - n = 0. Solve 0 = -5*d + h - 21 for d.
-4
Let c(w) = 2*w**2 - 4*w - 2. Let v be c(3). Solve 0 = k + v - 5 for k.
1
Let d be 2 + (-22)/(-6) + 2/6. Solve d*s + 16 = 2*s for s.
-4
Let y be 459/45 - (-1)/(-5). Solve 4*z + 2 = -y for z.
-3
Let s(t) = -2*t + 14. Let l be s(7). Let b be l*(-4)/(1*-8). Solve b*x + 4*x - 20 = 0 for x.
5
Let k(i) = -i**2 - 13*i + 16. Let r be k(-14). Suppose 0 = h - 2 - r. Solve -h*v + 5 - 25 = 0 for v.
-5
Let q(r) = -r**2 - 11*r - 20. Let t be q(-8). Suppose t*d - 13 + 1 = 0. Solve 16 - 4 = d*s for s.
4
Let n = 27 + -25. Solve n*g = -2*g for g.
0
Let r(q) = q**3 + q + 5. Let m be r(0). Suppose 2*w + 3*n = 18, -2*n = w - 4*n + m. Suppose 3*b + 2*i = -2*b + 78, i + 1 = 0. Solve 0 = s + w*s + b for s.
-4
Let t be (2/(-6))/((-4)/24). Let g be t/3*(1 - -2). Solve 0 = j - g*j for j.
0
Suppose 0 = n + 3*n. Solve n = 2*a - 6*a + 12 for a.
3
Let d = -83 + 86. Solve 4*o = d*o + 2 for o.
2
Let k(x) = -x + 9. Let r be k(6). Solve q = -r - 1 for q.
-4
Let b = 90 + -86. Solve -l + b*l - 3 = 0 for l.
1
Let j(l) = -l + 9. Let o be j(7). Suppose d - 1 - o = -2*w, 6 = w + 2*d. Suppose 0 = 15*z + 5*z - 40. Solve w = -z*f - f for f.
0
Let u be -1 - 1 - (-2 - 0). Let m = u - -13. Let o = -9 + m. Solve o*b - b - 9 = 0 for b.
3
Let x = -4 - -10. Solve 4*p + x = p for p.
-2
Let d = 38 + -38. Suppose -y - y = -12. Solve d = -u + y*u for u.
0
Let s(x) be the second derivative of -x**3/6 - 3*x**2/2 - x. Let a be s(-7). Suppose a*r = -2*q + 4, 5*r = -2*q + 3*q + 12. Solve -n = r - 4 for n.
2
Let y = -1 - -1. Let u = 154 - 139. Solve y = -f + 4*f - u for f.
5
Suppose -f = -4*f + k + 2, -4*f - 3*k + 7 = 0. Let m be 4/10*(11 - f). Solve -q - m = 3*q for q.
-1
Let i be (6/(-5))/(1/5). Let r(o) = o + 9. Let l be r(i). Solve 0 = 2*v - l + 9 for v.
-3
Let o = -5 + 8. Suppose 3*r + 5*d - 6 = 0, -o*r + 2 = 4*d - 4. Solve -r*m - 3*m = 0 for m.
0
Suppose -12 = -4*j - c + 9, 2*c = 2. Suppose j*p + 1 + 9 = 0. Let y(v) = -8*v - 3. Let f be y(p). Solve 5*g + f = 3 for g.
-2
Let j = 7 + -4. Suppose -4*l - 2 = -5*c - j, -3*l + 12 = 0. Solve -c*w = w + 4 for w.
-1
Let l(s) be the first derivative of 1/2*s**2 - s - 2/3*s**3 - 2 - 1/4*s**4. Let j be l(-3). Solve -k = -2*k - j for k.
-5
Let v = 8 - 6. Let q = 1 - -2. Suppose 14 = 2*f - v*t, 0 = -q*f - 3*t + 4*t + 17. Solve -5*n = -f + 30 for n.
-5
Let o = 7 - 2. Let x be (-13)/(-5) - 4/(-10). Solve 12 + x = o*h for h.
3
Suppose -2*n + 6 = 2*t, n + 3*t - 6 = t. Let g = 8 + -3. Let q be (-1)/(-1) - (g + -6). Solve -q*m + 4*m = n for m.
0
Let z(x) = -x**2 - 2*x. Let n be z(-2). Solve h + 3 = -n*h for h.
-3
Let g(z) = z + 1. Suppose -b = b. Let o be g(b). Solve -4*n - 3 - o = 0 for n.
-1
Suppose -4*z + q = -7, 0 = 4*z - 2*q + 6*q - 12. Solve -z = -2*y - 12 for y.
-5
Let b(m) = 13*m**2 + 24*m - 8. Let u(h) = 3*h**2 + 6*h - 2. Let i(s) = -2*b(s) + 9*u(s). Let z be i(-7). Solve -z*d - 4 = 21 for d.
-5
Suppose -5*m + 15 = -4*m. Solve 0 = -i - 2*i + m for i.
5
Let t(v) = v**2 + 7*v + 2. Let z be t(-7). Let h = -38 - -38. Solve 2*c + z - 4 = h for c.
1
Suppose -3*x + 16 = -2*x. Let f = 16 - x. Solve 2*v - 6 - 4 = f for v.
5
Suppose -x = 3*x - 8. Solve x*h = 4*h for h.
0
Let q(b) = -b**2 + 3*b + 2. Let t be q(3). Suppose -5*g - 75 = -5*p, 0 = -t*p + 3*p + 5*g - 15. Solve 0 = 6*m - m - p for m.
3
Let j be ((-16)/3)/((-1)/3). Let g(y) = -y**2 + 6*y - 5. Let o be g(5). Suppose -2*w = -j - o. Solve 0*s + 4*s = w for s.
2
Let g(d) = -d**2 - 6*d - 4. Let i be 3/(-1) + 0/(-1). Let t be g(i). Suppose 0 = -t*l + 14 + 21. Solve 2*n - l*n - 5 = 0 for n.
-1
Suppose 9 = 5*n - 6. Suppose 0*b + 3*b - 9 = 0. Solve 0 = -n*u - 0 - b for u.
-1
Suppose g = -3*x + 72, 0 = x - 2*x + 5*g + 8. Solve -3 = -4*y - x for y.
-5
Let y(b) = 2*b**2 + 9*b + 3. Let x be y(-6). Suppose -4*s = -z + x, -7 = -z - z + s. Solve -n - 4 = -z for n.
-3
Suppose -5*d + 0 + 5 = 0. Solve 0 = 2*j - 