 + f, b*s - f = 3 for s.
-1
Let v(g) = -2*g + 4. Let d be v(1). Solve 0 = -d*n + w - 6*w, 0 = 2*w for n.
0
Let c(m) = -3*m - 20. Let t be c(-14). Solve -3*w - 23 = 4*u, -4*u - t = 3*w - w for w.
-1
Let j be (-5 - -3) + (2 - (-1 - 3)). Solve -m - 16 = 4*r - 3*m, j*r + 2*m = -24 for r.
-5
Let r(y) be the first derivative of -y**2/2 + 4*y - 1. Let h be r(4). Suppose h*g = -4*g + 16. Solve t = 5*z - 14, t - 8 = 2*z + g*t for z.
2
Suppose 3*t - 8 = -2. Solve 3*k = -t*x - 8, -4*x - 5 = x for k.
-2
Suppose 5*n + 3 = t, 3*t - 15 = -n - 2*t. Let o be 5 - 0*(-1)/2. Suppose -o*b + 5*r = 0, 5*b - 9 = -0*b + 2*r. Solve 1 = -k - 3*z - b, n = -z - 2 for k.
2
Suppose 0*l + 5*l = 0. Let d be (27/3)/((-2)/(-14)). Let p be d/12 - 1/4. Solve l = -2*j - 5*k + 35, -5*j + 16 = p*k - 34 for j.
5
Let c(w) = w**2. Let o(y) = y**2 + y + 1. Let j(h) = -4*c(h) + 3*o(h). Let n be j(3). Solve 5*a - 4 = -d + n*a, 5*d + 5*a = 0 for d.
-4
Let h(k) = k**2 - 6*k - 2. Let d be h(6). Suppose 5*j - 3 = 32. Let s = j + d. Solve -11 - 4 = s*q, 0 = -f - 3*q - 13 for f.
-4
Suppose t - 18 = 5*c - 90, 5*t - 45 = -2*c. Suppose 3*a + 4*j = -2 - 21, 3*j + c = 0. Let k be (-9)/6*a*2. Solve 17 = -2*v - 3*d, -6*d - 18 = 3*v - k*d for v.
-1
Let b = 11 + -10. Solve -5*a = -4*p + 41, 2*a - b - 1 = -3*p for a.
-5
Suppose -3*v = -v. Suppose v*c = 2*c - 8. Let a = -1 + c. Solve -w - 8 = -5*s - 29, -2*w = -a*s - 7 for s.
-5
Let j be 0 + (3 - (1 - 0)). Let y be 1*(0 + 5 + -1). Let n = 8 - y. Solve -2*l = j*a - 20, 3*a = n*l - a for l.
5
Let s(m) = 4*m - 1. Let u be s(1). Solve 5*d = -2*v - 11, -3*d + 3 = -2*d + u*v for d.
-3
Let y(u) = u**3 - 4*u**2 - 3*u + 12. Let l be y(4). Solve 2*f - 4 = l, 5*f = -8*t + 3*t + 10 for t.
0
Let g be 1 - (-2)/(-2)*-11. Suppose -4 = -4*m + g. Solve -2*t = m*v, -5*t - 2*v = 2*v - 12 for t.
4
Let i be (-3 - -1)*(-4)/(-8). Let y(b) = 4*b**2 + b. Let h be y(i). Solve -s - 4*s + 13 = -h*g, 0 = 2*g - 4*s + 12 for g.
4
Suppose 7*u = 4*u. Let y = -17 + 15. Let b be 0/(y - 0 - 0). Solve u = 3*w - 4*k - 1, -17 = 5*w - b*k - 2*k for w.
-5
Suppose -5*m + 16 = -3*l, -2*m - l = -0*l - 13. Solve m*h - 20 = -5*f, -4 = -h + 2*f - 15 for h.
-1
Let g(j) = j**3 + 6*j**2 - 7*j + 9. Let p(m) = m + 2. Let h be p(-9). Let r be g(h). Solve 0 = 3*v + f - 8, -f - r + 3 = -4*v for v.
2
Suppose 0 = -3*w - w + 8. Let r be w - -3*14/3. Suppose 4*s - f = -4*f + r, -3*s = 4*f - 12. Solve -2*t - 16 = -s*q, -t + 2*q - 11 = -q for t.
-2
Let q(h) = -h - 3. Let f be q(-5). Solve -f*b = 4*j + 20 - 4, b - 4 = j for j.
-4
Let g(f) = -f - 11 + 11. Let x be g(-2). Suppose x*p + 15 = 5*p. Solve 3*j - 12 = r, 4*j = 8*j + p*r + 3 for j.
3
Let l = -8 - -8. Let q be -1*l*3/(-12). Solve -2*i + 3*z = i, 4*i + z = q for i.
0
Let d(o) = o + 7. Let p be d(-5). Solve 4*n - 3*r = 9, -4 - 6 = -p*n - 4*r for n.
3
Let p(u) = u**2 - 9*u - 5. Let h be p(8). Let c = 8 - h. Suppose 5*l - c = 4. Solve 3*b = -l*g - 16, 2*b - 29 = -b + 4*g for b.
3
Let x be -2 + 2 + -1 - -3. Solve i = -2*l + 1, 0*l + x = -4*l + 2*i for l.
0
Let j be 8 - 10/(-4)*6/(-5). Solve f - 5*f = 20, j*v = f - 20 for v.
-5
Suppose o - 1 = 1. Suppose 0 = -2*y - 5*l - 147, 0*y + 302 = -4*y - 2*l. Let r be (-2)/(-7) + y/(-28). Solve -r*f - 8 = 3*v - o, -4*v + 4*f = -24 for v.
2
Suppose 0 = -0*t + 8*t. Solve 3 = -t*i - 3*i, s - 2*i - 5 = 0 for s.
3
Let m be (-1)/(-2)*-2 + 0. Suppose 4 = -4*c - 16. Let v = m - c. Solve -3*i = -v*i + 4*z + 3, -5*i + 3*z - 2 = 0 for i.
-1
Let d = 18 - 11. Suppose 0 = -2*i + y + d, -i - 3*y - 2*y - 2 = 0. Solve 2*c + 1 + 3 = 0, -3*q = i*c - 3 for q.
3
Let i = 103 + 5. Let n be 4/(-10) - i/(-20). Let o = 8 - n. Solve -8*a + 3*a - o = 3*m, 5*m - 5 = -5*a for m.
4
Let a(y) = 12*y - 1. Let r be a(1). Let v = 3 + r. Suppose 5*s = 11 + v. Solve -4*j - s*b + 3*b = 14, -5*j = 4*b + 19 for j.
-3
Let t(x) = -2*x**2 + 0 - x**3 - 4*x**3 + 0 - x. Let u be (-2)/7 - 10/14. Let k be t(u). Solve -d - 3*i + 2*i = -2, -k*i = 0 for d.
2
Let w = 1 - -4. Suppose w*r = 3*r + 6. Suppose -3*h = 0, -4*h + 0 = 5*g - 25. Solve r*d = -p - 0*d - 3, -5 = g*d for p.
0
Let g(x) = x**2 + 11*x. Let o be g(-11). Solve -3 = -3*m + 2*q, 5*m - 4*q + 5*q + 8 = o for m.
-1
Suppose -c + 0 = -2. Suppose c*a - 9 = 9. Solve -5*n + 23 = -0*n + 3*i, 0 = 2*n + i - a for n.
4
Suppose -6*f = f - 105. Solve -2*n = -2*s + 10, -f = -2*n - 2*s - 5 for n.
0
Let j(q) = q**3 + 4*q**2 - 7*q - 6. Suppose 4*g - 2 + 22 = 0. Let z be j(g). Let d = -22 - -27. Solve 5*y = d*t + 15, -z*y + 3*t = -3*y - 13 for y.
-2
Suppose a + 2*n = -4, a + 4 + 5 = -3*n. Solve u + u = -2*d - a, -20 = 2*d - 5*u for d.
-5
Let f(a) = -6*a - 1. Let i be (2/4)/1*-2. Let s be f(i). Solve 3*h - s*h = 0, -2*v - 2*h - 8 = 0 for v.
-4
Suppose -y - 4*k - 5 = 0, -3*y + y + 4*k = -50. Suppose -2*h + y = 3*h. Solve 2*r + 2*r + 20 = -5*t, -4*t - 15 = h*r for t.
0
Let l(y) = 2*y**3 - y**2 + 1. Let m be (-1 + 0)/(-2 + 1). Let r be l(m). Solve -3*g + r*h = 8, h = -4*g + 1 + 3 for g.
0
Let z(u) = -u**2 + 8*u + 6. Let x be z(8). Suppose -x*t + 2*t = -4*n - 16, 4*n - 8 = -2*t. Solve -h + j = -4, -t*h - 40 + 16 = 4*j for h.
-1
Let j(v) = -v**3 + 12*v**2 + v - 11. Let r be j(12). Let o be (-5)/(3/(-2 - r)). Solve 4*z + 5*i = 3*i + 2, -o*i = 4*z - 11 for z.
-1
Let o = -97 - -103. Solve f + o = 2*y, 2*f = -f + 4*y - 12 for f.
0
Let h be -2 + -5 + (-8)/4. Let b = h + 11. Solve -z + 3 = n + b, 3*n + 2*z + 2 = 0 for n.
-4
Let s = -87 - -91. Solve -d - 8 = -f, -s*d + 4*f = -f + 35 for d.
-5
Suppose 5*s + 5*n - 15 = 0, -n + 3 + 0 = -s. Solve y = -g, -2*g + 3*y - 5 = -s*g for g.
-1
Suppose -h = -0*h - 2. Suppose -2*v + 3*r = -r - 128, -v - h*r = -80. Suppose -37 = -f + k, -2*f - k + v = -2*k. Solve 2*m + 24 = o + 6*m, -3*m = 5*o - f for o.
4
Let t(p) = p + 10. Let r be t(-5). Let a(f) = 3*f**2 + 2 + 0*f**2 - 2*f - 2*f**2. Let k be a(3). Solve -k*b = -3*b + 5*x + 11, 0 = -4*b - x + r for b.
2
Let k(x) = -2*x - 1. Let l be k(-2). Suppose l*n - 12 = -0*n. Solve 31 = 5*u - 3*d, -17 = -n*u + d + 5 for u.
5
Let t be (2/(-3)*3)/((-12)/36). Let b = -8 + 13. Solve 2*f + t*k - k = 28, -3*k = b*f - 32 for f.
4
Let r(d) = d**2 + d + 3. Let c be r(5). Suppose -4*q + 2*u = -12, c = 2*q + 4*u + 7. Solve -2*w - 3 = -3*a, q*w = -5 + 20 for a.
3
Suppose -32 = -2*h + 5*n, 59 = 5*h + n - 3*n. Let c be 2/(-3) - h/(-3). Solve c*b = 1 + 2, -5*b - 1 = -3*f for f.
2
Let j = 34 - 210. Let u be j/(-6) + (-3)/9. Suppose -5*a - 12 = -37. Solve 5*m - 27 + 7 = -5*w, -u = 4*w - a*m for w.
-1
Let t(f) = 5*f**2 - 2*f + 1. Let g be t(1). Let y = -3 - -6. Suppose 5*q = 5*a + 1 - 31, 0 = a - y*q - 14. Solve -a*k - g = -3*d, -k + 3 = 2*d - 2 for k.
1
Let a = 3 + -5. Let s(r) = -r**3 - 2*r**2 - r. Let v be s(a). Solve u + 8 = v*j, u + 4 = -u for j.
3
Let t = 35 - 30. Solve -13 = -2*z - 5*h, -z + t*h = h for z.
4
Let c(j) be the second derivative of 3*j**5/20 + j**4/6 - j**3/3 + j**2/2 + 4*j. Let w be c(1). Solve 0 = -v + w*r + 3, 2 = 2*v - 5*r - 1 for v.
-1
Let n = 3 - 7. Let h(z) = -z**3 - 5*z**2 - 5*z + 1. Let l be h(n). Solve 5*k + l*g = 2 - 17, -3*g = -2*k + 9 for k.
0
Suppose w = -3*y + 2*w + 7, -y = -2*w + 6. Solve -3*q + 3 = -0*t + 3*t, y*q = 4*t - 4 for t.
1
Let a = -53 + 60. Let b be 0/(0 + 0 + -1). Solve b = -f - 4*z - 7, -2*f + 2*z - 3*z = a for f.
-3
Let q be 4/14 + (-296)/56. Let z = 8 + q. Solve z = i - t, t - 2*t - 5 = 0 for i.
-2
Let p be (-2)/(-5)*(6 - 1). Suppose -5*b + 11 = 3*i, -4*b = b - p*i - 26. Solve -r = -b*g - 11, -4*r + r - 1 = 5*g for r.
3
Let q(r) = -r**3 + 3*r**2 + 6*r - 6. Let m = 2 + 2. Let d be q(m). Solve -3*b - b = 3*g - 28, 3*b = d*g + 4 for b.
4
Let c(j) = j**3 - 7*j**2 + 3*j + 6. Let u be c(7). Solve u = -3*t + 4*g, t - 37 = 6*t - 4*g for t.
-5
Suppose -10 = -5*y - 0. Solve 3*j + y - 5 = 0, -3*m + 3*j - 3 = 0 for m.
0
Let l be (-12)/20 - -2*326/20. Solve -4*z + 15 = -w - 9*z, 3*z + l = 4*w for w.
5
Suppose 3*u - 46 + 40 = 0. Solve 7*q - u*q = 4*w - 23, -4*q + w - 14 = 0 for q.
-3
Let n(q) = -q**2 - 3*q - 1. Let u be n(-5). Let f = -8 - u. Let w(b) = -b**2 + 3*b + 2. Let t be w(f). Solve 1 = t*a + 3*x, 2*a - 3*a + 3 = 4*x for a.
-1
Suppose -3*j = 3 - 9. Suppose 3*z - 10 - 2 = 0. Suppose -z*l - 2 = -78. Solve -3*r = w - 3*w - 21, -j*r + 3*w + l = 0 for r.
5
Suppose -15 = -4*h - s, -h = -4*s + s + 6. Suppose -h - 1 = -2*g. Solve 0 = 2*v - 4, v =