11 = -p. Solve t = -4*w - p for w.
-5
Suppose 4 = -0*m + 2*m. Suppose m*h = 5*h - 45. Let o be ((-4)/10)/((-3)/h). Solve -b + 1 - o = 0 for b.
-1
Let u = -26 + 31. Solve 2*a - 3 - u = 0 for a.
4
Let d(f) = -f**3 - 2*f**2 + 4*f + 4. Suppose -c = -2 + 5. Let j be d(c). Let x be 10/(-6)*(2 - 5). Solve -3*h + x = -j for h.
2
Let f(s) = 3*s - 12. Let p be f(6). Solve 2*m = -0*m + p for m.
3
Let v be (50/(-5) - 0) + 2. Let l(w) = 17*w + 1. Let i be l(1). Let k = i + v. Solve -k + 26 = 4*u for u.
4
Let w(s) = -s**2 + 6*s + 1. Let o(r) = 3*r**2 - 12*r - 3. Let q(v) = -2*o(v) - 5*w(v). Let p be q(-5). Solve 4*k = p + 6 for k.
3
Suppose -5*q + 13 = -6*o + 4*o, -3*o - 2 = -4*q. Suppose 36 = -31*z + 27*z. Let c be (1 + z/(-6))*o. Solve -c + 3 = -4*v for v.
3
Let r(u) = -u**2 - 9*u + 1. Let c = -3 + -6. Let o be r(c). Solve 1 = a - o for a.
2
Let i(x) = -x**3 - 7*x**2 - 7*x - 5. Suppose 5*d = -2*k - 1 - 25, -3*d = k + 16. Let s be i(d). Suppose m + s = 3. Solve -2 = 4*o + m for o.
-1
Let t be (-12)/(-9)*(-6)/4. Let b = t + 6. Solve -13 + b = 3*h for h.
-3
Let u(l) = l - 2. Let r be u(4). Solve -q = -r*q + 5 for q.
5
Suppose -4*q = 3 + 57. Let p be ((-36)/(-20))/((-3)/q). Solve 0 = 2*a + a + p for a.
-3
Let h(u) = -u**2 - 6*u. Let y be h(-6). Solve 5 = -y*o + o for o.
5
Let a(j) = 3*j + 10. Let m(z) = 1. Let n(r) = -a(r) + 5*m(r). Let d = 1 - 5. Let s be n(d). Solve s = -u + 3 for u.
-4
Let z(d) be the first derivative of -d**2/2 - 15*d - 8. Let p be z(-15). Solve p + 2 = -m for m.
-2
Let n = 14 - 12. Suppose -n*r - 1 = 2*g - 3, -2*g = 3*r - 3. Solve -3*u + 1 - 10 = g for u.
-3
Suppose 2*l + 11 = 31. Solve 0 = 5*a - 0*a + l for a.
-2
Suppose c = 5*c. Solve c = p + 2*p + 9 for p.
-3
Suppose g = 3*g. Suppose -w + 9 = 3*z + 2*w, g = -w - 1. Solve -z*b = -3*b + 4 for b.
-4
Let d(q) = q**3 - 5*q + 1 + 2*q + q. Let u be d(2). Suppose -u*g + 0*g = -35. Solve 2 = -t + g for t.
5
Suppose -2*a = 2*a - 12. Suppose -4*f = -4*v - 16, -2*f + a*v = -4 - 8. Let r(b) = b**2 + 2*b - 5. Let t be r(-4). Solve f = -2*u + u - t for u.
-3
Suppose -5*h = 3*c - h + 14, 0 = -2*c + 2*h + 14. Suppose b - r - c*r = 16, 5*r + 29 = 4*b. Solve 0 = j + b - 2 for j.
1
Suppose 2*f - 6 = 4. Let x = 16 + -10. Solve 26 = -f*c + x for c.
-4
Suppose 3*g - 10 = -4. Suppose -g*l + 28 = 2*l. Solve 3*f = l*f + 4 for f.
-1
Let g be 3 + (4 - 0) + -2. Suppose 2*o = g*o - 6. Solve m = -0 - o for m.
-2
Let x = 100 - 60. Suppose 0 = 3*f - 5*f + x. Solve -f = 5*y - y for y.
-5
Let s = 24 + -17. Solve -s = -5*v + 3 for v.
2
Suppose 4*b - 3*b + 14 = 3*f, -4*b - 2*f + 14 = 0. Suppose 2*a = 5*v - 14, 2*v - 4*a = 3*v + 6. Solve v*i + b = i for i.
-1
Let a(r) be the first derivative of r**3/3 + r**2/2 + 5*r + 3. Let t be a(0). Suppose m - 3*b = -2*m + 21, 4*b = -t*m + 8. Solve m + 4 = -4*c for c.
-2
Suppose l = -3*l + 4. Let d be (3 - 2)*2*l. Solve 8 + d = 2*o for o.
5
Let j be 2 - 4 - (-1 - 5). Suppose j*x - 4 = -3*t + 3, x + 5*t = -11. Suppose -3*i = -5*m + 75, -1 - 22 = -4*m - 5*i. Solve -x*w = -0*w + m for w.
-3
Let r(p) = -p**2 - 11*p - 26. Let k be r(-4). Solve t + k = 2*t for t.
2
Let i(z) = z + 3. Let a be i(0). Let c be 2 + (-4)/(-6)*a. Let u be (-64)/(-6)*(-6)/(-4). Solve -c*p + 0 = -u for p.
4
Let d = 5 + -14. Let v(l) = -l - 5. Let w be v(d). Solve w*s - 4 = -16 for s.
-3
Let d be -1*(5 - -3 - 3). Let a be (-1)/((5/(-2))/d). Let j = a - -6. Solve -j*f + 2*f + 2 = 0 for f.
1
Let z(x) = -x**3 - x + 1. Let g be z(0). Let m = -38 - -58. Suppose 0 = 2*o - 8, u - m = -3*u - 2*o. Solve j = u - g for j.
2
Let x be 1 - 21 - (2 - 1). Suppose -2*q - 2*q = -136. Let g = x + q. Solve g + 12 = -5*m for m.
-5
Suppose -15 = 5*s + 5*j - 0*j, -5*j = s + 7. Let q = s - -2. Solve q = -g - 4*g + 20 for g.
4
Let z be (1/(-2))/((-2)/16). Suppose -52 + z = -4*w. Solve -3*b + 0*b - w = 0 for b.
-4
Let a be 6/6*(1 - 1). Solve a = -4*n - 16 - 0 for n.
-4
Suppose 0 = -2*l - 6, 4*l = -3*q + 2*l + 21. Suppose 24 = -3*z + q*z. Solve 10 = z*x + x for x.
2
Suppose -p + 6*p = 0. Suppose p = -o - 5 + 16. Solve 5 = -4*f - o for f.
-4
Let l be -15*2*(-3)/(-18). Let w be (l + 4)*(-7 - -2). Suppose -3*i + 3*q - 9 = 6*q, -5*q - 15 = -3*i. Solve -w*c + 25 = -i*c for c.
5
Let w = 7 - 7. Suppose 2*c - 5*t + 4 = w, -6 = -5*c + 4*t + 18. Suppose -38 = -3*p - c. Solve 3*a = 5*a + p for a.
-5
Suppose -b + 5 = a, -5*b = 4*a - 13 - 11. Suppose 0 = -5*s - 3*v - b, -s + 5*v = -28 + 12. Solve g = s + 1 for g.
2
Let q(x) = x**2 - 5*x + 6. Let b be q(5). Suppose n + 1 = 0, 2*i - n = -4*n + 3. Suppose 2*m + 2*m = -d - 9, -2*d = -i*m - 15. Solve 0 = -b*h + 3*h - d for h.
-1
Let i be (-2)/10 + (-84)/(-20). Solve i*l + l = 5 for l.
1
Let j(d) = d**3 + 12*d**2 + 11*d + 1. Let k be j(-11). Let a(l) = 2*l + 1. Let v be a(k). Solve 2*r + v*r = 0 for r.
0
Suppose -4*s + 4*g + 76 = 0, 0 = -4*s + 2*g + g + 78. Suppose -2*u = 2*r - 12, 4*u + r = -0*r + s. Solve 3 = u*c - 17 for c.
4
Suppose 0 = 2*s + 2*s - 2*h - 10, -8 = -5*s + h. Let k = 2 + s. Solve 2 = -j + k*j for j.
1
Let q(d) = -d. Let h = 18 - 24. Let t be q(h). Solve 0*n - 2*n = t for n.
-3
Let b(s) = 5*s - 6 + 0 + 3 - 6*s**2 + s**3 + 6. Let x be b(5). Solve w = -x*w for w.
0
Let f be (0/3)/(-2 - -3). Let q be 4/(-3)*(-6)/4. Suppose 5*a - 15 + 0 = 0. Solve -q*y - a*y = f for y.
0
Suppose 65 = 3*y + 14. Solve -5*o - y = 3 for o.
-4
Let v(a) = -1. Let m(q) = -7*q + 6. Suppose -3*f - 1 = -2*f. Let c(g) = f*m(g) - 6*v(g). Let k be c(3). Solve 6 - k = -5*i for i.
3
Let a(x) = x - 1. Let i be a(4). Solve i*o = 2*o for o.
0
Let b = 48 + -44. Solve -2*r - b = 2*r for r.
-1
Suppose -3*t - 4*b + 17 = -0*t, -5*b = 5*t - 25. Solve -5 = 2*q + t*q for q.
-1
Let x be 3*-1 - (-2 + -1). Let z(w) = w**2 + w + 15. Let q be z(0). Let p be q/2*(-1 - -3). Solve -4*m - m - p = x for m.
-3
Let f(b) = 6*b**2. Let a be f(-1). Let z be 2/(-6) - (-38)/a. Solve 0*w = -3*w + z for w.
2
Suppose -d - 4 = d. Let r be (-2)/(-10) + d/10. Let p be -6*1/(-12)*4. Solve k + k - p = r for k.
1
Suppose -3*z = 2*r - r + 27, -35 = 4*z + r. Let d = -6 - z. Suppose -l + d*l = 25. Solve -l = -w - 4*w for w.
5
Suppose 0 = -3*a - 2*a + 30. Let g = a + -6. Let z be g*(-2)/(0 + 4). Solve -3 = -z*t - t for t.
3
Let a(h) = -h**3 - 9*h**2 + 10*h + 2. Let c be a(-10). Solve -3*m - 1 = c for m.
-1
Let o = -12 - -20. Let f = o - 4. Solve -l - l = -f for l.
2
Let r(c) be the second derivative of c**4/12 + 7*c**3/6 - 13*c**2/2 - 2*c. Let o be r(-9). Suppose o*b - 42 = 18. Solve b - 3 = 3*t for t.
3
Let f(b) = -16*b**3 - 2*b**2 + b + 2. Let m be f(-1). Solve -2*r + m = r for r.
5
Let l(f) = -f**2 + 6*f - 1. Let a be l(5). Solve 0 = -3*d + 13 - a for d.
3
Let w(c) = -c + 4. Let q be w(3). Let k(m) = 7*m**3 - m**2. Let g be k(q). Let r be (-2)/(1 - 10/g). Solve -h - r*h - 12 = 0 for h.
-3
Suppose 2*j = -0 + 4. Suppose k + j*k - 6 = 0. Solve -k*n = -4*n for n.
0
Suppose 5*q - 8 = -r + 3*q, 3*r = -3*q + 18. Solve -r*o = -o - 12 for o.
4
Let p(c) = c**2 - 16*c + 31. Let i be p(14). Suppose 0*u - u - 2*b + 16 = 0, 39 = 4*u + 3*b. Suppose -g = -u*g + 25. Solve 0 = -2*f + g + i for f.
4
Suppose 0 = 2*o - y - 5, -2*y + 20 = 5*o + 3*y. Solve -b + o*b = -6 for b.
-3
Let i = 16 + -14. Solve -i = a + 1 for a.
-3
Let q be 4 + 132/(-32) + (-34)/(-16). Suppose 4 = z + 1. Let c = z + -3. Solve c*h - 4 = q*h for h.
-2
Let m(n) = -n**2 - 16*n - 13. Let j be m(-15). Solve -4 + 14 = -j*p for p.
-5
Let r be 310/80 - (-1)/8. Solve -4 = r*w - 0 for w.
-1
Let l = -6 + -1. Let b = 11 + l. Solve 6 = -b*m - 2 for m.
-2
Suppose 2*a = 0, -4*h - 25 = -9*h - a. Suppose 0 = -4*t - h*c + 28, -2*t + t = 3*c - 14. Suppose 0 = 3*o - t*o - 6. Solve -3*w + 12 = -o*w for w.
-4
Suppose 2*u - 7 = 15. Let c = -9 + u. Solve 2*v + c*v = -20 for v.
-5
Let c = -90 - -141. Let g = c - 26. Solve -i - 4*i = g for i.
-5
Let q(s) = 45*s + 4. Let p be q(3). Suppose 2*c - 2*z + 44 = 0, 5*c - 2*z - 29 = -p. Let g be c/(-6) + 3/9. Solve 2*h + g = -2 for h.
-3
Let h be -2*(-6)/(-4)*-1. Suppose v - 2 = k, k - 1 = -h. Let t(w) = w**3 + 5*w**2 - 2*w - 7. Let b be t(-5). Solve v = 5*u + b - 13 for u.
2
Let t = 19 + -14. Suppose -5 = -0*d - d - t*j, 5*j = 0. Solve d*r + 28 = 8 for r.
-4
Let q be 0/(8/(-12)*-3). Suppose q = -4*h + 22 - 10. Solve -j + h*j - 2 = 0 for j.
1
Let u be (-2)/(-2) + (-4 - -6). Solve u = n + 1 for 