olve -h = -n - 5 for h.
5
Suppose -4*u + 3 = -u. Suppose 1 + u = 5*v - 4*j, -v - 4*j + 10 = 0. Let d = v + -2. Solve 5*q - 26 + 6 = d for q.
4
Let g(p) = -p**3 - 7*p**2 - 3*p - 14. Let n be g(-7). Solve -15 = -2*c + n*c for c.
-3
Suppose 3*g + 6 = 5*g. Suppose -t + 26 = 4*t - g*w, 0 = 5*t - 4*w - 28. Solve 6*j = t*j for j.
0
Let h(b) = 2*b**3 - b**2 + b - 1. Let f be h(1). Let a be 0/(f + 0 - 3). Let s = 0 - a. Solve s = 3*y - 2*y + 5 for y.
-5
Let t = 1 + -1. Solve t = -y - y - 10 for y.
-5
Let c be (-10)/(-30) + (-11)/(-3). Solve c*u = -u + 25 for u.
5
Let l be 111/63*3 - (-8)/(-28). Solve -l*i = -6*i + 3 for i.
3
Let k be 7/(-4) - 1/4. Let s be 2/(-4) - 43/k. Let d = -11 - -16. Solve -d*q = 1 - s for q.
4
Let p be 1 + (25 - 0) - (-1 + 2). Solve p = -d - 4*d for d.
-5
Let w(k) = k + 8. Suppose -4*c = 2*z + 6, 4*z + 0 = 2*c - 22. Let p be w(z). Solve -p*d = d for d.
0
Let g(q) = -2*q + 13. Let m be g(6). Solve 0 = x - m - 2 for x.
3
Suppose 20 = -4*a, 4*v + a - 13 = -6. Suppose 0 = v*b - 7*b. Solve b = f - 3*f - 10 for f.
-5
Let a(y) = -y**2 + 4*y + 4. Let l be a(5). Let f = -1 - l. Suppose f = 4*r - 3*r - 25. Solve 6*x + r = x for x.
-5
Let y(m) be the second derivative of m**4/12 - m**3/6 - 3*m**2/2 - 3*m. Suppose -f = 4*l + 17, -5*f + 5*l + 37 = -f. Let g be y(f). Solve a = g*a + 6 for a.
-3
Suppose -3*p = -8*p + 60. Let k = p + -12. Solve y + 4 = -k*y for y.
-4
Suppose -4*z = 12, -3*m - 5*z = m + 7. Suppose 0 = 3*r + 4*q + 11, 0*q + 40 = 5*r - 5*q. Solve -t + m*t = r for t.
3
Suppose 0 = -4*i + 3*i. Suppose c - 5*j + 12 = 0, i*c - c - 4 = -3*j. Solve d - c = 5*d for d.
-2
Let s(l) = -l**2 - 3*l + 12. Let z be s(0). Solve 0*w + z = 3*w for w.
4
Suppose 0 = t - 9*h + 7*h - 15, 2*t = 5*h + 27. Solve -5*c + t = 6 for c.
3
Suppose 6*t - 8 = 4*t. Suppose o = -o + g + 5, t*o + 5 = -g. Solve o = -2*a - 2*a - 20 for a.
-5
Let v = 1286 - 711. Let f be v/10 - (-2)/(-4). Let j = f + -37. Solve -4*q + 0*q = -j for q.
5
Suppose -2*j + 7*v + 20 = 2*v, 0 = 3*j - 2*v - 8. Solve 4*l = -j + 4 for l.
1
Let n be 0 + 4 - (7 - 8). Solve n*v = 4*v for v.
0
Let k(l) = -2*l + 28. Let q be k(9). Solve -a + q = a for a.
5
Let i(s) = 3*s**2 + 4. Let p(h) = 2*h**2 + 3. Let k(q) = 3*i(q) - 4*p(q). Suppose 2*d - 4 = -3*w, -3*w + 2*w + 4*d = 22. Let b be k(w). Solve -b*t = -t for t.
0
Let d(t) = -t + 10. Let m be 140/18 - 2/(-9). Let z be d(m). Solve 3*j - 3 = z*j for j.
3
Let j be 4/6 + 5 + (-25)/15. Solve 0 = j*o - 2*o + 8 for o.
-4
Let t be (-32)/(-6) - 2/(-3). Let m = 5 - 1. Let b be (3 - m) + 2 - -1. Solve -b*c = c + t for c.
-2
Suppose -2*b - 5 = 3*z, -3*b + 3*z - 4 = -19. Suppose -16 = -3*k - b*h, -4*k - 2*h = -8*k - 2. Solve -k*x = -5*x + 12 for x.
4
Let n(q) = -q**2 - q + 4. Let l be n(3). Let j be l/16 + 1/2. Solve j = -2*s - 8 - 2 for s.
-5
Let k(p) = -2*p**2 - 5*p - 8. Let v(j) = j**2 + 2*j + 4. Let q(d) = 4*k(d) + 9*v(d). Let s be q(0). Solve -2 = -s*h + 6 for h.
2
Let y be (14 - 8) + (-8)/(-2). Solve -5*g + y*g = 15 for g.
3
Let v = -4 + 7. Suppose 3*m - 5 - 28 = 0. Solve -v + m = 2*u for u.
4
Let c be (7 + -3)/((-1)/(-2)). Let j(b) = b**3 - 8*b**2 + 2*b - 12. Let r be j(c). Solve 0 = r*o + o + 15 for o.
-3
Suppose 3*f = 2*w - 15, -21 = -4*w + 5*f + 8. Solve 0 = a - 3 + w for a.
-3
Suppose -2*v - 5*j = -6*j - 7, -5*j + 5 = 0. Let q be (-8)/(-6) + (-2)/(-3). Suppose -3*f - 5*l - 9 = 0, -2*f = v*l + 6 + q. Solve -f*o + 6 = -0*o for o.
3
Let c(l) be the second derivative of -l**5/20 + 5*l**4/12 + 7*l**3/6 - 2*l**2 + 8*l. Let x be c(6). Solve -x*r = r for r.
0
Suppose -4*b = -4*x - 8, 2*x + 4*b - 32 = -2*x. Suppose 0*y - 4*y + 5*m + 48 = 0, -4*y = -2*m - 48. Solve x*o + y = -o for o.
-3
Let y(b) = b**3 + 4*b**2 + b - 2. Let x be y(-2). Let c(v) = v. Let s be c(x). Solve -s = -5*l + l for l.
1
Let o(y) = -y**3 - y**2 - 2*y - 6. Let d(m) = m**3 + 2*m**2 + 2*m + 6. Let l(r) = 6*d(r) + 7*o(r). Let p be l(4). Solve a - 3 = -p*a for a.
1
Let r be -2*(-2 + (-1 - -1)). Suppose -r*f + 3*f - 4*n = 14, 0 = 4*n + 16. Suppose f*k - 12 = d - 3*d, k = -1. Solve 5*c - d + 2 = 0 for c.
1
Let z(a) = -2*a**3 - 3*a**2 + 4*a + 9. Let b be z(-2). Solve -b = t - 4 for t.
-1
Suppose -4*j - v + 8 = 0, -3*j - v + 2 = -5*j. Solve -4*b - 7 = j for b.
-2
Let o = 4 - 6. Let a be ((0/(-3))/(-2))/o. Suppose 2*n - 6*n + 20 = 0. Solve -c + n = -a for c.
5
Let c = 27 - 24. Solve 0 = -0*k - 3*k + c for k.
1
Let w = 3 + -1. Let a = w + 0. Solve r + a*r = -15 for r.
-5
Suppose -2*f + 5*t = -24, 2*t + 3 = 4*f - 13. Solve -3*s = f*s for s.
0
Suppose -24*o = -6*o - 72. Let h = 1 + 4. Solve -h*m - 14 = -o for m.
-2
Let l = -21 + 13. Let f = l + 10. Solve t + 9 = -f*t for t.
-3
Let r(g) = g + 38. Let d be r(-13). Solve -4*p = p - d for p.
5
Let v(c) = c**2 - 2*c - 3. Let k be v(4). Solve 0*n + 5*n - k = 0 for n.
1
Let s = -4 - -6. Let n(z) = -z**2 - 9*z + 9. Let p be n(-10). Let g(i) = 4*i**2 - 2*i - 1. Let l be g(p). Solve l*j - 3 = s for j.
1
Suppose 0 = -8*k + 3*k - 75. Let w be (-6)/k*30/3. Solve 0 = -w*r + 6*r for r.
0
Let k(d) = d**3 - 4*d**2 + d - 1. Let b be k(4). Suppose 3*j + 4 = -4*s + 10, -15 = 5*s. Solve -b*t + t = -j for t.
3
Let g = -2 - -6. Suppose -3*c = -g*n - 1 - 22, 5*n = 2*c - 20. Solve -c*t = 1 + 14 for t.
-3
Suppose 0*f + 4*o - 22 = -f, 2*f - 28 = -4*o. Let w = f - 2. Solve 4*v + w = 2*v for v.
-2
Suppose -3*i = -i - 4. Suppose 0 = 2*u - u. Solve u = i*j - j for j.
0
Let y be (-28)/35*(-10)/4. Solve -10 = 4*g + y for g.
-3
Let u(n) = 5*n**2 - 8*n + 4. Let s(j) = -9*j**2 + 15*j - 8. Let x(c) = -4*s(c) - 7*u(c). Suppose -9 = -0*p - 3*p. Let i be x(p). Solve -5*h + 26 = i for h.
5
Let w be (23 - 23)*2/4*1. Solve -6 = 3*d - w*d for d.
-2
Suppose -3*n + 4 = 1. Let i be ((-12)/4)/(n/2). Let h be -6*(-3)/i*-1. Solve s - h = -4 for s.
-1
Let x(n) = n**2 + n - 1. Let t(u) = 9*u - 2 + 5*u**2 + u - 2 + 0. Let p(a) = -t(a) + 4*x(a). Let f be p(-6). Solve 0*s + s + 2 = f for s.
-2
Let m(b) = -b**3 - b - 2. Let t be m(2). Let d = t + 28. Suppose 1 - d = -5*x. Solve x*v = -0*v for v.
0
Let n(w) = w - 5. Let x be n(10). Solve -15 = 5*o + x for o.
-4
Let q(h) = h**3 - 5*h**2 - 6*h + 4. Let l = -1 - -7. Let d be q(l). Solve a + 1 = -d for a.
-5
Let m(y) = -2*y + 4. Let x be m(4). Let w be 2*2/(x/5). Let p = -5 - w. Solve p*u = -4*u for u.
0
Let n be (-1 - 3/(-2))*6. Suppose -s + 0*s + n = 0. Suppose 4*h - 20 = -0*h. Solve -h*f + s*f = 8 for f.
-4
Let b(x) = -4*x. Let s be b(-3). Suppose -4*j = -9 - 11. Solve -j*q - s = -q for q.
-3
Let h be (27/12 - 3) + (-38)/(-8). Solve 0 = v + h*v - 10 for v.
2
Let h be (-10)/15 - (-76)/6. Solve 2*n + h = -2*n for n.
-3
Let x be 350/(-15)*(-6)/5. Suppose 3*n + 10 = x. Solve b - 5 = n*b for b.
-1
Suppose -4*u + 8 = -3*l + 7*l, 2*l = 0. Let f(r) = -r**2 + 5*r - 2. Let b be f(3). Suppose y + y = o + 28, -b*y = -o - 60. Solve -u*j + y = 2*j for j.
4
Suppose -13 = -4*t - 1. Solve y - 1 = t for y.
4
Let k be 11 + (1 - (-4)/4). Let x be 16/(-6) + (-4)/(-6). Let y = k + x. Solve 4*s - y = 5 for s.
4
Let w(p) = -p**2 - 7*p + 6. Let o be w(-7). Let m = 6 - o. Solve 0*u + 2*u - 6 = m for u.
3
Suppose 2*h + 2 = 8, -3*h - 35 = -4*l. Let g(k) = k**2 + 3*k - 2. Let j be g(-4). Suppose 3*c = 2*d + 15, -4*d = -3*c - d + 18. Solve -c = -j*o - l for o.
-4
Let u be (-7 - 24/(-3))*2. Let k be 9 - (-2*1)/(-2). Solve 0*g + k = u*g for g.
4
Let f be (-1)/(-2 - (-15)/9). Suppose -5*o + 2*i = -f*o, 2 = i. Solve -o*y = -0*y + 6 for y.
-3
Suppose 4*z - 25 = -3*c, 2 = -z + 3*c - c. Let n be z/18 - 2/9. Suppose -27 = -u - n*y - 5*y, -y - 57 = -5*u. Solve -2*h - u + 2 = 0 for h.
-5
Suppose -5*r + 3 = -b, -b - 4*b = -2*r - 8. Solve -1 = -k + r for k.
2
Let q(u) = -3*u**2 - 29*u - 18. Let m(n) = n**2 + 10*n + 6. Let z(a) = 8*m(a) + 3*q(a). Let p be z(-5). Solve -o = -0*o - p for o.
4
Let p(m) = -m**2 + 9*m - 4. Let n be p(8). Let z(i) = i**3 - 8*i**2 + 7*i - 1. Let u be z(7). Let l be 3/2*(1 - u). Solve 0 = n*c - 13 - l for c.
4
Suppose -4*s - 8 = -20. Suppose -s = -f + 5. Suppose -f = -x - 4. Solve -7 = x*n + 5 for n.
-3
Suppose -5*q - 10 = -3*s - q, -5*s + 7 = 3*q. Solve 0 = -4*k + s*k - 6 for k.
-3
Let d be (4/(-5))/((-2)/(-40)). Let z = -4 - d. Suppose 0 = a + 4*f, -2*f - z = -2*a - 4*f. Solve m = -m - a for m.
-4
Let y(n) = n + 7. Let v be y(-9). Let l = v - -2. Let r = 4 + -1. Solve 