+ 2*k + 5 for k.
5
Let r(p) = -3*p - 8. Let k be r(-6). Let h be (-21)/(-12) - (-1)/4. Let b = -18 + 25. Solve -k = -b*u + h*u for u.
2
Suppose 4*f = -3*s + 15, 4*s - 8*f = -4*f + 20. Solve s = -b + 1 for b.
-4
Let y be (-30)/2*3/9. Let b = y - -7. Solve -b*d = 3*d for d.
0
Let x = 16 + -13. Solve -x = 4*i - 7*i for i.
1
Let q = -5 + 7. Let l be q - (-6)/9*-3. Suppose -14 = -5*h + 6. Solve 0*w - w + h = l for w.
4
Suppose 2 = -3*m + 2. Let y(z) be the second derivative of z**4/12 - z**3/6 + 5*z**2/2 + z. Let c be y(m). Solve -p - c + 4 = 0 for p.
-1
Suppose -2*p = -p - 18. Suppose -2*q = -p + 2. Solve q + 2 = -2*j for j.
-5
Suppose 0 = -2*d - 4*o + 12, -3*o + 0 = 2*d - 11. Let j be (1 + -4 + 2)*1. Let s be (0*(-3)/(-6))/j. Solve s = 3*g + g - d for g.
1
Let z be -2 + 7 - (-9 + 8). Solve -z*t = -t - 20 for t.
4
Let u be 1 + -1 + -1 + -10. Let d(i) = i**2 + 10*i - 9. Let j be d(u). Let c be -2*j/(-2) + 0. Solve 0 = -n - 0*n - c for n.
-2
Let s = -6 + 12. Solve 0*k = 2*k - s for k.
3
Let n = -1 + 1. Let t = 20 + -17. Suppose n = t*w - 0*w - 45. Solve 5*a - w = 5 for a.
4
Suppose 4*z + 4*p - 3*p = 3, 0 = z + 2*p - 6. Suppose -f - f - 4 = 0, 4*f = -4*k + 12. Let m = 13 + 3. Solve l - k*l + m = z for l.
4
Let g(f) = -f**3 - 3*f**2 + 3*f + 5. Let y be g(-4). Let c = y - 9. Solve c = -3*w + 5 + 7 for w.
4
Let a be 14/4 + 1/(-2). Suppose -a*f + 6 + 0 = 0, 0 = -4*j + 2*f + 8. Solve -j*z = z + 8 for z.
-2
Let u be (-2)/3*(-1 - 2). Let j be (-63)/(-2) + u/4. Suppose z + 5*d - 2 = 0, 3*z + j = 7*z - 4*d. Solve z*k = 2*k for k.
0
Suppose 0 = 13*u - 96 - 47. Solve -2*i = 5 - u for i.
3
Suppose 5*a = 4*s + 40, -s = 4*a - 56 + 3. Let q = 17 - a. Solve -q*o + 21 = 6 for o.
3
Let y be -4*((-1 - 0) + 0). Suppose -6 = -y*m + 2*m. Solve 2*a + m*a = 0 for a.
0
Suppose 0 = z - 3, -5*y = -0*y + z - 13. Suppose 4*f + 1 = 3*t - y, t - 1 = 4*f. Solve 3*r + 2*r + 25 = f for r.
-5
Let i = -1 + -3. Let b = -7 - i. Let o be (3 + 3)/(b/(-2)). Solve o*l + 6 + 2 = 0 for l.
-2
Suppose 2*v = 2*p + 16, 2*v - p - 4 = -2*p. Solve -16 = 5*d + v for d.
-4
Let m(v) = v**2 - v + 4. Let w(c) = -c**3 - 3*c**2 - 2*c - 6. Let u be w(-3). Let y be m(u). Solve -y*i = -3*i - 5 for i.
5
Let u be -6*2/8*(-4)/3. Solve 0 = n + u*n for n.
0
Suppose 3*y - 5*a = 26 + 6, -3*y = 3*a. Suppose 0 = -i - 2 + y. Solve 0 = i*r - r for r.
0
Let b(z) = -z**2 + 11*z - 18. Let d be b(9). Solve -5*f + 10 + 0 = d for f.
2
Let u(c) be the third derivative of -c**4/24 + 2*c**3/3 - 5*c**2. Let g be u(2). Solve g*x + 10 = -0 for x.
-5
Let j be ((-19)/2)/((-5)/(-10)). Let t = 19 + j. Solve t*k = k for k.
0
Let f(r) = 25*r**2 + 3*r + 2. Let b be f(-1). Solve -b*i = -19*i + 10 for i.
-2
Let l(x) = x**2 + 8*x + 10. Let z be l(-7). Let u(a) = -a**3 - 12*a**2 + 3. Let h be u(-12). Let y = h - z. Solve 0 = -y*s - 2*s for s.
0
Suppose 0 = -3*t + 9 - 0. Solve t*c = c - 8 for c.
-4
Suppose s + 5*t + 20 = 0, 0 = -0*t + 2*t + 8. Suppose -50 = -6*j - 20. Solve -r + s = -j for r.
5
Let i be 56/(-6)*(-9)/(-6). Let n = 19 - i. Suppose 0 = -a - 1 - 4, -2*x + a = -31. Solve -5*l - x = -n for l.
4
Let g(t) = -t**2 - 11*t - 20. Let p be g(-8). Solve -p*k + 4 = -3*k for k.
4
Let d = -63 + 65. Solve 3 = y + d for y.
1
Suppose -5*g + 20 = -0*g + 5*o, -5*g + 2 = -o. Let c = -8 - -14. Solve g = y + c for y.
-5
Let o = -1 + 3. Suppose 0 = o*b - 2*l + 24, -b - 2 = -3*l + 20. Let z(i) = i**2 + 6*i - 2. Let d be z(b). Solve 0 = -d*q + 2 + 3 for q.
1
Let l = -13 + 13. Solve l = 3*f - 0*f for f.
0
Let c(x) = -13*x - 1. Let z(u) = -2*u + 3. Let w be z(2). Let t be c(w). Solve -5*g - t = -g for g.
-3
Let g(n) = -7 + n - n - n. Let t be g(-10). Suppose 0 = -y + t*y - 10. Solve -w - 4*w = y for w.
-1
Let w = -43 + 45. Solve 0 = -5*g + 27 - w for g.
5
Let n(i) = 26*i**3 + i**2 + 3*i - 3. Let w be n(2). Suppose -w = 4*k - 9*k. Let j = k + -28. Solve 2*z - 7*z = -j for z.
3
Suppose -j + 2 = 2*j + d, -d + 2 = -2*j. Solve c - 2 = -j for c.
2
Suppose -6 - 7 = -h + y, -2*h = -3*y - 29. Let g = 10 - h. Solve g*r + 5*r = 0 for r.
0
Suppose 3*l - q + 6 = 0, -l + 3*q = 2*q + 2. Let h be 5 + (2 + l - 1). Suppose 2*s + 0*c - 1 = c, s - h*c = 4. Solve -2*t + 4 + 4 = s for t.
4
Let g = 65 - 57. Solve 33 - g = 5*a for a.
5
Let t(z) = -z**3 + 10*z**2 + 13*z - 11. Let l be t(11). Solve -l = 3*w - 2 for w.
-3
Let g(q) = -2*q + 13. Let v be g(5). Solve -v + 7 = i for i.
4
Suppose -w = -2 - 3. Suppose 5*q + w - 20 = 0. Solve v - 1 - q = 0 for v.
4
Let n(m) = m + 7. Let z be n(-5). Suppose -9 = -x - z*x. Solve -5*i - 22 = x for i.
-5
Suppose 3*u - 4 = 8. Let p be (-4)/(-6)*30/u. Solve -j + p*j + 4 = 0 for j.
-1
Suppose -3*c - 5 = -8*c. Suppose k - 1 = c. Suppose -k*p + 12 = -0. Solve -2 = -2*a - p for a.
-2
Let i be (-1 + 6)*1 + -2. Solve -3*k + 15 = i for k.
4
Suppose 6*d - 9*d + 45 = 0. Let k(n) = n**3 + 9*n**2 - 9*n + 13. Let p be k(-10). Solve -p*i - d = -6*i for i.
5
Let b(f) = -f**3 + f**2 - 2. Let r(h) = 2*h**3 - 2*h**2 + 3. Let d(o) = 3*b(o) + 2*r(o). Let m be d(0). Solve m = -2*s + 4 for s.
2
Let t = 20 + -17. Solve t*v - v - 2 = 0 for v.
1
Suppose -3*z = 2*z - 10. Let u be (-2)/(-4)*140/1. Suppose 4*b = -b + u. Solve z - b = 3*y for y.
-4
Suppose -2*o + 17 = 4*t - o, 2*o = 10. Let r = 87 + -86. Solve -t*s - 4 = -r for s.
-1
Suppose 0*m - 16 = -8*m. Solve -m*h = 7 - 1 for h.
-3
Suppose -15 = -5*x - 0. Let f be (-2)/9 - (-56)/9. Solve -f = -x*k + k for k.
3
Let x(s) = -s. Let b be x(-3). Let i be (1*(-21)/(-14))/(6/104). Suppose i = b*l - 4*g, -2*l - 10 = -g - 29. Solve 10 = -5*a - l for a.
-4
Suppose -5*h + g = -h - 7, g - 11 = -5*h. Suppose -6*k + 3*k = 0. Let d be -2 + 19 - (k + 2). Solve -h*u = 3*u + d for u.
-3
Let l(o) = 6*o + 0*o - 5*o + 21 - 7. Let p be l(-11). Solve p*b = b for b.
0
Suppose 5*f - 56 = -3*f. Solve -5 - f = -3*k for k.
4
Let m = 44 + -43. Let h(z) = 2*z + 2. Let q be h(-6). Let w = -7 - q. Solve 0 = -2*p + m + w for p.
2
Let k(f) be the third derivative of -f**4/24 + 5*f**3/3 - 2*f**2. Let v be 40/(-6)*30/(-20). Let h be k(v). Solve -g = 2 - h for g.
-2
Suppose 3*c + 14 + 8 = -4*s, 3*c + 23 = -5*s. Let z = -6 - c. Solve p + 1 + 1 = z for p.
-2
Suppose -352*b - 24 = -358*b. Let s be 40/(-6)*(-12)/10. Solve 4*q - b = -s for q.
-1
Let l = -25 - -29. Solve s - l*s = 0 for s.
0
Let l(m) = m**3 - 17*m**2 + 2. Let q be l(17). Solve q*i + 5 = -5 for i.
-5
Suppose -b + 6*b - 20 = 0. Solve -b = 4*a + 4 for a.
-2
Suppose 4*m - 7 = 5*p, m = 3*p - 2*p + 2. Let f be (1/(-1) - -8)/p. Let s = f - 3. Solve s*o = 10 - 2 for o.
2
Suppose 2*q - 6 = -0*q. Suppose 16 = q*x + x. Solve 4*w = -16 + x for w.
-3
Let t be 12/(3/1) - 1. Suppose -4*g + 40 = 5*f, -3*f + t = -4*g + 11. Suppose -2*z + 15 = v - 2, 0 = -2*z + g*v - 13. Solve 3*p = -0 - z for p.
-2
Let p(v) = v**2 + 2*v + 1. Let z be p(-3). Suppose -z*k + 5*k = 4. Solve -s + 1 = -k for s.
5
Let t = 11 + -6. Suppose 9 = 3*b, 4 = d + b - 1. Suppose -n - f + 2 = f, f = n + 1. Solve -a + d*a + t = n for a.
-5
Let r(l) = -l**2 + 9*l. Let j be r(9). Suppose j = -b + 3 + 3. Solve -3 + b = d for d.
3
Let s = 23 - 18. Solve -s*d = -10*d - 25 for d.
-5
Let w be (-2)/(-5) + 8/(-20). Let t = 2 - w. Suppose 5*j = -4*d + 105, j = 5*j - t*d - 110. Solve -5*x + 0*x + j = 0 for x.
5
Suppose 16 = 4*o + p, -6*p + 3*p = 4*o - 16. Let g(k) = -k + 2. Let x be g(2). Solve -f + x*f = o for f.
-4
Let h(r) = 2*r + 27. Let s be h(-11). Suppose -l + 2*l - s = 0. Solve i + 0*i + l = 0 for i.
-5
Let l(t) = t**3 + 6*t**2 + 6*t - 2. Let w be l(-5). Let f be 5/2*(-14)/w. Solve 4*a + f = -15 for a.
-5
Suppose -20 = -i - 3*i. Solve 0 = i*x - x + 16 for x.
-4
Let g = 4 - 1. Suppose 0 = s + g*s - 80. Let v = s - 10. Solve -2 - v = -4*u for u.
3
Suppose -4*y - v = 9, -2*v = -2*y - 5*v - 7. Let t be (-1)/((-4)/(-6))*y. Solve g = t*g for g.
0
Suppose -3*w + w + 10 = 0. Solve w = 6*o - o for o.
1
Suppose 0*f = -3*f + 3. Solve -2*n - 5 = f for n.
-3
Let v be 5/20 - (-9)/12. Suppose -2*a + 24 = 5*f, -2*a + 4*a + f = 8. Suppose -a = p, p = 2*d + d - 17. Solve 2*g = d - v for g.
2
Suppose -5*i = -4*f + 32, 20 = 4*f - 0*i - 2*i. Solve b - 4 = f*b for b.
-2
Let r(c) = c**2 + 9. Let b be r(0). Suppose -3*v + 5*v = 0. Suppose v*u - 2 = -u. Solve u*d + 1 = b for d.
4
Let q(r) = -r**2 - 5*r - 1. Let v be (0 + -2)/(1/2). Let a be q(v). Let p be 2/(-3) + 8/a